部分積分(ぶぶんせきぶん、英: Integration by parts)とは、微分積分学・解析学における関数の積の積分法に関する定理であり、積の積分をより計算が容易な積分に変形するために頻繁に使われる手法である。
具体的には、2つの微分可能な関数
、
、区間
に対して成り立つ以下のような関係式を指す[1]。
![{\displaystyle \int _{a}^{b}u(x)v'(x)\,dx=\left[u(x)v(x)\right]_{a}^{b}-\int _{a}^{b}u'(x)v(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0552c23e57243b679cb350a672075c07546df114)
不定積分の場合であれば、同様に以下の関係式が成り立つ。
![{\displaystyle \int u(x)v'(x)\,dx=u(x)v(x)-\int u'(x)v(x)\,dx\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a57ea25d8d0f6f0759731255cb29c70623b289b)
またはより簡潔に
![{\displaystyle \int u\,dv=uv-\int v\,du.\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05629dd868fb6a2dde96e4895d16a465a0732d49)
と表記される。ここで
と
は
の関数
、
の微分、即ち
![{\displaystyle du=u'(x)dx,\quad dv=v'(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d77a3b465855ab7ab112221321b8e5c0042a0050)
である。
上記の定理は以下のように導出される。
と
がともに微分可能関数であるとき、積の微分法則(ライプニッツ則)より
![{\displaystyle {\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)\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b946517d8f0ee7de23c42dc8494ff89485746ca1)
両辺を区間
で
に関して積分して
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/194e830fe93b1cbec765d7388fdf830f7c15f725)
ここで微分積分学の基本定理より、
![{\displaystyle \int _{a}^{b}{\frac {d}{dx}}\left(u(x)v(x)\right)\,dx=\left[u(x)v(x)\right]_{a}^{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00d01cc18e28787496508bd2e65643d617a53f72)
であるから、
![{\displaystyle \left[u(x)v(x)\right]_{a}^{b}=\int _{a}^{b}u'(x)v(x)\,dx+\int _{a}^{b}u(x)v'(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4313a39d6631e8687ee05f2a3c82da09859e069)
即ち以下の部分積分の公式を得る。
![{\displaystyle \int _{a}^{b}u(x)v'(x)\,dx=\left[u(x)v(x)\right]_{a}^{b}-\int _{a}^{b}u'(x)v(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0552c23e57243b679cb350a672075c07546df114)
不定積分の場合も同様に導出出来る。
ここで左辺の
は
(
の 導関数) を含んでいるから、まず
(
の 原始関数)を見つける必要があり、次いで部分積分の公式を適用し、積分
を計算する。
(具体的な計算例は後述)
部分積分の定理のグラフによる解釈。図示された曲線は媒介変数 t の関数である。
パラメーター t によって
で表された曲線を定義する。この曲線が局所的に全単射であると仮定すると、
![{\displaystyle x(y)=f(g^{-1}(y))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26c0ef998902d2fd0edc3c6382fd1a26be477d2e)
![{\displaystyle y(x)=g(f^{-1}(x))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5256e027df252136a4d04f20fb1bfe81282e4860)
青色の領域の面積は、
![{\displaystyle A_{1}=\int _{y_{1}}^{y_{2}}x(y)dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83c06d2d17591a7876088c1472521ab02176eebd)
同様に赤色の領域の面積は、
![{\displaystyle A_{2}=\int _{x_{1}}^{x_{2}}y(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0570d770bdef6dcc5be0d9399e9607abe938712d)
にそれぞれ対応する。
と
を足し合わせた領域全体は、大きい方の長方形の面積
から小さい方の長方形の面積
を除いたものに等しい。
![{\displaystyle \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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/521a165a52a72fc8c577d900547f8598f9205b38)
近傍で曲線が滑らかであれば、これは不定積分に一般化できる。
![{\displaystyle \int xdy+\int ydx=xy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac9d7ea5e1a88ae4c0bee0eccf1c823ddd06b980)
変形して、
![{\displaystyle \int xdy=xy-\int ydx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f03f06b08d9b6f9316f5486c03ca786fadd4d7bb)
つまり部分積分は、青色の領域の面積が領域全体の面積と赤色の領域の面積から導かれることに相当すると考える事が出来る。
またこのように可視化することにより、関数
の積分が分かっている時に逆関数
の積分が部分積分で求められることが理解出来る。実際、関数
と
は逆関数の関係にあり、積分
は
が分かっていれば上記のようにして計算可能である。
部分積分は機械的に積分を求められる方法ではなく、むしろある程度の試行錯誤を要する場合がある。基本的な方針は、ある一つの関数が与えられた時に、それを部分積分公式に当てはめて変形した場合に出現する積分項がもとの積分よりも計算が容易になるように、その関数を2つの関数の積
に分割するというものである[2]。下記の式は良い分割の方法を探すのに役立つであろう。
![{\displaystyle \int uv\,dx=u\int v\,dx-\int \left(u'\int v\,dx\right)\,dx\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad6252e072cb441b6d21e5d0f50d849a36b773c5)
右辺で u は微分されて、逆に v は積分されていることに注意。即ち、微分された時に単純な形になる関数を
に、また積分された時に単純な形になる関数を
に選択するのが良いことが分かる。簡単な例として以下の積分を考えてみると、
![{\displaystyle \int {\frac {\ln x}{x^{2}}}\,dx\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8070f2e2a2d6d5750bfa01f948dc62fd7f3daa3)
を微分すると
であることから、
を
の部分として選択し、また
の不定積分が
であることから、
を
の部分として選択する。すると公式により、
![{\displaystyle \int {\frac {\ln x}{x^{2}}}\,dx=-\int \ln x\,d\left({\frac {1}{x}}\right)=-{\frac {\ln x}{x}}+\int {\frac {1}{x}}\cdot {\frac {1}{x}}\,dx=-{\frac {\ln x}{x}}-{\frac {1}{x}}+C\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45942addeda5bf5ae79fefd81ddcc0dd12e24b81)
の不定積分は
となる。
別の例として、
の積が約分により簡単な形になるように
と
を選択することもある。例えば次の例では、
![{\displaystyle \int \sec ^{2}x\ln |\sin x|dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a9062991f7a09f58406572389ade3be870cc57c)
として、また
とすると、
を微分すると合成関数の微分法により
となり、
を積分すると
となる。したがって公式により、
![{\displaystyle \int \sec ^{2}x\ln |\sin x|dx=\tan x\ln |\sin x|-\int \tan x{\frac {1}{\tan x}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3a4b9f3f907511e2eccb24dc4f8388fad0d2629)
被積分関数は 1 となり、積分して
となる。積が簡単な形になる組み合わせを探すにはある程度の試行錯誤が必要なことがある。
その他いくつかのテクニックを以下の例で示す。
- 多項式と三角関数
![{\displaystyle I=\int x\cos x\,dx\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b28f90a27aa65baa2285b2d14e0c259d1583af1a)
この積分を計算するには、
![{\displaystyle u=x\Rightarrow du=dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69fbb359bda4be2993d92c59155c537413c3b5dd)
![{\displaystyle dv=\cos x\,dx\Rightarrow v=\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2df60094f8d420cec3e6a1fba45ab8b6aa9a792f)
とすると、
![{\displaystyle {\begin{aligned}\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{aligned}}\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17ba8ce291cf39518c750382eb6e6b4adbd29858)
ここで
は積分定数である。
下記の式における
のより高位の累乗では、
![{\displaystyle \int x^{n}e^{x}\,dx,\,\int x^{n}\sin x\,dx,\,\int x^{n}\cos x\,dx\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/508c9a02b1b20cfca067305f7212a1254c3b6643)
部分積分を繰り返し使って同様に計算出来る。1回部分積分を適用する度に
の指数が1ずつ下がる。
- 指数関数と三角関数
部分積分の仕組みを考えるためによく使われる例として、
![{\displaystyle I=\int e^{x}\cos x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc312798dd4bbca2205ef610ce98234a7e8e1f0d)
を計算する。ここでは、部分積分を2回行う。最初に
![{\displaystyle u=\cos x\Rightarrow du=-\sin x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d973c1e1d1074f0f2aa1cad182730afe9982c399)
![{\displaystyle dv=e^{x}\,dx\Rightarrow v=e^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cedf10e4882271b85df51d5f553211c109d985ae)
とすると、
![{\displaystyle \int e^{x}\cos x\,dx=e^{x}\cos x+\int e^{x}\sin x\,dx.\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/830adea040dcab0de620ca1f9906e2768a022467)
となる。残った積分項に対して再度部分積分を行う。
![{\displaystyle u=\sin x\Rightarrow du=\cos x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4117b47f750b02f350c4ab635844de27dc2179e1)
![{\displaystyle dv=e^{x}\,dx\Rightarrow v=e^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cedf10e4882271b85df51d5f553211c109d985ae)
として、
![{\displaystyle \int e^{x}\sin x\,dx=e^{x}\sin x-\int e^{x}\cos x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3da4818fa31dae0e2d0a7441898b0ecdb962792)
これらを組み合わせて、
![{\displaystyle \int e^{x}\cos x\,dx=e^{x}\cos x+e^{x}\sin x-\int e^{x}\cos x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb8e35ab1e4e96afa7a5bfc4d90a65ed40ff7024)
同じ積分項が等式の両辺に出現しているので
![{\displaystyle 2\int e^{x}\cos x\,dx=e^{x}(\sin x+\cos x)+C\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9b02503e814b90318678d099f37022d6faf6087)
と変形出来て、
![{\displaystyle \int e^{x}\cos x\,dx=\ {\frac {1}{2}}e^{x}(\sin x+\cos x)+C'\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a2ce9fafbf8710114e25c0458153b85f7b52887)
となる。ただし、
と
は積分定数である。
のような積分も同様の方法を使って計算出来る。
- 関数に形式的に1を掛ける
更によく知られた例を挙げる。被積分関数を1とそれ自身の積と考えて部分積分を行う方法である。これは、被積分関数の導関数が分かっていて、更にその導関数に xを乗じた関数の積分が計算可能な場合に有効である。
最初の例として
を考える。これを以下のように1と自身の積として考えて、
![{\displaystyle I=\int \ln x\cdot 1\,dx.\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9034fc177c5081b3b804d865682d57e32e72f119)
次のようにおくと、
![{\displaystyle u=\ln x\Rightarrow du={\frac {dx}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9c39102e5ba5337bc67c2df0e1c53eca8197f92)
![{\displaystyle dv=dx\Rightarrow v=x\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4394cd429438c97a8a83ef113f0444fdc39bb040)
以下のように計算出来る[3]。
![{\displaystyle {\begin{aligned}\int \ln x\,dx&=x\ln x-\int {\frac {x}{x}}\,dx\\&=x\ln x-\int 1\,dx\\&=x\ln x-x+C\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/adeb2b2f7fe0e299c2094658ae4b3f45772a4f3a)
次の例として
の積分を考える。
![{\displaystyle I=\int \arctan x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3114b909771b00fc94090a0bb2a4aafdf198838d)
これを以下のように書き換える。
![{\displaystyle \int \arctan(x)\cdot 1\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8d73f86cbde0c5487c6c07964ecd045de05ca1d)
次のようにおくと、
![{\displaystyle {\begin{aligned}u=\arctan x&\Rightarrow \tan u=x\\&\Rightarrow \sec ^{2}u\,du=dx\\&\Rightarrow (1+\tan ^{2}u)\,du=dx\\&\Rightarrow du={\frac {dx}{1+x^{2}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42efd21dda5187938b6cd4b33a08d90c40c1280f)
![{\displaystyle dv=dx\Rightarrow v=x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1a87648e21c94fcadec9e9e1b30a3524f049ba2)
以下のように計算出来る。
![{\displaystyle {\begin{aligned}\int \arctan x\,dx&=x\arctan x-\int {\frac {x}{1+x^{2}}}\,dx\\&=x\arctan x-\left.{\frac {1}{2}}\right.\int {\frac {2x}{1+x^{2}}}\,dx\\&=x\arctan x-{\frac {1}{2}}\int {\frac {d(1+x^{2})}{1+x^{2}}}\\&=x\arctan x-{\frac {1}{2}}\ln \left(1+x^{2}\right)+C\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdf67770d8fee064335bac9634f7983fc3231999)
ここでは逆関数の微分法を使用した。
部分積分を
に対して再帰的に適用することにより、次の公式を得る。
![{\displaystyle \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}}.\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/155b19e0cabb83fd9e44a21916d4a7ded57ac63e)
ここで、
は
の1次導関数、
は2次導関数であり、
は n 次導関数を表す。
は以下のように定義される。
![{\displaystyle v_{n+1}(x)=\int \!\int \ \cdots \int v\ (dx)^{n+1}.\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6712d3f805009c35538724e5611e2d6e43f28c17)
上記の式は、
から開始して1つ目の項は順に微分して行き、2つ目の項は積分して行けば計算出来る(同時に符号を反転しながらであるが)。特に、
がある
で 0 になる時には
の項までで終了するため、便利な公式である。
(積の微分法則の一般化も参照のこと)
3つの関数
、
、
の積の微分法則に対して積分を行うと、同様に以下のような結果を得る。
![{\displaystyle \int _{a}^{b}uv\,dw=uvw-\int _{a}^{b}uw\,dv-\int _{a}^{b}vw\,du}](https://wikimedia.org/api/rest_v1/media/math/render/svg/762d21617353ed88c3f8b3c1ca556009dae638de)
一般的に
個の関数の積の場合は、
![{\displaystyle {\frac {d}{dx}}\left(\prod _{i=1}^{n}u_{i}(x)\right)=\sum _{j=1}^{n}\prod _{i\neq j}^{n}u_{i}(x){\frac {du_{j}(x)}{dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ba03ff71b59e2357d95cf784f66bad474ca7167)
即ち、
![{\displaystyle {\Bigl [}\prod _{i=1}^{n}u_{i}(x){\Bigr ]}_{a}^{b}=\sum _{j=1}^{n}\int _{a}^{b}\prod _{i\neq j}^{n}u_{i}(x)\,du_{j}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85d6b9998e2b7037e778fdec0526655bba1387f4)
ここで右辺の積は、同じ項で微分を取った関数を除く全ての関数の積を取るものとする。
リーマン=スティルチェス積分(またはスティルチェス積分)とは、トーマス・スティルチェスによるリーマン積分の拡張である。
リーマン=スティルチェス積分に関しても、被積分関数
および積分関数
に対して部分積分公式が
![{\displaystyle \int _{a}^{b}f\,dg=f(b)g(b)-f(a)g(a)-\int _{a}^{b}g\,df}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b3bde0a5a4b5dda3b14bb83b874b525317211d1)
なる形で成り立つ。
また、リーマン=スティルチェス積分および(狭義の)ルベーグ積分の一般化であるルベーグ=スティルチェス積分(またはルベーグ=ラドン積分)に対しても、以下の形で部分積分公式が定式化される。
2つの有界変動関数 U, V に対して U または V のいずれかが連続、若しくは U および V がともに正常(英: regular)となるような点では、
![{\displaystyle \int _{a}^{b}U\,dV+\int _{a}^{b}V\,dU=U(b+)V(b+)-U(a-)V(a-),\quad (a<b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f039ddeb9c1144a84f05672322717101ebb7642e)
が成立する。
詳細はリーマン=スティルチェス積分およびルベーグ=スティルチェス積分を参照。
部分積分を高次元の場合に対して拡張することが出来る。
を区分的に滑らかな境界
を持つ有界な開集合とし、
を
への外向き単位面法線ベクトル、
と
をそれぞれ
の閉包において滑らかな関数およびベクトル値関数として定義する。
この時、
に対してガウスの発散定理を適用すると、
![{\displaystyle \int _{\Omega }\nabla \cdot (u\mathbf {v} )\,d\Omega =\int _{\Omega }(\nabla u\cdot \mathbf {v} +u\nabla \cdot \mathbf {v} )\,d\Omega =\int _{\Gamma }(u\mathbf {v} )\cdot \mathbf {n} \,d\Gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/695a34ff1846d0940882c8aec5706023af804343)
であるから、以下の部分積分公式が得られる。
![{\displaystyle \int _{\Omega }\nabla u\cdot \mathbf {v} \,d\Omega =\int _{\Gamma }u(\mathbf {v} \cdot \mathbf {n} )\,d\Gamma -\int _{\Omega }u\,\nabla \cdot \mathbf {v} \,d\Omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a99adcc0ef50dc79c5bdaa90113c02e8b00840e1)
また、
,
なる
で表される時、
![{\displaystyle \int _{\Omega }\nabla u\cdot \nabla v\,d\Omega =\int _{\Gamma }u\,\nabla v\cdot \mathbf {n} \,d\Gamma -\int _{\Omega }u\,\nabla ^{2}v\,d\Omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a96cfa4050f1e23d180e952995c9a5b524323d9)
となり、グリーンの第一恒等式が得られる。
同様に、任意の階数の微分可能テンソル場
と
に対して、発散定理より以下の部分積分公式が導かれる。
![{\displaystyle \int _{\Omega }{\boldsymbol {F}}\otimes {\boldsymbol {\nabla }}{\boldsymbol {G}}\,d\Omega =\int _{\Gamma }\mathbf {n} \otimes ({\boldsymbol {F}}\otimes {\boldsymbol {G}})\,d\Gamma -\int _{\Omega }{\boldsymbol {G}}\otimes {\boldsymbol {\nabla }}{\boldsymbol {F}}\,d\Omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ae34f9a97867a730ea8ce5bc42634ff2d85f49e)
ここで
はテンソル積を表す。
が恒等テンソルに等しい時は、発散定理の式を得る。
![{\displaystyle \int _{\Omega }{\boldsymbol {\nabla }}{\boldsymbol {G}}\,d\Omega =\int _{\Gamma }\mathbf {n} \otimes {\boldsymbol {G}}\,d\Gamma \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/576bce35b20f91e521f86d64df5e5931d50e64de)
添字表記で表すと以下のようになる。
![{\displaystyle \int _{\Omega }F_{ijk....}\,G_{lmn...,p}\,d\Omega =\int _{\Gamma }n_{p}\,F_{ijk...}\,G_{lmn...}\,d\Gamma -\int _{\Omega }G_{lmn...}\,F_{ijk...,p}\,d\Omega \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10758d754e2e34f407b1f0e44de58bb32f5ef910)
ここで
と
がともに2階のテンソルであるような特殊な場合を考え、1つの添字の縮約を取ると、
![{\displaystyle \int _{\Omega }F_{ij}\,G_{pj,p}\,d\Omega =\int _{\Gamma }n_{p}\,F_{ij}\,G_{pj}\,d\Gamma -\int _{\Omega }G_{pj}\,F_{ij,p}\,d\Omega \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/506d86970907cf149455f0cd844d49146d4f82a8)
即ち
![{\displaystyle \int _{\Omega }{\boldsymbol {F}}\cdot ({\boldsymbol {\nabla }}\cdot {\boldsymbol {G}})\,d\Omega =\int _{\Gamma }\mathbf {n} \cdot ({\boldsymbol {G}}\cdot {\boldsymbol {F}}^{T})\,d\Gamma -\int _{\Omega }({\boldsymbol {\nabla }}{\boldsymbol {F}}):{\boldsymbol {G}}^{T}\,d\Omega \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6180eb1f1ed741fecf506a0f937869f64e0a22e3)
となる。
部分積分の解析学におけるいくつかの応用例を挙げる。
ガンマ関数は広義積分を用いて定義される特殊関数である。部分積分を使うと、これが階乗の拡張になっていることが分かる[4]。
![{\displaystyle {\begin{aligned}\Gamma (z)&:=\int _{0}^{\infty }d\lambda e^{-\lambda }\lambda ^{z-1}\\&=-\int _{0}^{\infty }d\left(e^{-\lambda }\right)\lambda ^{z-1}\\&=-\left[e^{-\lambda }\lambda ^{z-1}\right]_{0}^{\infty }+\int _{0}^{\infty }d\left(\lambda ^{z-1}\right)e^{-\lambda }\\&=0+\int _{0}^{\infty }d\lambda \left(z-1\right)\lambda ^{z-2}e^{-\lambda }\\&=(z-1)\Gamma (z-1)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1086166720066f986483467d707bd4c05a1eae96)
このようにして、以下のよく知られた等式が得られる。
![{\displaystyle \Gamma (z)=(z-1)\Gamma (z-1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68d79e65845a8f3b0bc765e033c568449768ea9d)
に対してこの公式を繰り返し適用することで階乗が得られる[4]。
![{\displaystyle \Gamma (n+1)=n!,\quad n\in \mathbb {N} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f5ac3532385cb4a88b1cfb498f3b133fb1f970c)
ガンマ関数はワイエルシュトラスの乗積表示:
![{\displaystyle {\frac {1}{\Gamma (z)}}:=ze^{{\gamma }z}\prod _{m=1}^{\infty }\left(1+{\frac {z}{m}}\right)e^{-z/m},\quad \gamma :=\lim _{n\to \infty }\left(\sum _{k=1}^{n}{\frac {1}{k}}-\log {n}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a53e441085b407b122780707a91eab5ca6c4e504)
を用いて定義することもできる(
はオイラーの定数である)[4]。
無限乗積による定義と広義積分による定義が同値であることは部分積分を繰り返すことで示される[4]。
調和解析、特にフーリエ変換における部分積分の応用例を挙げる。よく知られた例として、関数のフーリエ変換の収束が、関数の滑らかさに依存していることを示すものである。
- 導関数のフーリエ変換
f が k 回連続微分可能であり、更に k 次までの導関数が無限大で 0 に収束する時、そのフーリエ変換は以下の関係式を満たす。
![{\displaystyle ({\mathcal {F}}f^{(k)})(\xi )=(2\pi i\xi )^{k}{\mathcal {F}}f(\xi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e7dfd3b15bc37c518928df7ea96a22336a3c650)
ここで
は
の
次導関数を表す。
導関数のフーリエ変換に対して部分積分を適用すると、以下の結果を得る。
![{\displaystyle {\begin{aligned}({\mathcal {F}}f')(\xi )&=\int _{-\infty }^{\infty }e^{-2\pi iy\xi }f'(y)\,dy\\&=\left[e^{-2\pi iy\xi }f(y)\right]_{-\infty }^{\infty }-\int _{-\infty }^{\infty }(-2\pi i\xi e^{-2\pi iy\xi })f(y)\,dy\\&=2\pi i\xi \int _{-\infty }^{\infty }e^{-2\pi iy\xi }f(y)\,dy\\&=2\pi i\xi {\mathcal {F}}f(\xi ).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f0127883b4ccb7c4dfe1006f856417e0df79d40)
この結果を繰り返し適用することによって、一般の k に対する結果が得られる。同様の手法は導関数のラプラス変換を求める際にも利用出来る。
- フーリエ変換の収束
上記の結果により、
と
が積分可能ならば、
, ただし
.
言い換えると、
がこれらの条件を満足するならば、そのフーリエ変換は無限大で高々
のオーダーで収束するということである。特に、
ならばフーリエ変換は積分可能である。
証明にはフーリエ変換の定義から直ちに得られる次の関係を用いる。
![{\displaystyle \vert {\mathcal {F}}f(\xi )\vert \leq \int _{-\infty }^{\infty }\vert f(y)\vert \,dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/730c311f7e2cf5a417dccd008b6172d9afeb630f)
節の冒頭で述べたのと同様の考え方により、次の結果が得られる。
![{\displaystyle \vert (2\pi i\xi )^{k}{\mathcal {F}}f(\xi )\vert \leq \int _{-\infty }^{\infty }\vert f^{(k)}(y)\vert \,dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62cb1d29062b34054f3e8ca957ecd4cfe2b92eec)
この2つの不等式を片々加えて
で除することにより上記の結果が得られる。
作用素論における部分積分の利用例の1つとして、
(
は ラプラス作用素) が
において正値作用素であるということが挙げられる(Lp空間を参照)。
f が滑らかでコンパクトな台を持つならば、部分積分を用いることにより以下の結果を得る。
![{\displaystyle {\begin{aligned}\langle -\Delta f,f\rangle _{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}\,dx\geq 0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be2f16d20e8aee1e1685201be627cee59643463e)
- ^ 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.
- ^ a b c d 時弘哲治, 伊理正夫, 杉原厚吉, 速水謙, 今井浩『工学における特殊関数』共立出版〈工系数学講座〉、2006年。ISBN 4320016122。国立国会図書館書誌ID:000008218132。https://id.ndl.go.jp/bib/000008218132。
- ^ 常微分方程式と解析力学 (1998)、木村俊房・飯高茂・西川青季・岡本和夫・楠岡成雄 (編集委員)・伊藤秀一著、共立講座 21世紀の数学、ISBN 978-4-320-01563-0、共立出版。
- ^ Ablowitz, M. J., & Fokas, A. S. (2003). Complex variables: introduction and applications. en:Cambridge University Press.
- ^ 平山弘「部分積分法による半無限区間振動型積分の数値計算法」『日本応用数理学会論文誌』第7巻第2号、日本応用数理学会、1997年、131-138頁、CRID 1390001205768016384、doi:10.11540/jsiamt.7.2_131、ISSN 09172246。
- ^ 平山弘, 館野裕文, 平野照比古「部分積分法による数値積分法」『数理解析研究所講究録』第1395巻、京都大学数理解析研究所、2004年10月、190-195頁、CRID 1050001202108546176、hdl:2433/25947、ISSN 1880-2818。