定积分的分部积分法与换元法
小象实战讲义 · 人工智能数学基础
在掌握了定积分的定义与基本性质后,我们面临的核心问题是如何高效、准确地计算定积分的值。本节将介绍两个强大的计算工具——分部积分法与换元法。它们是微积分基本定理的延伸应用,能将复杂的定积分转化为更易处理的形式。学完本节,你将能够系统性地处理包含乘积函数、复合函数以及具有对称性等特殊结构的定积分,为后续学习概率密度函数计算、最优化问题中的积分约束等高级内容打下坚实基础。
💡 核心导读
- 定积分分部积分公式:掌握其与不定积分公式的联系与区别,关键在于正确选择 u 和 dv。
- 递推公式的建立:学习如何利用分部积分法为特定类型的积分(如三角函数幂次积分)建立递推关系。
- 定积分换元法:理解换元时积分上下限同步变换的原理,避免常见的上下限错误。
- 对称区间的处理技巧:掌握利用换元法(如令 x=−t)处理对称区间积分,简化计算。
- Wallis 积分公式:理解并记忆 ∫0π/2sinnxdx 的递推公式及其奇偶次结果,这是一个重要的常用结论。
分部积分法在定积分中的应用
定积分的分部积分公式直接由不定积分的分部积分公式结合牛顿-莱布尼茨公式推导而来。
定理(定积分的分部积分法):设函数 u(x) 和 v(x) 在闭区间 [a,b] 上具有连续导数,则有 ∫abu(x)v′(x)dx=u(x)v(x)∣ab−∫abu′(x)v(x)dx 或简记为 ∫abudv=uv∣ab−∫abvdu.
与不定积分的分部积分公式 ∫udv=uv−∫vdu 相比,定积分公式只是在 uv 项后加上了积分上下限的取值。应用时,核心策略与不定积分一致:恰当选择 u 和 dv,使得 ∫vdu 比原积分 ∫udv 更容易计算。
例题 1:计算 ∫12xlnxdx。
解:选择 u=lnx,dv=xdx,则 du=x1dx,v=21x2。 应用分部积分公式: ∫12xlnxdx=21x2lnx12−∫1221x2⋅x1dx=21(4ln2−1⋅ln1)−21∫12xdx=2ln2−21⋅2x212=2ln2−41(4−1)=2ln2−43.
利用分部积分建立递推公式:Wallis 积分
分部积分法的一个重要应用是为一类具有特定形式的积分建立递推关系,从而系统性地求解。
例题 2:设 In=∫0π/2sinnxdx,其中 n 为非负整数。建立 In 的递推公式。
解:当 n≥2 时,可以拆出一个 sinx 与 dx 结合。 In=∫0π/2sinnxdx=∫0π/2sinn−1x⋅sinxdx. 令 u=sinn−1x,dv=sinxdx,则 du=(n−1)sinn−2xcosxdx,v=−cosx。 应用分部积分公式: 0^{\pi/2} - \int_0^{\pi/2} (-\cos x) \cdot (n-1)\sin^{n-2} x \cos x , dx \ &= 0 + (n-1) \int_0^{\pi/2} \sin^{n-2} x \cos^2 x , dx. \end{aligned}In=−sinn−1xcosx0π/2−∫0π/2(−cosx)⋅(n−1)sinn−2xcosxdx=0+(n−1)∫0π/2sinn−2xcos2xdx. 因为 cos2x=1−sin2x,代入得 {n-2} - (n-1)I_n.In=(n−1)∫0π/2sinn−2xdx−(n−1)∫0π/2sinnxdx=(n−1)In−2−(n−1)In. 将含 In 的项移到等式左边: In+(n−1)In=(n−1)In−2⇒nIn=(n−1)In−2. 于是得到递推公式: In=nn−1In−2,n≥2.
接下来计算初值:
- I0=∫0π/21dx=2π.
- I1=∫0π/2sinxdx=−cosx∣0π/2=1.
利用递推公式,可以分别得到偶数次和奇数次的通项公式(引入双阶乘记号 n!!):
- 偶数次 (n=2k): I2k=2k2k−1⋅2k−22k−3⋯21⋅I0=(2k)!!(2k−1)!!⋅2π.
- 奇数次 (n=2k+1): I2k+1=2k+12k⋅2k−12k−2⋯32⋅I1=(2k+1)!!(2k)!!.
这个结果称为 Wallis 积分公式,在概率论和数值分析中常有应用。
import numpy as np
import sympy as sp
# 验证 Wallis 积分递推公式
def I_n_sympy(n):
"""使用 sympy 符号积分精确计算 I_n"""
x = sp.symbols('x')
expr = sp.sin(x)**n
return sp.integrate(expr, (x, 0, sp.pi/2)).evalf()
def I_n_recursive(n):
"""使用递推公式数值计算 I_n"""
if n == 0:
return np.pi / 2
elif n == 1:
return 1.0
else:
# 递归计算,注意使用浮点数避免整数除法
return ((n-1) / n) * I_n_recursive(n-2)
# 测试 n=2,3,4,5
test_ns = [2, 3, 4, 5]
print("验证 Wallis 积分递推公式:")
print(f"{'n':<4} {'符号积分结果':<20} {'递推公式结果':<20} {'绝对误差':<15}")
for n in test_ns:
exact_val = float(I_n_sympy(n))
rec_val = I_n_recursive(n)
error = abs(exact_val - rec_val)
print(f"{n:<4} {exact_val:<20.12f} {rec_val:<20.12f} {error:<15.2e}")
定积分的换元法
定积分的换元法(也称变量替换法)是不定积分换元法的直接推广,但有一个关键区别:换元的同时必须同步改变积分的上下限。
定理(定积分的换元法):设函数 f(x) 在区间 [a,b] 上连续,函数 x=φ(t) 满足:
- φ(t) 在区间 [α,β](或 [β,α])上有连续导数;
- 当 t 从 α 变到 β 时,x=φ(t) 从 φ(α)=a 单调地变到 φ(β)=b。 则有换元公式: ∫abf(x)dx=∫αβf(φ(t))φ′(t)dt.
核心要点:新变量 t 的积分下限 α 和上限 β,由原变量 x 的下限 a 和上限 b 通过关系式 x=φ(t) 解出,即满足 a=φ(α),b=φ(β)。换元完成后,直接计算关于 t 的定积分即可,无需再回代原变量。
例题 3:计算 ∫011+xxdx。
解:被积函数含根式 x,令 t=x,则 x=t2,dx=2tdt。 当 x 从 0 变到 1 时,t 从 0 变到 1。 进行换元: ∫011+xxdx=∫011+tt⋅2tdt=2∫011+tt2dt. 利用多项式除法:1+tt2=t−1+1+t1。 所以 原式=2∫01(t−1+1+t1)dt=2[2t2−t+ln∣1+t∣]01=2(21−1+ln2−0)=2(ln2−21)=2ln2−1.
对称区间积分的换元技巧
对于在对称区间 [−a,a] 上的积分,通过换元 x=−t 将负半轴的积分转化到正半轴,常常能合并积分式,发现抵消或简化项。
例题 4:计算 I=∫−π/2π/21+exsin2xdx。
解:区间 [−π/2,π/2] 关于原点对称。首先利用积分区间可加性将其拆分: I=∫−π/201+exsin2xdx+∫0π/21+exsin2xdx. 记第一个积分为 I1,第二个为 I2,则 I=I1+I2。
对 I1 作换元 x=−t,则当 x:−π/2→0 时,t:π/2→0,且 dx=−dt,sin2(−t)=sin2t。 I1=∫−π/201+exsin2xdx=∫π/201+e−tsin2t⋅(−dt)=∫0π/21+e−tsin2tdt=∫0π/2et+1etsin2tdt.(分子分母同乘 et) 注意积分变量可以任意改名,将上式中的 t 改回 x,则 I1=∫0π/21+exexsin2xdx. 于是, I=I1+I2=∫0π/21+exexsin2xdx+∫0π/21+exsin2xdx=∫0π/21+ex(ex+1)sin2xdx=∫0π/2sin2xdx. 这样,复杂的含 ex 的分母被巧妙地消去了。剩下的积分正是 Wallis 积分中的 I2: I=∫0π/2sin2xdx=I2=21⋅2π=4π.
技巧总结:对于对称区间上的积分 I=∫−aaf(x)dx,换元 x=−t 后得到 I=∫0a[f(t)+f(−t)]dt。若 f(x)+f(−x) 形式更简单,则可大幅简化计算。
📝 动手练一练
练习 1:计算定积分 ∫0πxsinxdx。 参考答案: 使用分部积分法,令 u=x,dv=sinxdx。 ∫0πxsinxdx=−xcosx∣0π+∫0πcosxdx=(−π⋅(−1)−0)+sinx∣0π=π+0=π.
练习 2:利用换元法计算 ∫041+x1dx。 提示:可令 t=x。 参考答案: 令 t=x,则 x=t2,dx=2tdt。当 x:0→4 时,t:0→2。 ∫041+x1dx=∫021+t1⋅2tdt=2∫021+ttdt=2∫02(1−1+t1)dt=2[t−ln∣1+t∣]02=2[(2−ln3)−0]=4−2ln3.
本章小结
本节深入讲解了定积分计算的两大核心技巧:分部积分法与换元法。
要点回顾:
- 分部积分法:公式为 ∫abudv=uv∣ab−∫abvdu。选择 u 和 dv 的原则是“反对幂三指”(反三角函数、对数函数、幂函数、三角函数、指数函数)的优先顺序,力求简化。
- 递推公式:对于形如 ∫sinnxdx、∫cosnxdx 或含自然数参数的积分,常通过分部积分建立递推关系。Wallis 积分公式 ∫0π/2sinnxdx 及其奇偶次结论是一个重要模型。
- 换元法:核心是“换元必换限”。新变量 t 的上下限 α,β 由原上下限 a,b 及换元关系 x=φ(t) 解出,满足 a=φ(α),b=φ(β)。换元后直接计算关于 t 的积分。
- 对称区间处理:对于 [−a,a] 上的积分,换元 x=−t 可将两个区间合并,往往能消去复杂项,是处理非奇非偶函数在对称区间上积分的有效手段。
行动清单:
- 巩固公式:默写定积分的分部积分公式和换元公式,并清晰陈述其应用条件。
- 分类练习:分别找一道需要用分部积分法、一道需要用根式换元、一道需要用对称区间换元技巧的定积分题目进行求解,体会不同方法的适用场景。
- 代码验证:尝试用 Python 的
sympy 或 scipy.integrate 库验证本节例题和练习的结果,建立数值计算与解析推导的联系。
— 小象教研组