A theorem stating that the Cauchy problem has a (unique) analytic solution locally if the functions occurring in the differential equation (or system of differential equations) and all the initial data, together with the non-characteristic initial surface, are analytic.
For a system of partial differential equations in unknown functions , of the form
the Cauchy–Kovalevskaya theorem states the following: The Cauchy problem posed by the initial data
where is the initial surface of the data , has a unique analytic solution in some domain in -space containing , if and are analytic functions of all their arguments.
Consider a linear system of differential equations
where is a vector with non-negative integer coordinates;
is the order of the differential operator
, , is a given square matrix of order ; , , is the column-vector of unknown functions; and is a given -vector.
Generally speaking, the Cauchy–Kovalevskaya theorem does not exclude the possibility of the Cauchy problem having non-analytic solutions in addition to the analytic solution. However, the Cauchy problem for a linear system (3) with analytic coefficients and Cauchy conditions on an analytic non-characteristic surface has at most one solution in a certain neighbourhood of . This assertion is valid without any analyticity assumptions concerning the initial data and the solution .
A solution of the Cauchy problem (1), (2), the existence of which is guaranteed by the Cauchy–Kovalevskaya theorem, may turn out to be unstable (since a small variation of the initial data may induce a large variation of the solution). For example, this is the case when the system (1) is of elliptic type. If the initial data are non-analytic, the Cauchy problem (1), (2) may become meaningless unless attention is confined to hyperbolic systems (1).
For a broad class of equations, the Cauchy–Kovalevskaya theorem may be generalized to the case in which the initial manifold is characteristic at every point (see , ). In that case the initial functions cannot be prescribed at will; they must satisfy certain conditions, dictated by the differential equation.
A characteristic Cauchy problem (cf. Cauchy characteristic problem) may have more than one solution. In particular, one has the following proposition. Let be a differential equation of order with principal part and with real-analytic coefficients, defined in a neighbourhood of a point of the Euclidean space , and let be a real-analytic function in such that
but at for some . Then there exists a neighbourhood of and a function of class , analytic whenever , such that and
If the initial manifold is characteristic along certain curves then, generally speaking, the solution of the characteristic Cauchy problem is non-unique in some neighbourhood of the initial surface and the degree of bifurcation is defined by the geometrical nature of the corresponding characteristic surfaces. The theorem was first proved by S.V. Kovalevskaya (1875).
|||L. Bers, F. John, M. Schechter, "Partial differential equations" , Interscience (1964)|
|||A.V. Bitsadze, "Equations of mathematical physics" , MIR (1980) (Translated from Russian)|
|||V.S. Vladimirov, "Equations of mathematical physics" , MIR (1984) (Translated from Russian)|
|||R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German)|
|||L. Hörmander, "Linear partial differential operators" , Springer (1963)|
The uniqueness result in the case of non-analytic data is Holmgren's theorem (see , Part II Chapt. 5, or [a2], Theorem 8.6.5). A modern proof of the Cauchy–Kovalevskaya theorem in the linear case can be found in [a2], Sect. 9.4. A relatively short proof can be found in [a1].
The theorem is also called the Cauchy–Kovalevski or Cauchy–Kowalewsky theorem.
|[a1]||J. Chazarain, A. Piriou, "Introduction to the theory of linear partial differential equations" , North-Holland (1982) (Translated from French)|
|[a2]||L.V. Hörmander, "The analysis of linear partial differential operators" , 1 , Springer (1983)|
Cauchy-Kovalevskaya theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cauchy-Kovalevskaya_theorem&oldid=22261