数学分析(九)-定积分5-2-定积分计算1-2：“定积分”与“不定积分”换元积分法区别【定积分一旦得到用新变量表示的原函数，不必作变量还原，只要用新积分限代人并求其差值即可；而不定积分需代入原变量】

定理 9.12 (定积分换元积分法)

若函数 $f$ 在 $[a,b]$ 上连续, ${\phi }^{\prime }$ 在 $[\alpha ,\beta ]$ 上可积, 且满足

$$\phi (\alpha )=a,\phi (\beta )=b,\phi ([\alpha ,\beta ])\subseteq [a,b],$$

则有定积分换元公式:

$${\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{\beta }f(\phi (t)){\phi }^{\prime }(t)\mathrm{d}t.(9)$$

---

在用换元法计算定积分时,一旦得到了用新变量表示的原函数后,不必作变量还原,而只要用新的积分限代人并求其差值就可以了.

这就是定积分换元积分法与不定积分换元积分法的区别,这一区别的原因在于：

• 不定积分所求的是被积函数的原函数,理应保留与原来相同的自变量;
• 而定积分的计算结果是一个确定的数,如果 (9)式一边的定积分计算出来了,那么另一边的定积分自然也求得了.

注
如果在定理 9.12 的条件中只假定 $f$ 为可积函数, 但还要求 $\phi$是单调的, 那么 (9) 式仍然成立. (本节习题第 14 题.)

例 3
计算 ${\int }_0^{\frac{\pi }{2}}\sin t{\cos }^{2}t\mathrm{d}t$.

解
逆向使用公式 (9), 令 $x=\cos t,\mathrm{d}x=-\sin t\mathrm{d}t$, 当 $t$ 由 0 变到 $\frac{\pi }{2}$ 时, $x$ 由 1 减到 0 ,则有

$${\int }_0^{\frac{\pi }{2}}\sin t{\cos }^{2}t\mathrm{d}t=-{\int }_1^0{x}^2\mathrm{d}x={\int }_0^1{x}^2\mathrm{d}x=\frac{1}{3}.$$

例 4

计算 $J={\int }_0^1\frac{\ln (1+x)}{1+x^2}\mathrm{d}x$.

解
令 $x=\tan t$, 当 $t$ 从 0 变到 $\frac{\pi }{4}$ 时, $x$ 从 0 增到 1 .

于是由公式 (9) 及 $\mathrm{d}t=\frac{\mathrm{d}x}{1+x^2}$ 得到

$$\begin{array}{rl}J& ={\int }_0^{\frac{\pi }{4}}\ln (1+\tan t)\mathrm{d}t={\int }_0^{\frac{\pi }{4}}\ln \frac{\cos t+\sin t}{\cos t}\mathrm{d}t\\ & ={\int }_0^{\frac{\pi }{4}}\ln \frac{\sqrt{2}\cos \left(\frac{\pi }{4}-t\right)}{\cos t}\mathrm{d}t\\ & ={\int }_0^{\frac{\pi }{4}}\ln \sqrt{2}\mathrm{d}t+{\int }_0^{\frac{\pi }{4}}\ln \cos \left(\frac{\pi }{4}-t\right)\mathrm{d}t-{\int }_0^{\frac{\pi }{4}}\ln \cos t\mathrm{d}t.\end{array}$$

对第二个定积分作变换 $u=\frac{\pi }{4}-t$, 有

$${\int }_0^{\frac{\pi }{4}}\ln \cos \left(\frac{\pi }{4}-t\right)\mathrm{d}t={\int }_{\frac{\pi }{4}}^0\ln \cos u(-\mathrm{d}u)={\int }_0^{\frac{\pi }{4}}\ln \cos u\mathrm{d}u,$$

它与上面第三个定积分相消. 故得

$$J={\int }_0^{\frac{\pi }{4}}\ln \sqrt{2}\mathrm{d}t=\frac{\pi }{8}\ln 2.$$

事实上,例 4 中的被积函数的原函数虽然存在, 但难以用初等函数来表示, 因此无法直接使用牛顿一莱布尼茨公式. 可是像上面那样, 利用定积分的性质和换元公式 (9), 消去了其中无法求出原函数的部分, 最终得出这个定积分的值.

换元积分法还可用来证明一些特殊的积分性质,如本节习题中的第 $5,6,7$ 等题.