解析学における微分の連鎖律
📂解析学解析学における微分の連鎖律
定理
f:[a,b]→Rが連続関数であり、x∈[a,b]で微分可能だとしよう。g:f([a,b])→Rがf(x)∈f([a,b])で微分可能だとしよう。そして、h:[a,b]→Rを次のようにする。
h(t)=g(f(t))(a≤t≤b)
そうすると、hはxで微分可能であり、その値は以下の通りである。
h′(x)=g′(f(x))f′(x)
合成関数記号を使用すると、次のようになる。
(g∘f)′(x)=g′(f(x))f′(x)
説明
この結果は一般に連鎖律と呼ばれる。
ここで、f′(x)を内部微分とも呼ぶ。y=f(x)、z=g(y)と置いて、ライプニッツ記号で表すと、次のようになる。
dxdz=dydzdxdy
ライプニッツ記号が便利な理由は、上の式の左辺がまるで右辺を約分したかのように見えるからである。dxdyは「dxのdに対する割合」ではなくyの微分だが、それを分数として扱っても、その意味はピッタリ合っている。
証明
まず、以下のように関数Gを定義しよう。
G(f(t)):={f(x)−f(t)g(f(x))−g(f(t))−g′(f(x))0f(t)=f(x)f(t)=f(x),(t∈[a,b])
すると、すべてのf(t)に対して、次が成り立つ。
f(s)→f(t)limG(f(s))=G(f(t))
これは連続の同値条件であるため、Gは連続関数である。さらに、次が成り立つ。
h(x)−h(t)=g(f(x))−g(f(t))=(f(x)−f(t))(g′(f(x))+G(f(t)))
すると、極限の性質により、以下の式が成り立つ。
h′(x)======= t→xlimx−th(x)−h(t) t→xlimx−t(f(x)−f(t))(g′(f(x))+G(f(t))) t→xlim[g′(f(x))x−tf(x)−f(t)+G(f(t))x−tf(x)−f(t)] t→xlim[g′(f(x))x−tf(x)−f(t)]+t→xlim[G(f(t))x−tf(x)−f(t)] t→xlimg′(f(x))t→xlimx−tf(x)−f(t)+t→xlimG(f(t))t→xlimx−tf(x)−f(t) g′(f(x))f′(x)+0⋅f′(x) g′(f(x))f′(x)
■