Exercice 1 5094

(Équation différentielle linéaire d’ordre $n$ à coefficients constants)

Soient $a_{0}, a_{1}, \dots, a_{n - 1} \in ℂ$ . On dit qu’une fonction $y : ℝ \to ℂ$ est solution de l’équation différentielle $(E)$ symbolisée par

y^{(n)} = a_{n - 1} y^{(n - 1)} + \dots + a_{1} y^{'} + a_{0} y

si $y$ est dérivable à l’ordre $n$ et vérifie

y^{(n)} (t) = a_{n - 1} y^{(n - 1)} (t) + \dots + a_{1} y^{'} (t) + a_{0} y (t) pour tout t \in ℝ .

(a)

À quelle condition sur $α \in ℂ$ , la fonction $t \mapsto e^{α t}$ est-elle solution de $(E)$ ?
(b)

Justifier que l’ensemble $𝒮$ des solutions de l’équation différentielle $(E)$ forme un sous-espace vectoriel de l’espace $E$ constitué des fonctions indéfiniment dérivables de $ℝ$ vers $ℂ$ .
(c)

On suppose que $y : ℝ \to ℂ$ est solution de $(E)$ et l’on introduit

$X (t) = (\begin{matrix} y (t) \\ y^{'} (t) \\ ⋮ \\ y^{(n - 1)} (t) \end{matrix}) \in ℳ_{n,1} (ℂ) pour tout t \in ℝ .$

Déterminer $A \in ℳ_{n} (ℂ)$ telle que $X$ soit solution du système différentiel $X^{'} = A X$ .
(d)

En déduire que l’espace $𝒮$ est de dimension $n$ .
(e)

Application : On suppose que l’équation $r^{n} - (a_{n - 1} r^{n - 1} + \dots + a_{1} r + a_{0}) = 0$ possède $n$ racines distinctes. Exprimer la solution générale de $(E)$ .

Exercice 2 5773 Correction

Soient $a_{0}, \dots, a_{n - 1} : [0; 1] \to ℝ$ des fonctions continues.

Montrer qu’il existe $k \in ℝ_{+}$ tel que pour toute solution $y$ de l’équation différentielle

(E) : y^{(n)} + a_{n - 1} (t) y^{(n - 1)} + \dots + a_{1} (t) y^{'} + a_{0} y = 0

on vérifie

| y (0) | \leq k \int_{0}^{1} | y (t) | d t .

Solution

L’ensemble $𝒮$ des solutions de $(E)$ un sous-espace vectoriel de dimension finie (égale à $n$ ) de l’espace des fonctions de classe $𝒞^{n}$ de $[0; 1]$ vers $ℝ$ .

L’application $∥ \cdot ∥ : y \mapsto \int_{0}^{1} | y (t) | d t$ définit une norme sur l’espace $𝒮$ . L’application $φ : y \mapsto y (0)$ définit une forme linéaire sur $𝒮$ . Par continuité des applications linéaires au départ d’un espace de dimension finie, il existe $k \in ℝ_{+}$ tel que $| φ (\cdot) | \leq k ∥ \cdot ∥$ ce qui se relit

| y (0) | \leq k \int_{0}^{1} | y (t) | d t pour tout y \in 𝒮 .

Exercice 3 4668

On étudie l’équation différentielle définie sur $ℝ$

(E) : y^{(n)} + a_{n - 1} (x) y^{(n - 1)} + \dots + a_{1} (x) y^{'} + a_{0} (x) y = 0

avec $a_{0}, a_{1}, \dots, a_{n - 1}$ des fonctions continues de $ℝ$ dans $ℝ$ .

Soit $x_{0}$ un réel. Montrer qu’il existe $α > 0$ tel que toutes les solutions non nulles de l’équation $(E)$ s’annulent au plus $n - 1$ fois dans l’intervalle $[x_{0} - α; x_{0} + α]$ .

[<] Système différentiel d'ordre 1 à coefficients constants

Édité le 29-08-2023

Équations scalaires d'ordre n