Holmgren's uniqueness theorem

Note that the uniqueness part of Cauchy-Kovalevskaya presupposes that the solution is real-analytic. Holmgren's uniqueness theorem is a more general result, which applies to linear PDE with analytic coefficients.

See e.g.
Wikipedia entry Links to an external site.
Renardy & Rogers