Changement de variable en calcul intégral/Formule fondamentale du changement de variable
Ce premier chapitre énonce et démontre le théorème fondamental du changement de variable en calcul intégral. Nous verrons les modalités d'application de ce théorème dans les chapitres suivants.
D'après le théorème fondamental de l'analyse, l'application
est la primitive de nulle en et l'application
est la primitive de nulle en
On en déduit que
En effet :
- d'après le théorème de dérivation des fonctions composées,
En particulier, , ce qu'il fallait démontrer.
Soient
Pour calculer l'intégrale
posons
La fonction est de classe de l'intervalle dans , et appartiennent à
Le changement de variable est donc valide.
De plus :
D'après la formule du changement de variable appliquée à la fonction (qui est bien définie et continue sur ), on a donc :
Par passage à la limite, on en déduit :
Nous allons, dans les prochains chapitres, passer en revue les principaux changements de variable que l’on peut être amené à effectuer.
Tous les changements de variable envisagés, dans les exemples, vérifient .
La condition est indispensable.
Par exemple, en effectuant le changement de variable sans aucune précaution, on obtiendrait :
alors qu'en réalité :
- , puisque c'est l'intégrale d'une fonction continue strictement positive sur un intervalle de longueur non nulle.