不定積分(indefinite integrals)

ある区間で定義されている関数 $ f(x)$ に対して,この区間のすべての $ x$ について

$\displaystyle F^{\prime}(x) = f(x) $

が成り立つような関数 $ F(x)$$ f(x)$原始関数(primitive function) といいます.例えば, $ \displaystyle{(\frac{x^{3}}{3})^{\prime} = x^{2}}$ なので, $ \displaystyle{\frac{x^{3}}{3}}$ $ \displaystyle{f(x) = x^{2}}$ の原始関数です.同様に, $ \displaystyle{(\frac{x^{3}}{3} + 1)^{\prime} = x^2}$ となるので $ \displaystyle{\frac{x^{3}}{3} + 1}$ $ \displaystyle{f(x) = x^2}$ の原始関数です.ここで定数 $ C$ の導関数は0であることに注意すると $ \displaystyle{(\frac{x^{3}}{3} + C)^{\prime} = x^2}$ となり, $ \displaystyle{\frac{x^{3}}{3} + C}$ $ \displaystyle{f(x) = x^2}$ の原始関数です.この他にも $ \displaystyle{f(x) = x^2}$ の原始関数はあるのでしょうか.そんな疑問に次の定理は答えてくれます.

定理 3..1  

$ F(x)$$ f(x)$ の原始関数の $ 1$つとすると, $ f(x)$ のすべての原始関数は $ F(x) + c$ の形で与えられる.ただし $ c$ は任意の定数である.


証明 $ G(x)$$ f(x)$ の任意の原始関数とすると, $ G^{\prime}(x) = f(x)$ なので, $ G^{\prime}(x) = F^{\prime}(x)$ となります.したがって,系2.4より

$\displaystyle G(x) = F(x) + c  (c :$   定数$\displaystyle ) $

また, $ F(x) + c$$ f(x)$ の原始関数であることは $ (F(x) + c)^{\prime} = F^{\prime}(x)$ より明らかです. $  \blacksquare$

$ f(x)$ の原始関数全体を $ f(x)$不定積分(indefinite integral) といい, $ \int f(x)dx$ で表わします.つまり, $ F(x)$$ f(x)$ の原始関数の1つならば定理3.1より,

$\displaystyle \int f(x) dx = F(x) + c  (c :$   定数$\displaystyle ) $ (3.1)

となります.また, $ f(x)$ の不定積分を求めることを, $ f(x)$積分する(integrate) といい,式3.1 に出てくる定数 $ c$積分定数(constant of integration) といいます..なお不定積分を求めることができるできるということは,原始関数を初等関数だけを用いて表わすことができるということです.

原始関数の定義をみると,変数が $ x$ であることは特別重要なことではないことに気づきます.例えば,関数 $ f(t)$ を考えてみてください.ここで $ t$ についての導関数が $ F^{\prime}(t) = f(t)$ となる関数 $ F(t)$ があれば,これは $ f(t)$ の原始関数となり,

$\displaystyle \int f(t) dt = F(t) + c $

が成り立ちます.このように $ dx$$ dt$ はどの変数について積分したかを表わしていて,ダミー変数(dummy variable) とよばれます.

ここで,不定積分とは何かが分ったと思いますので,次の例題を見てみましょう.

例題 3..1  

$ \int (\cos{x} + \sec^{2}{x}) dx$ を求めてみましょう.

$ F'(x) = \cos{x} + \sec^{2}{x}$ となる $ F(x)$ を求めます.

$\displaystyle (\sin{x})' = \cos{x},  (\tan{x})' = \sec^{2}{x} $

また,和の導関数は導関数の和より

$\displaystyle (\sin{x} + \tan{x})' = \cos{x} + \sec^{2}{x} $

よって,

$\displaystyle F(x) = \sin{x} + \tan{x} + c  \ensuremath{ \blacksquare}$

例題 3..2  

$ \int (\sec{x}\tan{x} + \frac{1}{x}) dx$ を求めてみましょう.

$ F'(x) = \sec{x}\tan{x} + \frac{1}{x}$ となる $ F(x)$ を求めます.

$\displaystyle (\sec{x})' = \sec{x}\tan{x},  (\log{x})' = \frac{1}{x} $

また,和の導関数は導関数の和より

$\displaystyle (\sec{x} + \log{x})' = \sec{x}\tan{x} + \frac{1}{x} $

よって,

$\displaystyle F(x) = \sec{x} + \log{x} + c  \ensuremath{ \blacksquare}$

次に不定積分を求めるのに有用な基本的な公式をあげておきます.これらは右辺を微分することにより確かめることができます.

定理 3..2  

[積分公式]  
$ \displaystyle{(1)  \int x^{\alpha} dx = \frac{x^{\alpha + 1}}{\alpha + 1} + c  (\alpha \neq -1) }$

$ \displaystyle{(2)  \int \frac{1}{x} dx = \log{\vert x\vert} + c}$

$ \displaystyle{(3)  \int e^{x} dx = e^{x} + c }$

$ \displaystyle{(4)  \int \sin{x}dx = -\cos{x} + c}$

$ \displaystyle{(5)  \int \cos{x} dx = \sin{x} + c }$

$ \displaystyle{(6)  \int \tan{x} dx = \log{\vert\sec{x}\vert} + c}$

$ \displaystyle{(7)  \int \sec^{2}{x}dx = \int \frac{1}{\cos^{2}{x}} = \tan{x} + c}$

$ \displaystyle{(8)  \int {\rm cosec}^{2}{x}dx = \int \frac{1}{\sin^{2}{x}} = -\cot{x} +c}$

