2019/20 EDO

Université Paris Diderot Équation Différentielles Ordinaires

Feuille TD 4 - Autour du théorème de Cauchy-Lipschitz

1 Fonctions Lipschitziennes
Exercice 1. (*) Soit I un intervalle de R et soit U = I × R. Soit a et b deux fonctions définies et continues
sur I, à valeurs réelles. On pose, pour tout (t, x) ∈ U ,

f (t, x) = a(t)x + b(t).

Montrer que f est Localement Lipschitzienne en x, uniformément par rapport à t sur U .

Exercice 2. (*)
Les fonctions suivantes sont-elles Lipschitziennes ou Localement Lipschitziennes en x, uniformément par
rapport à t, sur les ouverts proposés ?
(i) U = R × R, f (t, x) = etx .
2
(ii) U = R × R, f (t, x) = xet .
p
(iii) U = R × R, f (t, x) = t |x| .
(iv) U = R × R, f (t, x) = sin(tx2 ) .
(v) U = R × R, f (t, x) = sin(tx) .
(vi) U = R × R, f (t, x) = ln(1 + t2 )|x| .
(vii) U = R × R2 , f (t, x) = (x21 + 3x2 + 1, x1 x2 ) .
(viii) U = R × R2 , f (t, x) = (|x1 + x2 |, cos(x2 )) .
arctan x
(ix) U =]0, 1[×R, f (t, x) = t .
Que peut-on en déduire concernant le problème de Cauchy
 0
x = f (t, x)
x(t0 ) = x0 , (t0 , x0 ) ∈ U

avec f l’une des fonctions étudiées ci-dessus ?

Exercice 3. Montrer que la fonction

 
p x
f (t, x) := |t| sin , si t 6= 0, f (0, x) = 0,
|t|

est continue sur R × R, qu’elle est C 1 en x pour tout t fixé mais n’est pas Localement Lipschitzienne en
x, uniformément par rapport à t.

2 Équations à variables séparables

Exercice 4. (*) Soit I un intervalle de R et soit U = I × R. Soit f (t, x) = g(x)h(t) avec h une fonction
continues et g est une fonction C 1 . On pose, pour (t0 , x0 ) ∈ U ,
 0
x = f (t, x) = g(x)h(t)
x(t0 ) = x0 ,

On suppose g(x0 ) 6= 0. Montrer que pour toute solution u définie sur un intervalle J ⊂ I contenant t0
satisfait g(u(t)) 6= 0 pour tout t ∈ J et
t
u0 (s) t
Z Z
ds = h(s)ds
t0 g(u(s)) t0

En déduire que le changement de variable τ = u(s) est bien définie dans J et pour tout t ∈ J on a
Z u(t) Z t
dτ
= h(s)ds
x0 g(τ ) t0

1
3 Solutions maximales
Exercice 5. Pour chacun des problèmes de Cauchy suivants, a-t’on existence et/ou unicité de la solution
dans un voisinage de 0 ? ( 2
y 0 = 1+y
 0
y = 1 + y2 y
(1) (2)
y(0) = 1 y(0) = 1
 0 √  0 √
y = 3y y = 3y
(3) (4)
y(0) = 1 y(0) = 0
Exercice 6. (*) Soit I un intervalle de R et t ∈ I 7→ A(t) ∈ Mn (R) est C 1 . Montrer que toute solution
maximale de l’équation différentielle
x0 (t) = A(t)x(t)
est globale.
Exercice 7. (*)[Lemme de Gronwall] (a) Soit f : [t0 , t1 ] → R une fonction continue, dérivable sur (t0 , t1 ).
Soit v : [t0 , t1 ] → R continue (L1loc suffit) telle que

f 0 (t) ≤ v(t)f (t), ∀t ∈ [t0 , t1 ].

Montrer que Z t 
f (t) ≤ f (t0 ) exp v(s)ds , ∀t ∈ [t0 , t1 ].
t0
(b) Soient C ∈ R, u, v : [t0 , t1 ] → R deux fonctions continues avec v ≥ 0 telles que
Z t
u(t) ≤ C + u(s)v(s)ds, ∀t ∈ [t0 , t1 ]. (1)
t0

Montrer que
Z t 
u(t) ≤ C exp v(s)ds , ∀t ∈ [t0 , t1 ]. (2)
t0

Exercice 8. On considère le problème de Cauchy

(
y 0 = f (t, y)
(3)
y(0) = y0

où f : R × Rn → Rn est un champ globalement Lipschitz en y (uniformément par rapport à t). Montrer

que les solutions maximales de y 0 = f (t, y) sont globales.
Exercice 9. Soit f un champ R × R → R satisfaisant les hypothèses de Cauchy-Lipschitz, et y, z définies
et dérivables sur un ouvert I de R et telles que

y 0 (t) < f (t, y(t)), et z 0 (t) = f (t, z(t)).

On suppose que pour un certain t0 ∈ I, y(t0 ) < z(t0 ).

1. Prouver que pour tout t ∈ I ∩ [t0 , +∞[, y(t) < z(t).
2. Application : soit f : R×R → R, de classe C 1 , et telle que f > 0. Montrer que la solution maximale
du problème de Cauchy (
y 0 = y 2 + f (t, y),
y(0) = y0 > 0
n’est pas globale.
Exercice 10. Soit y0 ∈ R, et le problème de Cauchy, posé dans R × R,
(
y 0 = (y + 1)(y − 1),
(4)
y(0) = y0 ,

1. Si y0 ∈] − 1, 1[, montrer que la solution maximale est globale, et converge vers ∓1 en ±∞.
2. Montrer que si y0 > 1, alors l’intervalle d’existence de la solution maximale est borné supérieure-
ment.

Exercice 11. (*)On considère le problème de Cauchy

(
y 0 = ey − 1
(5)
y(0) = α

(a) On notera yα (t) la solution maximale de (5) définie sur Iα =]Tα− , Tα+ [.

2
 1. Justifier l’existence et l’unicité de la solution maximale.
2. Quelle est la solution pour α = 0 ?
(b) On suppose que α > 0.
1. Montrer que yα (t) > 0 pour tout t ∈ Iα .
2. Montrer que yα (t) est croissante. En deduire que y 0 (t)e−y(t) ≥ 1 − e−α pour tout t ∈ Iα ∩ [0, +∞).
3. Montrer que la solution n’est pas globale, i.e. Tα+ < +∞.
(c) On suppose que α < 0.
1. Montrer que yα (t) < 0 pour tout t ∈ Iα .
2. Montrer que yα (t) est décroissante. En deduire que α − t ≤ y(t) ≤ α pour tout t ∈ Iα ∩ [0, +∞).
3. Montrer que la solution est globale, i.e. Iα = R.
(d) Tracer l’allure des solutions

Exercice 12. (*)Soit a > −1. On considère le problème de Cauchy

(
y 0 = y log(1 + y)
(6)
y(0) = a

On notera ya (t) la solution maximale de (6) définie sur Ia =]Ta− , Ta+ [⊂ R.

1. Déterminer l’ensemble Ω ⊂ R sur lequel l’équation est définie.
2. Trouver toutes les solutions constantes de (6).
3. Montrer que, pour a 6= 0, la solution ya (t) ne change pas de signe.
4. Montrer que les limites `±
a = limt→Ta± ya (t) existent et les calculer.
5. Determiner Ta± et tracer l’allure des solutions de (6).

Exercice 13. Soit y0 ∈ R, et le problème de Cauchy, posé dans R × R,

(
y 0 = f (y),
(7)
y(0) = y0 ,

où f ∈ C 1 (R) avec un nombre finis de points d’annulation x1 < . . . < xN .

1. Montrer que si xi ≤ y0 ≤ xi+1 alors la solution du problème de Cauchy est globale. Montrer que
les limites limt→±∞ y(t) existent et les calculer.
2. On suppose que f (x) > 0 pour x > xN . Soit y0 > xN .
a. Montrer que la solution de (7) est définie sur ] − ∞, T+ [.
b. Montrer que T+ < ∞ si et seulement si 1/f est intégrable en +∞.
3. Que dire si f (x) < 0 pour x > xN ? Que dire pour y0 < x1 ?

Exercice 14. On considère le problème de Cauchy

 00 1
 y =y
(1) y 0 (0) = 0
y(0) = 1


1. Montrer que (1) possède une solution maximale ϕ définie sur un intervalle ouvert ]a, b[ contenant
0.
2. Montrer que a = −b et que ϕ est paire.
3. Etablir le tableau de variation de ϕ. Montrer que si b ∈ R, alors lim ϕ ou lim ϕ0 est infinie.
x→b x→b
4. Montrer que ]a, b[= R.

Exercice 15. On considère le problème de Cauchy suivant.

y0
 0
 x = x(2 − y )
(1) y 0 = 3(x + y) − x0

(x(0), y(0)) = (2, −1)

1. Peut-on utiliser les théorèmes du cours pour traiter le système (1) ?

2. On suppose qu’il existe une solution (x, y) de classe C 1 au voisinage de (2, −1). On pose u = xy et
v = x + y. Montrer que (u, v) vérifie un système différentiel linéaire très simple.
3. Trouver une solution de (1).