EQUATIONS DIFF´
ERENTIELLES. 5
CHAPITRE 3.
TH´
EOR`
EMES D’EXISTENCE ET UNICIT´
E
3.1. Th´
eor`
eme de Cauchy-Lipschitz
Soit Eun espace vectoriel, U⊂R×Eun ouvert, (t0, x0)∈U. On note ]t0−
δ, t0+δ[ par Iδ. Rappelons deux d´efinitions.
D´efinition 3.1. Une fonction f:U⊂R×E→Fest dite lipschitzienne dans U
selon la deuxi`eme variable s’il existe C > 0 tel que
||f(t, x1)−f(t, x2)|| 6C||x1−x2|||
pour tout (t, x1),(t, x2)∈U.
D´efinition 3.2. Soit X, Y des espaces m´etriques. Supposons que Yest compact.
L’espace de toutes les fonctions continues X→Yest muni d’une m´etrique:
d(f, g) = sup
x∈X
d(f(x), g(x))
L’espace m´etrique ainsi obtenu est not´e C(X, Y ). C’est un espace m´etrique complet.
Th´eor`eme 3.3. Soit f:U→Eune application continue et lipschitzienne selon
la deuxi`eme variable dans un voisinage de (t0, x0). Alors il existe des nombres r´eels
positifs r, ρ, δ tels que
1. pour chaque ξ∈B(x0, ρ)il y a une unique fonction xξ:Iδ=]t0−δ, t0+δ[→
D(x0, r)telle que
dxξ(t)
dt =f(t, xξ(t)),
xξ(t0) = ξ
2. L’application ξ7→ xξest continue en tant qu’une application B(x0, ρ)→
C(Iδ, D(x0, r)).
Remarque 3.4. La condition lipschitzienne est essentielle dans ce th´eor`eme, comme
montre l’example de l’´equation diff´erentielle
x0=p|x|
avec un condition initiale x(0) = 0. Les deux fonctions
f1(t) = 0, f2(t) = sgn(t)t2
v´erifient cette ´equation diff´erentielle.
3.2. Existence et unicit´
e globale des solutions