有理関数の積分法(integration of rational functions)

ここでは,有理関数の不定積分は必ず求めることができることを示しましょう.そこで, $ f(x)$$ g(x)$ が整式のとき,その商 $ \displaystyle{\frac{f(x)}{g(x)}}$ の不定積分について考えます.

$ f(x)$の次数$ > g(x)$の次数 の場合は, $ f(x)$$ g(x)$ で割った商を $ q(x)$,余りを $ r(x)$ とすると,

$\displaystyle \frac{f(x)}{g(x)} = q(x) + \frac{r(x)}{g(x)},  (r(x)$の次数$\displaystyle < g(x)$の次数$\displaystyle ) $

となります.$ q(x)$ は整式なので,その積分は容易に求められます.そこで $ f(x)$ の次数 $ <$ $ g(x)$ の次数の場合を考えます.

代数学の基本定理(fundamental theorem of algebra) によると,すべての整式は1次式と2次式の積で表わすことができます.よって $ g(x)$ は次のように因数分解されます.

$\displaystyle g(x) = c(x-\alpha)^{l}(x-\beta)^{m}\cdots\{(x-a)^{2}+b^{2}\}^{r}\{(x-c)^{2}+d^{2}\}^{s}\cdots $

次に $ \displaystyle{\frac{r(x)}{g(x)}}$ を部分分数分解します.部分分数分解(partial fraction) とは $ \displaystyle{\frac{r(x)}{g(x)}}$ を分子の次数が分母の括弧内の次数より1次少ない分数で,その数が $ g(x)$ の因数の数となるように分解することをいいます.ちょっと分かりにくいので例を用いて説明します.まず, $ \displaystyle{\frac{r_{1}(x)}{(x-\alpha)^{l}}}$ を部分分数分解してみましょう.

分母の因数の数は $ l$ より, $ l$ 個の部分分数が必要となります.また,分母の括弧内の次数が1より分子は定数となることに注意すると,

$\displaystyle \frac{r(x)}{(x-\alpha)^l} = \frac{A_{1}}{x - \alpha} + \frac{A_{2}}{(x - \alpha)^{2}} + \cdots + \frac{A_{l}}{(x - \alpha)^{l}} $

次に, $ \displaystyle{\frac{r_{2}(x)}{((x-a)^2 + b^2)^{r}}}$ を部分分数分解してみましょう.

分母の因数の数は $ r$ より, $ r$ 個の部分分数が必要となります.また,分母の括弧内の次数が2より分子は1次式となることに注意すると,

$\displaystyle \frac{r(x)}{((x-a)^2 + b^2)^{r}} = \frac{C_{1} x + D_{1}}{(x-a)^2...
..._{2}}{((x-a)^2 + b^2)^2} + \cdots + \frac{C_{r} x + D_{r}}{((x-a)^2 + b^2)^{r}}$

よって

$\displaystyle \frac{r(x)}{g(x)}$ $\displaystyle =$ $\displaystyle \frac{A_{1}}{x - \alpha} + \frac{A_{2}}{(x - \alpha)^{2}} + \cdot...
...beta)} + \frac{B_{2}}{(x - \beta)^{2}} + \cdots + \frac{B_{m}}{(x - \beta)^{n}}$  
  $\displaystyle +$ $\displaystyle \frac{C_{1} x + D_{1}}{(x-a)^2 + b^2} + \frac{C_{2} x + D_{2}}{((x-a)^2 + b^2)^2} + \cdots + \frac{C_{r} x + D_{r}}{((x-a)^2 + b^2)^{r}} + \cdots$ (3.2)

と表わせます.次に, $ A_{1},A_{2}, \ldots, B_{1},B_{2},\ldots,C_{1},D_{1},\ldots,C_{r}.D_{r}, \ldots$ を求めます.これらの定数の求め方にはいろいろな方法が考案されています.2つほど紹介しましょう.

1つは $ g(x)$ を両辺にかけて,分母を払います.すると両辺に多項式が生まれます.この多項式はすべての $ x$ で等しいので,対応する係数どうしは等しくなければなりません.そこで左辺の $ x^{k}$ の係数と右辺の $ x^{k}$ の係数を等しくおくことにより連立方程式が作れます.この連立方程式を解けば定数 $ A_{i},B_{i},C_{i},D_{i},\ldots$ が求まり,部分分数分解が完成します.ただしこの方法は分母の次数が大きくなると連立方程式の数が増え,計算が煩雑になります.

