查看“︁分部積分法”︁的源代码

{{微积分学}}
{{NoteTA |G1=Math}}
'''分部積分法'''又稱作'''部分積分法'''（{{lang-en|Integration by parts}}），是一種[[積分]]的技巧。它是由[[微分]]的[[乘法定則]]和[[微積分基本定理]]推導而來的。其基本思路是将不易求得结果的积分形式，转化为等价的但易于求出结果的积分形式。

== 規則 ==
假設<math>h(x)\ </math>與<math>k(x)\ </math>是兩個[[連續]][[可導]][[函數]]。由[[乘積法則]]可知
:<math>\frac{{\rm{d}}(hk)}{{\rm{d}}x}=\frac{{\rm{d}}h}{{\rm{d}}x}k +h\frac{{\rm{d}}k}{{\rm{d}}x}</math>
對上述等式兩邊求[[不定積分]]，得
:<math>
\begin{align}
hk &= \int\bigg(\frac{{\rm{d}}h}{{\rm{d}}x}k+h\frac{{\rm{d}}k}{{\rm{d}} x}\ \bigg){\rm{d}}x \\
&= \int k\ {\rm{d}}h+\int h\ {\rm{d}}k\\
\end{align}
</math>
移项整理，得[[不定积分]]形式的分部积分方程
:<math>\int\frac{{\rm{d}}h}{{\rm{d}}x}k\ {\rm{d}}x=hk-\int h\frac{{\rm {d}}k}{{\rm{d}}x}\ {\rm{d}}x</math>
由以上等式我们可以推导出分部积分法在[[区间]]<math>[a,A]\ </math>的[[定积分]]形式
:<math>\int^A_a\frac{{\rm{d}}h}{{\rm{d}}x}k\ {\rm{d}}x=\big[hk\big]^A_a -\int^A_ah\frac{{\rm{d}}k}{{\rm{d}}x}\ {\rm{d}}x</math>
已经积出的部分<math>\big[hk\big]^A_a</math>可以代入上下限<math>[a,A]\ </math>表示为以下等式，
:<math>\big[hk\big]^A_a=h(A)k(A)-h(a)k(a)</math>
而以上这条等式可以通过函数求导[[乘积法则]]，以及[[微积分基本定理]]通过以下方式倒推并得以验证
: <math>
\begin{align}
h(A)k(A)-h(a)k(a) &= \int^A_a\frac{{\rm{d}}(hk)}{{\rm{d}}x}\ dx\\
& = \int^A_a\bigg(\frac{{\rm{d}}h}{{\rm{d}}x}k+h\frac{{\rm{d}}k}{{\rm{d} }x}\ \bigg)\ dx\\
& = \int^A_ak\ {\rm{d}}h+\int^A_ah\ {\rm{d}}k\\
\end{align}
</math>

在传统的微积分教材裡分部积分法通常写成[[不定积分]]形式：
:<math>\int f(x) g'(x)\,dx = f(x) g(x) - \int f'(x) g(x)\,dx,</math>
如果更簡單些，令<math>u = f(x)</math>、<math>v = g(x)</math>，微分<math>{\rm{d}}u = f'( x){\rm{d}}x</math>和<math>{\rm{d}}v = g'(x){\rm{d}}x</math>,，就可以得到更常見到的形式：
:<math>\int u\,dv=uv-\int v\,du</math>。
注意，上面的原式中含有''g''的導數；在使用這個規則時必須先找到[[不定積分]]''g''，並且積分<math>\int gf' {\rm{d }}x</math>必須是可積的。

在级数的离散分析中也可以用到类似的公式表达，称为[[分部求和]]。

