Dtyjlui

部分積分（ぶぶんせきぶん、英: Integration by parts）とは、微分積分学・解析学における関数の積の積分に関する定理であり、積の積分をより計算が容易な積分に変形するために頻繁に使われる手法である。

具体的には、2つの微分可能な関数 u(x)、v(x)、区間 a ≤ x ≤ b に対して成り立つ以下のような関係式を指す^[1]。

int _{a}^{b}u(x)v'(x),dx=left[u(x)v(x)right]_{a}^{b}-int _{a}^{b}u'(x)v(x),dx

不定積分の場合であれば、同様に以下の関係式が成り立つ。

int u(x)v'(x),dx=u(x)v(x)-int u'(x)v(x),dx!

またはより簡潔に

int u,dv=uv-int v,du.!

と表記される。ここで du と dv は x の関数 u, v の微分、即ち

du=u'(x)dx,quad dv=v'(x)dx

である。

導出

上記の定理は以下にように導出される。
u(x) と v(x) がともに微分可能な関数であるとき、積の微分法則（ライプニッツ則）より

{frac {d}{dx}}left(u(x)v(x)right)=v(x){frac {d}{dx}}left(u(x)right)+u(x){frac {d}{dx}}left(v(x)right)!

両辺を区間 a ≤ x ≤ b で x に関して積分して

int _{a}^{b}{frac {d}{dx}}left(u(x)v(x)right),dx=int _{a}^{b}u'(x)v(x),dx+int _{a}^{b}u(x)v'(x),dx

ここで微分積分学の基本定理より、

int _{a}^{b}{frac {d}{dx}}left(u(x)v(x)right),dx=left[u(x)v(x)right]_{a}^{b}

であるから、

left[u(x)v(x)right]_{a}^{b}=int _{a}^{b}u'(x)v(x),dx+int _{a}^{b}u(x)v'(x),dx

即ち以下の部分積分の公式を得る。

int _{a}^{b}u(x)v'(x),dx=left[u(x)v(x)right]_{a}^{b}-int _{a}^{b}u'(x)v(x),dx

不定積分の場合も同様に導出出来る。

ここで左辺の ∫uv′dx は v′ (v の導関数) を含んでいるから、まず v (v′ の原始関数)を見つける必要があり、次いで部分積分の公式を適用し、積分 ∫vu′dx を計算する。

（具体的な計算例は後述）

視覚的な解釈

部分積分の定理のグラフによる解釈。図示された曲線は媒介変数 t の関数である。

パラメーター t によって (x, y) = (f(t), g(t)) で表された曲線を定義する。この曲線が局所的に一対一対応であると仮定すると、

x(y)=f(g^{{-1}}(y))

y(x)=g(f^{{-1}}(x))

青色の領域の面積は、

A_{1}=int _{{y_{1}}}^{{y_{2}}}x(y)dy

同様に赤色の領域の面積は、

A_{2}=int _{{x_{1}}}^{{x_{2}}}y(x)dx

にそれぞれ対応する。

A₁ と A₂ を足し合わせた領域全体は、大きい方の長方形の面積 x₂y₂ から小さい方の長方形の面積 x₁y₁ を除いたものに等しい。

overbrace {int _{{y_{1}}}^{{y_{2}}}x(y)dy}^{{A_{1}}}+overbrace {int _{{x_{1}}}^{{x_{2}}}y(x)dx}^{{A_{2}}}={biggl .}x_{i}y_{i}{biggl |}_{{i=1}}^{{i=2}}

近傍で曲線が滑らかであれば、これは不定積分に一般化できる。

int xdy+int ydx=xy

変形して、

int xdy=xy-int ydx

つまり部分積分は、青色の領域の面積が領域全体の面積と赤色の領域の面積から導かれることに相当すると考える事が出来る。

またこのように可視化することにより、関数 f(x) の積分が分かっている時に逆関数 f⁻¹(x) の積分が部分積分で求められることが理解出来る。実際、関数 x(y) と y(x) は逆関数の関係にあり、積分 ∫x dy は ∫y dx が分かっていれば上記のようにして計算可能である。

部分積分を用いた積分計算

基本方針

部分積分は機械的に積分を求められる方法ではなく、むしろある程度の試行錯誤を要する場合がある。基本的な方針は、ある一つの関数が与えられた時に、それを部分積分公式に当てはめて変形した場合に出現する積分項がもとの積分よりも計算が容易になるように、その関数を2つの関数の積 u(x)v(x) に分割するというものである^[2]。下記の式は良い分割の方法を探すのに役立つであろう。

