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. 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 :

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(t^0,x)={\varphi }_0(t^0,x),\frac{\partial u}{\partial t}(t^0,x)={\varphi }_1(t^0,x).$

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

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(t,x)$

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

$\{\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}+b{u}_0\end{array}$

et les conditions initiales $u_0(t^0,x)={\varphi }_0(t^0,x),u_1(t^0,x)=\frac{\partial {\varphi }_0}{\partial x},u_2(t^0,x)={\varphi }_1(t^0,x)$.

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

$v_1=u_0-{\varphi }_0,v_2=u_1-\frac{\partial {\varphi }_0}{\partial x},v_3=u_2-{\varphi }_1$.

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

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^{\mathrm{\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 ${ℝ}^{p+1}$. 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(0,x)=\frac{1}{1-x}$.

Sophie Kowalevski a montré 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\ne 0$. C'est en constatant ce phénomène qu'elle a été amenée à poser la condition $k\le n_i$.

Notes et références

Références

• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Livre Wald, pages 246 et 247.

Voir aussi

Lien externe

• Modèle:Planetmath