Intégration par changement de variable — Wikipédia

Pour les articles homonymes, voir Intégration et Changement de variable.

En mathématiques, et plus précisément en analyse, l’intégration par changement de variable est un procédé d'intégration qui consiste à considérer une nouvelle variable d'intégration, pour remplacer une fonction de la variable d'intégration initiale. Ce procédé est un des outils principaux pour le calcul explicite d'intégrales. Il est parfois appelé intégration par substitution en lien avec le nom anglais du procédé.

Pour calculer une intégrale ${\displaystyle \int _{\alpha }^{\beta }f(x)\,\mathrm {d} x}$, la méthode de changement de variable consiste à poser ${\displaystyle x=\varphi (t)}$ de telle sorte que le théorème suivant conduise à une nouvelle intégrale ${\displaystyle \int _{a}^{b}F(t)\,\mathrm {d} t}$ plus facile à calculer (${\displaystyle \alpha =\varphi (a)}$ et ${\displaystyle \beta =\varphi (b)}$).

Soient :

• ${\displaystyle I}$ un intervalle réel ;
• ${\displaystyle \varphi :[a,b]\to I}$ une fonction dérivable, de dérivée intégrable ;
• ${\displaystyle f:I\to \mathbb {R} }$ une fonction continue.

Alors,

${\displaystyle \int _{a}^{b}f(\varphi (t))\varphi '(t)~\mathrm {d} t=\int _{\varphi (a)}^{\varphi (b)}f(x)~\mathrm {d} x}$.

Remarquons qu'il n'est pas nécessaire que ${\displaystyle \varphi }$ soit injective sur ${\displaystyle [a,b]}$ (voir infra).

Lorsque ${\displaystyle \varphi }$ est de classe ${\displaystyle {\mathcal {C}}^{1}}$, cette règle d'intégration se déduit du théorème fondamental de l'analyse et du théorème de dérivation des fonctions composées : voir par exemple le lien en bas de cette page vers le cours sur Wikiversité.

Soient :

• ${\displaystyle I}$ un intervalle réel ;
• ${\displaystyle \varphi :[a,b]\to I}$ une fonction dérivable de classe ${\displaystyle {\mathcal {C}}^{1}}$, de dérivée intégrable ;
• ${\displaystyle f:I\to \mathbb {R} }$ une fonction continue.

Notons ${\displaystyle F}$ une primitive de ${\displaystyle f}$ sur ${\displaystyle [a,b]}$, comme ${\displaystyle f}$ est continue, ${\displaystyle F}$ est de classe ${\displaystyle {\mathcal {C}}^{1}}$ donc ${\displaystyle F\circ \varphi }$ est de classe ${\displaystyle {\mathcal {C}}^{1}}$ sur ${\displaystyle [a,b]}$, on a :

${\displaystyle (F\circ \varphi )'=(F'\circ \varphi )\cdot \varphi '=(f\circ \varphi )\cdot \varphi '}$

