Aller au contenu
Télécharger l'application

Accueil › MP › Maths

MP · Maths · semaine 27

Équations différentielles linéaires

Systèmes différentiels linéaires, théorème de Cauchy linéaire, exponentielle de matrice, équations scalaires d'ordre 2, wronskien et variation des constantes.

Sommaire

Le cours

Résumé en cinq points

  1. Le théorème de Cauchy linéaire donne existence et unicité d'une solution définie sur l'intervalle tout entier, pour toute condition initiale.
  2. L'espace des solutions de l'équation homogène a la dimension de EE, ou nn pour une équation scalaire normalisée d'ordre nn. Avec second membre, l'ensemble des solutions est un espace affine de cette direction.
  3. L'exponentielle de matrice se définit par une série absolument convergente. Pour aa et bb qui commutent, elle vérifie exp⁡(a+b)=exp⁡(a)exp⁡(b)\exp(a+b)=\exp(a)\exp(b) ; l'égalité est fausse en général sans cette hypothèse. La dérivée de t↦exp⁡(ta)t\mapsto\exp(ta) est aexp⁡(ta)a\exp(ta).
  4. Pour un système homogène à coefficients constants, la solution du problème de Cauchy est exp⁡((t−t0)a)\exp((t-t_0)a) appliqué à la condition initiale, et le calcul explicite passe par la réduction.
  5. Pour l'ordre 22, le wronskien est soit partout nul, soit jamais nul. Il caractérise les bases de solutions et intervient comme déterminant dans la variation des constantes.
Pourquoi ce chapitre

En première année, on savait résoudre :

  • l'équation scalaire linéaire d'ordre 11 ;
  • l'équation homogène d'ordre 22 à coefficients constants.

Ce chapitre donne le cadre général qui englobe ces deux cas et les dépasse.

À retenir

Le théorème de Cauchy linéaire affirme qu'un problème de Cauchy linéaire a une solution et une seule, définie sur l'intervalle entier, sans explosion en temps fini.

On en déduit la dimension de l'espace des solutions, donc une méthode de résolution complète dès qu'on connaît assez de solutions particulières.

Le chapitre introduit ensuite l'exponentielle de matrice, qui relie le cours de réduction et celui d'équations différentielles.

Le programme précise que la résolution explicite des systèmes à coefficients constants n'est pas un objectif en soi. La technicité des exercices reste donc limitée. L'accent est mis sur :

  • la structure ;
  • les études qualitatives.

Classiques et HP

Méthodes et approfondissements du chapitre · le statut est précisé pour MP.

Classiques et HP réservés

Prolongements et démonstrations de Maths.

Essayer 7 jours gratuitement Sans engagement · cours, exercices et fiches complets

Fin de l'aperçu gratuit

Encore 14 parties de cours et 11 corrigés.

Essayer 7 jours gratuitement Sans engagement · cours, exercices et fiches complets

Méthodes et exercices

Exercices classiques corrigés

Rangés par thème, du plus simple au plus exigeant. Difficulté et durée indicatives.

Résolution explicite 3

Exercice 1. Recollement en un point singulier ★★

Classiques de khôlle et concours · 15 min · Khôlle

Résoudre ty′−y=t2t y' - y = t^2 sur R\mathbb{R}.

Voir l'indice

Technique résoudre sur chaque demi-droite, puis imposer dérivabilité et équation en 00.

Voir le corrigé offert
Résultat