例題 3..11  

ここで説明した方法で次の有理関数を部分分数分解してみましょう.

$\displaystyle \frac{x^4}{x^3 - 1} $

まず,分子の次数が分母の次数より大きいので,分子を分母で割ります.

$\displaystyle \frac{x^4}{x^3 - 1} = x + \frac{x}{x^3 - 1} $

次に, $ x^3 - 1$ はまだ因数分解が可能なので因数分解し,部分分数分解すると

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

となります.ここで分母を払い整理すると

$\displaystyle x = A(x^2 + x + 1) + (x-1)(Bx + C) = (A + B)x^2 + (A - B +C)x + (A - C) $

となります.ここで左辺と右辺の係数が等しいことに注意すると

$\displaystyle A+B = 0, A - B + C = 1, A- C = 0$

これを解くと $ \displaystyle{A = \frac{1}{3},  B = -\frac{1}{3},  C = \frac{1}{3}}$ となります. $  \blacksquare$

もう1つの方法は微分を用います.この方法は へービサイド展開(Heaviside expansion) とよばれています.

まず, 式3.2 の両辺に $ (x - \alpha)^{l}$ をかけると

$\displaystyle (x - \alpha)^{l}\frac{r(x)}{g(x)}$ $\displaystyle =$ $\displaystyle A_{1}(x - \alpha)^{l-1} + A_{2}(x - \alpha)^{l-2} + \cdots +A_{l}$  
  $\displaystyle +$ $\displaystyle (x-\alpha)^{l}[\frac{B_{1}}{(x - \beta)} + \frac{B_{2}}{(x - \beta)^{2}} + \cdots + \frac{B_{m}}{(x - \beta)^{n}}$  
  $\displaystyle +$ $\displaystyle \frac{C_{1} x + D_{1}}{(x-a)^2 + b^2} + \frac{C_{2} x + D_{2}}{((x-a)^2 + b^2)^2} + \cdots + \frac{C_{r} x + D_{r}}{((x-a)^2 + b^2)^{r}} + \cdots ]$  

となります.これより $ A_{i}$

$\displaystyle A_{i} = \frac{1}{(l-i)!}\frac{d^{l-i}}{dx^{l-i}}((x - \alpha)^{l}\frac{r(x)}{g(x)})\vert _{x=\alpha} $

で求まることがわかります. 同様にして, $ B_{i}$

$\displaystyle B_{i} = \frac{1}{(n-i)!}\frac{d^{n-i}}{dx^{n-i}}((x - \beta)^{l}\frac{r(x)}{g(x)})\vert _{x=\beta} $

で求まります. 最後に $ C_{i},D_{i}$ を求めるには $ ((x - a)^{2} + b^2)^{r}$ を 式3.2 の両辺にかけます.すると
$\displaystyle ((x - a)^{2} + b^2)^{r}\frac{r(x)}{g(x)}$ $\displaystyle =$ $\displaystyle ((x - a)^{2} + b^2)^{r} [\frac{A_{1}}{x - \alpha} + \frac{A_{2}}{(x - \alpha)^{2}} + \cdots + \frac{A_{l}}{(x - \alpha)^{l}}$  
  $\displaystyle +$ $\displaystyle \frac{B_{1}}{(x - \beta)} + \frac{B_{2}}{(x - \beta)^{2}} + \cdots + \frac{B_{m}}{(x - \beta)^{n}}]$  
  $\displaystyle +$ $\displaystyle (C_{1} x + D_{1})((x-a)^2 + b^2)^{r-1}$  
  $\displaystyle +$ $\displaystyle (C_{2} x + D_{2})((x-a)^2 + b^2)^{r-2} + \cdots + C_{r} x + D_{r} + \cdots$  

となるので,順に $ C_{r},D_{r},C_{r-1},D_{r-1}, \ldots,C_{1},D_{1}$ を求めることができます.

例題 3..12  

へービサイド展開を用いて,次の有理関数を部分分数分解してみましょう.

$\displaystyle \frac{x^4}{x^3 - 1} $

まず,分子の次数が分母の次数より大きいので,分子を分母で割ります.

$\displaystyle \frac{x^4}{x^3 - 1} = x + \frac{x}{x^3 - 1} $

次に, $ x^3 - 1$ はまだ因数分解が可能なので因数分解し,部分分数分解すると

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

となります.これより

$\displaystyle A = (x - 1)\frac{x}{x^3 - 1} \mid_{x = 1} = \frac{x}{x^2 + x + 1} \mid_{x=1} = \frac{1}{3} $

