ATLAS Ouvrir dans l'atlas →

AnnalesÉcoles d'ingénieurs

Mines-Ponts MP 2023 — Maths 1

Théorème de stabilité de Liapounov · 6 pages

PDF hébergé hors du site officiel — source : archive officielle (ZIP)

Le sujet démontre que si φ\varphi est de classe 𝒞1\mathcal{C}^1 avec φ(0)=0\varphi(0) = 0 et si toutes les valeurs propres de dφ(0)\mathrm{d}\varphi(0) ont une partie réelle strictement négative, alors les solutions de y′=φ(y)y' = \varphi(y) issues d'un point assez proche de 00 tendent vers 00 à vitesse exponentielle. Il étudie d'abord la norme subordonnée et, grâce à la décomposition en sous-espaces caractéristiques, majore ∥eta∥\|e^{ta}\| par P(∣t∣)∑etRe⁡λiP(|t|) \sum e^{t \operatorname{Re} \lambda_i}. Il construit ensuite le produit scalaire b(x,y)=∫0+∞⟨etax∣etay⟩ dtb(x, y) = \int_0^{+\infty} \langle e^{ta} x \mid e^{ta} y\rangle \,\mathrm{d}t, dont la forme quadratique décroît le long des solutions (fonction de Liapounov), ce qui fournit l'estimation exponentielle.

Le sujet, partie par partie

Partie A — Étude d'une norme sur ℒ(E)\mathcal{L}(E) p. 2–3

Normes subordonnées et applications linéaires continues · Espaces vectoriels normés · Compacité — norme subordonnée, norme d'opérateur, norme sous-multiplicative, borne supérieure sur la sphère unité

Partie B — Étude de la stabilité en 00 du système linéaire p. 3–4

Stabilité des équilibres · Systèmes différentiels linéaires · Exponentielle de matrices · Polynômes d'endomorphismes · Sous-espaces stables · Nilpotents, Jordan, Dunford · Normes subordonnées et applications linéaires continues · Normes équivalentes — sous-espaces caractéristiques, exponentielle d'endomorphisme, endomorphisme nilpotent, stabilité asymptotique, partie réelle des valeurs propres, système différentiel linéaire

Partie C — Démonstration du théorème de Liapounov p. 5–6

Stabilité des équilibres · Formes bilinéaires et quadratiques · Équations différentielles non linéaires · Exponentielle de matrices · Intégrales généralisées et intégrabilité · Espaces préhilbertiens et euclidiens · Calcul différentiel — théorème de Liapounov, fonction de Liapounov, point d'équilibre, stabilité exponentielle, produit scalaire intégral, linéarisation

Ouvrir dans l'atlas interactif →