漸化式による積分
漸化式による積分(ぜんかしきによるせきぶん、Integration by reduction formulae)は、漸化式による積分の計算方法である。この方法は、整数のパラメータ(通常は初等関数のべき乗)又は超越関数と任意の次数の多項式の積を数式が含み、直接積分できない場合に使われる。
漸化式の見つけ方
漸化式は、置換積分、部分積分、三角置換(英語版)による積分、部分分数分解による積分などの一般的な積分方法のいずれかを使用して導出できる。主なアイデアは、関数(Inで表される)の整数パラメータ(例えばべき乗)を、例えばIn-1やIn-2で表されるより低い値のパラメータ(例えばより低いべき乗)を含む積分で表すことである。これにより、漸化式が導出される。漸化式において、積分
![{\displaystyle I_{n}=\int f(x,n)\,{\text{d}}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/581ef8838eeb5117b3c98083e8ae95ecc4fa3f92)
は以下の式
![{\displaystyle I_{k}=\int f(x,k)\,{\text{d}}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a51a649fbccf19e4871dedb18bec048510e8b2e6)
で表される。
ここで
![{\displaystyle k<n.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3683c640b701bba9563f0497ddae90153a393d98)
である。
積分の計算方法
積分を計算するには、漸化式を使用してnの積分を(n – 1) や (n – 2) の積分で表す。より低い指数の積分は、より高い指数の積分を計算するために使用できる。これを積分される関数が計算できる(通常は指数が0又は1)ところまで繰り返し、逆代入することでInを計算する[1]。
例
計算手順の例を示す。
余弦積分
以下の積分は、漸化式により計算できる。
![{\displaystyle \int \cos ^{n}x\,{\text{d}}x,\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4131c1793f9a601c5b94f282a159aa1025506dfd)
n = 1, 2 ... 30のときの
初めに、Inを以下のように定義する。
![{\displaystyle I_{n}=\int \cos ^{n}x\,{\text{d}}x.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e72b9aa8fdf4894c94cb81e62d0e3c19ef89996)
Inは以下のように書き換えられる。
![{\displaystyle I_{n}=\int \cos ^{n-1}x\cos x\,{\text{d}}x,\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1565657ccf0476b768f25b483b269d8fe6c2e274)
以下のように設定し、置換積分を行う。
![{\displaystyle \cos x\,{\text{d}}x={\text{d}}(\sin x),\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36942dd054cb42f98ce253c7071051e8c8f6bc7f)
![{\displaystyle I_{n}=\int \cos ^{n-1}x\,{\text{d}}(\sin x).\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c96b3e03065c4d0a7c95f8f9ebfce14af3ee54ab)
計算結果は以下のようになる。
![{\displaystyle {\begin{aligned}\int \cos ^{n}x\,{\text{d}}x&=\cos ^{n-1}x\sin x-\int \sin x\,{\text{d}}(\cos ^{n-1}x)\\&=\cos ^{n-1}x\sin x+(n-1)\int \sin x\cos ^{n-2}x\sin x\,{\text{d}}x\\&=\cos ^{n-1}x\sin x+(n-1)\int \cos ^{n-2}x\sin ^{2}x\,{\text{d}}x\\&=\cos ^{n-1}x\sin x+(n-1)\int \cos ^{n-2}x(1-\cos ^{2}x)\,{\text{d}}x\\&=\cos ^{n-1}x\sin x+(n-1)\int \cos ^{n-2}x\,{\text{d}}x-(n-1)\int \cos ^{n}x\,{\text{d}}x\\&=\cos ^{n-1}x\sin x+(n-1)I_{n-2}-(n-1)I_{n},\end{aligned}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a8c77e15e99cbcb9abb675e1b8186c3a05efd4d)
これによりInは以下の漸化式で表される。
![{\displaystyle I_{n}\ +(n-1)I_{n}\ =\cos ^{n-1}x\sin x\ +\ (n-1)I_{n-2},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d87c1aeb589706d2b93599932318ce179c675183)
![{\displaystyle nI_{n}\ =\cos ^{n-1}(x)\sin x\ +(n-1)I_{n-2},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3291b488e7d14bfa7d8d3be4927630538909399)
![{\displaystyle I_{n}\ ={\frac {1}{n}}\cos ^{n-1}x\sin x\ +{\frac {n-1}{n}}I_{n-2},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d403da7a623f519ca293792c3fd85023955ea3f)
これにより漸化式は
![{\displaystyle \int \cos ^{n}x\,{\text{d}}x\ ={\frac {1}{n}}\cos ^{n-1}x\sin x+{\frac {n-1}{n}}\int \cos ^{n-2}x\,{\text{d}}x.\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d27b5864d4615088cb1bf630f3a179556c1e1c6)
となる。n = 5の場合は以下のように計算できる。
![{\displaystyle I_{5}=\int \cos ^{5}x\,{\text{d}}x.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae6f5db880fe7f589e3697fa191d4934ff8c611a)
低い次数のInを計算する。
![{\displaystyle n=5,\quad I_{5}={\tfrac {1}{5}}\cos ^{4}x\sin x+{\tfrac {4}{5}}I_{3},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc1ca9f64b1cbbc58f45aa5af5d2abb34f1989fa)
![{\displaystyle n=3,\quad I_{3}={\tfrac {1}{3}}\cos ^{2}x\sin x+{\tfrac {2}{3}}I_{1},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60eae9e40e552bfbc9eed5cee758859ba6d1ce44)
逆代入すると、
![{\displaystyle \because I_{1}\ =\int \cos x\,{\text{d}}x=\sin x+C_{1},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f99b2105e367a51ce78634e3b175d4c814d623f7)
![{\displaystyle \therefore I_{3}\ ={\tfrac {1}{3}}\cos ^{2}x\sin x+{\tfrac {2}{3}}\sin x+C_{2},\quad C_{2}\ ={\tfrac {2}{3}}C_{1},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1376483b430a912bd6e8744551a12fb5933276e)
となり、最終的にI5は以下のように計算される。
![{\displaystyle I_{5}\ ={\frac {1}{5}}\cos ^{4}x\sin x+{\frac {4}{5}}\left[{\frac {1}{3}}\cos ^{2}x\sin x+{\frac {2}{3}}\sin x\right]+C,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7803bf2d86071f40537d4590e76ab498354b7c7f)
Cは定数である。
指数積分
![{\displaystyle \int x^{n}e^{ax}\,{\text{d}}x.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c927073afb5cacc4ce5cf9d5cced8d8aa9778a25)
初めに、Inを以下のように定義する。
![{\displaystyle I_{n}=\int x^{n}e^{ax}\,{\text{d}}x.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9de2a642a55a15414a534833bb185c76cd9c0af7)
以下のように設定し、置換積分を行う。
![{\displaystyle x^{n}\,{\text{d}}x={\frac {{\text{d}}(x^{n+1})}{n+1}},\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f53ae6c394f3cec464aca12260926afe46003fef)
![{\displaystyle I_{n}={\frac {1}{n+1}}\int e^{ax}\,{\text{d}}(x^{n+1}),\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e86e9e254419a8a123abc42b2e0e3fa8b4b6ad17)
計算結果は以下のようになる。
![{\displaystyle {\begin{aligned}\int e^{ax}\,{\text{d}}(x^{n+1})&=x^{n+1}e^{ax}-\int x^{n+1}\,{\text{d}}(e^{ax})\\&=x^{n+1}e^{ax}-a\int x^{n+1}e^{ax}\,{\text{d}}x,\end{aligned}}\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28f33310f1747314450ae53a8ee0cb6ae75cd495)
![{\displaystyle (n+1)I_{n}=x^{n+1}e^{ax}-aI_{n+1},\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/caa8cf0aa89e41e2cf39c5cebc3a0a665fd84fd5)
指数を1つずらし、n + 1 → n, n → n – 1とすると、
![{\displaystyle nI_{n-1}=x^{n}e^{ax}-aI_{n},\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a10a6e25425170ed8c03f1d0ac2ee355cc26e56)
となる。Inを解くと
![{\displaystyle I_{n}={\frac {1}{a}}\left(x^{n}e^{ax}-nI_{n-1}\right),\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cdf435fb10c00042406939b4319bb3dd1b4b441)
となる。漸化式は
![{\displaystyle \int x^{n}e^{ax}\,{\text{d}}x={\frac {1}{a}}\left(x^{n}e^{ax}-n\int x^{n-1}e^{ax}\,{\text{d}}x\right).\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f04a725282d8b4a10f41723033e827b102d5df81)
となる。
を置換することによっても、導出することができる。以下のように設定し、置換積分を行う。
計算結果は以下のようになる。
逆代入すると
となり、式は
![{\displaystyle \int x^{n}e^{ax}\,{\text{d}}x={\frac {1}{a}}\left(x^{n}e^{ax}-n\int x^{n-1}e^{ax}\,{\text{d}}x\right).\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f04a725282d8b4a10f41723033e827b102d5df81)
となる。
部分積分によっても導出することができる。
![{\displaystyle I_{n}=\int x^{n}xe^{ax}\,{\text{d}}x,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/275e55034cc5666242851ce0f6e74793ebebd875)
![{\displaystyle u=x^{n}{\text{ , }}\ dv=e^{ax},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ff5167a356df651d23c7b720e8e0382c09ad5aa)
![{\displaystyle {\frac {du}{dx}}\ =nx^{n-1}{\text{ , }}\ v={\frac {e^{ax}}{a}}\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/68504bb2d9a0635328122b0e53b4ca70be28b0b7)
![{\displaystyle I_{n}={\frac {x^{n}e^{ax}}{a}}\ -\int nx^{n-1}\ {\frac {e^{ax}}{a}}\ {\text{d}}x\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8242803e527aa6884a2beb23538eb9d26d6dcc5b)
![{\displaystyle I_{n}={\frac {x^{n}e^{ax}}{a}}\ -{\frac {n}{a}}\ \int x^{n-1}e^{ax}\ {\text{d}}x\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/33e5a73e7c92a377e246a72385b8aaf46e2bdd21)
ここで
![{\displaystyle I_{n-1}=\int x^{n-1}e^{ax}\ {\text{d}}x\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/479e405735e5c9132eb4e01814b88beed814154f)
![{\displaystyle \therefore \ I_{n}={\frac {x^{n}e^{ax}}{a}}\ -{\frac {n}{a}}\ I_{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b72c4691165e0aa7adb72355ecd6eb3a2044eec)
となるため、逆代入すると以下のようになる。
![{\displaystyle I_{n}={\frac {1}{a}}\left(x^{n}e^{ax}-nI_{n-1}\right),\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cdf435fb10c00042406939b4319bb3dd1b4b441)
これは以下の式に等しい。
![{\displaystyle \int x^{n}e^{ax}\,{\text{d}}x={\frac {1}{a}}\left(x^{n}e^{ax}-n\int x^{n-1}e^{ax}\,{\text{d}}x\right).\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f04a725282d8b4a10f41723033e827b102d5df81)
漸化式の表
有理関数
以下の積分は、これらを含む[2]。
- 線形根号の因子
![{\displaystyle {\sqrt {ax+b}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/370c1c29f4ada9658e62a8b8b8d05cd9c1b29266)
- 線形因子
と線形根号 ![{\displaystyle {\sqrt {ax+b}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/370c1c29f4ada9658e62a8b8b8d05cd9c1b29266)
- 二次因子
![{\displaystyle x^{2}+a^{2}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7131c2515041a1918a7ebe3794ced324189d2e02)
- 二次因子
, for ![{\displaystyle x>a\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7c3a697fb956eab89fcf24d0144eac96aec697a)
- 二次因子
, for ![{\displaystyle x<a\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60bad41df6f6f3615387f3b511c81aa1a8a4b131)
- (既約) 二次因子
![{\displaystyle ax^{2}+bx+c\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3950787284cb637d50b7a19f2d8ea08bcbdbb04a)
- 既約多項式因子の根号
![{\displaystyle {\sqrt {ax^{2}+bx+c}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96b2c294ff41421ddf22709cfc130b2314babb7e)
積分 |
漸化式
|
![{\displaystyle I_{n}=\int {\frac {x^{n}}{\sqrt {ax+b}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a0facef8eab19a4ded3ebd06d412343f27d0836) |
|
![{\displaystyle I_{n}=\int {\frac {{\text{d}}x}{x^{n}{\sqrt {ax+b}}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be0e4eb939e6dea3375b4d314abb94880650c01e) |
|
![{\displaystyle I_{n}=\int x^{n}{\sqrt {ax+b}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c6e8bc64222b4956c366e6e72a0d426160d08ed) |
|
![{\displaystyle I_{m,n}=\int {\frac {{\text{d}}x}{(ax+b)^{m}(px+q)^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd5d508ff77e325f771f9059857158f3958b990) |
|
![{\displaystyle I_{m,n}=\int {\frac {(ax+b)^{m}}{(px+q)^{n}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c8a820fcbe8a6057ee189bf29882bad958369fa) |
|
積分 |
漸化式
|
![{\displaystyle I_{n}=\int {\frac {{\text{d}}x}{(x^{2}+a^{2})^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5470f91b341d4cf0ad93b66fb07e18ddd32acca5) |
|
![{\displaystyle I_{n,m}=\int {\frac {{\text{d}}x}{x^{m}(x^{2}+a^{2})^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23665a1c952e5d041d785dbcabf0dc3a48537c12) |
|
![{\displaystyle I_{n,m}=\int {\frac {x^{m}}{(x^{2}+a^{2})^{n}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/936448cd34a20ae67c1e2fcab69c11a1d90205dd) |
|
積分 |
漸化式
|
![{\displaystyle I_{n}=\int {\frac {{\text{d}}x}{(x^{2}-a^{2})^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93023219a0da465823da45d873f9491dbd69e2ee) |
|
![{\displaystyle I_{n,m}=\int {\frac {{\text{d}}x}{x^{m}(x^{2}-a^{2})^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/829150dce826b8990d57409b10b47ef4a8b7c611) |
|
![{\displaystyle I_{n,m}=\int {\frac {x^{m}}{(x^{2}-a^{2})^{n}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/651bc8b32f0215db69135e646a1d883acb1f6320) |
|
積分 |
漸化式
|
![{\displaystyle I_{n}=\int {\frac {{\text{d}}x}{(a^{2}-x^{2})^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/220df9ea17ace1a61093c64279fab31916a04903) |
|
![{\displaystyle I_{n,m}=\int {\frac {{\text{d}}x}{x^{m}(a^{2}-x^{2})^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/363d021032afacfe26827d19d15fd40039c91955) |
|
![{\displaystyle I_{n,m}=\int {\frac {x^{m}}{(a^{2}-x^{2})^{n}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/106dd2c511d2f193f0433ced4729a7723028bd49) |
|
積分 |
漸化式
|
![{\displaystyle I_{n}=\int {\frac {{\text{d}}x}{{x^{n}}(ax^{2}+bx+c)}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35b5e0850f11cd62099a7427fafdb4dcfe669fb4) |
|
![{\displaystyle I_{m,n}=\int {\frac {x^{m}\,{\text{d}}x}{(ax^{2}+bx+c)^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9be0433666be66b749b9e1978e608cd2eeb17694) |
|
![{\displaystyle I_{m,n}=\int {\frac {{\text{d}}x}{x^{m}(ax^{2}+bx+c)^{n}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22acec9918c1ab0f7a90404da5c0584516a07918) |
|
積分 |
漸化式
|
![{\displaystyle I_{n}=\int (ax^{2}+bx+c)^{n}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cffa347388e9de15eb5b498bf198f48f0b89d268) |
|
![{\displaystyle I_{n}=\int {\frac {1}{(ax^{2}+bx+c)^{n}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fe6fad774b34b28c7741976583b4175eed82235) |
|
![{\displaystyle I_{n+{\frac {1}{2}}}=I_{\frac {2n+1}{2}}=\int {\frac {1}{(ax^{2}+bx+c)^{\frac {2n+1}{2}}}}\,{\text{d}}x=\int {\frac {1}{\sqrt {(ax^{2}+bx+c)^{2n+1}}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87c7399d39fa646d4afb924740a5bf5a61617ea5)
超越関数
以下の積分は、これらを含む[3]。
- 正弦(sin)因子
- 余弦(cos)因子
- 正弦と余弦の積や商の因子
- 指数因子やxの冪乗の積や商
- 指数と正弦/余弦因子の積
積分 |
漸化式
|
![{\displaystyle I_{n}=\int x^{n}\sin {ax}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87b9f40b7b83a7b84639ad0a0ea4995cf8dbd36c) |
|
![{\displaystyle J_{n}=\int x^{n}\cos {ax}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb2cfb858fa33bbab54eff217eed69ac0dc44d1e) |
|
|
the formulae can be combined to obtain separate equations in In:
and Jn:
|
![{\displaystyle I_{n}=\int \sin ^{n}{ax}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46b62412d6175e4e4c60c407543d3d2689ea2ef9) |
|
![{\displaystyle J_{n}=\int \cos ^{n}{ax}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d8e1e4cef90edf21e62ae0d5c15a9cc8fcac2e9) |
|
![{\displaystyle I_{n}=\int {\frac {{\text{d}}x}{\sin ^{n}{ax}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2cddccf4ea4f4d6f373774acf3f1c774fe5ed10) |
|
![{\displaystyle J_{n}=\int {\frac {{\text{d}}x}{\cos ^{n}{ax}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5aeee245812ed55d7e27c83ce76b825339872811) |
|
積分 |
漸化式
|
![{\displaystyle I_{m,n}=\int \sin ^{m}{ax}\cos ^{n}{ax}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a18954098435d66342870cf98159ca2f34d455e5) |
|
![{\displaystyle I_{m,n}=\int {\frac {{\text{d}}x}{\sin ^{m}{ax}\cos ^{n}{ax}}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8044a9a087eb5228d2e17db765eb295d319d00ea) |
|
![{\displaystyle I_{m,n}=\int {\frac {\sin ^{m}{ax}}{\cos ^{n}{ax}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/216189c3668f5e645325fdbed01b52d7d182329c) |
|
![{\displaystyle I_{m,n}=\int {\frac {\cos ^{m}{ax}}{\sin ^{n}{ax}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/305623f85049d2780a9cddf11cd0c0ce3916ca13) |
|
積分 |
漸化式
|
|
|
|
|
|
|
|
|
出典
参考文献
- Anton, Bivens, Davis, Calculus, 7th edition.
|
|