微分積分学において置換積分(ちかんせきぶん, 英語: Integration by substitution)は、変数変換を用いて積分を計算する積分法である。

一変数の置換

不定積分の置換積分

連続関数 f(x) と微分可能関数 x = g(t) について次の等式が成り立つ。

f ( x ) d x = f ( g ( t ) ) g ( t ) d t . {\displaystyle \int f(x)\,dx=\int f(g(t))g'(t)\,dt.}

導出には以下のように連鎖律と微分積分学の基本定理を用いる。

d d t f ( x ) d x = d d x f ( x ) d x d x d t = f ( x ) g ( t ) = f ( g ( t ) ) g ( t ) = d d t f ( g ( t ) ) g ( t ) d t . {\displaystyle {\begin{aligned}{\frac {d}{dt}}\int f(x)\,dx&={\frac {d}{dx}}\int f(x)\,dx\cdot {\frac {dx}{dt}}\\&=f(x)g'(t)=f(g(t))g'(t)\\&={\frac {d}{dt}}\int f(g(t))g'(t)\,dt.\end{aligned}}}

この等式から変換公式の両辺の不定積分は t で微分したときに等しいことから、定数項の違いを除いて等しいことが帰結される。

また、変換公式は形式的に f(x) = f(g(t)) と dx = g'(t) dt に分けて考えることができる。後者は厳密には微分形式の理論によって正当化され、後述する多変数の置換積分と併せて積分の変数変換を一般化する。

定積分の置換積分

定積分で変数変換する際には、以下のように積分区間も変換される。

g ( a ) g ( b ) f ( x ) d x = a b f ( g ( t ) ) g ( t ) d t . {\displaystyle \int _{g(a)}^{g(b)}f(x)\,dx=\int _{a}^{b}f(g(t))g'(t)\,dt.}

例1

0 2 x cos ( x 2 1 ) d x . {\displaystyle \int _{0}^{2}x\cos(x^{2} 1)\,dx.}

u = x2 1 で x から u に変数変換する。ここで、du = 2x dx なので x dx = (1/2)du である。また、x = 0 に対して u = 02 1 = 1 であり、x = 2 に対して u = 22 1 = 5 であるので、

x = 0 x = 2 x cos ( x 2 1 ) d x = 1 2 u = 1 u = 5 cos ( u ) d u = 1 2 ( sin ( 5 ) sin ( 1 ) ) {\displaystyle {\begin{aligned}\int _{x=0}^{x=2}x\cos(x^{2} 1)\,dx&{}={\frac {1}{2}}\int _{u=1}^{u=5}\cos(u)\,du\\&{}={\frac {1}{2}}(\sin(5)-\sin(1))\end{aligned}}}

と計算できる。

例2

0 1 1 x 2 d x . {\displaystyle \int _{0}^{1}{\sqrt {1-x^{2}}}\,dx.}

x = sin(u) で x から u に変数変換する。このとき、dx = cos(u) du である。また、0 = sin(0) および 1 = sin(π/2) であることから積分区間を [0, π/2] に変換すると、この区間において |cos(u)| = cos(u) であることに注意して、

0 1 1 x 2 d x = 0 π 2 1 sin 2 ( u ) cos ( u ) d u = 0 π 2 | cos ( u ) | cos ( u ) d u = 0 π 2 cos 2 ( u ) d u = ( u 2 sin ( 2 u ) 4 ) | 0 π 2 = π 4 0 = π 4 {\displaystyle {\begin{aligned}\int _{0}^{1}{\sqrt {1-x^{2}}}\,dx&=\int _{0}^{\frac {\pi }{2}}{\sqrt {1-\sin ^{2}(u)}}\cos(u)\,du\\&=\int _{0}^{\frac {\pi }{2}}|\cos(u)|\cos(u)\,du=\int _{0}^{\frac {\pi }{2}}\cos ^{2}(u)\,du\\&={\Bigg (}{{\frac {u}{2}} {\frac {\sin(2u)}{4}}{\Bigg )}{\Bigg \vert }\,}_{0}^{\frac {\pi }{2}}={\frac {\pi }{4}} 0={\frac {\pi }{4}}\end{aligned}}}

と計算できる。

多変数の置換

x=φ(u,v),y=ψ(u,v)と変数変換すると

f ( x , y ) d x d y = f ( ϕ ( u , v ) , ψ ( u , v ) ) | J | d u d v {\displaystyle \iint f(x,y)dxdy=\iint f(\phi (u,v),\psi (u,v))|J|dudv}

ここで、

J = ( x , y ) ( u , v ) = det ( x u x v y u y v ) {\displaystyle J={\frac {\partial (x,y)}{\partial (u,v)}}=\det \left({\begin{matrix}{\frac {\partial {x}}{\partial {u}}}&{\frac {\partial {x}}{\partial {v}}}\\{\frac {\partial {y}}{\partial {u}}}&{\frac {\partial {y}}{\partial {v}}}\end{matrix}}\right)}

はヤコビアン(ヤコビ行列の行列式である。)

これは形式的に d x d y = | J | d u d v {\displaystyle dxdy=|J|dudv} と書ける。

脚注

注釈

出典

文献

  • 加藤文元『大学教養 微分積分』数研出版〈数研講座シリーズ〉、2019年11月1日。ISBN 978-4-410-15229-0。 

関連項目

  • 微分積分学の基本定理

置換積分の計算方法のコツとその本質【いくつかのパターン別に解説】 クマの数学日記

函数の極限 JapaneseClass.jp

【高校数学Ⅲ】置換積分①(導入) YouTube

積分計算 置換積分・tanで置換するタイプ YouTube

置換積分|GUIの物置場