L’application Fa un seul point fixe, ϕ.
L’´equation sans second membre a une et une seule solution de condition initiale (t0, X0), d´efinie
sur J.
Preuve
Si ϕet ψsont deux points fixes, on a pour tout k:
Fk(ϕ)−Fk(ψ) = Fk−1(ϕ)−Fk−1(ψ) = . . . =ϕ−ψ.
Mais le mˆeme calcul que ci-dessus nous donne, pour tout t > t0de J:
kϕ(t)−ψ(t)k=kFk(ϕ)(t)−Fk(ψ)(t)k
≤Zt
t0
k|A(s)k|k Fk−1(ϕ)(s)−Fk−1(ψ)(s)kds
≤Zt
t0
MkFk−1(ϕ)(s)−Fk−1(ψ)(s)kds.
Donc, par r´ecurrence sur k, que:
kϕ(t)−ψ(t)k=kFk(ϕ)(t)−Fk(ψ)(t)k ≤ kϕ−ψk∞
Mk(t−t0)k
k!.
En faisant tendre kvers l’infini, on en d´eduit que ϕ(t) = ψ(t).
Les mˆemes in´egalit´es sont vraies pour t < t0. Donc ϕ=ψet la solution sur Jest unique.
Corollaire (Existence et unicit´e sur I)
L’´equation sans second membre a une solution et une seule, d´efinie sur tout I, de condition
initiale (t0, X0). Cette solution prolonge toutes les solutions de condition initiale (t0, X0), d´efinies
sur un segment J⊂Icontenant t0.
Preuve
Comme on a une unique solution ϕJde condition initiale (t0, X0) sur tout segment J⊂I, on
peut poser pour chaque tde I,
ϕ(t) = ϕJ(t)
pour tout segment Jcontenant t0et t. En efeet, par unicit´e de la solution sur le segment J∪J0,
ce vecteur ne d´epend pas du choix de J:
Pour tout s∈J,ϕJ(s) = ϕJ∪J0(s) et pour tout sde J0,ϕJ0(s) = ϕJ∪J0(s). Donc en t,
ϕJ(t) = ϕJ0(t).
La fonction ϕest ainsi d´efinie sur tout I, v´erifie ϕ0(t) = A(t)ϕ(t) pour tout tde Iet ϕ(t0) = X0.
C’est une solution sur Ide condition initiale (t0, X0).
Si ψest une autre solution, sur tout segment J⊂Icontneant t0, on a ψ|J=ϕJdonc finalement
ϕ(t) = ψ(t). La solution est unique.
3. La r´esolvante
Pour chaque t0∈Iet chaque t∈I, on regarde ici l’application Rt
t0qui au vecteur X0associe
la valeur ϕ(t), `a l’instant tde la solution de condition initiale (t0, X0). Cette application de Evers
Es’appelle la r´esolvante de l’´equation sans second membre.
Proposition (Rt
t0est lin´eaire et inversible)
4