連鎖律
| class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = 解析学 | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded =
| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =
テンプレート:Endflatlistテンプレート:Startflatlist
| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =
| 定義 |
|---|
| テンプレート:Endflatlist |
| 概念 |
| テンプレート:Endflatlist |
| 法則と恒等式 |
| テンプレート:Endflatlist |
| list3name = integral | list3title = テンプレート:Bigger | list3 =
| 定義 |
|---|
| Integration by |
| list4name = series | list4title = テンプレート:Bigger | list4 =
| 収束判定法 |
|---|
| list5name = vector | list5title = テンプレート:Bigger | list5 =
| 定理 |
|---|
| list6name = multivariable | list6title = テンプレート:Bigger | list6 =
| Formalisms |
|---|
| 定義 |
| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist
}}微分法において連鎖律（れんさりつ、英: chain rule）とは、複数の関数が合成された合成関数を微分するとき、その導関数がそれぞれの導関数の積で与えられるという関係式のこと。
概要
[math]f [/math]、[math]g [/math]を微分可能な関数とするとき、合成関数[math] f \circ g[/math]の導関数に対して成り立つ関係式
- [math] (f \circ g)'(x) = (f(g(x)))' = f'(g(x)) g'(x)[/math]
を、連鎖律という。ライプニッツの記法では
- [math]\frac {df}{dx} = \frac {df} {dg} \cdot \frac {dg}{dx}[/math]
となる。積分法においては、置換積分に対応する。
例
例1
- [math]\begin{cases}y = \log {u}\\ u = \cos {x} \end{cases} [/math]
[math]y = \log ({\cos {x}})[/math] を [math]x[/math] について微分する。連鎖律より
- [math]\frac{dy}{dx}=\frac{dy}{du} \cdot \frac{du}{dx}[/math]
である。導関数 dy/du および du/dx を求める：
- [math] \frac{dy}{du} = \frac{1}{u} \,[/math]
- [math] \frac{du}{dx} = - \sin{x} \, [/math]
したがって
- [math]\frac{dy}{dx} = \frac{1}{u} \cdot (- \sin{x}) = -\frac{\sin{x}}{u} = -\frac{\sin{x}}{\cos {x}} = -\tan{x}[/math]
となる。
間違った証明
微分の定義より
- [math] \begin{align} (f \circ g)'(a) ~ &= \lim_{x \rightarrow a} {(f \circ g)(x) - (f \circ g)(a) \over x - a} \\ &= \lim_{x \rightarrow a} {f(g(x)) - f(g(a)) \over x - a} \\ &= \lim_{x \rightarrow a} \left [ {f(g(x)) - f(g(a)) \over g(x) - g(a)} \cdot {g(x) - g(a) \over x - a}\right ] \\ &= \lim_{x \rightarrow a} {f(g(x)) - f(g(a)) \over g(x) - g(a)} \cdot \lim_{x \rightarrow a} {g(x) - g(a) \over x - a} \\ &= f'(g(a)) \cdot g'(a) \end{align} [/math]
となる。これは一見正しそうに見えるかもしれないが、[math]a[/math] のどれだけ近いところにも [math]g(x)=g(a)[/math] となる [math]x[/math] が存在する場合（例えば [math]g(x)[/math] が定数関数の場合）には、0除算が含まれるため、この証明は誤りである。
証明
上の間違った証明を"修正"して正しい証明にするには、例えば次のようにする。
微分の定義より：
- [math](f \circ g)'(a) = \lim_{x \to a} \frac{f(g(x)) - f(g(a))}{x - a}.[/math]
しばらくの間 g(x) は a の近くの任意の x に対して g(a) と等しくないと仮定する。すると上の式は2つの因子の積に等しい：
- [math]\lim_{x \to a} \frac{f(g(x)) - f(g(a))}{g(x) - g(a)} \cdot \frac{g(x) - g(a)}{x - a}.[/math]
g が a の近くで振動するとき、a にいくら近づいても常に、さらに近い x が存在して g(x) が g(a) に等しいということが起こり得る。例えば、これは g(x) = x2sin(1 / x) に対して点 a = 0 の近くで起こる。これが起こるときにはいつでも、上の式は0による割り算を含むから定義されない。これに対処するためには、次のように関数 Q を導入する：
- [math]Q(y) = \begin{cases} \frac{f(y) - f(g(a))}{y - g(a)}, & y \neq g(a), \\ f'(g(a)), & y = g(a). \end{cases}[/math]
f ∘ g に対応する差分商は常に次に等しいことをこれから証明する：
- [math]Q(g(x)) \cdot \frac{g(x) - g(a)}{x - a}.[/math]
g(x) が g(a) に等しくないときにはいつでも、g(x) − g(a) という因子は打ち消し合うから明らかである。g(x) が g(a) に等しいときには、f(g(x)) は f(g(a)) に等しいから f ∘ g の微分商は 0 であり、上の積は f′(g(a)) 掛ける 0 に等しいから 0 である。なので上の積はつねに微分商に等しい。 f ∘ g の a における微分が存在することを示しその値を決定するためには、上の積の x が a に行くときの極限が存在することを示しその値を決定するだけでよい。
これをするために、積の極限はその因子の極限が存在すれば存在することを思い出そう。これが起こるとき、これら 2 つの因子の積の極限は因子の極限の積に等しくなる。2つの因子は Q(g(x)) と (g(x) − g(a)) / (x − a) である。後者は g の a における微分商であり、仮定により g は a において微分可能であるので、x が a に向かうときのその極限は存在し g′(a) に等しい。
Q(g(x)) を調べることが残っている。Q は f が定義されているときにはいつでも定義されている。さらに、仮定により f は g(a) において微分可能なので、Q は g(a) において連続である。g は a において微分可能であるから a において連続であり、それゆえ Q ∘ g は a において連続である。なので x が a に行くときのその極限は存在し、 Q(g(a)) に等しく、それは f′(g(a)) である。
これで両方の因子の極限が存在しそれらはそれぞれ f′(g(a)) と g′(a) に等しいことが示された。したがって f ∘ g の a における微分は存在し f′(g(a))g′(a) に等しい。