# 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 |