6 有理関数の積分

有理関数

$$f(x) = \frac{a_{0}\,x^{N}+a_1\,x^{N-1}+\cdots+a_{N}} {b_{0}\,x^{M}+b_{1}\,x^{M-1}+\cdots+b_{M}}\, \qquad (N,M\in\mathbb{N})$$ (852)

の不定積分

$$I =\int f(x)\,dx$$ (853)

を考える． 任意の有理関数は積分可能である．

Step 1 （分子を分母で割る）     分子の次数 $N$ が分母の次数 $M$ 以上のときは まず割り算を行い，

$$f(x) = N-M + \frac{\text{$M-1$\ 次以下の多項式}}{\text{$M$\ 次の多項式}}$$ (854)

とする． このとき多項式の部分は必ず積分が可能である． よって以後では分子の次数 $N$ は分母の次数 $M$ より小さい($N<M$)とする．

例 6.17 (分子の次数を分母の次数より小さくする)   分子の次数が分母の次数以上の場合はまず 分子を分母で割り，

$$f(x) = \frac{x^3+4x^2+2x+1}{x^2+3}= x+4-\frac{x-11}{x^2+3}$$ (855)

のように変形する． この式に対して積分すると

$$I =\int f(x)\,dx= \int (x+4)\,dx- \int\frac{x-11}{x^2+3}\,dx= \frac{x^2}{2}+4x- \int\frac{x-11}{x^2+3}\,dx$$ (856)

となる． 多項式部分は積分される． 残るは有理式の積分である． 以後は $N<M$ となる有理関数の積分のみを考える．

Step 2 （分母を因数分解する）     有理式を $${f(x)=\frac{p(x)}{q(x)}}$$ とする． 分母の多項式 $q(x)$ を実数の範囲で因数分解する． このとき

$$q(x) = (x+b_{1})^{m_1}(x+b_{2})^{m_2}\cdots (x^2+c_{i}\,x+d_{i})^{m_{i}} (x^2+c_{i+1}\,x+d_{i+1})^{m_{i+1}}\cdots$$ (857)

と表される． $m_{j}$ は重複度である． 2次式の判別式は負である．

例 6.18 (分母の因数分解)  

$$q(x) =x^2+3\,,$$ (858)

$$q(x) =x^3+1=(x+1)(x^2-x+1)\,,$$ (859)

$$q(x) =x^3+x^2-2x= x(x-1)(x+2)\,.$$ (860)

Step 3 （部分分数分解する）     有理式 $${f(x)=\frac{p(x)}{q(x)}}$$ を 部分分数分解する． すなわち

$$f(x) =\frac{p(x)}{q(x)}= \frac{p(x)} {(x+b_{1})^{m_1}(x+b_{2})^{m_2}\cdots (x^2+c_{i}\,x+d_{i})^{m_{i}} (x^2+c_{i+1}\,x+d_{i+1})^{m_{i+1}}\cdots}$$ (861)

$$= \frac{A_{1,1}}{x+b_{1}}+ \frac{A_{1,2}}{(x+b_{1})^2}+\cdots+ \frac{A_{1,m_1}}{(x+b_{1})^{m_1}}$$ (862)

$$\qquad+ \frac{A_{2,1}}{x+b_{2}}+ \frac{A_{2,2}}{(x+b_{2})^{2}}+\cdots+ \frac{A_{2,m_2}}{(x+b_{2})^{m_2}}+\cdots$$ (863)

$$\qquad\cdots+ \frac{A_{i,1}\,x+B_{i,1}}{x^2+c_{i}\,x+d_{i}}+ \fra... ...)^{2}}+\cdots+ \frac{A_{i,m_i}\,x+B_{i,m_i}}{(x^2+c_{i}\,x+d_{i})^{m_i}}+\cdots$$ (864)

と変形する．

例 6.19 (部分分数展開の具体例)   部分分数分解として

$$\frac{1}{x^3+1} = \frac{1}{(x+1)(x^2-x+1)}= \frac{A}{x+1}+ \frac{B\,x+C}{x^2-x+1}$$ (865)

