$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Résumé de cours : équations différentielles

Équation différentielle linéaire d'ordre 1

Soit $I$ un intervalle de $\mathbb R$ et $a,b$ deux fonctions continues définies sur $I$ et à valeurs dans $\mathbb R$ ou $\mathbb C$. Une équation $$y'+a(x)y=b(x)$$ s'appelle une équation différentielle linéaire d'ordre 1. Résoudre une telle équation différentielle, c'est trouver toutes les fonctions dérivables $y$ définies sur $I$ à valeurs dans $\mathbb R$ ou $\mathbb C$ vérifiant, pour tout $x\in I$, $y'(x)+a(x)y(x)=b(x)$.

Dans la suite, on supposera toujours que $a,b$ sont continues sur $I$.

L'équation homogène associée est l'équation $y'+a(x)y=0$.

Proposition (structure de l'ensemble des solutions) : Soit $y_P$ une solution de $y'+a(x)y=b(x)$, appelée solution particulière de l'équation. Alors toute solution $y$ s'écrit $y_P+z$, où $z$ est une solution de l'équation homogène. Réciproquement, toute fonction s'écrivant $y_P+z$, où $z$ est une solution de l'équation homogène, est solution de l'équation différentielle.

La proposition précédente nous dit que pour résoudre l'équation différentielle générale, il suffit de trouver une solution particulière et de résoudre l'équation homogène. Concernant la résolution de l'équation homogène, on a le résultat suivant :

Théorème : Soit $A$ une primitive de la fonction $a$. Les solutions de l'équation homogène sont les fonctions $x\mapsto \lambda e^{-A(x)}$, où $\lambda$ est une constante réelle ou complexe.

On peut toujours trouver une solution particulière, et on a plus précisément le théorème suivant :

Théorème : Pour tout $x_0\in I$ et tout $y_0\in\mathbb K$, il existe une unique solution à l'équation différentielle $y'+a(x)y=b(x)$ vérifiant $y(x_0)=y_0$.

Le système $$\left\{ \begin{array}{rcl} y'+a(x)y&=&b\\ y(x_0)&=&y_0 \end{array} \right.$$ s'appelle problème de Cauchy de condition initiale $y(x_0)=y_0$.

Pour rechercher une solution particulière, on utilise souvent la méthode de variation de la constante : on cherche une solution sous la forme $\lambda(x)e^{-A(x)}$ où $\lambda:I\to\mathbb R$ est une fonction dérivable et on regarde quelle condition doit vérifier $\lambda$ pour que cette fonction soit une solution de l'équation différentielle.

Équation différentielle linéaire d'ordre 2 à coefficients constants

On appelle équation différentielle linéaire du second ordre à coefficients constants une équation de la forme $y''+ay'+by=f$ où $a,b$ sont des réels ou des complexes et $f$ est une fonction continue sur un intervalle $I$. Résoudre cette équation, c'est déterminer toutes les fonctions $y$ définies sur $I$ deux fois dérivables et vérifiant, pour tout $x\in I$, $y''(x)+ay'(x)+by(x)=f(x)$.

L'équation homogène associée est l'équation $y''+ay'+by=0$.

Théorème : Pour tout $x_0\in I$ et tout $y_0,y_1\in\mathbb K$, il existe une unique solution à l'équation différentielle $y''+ay'+by=f$ vérifiant $y(x_0)=y_0$ et $y'(x_0)=y_1$.
Proposition (structure de l'ensemble des solutions) : Soit $y_P$ une solution de $y''+ay'+by=f$, appelée solution particulière de l'équation. Alors toute solution $y$ s'écrit $y_P+z$, où $z$ est une solution de l'équation homogène. Réciproquement, toute fonction s'écrivant $y_P+z$, où $z$ est une solution de l'équation homogène, est solution de l'équation différentielle.

Résolution de l'équation homogène, cas complexe : Soit $r^2+ar+b=0$ l'équation caractéristique associée.

  • si l'équation caractéristique admet deux racines $r_1$ et $r_2$, alors les solutions de l'équation homogène $y''+ay'+by=0$ sont les fonctions $$x\mapsto \lambda e^{r_1 x}+\mu e^{r_2 x}\quad\textrm{ avec }\lambda,\mu\in\mathbb C.$$
  • si l'équation caractéristique admet une racine double $r$, alors les solutions de l'équation homogène $y''+ay'+by=0$ sont les fonctions $$x\mapsto (\lambda x+\mu)e^{rx}\quad\textrm{ avec }\lambda,\mu\in\mathbb C.$$

Résolution de l'équation homogène, cas réel : Soit $r^2+ar+b=0$ l'équation caractéristique associée.

  • si l'équation caractéristique admet deux racines réelles $r_1$ et $r_2$, alors les solutions de l'équation homogène $y''+ay'+by=0$ sont les fonctions $$x\mapsto \lambda e^{r_1 x}+\mu e^{r_2 x}\quad\textrm{ avec }\lambda,\mu\in\mathbb R.$$
  • si l'équation caractéristique admet une racine double $r$, alors les solutions de l'équation homogène $y''+ay'+by=0$ sont les fonctions $$x\mapsto (\lambda x+\mu)e^{rx}\quad\textrm{ avec }\lambda,\mu\in\mathbb R.$$
  • si l'équation caractéristique admet deux racines complexes conjuguées, $\alpha\pm i\beta$, alors les solutions de l'équation homogène sont les fonctions $$x\mapsto \lambda e^{\alpha x}\cos(\beta x)+\mu e^{\alpha x}\sin(\beta x).$$