DRAFT
Remarque 2.On a utilisé encore une fois le fait que Iétait un intervalle, donc connexe,
pour en déduire que si une fonction a une dérivée nulle, alors elle est constante.
On vérifie sans peine que l’espace S0des solutions de (E0)est un sous-espace vectoriel
des fonctions dérivables sur I: si xet ysont solutions, alors pour tout λ∈R,x+λy est
aussi solution. Le théorème ci-dessous peut alors se réinterpréter de la façon suivante :
Corollaire 1. L’ensemble S0des solutions de (E0)sur Iest un espace vectoriel de
dimension 1, engendré par la fonction
t∈R7→ exp Zt
t0
p(u)du,
et l’application Ψt0:x∈ S07→ x(t0)∈Rest un isomorphisme d’espaces vectoriels.
Remarque 3.Changer la valeur de t0revient à multiplier par un scalaire, d’après la
relation de Chasles sur les intégrales :
exp Zt
t0
p(u)du= exp Zt1
t0
p(u)du×exp Zt
t1
p(u)du.
2.3.2 Détermination d’une solution particulière
Nous présentons d’abord quelques astuces pour essayer de deviner la forme d’une
solution particulière de l’équation (E)avec une fonction q. La forme obtenue dépendra
de paramètres qui seront déterminés par des équations algébriques (linéaires). Ces formes
utilise le fait que la dérivation préserve certaines familles de fonctions : la dérivée d’une
exponentielle est une exponentielle, la dérivée d’un polynôme est un polynôme, etc.
Méthode par identification
— Si pest constant, et qest une fonction polynôme de degré d, on cherche xsous la
forme d’un polynôme de même degré.
— Si pest constant et que q=ceλt. Si λ6=p, on cherche xsous la forme aeλt. Si
λ=p, on cherche xsous la forme (a+bt)eλt.
— Si pest constant et que q=ccos(ω)ou csin(ωt), on cherche xsous la forme
acos(ωt) + bsin(ωt).
—Principe de superposition : si xiest solution sur Ide l’équation différentielle
x0=p(t)x+qi(t)
pour i= 1,2, alors x1+x2est solution sur Ide l’équation différentielle
x0=p(t)x+q1(t) + q2(t).
La proposition de solution particulière lorsque qest un cosinus ou un sinus peut être vue
comme une combinaison du principe de superposition et de la proposition lorsque qest
une exponentielle (si on autorise les exponentielles complexes dans ce cas).
4