22 Chapitre II. Rappels sur les equations differentielles
2.8. Theoreme de Cauchy-Lipschitz. -Soit £ un espace affine dont l'espace
vectoriel associe E est un espace de Banach reel, et f : n
-----+
E une application
d'une partie n de
lll
X £ dans E. On considere l'equation dilferentielle
cp'(t)
=
f(t,
cp(t)).
(1)
Soit (to, xo) E
r2
une donnee de Cauchy, qu'on suppose centre d'un tonneau
de securite ferme
Io
x Bo contenu dans
r2
(avec
Io
=
[to
-l,
to
+ l], l > 0,
Bo =
BF(x
0, r), boule fermee de centre
xo
et
de rayon r > 0). On suppose aussi
la restriction de f a
Io
x Bo continue, et lipschitzienne relativement a sa seconde
variable.
11
existe alors une solution de l'equation differentielle
(1)
satisfaisant la
donnee de Cauchy (to, x0
),
defi.nie sur l'intervalle ouvert
]t
0
-l,
t0
+l[.
Cette
solution
est unique, au sens suivant : toute autre solution de l'equation differentielle
(1)
satisfaisant la
meme
donnee de Cauchy (to, x0) coincide avec elle sur l'intersection
de son intervalle de definition avec l'intervalle
]to
-l, t0 + l[.
Preuve
: Voir par exemple [ 18], chapitre
V,
paragraphe
2.
7.
D
2.9. Theoreme d'existence et d'unicite globales. -Soit £ un
espac!!_
affine
dont l'espace vectoriel associe E est un espace de Banach reel,
et
f : n
-----+
E
une application d'un ouvert n de
lll
x £ dans
E.
On suppose f continue sur
n
et
localement lipschitzienne par rapport a sa seconde variable. On considere
l'equation differentielle
cp'(t)
=
f(t,cp(t)).
(1)
Pour
toute
donnee de Cauchy (to,
Xo)
En
il existe une solution maximale unique
de l'equation differentielle
(1)
satisfaisant cette donnee de Cauchy.
Preuve
: Voir par exemple [ 18], chapitre
V,
paragraphe 2.10. D
3. Bouts d'une solution maximale
Nous considerons dans ce paragraphe !'equation differentielle, dans l'espace affine£ dont
l'espace vectonel associe E est norme,
cp'(t)
=
J(t,cp(t)),
(1)
ou
fest
une application d'une partie n de
lll
x £ dans E. Les hypotheses sur E et f seront
precisees en temps utile.
3.1. Definition. -Soit
cp
une solution maximale de l'equation differentielle (1),
]a,
b[
son intervalle de definition
(a
pouvant etre
fi.ni
OU
egal a
-oo,
et
b
fi.ni
OU
egal a
+oo
). On appelle bout droit (resp., bout gauche) de cette solution maximale
l'ensemble des valeurs d'adherence, lorsque t
-----+
b (resp., lorsque t
-----+
a), de
l'application de
]a,
b[
dans
lll
x £ : t
1-----+
(t, cp(t)).
3.2. Commentaires
a) Projection des bouts sur le Eacteur R - Il importe de remarquer que le bout droit
(resp., gauche) de la solution
cp
est une partie de
lll
x £, qui peut eventuellement etre vide.
Si cette partie est non vide, sa projection sur le facteur
lll
est necessairement le singleton
{ b} (resp., le singleton
{a});
en effet, b (resp., a) est la limite, done l'unique valeur
d'adherence, de !'injection canonique de
]a,
b[
dans
lll,
t
1-----+
t,
lorsque t
-----+
b (resp.,
lorsque
t-----+
a).
Nous voyons done que si b =
+oo
(resp., si
a=
-oo),
le bout droit (resp., gauche) de la
solution
cp
est vide.