Changement de variable en calcul intégral/Calcul de primitives

Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
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.

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.

Lien intégrale-primitives[modifier | modifier le wikicode]

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
Fin du théorème


Formule de changement de variable dans le calcul d'une primitive[modifier | modifier le wikicode]

Étudions ce que devient la formule de changement de variable vue au premier chapitre :

.

Première méthode[modifier | modifier le wikicode]

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 ϕ'.

Abus d'écriture[modifier | modifier le wikicode]

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 :

.

Exemple[modifier | modifier le wikicode]

Soit à calculer, sur l'intervalle ]-1, +∞[, une primitive de la fonction :

.

En posant y = sin(x) qui entraîne dy = cos(x)dx, on aura :

.

Deuxième méthode[modifier | modifier le wikicode]

Reprenons la formule :

.

Pour simplifier, nous supposerons cette fois que φ est bijective et nous appellerons φ-1 sa bijection réciproque.

En posant α = φ-1(a) et ß = φ-1(x) dans la formule précédente, on obtient :

.

Qui se simplifie sous la forme :

.

Nous appliquerons cette deuxième méthode si nous connaissons une primitive F de la fonction :

.

Alors, une primitive de f sera :

.

Une primitive plus simple de f est donc : F(φ-1(x)).

Abus d'écriture[modifier | modifier le wikicode]

En réitérant l'abus d'écriture du paragraphe précédent, nous écrirons plus simplement :

.

Exemple[modifier | modifier le wikicode]

Soit à calculer, sur l'intervalle [-1, 1], une primitive de la fonction :

.

Nous poserons :

.

Nous voyons que φ est bijective de [-π/2, π/2] dans [-1, 1] et sa fonction réciproque est t = φ-1(x) = arcsin(x).

Nous avons donc :