int uv,dx=uint v,dx-int left(u'int v,dxright),dx!

右辺で u は微分されて、逆に v は積分されていることに注意。即ち、微分された時に単純な形になる関数を u に、また積分された時に単純な形になる関数を v に選択するのが良いことが分かる。簡単な例として以下の積分を考えてみると、

int {frac {ln x}{x^{2}}},dx!

ln x を微分すると 1/x であることから、(ln x) を u の部分として選択し、また 1/x² の不定積分が −1/x であることから、(1/x²) を v の部分として選択する。すると公式により、

int {frac {ln x}{x^{2}}},dx=-{frac {ln x}{x}}-int {biggl (}{frac {1}{x}}{biggr )}{biggl (}-{frac {1}{x}}{biggr )},dx!

−1/x² の不定積分は 1/x となる。

別の例として、u' (∫v dx) の積が約分により簡単な形になるように u と v を選択することもある。例えば次の例では、

int sec ^{2}xln |sin x|dx

u(x) = ln |sin x| として、また v(x) = sec²x とすると、 u を微分すると合成関数の微分法により 1/ tan x となり、 v を積分すると tan x となる。したがって公式により、

int sec ^{2}xln |sin x|dx=tan xln |sin x|-int tan x{frac {1}{tan x}}dx

被積分関数は 1 となり、積分して x となる。積が簡単な形になる組み合わせを探すにはある程度の試行錯誤が必要なことがある。

その他いくつかのテクニックを以下の例で示す。

例

多項式と三角関数

I=int xcos(x),dx,

この積分を計算するには、

u=xRightarrow du=dx

dv=cos(x),dxRightarrow v=int cos(x),dx=sin x

とすると、

{begin{aligned}int xcos(x),dx&=int u,dv\&=uv-int v,du\&=xsin(x)-int sin(x),dx\&=xsin(x)+cos(x)+C,end{aligned}}!

ここで C は積分定数である。

下記の式における x のより高位の累乗では、

int x^{n}e^{x},dx,,int x^{n}sin(x),dx,,int x^{n}cos(x),dx,

部分積分を繰り返し使って同様に計算出来る。1回部分積分を適用する度に x の指数が1ずつ下がる。

指数関数と三角関数

部分積分の仕組みを考えるためによく使われる例として、

I=int e^{{x}}cos(x),dx

を計算する。ここでは、部分積分を2回行う。最初に

u=cos(x)Rightarrow du=-sin(x),dx

dv=e^{x},dxRightarrow v=int e^{x},dx=e^{x}

とすると、

int e^{{x}}cos(x),dx=e^{{x}}cos(x)+int e^{{x}}sin(x),dx.!

となる。残った積分項に対して再度部分積分を行う。

u=sin(x)Rightarrow du=cos(x),dx

dv=e^{x},dxRightarrow v=int e^{x},dx=e^{x}

として、

int e^{x}sin(x),dx=e^{x}sin(x)-int e^{x}cos(x),dx

これらを組み合わせて、

int e^{x}cos(x),dx=e^{x}cos(x)+e^{x}sin(x)-int e^{x}cos(x),dx

同じ積分項が等式の両辺に出現しているので

2int e^{{x}}cos(x),dx=e^{{x}}(sin(x)+cos(x))+C!

と変形出来て、

int e^{x}cos(x),dx={e^{x}(sin(x)+cos(x)) over 2}+C_{2}!

となる。C と C₂ （ = C/2）は積分定数である。

$int sec ^{3}x,dx$ のような積分も同様の方法を使って計算出来る。

関数に形式的に1を掛ける

更によく知られた例を挙げる。被積分関数を1とそれ自身の積と考えて部分積分を行う方法である。これは、被積分関数の導関数が分かっていて、更にその導関数に xを乗じた関数の積分が計算可能な場合に有効である。

最初の例として ∫ ln(x) dx を考える。これを以下のように1と自身の積として考えて、

I=int ln(x)cdot 1,dx.!

次のようにおくと、

u=ln(x)Rightarrow du={frac {dx}{x}}

dv=dxRightarrow v=x

以下のように計算出来る^[3]。

{begin{aligned}int ln(x),dx&=xln(x)-int {frac {x}{x}},dx\&=xln(x)-int 1,dx\&=xln(x)-x+Cend{aligned}}

次の例として arctan(x) の積分を考える。

I=int arctan(x),dx

これを以下のように書き換える。

int arctan(x)cdot 1,dx

次のようにおくと、

u=arctan(x)Rightarrow du={frac {dx}{1+x^{2}}}

dv=dxRightarrow v=x

以下のように計算出来る。

{begin{aligned}int arctan(x),dx&=xarctan(x)-int {frac {x}{1+x^{2}}},dx\[8pt]&=xarctan(x)-{1 over 2}ln left(1+x^{2}right)+Cend{aligned}}

ここでは逆関数の微分法を使用した。

部分積分の再帰的適用

部分積分を ∫ v du に対して再帰的に適用することにより、次の公式を得る。

int uv=uv_{1}-u'v_{2}+u''v_{3}-cdots +(-1)^{{n-1}} u^{{(n-1)}} v_{{n}}+(-1)^{n}int {u^{{(n)}}v_{{n}}}.!

ここで、u′ は u の1次導関数、u′′ は2次導関数であり、u⁽ⁿ⁾ は n 次導関数を表す。 $v_{{n}}$ は以下のように定義される。

v_{{n+1}}(x)=int !int cdots int v (dx)^{{n+1}}.!

上記の式は、uv₁ から開始して1つ目の項は順に微分して行き、2つ目の項は積分して行けば計算出来る（同時に符号を反転しながらであるが）。特に、u^(k + 1) があるk + 1 で 0 になる時には u^(k) の項までで終了するため、便利な公式である。

拡張

多因子への拡張

（積の微分法則の一般化も参照のこと）

3つの関数 u(x), v(x), w(x) の積の微分法則に対して積分を行うと、同様に以下のような結果を得る。

int _{a}^{b}uv,dw=uvw-int _{a}^{b}uw,dv-int _{a}^{b}vw,du

一般的に n個の関数の積の場合は、

{frac {d}{dx}}left(prod _{{i=1}}^{n}u_{i}(x)right)=sum _{{j=1}}^{n}prod _{{ineq j}}^{n}u_{i}(x){frac {du_{j}(x)}{dx}}

即ち、

{Bigl [}prod _{{i=1}}^{n}u_{i}(x){Bigr ]}_{a}^{b}=sum _{{j=1}}^{n}int _{a}^{b}prod _{{ineq j}}^{n}u_{i}(x),du_{j}(x)

ここで右辺の積は、同じ項で微分を取った関数を除く全ての関数の積を取るものとする。

スティルチェス積分

リーマン＝スティルチェス積分（またはスティルチェス積分）とは、スティルチェスによるリーマン積分の拡張である。

リーマン＝スティルチェス積分に関しても、被積分関数 f および積分関数 g に対して部分積分公式が

int _{a}^{b}f,dg=f(b)g(b)-f(a)g(a)-int _{a}^{b}g,df

なる形で成り立つ。

また、リーマン＝スティルチェス積分および（狭義の）ルベーグ積分の一般化であるルベーグ＝スティルチェス積分（またはルベーグ＝ラドン積分）に対しても、以下の形で部分積分公式が定式化される。

2つの有界変動関数 U, V に対して U または V のいずれかが連続、若しくは U および V がともに正常（"regular"）となるような点では、

int _{a}^{b}U,dV+int _{a}^{b}V,dU=U(b+)V(b+)-U(a-)V(a-),quad (a<b)

が成立する。

詳細はリーマン＝スティルチェス積分およびルベーグ＝スティルチェス積分を参照。

高次元への拡張

部分積分を高次元の場合に対して拡張することが出来る。

$Omega subset {mathbb {R}}^{n}$ を区分的に滑らかな境界 $Gamma$ を持つ有界な開集合とし、 ${mathbf {n}}$ を $Gamma$ への外向き単位面法線ベクトル、 $u$ と ${mathbf {v}}$ をそれぞれ $Omega$ の閉包において連続微分可能な関数およびベクトル値関数として定義する。

この時、 $nabla cdot (u{mathbf {v}})=nabla ucdot {mathbf {v}}+unabla cdot {mathbf {v}}$ に対してガウスの発散定理を適用すると、

int _{Omega }nabla cdot (u{mathbf {v}}),dOmega =int _{Omega }(nabla ucdot {mathbf {v}}+unabla cdot {mathbf {v}}),dOmega =int _{{Gamma }}(u{mathbf {v}})cdot {mathbf {n}},dGamma

であるから、以下の部分積分公式が得られる。

int _{{Omega }}nabla ucdot {mathbf {v}},dOmega =int _{{Gamma }}u({mathbf {v}}cdot {mathbf {n}}),dGamma -int _{Omega }u,nabla cdot {mathbf {v}},dOmega

また、 ${mathbf {v}}=nabla v$ ， $vin C^{2}({bar {Omega }})$ なる $v$ で表される時、

int _{{Omega }}nabla ucdot nabla v,dOmega =int _{{Gamma }}u,nabla vcdot {mathbf {n}},dGamma -int _{Omega }u,nabla ^{2}v,dOmega

となり、グリーンの第一恒等式（Green's first identity）が得られる。

同様に、任意の階数の微分可能テンソル場 $boldsymbol{F}$ と ${boldsymbol {G}}$ に対して、発散定理より以下の部分積分公式が導かれる。

int _{{Omega }}{boldsymbol {F}}otimes {boldsymbol {nabla }}{boldsymbol {G}},dOmega =int _{{Gamma }}{mathbf {n}}otimes ({boldsymbol {F}}otimes {boldsymbol {G}}),dGamma -int _{{Omega }}{boldsymbol {G}}otimes {boldsymbol {nabla }}{boldsymbol {F}},dOmega

ここで $otimes$ はテンソル積を表す。 $boldsymbol{F}$ が恒等テンソルに等しい時は、発散定理の式を得る。

int _{{Omega }}{boldsymbol {nabla }}{boldsymbol {G}},dOmega =int _{{Gamma }}{mathbf {n}}otimes {boldsymbol {G}},dGamma ,

添字表記で表すと以下のようになる。

int _{{Omega }}F_{{ijk....}},G_{{lmn...,p}},dOmega =int _{{Gamma }}n_{p},F_{{ijk...}},G_{{lmn...}},dGamma -int _{{Omega }}G_{{lmn...}},F_{{ijk...,p}},dOmega ,

ここで $boldsymbol{F}$ と ${boldsymbol {G}}$ がともに2階のテンソルであるような特殊な場合を考え、1つの添字の縮約を取ると、

int _{{Omega }}F_{{ij}},G_{{pj,p}},dOmega =int _{{Gamma }}n_{p},F_{{ij}},G_{{pj}},dGamma -int _{{Omega }}G_{{pj}},F_{{ij,p}},dOmega ,

即ち

int _{{Omega }}{boldsymbol {F}}cdot ({boldsymbol {nabla }}cdot {boldsymbol {G}}),dOmega =int _{{Gamma }}{mathbf {n}}cdot ({boldsymbol {G}}cdot {boldsymbol {F}}^{T}),dGamma -int _{{Omega }}({boldsymbol {nabla }}{boldsymbol {F}}):{boldsymbol {G}}^{T},dOmega ,

となる。

応用

部分積分の解析学におけるいくつかの応用例を挙げる。

特殊関数

ガンマ関数は広義積分を用いて定義される特殊関数である。部分積分を使うと、これが階乗の拡張になっていることが分かる。

{begin{aligned}Gamma (z)&=int _{0}^{infty }dlambda e^{{-lambda }}lambda ^{{z-1}}\&=-int _{0}^{infty }dleft(e^{{-lambda }}right)lambda ^{{z-1}}\&=-left[e^{{-lambda }}lambda ^{{z-1}}right]_{0}^{infty }+int _{0}^{infty }dleft(lambda ^{{z-1}}right)e^{{-lambda }}\&=0+int _{0}^{infty }dlambda left(z-1right)lambda ^{{z-2}}e^{{-lambda }}\&=(z-1)Gamma (z-1)\end{aligned}}

このようにして、以下のよく知られた等式が得られる。

Gamma (z)=(z-1)Gamma (z-1),

整数 z に対してこの公式を繰り返し適用することで階乗が得られる。

Gamma (z+1)=z!

調和解析

調和解析、特にフーリエ解析における部分積分の応用例を挙げる。よく知られた例として、関数のフーリエ変換の収束が、関数の滑らかさに依存していることを示すものである。

導関数のフーリエ変換

f が k 回連続微分可能であり、更に k 次までの導関数が無限大で 0 に収束する時、そのフーリエ変換は以下の関係式を満たす。

({mathcal {F}}f^{{(k)}})(xi )=(2pi ixi )^{k}{mathcal {F}}f(xi )

ここで f ^(k) は f の k 次導関数を表す。

導関数のフーリエ変換に対して部分積分を適用すると、以下の結果を得る。

{begin{aligned}({mathcal {F}}f')(xi )&=int _{{-infty }}^{infty }e^{{-2pi iyxi }}f'(y),dy\&=left[e^{{-2pi iyxi }}f(y)right]_{{-infty }}^{infty }-int _{{-infty }}^{infty }(-2pi ixi e^{{-2pi iyxi }})f(y),dy\&=2pi ixi int _{{-infty }}^{infty }e^{{-2pi iyxi }}f(y),dy\&=2pi ixi {mathcal {F}}f(xi ).end{aligned}}

この結果を繰り返し適用することによって、一般の k に対する結果が得られる。同様の手法は導関数のラプラス変換を求める際にも利用出来る。

フーリエ変換の収束

上記の結果により、f と f ^(k) が積分可能ならば、

vert {mathcal {F}}f(xi )vert leq {frac {I(f)}{1+vert 2pi xi vert ^{k}}}

, ただし

I(f):=int _{{-infty }}^{infty }{Bigl (}vert f(y)vert +vert f^{{(k)}}(y)vert {Bigr )}dy

.

言い換えると、f がこれらの条件を満足するならば、そのフーリエ変換は無限大で高々 1/|ξ|^k のオーダーで収束するということである。特に、k ≥ 2 ならばフーリエ変換は積分可能である。

証明にはフーリエ変換の定義から直ちに得られる次の関係を用いる。

vert {mathcal {F}}f(xi )vert leq int _{{-infty }}^{infty }vert f(y)vert ,dy

節の冒頭で述べたのと同様の考え方により、次の結果が得られる。

vert (2pi ixi )^{k}{mathcal {F}}f(xi )vert leq int _{{-infty }}^{infty }vert f^{{(k)}}(y)vert ,dy

この2つの不等式を片々加えて 1 + |2πξ|^k で除することにより上記の結果が得られる。

作用素論

作用素論における部分積分の利用例の1つとして、-Δ ( Δ はラプラス作用素) が L² において正値作用素であるということが挙げられる（L^p 空間を参照）。

f が滑らかでコンパクトな台を持つならば、部分積分を用いることにより以下の結果を得る。

{begin{aligned}langle -Delta f,frangle _{{L^{2}}}&=-int _{{-infty }}^{infty }f''(x)overline {f(x)},dx\&=-left[f'(x)overline {f(x)}right]_{{-infty }}^{infty }+int _{{-infty }}^{infty }f'(x)overline {f'(x)},dx\&=int _{{-infty }}^{infty }vert f'(x)vert ^{2},dxgeq 0.end{aligned}}

その他の応用

弱微分、およびシュワルツの分布関数の定式化

スツルム＝リウヴィル理論における境界値問題

変分法によるオイラー＝ラグランジュ方程式の導出

脚注

^ Konrad Königsberger: Analysis 1. Springer-Verlag, Berlin u. a., 2004, ISBN 3-540-41282-4, 202.

^ Yvonne Stry: Mathematik kompakt: für Ingenieure und Informatiker. 3., bearb. Auflage, Springer-Verlag, 2010, ISBN 3642111912, 314.

^ Otto Forster: Analysis Band 1: Differential- und Integralrechnung einer Veränderlichen. Vieweg-Verlag, 8. Aufl. 2006, ISBN 3-528-67224-2, 210.

参考文献

Evans, Lawrence C. (1998). Partial Differential Equations. Providence, Rhode Island: American Mathematical Society. ISBN 0-8218-0772-2.

Arbogast, Todd; Jerry Bona (2005) (Pdu). Methods of Applied Mathematics. http://www.math.utexas.edu/users/arbogast/appMath08.pdu.

外部リンク

世界大百科事典第2版『部分積分法』 - コトバンク

Weisstein, Eric W. "Integration by Parts". MathWorld（英語）..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}

[1] Konrad Königsberger: Analysis 1. Springer-Verlag, Berlin u. a., 2004, ISBN 3-540-41282-4, 202.

[2] Yvonne Stry: Mathematik kompakt: für Ingenieure und Informatiker. 3., bearb. Auflage, Springer-Verlag, 2010, ISBN 3642111912, 314.

[3] Otto Forster: Analysis Band 1: Differential- und Integralrechnung einer Veränderlichen. Vieweg-Verlag, 8. Aufl. 2006, ISBN 3-528-67224-2, 210.

搜尋此網誌