Facteur intégrant

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, un facteur intégrant est une fonction qu'on choisit afin de rendre plus facile la solution d'une équation comportant des dérivées. Les facteurs intégrants sont d'usage commun pour la solution d'équations différentielles, en particulier des équations différentielles ordinaires (EDO), ainsi qu'en calcul différentiel sur plusieurs variables, cas dans lequel la multiplication par un facteur intégrant permet d'obtenir une différentielle exacte à partir d'une différentielle inexacte. Un exemple d'application en thermodynamique : la température est un facteur intégrant qui fait de l'entropie une différentielle exacte.

Solution d'équations différentielles ordinaires de premier ordre

Article détaillé : Équation différentielle linéaire d'ordre un.

Les facteurs intégrants sont associés de près aux équations différentielles linéaires d'ordre un, pour lesquelles, en supposant que $P (x)$ et $Q (x)$ sont les valeurs des fonctions continues respectives $P$ et $Q$ de la variable $x$ , ils fournissent une méthode de solution^[1]. Pour une EDO de la forme :

y'+P(x)y=Q(x)\quad \quad \quad (1)

considérons la valeur $M (x)$ d'une fonction $M$ de la variable x . On multiplie les deux côtés de (1) par $M (x)$ :

M(x)y'+M(x)P(x)y=M(x)Q(x).\quad \quad \quad (2)

On veut que le côté gauche de l'équation soit de la forme de la dérivée d'un produit (voir la règle du produit), tel que (2) puisse s'écrire :

(M(x)y)'=M(x)Q(x).\quad \quad \quad (3)

Le côté gauche de (3) peut maintenant être intégré :

yM(x)=\int Q(x)M(x)\,\mathrm {d} x+\mathrm {cte_{1}} ,

On peut maintenant résoudre pour $y$ :

y={\frac {\int Q(x)M(x)\,\mathrm {d} x+\mathrm {cte_{1}} }{M(x)}}.\quad \quad \quad (4)\,

On applique la règle du produit au côté gauche de (3), ce qui est égal au côté gauche de (2) :

M'(x)y+M(x)y'=M(x)y'+M(x)P(x)y.\quad \quad \quad

Donc $M (x)$ vérifie :

M'(x)=M(x)P(x).\quad \quad \quad (5)\,

Autrement dit :

{\frac {M'(x)}{M(x)}}=P(x).\quad \quad \quad (6)

On reconnait la dérivée logarithmique, ce qui permet de résoudre (6) :

M(x)=\mathrm {e} ^{\int P(x)\,\mathrm {d} x+\mathrm {cte_{2}} }=\mathrm {cte_{3}} \,\mathrm {e} ^{\int P(x)\,\mathrm {d} x},

où $M (x)$ est dit facteur intégrant.

Enfin, à partir de (4), on peut résoudre $y$ :

y={\frac {\int Q(x)\,\mathrm {e} ^{\int P(x)\,\mathrm {d} x}\,\mathrm {d} x+\mathrm {cte} }{\,\mathrm {e} ^{\int P(x)\,\mathrm {d} x}}}.

Résumé

Équation

f'+u\,f=v

Résolution

1. On multiplie chaque membre par $m$ :

f'\,m+u\,f\,m=v\,m

2. En supposant que le membre de gauche soit $(f\,m)'$ , on calcule la primitive de chaque membre :

f={\frac {\int v\,m\,\mathrm {d} x+\mathrm {cte_{1}} }{m}}

3. Pour cela, il faut que :

m=\mathrm {cte_{3}} \,\mathrm {e} ^{\int u\,\mathrm {d} x}

Résultat

f={\frac {\int v\,\mathrm {e} ^{\int u\,\mathrm {d} x}\,\mathrm {d} x+\mathrm {cte} }{\mathrm {e} ^{\int u\,\mathrm {d} x}}}

Exemple

On doit résoudre l'équation différentielle suivante.

y'-{\frac {2y}{x}}=0.

Dans ce cas, $P (x) = -2 / x$ , ce qui permet de déduire un facteur intégrant :

M(x)=\exp \left(\int P(x)\,\mathrm {d} x\right)=\exp \left(\int {\frac {-2}{x}}\,\mathrm {d} x\right)=\exp(-2\ln x)={(\exp(\ln x))}^{-2}={\frac {1}{x^{2}}}.

Notons qu'on n'a pas besoin de tenir compte de la constante d'intégration, puisqu'on veut une solution et non pas la solution générale.

En multipliant les deux côtés de l'équation différentielle par $M (x)$ , on obtient une équation qui s'intègre aisément :

{\frac {y'}{x^{2}}}-{\frac {2y}{x^{3}}}=0\quad \Rightarrow \quad \left({\frac {y}{x^{2}}}\right)'=0\quad \Rightarrow \quad :y(x)=Cx^{2}.

Références

↑ « Integrating Factor », MathWorld.

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Integrating factor » (voir la liste des auteurs).

Voir aussi

Portail de l'analyse

[1] « Integrating Factor », MathWorld.

[1]