分部积分
命题:分部积分公式(Integration by Parts)
- 命题
- 依赖深度 layer 22
- 分析学
- Riemann 积分
prop.integration-by-parts · 命题 · 积分
陈述
设 可导、 可积。则
(写成惯用的形式:。)
说明
⭐ 它同样是乘积求导法则反着写:,两边积分再用 Newton–Leibniz。
⚠ 里外里验证的常见错误:把 写成 —— 那是「乘积的积分」,不是「乘积的端点差」。
⭐ 分部积分最有价值的形态是「移项」: 把难积的一方挪到另一边。在 Lebesgue 那一侧它对应「弱导数 / 分布意义下的求导」那一整套。
谁指向它(入边)
推出 1
-
乘积求导 + Newton–Leibniz 分部积分
设 可导、 可积。乘积求导法则给出
左边可积(可积函数的乘积可积),故右边也可积。对三者在 上用 Newton–Leibniz:
移项即得 。∎
「可积函数的乘积可积」这一步值得留意:分部积分把 的可积性转嫁给了 —— 所以公式的真正用处是「换一个更好积的对手」。
参考
- Rudin, Principles of Mathematical Analysis, Ch. 6
同一星团的其他概念 18 个
- 分割layer 14
- 上和与下和layer 15
- Riemann 和layer 15
- Riemann 可积layer 16
- 反常积分layer 17
- 积分的保序与估计layer 17
- Darboux 判据layer 17
- 反常积分的比较判敛layer 18
- 可积的振幅判据layer 18
- 积分的线性与区间可加layer 19
- 可积 ⟺ 不连续点零测layer 19
- 哪些函数可积layer 20
- Riemann ⟹ Lebesguelayer 20
- 变上限积分的导数layer 20
- 积分中值定理layer 20
- Newton–Leibniz 公式layer 21
- 换元积分layer 22