Corrige
Corrige
Corrige
contrôle
Corrigé de l’examen du 4 mars
M1 2018–2019
∂
R(t, t0 ) = A(t)R(t, t0 ),
∂t
avec comme conditions initiales R(t0 , t0 ) = Idn .
2. Pour un système linéaire à coefficients constants, la résolvante est donnée par e (t−t0 )A . Pour
calculer l’exponentielle de A, on peut diagonaliser A.
On trouve ! ! !
1 1 1 0 1/2 1/2
A= .
1 −1 0 −1 1/2 −1/2
On en déduit que
! ! !
(t−t0 ) 1 1 e t−t0 0 1/2 1/2
e =
1 −1 0 e −(t−t0 ) 1/2 −1/2
!
cosh(t − t0 ) sinh(t − t0 )
=
sinh(t − t0 ) cosh(t − t0)
1
e t−t0 + e t0 −t et sinh(t − t0 ) = 1
e t−t0 − e t0 −t .
avec cosh(t − t0 ) = 2 2
Exercise 2 :
1. Enoncer le théorème de Lyapunov.
2. On considère le système
x 0 = −x 5 − y
y 0 = 2x − y .
Montrer que V (x , y ) = 2x 2 + y 2 est une fonction de Lyapunov en (0, 0) et en déduire les
propriétés de stabilité de (0, 0).
1. On considère un système différentielle de la forme X 0 = f (X ) avec f : U → Rn , U ouvert
dans Rn et f Lipschitz. Soit X0 ∈ U tel que f (X0 ) = 0.
On suppose qu’il existe une fonction de Lyapunov en un point X0 , i.e. une fonction V continue
définie sur un voisinage de X0 et vérifiant
1. V admet un minimum stricte en X0 .
2. V décroit le long des portions d’orbites distinctes de X0 et contenues dans son ensemble de
définition.
Alors X0 est un point d’équilibre stable. Si de plus, V décroit strictement le long des portions d’orbites
distinctes de X0 et contenues dans son ensemble de définition, alors X0 est asymptotiquement stable.