とする． 通分して同じ次数でまとめると

$$\frac{1}{x^3+1} = \frac{(A+B)x^2+(B+C-A)x+C}{x^3+1}$$ (866)

となる．よって係数は

$$\begin{bmatrix}1 & 1 & 0 \\ -1 & 1 & 1 \\ 1 & 0 & 1 \end{bmatrix}... ...gin{bmatrix}A \\ B \\ C \end{bmatrix}= \begin{bmatrix}0 \\ 0 \\ 1 \end{bmatrix}$$ (867)

を満足しなければならない． これを解くと

$$A =\frac{1}{3}\,,\qquad B=-\frac{1}{3}\,,\qquad C=\frac{2}{3}$$ (868)

となる． よって部分分数分解は

$$\frac{1}{x^3+1} = \frac{1}{(x+1)(x^2-x+1)}= \frac{1}{3(x+1)}- \frac{x-2}{3(x^2-x+1)}$$ (869)

と表される．

問 6.20 (部分分数展開の計算例)   部分分数分解として

$$\frac{1}{x^4-x^3+x+1} = \frac{1}{(x-1)^2(x^2+x+1)}= \frac{A}{x-1}+\frac{B}{(x-1)^2}+ \frac{Cx+D}{x^2+x+1}$$ (870)

とする． 係数 $A$, $B$, $C$, $D$ を定めよ．

問 6.21 (部分分数展開の計算例)   部分分数分解として

$$\frac{1}{x^3(x+1)(x^2+1)^2}= \frac{A}{x}+\frac{B}{x^2}+\frac{C}{x^3}+ \frac{D}{x+1}+ \frac{Ex+F}{x^2+1}+ \frac{Gx+H}{(x^2+1)^2}$$ (871)

とする． 係数 $A$, $B$, $C$, $D$, $E$, $F$, $G$, $H$ を定めよ．

例 6.22 (部分分数展開の具体例)  

$$\frac{x-11}{x^3+1}= \frac{A}{x+1}+ \frac{B\,x+C}{x^2-x+1} = \frac{(A+B)x^2+(-A+B+C)\,x+(A+C)} {(x+1)(x^2-x+1)}$$ (872)

より

$$\begin{bmatrix}1 & 1 & 0 \\ -1 & 1 & 1 \\ 1 & 0 & 1 \end{bmatrix}... ...n{bmatrix}A \\ B \\ C \end{bmatrix}= \begin{bmatrix}0 \\ 1 \\ -11 \end{bmatrix}$$ (873)

となり

$$A =-4\,,\qquad B=4\,,\qquad C=7$$ (874)

を得る．よって

$$\frac{x-11}{x^3+1} = \frac{-4}{x+1}+ \frac{4x+7}{x^2-x+1}$$ (875)

となる．

例 6.23 (部分分数展開の具体例)  

$$f(x) = \frac{x+1}{x^3+x^2-2x}= \frac{x+1}{x(x-1)(x+2)}= \frac{A}{x}+\frac{B}{x-1}+\frac{C}{x+2}$$ (876)

$$= \frac{(A+B+C)x^2+(A+2B-C)x-2A}{x(x-1)(x+2)}$$ (877)

より