次に $ x^2 + x + 1$ を両辺にかけ $ x^2 + x + 1 = 0$ となるように $ x$ を選ぶと

$\displaystyle Bx + C \mid_{x = \frac{-1 + \sqrt{3}i}{2}} = \frac{x}{x-1} \mid_{...
...rt{3}i}{2}} = \frac{-1 + \sqrt{3}i}{-3 + \sqrt{3}i} = \frac{6 - 2\sqrt{3}i}{12}$

これより

$\displaystyle -\frac{B}{2} + C + B(\frac{\sqrt{3}i}{2}) = \frac{1}{2} - \frac{\sqrt{3}i}{6} $

よって $ \displaystyle{B = -\frac{1}{3},  C = \frac{1}{3}}$ となります. $  \blacksquare$

例題 3..13  

次の有理関数を部分分数分解してみましょう.

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

まず, $ x^3$ より $ x^3$ の3個の因数 $ x,x^2,x^3$ と, $ (x^2+1)^{2}$ より $ (x^2+1)^{2}$ の2個の因数, $ (x^2 + 1), (x^2 + 1)^{2}$ が分母をなす部分分数を用いて分解できます.つまり

$\displaystyle \frac{3x^2 - 1}{x^3 (x^2 + 1)^{2}}$ $\displaystyle =$ $\displaystyle \frac{A_{1}}{x} + \frac{A_{2}}{x^2} + \frac{A_{3}}{x^3}$  
  $\displaystyle +$ $\displaystyle \frac{B_{1}x + C_{1}}{(x^2 + 1)} + \frac{B_{2}x + C_{2}}{(x^2 + 1)^{2}}$  

となります.次に,定数 $ A_{1},A_{2},A_{3},B_{1},C_{1},B_{2},C_{2}$ を求めます. まず,

$\displaystyle A_{3} = x^{3}\frac{3x^2 - 1}{x^3 (x^2 + 1)^{2}}\mid_{x=0} = \frac{3x^2 - 1}{ (x^2 + 1)^{2}}\mid_{x=0} = -1$


$\displaystyle A_{2}$ $\displaystyle =$ $\displaystyle \frac{d}{dx} [x^{3} \frac{3x^2 - 1}{x^3 (x^2 + 1)^{2}}]\mid_{x=0} = \frac{d}{dx}[\frac{3x^2 - 1}{(x^2 + 1)^{2}}]\mid_{x=0}$  
  $\displaystyle =$ $\displaystyle \frac{d}{dx}(3x^2 - 1)(x^2 + 1)^{-2}\mid_{x=0}$  
  $\displaystyle =$ $\displaystyle 6x(x^2 + 1)^{-2} - 4x(3x^2 -1)(x^2 + 1)^{-3} \mid_{x=0} = 0$  
$\displaystyle A_{3}$ $\displaystyle =$ $\displaystyle \frac{1}{2!}\frac{d}{dx} [6x(x^2 + 1)^{-2} - 4x(3x^2 -1)(x^2 + 1)^{-3}]\mid_{x=0}$  
  $\displaystyle =$ $\displaystyle \frac{1}{2!}[6(x^2 + 1)^{-2} - 24x^{2}(x^2 + 1)^{-3} - 4(3x^2 - 1)(x^2 + 1)^{-3}$  
  $\displaystyle -$ $\displaystyle 24x^2 (x^2 +1)^{-3} - 4x(3x^2-1)(-6x(x^2 + 1)^{-4})]\mid_{x=0}$  
  $\displaystyle =$ $\displaystyle \frac{1}{2!}[6 + 4] = 5$  

次に $ (x^2+1)^{2}$ を両辺にかけると
$\displaystyle \frac{3x^2 - 1}{x^3 }$ $\displaystyle =$ $\displaystyle (x^2 + 1)^{2}[ \frac{A_{1}}{x} + \frac{A_{2}}{x^2} + \frac{A_{3}}{x^3}]$ (3.3)
  $\displaystyle +$ $\displaystyle (B_{1}x + C_{1})(x^2 + 1) +B_{2}x + C_{2}$ (3.4)

ここで $ x^2 + 1 = 0$ となるように $ x$ を選ぶと,

$\displaystyle B_{2}x + C_{2}\mid_{x = i} = \frac{3x^2 - 1}{x^3 }\mid_{x = i} = \frac{-4}{-i} = -4i $

