Séparation des variables
# Séparation des variables

En mathématiques, la séparation des variables constitue l'une des méthodes de résolution des équations différentielles partielles et ordinaires, lorsque l'algèbre permet de réécrire l'équation de sorte que chacune des deux variables apparaisse dans un membre distinct de l'équation.

## Équations différentielles ordinaires

Supposons qu'une équation différentielle puisse être écrite de la forme suivante et pour tout x :

    ${\frac {\rm {d}}{{\rm {d}}x}}f(x)=g(x)h(f(x)),\qquad \qquad (1)$

que l'on peut écrire plus simplement en identifiant $y=f(x)$ :

    ${\frac {{\rm {d}}y}{{\rm {d}}x}}=g(x)h(y)\qquad \qquad (1)$.

Tant que h(y) ≠ 0, on peut réécrire les termes de l'équation pour obtenir :

    ${{\rm {d}}y \over h(y)}={g(x){\rm {d}}x},$

séparant donc les variables x et y.

### Méthode alternative

Par abus de la notation de Leibniz, on peut préférer écrire cette équation de la manière suivante :

    ${\frac {1}{h(y)}}{\frac {{\rm {d}}y}{{\rm {d}}x}}=g(x),$

mais cela ne rend pas très évident l'utilisation de l'expression « séparation de variables ».

Par intégration des deux membres de l'équation sur la variable x, on obtient :

    $\int {\frac {1}{h(y)}}{\frac {{\rm {d}}y}{{\rm {d}}x}}\,{\rm {d}}x=\int g(x)\,{\rm {d}}x,\qquad \qquad (2)$

ou de manière équivalente :

    $\int {\frac {1}{h(y)}}\,{\rm {d}}y=\int g(x)\,{\rm {d}}x$

en raison des règles de substitutions dans les intégrales.

Si l'on considère les deux intégrales, on trouve alors la solution à l'équation différentielle. On remarquera que le procédé permet de manière effective de traiter la dérivée dy/dx {\textstyle {\frac {{\rm {d}}y}{{\rm {d}}x}}} comme une fraction pouvant être séparée. Cela permet de résoudre les équations différentielles séparables plus facilement, comme on le montre dans l'exemple ci-dessous.

(on n'a pas besoin d'utiliser deux constantes d'intégration, dans l'équation (2) comme dans :

    $\int {\frac {1}{h(y)}}\,{\rm {d}}y+C_{1}=\int g(x)\,{\rm {d}}x+C_{2},$

car une seule constante $C=C_{2}-C_{1}$ est équivalente).

### Exemple $n^o$ 1

L'équation différentielle ordinaire :

    ${\frac {\rm {d}}{{\rm {d}}x}}f(x)=f(x)(1-f(x))$

peut être écrite :

    ${\frac {{\rm {d}}y}{{\rm {d}}x}}=y(1-y)$.

Si l'on suppose $g(x)=1$ et $h(y)=y(1-y)$, on peut écrire l'équation différentielle sous la forme de l'équation (1) ci-dessus. Ainsi, l'équation différentielle est séparable.

Comme montré au-dessus, on peut traiter ${\rm {d}}y$ et ${\rm {d}}x$ comme des variables séparées, ce qui fait que les deux membres de l'équation peuvent être multipliés par ${\rm {d}}x$. En divisant par la suite les deux membres de l'équation par $y(1-y)$, on obtient :

    ${\frac {{\rm {d}}y}{y(1-y)}}={\rm {d}}x$.

On a donc séparé à ce moment les variables x et y l'une de l'autre, x apparaissant uniquement dans le membre de droite et y dans celui de gauche.

En intégrant les deux membres, on obtient :

    $\int {\frac {{\rm {d}}y}{y(1-y)}}=\int {\rm {d}}x$,

qui, en passant par des fractions partielles, devient :

    $\int \left({\frac {1}{y}}+{\frac {1}{1-y}}\right)\,{\rm {d}}y=\int {\rm {d}}x$,

puis :

    $\ln |y|-\ln |1-y|=x+C$