另一可用的表達方式可以將原表達方式裡的因子僅寫成''f''和''g''，但缺點是引進了[[多重积分|鑲套積分]]：
:<math>\int f g\,dx = f \int g\,dx - \int \left ( f' \int g\,dx \right )\,dx</math>。
这个表达方式只有当''f''是连续可导而且''g''是连续的时才有效。

在[[黎曼-斯蒂尔吉斯积分]]和[[勒贝格-斯蒂尔吉斯积分]]有更多分部积分的公式。

提示：部分積分下面這樣更複雜一點的積分運算裡也是有效的：
:<math>\int u v\,dw = u v w - \int u w\,dv - \int v w\,du</math>。

== 例题 ==

用分部积分法求积分：

:<math>\int x\cos (x) \,dx</math>

先设：

:''u'' = ''x'',故''du'' = ''dx'',
:''dv'' = cos(''x'') ''dx'',故''v'' = sin(''x'').

代入原积分：

:<math>
\begin{align}
  \int x\cos (x) \,dx & = \int u \,dv \\
  & = uv - \int v \,du \\
  & = x\sin (x) - \int \sin (x) \,dx \\
  & = x\sin (x) + \cos (x) + C
\end{align}
</math>

这里''C''是任意[[积分常数]]。

连续使用分部积分可以求解这类积分：

:<math>\int x^{3} \sin (x) \,dx \quad \mbox{and} \quad \int x^{2} e^{x} \,dx</math>

每次分部积分后''x''的幂减低1次。

下面这个例子需要用点技巧：

:<math>\int e^{x} \cos (x) \,dx</math>

和其他例题不同的是分部积分之后得出的结果里含有要求解的积分式，在这时不必再按积分做下去。

此题要使用两次分部积分。先令：

:''u'' = cos(''x'');故''du'' = −sin(''x'') ''dx''
:d''v'' = e<sup>''x''</sup> ''dx'';故''v'' = e<sup>''x''</sup>

于是有：

:<math>\int e^{x} \cos (x) \,dx = e^{x} \cos (x) + \int e^{x} \sin (x) \,dx</math>

对余下的积分式再用分部积分，设：

:''u'' = sin(''x''); d''u'' = cos(''x'') ''dx''
:''v'' = e<sup>''x''</sup>; ''dv'' = e<sup>''x''</sup> ''dx''

得到：

:{|
|-
|<math>\int e^{x} \sin (x) \,dx </math>
|<math>= e^{x} \sin (x) - \int e^{x} \cos (x) \,dx </math>
|-
|}
把两次分部积分的结果合在一起：

:<math>\int e^{x} \cos (x) \,dx = e^{x} \cos (x) + e^x \sin (x) - \int e^{x} \cos (x) \,dx</math>

注意，要求解的积分式同时出现在等式两边。我们只要把它移到等式一边就可以得到积分结果：

:<math>2 \int e^{x} \cos (x) \,dx = e^{x} ( \sin (x) + \cos (x) ) + C</math>

:<math>\int e^{x} \cos (x) \,dx = {e^{x} ( \sin (x) + \cos (x) ) \over 2} + C</math>

同样, ''C''在这里是积分常数。

同样的技巧用在求解[[正割函数的立方的积分]]里。

另外两个很有用的分部积分范例是分部积分法用在函数本身和1的乘积。这里的前提是函数的导数是已知的，而且这个导数和''x''的乘积的积分已知。

第一个范例是∫ ln(''x'') d''x''.我们把它写成：

:<math>\int \ln (x) \cdot 1 \,dx</math>

设：

:''u'' = ln(''x''); d''u'' = 1/''x'' d''x''
:''v'' = ''x''; d''v'' = 1·d''x''

于是：

:{|
|-
|<math>\int \ln (x) \,dx </math>
|<math>= x \ln (x) - \int \frac{x}{x} \,dx </math>
|-
|
|<math>= x \ln (x) - \int 1 \,dx</math>
|}
:<math>\int \ln (x) \,dx = x \ln (x) - {x} + {C}</math>

:<math>\int \ln (x) \,dx = x ( \ln (x) - 1 ) + C</math>

同样, C是积分常数。

第二个范例是∫ arctan(''x'') d''x'',这里arctan(''x'')是[[反三角函数]]。成重写入下：

:<math>\int \arctan (x) \cdot 1 \,dx</math>

令：

:''u'' = arctan(''x''); d''u'' = 1/(1+''x''<sup>2</sup>) d''x''
:''v'' = ''x''; d''v'' = 1·d''x''

代入后有：

:{|
|-
|<math>\int \arctan (x) \,dx </math>
|<math>= x \arctan (x) - \int \frac{x}{1 + x^2} \,dx </math>
|-
|
|<math>= x \arctan (x) - {1 \over 2} \ln \left( 1 + x^2 \right) + C</math>
|}

其中用到[[换元积分法]]和自然对数积分。

== LIATE法则 ==

LIATE法则是一条[[经验法则]]，由选择以下列表中首先出现的函数为''u''组成：<ref>{{Cite journal |jstor=2975556 |first=Herbert E. |last=Kasube |title=A Technique for Integration by Parts |url=https://archive.org/details/sim_american-mathematical-monthly_1983-03_90_3/page/210 |journal=[[The American Mathematical Monthly]] |volume=90 |issue=3 |year=1983 |pages=210–211 |doi=10.2307/2975556}}</ref>

:'''L''': [[对数函数]]：<math>\ln(x),\ \log_b(x),</math>等。
:'''I''': [[反三角函数]]：<math>\arctan(x),\ \arcsec(x),</math>等。
:'''A''': [[代数函数]]：<math>x^2,\ 3x^{50},</math>等。
:'''T''': [[三角函数]]：<math>\sin(x),\ \tan(x),</math>等。
:'''E''': [[指数函数]]：<math>e^x,\ 19^x,</math>等。

要成为''dv''的函数以这个列表中的后一个为准，因为求列在后面的函数的[[不定积分]]比列在前面的更容易。LIATE这个[[口诀]]代表优先选择的顺序。该法则有时候会写作"DETAIL"，其中''D''代表''dv''。

为了展示LIATE法则，以下面这个积分作示范：

:<math>\int x\cos x \,dx.\,</math>

根据LIATE法则，''u'' = ''x''和''dv'' = cos ''x'' dx，于是''du'' = ''dx''和''v'' = sin ''x'' ，这个积分就变成
:<math> x\sin x - \int 1\sin x \,dx,\,</math>
等同于
:<math> x\sin x  + \cos x+C. \, </math>

总的来说，在选''u''和''dv''时都是选得''du''比''u ''简单，并且''dv''容易被积。如果选cos ''x''为''u''，''x''为''dv''，就要求这样的积分

:<math> \frac{x^2}2\cos x + \int \frac{x^2}2\sin x\,dx\,\,</math>

在递归应用分部积分法后，会陷入一个无限循环产生无意义的结果。

LIATE法则尽管很有用，也还是会有例外。所以有时可以用"ILATE"顺序替换。另外，在个别情况要将指数项拆开。例如，求积分

:<math>\int x^3 e^{x^2} \,dx,</math>

要拆成

:<math>u = x^2, \quad dv = x \cdot e^{x^2} \,dx,</math>

所以有

:<math>du = 2x \,dx, \quad v = \frac{e^{x^2}}{2}.</math>

然后

:<math>\int x^3 e^{x^2} \,dx = \int (x^2) \left(xe^{x^2}\right) \,dx = \int u \,dv
= uv - \int v \,du = \frac{x^2 e^{x^2}}{2} - \int x e^{x^2} \,dx.</math>

最终的积分结果为

:<math>\int x^3 e^{x^2} \,dx = \frac{e^{x^2}(x^2 - 1)}{2} + C.</math>

分部积分法通常被用作[[数学分析]]中证明定理的工具。

== 参见 ==
* [[换元积分法]]

== 參考資料 ==
{{reflist}}

[[Category:积分学]]
[[Category:数学恒等式]]
[[Category:分析定理]]
[[Category:微積分定理]]