Holmgren uniqueness theorem

Given a system of linear partial differential equations with analytic coefficients $a_{j{i}_1,\mathrm{\dots },i_m}$ and $b_i$

$$\sum _{j,i_1,\mathrm{\dots },i_m}{a}_{j{i}_1,\mathrm{\dots },i_m}(x_1,\mathrm{\dots },x_m)\frac{{\partial }^{i_1+\mathrm{\cdots }+i_m}{u}_j}{\partial x_1^{i_1}\mathrm{\dots }\partial x_m^{i_m}}=b_i(x_1,\mathrm{\dots },x_m)$$

and analytic Cauchy data specified along a noncharacteristic analytic surface, there exists a neighborhood of the surface such that every smooth solution of the system defined in that neighborhood is analytic.

This theorem stengthens the Cauchy-Kowalewski theorem. While the latter theorem asserts that a unique analytic solution exists, it still allows the possibility that there might exist non-analytic solutions. Holmgren’s theorem asserts that this is not the case for linear systems.

It is often possible to determine the neighborhood in which Holmgren’s theorem holds explicitly. For instance, for many hyperbolic equations, one can show that this neighborhood can be taken to be the entire domain of dependence of the surface along which the boundary values were specified.

Title	Holmgren uniqueness theorem
Canonical name	HolmgrenUniquenessTheorem
Date of creation	2013-03-22 14:37:24
Last modified on	2013-03-22 14:37:24
Owner	rspuzio (6075)
Last modified by	rspuzio (6075)
Numerical id	11
Author	rspuzio (6075)
Entry type	Theorem
Classification	msc 35A10