où C est la constante d'intégration. Quelques considérations algébriques donnent une solution pour y :

    $y={\frac {1}{1+B{\rm {e}}^{-x}}}.$

On peut alors vérifier cette solution en considérant la dérivée par rapport à x de la fonction trouvée, où B est une constante arbitraire. Le résultat devrait être identifié au problème originel. (On doit être attentif aux valeurs absolues lors de la résolution de l'équation ci-dessus. Il est évident que les signes différents de la valeur absolue contribuent aux valeurs positive et négative pour B, respectivement. Et le cas B=0 est appuyé par le cas où y=1, comme indiqué ci-dessous.)

Comme il y a division par $y$ et par $(1-y)$, on doit vérifier si les solutions $y(x)=0$ et $y(x)=1$ (pour tout x) résolvent l'équation différentielle (dans les cas où elles sont toutes deux solutions). Voir aussi : Solution singulière (en).

### Exemple $n^o$ 2

La croissance d'une population est parfois modélisée par l'équation différentielle :

    ${\frac {{\rm {d}}P}{{\rm {d}}t}}=kP\left(1-{\frac {P}{K}}\right)$

où $P$ est la population en fonction du temps $t$, $k$ est le taux de croissance, et $K$ la capacité de contenance de l'environnement.

La séparation des variables peut être utilisée pour résoudre cette équation différentielle.

    ${\frac {{\rm {d}}P}{{\rm {d}}t}}=kP\left(1-{\frac {P}{K}}\right)$
    $\int {\frac {{\rm {d}}P}{P\left(1-{\frac {P}{K}}\right)}}=\int k\,{\rm {d}}t$

Afin d'évaluer l'intégral du membre de gauche, on simplifie la fraction complexe :

    ${\frac {1}{P\left(1-{\frac {P}{K}}\right)}}={\frac {K}{P\left(K-P\right)}}$

Puis on décompose la fraction en fractions partielles :

    ${\frac {K}{P\left(K-P\right)}}={\frac {1}{P}}+{\frac {1}{K-P}}$

On a alors :

    ${\begin{aligned}\int \left({\frac {1}{P}}+{\frac {1}{K-P}}\right)\,{\rm {d}}P=\int k\,{\rm {d}}t&\Longrightarrow \ \ln {\begin{vmatrix}P\end{vmatrix}}-\ln {\begin{vmatrix}K-P\end{vmatrix}}=kt+C\\&\Longrightarrow \ {\begin{vmatrix}{\cfrac {K-P}{P}}\end{vmatrix}}={\rm {e}}^{-kt-C}\\&\Longrightarrow \ {\frac {K-P}{P}}=\pm {\rm {e}}^{-C}{\rm {e}}^{-kt}\end{aligned}}$
    On pose $A=\pm {\rm {e}}^{-C}$.
    ${\frac {K}{P}}-1=A{\rm {e}}^{-kt}$
    $P={\frac {K}{1+A{\rm {e}}^{-kt}}}$

Puis, la solution à l'équation logistique est :

    $P(t)={\frac {K}{1+A{\rm {e}}^{-kt}}}$

Pour trouver $A$, on considère l'étape suivante dans le processus de résolution de l'équation différentielle :

    ${\frac {K-P}{P}}=A{\rm {e}}^{-kt}$

On pose $t=0$ et $P(0)=P_{0}$. On alors :

    ${\frac {K-P_{0}}{P_{0}}}=A{\rm {e}}^{0}=A$

## Équation aux dérivées partielles

Soit une équation aux dérivées partielles d'une fonction :

    $F(x_{1},x_{2},\dots ,x_{n})$

de n variables. Il est parfois utile de chercher une solution de la forme :

    $F=F_{1}(x_{1})\cdot F_{2}(x_{2})\cdots F_{n}(x_{n})$

ou :

    $F=f_{1}(x_{1})+f_{2}(x_{2})+\cdots +f_{n}(x_{n})$

qui transforme l'équation aux dérivées partielles (EDP) en un ensemble d'équations différentielles ordinaires. De manière habituelle, chaque variable indépendante crée une constante de séparation qui ne peut être déterminée à partir de la seule équation.

Lorsqu'une telle technique s'applique, l'équation est appelée équation aux dérivées partielles séparable.

### Exemple $n^o$ 1

Supposons F(x, y, z) et l'EDP suivante :

    ${\frac {\partial F}{\partial x}}+{\frac {\partial F}{\partial y}}+{\frac {\partial F}{\partial z}}=0\qquad \qquad (1)$

On supposera :

    $F(x,y,z)=X(x)+Y(y)+Z(z)\qquad \qquad (2)$

ce qui rend (1) équivalente à :

    ${\frac {{\rm {d}}X}{{\rm {d}}x}}+{\frac {{\rm {d}}Y}{{\rm {d}}y}}+{\frac {{\rm {d}}Z}{{\rm {d}}z}}=0$

puisque ${\frac {\partial F}{\partial x}}={\frac {{\rm {d}}X}{{\rm {d}}x}}$.

De plus, puisque X'(x) ne dépend que de x et que Y'(y) ne dépend que de y (de même pour Z'(z)) et que l'équation (1) est vraie pour tout x, y, z, il est clair que chacun des termes est constant. Plus précisément :

    ${\frac {{\rm {d}}X}{{\rm {d}}x}}=c_{1}\quad {\frac {{\rm {d}}Y}{{\rm {d}}y}}=c_{2}\quad {\frac {{\rm {d}}Z}{{\rm {d}}z}}=c_{3}\qquad \qquad (3)$

où les constantes $c_1,$ $c_2,$ $c_3$ vérifient

    $c_{1}+c_{2}+c_{3}=0\qquad \qquad (4)$

L'équation (3) est en fait un ensemble de trois équations différentielles ordinaires. Dans ce cas, elles sont triviales et peuvent être résolues par intégration simple, donnant

    $F(x,y,z)=c_{1}x+c_{2}y+c_{3}z+c_{4}\qquad \qquad (5)$

où la constante d'intégration $c_4$ est déterminée par les conditions initiales.

### Exemple $n^o$ 2

Considérons l'équation différentielle :

    $\nabla ^{2}v+\lambda v={\partial ^{2}v \over \partial x^{2}}+{\partial ^{2}v \over \partial y^{2}}+\lambda v=0$.

On recherche tout d'abord des solutions de la forme :

    $v=X(x)Y(y)\,$.

La plupart des solutions ne sont pas de cette forme, mais d'autres sont des sommes de (généralement une infinité de) solutions de cette forme justement.

Par substitution,

    ${\partial ^{2} \over \partial x^{2}}[X(x)Y(y)]+{\partial ^{2} \over \partial y^{2}}[X(x)Y(y)]+\lambda X(x)Y(y)=X''(x)Y(y)+X(x)Y''(y)+\lambda X(x)Y(y)=0\,$

Puis, par division par X(x) :

    ${\begin{aligned}{\partial ^{2} \over \partial x^{2}}[X(x)Y(y)]+{\partial ^{2} \over \partial y^{2}}[X(x)Y(y)]+\lambda X(x)Y(y)&={X''(x)Y(y) \over X(x)}+{X(x)Y''(y) \over X(x)}+{\lambda X(x)Y(y) \over X(x)}\\&={X''(x)Y(y) \over X(x)}+Y''(y)+\lambda Y(y)=0\end{aligned}}$

puis par Y(y)

    $={X''(x) \over X(x)}+{Y''(y)+\lambda Y(y) \over Y(y)}=0$

X′′(x)/X(x) est alors une fonction de x seulement, comme (Y′′(y)+λY(y))/Y(y), il existe donc des constantes de séparation :

    ${X''(x) \over X(x)}=k=-{Y''(y)+\lambda Y(y) \over Y(y)}$

qui se sépare en équations différentielles ordinaires :

    $X''(x)-kX(x)=0\quad \mathrm {et} \quad Y''(y)+(\lambda +k)Y(y)=0\,$

qui peuvent être résolues de concert. Si l'équation posée à l'origine était un problème de conditions aux limites, on utiliserait les valeurs aux limites données.

## Application

Certains logiciels de calcul formel peuvent faire de la séparation de variables, comme Xcas.

