Théorème de Cauchy-Kowalevski

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 $C^{1}$ (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

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

{\frac {\partial ^{n_{i}}u_{i}}{\partial t^{n_{i}}}}=F_{i}\left(t,x_{1},...,x_{n},u_{1},...,u_{N},...,{\frac {\partial ^{k}u_{j}}{\partial t^{k_{0}}\partial x_{1}^{k_{1}}...\partial x_{n}^{k_{n}}}},...\right)

\left(i,j=1,2,...,N;\quad k_{0}+k_{1}+...+k_{n}=k\leq n_{i};\quad k_{0}<n_{i}\right)

et les conditions initiales

{\frac {\partial ^{k}u_{i}}{\partial t^{k}}}=\phi _{i,k}\left(x_{1},...,x_{n}\right)\quad \left(k=0,1,...,n_{i}-1;\quad t=t^{0}\right)

et notons

\left({\frac {\partial ^{k-k_{0}}\phi _{i,k_{0}}}{\partial x_{1}^{k_{1}}...\partial x_{n}^{k_{n}}}}\right)_{x_{i}=x_{i}^{0}}=\phi _{i,k_{0},k_{1},...,k_{n}}^{0}\quad \left(i=1,2,...N;\quad k_{0}+k_{1}+...+k_{n}=k\leq n_{i}\right).

Supposons les fonctions $F_{i}$ et $\phi _{i,k}$ analytiques dans un voisinage du point $\left(t^{0},x_{1}^{0},x_{2}^{0},...,\phi _{j,k_{0},k_{1},...,k_{n}}^{0},...\right)$ . Alors il existe un voisinage du point $\left(t^{0},x_{1}^{0},...,x_{n}^{0}\right)$ dans lequel le système d'équations aux dérivées partielles considéré admet une solution unique vérifiant les conditions initiales.

Exemples

Cas d'application du théorème

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)

{\frac {1}{c^{2}}}{\frac {\partial ^{2}u}{\partial t^{2}}}={\frac {\partial ^{2}u}{\partial x^{2}}}+bu

avec les conditions initiales

u\left(t^{0},x\right)=\phi _{0}\left(t^{0},x\right),\quad {\frac {\partial u}{\partial t}}\left(t^{0},x\right)=\phi _{1}\left(t^{0},x\right).

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 $[-x^{1},x^{1}]$ à l'instant $t^{0}$ , l'on s'attend à ce que le champ reste nul en 0 jusqu'au temps $t^{0}+x^{1}/c$ , 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

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

{\frac {\partial u}{\partial t}}=\kappa {\frac {\partial ^{2}u}{\partial x^{2}}}+f\left(t,x\right)

non plus qu'à l'équation de Schrödinger qui a la même forme à une multiplication près par ${\sqrt {-1}}$ .

L'exemple de Lewy montre que le théorème ne s'applique pas pour des fonctions qui ne sont pas analytiques.

Cas d'équations aux dérivées partielles du premier ordre

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 $u_{0}=u,u_{1}={\frac {\partial u}{\partial x}},u_{2}={\frac {\partial u}{\partial t}}$ . On obtient alors le système d'équations aux dérivées partielles

\left\{{\begin{array}{c}{\frac {\partial u_{0}}{\partial t}}=u_{2}\\{\frac {\partial u_{1}}{\partial t}}={\frac {\partial u_{2}}{\partial x}}\\{\frac {\partial u_{2}}{\partial t}}={\frac {\partial u_{1}}{\partial x}}+bu_{0}\end{array}}\right.

et les conditions initiales $u_{0}\left(t^{0},x\right)=\phi _{0}\left(t^{0},x\right),u_{1}\left(t^{0},x\right)={\frac {\partial \phi _{0}}{\partial x}},u_{2}\left(t^{0},x\right)=\phi _{1}\left(t^{0},x\right)$ .

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

v_{1}=u_{0}-\phi _{0},v_{2}=u_{1}-{\frac {\partial \phi _{0}}{\partial x}},v_{3}=u_{2}-\phi _{1}

.

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

{\frac {\partial v_{j}}{\partial x^{p+1}}}=H_{j}\left(x^{1},...,x^{p},v_{1},...,v_{r},{\frac {\partial v_{1}}{\partial x^{1}}},...,{\frac {\partial v_{r}}{\partial x^{p}}}\right)\quad \left(1\leq j\leq r\right)

et les conditions initiales

v_{j}\left(x^{1},...,x^{p},0\right)=0.

Supposons les fonctions $H_{j}$ analytiques dans un voisinage U de 0 dans $\mathbb {R} ^{p+1+rp}$ . Il existe alors un voisinage $V_{0}$ de 0 dans $\mathbb {R} ^{p+1}$ tel que, pour tout voisinage connexe $V\subset V_{0}$ de 0, il existe une solution et une seule $\left(v_{1},...,v_{r}\right)$ formée de fonctions analytiques

v_{j}:\left(x^{1},...,x^{p},x^{p+1}\right)\mapsto v_{j}\left(x^{1},...,x^{p},x^{p+1}\right)

dans V et telles que $v_{j}\left(x^{1},...,x^{p},0\right)=0\quad \left(1\leq j\leq r\right)$ dans $V\cap \mathbb {R} ^{p}$ .

L'idée de la démonstration consiste à développer les fonctions $H_{j}$ en série entière au voisinage de l'origine et à rechercher les fonctions $v_{i}$ 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

(1) Hans Lewy a donné un exemple où, les fonctions $H_{j}$ ci-dessus étant toutes $C^{\infty }$ et linéaires affines par rapport aux ${\frac {\partial v_{i}}{\partial x^{k}}}$ , le système d'équations aux dérivées partielles ci-dessus n'admet aucune solution de classe $C^{1}$ dans un voisinage de l'origine dans $\mathbb {R} ^{p+1}$ [6]. L'hypothèse d'analyticité est donc indispensable.

(2) Considérons l'équation de la chaleur ci-dessus avec $\kappa =1,f=0$ et la condition initiale

u\left(0,x\right)={\frac {1}{1-x}}

.

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 $x\neq 0$ . C'est en constatant ce phénomène qu'elle a été amenée à poser la condition $k\leq n_{i}$ .

Notes et références

Notes

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

Références

Jean Dieudonné, Éléments d'analyse, vol. 4, Gauthier-Villars, 1971
(en) Sophie Kowalevski, « Zur Theorie der partiellen Differentialgleichung », Journal für die reine und angewandte Mathematik, vol. 80,‎ 1875, p. 1–32 (lire en ligne)
(en) Ivan Georgievich Petrovsky, Lectures on Partial Differential Equations, New York, Dover, 1991, 245 p. (ISBN 0-486-66902-5, lire en ligne)
(en) François Treves, Basic Linear Partial Differential Equations, San Diego/New York/Berkeley etc., Academic Press, 1975, 470 p. (ISBN 0-12-699440-4, lire en ligne)
(en) Robert M. Wald, General Relativity, University of Chicago Press, 1984, 498 p. (ISBN 0226870332), pages 246 et 247.

Voir aussi

Lien externe

(en) Théorème de Cauchy-Kowalevski sur le site planetmath.org

Portail de l'analyse
Portail de l’histoire des sciences

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Dieudonné 1971, Sect. XVIII.12, Pb. 5.

[Petrovsky-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.