関数\( f(x) \)について\( x=g(t) \) という関数に対し \( f(g(t)) \) が合成関数です。
関数\(f(x)\)は連続、関数\(g(t)\)は微分可能、導関数\(g'(t)\)は連続とします。
この合成関数の微分を以下のように積分に応用していきます。
\( F(x)=\int f(x)\ dx \) , \( x=g(t)\), \(\ f(x)=f(g(t))\) とします。
下式は合成関数の微分式です。
\(\frac{dF(x)}{dt}=\frac{dF}{dx} \frac{dx}{dt}\)\(=f(x) \frac{dx}{dt}\)\(=f(x)\ g'(t)\) \(=f(g(t))\ g'(t) \)
上式は「Fのtの微分」=「Fをxで微分,そのxをtで微分」= \( \cdots\) のように式変形してく
の式が成り立ちます。
これより、以下の公式が導き出せる。
\(F(x)= \color{red}{ \int f(x)dx} =\int f(x) \frac {dx}{dt} dt \)
\( =\int f(g(t)) \frac {dx}{dt} dt =\color{red}{\int f(g(t)) g’(t)dt} \)
公式❶:置換積分の基本公式
\(\int f\scriptsize{(x)}dx= \int f\scriptsize{(g(t))} \underline{\frac {dx}{dt} dt}\)
\(=\int f\scriptsize{(g(t))} \underline{g’(t) dt}\)
積分はある曲線fで囲まれた面積を示すが, 変数を\(x \to t\) に換えた後も面積が同じになるような調整機能を持つのが
\(\frac {dx}{dt}=g'(t)\)です。