$ \displaystyle{(9)  \int \frac{dx}{x^{2}-a^{2}} = \frac{1}{2a}\log{\vert\frac{x-a}{x+a}\vert} + c}$

$ \displaystyle{(10)  \int \frac{dx}{x^{2}+a^{2}} = \frac{1}{a}\tan^{-1}{\frac{x}{a}} + c}$

$ \displaystyle{(11)  \int \frac{dx}{\sqrt{a^{2}-x^{2}}} = \sin^{-1}{\frac{x}{a}} + c }$

$ \displaystyle{(12)  \int \frac{dx}{\sqrt{x^{2} + A}} = \log{\vert x + \sqrt{x^{2} + A}\vert} + c}$


証明 (1) $ \displaystyle{(\frac{x^{\alpha + 1}}{\alpha + 1} + c)^{\prime} = x^{\alpha}}$ より $ \displaystyle{\int x^{\alpha} dx = \frac{x^{\alpha + 1}}{\alpha + 1} + c}$
以下同様にして証明できます. $  \blacksquare$

積分公式の(1)から(5)までは是非覚えましょう.(6)から(12)までは次に習う置換積分を用いることにより導くことができるので,できれば導き方を学びましょう.

積分公式を使って積分をするとき,次の定理は便利です.

定理 3..3  

連続関数 $ f(x),g(x)$ において,次の式が成り立つ.

$ \displaystyle{(1)  \int\{f(x) \pm g(x)\}dx = \int f(x)dx \pm \int g(x)dx}$

$ \displaystyle{(2)  \int cf(x)dx = c\int f(x)dx}$


証明

$\displaystyle \frac{d}{dx}(\int f(x)dx \pm \int g(x)dx)$ $\displaystyle =$ $\displaystyle \frac{d}{dx}\int f(x)dx \pm \frac{d}{dx}\int g(x)dx$  
  $\displaystyle =$ $\displaystyle f(x) \pm g(x)$  

これより, $ \int f(x)dx \pm \int g(x)dx$ $ f(x) \pm g(x)$ の不定積分です. (2)の証明も同様にできます. $  \blacksquare$

例題 3..3  

$ f^{\prime\prime}(x) = 6x - 2, f^{\prime}(1) = -5,  f(1) = 3$である$ f(x)$を求めてみましょう.

まず,$ f''$を積分することにより $ f^{\prime}$を求めます.

$\displaystyle f^{\prime}(x) = \int f^{\prime\prime}(x)dx = \int {(6x -2)}dx = 3x^{2} - 2x + c$

ここで,初期条件 $ f^{\prime}(1) = -5$より, $ -5 = f^{\prime}(1) = 3 - 2 + c$.したがって,$ c = -6$.これより, $ f^{\prime}(x) = 3x^{2} - 2x - 6$となります.

次に, $ f^{\prime}$を積分して$ f$を求めます.

$\displaystyle f(x) = \int f^{\prime}(x)dx = \int{(3x^{2} - 2x - 6)} dx = x^{3} - x^{2} - 6x + K, \ K$   積分定数

ここで,初期条件$ f(1) = 3$より, $ 3 = f(1) = 1 - 1 - 6 + K$. したがって,$ K = 9$.これより, $ f(x) = x^{3} - x^{2} - 6x + 9$ $  \blacksquare$

例題 3..4  

$ \displaystyle{\int (3\sin{x} + x^2)dx}$ を求めてみましょう.


$\displaystyle \int(3\sin{x} + x^2)dx$ % latex2html id marker 67653
$\displaystyle \underbrace{=}_{定理\ref{teiri:int}(1)}$ $\displaystyle \int 3\sin{x} dx + \int x^2 dx$  
  % latex2html id marker 67657
$\displaystyle \underbrace{=}_{定理\ref{teiri:int}(2)}$ $\displaystyle 3\int \sin{x} dx + \int x^2 dx$  
  % latex2html id marker 67661
$\displaystyle \underbrace{=}_{定理\ref{teiri:koushiki}}$ $\displaystyle -3\cos{x} + \frac{x^3}{3} + c
\ensuremath{ \blacksquare}$  

確認問題


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

(a) $ \displaystyle{\int (2x-3) dx }$ (b) $ \displaystyle{\int 5x^{4} dt}$ (c) $ \displaystyle{\int \sqrt[3]{x^{2}} dx}$ (d) $ \displaystyle{\int \frac{1}{\sqrt{x}} dx}$

(e) $ \displaystyle{\int \frac{\sin{x}}{\cos{x}} dx}$ (f) $ \displaystyle{\int \frac{1}{\cos^{2}x} dx}$ (g) $ \displaystyle{\int \sin^{2}{x} dx}$ (h) $ \displaystyle{\int \frac{1}{x^{2} - 4} dx}$

(i) $ \displaystyle{\int \frac{1}{x^{2}+4}dx }$

演習問題


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

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

(d) $ \displaystyle{\int \frac{x^{3} + 1}{\sqrt{x}} dx}$ (e) $ \displaystyle{\int \frac{x^{2} + 5}{x^{2} + 4} dx}$ (f) $ \displaystyle{\int \frac{1}{\sqrt{4 - t^{2}}} dt}$ (g) $ \displaystyle{\int \cos^{2}{x} dx}$

(h) $ \displaystyle{\int \frac{1}{\sqrt{t^{2} + 4}} dt}$ (i) $ \displaystyle{\int \frac{1}{4 - x^{2}}dx }$