微分法において連鎖律(れんさりつ、英: chain rule)あるいは合成関数の微分公式とは、複数の関数が合成された合成関数を微分するとき、その導関数がそれぞれの導関数の積で与えられるという関係式のこと。
を開区間
上の微分可能な関数、
を開区間
上の微分可能な関数とするとき、
と
が合成可能(つまり
)ならば合成関数
も開区間
上で微分可能であり、導関数は関係式
![{\displaystyle (f\circ g)'(x)=f'(g(x))g'(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a60653cc882ecc1507f0fbc122b32ed69434799d)
を満たす。これを連鎖律という。ライプニッツの記法では
![{\displaystyle {\frac {df}{dx))={\frac {df}{dg))\cdot {\frac {dg}{dx))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d89a3475a6e57343c921475b16b9d41b60c98304)
となる。積分法においては、置換積分に対応する。
![{\displaystyle {\begin{cases}y=\log {u}\\u=\cos {x}\end{cases))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/352cbe1d8bcee2ad210ac06783801f2c4818ebc7)
を
について微分する。連鎖律より
![{\displaystyle {\frac {dy}{dx))={\frac {dy}{du))\cdot {\frac {du}{dx))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/955d845cb30bede7b50f3b9bef5e07e613e4373f)
である。導関数 dy/du および du/dx を求める:
![{\displaystyle {\frac {dy}{du))={\frac {1}{u))\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/414f229e4d77bcfb22fd2c4d3610eab8739527a0)
![{\displaystyle {\frac {du}{dx))=-\sin {x}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/510f23bb26cdfe42ad6f3b75ea667d567abc72b3)
したがって
![{\displaystyle {\frac {dy}{dx))={\frac {1}{u))\cdot (-\sin {x})=-{\frac {\sin {x)){u))=-{\frac {\sin {x)){\cos {x))}=-\tan {x))](https://wikimedia.org/api/rest_v1/media/math/render/svg/2590b42233c2d8acbae322b66fb940ec3c012638)
となる。
微分の定義より
![{\displaystyle {\begin{aligned}(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{aligned))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9371695b23793ae13738bc81f7812376ac70ac24)
となる。これは一見正しそうに見えるかもしれないが、
のどれだけ近いところにも
となる
が存在する場合(例えば
が定数関数の場合)には、0除算が含まれるため、この証明は誤りである。
上の間違った証明を"修正"して正しい証明にするには、例えば次のようにする。
微分の定義より:
![{\displaystyle (f\circ g)'(a)=\lim _{x\to a}{\frac {f(g(x))-f(g(a))}{x-a)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c73c53631829c20566f587ca560394048d69f99)
しばらくの間 g(x) は a の近くの任意の x に対して g(a) と等しくないと仮定する。すると上の式は2つの因子の積に等しい:
![{\displaystyle \lim _{x\to a}{\frac {f(g(x))-f(g(a))}{g(x)-g(a)))\cdot {\frac {g(x)-g(a)}{x-a)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0db90d4c74d36faad7007f20c561fa9d9244643)
g が a の近くで振動するとき、a にいくら近づいても常に、さらに近い x が存在して g(x) が g(a) に等しいということが起こり得る。例えば、これは g(x) = x2sin(1 / x) に対して点 a = 0 の近くで起こる。これが起こるときにはいつでも、上の式は0による割り算を含むから定義されない。これに対処するためには、次のように関数 Q を導入する:
![{\displaystyle Q(y)={\begin{cases}{\dfrac {f(y)-f(g(a))}{y-g(a))),&y\neq g(a),\\f'(g(a)),&y=g(a).\end{cases))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73e6fd6615806acb971612145890bc062a5a151d)
f ∘ g に対応する差分商は常に次に等しいことをこれから証明する:
![{\displaystyle Q(g(x))\cdot {\frac {g(x)-g(a)}{x-a)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27673843502ae87de9751bbf382d3be81be16bf3)
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) に等しい。
- 微分
- 偏微分
- 置換積分
- ヤコビ行列
![{\displaystyle \textstyle {\frac {\partial (z_{1},\dots ,z_{l})}{\partial (x_{1},\dots ,x_{n})))={\frac {\partial (z_{1},\dots ,z_{l})}{\partial (y_{1},\dots ,y_{m}))){\frac {\partial (y_{1},\dots ,y_{m})}{\partial (x_{1},\dots ,x_{n})))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd9246e0fecc24f631d522bc1402e96699923bb1)