よって $ B_{2}i +C_{2} = -4i $ となり,これより $ B_{2} = -4, C_{2} = 0$ を得ます. 最後に $ B_{1},C_{1}$ を求めます.式3.4を微分し, $ x^2 + 1 = 0$ とおくと,
$\displaystyle (\frac{3x^2 - 1}{x^3 })^{\prime} \mid_{x = i}$ $\displaystyle =$ $\displaystyle B_{1}(x^2 + 1) + (B_{1}x +C_{1})(2x) + B_{2} \mid_{x = i}$ (3.5)
$\displaystyle ((3x^2 - 1)x^{-3})^{\prime} \mid_{x = i}$ $\displaystyle =$ $\displaystyle ( B_{1}i + C_{1})(2i) -4$ (3.6)
$\displaystyle 6x (x^{-3}) - 3x^{-4}(3x^2 - 1) \mid_{x = i}$ $\displaystyle =$ $\displaystyle -2B_{1} - 4 + 2C_{1}i$ (3.7)
$\displaystyle 6i(i) - 3(-4)$ $\displaystyle =$ $\displaystyle -2B_{1} - 4 + 2C_{1}i$ (3.8)
$\displaystyle 6$ $\displaystyle =$ $\displaystyle -2B_{1} - 4 + 2C_{1}i$ (3.9)

よって $ C_{1} = 0, B_{1} = - 5$ を得ます. $  \blacksquare$

このように $ \displaystyle{\frac{f(x)}{g(x)}}$ の部分分数分解はいくつかの次の形の分数の和として表わせます.

$\displaystyle \frac{A}{(x - \alpha)^{n}},   \frac{Bx+C}{\{(x-a)^{2}+b^{2}\}^{n}} $

左の関数の不定積分は簡単ですので,右のほうを考えましょう.

$ x - a = t$ とおくと,次の形の関数に帰着します.

$\displaystyle \frac{1}{(x^{2} + b^{2})^{n}},   \frac{x}{(x^{2} + b^{2})^{n}} $

まとめると,有理関数の不定積分は次の3つの関数の不定積分ができれば必ず求められることがわかりました.

定理 3..6  

