Équation différentielle d'ordre un à variables séparées

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

Une équation différentielle d'ordre un à variables séparées est une équation différentielle qui peut s'écrire sous la forme suivante

$y' = f(x)g(y)\,$

Sommaire

1 Solutions régulières
- 1.1 Utilisation des notations de Leibniz
- 1.2 Présentation alternative
2 Prise en compte des solutions singulières
- 2.1 Cas où g est localement lipschitzienne
3 Cas particulier : l'équation autonome

[modifier] Solutions régulières

On recherche dans un premier temps les solutions telles que g(y) n'est jamais nul. De telles solutions sont dites régulières.

[modifier] Utilisation des notations de Leibniz

Cette présentation classique, notamment pour la résolution de problèmes appliqués, est difficile à justifier mathématiquement mais elle permet d'obtenir une bonne partie des solutions. Elle utilise les notations de Leibniz pour le calcul différentiel. Elle consiste à « séparer les différentielles » en écrivant

$\frac1{g(y)} \frac{dy}{dx} = f(x)\,$

sous la forme

$\frac1{g(y)} dy = f(x) dx\,$

En intégrant séparément chaque membre :

$H(y) = F(x) + K\,$

où H représente une primitive de $1 / g$ et F représente une primitive de f et K une constante arbitraire. En outre, la fonction H est continûment dérivable, strictement monotone, donc admet une fonction réciproque de sorte que la solution s'exprime comme

$y = H^{-1}(F(x) + K)\,$

[modifier] Présentation alternative

Le calcul utilisé précédemment ne possède un sens mathématique précis que si l'on a introduit la notion assez abstraite de différentielle. Il est possible d'en donner une version plus élémentaire, en primitivant chaque membre de l'expression

$\frac{1}{g(y(x))} y'(x) = f(x),\,$

par rapport à la variable $x$ , ce qui conduit à

$\int_{x_0}^x \frac{1}{g(y(u))}y'(u) \, du = \int_{x_0}^x f(u) \, du$

Ce qui, après changement de variable, est de la forme

$\int_{y_0}^y \frac{1}{g(v)} \, dv = \int_{x_0}^x f(u) \, du$

Et la conclusion est identique à celle du paragraphe précédent.

[modifier] Prise en compte des solutions singulières

La résolution précédente se justifie dans la mesure où on peut effectuer la division par g(y). Elle écarte clairement certaines solutions particulières. En effet, si y₀ est un point d'annulation de g, alors la fonction constante égale à y₀ est une solution maximale de l'équation. Une telle solution, dite solution singulière de l'équation, est donc telle que g(y) est toujours nul.

Si la seule hypothèse faite sur g est la continuité, il peut exister des solutions hybrides constituées du raccordement de solutions régulières et singulières. Sous des hypothèses relativement générales, il n'en est rien : pour une solution donnée, la quantité g(y) sera soit toujours nulle, soit jamais nulle.

[modifier] Cas où g est localement lipschitzienne

La fonction g est supposée localement lipschitzienne. Par le théorème de Cauchy-Lipschitz, toute solution maximale qui prendrait la valeur y₀ coïnciderait automatiquement avec la solution singulière associée. En d'autres termes, les solutions singulières sont bien les seules à prendre des valeurs y qui annulent g. La méthode de détermination des solutions régulières permet d'obtenir toutes les autres.

Dans un plan (x,y) les courbes représentatives des solutions singulières sont des droites parallèles à l'axe des abscisses. Les autres courbes solutions ne les croisent pas et s'inscrivent donc dans une des régions délimitées par les solutions singulières.

[modifier] Cas particulier : l'équation autonome

L'équation différentielle d'ordre un à variables séparées est dite en outre autonome lorsqu'elle peut s'écrire sous la forme suivante

$y' = g(y)\,$

c'est-à-dire que la relation formelle ne dépend pas de x. Dans ce cas si $x \mapsto y_0(x)$ est une solution, les fonctions obtenues par translation de la variable, de la forme $x \mapsto y_0(x+A)$ , sont également solutions. Il y a en outre une propriété de monotonie, au moins pour les solutions régulières : puisque g ne s'annule pas, il garde alors un signe constant.