# Cauchy–Kovalevskaya theorem

Differential equations :
Scope :
Fields
Natural sciencesEngineering
Astronomy
Physics
Chemistry
Biology
Geology
Applied mathematics
Continuum mechanics
Chaos theory
Dynamical systems
Social sciences
Economics
Population dynamics
List of named differential equations :
Classification :
Types
Ordinary
Partial
Differential-algebraic
Integro-differential
Fractional
Linear
Non-linear
By variable type
Dependent and independent variables
Autonomous
Coupled / Decoupled
Exact
Homogeneous / Nonhomogeneous
Features
Order
Operator
Notation :
Relation to processes
Difference (discrete analogue)
Stochastic
Stochastic partial
Delay :
Solution :
Existence and uniqueness
Picard–Lindelöf theorem
Peano existence theorem
Carathéodory's existence theorem
Cauchy–Kowalevski theorem :
General topics
Initial conditions
Boundary values
Dirichlet
Neumann
Robin
Cauchy problem
Wronskian
Phase portrait
Lyapunov / Asymptotic / Exponential stability
Rate of convergence
Series / Integral solutions
Numerical integration
Dirac delta function :
Solution methods
Inspection
Method of characteristics
Euler
Exponential response formula
Finite difference (Crank–Nicolson)
Finite element
Infinite element
Finite volume
Galerkin
Petrov–Galerkin
Green's function
Integrating factor
Integral transforms
Perturbation theory
Runge–Kutta
Separation of variables
Undetermined coefficients
Variation of parameters :
People :
List
Isaac Newton
Gottfried Leibniz
Jacob Bernoulli
Leonhard Euler
Joseph-Louis Lagrange
Józef Maria Hoene-Wroński
Joseph Fourier
Augustin-Louis Cauchy
George Green
Carl David Tolmé Runge
Martin Kutta
Rudolf Lipschitz
Ernst Lindelöf
Émile Picard
Phyllis Nicolson
John Crank :
vte :
In mathematics, the Cauchy–Kovalevskaya theorem (also written as the Cauchy–Kowalevski theorem) is the main local existence and uniqueness theorem for analytic partial differential equations associated with Cauchy initial value problems. A special case was proven by Augustin Cauchy (1842), and the full result by Sofya Kovalevskaya (1874).

## First order Cauchy–Kovalevskaya theorem

This theorem is about the existence of solutions to a system of m differential equations in n dimensions when the coefficients are analytic functions. The theorem and its proof are valid for analytic functions of either real or complex variables.
Let K denote either the fields of real or complex numbers, and let V = K$^m$ and W = K$^n$. Let A$_1$, ..., A$_{n−1}$ be analytic functions defined on some neighbourhood of (0, 0) in W × V and taking values in the m × m matrices, and let b be an analytic function with values in V defined on the same neighbourhood. Then there is a neighbourhood of 0 in W on which the quasilinear Cauchy problem
    $\partial _{x_{n}}f=A_{1}(x,f)\partial _{x_{1}}f+\cdots +A_{n-1}(x,f)\partial _{x_{n-1}}f+b(x,f)$
with initial condition
    $f(x)=0$
on the hypersurface
    $x_{n}=0$
has a unique analytic solution ƒ : W → V near 0.
Lewy's example shows that the theorem is not more generally valid for all smooth functions.
The theorem can also be stated in abstract (real or complex) vector spaces. Let V and W be finite-dimensional real or complex vector spaces, with n = dim W. Let A$_1$, ..., A$_{n−1}$ be analytic functions with values in End (V) and b an analytic function with values in V, defined on some neighbourhood of (0, 0) in W × V. In this case, the same result holds.

## Proof by analytic majorization

Both sides of the partial differential equation can be expanded as formal power series and give recurrence relations for the coefficients of the formal power series for f that uniquely determine the coefficients. The Taylor series coefficients of the A$_i$'s and b are majorized in matrix and vector norm by a simple scalar rational analytic function. The corresponding scalar Cauchy problem involving this function instead of the A$_i$'s and b has an explicit local analytic solution. The absolute values of its coefficients majorize the norms of those of the original problem; so the formal power series solution must converge where the scalar solution converges.

## Higher-order Cauchy–Kovalevskaya theorem

If F and f$_j$ are analytic functions near 0, then the non-linear Cauchy problem
    $\partial _{t}^{k}h=F\left(x,t,\partial _{t}^{j}\,\partial _{x}^{\alpha }h\right),{\text{ where }}j<k{\text{ and }}|\alpha |+j\leq k,$
with initial conditions
    $\partial _{t}^{j}h(x,0)=f_{j}(x),\qquad 0\leq j<k,$
has a unique analytic solution near 0.
This follows from the first order problem by considering the derivatives of h appearing on the right hand side as components of a vector-valued function.

### Example

The heat equation
    $\partial _{t}h=\partial _{x}^{2}h$
with the condition
    $h(0,x)={1 \over 1+x^{2}}{\text{ for }}t=0$
has a unique formal power series solution (expanded around (0, 0)). However this formal power series does not converge for any non-zero values of t, so there are no analytic solutions in a neighborhood of the origin. This shows that the condition |α| + j ≤ k above cannot be dropped. (This example is due to Kowalevski.)

## Cauchy–Kovalevskaya–Kashiwara theorem

There is a wide generalization of the Cauchy–Kovalevskaya theorem for systems of linear partial differential equations with analytic coefficients, the Cauchy–Kovalevskaya–Kashiwara theorem, due to Masaki Kashiwara (1983). This theorem involves a cohomological formulation, presented in the language of D-modules. The existence condition involves a compatibility condition among the non homogeneous parts of each equation and the vanishing of a derived functor $Ext^{1}$.

### Example

Let $n\leq m$. Set $Y=\{x_{1}=\cdots =x_{n}\}$. The system $\partial _{x_{i}}f=g_{i},i=1,\ldots ,n,$ has a solution $f\in \mathbb {C} \{x_{1},\ldots ,x_{m}\}$ if and only if the compatibility conditions $\partial _{x_{i}}g_{j}=\partial _{x_{j}}g_{i}$ are verified. In order to have a unique solution we must include an initial condition $f|_{Y}=h$, where $h\in \mathbb {C} \{x_{n+1},\ldots ,x_{m}\}$.