Intégration par 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 à remplacer une variable (ou parfois même une fonction) par une autre fonction de celle-ci ou d'un autre paramètre. Ce procédé est un des outils principaux pour le calcul explicite d'intégrales.
Sommaire |
Théorème [modifier]
Énoncé [modifier]
Soit
une fonction numérique continue, et
une fonction de classe
(c'est-à-dire dérivable et dont la dérivée est continue) sur un intervalle
et dont l'image est contenue dans le domaine de définition de
. Alors

Démonstration [modifier]
La fonction
étant continue, on considère une primitive
de
sur
l'ensemble de définition de
. La fonction
est alors dérivable, comme composée de deux fonctions dérivables et on a :
D'où
Remarque [modifier]
Utilisons le théorème pour écrire l'intégrale de
sur
dans le cas où
est une fonction monotone.
- Si
est croissante, alors
et
est égal à l'intervalle
; l'intégrale de
sur
est alors immédiatement donnée par le théorème. Remarquons aussi que dans ce cas
.
- Si
est décroissante, alors
et
devient
. L'intégrale de
sur
est donc l'opposée de l'intégrale du membre de gauche du théorème. Comme
, changer le signe revient dans ce cas à remplacer
dans le membre de droite par sa valeur absolue.
On voit ainsi que dans les deux cas on a
C'est cette formule qu'on peut généraliser au cas des intégrales multiples (voir ci-dessous).
Principe [modifier]
De manière plus abstraite, cette règle d'intégration découle du théorème de dérivation des fonctions composées. Soient deux fonctions dérivables
et sachant, par la définition d'intégrale, que
![\int f'(t)\mathrm dt=\int\mathrm df= [f]](http://upload.wikimedia.org/math/b/c/7/bc7240feb58b634d01ef5136090d896a.png)
alors ce théorème permet d'obtenir
![\int F'(\varphi(t))\varphi'(t)\mathrm dt=\int\mathrm d(F\circ\varphi)=[F\circ\varphi].](http://upload.wikimedia.org/math/f/5/7/f570b7f6ddcefec724ea142004a4ef20.png)
Exemple [modifier]
Soit à calculer
On pose le changement de variable
et donc
avec
variant entre
et
. Par conséquent
varie entre
et
.
Changements de variables classiques [modifier]
- Pour les fonctions comportant des fonctions circulaires ou hyperboliques, voir les règles de Bioche.
- Pour calculer
,
où
est une fraction rationnelle en deux variables,
un entier naturel et
,
,
et
quatre réels donnés, on pose
:
le changement de variable donnera toujours une fraction rationnelle en
; il suffit alors de la décomposer en éléments simples pour intégrer. - Pour calculer
,
où
est une fraction rationnelle en deux variables, Euler a proposé le changement de variable
, qui donne lui aussi toujours une fraction rationnelle en t (le cas
peut également être ainsi traité, si l'on accepte de travailler dans les complexes, il faut sinon passer par les fonctions circulaires).
Cas des intégrales impropres [modifier]
Les formules données précédemment sont en fait valables même si les intégrales sont impropres, ce qui se produit en particulier lorsque le changement de variable fait passer d'un intervalle fermé de R à un intervalle ouvert (par exemple, l'intégrale
devient, par le changement de variable
,
). Dans les différents cas possibles, la démonstration de ce résultat se fait simplement en passant par un calcul de limite, et en remarquant que, par exemple,
.
Cas des intégrales multiples [modifier]
Lorsque
est une fonction de plusieurs variables, on remplace
par une transformation
bijective, de classe
ainsi que sa fonction réciproque. Outre le changement du domaine d'intégration on utilise la valeur absolue du jacobien de
« à la place » de
. Le jacobien est le déterminant de la matrice jacobienne
. On donne ici la formulation explicite du changement de variable et le lecteur se reportera à l'article sur les intégrales multiples ou sur la matrice jacobienne pour plus de précisions sur ces notions :
.



![=\left[F\circ \varphi\right]_a^b](http://upload.wikimedia.org/math/4/6/9/4698c588620e67f7ee80fc986eecbfdb.png)


et
est égal à l'intervalle
; l'intégrale de
.
et
. L'intégrale de
, changer le signe revient dans ce cas à remplacer
dans le membre de droite par sa valeur absolue.![\int_{\varphi\bigl([a,b]\bigr)} f(x)\,\mathrm dx = \int_{[a,b]} f(\varphi(t)) |\varphi'(t)|\,\mathrm dt.](http://upload.wikimedia.org/math/7/9/c/79cbcd36658d4eb80786990a86cea9d1.png)

![\int_{\sqrt\pi}^{2\sqrt\pi} 2x \cos(x^2)\mathrm dx = \int_{\pi}^{4\pi} \cos(t)\mathrm dt= [\sin(t)]^{4\pi}_{\pi} = \sin(4\pi)-\sin{\pi}=0-0=0.](http://upload.wikimedia.org/math/0/b/a/0ba1fddba2bd24859f2ff6002132540a.png)
,
un entier naturel et
,
,
et
quatre réels donnés, on pose
:
; il suffit alors de la
,
, qui donne lui aussi toujours une fraction rationnelle en t (le cas
peut également être ainsi traité, si l'on accepte de travailler dans les complexes, il faut sinon passer par les fonctions circulaires).
.