MACS1 - S6 - Equations différentielles - TD2
Théorème de Cauchy-Lipschitz – Lemme de Gronwall
1 Une autre démonstration du théorème de Cauchy-Lipschitz
Soit f une fonction de R2 dans R, continue en ces deux variables et lipschitzienne par rapport à sa
deuxième variable. On rappelle que le théorème de Cauchy-Lipschitz assure l’existence et l’unicité
locales d’une solution du problème de Cauchy
y 0 (t) = f (t, y(t)), y(t0 ) = y0 (1)
Il existe plusieurs démonstrations possibles de ce théorème.
1. Rappelez les étapes principales de la démonstration vue en cours, basée sur l’utilisation des
solutions −approchées construites à l’aide du schéma d’Euler.
2. On cherche ici à établir une autre preuve du même théorème, basée sur l’utilisation du théorème
de point fixe et des itérations de Picard. La démonstration se décompose en trois temps
• Montrer que l’ensemble des fonctions continues sur un intervalle réel et à valeurs réelles,
noté C 0 (I, R), et muni de la norme sup (dite aussi norme L∞ ) définie par
||g||∞ = maxx∈I |g(x)|
est un espace de Banach.
• Montrer que toute fonction g définie sur un espace de Banach E, continue et contractante
au sens où
∃c ∈]0, 1[ ∀(x, y) ∈ E 2 ||g(x) − g(y)|| ≤ c||x − y||
admet un unique point fixe.
• Ecrire le problème (1) sous forme intégrale
Z t
y(t) = y0 + f (s, y(s))ds, (2)
t0
puis montrer qu’il existe p ∈ N tel que la fonction T définie sur l’ensemble des fonctions
continues et qui a toute fonction g associe la fonction
Z t
Tg (t) = y0 + f (s, g(s))ds
t0
vérifie le fait que T p est contractante pour la norme sup.
1
2 Lemme de Gronwall
1. Forme classique :
Soient trois fonctions f , φ et ψ continues et positives sur un intervalle I = [t0 , t1 ] ⊂ R. Montrer
que la relation Z t
∀t ∈ I f (t) ≤ φ(t) + ψ(s)f (s)ds
t0
entraı̂ne l’estimation
Z t Z t
∀t ∈ I f (t) ≤ φ(t) + ψ(s)φ(s) exp ψ(u)du ds
t0 s
2. Cas particulier :
Soient deux fonctions f et ψ continues et positives sur un intervalle I ⊂ R. Montrer que la
relation Z t
∃c ∈ R+ ∀t ∈ I f (t) ≤ c + ψ(s)f (s)ds
t0
entraı̂ne l’estimation Z t
∀t ∈ I f (t) ≤ c exp ψ(s)ds
t0
3. Forme différentielle :
Soient deux fonctions f et ψ continues et positives sur un intervalle I = [t0 , t1 ] ⊂ R. Montrer
que la relation
∃K ∈ R+ ∀t ∈ I f 0 (t) ≤ K + ψ(t)f (t)
entraı̂ne l’estimation
Z t
∀t ∈ I f (t) ≤ (f (t0 ) + K(t1 − t0 )) exp ψ(s)ds
t0
4. Application à l’unicité des solutions du problème de Cauchy :
Soit f une fonction de deux variables réelles, lipschitzienne par rapport à sa deuxième variable.
En utilisant la forme intégrale (2) du problème de Cauchy, montrer que deux solutions maximales
ȳ(t) et ŷ(t) définies sur les intervalles I¯ et Iˆ et associées aux conditions initiales ȳ0 et ŷ0 vérifient
∀t ∈ I = I¯ ∩ Iˆ |ȳ(t) − ŷ(t)| ≤ |ȳ0 − ŷ0 | exp (L|t − t0 |)
où L désigne la constante de Lipschitz associée à la fonction f . En déduire l’unicité de la solution
du problème de Cauchy.
5. Application à l’existence d’une solution globale du problème de Cauchy :
Montrer que si f satisfait la relation
∃(α, β) ∈ (R+ )2 ||f (x)|| ≤ α||x|| + β
alors toute solution maximale du problème de Cauchy (1) est une solution globale.
6. Forme discrète :
Soient trois suites de nombres positifs hk , ek et k . Soit λ ∈ R+ . Montrer que la relation
∀n en+1 ≤ (1 + λhn )en + n
entraı̂ne l’estimation
n−1
! n−1 n−1
!
X X X
en ≤ exp λ hk e0 + exp λ hk j
k=0 j=0 k=j+1
