logo

解析学における微分の連鎖律 📂解析学

解析学における微分の連鎖律

定理1

f:[a,b]Rf :[a,b] \to \mathbb{R}が連続関数であり、x[a,b]x\in [a,b]微分可能だとしよう。g:f([a,b])Rg : f([a,b])\to \mathbb{R}f(x)f([a,b])f (x)\in f([a,b])で微分可能だとしよう。そして、h:[a,b]Rh : [a,b] \to \mathbb{R}を次のようにする。

h(t)=g(f(t))(atb) h(t)=g\left( f(t) \right)\quad (a\le t \le b)

そうすると、hhxxで微分可能であり、その値は以下の通りである。

h(x)=g(f(x))f(x) h^{\prime}(x)=g^{\prime}(f(x))f^{\prime}(x) 合成関数記号を使用すると、次のようになる。 (gf)(x)=g(f(x))f(x) ( g \circ f)^{\prime}(x)=g^{\prime}(f(x))f^{\prime}(x)

説明

この結果は一般に連鎖律と呼ばれる。

ここで、f(x)f^{\prime}(x)を内部微分とも呼ぶ。y=f(x)y=f(x)z=g(y)z=g(y)と置いて、ライプニッツ記号で表すと、次のようになる。 dzdx=dzdydydx \frac{dz}{dx}=\frac{dz}{dy}\frac{dy}{dx}

ライプニッツ記号が便利な理由は、上の式の左辺がまるで右辺を約分したかのように見えるからである。dydx\dfrac{dy}{dx}は「dxのdに対する割合」ではなくyy微分だが、それを分数として扱っても、その意味はピッタリ合っている。

証明

まず、以下のように関数GGを定義しよう。

G(f(t)):={g(f(x))g(f(t))f(x)f(t)g(f(x))f(t)f(x)0f(t)=f(x),(t[a,b]) G(f(t)) :=\begin{cases} \frac{g(f(x))-g(f(t))}{f(x)-f(t)} -g^{\prime}(f(x)) & f(t) \ne f(x) \\ 0 & f(t)=f(x)\end{cases},\quad (t\in[a,b])

すると、すべてのf(t)f(t)に対して、次が成り立つ。

limf(s)f(t)G(f(s))=G(f(t)) \lim \limits_{ f(s) \to f(t) } G(f(s))=G(f(t))

これは連続の同値条件であるため、GGは連続関数である。さらに、次が成り立つ。

h(x)h(t)=g(f(x))g(f(t))=(f(x)f(t))(g(f(x))+G(f(t))) h(x)-h(t) = g(f(x))-g(f(t))=\Big( f(x)-f(t) \Big) \Big( g^{\prime}(f(x))+G(f(t)) \Big)

すると、極限の性質により、以下の式が成り立つ。

h(x)= limtxh(x)h(t)xt= limtx(f(x)f(t))(g(f(x))+G(f(t)))xt= limtx[g(f(x))f(x)f(t)xt+G(f(t))f(x)f(t)xt]= limtx[g(f(x))f(x)f(t)xt]+limtx[G(f(t))f(x)f(t)xt]= limtxg(f(x))limtxf(x)f(t)xt+limtxG(f(t))limtxf(x)f(t)xt= g(f(x))f(x)+0f(x)= g(f(x))f(x) \begin{align*} h^{\prime}(x) =&\ \lim \limits_{t \to x} \frac{ h(x)-h(t)}{x-t} \\ =&\ \lim \limits_{t \to x} \frac{ \Big( f(x)-f(t) \Big) \Big( g^{\prime}(f(x))+G(f(t)) \Big)}{x-t} \\ =&\ \lim \limits_{t \to x} \left[ g^{\prime}(f(x))\frac{ f(x)-f(t) }{x-t}+G(f(t))\frac{f(x)-f(t) }{x-t} \right] \\ =&\ \lim \limits_{t \to x} \left[ g^{\prime}(f(x))\frac{ f(x)-f(t) }{x-t}\right]+\lim \limits_{t \to x} \left[G(f(t))\frac{ f(x)-f(t) }{x-t} \right] \\ =&\ \lim \limits_{t \to x} g^{\prime}(f(x))\lim \limits_{t \to x}\frac{ f(x)-f(t) }{x-t}+\lim \limits_{t \to x}G(f(t))\lim \limits_{t \to x}\frac{ f(x)-f(t) }{x-t} \\ =&\ g^{\prime}(f(x))f^{\prime}(x)+0\cdot f^{\prime}(x) \\ =&\ g^{\prime}(f(x))f^{\prime}(x) \end{align*}


  1. ウォルター・ルーディン, 数学分析の原理 (第3版, 1976), p105 ↩︎