Académique Documents
Professionnel Documents
Culture Documents
x
Solution générale : y ( x) e ( x ) e (t ) b(t )dt C0 e (t )
x0
x x
x [a, b], u ( x) K uv x [a, b], u ( x) K exp v
( I ) // HP //
Gronwall : u, v C ([a, b], ). Supp K
a a
x w' x
K 0 w K uv 0, C 1 , w ' uv v ln w( x) ln w(a) v K 0 limite K 0
a w a
(t t0 ) n1
sup A(t ) , sup B(t ) X n1 (t ) X n (t ) n ( Y0 ) CVN sur segments CVU X sol
tJ tJ (n 1)!
t t
Unicité : p.abs, X et X sol, Y X X sol/Y (t0 ) 0 Y '(t ) A(t ) Y (t ) , w Y ' 0 w A w + Gronwall
t0 t0
A C( , Mn ( )), B C ( , n
), X sol sur n
de X ' AX B, X (0) 0 t 0, X (t ) 0 (meth. itérative)
t0
t
t0
Vrai si A commute avec A
t
t0
E 0 E
est une bijection affine, est un isomph de ev dim 0 dim E
X X (t0 ) X X ( t 0 )
( X1... X p ) fam. de sol. de X ' AX ( X1 ,..., X p ) est libre t0 I , ( X1 (t0 )... X p (t0 )) est libre t I ,.....
Variation des constantes Trouver une sol part. de ( ) connaissant un système fondamental de ( 0 )
n
On cherche la solution sous la forme X (t ) k (t ) X k (t ),
k 1
I
Le Wronskien de ( X 1... X n ) est l'application , noté w( X1... X n ) w
t det( X1 (t )... X n (t ))
n
u L( n
), x1...xn n
, det( x1...u ( xi )...xn ) tr(u )det( x1...xn ) (app. n-lin alt det , eval sur (can))
i 1
w est de classe C 1 et t I , w '(t ) tr( A(t ))w(t ) t0 I , w(t ) w(t0 )exp tr A(s)ds
t
t0
S0
n
Pour a0 ...an1 constantes et b 0, on note 1 ...r les racines de multiplicité 1 ... r , de l'équation
caractéristique X n an1 X n1 ... a0 0 0 Vect ( x k ei )i 1,n
k 0 ,i 1
Cauchy : x0 I , ( y0 , y0 ') 2
, ! y tq y( x0 ) x0 et y '( x0 ) y0 '
0 2
x0 est un isomph de ev
y ( y ( x0 ), y '( x0 ))
, ( , ) est une base de , est un sys. fond. de sol de (S0 )
' '
0 0
/ x I ,
( x) ( x)
'( x) '( x)
0 x I , w( x) w( x0 )exp a x
x_0
(I )
On a : soit w 0, soit, x I , w( x) 0 Si ( 0 ) est de la forme y " qy 0, w est constant
( x) ( x) '( x) 0 '( x)
(I )
x I , On résout en , on intègre
'( x) '( x) '( x) c( x) '( x)
W ( x ) wronskienne
Si on connait une solution particulière z de l'EDL Ay " By ' Cy D on cherche une solution
affinement indépendante de z sous la forme y uz EDL du premier ordre en u , quadrature
(I )
On peut utiliser le wronskien : si w yz ' y ' z , w( x) C exp a EDL d'ordre 1 en y
x
x0
Equation d'Euler : x2 y " axy ' by 0, a, b ctes, sur *
, on pose x et , z (t ) y(et ) EDL à coeffs csts
x et
f C ( , ) bornée y " y f possède une unique sol bornée sur (base : e x , e x , y Ae x f (t )dt ...)
0 2
y " ay ' by 0, a, b C ( I , ), , solutions à valeurs réelles.
( x0 ) 0 et 0 0 tq x [ x0 , x0 ] I , ( x x0 ( x) 0) (Cauchy : ' 0)
[a, b] I , {x [a, b] / ( x) 0} est fini. (sinon, suite inj CV de zéros) || ( x0 ) 0 ( , ) est liée
x1 x0 , ( x0 ) ( x1 ) 0 x [ x0 , x1 ] / ( x) 0 (abs, f / , f ' w / 2 strictement monotone...)
q1 , q2 C ( , ), q1 q2 , (E1 y " q1 y 0), (E2 y " q2 y 0), sol 0 de (E1 ) / (a) (b) 0, sol de (E2 )
s'annule sur [a, b] (wronskien mixte : w ' ', w ' (q2 q1 ) monotonie, signe)
Problème de Sturm-Liouville : q C ( , ), ( ) y " qy 0 a b
Existence et unicité de y tq (a) , (b) ? ( problème de Cauchy)
Si q 0, ( , ) 2
, ! / (a) et (b) 1 ,2 base, S0
1 ( a ) 2 ( a ) 0
( b ) ( b ) 0 , unique 0 de S0
2 2
Développement en série entière Franchissement des singularités
Analyse : Supp sol DSE, valeur des ak ? Synthèse : on prend cette sol, on vérifie la CV
Etude asymptotique : VDC, solution intégrale...
Série de Fourier : regarder les coeff 1 à 1 pour l'analyse (ne pas développer tout de suite)
Pour tout x0 n
, la solution X de ( ) tq X (0) x0 est : t , X (t ) exp(tA) x0
La solution M C ( I , Mn ( )) de M ' AM telle que M (0) I n est : t , M (t ) exp(tA)
A, B Mn ( ) [ A, B] 0 e A B e AeB (( ) M ' ( A B)M , et ( A B ) est la sol, etAetB aussi avec M (0) I n )
Au programme
(s, t ) 2
, e( st ) A esAetA
C ( , Mn ( )) tq : ( s, t ) 2
, ( s t ) ( s) (t ) et (0) I n (t ) et '(0)
(Intégrer, DL pour inversibilité, dériver, SDL)