$ \displaystyle{(1)  \int \frac{dx}{(x-a)^{n}} = \left\{\begin{array}{ll}
\frac...
...c & (n = 2,3,4,\ldots)\\
\log{\vert x-a\vert} + c & (n=1)
\end{array}\right. }$

$ \displaystyle{(2)  \int \frac{x}{(x^{2} +b^{2})^{n}}dx = \left\{\begin{array}...
...ots)\\
\frac{1}{2}\log{\vert x^{2}+b^{2}\vert} + c & (n=1)
\end{array}\right.}$

$ \displaystyle{(3)  I_{n} = \int \frac{dx}{(x^{2} + A)^{n}}}$ とおくと,次の漸化式が成り立つ.

$\displaystyle I_{n+1} = \frac{1}{2nA} \{\frac{x}{(x^{2}+A)^{n}} + (2n-1)I_{n}\}  (n \geq 1)$


証明 (1) $ t = x - a$ とおくt, $ dt = dx$ より

$\displaystyle \int \frac{dx}{(x - a)^{n}}$ $\displaystyle =$ $\displaystyle \int \frac{dt}{t^{n}} = \int t^{-n} dt$  
  $\displaystyle =$ $\displaystyle \left\{\begin{array}{ll}
\frac{t^{-n+1}}{-n + 1} + c & (n \neq 1)...
...1} + c & (n \neq 1)\\
\log{\vert x - a\vert} + c & ( n = 1)
\end{array}\right.$  

(2) $ t = x^2 + b^2$ とおくt, $ dt = 2x dx$ より
$\displaystyle \int \frac{x dx}{(x^2 + b^2)^{n}}$ $\displaystyle =$ $\displaystyle \frac{1}{2}\int \frac{dt}{t^{n}} = \frac{1}{2}\int t^{-n} dt$  
  $\displaystyle =$ $\displaystyle \left\{\begin{array}{ll}
\frac{t^{-n+1}}{2(-n + 1)} + c & (n \neq...
...q 1)\\
\frac{1}{2}\log{\vert x^2 + b^2\vert} + c & ( n = 1)
\end{array}\right.$  

$ (3)$ の証明.

$\displaystyle I_{n} = \int \frac{dx}{(x^{2} + A)^{n}}$ $\displaystyle =$ $\displaystyle \frac{x}{(x^{2}+A)^{n}} + 2n\int\frac{x^{2}dx}{(x^{2}+A)^{n+1}}$  
  $\displaystyle =$ $\displaystyle \frac{x}{(x^{2}+A)^{n}} + 2n\int \frac{x^{2}+A-A}{(x^{2}+A)^{n+1}}dx$  
  $\displaystyle =$ $\displaystyle \frac{x}{(x^{2}+A)^{n}} + 2nI_{n} - 2nAI_{n+1}
\ensuremath{ \blacksquare}$  

例題 3..14  

$ \displaystyle{\int \frac{x^{4}}{x^{3} - 1} dx}$ を求めてみましょう.

例題3.4より

$\displaystyle \frac{x^{4}}{x^3 -1} = x + \frac{1/3}{x -1} + \frac{-x/3 + 1/3}{x^2 + x + 1} $

よって
$\displaystyle \int \frac{x^{4}}{x^3 -1} dx$ $\displaystyle =$ $\displaystyle \int (x + \frac{1/3}{x -1} + \frac{-x/3 + 1/3}{x^2 + x + 1})dx$  
  $\displaystyle =$ $\displaystyle \frac{1}{2}x^{2} + \frac{1}{3}\log{\vert x-1\vert} - \frac{1}{3}[\int \frac{x-1}{x^2 + x+ 1} dx]$  
  $\displaystyle =$ $\displaystyle \frac{1}{2}x^{2} + \frac{1}{3}\log{\vert x-1\vert} - \frac{1}{3}[\int \frac{x-1}{(x +\frac{1}{2})^{2} + \frac{3}{4}} dx]$  

ここで $ \displaystyle{x + \frac{1}{2} = t}$ とおくと,
$\displaystyle \int \frac{x-1}{(x +\frac{1}{2})^{2} + \frac{3}{4}} dx$ $\displaystyle =$ $\displaystyle \int \frac{t - 3/2}{t^2 + (\frac{\sqrt{3}}{2})^{2}} dt$  
  $\displaystyle =$ $\displaystyle \int \frac{t}{t^2 + (\frac{\sqrt{3}}{2})^{2}} dt - \frac{3}{2} \int \frac{1}{t^2 + (\frac{\sqrt{3}}{2})^{2}} dt$  
  $\displaystyle =$ $\displaystyle \frac{1}{2}\log{\vert t^2 + (\frac{\sqrt{3}}{2})^{2}\vert} - \frac{3}{2}\frac{2}{\sqrt{3}}\tan^{-1}{\left(\frac{2t}{\sqrt{3}}\right)} + c$  
  $\displaystyle =$ $\displaystyle \frac{1}{2} \log{\vert x^2 + x+ 1\vert} - \sqrt{3}\tan^{-1}{\left(\frac{2x + 1}{\sqrt{3}}\right)} + c
\ensuremath{ \blacksquare}$  

確認問題


1.
次の関数を部分分数分解しよう.

(a) $ \displaystyle{f(x) = \frac{7}{(x-2)(x+5)} }$ (b) $ \displaystyle{f(x) = \frac{x^2 + 1}{x(x^2 - 1)}}$ (c) $ \displaystyle{f(x) = \frac{x^2 + 3}{x^2 - 3x + 2}}$ (d) $ \displaystyle{f(x) = \frac{x^2}{(x - 1)^2(x + 1)}}$ (e) $ \displaystyle{f(x) = \frac{x^{5}}{(x-2)^2}}$ (f) $ \displaystyle{f(x) = \frac{x+1}{x(x^{2} + 1)}}$

演習問題


1.
次の積分を求めよう.

(a) $ \displaystyle{\int{\frac{7}{(x-2)(x+5)}} dx}$ (b) $ \displaystyle{\int{\frac{x^2 + 1}{x(x^2 - 1)}} dx}$ (c) $ \displaystyle{\int{\frac{x^2 + 3}{x^2 - 3x + 2}} dx}$

(d) $ \displaystyle{\int{\frac{x^2}{(x - 1)^2(x + 1)}} dx}$ (e) $ \displaystyle{\int{\frac{dx}{(x^2 + 16)^2}}}$ (f) $ \displaystyle{\int{\frac{x^{5}}{(x-2)^2}} dx}$

(g) $ \displaystyle{\int{\frac{x^5}{x^9 - 1}} dx   (x^3 = t)}$ (h) $ \displaystyle{\int{\frac{dx}{x(x^4 + 1)}}   (x^4 = t)}$