2.5 置換積分

次に部分積分と同様によく用いられるテクニックである置換積分について紹介する.

Theorem 2.7 (置換積分) 区間I=[a,b]で定義された関数f(x)の定積分を考える.このとき,関数g(t)が単調かつ,a=g(α),b=g(β)とする. このとき,x=g(t)とすることで,次が成り立つ.

baf(x)dx=βαf(g(t))dxdtdt=βαf(g(t))g(t)dt

一方,baf(h(x))dxに対して,t=h(x)という変換を行う場合は,

baf(h(x))dx=h(a)h(b)f(t)1dt/dxdt=f(t)1h(h1(t))dt

となる.これらの式変形を置換積分という.

証明は(椎名・姫野・保科 2019)を参照のこと.

置換積分は,積分変数をある関数によって変換した先の空間で積分することを考えている. もし変換後の方が積分が求めやすければ問題なさそうであるが, 実際求めたいのはもとの空間での積分(面積)であるので,もともとの空間と置換した際の関数によって 写された先の空間の面積の関係を考慮しなければならない.その比率がdx/dtとして表されているのである.

References

椎名・姫野・保科. 2019. データサイエンスのための数学. データサイエンス入門シリーズ. 講談社サイエンティフィク.