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 : Formule fondamentale du changement de variable Changement de variable en calcul intégral/Formule fondamentale du changement de variable », n'a pu être restituée correctement ci-dessus.
Ce premier chapitre énonce et démontre le théorème fondamental du changement de variable en calcul intégral. Nous discuterons ensuite des modalités d'application de ce théorème.
Début d’un théorème
Théorème
Soient I et J deux intervalles réels, ϕ ∈ C1 (I , ℝ) telle que ϕ (I ) ⊂ J , et f ∈ C0 (J , ℝ). Alors :
∀
α
,
β
∈
I
∫
α
β
f
(
ϕ
(
t
)
)
ϕ
′
(
t
)
d
t
=
∫
ϕ
(
α
)
ϕ
(
β
)
f
(
s
)
d
s
{\displaystyle \forall \alpha ,\beta \in I\qquad \int _{\alpha }^{\beta }f\left(\phi (t)\right)\phi '(t)\,\mathrm {d} t=\int _{\phi (\alpha )}^{\phi (\beta )}f(s)\,\mathrm {d} s}
.
Fin du théorème
Démonstration
D'après le théorème fondamental de l'analyse , l'application
F
:
J
→
R
,
y
↦
∫
ϕ
(
α
)
y
f
(
s
)
d
s
{\displaystyle F:J\to \mathbb {R} ,\,y\mapsto \int _{\phi (\alpha )}^{y}f(s)\,\mathrm {d} s}
est la primitive de
f
{\displaystyle f}
nulle en
ϕ
(
α
)
{\displaystyle \phi (\alpha )}
et l'application
G
:
I
→
R
,
x
↦
∫
α
x
f
(
ϕ
(
t
)
)
ϕ
′
(
t
)
d
t
{\displaystyle G:I\to \mathbb {R} ,\,x\mapsto \int _{\alpha }^{x}f\left(\phi (t)\right)\phi '(t)\,\mathrm {d} t}
est la primitive de
(
f
∘
ϕ
)
×
ϕ
′
{\displaystyle (f\circ \phi )\times \phi '}
nulle en
α
{\displaystyle \alpha }
.
On en déduit que
F
∘
ϕ
=
G
{\displaystyle F\circ \phi =G}
. En effet :
d'après le théorème de dérivation des fonctions composées ,
(
F
∘
ϕ
)
′
=
(
F
′
∘
ϕ
)
×
ϕ
′
=
(
f
∘
ϕ
)
×
ϕ
′
{\displaystyle (F\circ \phi )'=(F'\circ \phi )\times \phi '=(f\circ \phi )\times \phi '}
;
F
(
ϕ
(
α
)
)
=
0
{\displaystyle F\left(\phi (\alpha )\right)=0}
.
En particulier,
G
(
β
)
=
F
(
ϕ
(
β
)
)
{\displaystyle G(\beta )=F\left(\phi (\beta )\right)}
, ce qu'il fallait démontrer.
Début de l'exemple
Exemple
Soient
a
,
b
>
0
{\displaystyle a,b>0}
.
Pour calculer l'intégrale
∫
a
b
1
1
+
t
d
t
{\displaystyle \int _{a}^{b}{\frac {1}{1+{\sqrt {t}}}}\,\mathrm {d} t}
,
posons
s
=
ϕ
(
t
)
=
t
{\displaystyle s=\phi (t)={\sqrt {t}}}
.
La fonction ϕ est de classe C1 de l'intervalle I = R + * dans J = R + ,
a
{\displaystyle a}
et
b
{\displaystyle b}
appartiennent à I . Le changement de variable est donc valide. De plus :
ϕ
′
(
t
)
=
1
2
t
{\displaystyle \phi '(t)={\frac {1}{2{\sqrt {t}}}}}
.
D'après la formule du changement de variable appliquée à la fonction
f
(
s
)
=
2
s
1
+
s
{\displaystyle f(s)={\frac {2s}{1+s}}}
(qui est bien définie et continue sur J ), on a donc :
∫
a
b
1
1
+
t
d
t
=
∫
a
b
2
t
1
+
t
d
t
2
t
=
∫
a
b
2
s
1
+
s
d
s
=
2
∫
a
b
(
1
−
1
1
+
s
)
d
s
=
2
[
s
−
ln
(
1
+
s
)
]
a
b
=
2
(
b
−
a
−
ln
1
+
b
1
+
a
)
.
{\displaystyle {\begin{aligned}\int _{a}^{b}{\frac {1}{1+{\sqrt {t}}}}\,\mathrm {d} t&=\int _{a}^{b}{\frac {2{\sqrt {t}}}{1+{\sqrt {t}}}}\,{\frac {\mathrm {d} t}{2{\sqrt {t}}}}=\int _{\sqrt {a}}^{\sqrt {b}}{\frac {2s}{1+s}}\,\mathrm {d} s\\&=2\int _{\sqrt {a}}^{\sqrt {b}}\left(1-{\frac {1}{1+s}}\right)\mathrm {d} s=2\left[s-\ln(1+s)\right]_{\sqrt {a}}^{\sqrt {b}}\\&=2\left({\sqrt {b}}-{\sqrt {a}}-\ln {\frac {1+{\sqrt {b}}}{1+{\sqrt {a}}}}\right).\end{aligned}}}
(Par passage à la limite, on en déduit :
∫
0
b
1
1
+
t
d
t
=
2
(
b
−
ln
(
1
+
b
)
)
{\displaystyle \int _{0}^{b}{\frac {1}{1+{\sqrt {t}}}}\,\mathrm {d} t=2\left({\sqrt {b}}-\ln(1+{\sqrt {b}})\right)}
.)
Fin de l'exemple
Nous allons, dans les prochains chapitres, passer en revue les principaux changements de variable que l’on peut être amené à utiliser.
Tous les changements de variable envisagés, dans les exemples, vérifient ϕ (I ) ⊂ J même si nous ne l’avons pas vérifié pour simplifier l’exposé.
Le lecteur est toutefois fortement invité à faire cette vérification.
Remarque
Cette condition ϕ (I ) ⊂ J est indispensable .
Par exemple, en effectuant le changement de variable
s
=
ϕ
(
t
)
=
sin
t
{\displaystyle s=\phi (t)=\sin t}
sans aucune précaution, on obtiendrait :
∫
π
3
2
π
3
t
sin
t
d
t
=
∫
3
2
3
2
arcsin
s
s
1
−
s
2
d
s
=
0
{\displaystyle \int _{\frac {\pi }{3}}^{\frac {2\pi }{3}}{\frac {t}{\sin t}}\,\mathrm {d} t=\int _{\frac {\sqrt {3}}{2}}^{\frac {\sqrt {3}}{2}}{\frac {\arcsin s}{s{\sqrt {1-s^{2}}}}}\,\mathrm {d} s=0}
,
alors qu'en réalité :
∫
π
3
2
π
3
t
sin
t
d
t
>
0
{\displaystyle \int _{\frac {\pi }{3}}^{\frac {2\pi }{3}}{\frac {t}{\sin t}}\,\mathrm {d} t>0}
, puisque c'est l'intégrale, sur un intervalle de longueur non nulle, d'une fonction continue strictement positive.