[数3]置換積分法｜不定積分と定積分のやり方と違い

置換積分法｜不定積分
\(\displaystyle\int f(g(x))g'(x)dx=\displaystyle\int f(t)\displaystyle \frac{dt}{dx}dx=\displaystyle\int f(t) dt\)

置換積分法｜定積分

\(g(x)=t\)とおくとき、\(g(a)=α,\ g(b)=β\)であれば、
\(\displaystyle\int_a^b f(g(x))g'(x)dx=\displaystyle\int_α^β f(t) dt\)

置換積分法の式の意味

変数\(x\)と\(t\)の間に\(t=g(x)\)という関係があり、\(g(x)\)が微分可能だったとする。このときの関数\(f(t)\)の不定積分\(\displaystyle\int f(t)dt\)について考えてみる。

\(\displaystyle\int f(t)dt=F(t)\)とおくと、\(F'(t)=f(t)\)であるから、\(F(t)\)に\(t=g(x)\)を代入した合成関数を\(x\)で微分すると、下記の式を得られる。

$$F'(g(x))=f(g(x))g'(x)$$

両辺を不定積分すると、

$$\displaystyle\int f(g(x))g'(x)dx=\displaystyle\int F(g(x))=\displaystyle\int f(t)dt$$

置換積分法｜不定積分
\(\displaystyle\int f(g(x))g'(x)dx=\displaystyle\int f(t) dt\)

(1)で考えると、\(f(g(x)=(3x-2)^5\)で\(g(x)=3x-2\)とおくことができそうです。

\(\displaystyle\int f(g(x))g'(x)dx=\displaystyle\int f(t) dt\)より、
\(3x-2=t,\ g'(x)dx=dt\)を代入します。

\(g'(x)=3\)より、\(dx=\displaystyle \frac{1}{3}dt\)です。
以上の式を使うと下記の通り積分できる。

\begin{eqnarray}
\displaystyle\int f(g(x))g'(x)dx &=&\displaystyle\int f(t) dt\\
\displaystyle\int (3x-2)^5 dx&=& \displaystyle\int t^5\cdot \displaystyle \frac{1}{3}dt \\
&=& \displaystyle \frac{1}{3} \cdot \displaystyle \frac{1}{6}t^6\\
&=&\displaystyle \frac{1}{18}(3x-2)^6 \end{eqnarray}

(2) \(\displaystyle\int \sin^4x \cos x dx\)を解いていきましょう。

\(g(x)=\sin x=t\)とおくと、\(g'(x)dx=dt\)より、\(\cos x dx=dt\)となる。
上記の式を代入すると下記の通り積分できる。

\begin{eqnarray}
\displaystyle\int f(g(x))g'(x)dx &=&\displaystyle\int f(t) dt\\
\displaystyle\int \sin^4x \cos x dx &=& \displaystyle\int t^4 dt \\
&=&\displaystyle \frac{1}{5}t^5\\
&=&\displaystyle \frac{1}{5}\sin^5 x
\end{eqnarray}

置換積分法｜定積分 の式の意味

\(f(x),\ g(x),\ g'(x)\)が区間\([a,\ b]\)で連続であるとすると、不定積分の置換積分法より、下記の式が得られる。

$$\displaystyle\int f(g(x))g'(x)dx=\displaystyle\int f(t) dt$$

したがって、

$$\displaystyle\int_a^b f(g(x))g'(x)dx=\left[F(g(x) \right]_a^b=F(g(b))-F(g(a))$$

一方で、\(g(a)=α,\ g(b)=β\)とおくと下記の式を得られる。

$$\displaystyle\int_α^β f(t)dt=\left[ F(t)\right]_α^β=F(g(b))-F(g(a))$$

以上より、置換積分法の公式が得られる。

$$\displaystyle\int_a^b f(g(x))g'(x)dx=\displaystyle\int_α^β f(t)dt$$

(1) \(\displaystyle\int_1^2 (2x-3)^4dx\)

\(2x-3=t\)とおくと、\((2x-3)’dx=dt\)より、\(dx=\displaystyle \frac{1}{2}dt\)である。
\(x\)の範囲は\(1\rightarrow2\)なので、\(t\)の範囲は下記の計算より、\(-1\rightarrow1\)となる。

\begin{eqnarray}
2x-3&=&t\ より\\
x&=&1\rightarrow 2\cdot1-3=-1\\
x&=&2\rightarrow 2\cdot2-3=1 \end{eqnarray}

以上を代入すると、下記の積分の式が得られる。

\begin{eqnarray}
\displaystyle\int_a^b f(g(x))g'(x)dx&=&\displaystyle\int_α^β f(t)dt
\displaystyle\int_1^2 (2x-3)^4dx &=& \displaystyle\int_{-1}^1 \displaystyle \frac{1}{2} t^4dt \\
&=& \left[ \displaystyle \frac{1}{2}\cdot\displaystyle \frac{1}{5}t^5\right]_{-1}^1\\
&=&\displaystyle \frac{1}{10}(1^5-(-1)^5)\\
&=&\displaystyle \frac{1}{10}\cdot 2\\
&=&\displaystyle \frac{1}{5}
\end{eqnarray}

(2) \(\displaystyle\int_1^e \displaystyle \frac{\log x}{x}\)

\(\log x=t\)とおくと、\((\log x)’dx=dt\)より\(\displaystyle \frac{1}{x}dx=dt\)

\(x\)の範囲が\(1\rightarrow e\)なので、\(\log x=t\)に代入すると、下記の式より\(t\)の範囲は\(0\rightarrow 1\)となる。

\begin{eqnarray} \log 1 &=& 0 \\
\log e&=& 1 \end{eqnarray}

以上より、積分を計算する。

\begin{eqnarray}
\displaystyle\int_a^b f(g(x))g'(x)dx&=&\displaystyle\int_α^β f(t)dt\\
\displaystyle\int_1^e \displaystyle \frac{\log x}{x} dx&=& \displaystyle\int_0^1 t\ dt\\
&=&\left[ \displaystyle \frac{1}{2}t^2\right]_0^1\\
&=&\displaystyle \frac{1}{2}(1^2-0^2)\\
&=&\displaystyle \frac{1}{2} \end{eqnarray}