1. Le théorème de Cauchy-Kovalevskaïa
Supposons l'opérateur P de la forme :

Le problème de Cauchy s'énonce alors : « Trouver u vérifiant :

Le théorème de Cauchy-KovalevskaÎa suppose que les coefficients de P ainsi que les données f, g0, ..., gm-1 sont des fonctions analytiques (réelles ou complexes) de t et de x. Il affirme alors l'existence d'une solution analytique et une seule sur un voisinage de tout point (0, x0). Ce voisinage dépend de P et des domaines d'analyticité complexes des données.
Ce théorème s'applique aussi aux systèmes, pourvu qu'ils soient de la forme :

Le travail de Sofia Kovalevskaïa est paru en 1874 ; apparemment elle ne connaissait pas celui de Cauchy (et son jury non plus puisqu'il s'agissait d'une thèse !).
La démonstration d'unicité est simple et instructive. Si u est une solution analytique, elle possède un développement de Taylor en t :[…]
… pour nos abonnés, l'article se prolonge sur 8 pages…



