K a R ou C selon le contexte.
avec :
On dnit : z X I
U3 K telle que y a z e
ayH C by a a@z H eH z A e A(t) Cbz e A(t) a @azH bzA e A(t) Cbz e A(t) a azH e A(t)
sur y :
Si
b sur I. On a ainsi : a
@"A X ayH C by a c @" A X ayH C by a H On appelle @" A quation homogne associe @"A, et on pose comme variables : y gnrale de @" A et yp une solution particulire de @"A. On a :
0 0 0
la solution
ayp C byp a c ay C by a c
A( )
Cyp
Variation de la constante
c a az H e A(t) c z H a eA(t) a c A(t) za e a y a t U3 zp @tA e A(t) C e A(t) ; P K avec zp une primitive de z'
s'attachera comprendre en quoi l'ensemble des solutions est une droite vectorielle.
Soit t U3 ert une solution particulire de @"A, on remarque en dveloppant @"A que l'on a ayHH C byH C cy a @ar2 C br C cA ert a H soit @E A X @ar2 C br C cA a H avec @"A D @E A, @E A tant appele quation caractristique de @"A. Dans C, @E A admet au moins une solution.
2.1.2 Rsolution complte pour
y a z ert yH a z H @tA C rz @tA ert yHH a z HH @tA C Prz H @tA C r2 z @tA ert aA ayHH C byH C cy a azHH C @Par C bAzHC @ar2 C br C cAz ert a azHH C @Par C bAzH ert
Ainsi, y solution de " implique que z H soit solution de awH C @Par C bAw a H, qui est d'ordre un. On note r1 et r2 les deux solutions (potentiellement identiques)de @E A : @Par1 C bA a b a@Par1 C a A a a@r1 r2 A peut donc s'annuler si le discriminant de @E A not est nul.
Si
2
Ta H r Aw a H.
z H est solution de awH C @Par C bAw a H soit awH C a@r1 r2 Aw a H cd wH C @r1 e(r2r1)t C @; A P C2 r2 r1 y X t U3 er2t C er1t r2 r1 y X t U3 A er2 t CB er1 t @A; B A P C2 z X t U3
Si
z H est solution de wH C @r1 r2 Aw a H, or comme a H, r1 a r2 a r0 (solution unique). D'o, comme z H est solution de wH a H : z HH a H z H a A @A; B A P C2 z a At C B y a @At C B A er0 t
aH
Pour > H on applique la mme mthode que pour K a C, en restreignant A et B K. La solution est bien relle puisque les rk sont bien dans R. Si < H, on sait que les deux solutions sont les conjugues l'une de l'autre, on les met donc sous leur forme arithmtique : r a i. D'o :
KaR
y X t U3 A et+it CB etit y X t U3 A eit CB eit et y X t U3
2
ACB
eit C A C B eit C A B eit A B eit
et