$$\begin{bmatrix}1 & 1 & 1 \\ 1 & 2 & -1 \\ -2 & 0 & 0 \end{bmatrix... ...gin{bmatrix}A \\ B \\ C \end{bmatrix}= \begin{bmatrix}0 \\ 1 \\ 1 \end{bmatrix}$$ (878)

である．解くと

$$A =-\frac{1}{2}\,,\quad B=\frac{2}{3}\,,\quad C=-\frac{1}{6}$$ (879)

となる．よって

$$f(x) = -\frac{1}{2x}+ \frac{2}{3(x-1)}- \frac{1}{6(x+2)}$$ (880)

を得る．

Step 4 （部分分数ごとに積分する）     部分分数ごとに積分を行う． すなわち

$$I = \int f(x)\,dx$$ (881)

$$= A_{1,1}\int\frac{dx}{x+b_{1}}+ A_{1,2}\int\frac{dx}{(x+b_{1})^{2}}+\cdots+ A_{1,m_1}\int\frac{dx}{(x+b_{1})^{m_1}}$$ (882)

$$\quad+ A_{2,1}\int\frac{dx}{x+b_{2}}+ A_{2,2}\int\frac{dx}{(x+b_{2})^{2}}+\cdots+ A_{2,m_2}\int\frac{dx}{(x+b_{2})^{m_2}}+\cdots$$ (883)

$$\qquad\cdots+ \int\frac{A_{i,1}\,x+B_{i,1}}{x^2+c_{i}\,x+d_{i}}\,... ...cdots+ \int\frac{A_{i,m_i}\,x+B_{i,m_i}}{(x^2+c_{i}\,x+d_{i})^{m_i}}\,dx+\cdots$$ (884)

を計算する． それぞれの場合ごとに積分を考える．

まず， 分母の因子が $1$ 次式の場合の積分を行なう． すると

$$\int\frac{dx}{(x+b)^{m}} = \left\{ \begin{array}{ll} \log\vert x+b\vert+C & (m=1)\\ [2ex] \displaystyle{\frac{-1}{m-1}\frac{1}{(x+b)^{m-1}}+C} & (m\ge2) \end{array}\right.$$ (885)

を得る．

次に， 分母の因子が $2$ 次式の場合の積分を行なう． $2$ 次式の判別式が負であることに注意すると

$$\int\frac{A\,x+B}{(x^2+c\,x+d)^{m}}\,dx = \int\frac{A\,x+B}{\left( \left(x+\frac{c}{2}\right)^2+ \left(d-\frac{c^2}{4}\right)\right)^m}\,dx$$ (886)

と表される． ここで $${-a=\frac{c}{2}}$$, $${b^2=d-\frac{c^2}{4}>0}$$, $b>0$ とおく． すると

$$\int\frac{A\,x+B}{(x^2+c\,x+d)^{m}}\,dx= \int\frac{A\,x+B} {\left((x-a)^2+b^2\right)^m}\,dx$$ (887)

と表される．この形から積分を進める． さらに式変形すると

$$\int\frac{A\,x+B} {\left((x-a)^2+b^2\right)^m}\,dx= \int \frac{A\,(x-a)+(aA+B)} {\left((x-a)^2+b^2\right)^m}\,dx$$ (888)

$$\qquad= \frac{A}{2} \int \frac{2(x-a)} {\left((x-a)^2+b^2\right)^m}\,dx+ (aA+B) \int \frac{dx} {\left((x-a)^2+b^2\right)^m}$$ (889)

$$\qquad= \frac{A}{2}I_{m}+(aA+B)J_{m}$$ (890)

となる． ここで

$$I_{m} = \int \frac{2(x-a)} {\left((x-a)^2+b^2\right)^m}\,dx\,, \qquad J_{m}= \int \frac{dx} {\left((x-a)^2+b^2\right)^m}$$ (891)

とおく． 第一項目の積分 $I_{m}$ は

$$I_{m} = \int \frac{((x-a)^2+b^2)'} {\left((x-a)^2+b^2\right)^m}\,dx= \l... ...-1}{m-1} \frac{1}{\left((x-a)^2+b^2\right)^{m-1}}+C} & (m>1) \end{array}\right.$$ (892)

と求まる． 第二項目の積分 $J_{m}$ を計算する． $m=1$ のとき

$$J_{1} = \int\frac{dx}{(x-a)^2+b^2}= \frac{1}{b^2}\int \frac{dx}{1+\left... ...{b}\int \frac{\left(\frac{x-a}{b}\right)'} {1+\left(\frac{x-a}{b}\right)^2}\,dx$$ (893)

$$= \frac{1}{b}\mathrm{Tan}^{-1}\left(\frac{x-a}{b}\right)+C$$ (894)

となる． $m\ge2$ のときは漸化式

$$J_{m} = \left(\frac{2m-3}{2m-2}\right) \frac{J_{m-1}}{b^2}+ \frac{1}{2(m-1)b^2} \frac{x-a}{\left((x-a)^2+b^2\right)^{m-1}}$$ (895)

より $J_{m}$ が定まる． これを示す． 置換積分を用いると

$$J_{m} = \int\frac{dx}{\left((x-a)^2+b^2\right)^{m}}= \frac{1}{b^{2m-1}}... ...rac{x-a}{b}\right)^2\right)^m}\,dx= \frac{1}{b^{2m-1}} \int\frac{dt}{(1+t^2)^m}$$ (896)

となる．ここで $${t=\frac{x-a}{b}}$$ とおいた． 式変形すると

$$J_{m} = \frac{1}{b^{2m-1}} \int\frac{(1+t^2)-t^2}{(1+t^2)^m}\,dt$$ (897)

$$= \frac{1}{b^{2m-1}} \int\frac{dt}{(1+t^2)^{m-1}}- \frac{1}{b^{2m-1}} \int\frac{t^2}{(1+t^2)^m}\,dt$$ (898)

$$= \frac{J_{m-1}}{b^2}- \frac{1}{b^{2m-1}} \int t\times\frac{t}{(1+t^2)^{m}}\,dt$$ (899)

$$= \frac{J_{m-1}}{b^2}- \frac{1}{b^{2m-1}} \int t\left(\frac{-1}{2(m-1)}\frac{1}{(1+t^2)^{m-1}}\right)'\,dt$$ (900)

$$= \frac{J_{m-1}}{b^2}+ \frac{1}{2(m-1)b^{2m-1}} \int t\left(\frac{1}{(1+t^2)^{m-1}}\right)'\,dt$$ (901)

$$= \frac{J_{m-1}}{b^2}+ \frac{1}{2(m-1)b^{2m-1}} \left\{ \frac{t}{(1+t^2)^{m-1}}- \int\frac{1}{(1+t^2)^{m-1}}\,dt\right\}$$ (902)

$$= \frac{J_{m-1}}{b^2}+ \frac{1}{2(m-1)b^{2m-1}}\frac{t}{(1+t^2)^{m-1}}- \frac{J_{m-1}}{2(m-1)b^{2}}$$ (903)

$$= \left(\frac{2m-3}{2m-2}\right)\frac{J_{m-1}}{b^2}+ \frac{1}{2(m-1)b^{2m-1}}\frac{t}{(1+t^2)^{m-1}}$$ (904)

$$= \left(\frac{2m-3}{2m-2}\right)\frac{J_{m-1}}{b^2}+ \frac{1}{2(m-1)b^{2}}\frac{x-a}{\left((x-a)^2+b^2\right)^{m-1}}$$ (905)

となり漸化式を得る．

例 6.24 (部分分数を積分する具体例)  

$$\int\frac{x+1}{x^3+x^2-2x}\,dx = \int\left( -\frac{1}{2x}+ \frac{2}{3(x-1)}- \frac{1}{6(x+2)}\right)\,dx$$ (906)

$$= -\frac{1}{2}\int\frac{dx}{x}+ \frac{2}{3}\int\frac{dx}{x-1}- \frac{1}{6}\int\frac{dx}{x+2}$$ (907)

$$= -\frac{1}{2}\log\vert x\vert+ \frac{2}{3}\log\vert x-1\vert- \frac{1}{6}\log\vert x+2\vert+C$$ (908)

$$= \frac{1}{6}\log \left\vert\frac{(x-1)^4}{x^3(x+2)}\right\vert+C\,.$$ (909)

例 6.25 (部分分数を積分する具体例)  

$$\int\frac{dx}{x^3+1} = \int\left( \frac{1}{3(x+1)}-\frac{x-2}{3(x^2-x+1)} \right)\,dx$$ (910)

$$= \frac{1}{3} \int\frac{dx}{x+1}- \frac{1}{3} \int\frac{x-2}{x^2-x+1}$$ (911)

$$= \frac{1}{3}\log\vert x+1\vert- \frac{1}{3} \int\frac{\left(x-\frac{1}{2}\right)-\frac{3}{2}} {\left(x-\frac{1}{2}\right)^2+\frac{3}{4}}\,dx$$ (912)

$$= \frac{1}{3}\log\vert x+1\vert- \frac{1}{3} \int\frac{\left(x-\f... ...}{4}}\,dx+ \frac{1}{2} \int\frac{dx} {\left(x-\frac{1}{2}\right)^2+\frac{3}{4}}$$ (913)

$$= \frac{1}{3}\log\vert x+1\vert- \frac{1}{6} \int\frac{\left(\lef... ...eft(\frac{2x-1}{\sqrt{3}}\right)'} {1+\left(\frac{2x-1}{\sqrt{3}}\right)^2}\,dx$$ (914)

$$= \frac{1}{3}\log\vert x+1\vert- \frac{1}{6}\log\left\vert \left(... ...\vert+ \frac{1}{\sqrt{3}} \mathrm{Tan}^{-1}\left(\frac{2x-1}{\sqrt{3}}\right)+C$$ (915)

$$= \frac{1}{6}\log\left\vert \frac{(x+1)^2}{x^2-x+1}\right\vert+ \frac{1}{\sqrt{3}} \mathrm{Tan}^{-1}\left(\frac{2x-1}{\sqrt{3}}\right)+C\,.$$ (916)

例 6.26 (部分分数を積分する具体例)  

$$\int\frac{x-11}{x^2+3}\,dx = \int\frac{x}{x^2+3}\,dx- 11\int\frac{dx}{x^2+3}\,dx$$ (917)

$$= \frac{1}{2} \int\frac{(x^2+3)'}{x^2+3}\,dx- \frac{11\sqrt{3}}{3... ...rac{\left(\frac{x}{\sqrt{3}}\right)'} {1+\left(\frac{x}{\sqrt{3}}\right)^2}\,dx$$ (918)

$$= \frac{1}{2} \log\left\vert x^2+3\right\vert- \frac{11}{\sqrt{3}} \mathrm{Tan}^{-1}\left(\frac{x}{\sqrt{3}}\right)+C\,.$$ (919)

例 6.27 (部分分数を積分する具体例)  

$$\int\frac{x-11}{x^3+1}\,dx = -4\int\frac{dx}{x+1}+ \int\frac{4x+7}{x^2-x+1}\,dx$$ (920)

$$= -4\log\vert x+1\vert+ \int\frac{4\left(x-\frac{1}{2}\right)+9} {\left(x-\frac{1}{2}\right)^2+\frac{3}{4}}\,dx$$ (921)

$$= -4\log\vert x+1\vert+ 4\int\frac{\left(x-\frac{1}{2}\right)} {\... ...2+\frac{3}{4}}\,dx+ 9\int\frac{1}{\left(x-\frac{1}{2}\right)^2+\frac{3}{4}}\,dx$$ (922)

$$= -4\log\vert x+1\vert+ 2\int\frac{\left(\left(x-\frac{1}{2}\righ... ...eft(\frac{2x-1}{\sqrt{3}}\right)'} {1+\left(\frac{2x-1}{\sqrt{3}}\right)^2}\,dx$$ (923)

$$= -4\log\vert x+1\vert+ 2\log\left\vert\left(x-\frac{1}{2}\right)... ...}{4}\right\vert+ 6\sqrt{3}\mathrm{Tan}^{-1}\left(\frac{2x-1}{\sqrt{3}}\right)+C$$ (924)

$$= 2\log\left\vert\frac{x^2-x+1}{(x+1)^2}\right\vert+ 6\sqrt{3}\mathrm{Tan}^{-1}\left(\frac{2x-1}{\sqrt{3}}\right)+C\,.$$ (925)

Kondo Koichi
Created at 2004/08/14