定理 6.6 (置換積分法)
積分変数を

と変換すると
|
 |
(853) |
となる.
また逆に
|
 |
(854) |
と積分変数を

と置き換えて積分する.
この積分の方法を
置換積分法(integration by substitution)という.
(証明)関数
を
の原始関数とする.
変数
を
と変数変換する.
このとき
は
合成関数の微分則より
 |
 |
(855) |
となる.両辺を

で積分すると
|
 |
(856) |
を得る.左辺は
 |
(857) |
であるから証明終了.
例 6.7 (置換積分の使用例)
不定積分
 |
 |
(858) |
を計算する.まず
 |
 |
(859) |
と変数変換する.このとき両辺を

で微分すると
 |
 |
(860) |
であるので
 |
 |
(861) |
を得る.これより置換積分法を用いると不定積分は
 |
![$\displaystyle = \int t^{m}\frac{dx}{dt}\,dt= \int t^{m}\frac{1}{a}\,dt= \frac{1...
...[3ex] \displaystyle{\frac{1}{a}\log\vert t\vert+C} & (m=-1) \end{array} \right.$](img1764.png) |
(862) |
となる.変数

を

に戻すと
 |
![$\displaystyle = \left\{ \begin{array}{ll} \displaystyle{\frac{(ax+b)^{m+1}}{a(m...
...x] \displaystyle{\frac{1}{a}\log\vert ax+b\vert+C} & (m=-1) \end{array} \right.$](img1765.png) |
(863) |
を得る.
置換積分は慣れてくれば変数変換を省略して計算をする.
次のように式変形を行なう:
例 6.8 (置換積分の使用例)
 |
 |
(867) |

とおくと

,

より
 |
 |
(868) |
例 6.9 (置換積分の使用例)
 |
 |
(869) |

とおくと

,

より
 |
 |
(870) |
例 6.10 (置換積分の使用例)
 |
 |
(871) |

とおくと

,

より
 |
 |
(872) |
例 6.12 (置換積分の使用例)
 |
 |
(876) |
これで不定積分は得られたが他の表現も考える.
逆双曲線関数は
 |
 |
(877) |
とも表される.これを用いると不定積分は
 |
 |
(878) |
となる.またこれを変形すると
 |
 |
(879) |
となる.

は任意の定数なので

をあらためて

と
おき直すと
 |
 |
(880) |
を得る.
以上得られた結果は
任意定数分の不定性を除けば全て同じ不定積分である.
注意 6.13 (不定積分の関数の表現)
不定積分は計算の方法により得られる結果が一見すると
違うときがある.
これは不定積分が任意定数の不定性をもつためである.
注意が必用である.
Kondo Koichi
平成17年8月31日