Par définition, on appelle primitive d'une fonction, une fonction qui, lorsqu'on la dérive, va redonner la fonction considérée. Cela étant dit, l’objet de ce chapitre n’est pas d'étudier la notion de primitive en général, mais de voir comment bénéficier du changement de variable pour calculer une primitive d'une fonction donnée.
En raison de limitations techniques, la typographie souhaitable du titre, « Changement de variable en calcul intégral : Calcul de primitives Changement de variable en calcul intégral/Calcul de primitives », n'a pu être restituée correctement ci-dessus.
Pour pouvoir bénéficier, dans le calcul d'une primitive, des techniques vues dans les chapitres précédent, rappelons le théorème fondamental de l'analyse :
Début d’un théorème
Théorème
Soit une fonction continue sur un intervalle réel et soit un élément de cet intervalle.
L'unique primitive de qui s'annule en est fonction .
Fin du théorème
Formule de changement de variable dans le calcul d'une primitivemodifier
Étudions ce que devient la formule de changement de variable vue au premier chapitre :
En posant α = a et ß = x dans la formule précédente, on obtient :
.
Supposons alors que nous ayons à calculer une primitive d'une fonction dépendant d'une variable t. Nous allons pouvoir bénéficier du changement de variable si cette fonction peut se mettre sous la forme f(φ(t))φ'(t) et si nous connaissons une primitive F de f car une primitive sera alors :
.
Comme les différentes primitives d'une même fonction diffèrent d'une constante, nous retiendrons le terme F(ϕ(x)) comme étant une des primitives de f(ϕ(x))ϕ'(x).
Remarque
Il s'agit juste du théorème de dérivation des fonctions composées, , qui a été l'un des deux ingrédients, au premier chapitre, pour démontrer le théorème de changement de variable en calcul intégral. Ce dernier n'est donc pas utile ici, pas plus que le théorème fondamental de l'analyse (le second ingrédient) ni l'hypothèse de continuité de f = F' et de ϕ'.
Pour faciliter la rédaction, on utilise généralement un abus d'écriture (usuel pour les physiciens). Soit à calculer la primitive :
.
Si l’on observe les bornes d'intégration, on voit que a est la valeur où la primitive s'annule. Mais cette valeur n’est pas nécessaire si l’on cherche une primitive quelconque. On voit aussi que x est la variable que l’on peut sous-entendre. On pourra donc s'affranchir des bornes d'intégration pour noter une primitive, on notera simplement :
.
Comme x ne figure plus dans l'expression, on peut remplacer t par x :
.
On posera ensuite, par exemple, y = φ(x) et on en déduit dy = φ'(x)dx (différentielle au sens des physiciens).
Avec toutes ces conventions, si F est une primitive de f, on écrira le calcul de la primitive ainsi :