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.
En posant et dans la formule précédente, on obtient :
Supposons alors que nous ayons à calculer une primitive d'une fonction dépendant d'une variable . Nous allons pouvoir bénéficier du changement de variable si cette fonction peut se mettre sous la forme et si nous connaissons une primitive de car une primitive sera alors :
Comme les primitives d'une même fonction diffèrent d'une constante, nous retiendrons le terme comme étant une des primitives de .
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 du 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 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 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 est la variable que l’on peut sous-entendre. On peut donc s'affranchir des bornes d'intégration. On note la primitive simplement :
Comme ne figure plus dans l'expression, on peut remplacer par :
On posera ensuite, par exemple, et on en déduit (différentielle au sens des physiciens).
Avec toutes ces conventions, si est une primitive de , son expression est la suivante: