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 :
![{\displaystyle {\frac {\rm {d}}{{\rm {d}}x}}f(x)=g(x)h(f(x)),\qquad \qquad (1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e8a15076e04d89a1bb7f8968c01b1e2d30a05b3)
que l'on peut écrire plus simplement en identifiant
:
.
Tant que h(y) ≠ 0, on peut réécrire les termes de l'équation pour obtenir :
![{\displaystyle {{\rm {d}}y \over h(y)}={g(x){\rm {d}}x},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d3c020723ef15795e0896d702127876f08fbaf9)
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 :
![{\displaystyle {\frac {1}{h(y)}}{\frac {{\rm {d}}y}{{\rm {d}}x}}=g(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c7459ead2650bbfcac0fa9c0fc1a64eddd3efb7)
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 :
![{\displaystyle \int {\frac {1}{h(y)}}{\frac {{\rm {d}}y}{{\rm {d}}x}}\,{\rm {d}}x=\int g(x)\,{\rm {d}}x,\qquad \qquad (2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4d273201c745502a696ca615827fcfa0b858d08)
ou de manière équivalente :
![{\displaystyle \int {\frac {1}{h(y)}}\,{\rm {d}}y=\int g(x)\,{\rm {d}}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71992b63ab89a17dcbba2c073a8a73f045640205)
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
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 :
![{\displaystyle \int {\frac {1}{h(y)}}\,{\rm {d}}y+C_{1}=\int g(x)\,{\rm {d}}x+C_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97573186d49ebfc911a06ada9ad19667750d3948)
car une seule constante
est équivalente).
L'équation différentielle ordinaire :
![{\displaystyle {\frac {\rm {d}}{{\rm {d}}x}}f(x)=f(x)(1-f(x))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49979f155a9f4c0b40244fecc33ca3ad1869e0d6)
peut être écrite :
.
Si l'on suppose
et
, 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
et
comme des variables séparées, ce qui fait que les deux membres de l'équation peuvent être multipliés par
. En divisant par la suite les deux membres de l'équation par
, on obtient :
.
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 :
,
qui, en passant par des fractions partielles, devient :
,
puis :
![{\displaystyle \ln |y|-\ln |1-y|=x+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/710e1d99e26528acf5f753e7728c467cedd6ab7d)
où C est la constante d'intégration. Quelques considérations algébriques donnent une solution pour y :
![{\displaystyle y={\frac {1}{1+B{\rm {e}}^{-x}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b155e0db850c97443cd765d2a36383e73ee332fd)
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
et par
, on doit vérifier si les solutions
et
(pour tout x) résolvent l'équation différentielle (dans les cas où elles sont toutes deux solutions). Voir aussi : Solution singulière (en).
La croissance d'une population est parfois modélisée par l'équation différentielle :
![{\displaystyle {\frac {{\rm {d}}P}{{\rm {d}}t}}=kP\left(1-{\frac {P}{K}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4b0c2a6bd20dc6e5e84e4da8e99d11fbee13d7a)
où
est la population en fonction du temps
,
est le taux de croissance, et
la capacité de contenance de l'environnement.
La séparation des variables peut être utilisée pour résoudre cette équation différentielle.
![{\displaystyle {\frac {{\rm {d}}P}{{\rm {d}}t}}=kP\left(1-{\frac {P}{K}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4b0c2a6bd20dc6e5e84e4da8e99d11fbee13d7a)
![{\displaystyle \int {\frac {{\rm {d}}P}{P\left(1-{\frac {P}{K}}\right)}}=\int k\,{\rm {d}}t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d32f701e8de67717ec34107579541aa047cb8cf0)
Afin d'évaluer l'intégral du membre de gauche, on simplifie la fraction complexe :
![{\displaystyle {\frac {1}{P\left(1-{\frac {P}{K}}\right)}}={\frac {K}{P\left(K-P\right)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d8d2ca9291548ff1dd7b17e92c7f51126856af6)
Puis on décompose la fraction en fractions partielles :
![{\displaystyle {\frac {K}{P\left(K-P\right)}}={\frac {1}{P}}+{\frac {1}{K-P}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2651532bc0938d34f3ee9a8332040deb56624ac)
On a alors :
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd97850ced38412c98f4a4d4d189e7a24ee9877a)
- On pose
. ![{\displaystyle {\frac {K}{P}}-1=A{\rm {e}}^{-kt}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30a07812f374e67bad6dedca0ef7d055dee75400)
![{\displaystyle P={\frac {K}{1+A{\rm {e}}^{-kt}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/418c5d3f68a23ae707b5e3daa87b826716587b9b)
Puis, la solution à l'équation logistique est :
![{\displaystyle P(t)={\frac {K}{1+A{\rm {e}}^{-kt}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d22532fa59b1e54f141084109e58a9f2a1759972)
Pour trouver
, on considère l'étape suivante dans le processus de résolution de l'équation différentielle :
![{\displaystyle {\frac {K-P}{P}}=A{\rm {e}}^{-kt}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d8385c4fa6b49d0aeceff6fa242b74792313359)
On pose
et
. On alors :
![{\displaystyle {\frac {K-P_{0}}{P_{0}}}=A{\rm {e}}^{0}=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee06c1eae393b721ff31dbd18b79acaf90a7fb3c)
Équation aux dérivées partielles
Soit une équation aux dérivées partielles d'une fonction :
![{\displaystyle F(x_{1},x_{2},\dots ,x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/447f7bf8de13f6c7111da1b94ba66c8908c9df17)
de n variables. Il est parfois utile de chercher une solution de la forme :
![{\displaystyle F=F_{1}(x_{1})\cdot F_{2}(x_{2})\cdots F_{n}(x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c71bda90457904af5b88935c3507c590682c2d1)
ou :
![{\displaystyle F=f_{1}(x_{1})+f_{2}(x_{2})+\cdots +f_{n}(x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06fd52c7ffd7f5ec03b3e9782299cb80c513e01f)
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.
Supposons F(x, y, z) et l'EDP suivante :
![{\displaystyle {\frac {\partial F}{\partial x}}+{\frac {\partial F}{\partial y}}+{\frac {\partial F}{\partial z}}=0\qquad \qquad (1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32b9426aae2e32ccdec44c7dfa56bc33eb441b30)
On supposera :
![{\displaystyle F(x,y,z)=X(x)+Y(y)+Z(z)\qquad \qquad (2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd59e122713c2c7aa9b602cdc377cdeba09cf12b)
ce qui rend (1) équivalente à :
![{\displaystyle {\frac {{\rm {d}}X}{{\rm {d}}x}}+{\frac {{\rm {d}}Y}{{\rm {d}}y}}+{\frac {{\rm {d}}Z}{{\rm {d}}z}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2167975fcd001898e28e376fa7bf38bc0be35975)
puisque
.
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 :
![{\displaystyle {\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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a87fdefcbc5d129f47fe2fcb1f3d0efa131c53cf)
où les constantes c1, c2, c3 vérifient
![{\displaystyle c_{1}+c_{2}+c_{3}=0\qquad \qquad (4)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cefd14adfa45d1be7a203f8eb44144269317e85)
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
![{\displaystyle F(x,y,z)=c_{1}x+c_{2}y+c_{3}z+c_{4}\qquad \qquad (5)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1585a94fe3ccca0376f376d75589cf0bf5883983)
où la constante d'intégration c4 est déterminée par les conditions initiales.
Considérons l'équation différentielle :
.
On recherche tout d'abord des solutions de la forme :
.
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,
![{\displaystyle {\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\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0a12aee68a66fa05fd78851915c8157fef4f288)
Puis, par division par X(x) :
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb769c84e0893c3f48d630cd1f81f660de141b7a)
puis par Y(y)
![{\displaystyle ={X''(x) \over X(x)}+{Y''(y)+\lambda Y(y) \over Y(y)}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95def6661b879e76b97eeec7f78d4f768b0764c2)
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 :
![{\displaystyle {X''(x) \over X(x)}=k=-{Y''(y)+\lambda Y(y) \over Y(y)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/559ae88ae7f0e90d29ee998d9e1ceaedef3e84e3)
qui se sépare en équations différentielles ordinaires :
![{\displaystyle X''(x)-kX(x)=0\quad \mathrm {et} \quad Y''(y)+(\lambda +k)Y(y)=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a20a9f6661ba374ee14c69251d73f3dbabe6e0bb)
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[1].
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Separation of variables » (voir la liste des auteurs).
- ↑ (en) Renée De Graeve, Bernard Parisse et Jay Belanger, « Symbolic algebra and Mathematics with Xcas »
Liens externes
- (en) Eric W. Weisstein, « Separation of Variables », sur MathWorld
Portail de l'analyse