théorème de Cauchy-Kovalevskaïa

Imaginez que l’on connaisse exactement la température le long d’une ligne à l’instant initial. Une équation aux dérivées partielles indique comment cette information doit évoluer juste après cet instant. Le théorème de Cauchy-Kovalevskaïa assure que, dans un petit voisinage, ces données déterminent une seule solution analytique.

Cette garantie exige toutefois un cadre très rigide : l’équation et les données initiales doivent être analytiques, donc développables localement en séries entières. La surface où les données sont posées doit aussi laisser l’équation déterminer l’évolution dans une direction transverse.

Le théorème de Cauchy-Kovalevskaïa est un théorème local d’existence et d’unicité pour un problème de Cauchy analytique. Un problème de Cauchy associe une équation aux dérivées partielles à des valeurs initiales prescrites sur une hypersurface. Cette hypersurface est une surface de dimension immédiatement inférieure à celle de l’espace des variables.

Dans des coordonnées où la variable t traverse la surface initiale t = 0 et où x regroupe les variables tangentielles, un système du premier ordre peut être écrit sous la forme suivante. La fonction inconnue est u, la donnée initiale est φ et la fonction F décrit le système :Si F et φ sont analytiques réelles près du point considéré et si le système est résolu par rapport à la dérivée transverse, alors il existe, dans un voisinage de ce point, une unique solution analytique u.

La possibilité de résoudre l’équation dans la direction transverse exprime le caractère non caractéristique de la surface initiale. Le résultat est local : il ne promet ni prolongement sur tout le domaine ni absence de singularité plus loin. Son unicité porte sur la classe des solutions analytiques. L’analyticité ne peut pas être remplacée en général par la seule régularité infinie.

Soit un système d’équations aux dérivées partielles dont toutes les fonctions qui le définissent sont analytiques réelles dans l’ensemble de leurs variables, y compris l’inconnue et ses dérivées, accompagné de données initiales analytiques réelles sur une hypersurface non caractéristique. Si le système permet d’isoler les dérivées d’ordre le plus élevé dans la direction transverse à cette hypersurface, alors le problème de Cauchy admet localement une solution analytique.

Cette solution est unique parmi les solutions analytiques qui satisfont les mêmes données initiales. « Localement » signifie ici dans un voisinage de chaque point initial où toutes les hypothèses sont vérifiées.

Le théorème s’applique à un problème de Cauchy écrit près d’un point de la surface initiale. Première condition : la loi complète de l’équation, dans toutes ses variables — notamment l’inconnue et ses dérivées en cas de dépendance non linéaire —, est analytique réelle, tout comme les fonctions qui donnent les valeurs initiales. Deuxième condition : la surface initiale est non caractéristique, si bien que l’équation détermine les dérivées transverses requises.

La conclusion fournit une solution analytique et son unicité dans un voisinage, pas nécessairement sur tout le domaine envisagé. La taille de ce voisinage n’est pas fixée par le seul énoncé.

Si les données sont seulement de classe C^∞, l’argument par séries entières n’est plus disponible et le théorème ne conclut pas. Le contre-exemple de Lewy, publié en 1957, montre même qu’une équation linéaire à coefficients très réguliers peut ne pas avoir de solution locale pour une donnée régulière. Il faut alors employer des résultats adaptés au type précis de l’EDP.

Considérons une fonction inconnue u dépendant du temps t et de la position x. Elle vérifie l’équation ∂u/∂t = ∂u/∂x et la donnée initiale u(0, x) = e^x. Les coefficients et la donnée sont analytiques, et la droite t = 0 est non caractéristique. Le diagramme matérialise le voisinage local et les droites x + t constantes le long desquelles la valeur se conserve.

1. L’équation peut être lue comme ∂u/∂t − ∂u/∂x = 0. Le coefficient de la dérivée transverse ∂u/∂t vaut 1 : il ne s’annule pas sur t = 0.

2. Cherchons une fonction qui dépend de la somme x + t. La donnée initiale conduit à la candidate :

3. Ses deux dérivées partielles sont égales :La candidate satisfait donc l’équation.

4. À t = 0, elle redonne exactement u(0, x) = e^x. Les deux contrôles sont vérifiables directement. Le théorème garantit qu’au voisinage de la droite initiale, aucune autre solution analytique ne satisfait à la fois cette équation et cette donnée.

Pour un problème de Cauchy analytique, on commence par choisir une variable transverse à la surface initiale. On vérifie ensuite que l’équation permet d’isoler les dérivées dans cette direction.

Lorsque la loi complète de l’EDP et les données sont analytiques, le théorème donne un certificat local d’existence et d’unicité analytique. Il n’est pas nécessaire de disposer d’abord d’une formule fermée pour la solution.

Si l’EDP ou les données ne sont pas analytiques, on ne force pas ce théorème. On examine la nature elliptique, hyperbolique ou parabolique du problème et on choisit un résultat d’existence dans l’espace de fonctions approprié.

Avec le théorème de Cauchy-Lipschitz. Cauchy-Lipschitz concerne d’abord les équations différentielles ordinaires et s’appuie sur une condition de type Lipschitz pour l’unicité. Cauchy-Kovalevskaïa traite des équations aux dérivées partielles analytiques posées sur une hypersurface non caractéristique.

Avec la méthode des caractéristiques. Les caractéristiques sont des courbes servant à analyser certaines EDP, notamment du premier ordre. Le théorème est un résultat d’existence et d’unicité analytique ; il ne constitue pas à lui seul une procédure générale donnant une formule explicite.

Avec une garantie de solution globale. Une solution obtenue près de la surface initiale peut cesser de se prolonger ou rencontrer une singularité. Le mot « locale » dans l’énoncé tranche cette confusion.

Données seulement lisses. Une fonction C^∞ peut ne pas être analytique. Dans ce cas, ses dérivées de tous ordres ne suffisent pas à la reconstruire par une série entière, et Cauchy-Kovalevskaïa ne fournit aucune conclusion. Le contre-exemple de Lewy de 1957 interdit de remplacer naïvement « analytique » par « infiniment différentiable ».

Surface caractéristique. Si le coefficient qui doit déterminer la dérivée transverse s’annule, les données initiales peuvent être incompatibles ou ne pas déterminer une solution unique. Il faut analyser les caractéristiques de l’équation au lieu d’appliquer l’énoncé.

Portée locale. Le théorème construit une solution près du point initial. Il ne contrôle pas son comportement à grande distance, l’apparition ultérieure d’une singularité ni son prolongement global.

Classe d’unicité. La conclusion affirme l’unicité analytique. Pour revendiquer l’unicité parmi des solutions moins régulières, il faut un autre argument adapté à l’EDP et à l’espace de fonctions considéré.

Le résultat s’inscrit dans une histoire précise : Augustin-Louis Cauchy en démontre un cas particulier en 1842, puis Sofia Kovalevskaïa le généralise dans sa thèse de 1869. Cette chronologie explique le double nom du théorème.

Le contre-exemple construit par Hans Lewy en 1957 marque l’autre versant de cette histoire. Il montre que l’existence locale des solutions d’EDP dépend profondément de leur structure, et pas seulement du nombre de dérivées disponibles.

L’étude moderne des EDP remplace souvent l’analyticité par des hypothèses et des espaces fonctionnels adaptés à chaque famille d’équations. Cauchy-Kovalevskaïa demeure le modèle net d’une idée centrale : des données initiales déterminent une évolution seulement lorsque régularité et géométrie de la surface s’accordent avec l’équation.