ou en fonction de ${\displaystyle x}$ :
${\displaystyle {\frac {\text{d}}{{\text{d}}x}}\left(F(\varphi (x))\right)=F'(\varphi (x))\cdot \varphi '(x)=f(\varphi (x))\cdot \varphi '(x)}$

Posons ${\displaystyle I_{1}=\int _{a}^{b}f(\varphi (x))\cdot \varphi '(x)\ {\text{d}}x}$

et ${\displaystyle I_{2}=\int _{\varphi (a)}^{\varphi (b)}f(t)\ {\text{d}}t}$

on a : ${\displaystyle I_{1}=\int _{a}^{b}f(\varphi (x))\cdot \varphi '(x)\ {\text{d}}x=[F(\varphi (x))]_{a}^{b}=F(\varphi (b))-F(\varphi (a))}$

et ${\displaystyle I_{2}=\int _{\varphi (a)}^{\varphi (b)}f(t)\ {\text{d}}t=[F(t)]_{\varphi (a)}^{\varphi (b)}=F(\varphi (b))-F(\varphi (a))}$

ainsi : ${\displaystyle I_{1}=I_{2}}$

Utilisons le théorème pour écrire l'intégrale de ${\displaystyle f}$ sur ${\displaystyle I=\varphi {\bigl (}[a,b]{\bigr )}}$ dans le cas où ${\displaystyle \varphi }$ est une fonction monotone.

• Si ${\displaystyle \varphi }$ est croissante, alors ${\displaystyle \varphi (a)\leqslant \varphi (b)}$ et ${\displaystyle I}$ est égal à l'intervalle ${\displaystyle [\varphi (a),\varphi (b)]}$ ; l'intégrale de ${\displaystyle f}$ sur ${\displaystyle I}$ est alors immédiatement donnée par le théorème. Remarquons aussi que dans ce cas, ${\displaystyle \varphi '\geq 0}$.
• Si ${\displaystyle \varphi }$ est décroissante, alors ${\displaystyle \varphi (a)\geq \varphi (b)}$ et ${\displaystyle I}$ devient ${\displaystyle [\varphi (b),\varphi (a)]}$. L'intégrale de ${\displaystyle f}$ sur ${\displaystyle I}$ est donc l'opposée de l'intégrale du membre de gauche du théorème. Comme ${\displaystyle \varphi '\leq 0}$, changer le signe revient dans ce cas à remplacer ${\displaystyle \varphi \prime }$ (dans l'intégrale du membre de gauche du théorème) par sa valeur absolue.

On voit ainsi que dans les deux cas on a :

${\displaystyle \int _{\varphi {\bigl (}[a,b]{\bigr )}}f(x)\,\mathrm {d} x=\int _{[a,b]}f(\varphi (t))|\varphi '(t)|\,\mathrm {d} t}$.

C'est cette formule qu'on peut généraliser au cas des intégrales multiples (voir infra).

Soit à calculer

${\displaystyle \int _{-{\sqrt {\pi /2}}}^{\sqrt {2\pi }}2t\cos(t^{2})\,\mathrm {d} t}$.

On choisit le changement de variable ${\displaystyle \varphi (t)=t^{2}}$, et donc ${\displaystyle \mathrm {\varphi } '(t)=2t}$ avec ${\displaystyle t}$ variant de ${\displaystyle -{\sqrt {\pi /2}}}$ à ${\displaystyle {\sqrt {2\pi }}}$ (on remarquera que ${\displaystyle \varphi }$ n'est pas injective sur cet intervalle)

${\displaystyle \varphi \left(-{\sqrt {\pi /2}}\right)=\pi /2}$, ${\displaystyle \varphi \left({\sqrt {2\pi }}\right)=2\pi }$, et ${\displaystyle \cos }$ est bien continue sur ${\displaystyle \varphi \left(\left[-{\sqrt {\pi /2}},{\sqrt {2\pi }}\right]\right)=[0,2\pi ]}$. Par conséquent :

${\displaystyle \int _{-{\sqrt {\pi /2}}}^{\sqrt {2\pi }}2t\cos(t^{2})\,\mathrm {d} t=\int _{-{\sqrt {\pi /2}}}^{\sqrt {2\pi }}\varphi '(t)\cos(\varphi (t))\,\mathrm {d} t=\int _{\pi /2}^{2\pi }\cos x\,\mathrm {d} x=\left[\sin x\right]_{\pi /2}^{2\pi }=0-1=-1}$.

Le fait que ${\displaystyle \varphi }$ ne soit pas injective peut amener à des résultats à première vue surprenants : si ${\displaystyle \varphi (a_{1})=\varphi (a_{2})}$, on aura${\displaystyle \int _{a_{1}}^{b}f(\varphi (t))\varphi '(t)~\mathrm {d} t=\int _{a_{2}}^{b}f(\varphi (t))\varphi '(t)~\mathrm {d} t}$ ; c'est la raison pour laquelle on préfère souvent prendre ${\displaystyle \varphi }$ bijective, et écrire la formule « dans l'autre sens » : ${\displaystyle \int _{a}^{b}f(x)~\mathrm {d} x=\int _{\varphi ^{-1}(a)}^{\varphi ^{-1}(b)}f(\varphi (t))\varphi '(t)~\mathrm {d} t}$.

En pratique, la forme donnée dans l'énoncé du théorème est rarement directement lisible sur l'intégrale à calculer, et partant d'une intégrale telle que ${\displaystyle \int _{0}^{1}{\frac {\mathrm {e} ^{x}-1}{\mathrm {e} ^{x}+1}}\,\mathrm {d} x}$, on essaie plutôt de faire disparaitre les termes les plus « compliqués » (les exponentielles, dans ce cas) en posant ${\displaystyle x=\varphi (t)}$, avec ${\displaystyle \varphi }$ bien choisi (et le plus souvent bijective), donc ici ${\textstyle \varphi (t)=\ln t}$ ; on obtient ${\displaystyle \int _{0}^{1}{\frac {\mathrm {e} ^{x}-1}{\mathrm {e} ^{x}+1}}\,\mathrm {d} x=\int _{1}^{\mathrm {e} }{\frac {1}{t}}\times {\frac {t-1}{t+1}}\,\mathrm {d} t}$, que l'on intègre ensuite par décomposition en éléments simples, obtenant ${\displaystyle \int _{1}^{\mathrm {e} }-{\frac {1}{t}}+{\frac {2}{t+1}}\,\mathrm {d} t=-1+2(\ln(\mathrm {e} +1)-\ln 2)}$.

Cependant, beaucoup d'intégrales ne peuvent se calculer qu'à l'aide de changements de variables plus sophistiqués ; en voici une liste non exhaustive.

La bijection ${\displaystyle \varphi (t)=ct}$, pour ${\displaystyle c>0}$ donne

${\displaystyle \int _{a}^{b}f(ct)\,\mathrm {d} t={\frac {1}{c}}\int _{ca}^{cb}f(x)\,\mathrm {d} x}$.

Pour les fonctions comportant des fonctions circulaires ou hyperboliques, on peut utiliser les règles de Bioche.

Pour calculer

${\displaystyle \int f\left(x,{\sqrt[{n}]{\frac {ax+b}{cx+d}}}\right)\,\mathrm {d} x,}$ où f est une fraction rationnelle en deux variables, n un entier naturel et a, b, c et d quatre réels donnés, on pose
${\displaystyle u={\sqrt[{n}]{\frac {ax+b}{cx+d}}}}$ :
le changement de variable donnera toujours une fraction rationnelle en u ; il suffit alors de la décomposer en éléments simples pour intégrer.

Pour calculer

${\displaystyle \int f\left(x,{\sqrt {x^{2}+ax+b}}\right)\,\mathrm {d} x,}$

où f est une fraction rationnelle en deux variables, Euler a proposé le changement de variable ${\displaystyle t-x={\sqrt {x^{2}+ax+b}}}$, qui donne lui aussi toujours une fraction rationnelle en t (le cas ${\displaystyle {\sqrt {-x^{2}+ax+b}}}$ peut également être ainsi traité, si l'on accepte de travailler dans les complexes, il faut sinon passer par les fonctions circulaires (en)).

La substitution de Weierstrass repose sur la formule du demi-angle, qui transforme une fraction rationnelle de fonctions trigonométriques en x en fonctions rationnelles classiques en t, par le changement de variables ${\displaystyle t=\tan \left({\frac {x}{2}}\right)}$ :

${\displaystyle \int f(\cos x,\sin x)\mathrm {d} x=\int f\left({\frac {1-t^{2}}{1+t^{2}}},{\frac {2t}{1+t^{2}}}\right){\frac {2}{1+t^{2}}}\mathrm {d} t.}$

On peut l'adapter aux fractions rationnelles de fonctions hyperboliques en x en fonctions rationnelles classiques en t, par le changement de variables ${\displaystyle t={\text{tanh}}\left({\frac {x}{2}}\right)}$

${\displaystyle \int f(\cosh x,\sinh x)\mathrm {d} x=\int f\left({\frac {1+t^{2}}{1-t^{2}}},{\frac {2t}{1-t^{2}}}\right){\frac {2}{1-t^{2}}}\mathrm {d} t.}$

Géométriquement, ces changements de variables se traduisent par la projection vers une droite du cercle trigonométrique (pour les fonctions trigonométriques) ou le disque de Poincaré en dimension 1 (pour les fonctions hyperboliques).

Les formules données précédemment sont en fait valables même si les intégrales sont impropres^[1], ce qui se produit en particulier lorsque le changement de variable fait passer d'un intervalle réel borné à un intervalle non borné (par exemple, l'intégrale ${\displaystyle I=\int _{0}^{\pi /2}{\frac {\mathrm {d} t}{1+\sin ^{2}t}}}$ devient, par le changement de variable ${\displaystyle x=\tan t}$, ${\displaystyle I=\int _{0}^{+\infty }{\frac {\mathrm {d} x}{1+2x^{2}}}}$).

La démonstration de ce résultat se fait simplement en appliquant la définition des intégrales impropres comme limites, donc en passant à la limite dans un changement de variable entre intégrales propres.

Lorsque f est une fonction de plusieurs variables, on remplace φ par une injection ${\displaystyle \Phi }$ de classe C¹ sur un ouvert U de ℝⁿ et à valeurs dans ℝⁿ. Outre le changement du domaine d'intégration, on utilise la valeur absolue du jacobien de ${\displaystyle \Phi }$ « à la place » de ${\displaystyle |\varphi '|}$. Le jacobien est le déterminant de la matrice jacobienne ${\displaystyle J_{\Phi }}$. On donne ici la formulation explicite du changement de variable dans le cas particulier n = 2 :

${\displaystyle \iint _{\Phi (U)}f(x,y)\;\mathrm {d} x\,\mathrm {d} y=\iint _{U}f{\bigl (}\Phi (u,v){\bigr )}\left|\det J_{\Phi }(u,v)\right|~\mathrm {d} u\,\mathrm {d} v}$.

Pour plus de précision, se reporter aux deux articles détaillés.

Autre exemple bien détaillé d'intégration par changement de variable

• Portail de l'analyse