## You are here

HomeCauchy-Kowalewski theorem

## Primary tabs

# Cauchy-Kowalewski theorem

Consider a system of partial differential equations involving $m$ dependent variables $u_{1},\ldots,u_{m}$ and $n+1$ independent variables $t,x_{1},\ldots,x_{n}$:

${\partial u_{i}\over\partial t}=F_{i}\left(u_{1},\ldots,u_{m};t,x_{1},\ldots,x% _{n};{\partial u_{1}\over\partial x_{1}},\ldots,{\partial u_{m}\over\partial x% _{n}}\right)$ |

in which $F_{1},\ldots,F_{m}$ are analytic functions in a neighborhood of a point $(u_{1}^{0},\ldots,u_{m}^{0};t^{0},x_{1}^{0},\ldots,x_{n}^{0})$ subject to the boundary conditions

$u_{i}=f_{i}(x_{1},\ldots,x_{n})$ |

when $t=t^{0}$ for given functions $f_{i}$ which are analytic in a neighborhood of $x_{1}^{0},\ldots,x_{n}^{0}$ such that $u_{i}^{0}=f_{i}(x^{0}_{1},\ldots,x^{0}_{n})$.

The Cauchy-Kowalewski theorem asserts that this boundary value problem has a unique analytic solution $u_{i}=f_{i}(t,x_{1},\ldots,x_{n})$ in a neighborhood of $(u_{1}^{0},\ldots,u_{m}^{0};0,x_{1}^{0},\ldots,x_{n}^{0})$.

The Cauchy-Kowalewski theorem is a local existence theorem — it only asserts that a solution exists in a neighborhood of the point, not in all space. A peculiar feature of this theorem is that the type of the differential equation (whether it is elliptic, parabolic, or hyperbolic) is irrelevant. As soon as one either considers global solutions or relaxes the assumption of analyticity, this is no longer the case — the existence and uniqueness of solutions to a differential equation (or system of differential equations) will depend upon the type of the equation.

By simple transformations, one can generalize this theorem.

By making a change of variable $t^{{\prime}}=t-\phi(x_{1},\ldots,x_{m})$, with $\phi$ analytic, one can generalize the theorem to the case where the boundary values are specified on a surface given by the equation $t=\phi(x_{1},\ldots,x_{m})$ rather than on the plane $t=t^{0}$.

One can allow higher order derivatives by the device of introducing new variables. For instance, to allow third order time derivatives of $u_{1}$, one could introduce new variables $u_{{1t}}$ and $u_{{1tt}}$ and augment the system of equations by adding

${\partial u_{1}\over\partial t}=u_{{1t}}$ |

and

${\partial u_{{1t}}\over\partial t}=u_{{1tt}}$ |

Likewise, one can eliminate spatial derivatives. The manner in which one introduces new equations for these new variables is somewhat clumsy to describe in general, and it is best to explain it by example, as is done in a supplement to this entry.

## Mathematics Subject Classification

35A10*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier