MP 2 Théorème de Cauchy linéaire 2022 – 2023

Le but de ce devoir est de prouver le théorème de Cauchy linéaire

Théorème

Soit


 𝑥 ′ (𝑡) = 𝑎(𝑡)𝑥 (𝑡) + 𝑏 (𝑡)

(𝑃𝐶)

 𝑥 (𝑡 0 ) = 𝑥 0

un problème de Cauchy linéaire d’ordre 1 vectoriel en particulier les fonctions 𝑎 et 𝑏 sont continues. Il
admet une unique solution.

Dans toute la suite 𝐸 sera un espace vectoriel de dimension finie notée 𝑝, 𝐼 un segment de R et 𝑎, 𝑏 deux fonctions
continues de 𝐼 dans ℒ(𝐸). On note ℓ la longueur de 𝐼 , ||.|| 𝐸 une norme de 𝐸 et ||.|| ∞ la norme infinie des fonctions de 𝐼
dans 𝐸 (relativement à ||.|| 𝐸 ) et ||.|| op la norme subordonnée à ||.|| 𝐸 .
1. Montrer qu’une fonction 𝑥 ∈ 𝒞 1 (𝐼, 𝐸) vérifie (PC) si et seulement si
∫ 𝑡
∀𝑡 ∈ 𝐼, 𝑥 (𝑡) = 𝑥 0 + 𝑎(𝑢) (𝑥 (𝑢)) + 𝑏 (𝑢)𝑑𝑢
𝑡0

Par la suite, on procède par approximations. On considère la fonction 𝑥 0 définie sur 𝐼 par 𝑥 0 : 𝑡 ↦→ 𝑥 0 et, pour tout entier
𝑛, on pose ∫ 𝑡
𝑥𝑛+1 : 𝑡 ↦→ 𝑥 0 + 𝑎(𝑢)(𝑥𝑛 (𝑢)) + 𝑏 (𝑢)𝑑𝑢
𝑡0

Le but est alors de démontrer que la suite de fonctions (𝑥𝑛 ) converge une fonction 𝑥 qui sera la solution cherchée. De
plus, il faut montrer que cette convergence est uniforme afin de pouvoir appliquer les théorèmes usuels d’intégration.
2. Justifier que ∀𝑛 ∈ N∗, ∀𝑡 ∈ 𝐼,
∫ 𝑡
𝑥𝑛+1 (𝑡) − 𝑥𝑛 (𝑡) = 𝑎(𝑢) (𝑥𝑛 (𝑢) − 𝑥𝑛−1 (𝑢))𝑑𝑢.
𝑡0

3. Justifier qu’il existe 𝑀 ∈ R, tel que ∀𝑡 ∈ 𝐼, ||𝑎(𝑡)|| op ⩽ 𝑀 et que pour tout 𝑛 ∈ N∗

||𝑎(𝑡) (𝑥𝑛 (𝑡) − 𝑥𝑛−1 (𝑡))|| 𝐸 ⩽ 𝑀 ||𝑥𝑛 (𝑡) − 𝑥𝑛−1 (𝑡)|| 𝐸

4. En déduire que
𝑀𝑛 ℓ𝑛
∀𝑛 ∈ N∗, ∀𝑡 ∈ 𝐼, ||𝑥𝑛+1 (𝑡) − 𝑥𝑛 (𝑡)|| 𝐸 ⩽ ||𝑥 1 − 𝑥 0 || ∞
𝑛!
5. En déduire que la suite de fonction (𝑥𝑛 ) converge uniformément vers une fonction 𝑥.
On pourra faire apparaitre une série de fonctions.
6. Vérifier que la fonction 𝑥 est solution du problème de Cauchy.
7. Montrer l’unicité de la solution du problème de Cauchy.
On pourra considérer deux solutions et, en procédant comme ci-dessus, montrer que la norme infinie de la différence
est nulle.
8. Comment étendre le résultat ou cas où 𝐼 n’est pas un segment ?