les solutions sur R\R sont les fonctions t↦t2+λtt \mapsto t^2 + \lambda t, avec λ∈R\lambda \in \R. Elles forment une droite affine et toutes valent 00 en 00.

  1. Sur ]0,+∞[\intoo{0}{+\infty} ou ]−∞,0[\intoo{-\infty}{0}, on a y′−yt=ty' - \frac{y}{t} = t (équation normalisée). Les solutions homogènes sont t↦λtt \mapsto \lambda t et t↦t2t \mapsto t^2 est une solution particulière (propriété 2.6, solutions avec second membre).
  2. Donc y(t)=t2+λt‾\underline{y(t) = t^2 + \lambda t} pour t>0t > 0 et y(t)=t2+μt‾\underline{y(t) = t^2 + \mu t} pour t<0t < 0. De plus y(0)=0y(0) = 0 (continuité en 00).
  3. On a yd′(0)=λy'_d(0) = \lambda et yg′(0)=μy'_g(0) = \mu, donc λ=μ‾\underline{\lambda = \mu} (dérivabilité en 00).
  4. En 00, l'égalité 0⋅y′(0)−y(0)=00 \cdot y'(0) - y(0) = 0 est vraie (équation au point de raccord). Donc y(t)=t2+λty(t) = t^2 + \lambda t sur R\R (droite affine) et y(0)=0y(0) = 0.
tyλ = 1λ = 0λ = -1
Trois solutions sur R, pour trois valeurs de la constante : toutes passent par l'origine et se recollent dérivablement en 0.

piège : Oublier de vérifier la dérivabilité ou l'équation au point de raccord, ou annoncer d'office deux constantes.

Exercice 5. Variation des constantes ★★

Classiques de khôlle et concours · 25 min · Écrit CCINP

Résoudre y′′+y=1/cos⁡ty'' + y = 1/\cos t sur ]−π/2,π/2[]-\pi/2, \pi/2[.

Voir le début du corrigé
  1. (cos⁡,sin⁡)(\cos, \sin) est une base des solutions homogènes, de wronskien cos⁡2+sin⁡2=1\cos^2 + \sin^2 = 1 (propriété 5.3, caractérisation des bases).

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 6. Série entière et seconde solution ★★

Classiques de khôlle et concours · 40 min · Écrit CCINP

Soit l'équation 4ty′′+2y′−y=0.4t y'' + 2y' - y = 0. Trouver ses solutions développables en série entière, puis résoudre sur ]0,+∞[]0, +\infty[.

Corrigé détaillé dans Sup et Spé+ : essai gratuit 7 jours.

Propriétés qualitatives des solutions 3

Exercice 2. Parité des solutions ★★

Classiques de khôlle et concours · 20 min · Khôlle

Soit qq continue et paire sur R\mathbb{R} et yy solution de y′′+qy=0.y'' + q y = 0. Montrer que yy est paire si et seulement si y′(0)=0y'(0) = 0, et impaire si et seulement si y(0)=0y(0) = 0.

Corrigé détaillé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 9. Au plus un zéro si q ≤ 0 ★★

Classiques de khôlle et concours · 25 min · Type oral Mines

Soit qq continue et négative sur II. Montrer qu'une solution non nulle de y′′+qy=0y'' + q y = 0 s'annule au plus une fois.

Voir le début du corrigé
  1. Soit f=y2f = y^2. Alors f′′=2y′2+2yy′′=2y′2−2qy2⩾0‾\underline{f'' = 2y'^2 + 2yy'' = 2y'^2 - 2qy^2 \geqslant 0} (q⩽0q \leqslant 0), donc ff est convexe (propriété 5.5, caractérisation par la dérivée seconde).

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 8. Entrelacement des zéros ★★★

Approfondissement · 40 min · Khôlle difficile

Soit (y1,y2)(y_1, y_2) une base des solutions de y′′+py′+qy=0y'' + p y' + q y = 0 sur II. Soient a<ba < b deux zéros de y1y_1 tels que y1y_1 ne s'annule pas sur ]a,b[]a, b[. Montrer que y2y_2 s'annule dans ]a,b[]a, b[.

Voir le début du corrigé
  1. WW est continu et ne s'annule pas (propriété 5.3, caractérisation des bases), donc W(a)W(a) et W(b)W(b) ont le même signe (valeurs intermédiaires).

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exponentielle de matrice 3

Exercice 3. Spirales du plan de phase ★★

Classiques de khôlle et concours · 20 min · Khôlle

Pour aa et bb réels avec b≠0b \neq 0, soit AA de lignes (a,−b)(a, -b), (b,a)(b, a). Calculer exp⁡(tA)\exp(tA) et décrire les trajectoires de X′=AXX' = AX.

Voir le début du corrigé
  1. A=aI+bJA = aI + bJ avec J=(0−110)J = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} (rotation d'angle π/2\pi/2), et aIaI commute avec JJ.

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 7. Système de taille 3 ★★

Classiques de khôlle et concours · 30 min · Écrit CCINP

Soit AA de lignes (2,1,1)(2, 1, 1), (1,2,1)(1, 2, 1), (1,1,2)(1, 1, 2). Calculer exp⁡(tA)\exp(tA) et résoudre X′=AXX' = AX avec X(0)=(1,0,0)X(0) = (1, 0, 0).

Voir le début du corrigé
  1. A=I+UA = I + U, avec UU la matrice dont tous les coefficients valent 11. …

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 10. Réciproque de la formule de la somme ★★★

Approfondissement · 40 min · D'après un oral X-ENS

Soient AA et BB dans Mn(C)M_n(\C) telles que exp⁡(t(A+B))=exp⁡(tA)exp⁡(tB)\exp(t(A + B)) = \exp(tA) \exp(tB) pour tout tt réel.

Montrer que AB=BAAB = BA.

Corrigé détaillé dans Sup et Spé+ : essai gratuit 7 jours.

Stabilité asymptotique 1

Exercice 4. Stabilité et parties réelles des valeurs propres ★★

Classiques de khôlle et concours · 25 min · Écrit CCINP

Soit A∈Mn(R)A \in \mathcal{M}_n(\mathbb{R}) diagonalisable sur C\mathbb{C}, de valeurs propres λ1,…,λn\lambda_1, \dots, \lambda_n. Montrer que toutes les solutions de X′=AXX' = AX tendent vers 00 en +∞+\infty si et seulement si Re⁡λk<0\operatorname{Re} \lambda_k < 0 pour tout kk.

Voir le début du corrigé
  1. Les solutions sont les t↦exp⁡(tA)X0t \mapsto \exp(tA)X_0 (théorème 4.1, solution du problème de Cauchy). …

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Fiche de cours rédigée à partir du programme officiel de mathématiques de MP (arrêté du 5 janvier 2021), section « Équations différentielles linéaires ».