Théorème de Cauchy-Kowalevski

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Théorème de Cauchy.

Le théorème de Cauchy-Kowalevski est un théorème d'analyse à plusieurs variables stipulant qu'une équation aux dérivées partielles bien posée admet une solution unique pour un ensemble complet de conditions initiales. Ce théorème est dû au mathématicien français Augustin Cauchy pour un cas particulier, et à la mathématicienne russe Sofia Kovalevskaïa (qui, dans les publications dans les revues en allemand ou en français, signait Sophie Kowalevski) pour le cas général. Le théorème de Cauchy-Kowalevski a des différences importantes par rapport au théorème de Cauchy-Lipschitz pour les équations différentielles ordinaires : dans ce dernier, la fonction du second membre est supposée de classe (ou même localement lipschitzienne) et la solution dépend continûment des conditions initiales ; dans le premier, les fonctions du second membre sont supposées analytiques et il n'existe pas de résultat de dépendance continue par rapport aux conditions initiales[1]. En Physique, l'équation de Klein-Gordon, l'équation des ondes et l'équation de Laplace sont des exemples où le théorème de Cauchy-Kowalevski est applicable. Il n'en va pas de même de l'équation de la chaleur ou de l'équation de Schrödinger.

Théorème général[modifier | modifier le code]

Dans le cas général on a le résultat suivant[2] :

Théorème — Soit le système d'équations aux dérivées partielles

et les conditions initiales

et notons

Supposons les fonctions et analytiques dans un voisinage du point . Alors il existe un voisinage du point dans lequel le système d'équations aux dérivées partielles considéré admet une solution unique vérifiant les conditions initiales.

Exemples[modifier | modifier le code]

Cas d'application du théorème[modifier | modifier le code]

Ce théorème s'applique à l'équation de Klein-Gordon (ou à l'équation des ondes qui en est un cas particulier et à l'équation de Laplace qui a la même forme au signe près)

avec les conditions initiales

Le théorème de Cauchy-Kowalevski ne précise pas si une équation du type Klein-Gordon se comporte de façon causale. Par exemple, si le champ u est nul sur un intervalle d'intérieur non vide à l'instant , l'on s'attend à ce que le champ reste nul en 0 jusqu'au temps , ce que le théorème de Cauchy-Kowalevski ne précise pas (ne serait-ce que parce qu'une telle condition initiale serait non analytique et ne saurait être traitée par ce théorème). C'est donc par une autre méthode que l'on établit ce résultat[3]

Cas où le théorème ne s'applique pas[modifier | modifier le code]

Le théorème ne s'applique pas à l'équation de la chaleur

non plus qu'à l'équation de Schrödinger qui a la même forme à une multiplication près par .

Cas d'équations aux dérivées partielles du premier ordre[modifier | modifier le code]

Une manière de démontrer le théorème de Cauchy-Kowalevski consiste à se ramener à un système d'équations aux dérivées partielles du premier ordre[4]. Montrons comment procéder dans le cas de l'équation de Klein-Gordon:

Posons . On obtient alors le système d'équations aux dérivées partielles

et les conditions initiales .

On peut encore, si on le souhaite, « simplifier » ces conditions initiales en posant

.

Pour démontrer le théorème de Cauchy-Kowalewski général, il suffit alors d'appliquer le résultat suivant[5]:

Lemme — Soit le système d'équations aux dérivées partielles

et les conditions initiales

Supposons les fonctions analytiques dans un voisinage U de 0 dans . Il existe alors un voisinage de 0 dans tel que, pour tout voisinage connexe de 0, il existe une solution et une seule formée de fonctions analytiques

dans V et telles que dans .

L'idée de la démonstration consiste à développer les fonctions en série entière au voisinage de l'origine et à rechercher les fonctions sous forme de développements en série entière (« méthode des majorantes »). Les conditions du théorème assurent la convergence de ceux-ci.

Remarques[modifier | modifier le code]

(1) Hans Lewy a donné un exemple où, les fonctions ci-dessus étant toutes et linéaires affines par rapport aux , le système d'équations aux dérivées partielles ci-dessus n'admet aucune solution de classe dans un voisinage de l'origine dans [6]. L'hypothèse d'analyticité est donc indispensable.

(2) Considérons l'équation de la chaleur ci-dessus avec et la condition initiale

.

Sophie Kowalevski a montré[7] qu'il existe une unique solution formelle u admettant un développement en série formelle en puissance de x, mais que ce développement diverge pour tout . C'est en constatant ce phénomène qu'elle a été amenée à poser la condition .

Notes et références[modifier | modifier le code]

Notes[modifier | modifier le code]

  1. Dieudonné 1971, Sect. XVIII.12, Pb. 5.
  2. Petrovsky 1991
  3. Treves 1975, Prop. 7.3, Exerc. 7.8.
  4. Treves 1975, Chap. 18.
  5. Dieudonné 1971, Sect. XVIII.12, (18.12.1).
  6. Dieudonné 1971, Sect. XVIII.11, Pb. p. 60.
  7. Kowalevski 1875, p. 22.

Références[modifier | modifier le code]

Lien externe[modifier | modifier le code]