Méthodes de Résolution des Equations au Dérivées Partielles
Partie 3: Le Problème de Cauchy
Le problème de Cauchy encore appelé "problème aux conditions initiales", est un problème fondamental
en théorie des équations aux dérivées partielles(EDP). Il consiste à déterminer l'existence, l'unicité et
la régularité des solutions d'une EDP, en respectant certaines conditions initiales spécifiées sur une
région donnée (hypersurface) de l'espace ou du temps. Ce problème est particulièrement important en
physique mathématique (équations des ondes, de la chaleur, etc.) et en analyse.
1. Position du problème de Cauchy
1.1 Définition générale
Soit une EDP d'ordre m :
F (x, u, ∂ α u) = 0,
où x ∈ Rn , u est la fonction inconnue, et ∂ α u désigne toutes les dérivées partielles de u jusqu'à l'ordre m.
Le problème de Cauchy consiste à trouver u satisfaisant :
a) L'EDP dans un domaine Ω ⊂ Rn .
b) Des conditions initiales sur une hypersurface Σ ⊂Ω:
∂u ∂ m−1 u
u(t0 , x) = g0 (x), (t0 , x) = g1 (x), ..., (t0 , x) = gm−1 (x)
∂t ∂tm−1
Exemple: Equation de la chaleur
@u @2u
@t
= @x2
; x R; t>0
u(x; 0) = u0 (x) ;
1.2 Problème bien posé:
Dé…nition: Un problème est dit bien posé s’il satisfait les conditions suivantes:
1- la solution du problème existe.
2- La solution est unique
3- La solution du problème est "stable" par rapport à la condition initiale, c’est à dire si
on opère un" petit changment" dans la condition iniatile on obtiendra un "petit changment"
dans la solution:
Si une des conditions n’est pas véri…ée, on dit que le problème est mal posé:
Dr. Ngoa Engola
1.3 Solutions classique et faible
Soit P (x; t; u; : : :) = 0; une équation aux dérivées partielles alors, la fonction u (x; t) est dite
solution "classique" si elle satisfait l’équation et sa condition initiale et elle est su¢ sament
"régulière" , c’est à dire qu’elle est di¤érentiable à un ordre égale ou supérieur à l’ordre de
l’équation.
Une solution est dite "faible" si elle véri…e l’équation et ses conditions sans être su¢ samen
régulière.
2. Existence et unicité : Théorème de Cauchy-Kovalevskaya
Le théorème de Cauchy-Kovalevskaya garantit l'existence locale d'une
solution analytique pour une EDPanalytique avec des données initiales
analytiques.
Remarque:
- Une fonction est dite analytique si elle est developpable en série entière au voisinage
de chaque point de son ensemble ouvert de définition.
- Une EDP est analytique lorsque ses coefficients, ses termes sources et
éventuellement les conditions aux limites ou initiales associées sont des fonctions
analytiques.
2.1 Énoncé du théorème
.
Soit une équation aux dérivées partielles d'ordre m de la forme :
∂mu ∂u ∂ m−1 u ∂u ∂mu
= F (t, x1 , … , xn , u, , … , m−1 , ,…, m ,…),
∂tm ∂t ∂t ∂x1 ∂xk
où :
u = u(t, x1 , … , xn ) est la fonction inconnue,
- Si F est une fonction analytique en toutes ses variables au voisinage des données
initiales,
- Si Les conditions initiales données par :
∂u ∂ m−1 u
u(0, x) = ϕ0 (x), (0, x) = ϕ1 (x), …, (0, x) = ϕm−1 (x),
∂t ∂tm−1
sont des fonctions analytiques au voisinage de x = 0.
Alors, il existe une unique solution analytique locale u(t, x) définie dans un voisinage de (0, 0)
2.2 Limites du théorème
Non applicabilité aux équations non analytiques (ex : équation de la chaleur ut = Δu).
Ne garantit pas la stabilité (problèmes mal posés peuvent exister).
Dr. Ngoa Engola
3. Classification des EDP et problème de Cauchy
3.1 EDP linéaires du second ordre
Une EDP linéaire du second ordre s'écrit :
auxx + 2buxy + cuyy + dux + euy + f u = g.
Le discriminant Δ = b2 − ac détermine la nature de l'EDP :
Hyperbolique (Δ > 0) : Problème de Cauchy bien posé (ex : équation des ondes).
Parabolique (Δ = 0) : Problème de Cauchy bien posé sous certaines conditions (ex : équation de la
chaleur).
Elliptique (Δ < 0) : Le problème de Cauchy est généralement mal posé (ex : équation de Laplace).
3.2 Exemples fondamentaux
(a) Équation des ondes (hyperbolique)
utt − c2 uxx = 0, u(x, 0) = f (x), ut (x, 0) = g(x).
Solution (d'Alembert) :
f (x + ct) + f (x − ct) 1 x+ct
u(x, t) = + ∫ g(s) ds.
2 2c x−ct
Le problème est bien posé (existence, unicité, stabilité).
(b) Équation de la chaleur (parabolique)
ut − αuxx = 0, u(x, 0) = f (x).
Solution (convolution avec noyau de la chaleur) :
∞
1 2
u(x, t) = ∫ e−(x−y) /(4αt) f (y) dy.
4παt −∞
Le problème est bien posé pour t > 0, mais mal posé pour t < 0.
(c) Équation de Laplace (elliptique)
Δu = 0, u(x, 0) = f (x), uy (x, 0) = g(x).
Le problème de Cauchy est mal posé (instabilité, non-unicité possible).
Dr. Ngoa Engola
4. Problèmes mal posés et contre-exemples
4.1 Exemple d'instabilité (Hadamard)
Considérons l'équation de Laplace avec conditions initiales :
sin(nx)
uxx + uyy = 0, u(x, 0) = 0, uy (x, 0) = .
n
La solution est :
sin(nx) sinh(ny)
un (x, y) = .
n2
Quand n → ∞, les données initiales tendent vers 0, mais la solution explose pour y = 0. Problème
instable.
4.2 Non-unicité (Lewy)
Il existe des EDP linéaires sans solution pour certaines données de C∞
contre-exemple de Lewy pourl'équation : ux + iuy − 2i(x + iy)ut = f (t)
L’espace noté C 1 [a; b] est l’espace des fonctions in…niment continuement dérivables
sur l’intervalle [a; b] ;
5. Quelque Méthodes de résolution du problème de Cauchy
Les méthodes dépendent du type d’EDP. Voici les principales techniques utilisées :
5.1. Méthode de séparation des variables
Utilisée pour les problèmes de Cauchy avec conditions aux limites
On cherche une solution sous la forme séparable :
u(x, t) = X(x)T (t).
Cela réduit l’EDP à deux EDO indépendantes que l’on résout séparément.
5.2. Méthode des caractéristiques (pour les EDP du premier ordre)
Applicable aux EDP du premier ordre
L'idée est de transformer l'EDP en un système d’équations différentielles ordinaires (EDO) le long de
courbes appelées caractéristiques.
Exemple : ∂u ∂u
a(x, y) + b(x, y) = c(x, y, u), avec u donné sur une courbe initiale Γ.
∂x ∂y
Les équations des caractéristiques sont :
Dr. Ngoa Engola
dx dy du
= a(x, y), = b(x, y), = c(x, y, u).
dt dt dt
On résout ce système pour obtenir u(x, y).
5.3. Méthode de Fourier (ou transformée de Fourier)
Utilisée pour les EDP linéaires à coefficients constants
On applique la transformée de Fourier pour transformer l'EDP en une équation algébrique ou une
équation différentielle ordinaire.
5.4. Méthode de la transformée de Laplace
Utilisée pour les EDP contenant des termes en temps ( t)
Elle est particulièrement efficace pour les problèmes de Cauchy posés sur t = 0.
Conclusion
Le problème de Cauchy est central dans l'étude des EDP. Sa résolution dépend fortement :
De la nature de l'EDP (hyperbolique, parabolique, elliptique).
De la régularité des données initiales.
De la non-caractéristicité de l'hypersurface initiale.
Les outils varient selon les cas : théorème de Cauchy-Kovalevskaya, méthode des caractéristiques, analyse
de Fourier, séparation des variables, transformée de Laplace etc...
Références :
Evans, Partial Differential Equations.
Hörmander, The Analysis of Linear Partial Differential Operators.
Courant & Hilbert, Methods of Mathematical Physics.
Dr. Ngoa Engola
