blue271828's misc :-)

置換積分

置換積分とは

置換積分 (英:integration by substitution) とは、連鎖律を用いた積分の計算手法のこと。

不定積分の置換積分

f(x) dx=f(g(t))ddtg(t) dt(x=g(t)) \int f(x)~dx = \int f(g(t))\frac{d}{dt}g(t)~dt \quad (x=g(t))


不定積分の置換積分の導出:

F(x)=f(x) dx+Cf(x)=dF(x)dx=dF(g(t))dg(t)dg(t)dt(x=g(t))=f(g(t))ddtg(t)f(x) dx=f(g(t))ddtg(t) dt \begin{aligned} F(x) &= \int f(x)~dx + C \\ \\ f(x) &= \frac{dF(x)}{dx} \\ &= \frac{dF(g(t))}{dg(t)}\cdot\frac{dg(t)}{dt} \quad (x=g(t)) \\ &= f(g(t))\frac{d}{dt}g(t) \\ \\ \therefore \int f(x)~dx &= \int f(g(t))\frac{d}{dt}g(t)~dt \end{aligned}

定積分の置換積分

abf(x) dx=g1(a)g1(b)f(g(t))ddtg(t) dt(x=g(t)) \int_{a}^{b}f(x)~dx = \int_{g^{-1}(a)}^{g^{-1}(b)} f(g(t))\frac{d}{dt}g(t)~dt \quad (x=g(t))


定積分の置換積分の導出:

x=g(t)x=g(t) により、[a,b][a,b] の置換積分後の積分区間を [α,β][\alpha,\beta] とすると、

a=g(α)α=g1(a)b=g(β)β=g1(b) \begin{aligned} a &= g(\alpha)\rArr\alpha=g^{-1}(a) \\ b &= g(\beta)\rArr\beta=g^{-1}(b) \\ \end{aligned}

よって、

abf(x) dx=αβf(g(t))ddtg(t) dt=g1(a)g1(b)f(g(t))ddtg(t) dtabf(x) dx=g1(a)g1(b)f(g(t))ddtg(t) dt \begin{aligned} \int_{a}^{b}f(x)~dx &= \int_{\alpha}^{\beta} f(g(t))\frac{d}{dt}g(t)~dt \\ &= \int_{g^{-1}(a)}^{g^{-1}(b)} f(g(t))\frac{d}{dt}g(t)~dt \\ \\ \therefore \int_{a}^{b}f(x)~dx &= \int_{g^{-1}(a)}^{g^{-1}(b)} f(g(t))\frac{d}{dt}g(t)~dt \end{aligned}

関連記事

Tags

#Ansible (3) #Bash (1) #Docker (1) #Git (2) #Hugo (2) #Molecule (1) #Python (1) #WSLtty (1) #アルゴリズム (4) #ビジネス用語 (1) #プログラミング (1) #位相空間論 (8) #初等数学 (20) #初等関数 (1) #実解析 (1) #幾何学 (3) #微分積分学 (18) #情報理論 (4) #抽象代数学 (14) #数理モデル (2) #数理論理学 (21) #機械学習 (3) #正規表現 (1) #測度論 (3) #特殊関数 (4) #確率論 (18) #組合せ論 (5) #統計学 (12) #線型代数学 (18) #複素解析学 (4) #解析学 (15) #論理学 (6) #順序集合論 (9)