logo

ライプニッツの定理の証明 📂解析学

ライプニッツの定理の証明

定理

ddx(fg)=dfdxg+fdgdx \dfrac{d}{dx} (fg)=\dfrac{df}{dx}g+f\dfrac{dg}{dx}

dndxn(fg)=k=0nn!(nk)!k!dnkfdxnkdkgdxk=k=0nnCkdnkfdxnkdkgdxk=k=0n(nk)dnkfdxnkdkgdxk \begin{align*} \dfrac{d^n}{dx^n}(fg)&=\sum \limits_{k=0}^{n}\frac{n!}{(n-k)!k!}\dfrac{d^{n-k}f}{dx^{n-k}}\dfrac{d^k g}{dx^k} \\ &=\sum \limits_{k=0}^{n}{}_{n}\mathrm{C}_{k} \dfrac{d^{n-k}f}{dx^{n-k}}\dfrac{d^k g}{dx^k} \\ &=\sum \limits_{k=0}^{n} \binom{n}{k} \dfrac{d^{n-k}f}{dx^{n-k}}\dfrac{d^k g}{dx^k} \end{align*}

説明

ライプニッツの法則Leibniz’s ruleとしても知られている。

最初の式は、微分の積の法則、または積の規則としてよく知られた式だ。二つの関数の積を一度微分したときの結果を簡単に表したものだ。ここでさらに一般化してnn回微分したときの結果を示すのが下の式だ。多項式は繰り返し微分されると00になる可能性があるため、直接nn回微分せずに簡単に結果を計算できる。

これ以外にも、ライプニッツの名がついた微分と積分に関する定理や公式が多数ある。

証明

DDを次のような微分演算子としよう。

D=ddx D=\dfrac{d}{dx}

例えばDf(x)=df(x)dxDf(x)=\dfrac{df(x)}{dx}だ。DDを使ってfgfgの微分を表すと、以下のようになる。

ddx(fg)=gDf+fDg \dfrac{d}{dx}(fg)=gDf+fDg

この時DfD_{f}ffにのみ適用される演算子とし、DgD_{g}ggにのみ適用される演算子としよう。すると、上の式は以下のように表される。

(Df+Dg)(fg)=gDf+fDg (D_{f}+D_{g})(fg)=gDf+fDg

すると次を得る。

ddx(fg)=(Df+Dg)(fg) \dfrac{d}{dx}(fg)=(D_{f}+D_{g})(fg)

d2dx2(fg)=D(Df+Dg)(fg) \dfrac{d^2}{dx^2}(fg)=D(D_{f}+D_{g})(fg)

この時DDは微分演算子なので、操作の順序は関係ない。つまりDDff=DfDfDD_{f}f=D_{f}Dfという意味だ。すると、上の式は以下のようになる。

d2dx2(fg)=D(Df+Dg)(fg)=(Df+Dg)D(fg)=(Df+Dg)(Df+Dg)(fg)=(Df+Dg)2(fg) \begin{align*} \dfrac{d^2}{dx^2}(fg) &= D(D_{f}+D_{g})(fg) \\ &= (D_{f}+D_{g})D(fg) \\ &= (D_{f}+D_{g})(D_{f}+D_{g})(fg) \\ &= (D_{f}+D_{g})^2 (fg) \end{align*}

上で話したように、DDは積の交換が成立するので、最後の行のように表現できる。微分回数をnn回に拡張すると、次のようになる。

dndxn(fg)=(Df+Dg)n(fg) \dfrac{d^n}{dx^n} (fg)=(D_{f}+D_{g})^n(fg)

交換法則が成立するので、二項定理を適用できる。二項定理を使うと、次を得る。

dndxn(fg)=(Df+Dg)n(fg)=k=0nnCkDfnkDgk(fg)=k=0nnCkDfnkfDgkg=k=0nnCkdnkfdxnkdkgdxk=k=0nnCkf(nk)g(k) \begin{align*} \dfrac{d^n}{dx^n} (fg) &= (D_{f}+D_{g})^n(fg) \\ &= \sum \limits_{k=0} ^n {}_{n}\mathrm{C} _{k} {D_{f}}^{n-k} {D_{g}}^{k}(fg) \\ &=\sum \limits_{k=0} ^n {}_{n}\mathrm{C} _{k} {D_{f}}^{n-k} f{D_{g}}^{k}g \\ &= \sum \limits_{k=0} ^n {}_{n}\mathrm{C} _{k} \dfrac{d^{n-k}f}{dx^{n-k}} \dfrac{d^k g}{dx^k} \\ &= \sum \limits_{k=0} ^n {}_{n}\mathrm{C} _{k} f^{(n-k)} g^{(k)} \end{align*}

1

  • d7dx7(xsinx)\dfrac{d^7}{dx^7}( x \sin x)を求めよ。

xxsinx\sin xをそれぞれ上の証明のggffとすると、ライプニッツの法則により

d7dx7(xsinx)=k=077Ckdnkdxnk(sinx)dkdxk(x) \dfrac{d^7}{dx^7}( x \sin x)=\sum \limits_{k=0} ^7 {}_{7} \mathrm{C}_{k} \dfrac{d ^{n-k} } {dx^{n-k} }(\sin x) \dfrac{d^k}{dx^k} (x)

この時k2k \ge 2の場合、dkdxk(x)=0\dfrac{d^k}{dx^k}(x)=0であるため、k=0,1k=0,1の二項だけが残る。したがって、

d7dx7(xsinx)=7C0d7dx7(sinx)x+7C1d6dx6(sinx)=xcosx7sinx \begin{align*} \dfrac{d^7}{dx^7} ( x \sin x ) &= {}_{7} \mathrm{C} _{0} \dfrac{d^7}{dx^7}(\sin x) x + {}_{7}\mathrm{C}_{1} \dfrac{d^6}{dx^6} (\sin x) \\ &= -x \cos x -7\sin x \end{align*}

2

  • d10dx10(x2ex)\dfrac{d^{10}}{dx^{10}} ( x^2 e^{-x} )を求めよ。

x2x^2exe^{-x}をそれぞれ上の証明のggffとすると、ライプニッツの法則により

d10dx10(x2ex)=k=01010Ckd10kdx10k(ex)dkdxk(x2) \dfrac{d^{10}}{dx^{10}} (x^2 e^{-x}) = \sum \limits _{k=0} ^{10} {}_{10} \mathrm{C} _{k} \dfrac{d^{10-k}}{dx^{10-k}}(e^{-x}) \dfrac{d^k}{dx^k} ( x^2)

この時、k3k \ge 3の場合はdkdxk(x2)=0\dfrac{d^k}{dx^k} (x^2)=0であるため、k=0,1,2k=0,1,2の三項だけが残る。したがって、

d10dx10(x2ex)=10C0d10dx10(ex)x2+10C1d9dx9(ex)ddx(x2)+10C2d8dx8(ex)d2dx2(x2)=x2ex20xex+90ex \begin{align*} \dfrac{d^{10} } {dx^{10} } (x^2 e^{-x}) &= {}_{10} \mathrm{C}_{0} \dfrac{d^{10}}{dx^{10}} (e^{-x}) x^2 + {}_{10} \mathrm{C} _{1} \dfrac{d^9}{dx^9}(e^{-x}) \dfrac{d}{dx}(x^2) + {}_{10}\mathrm{C}_2 \dfrac{d^8}{dx^8} ( e^{-x} ) \dfrac{d^2}{dx^2} (x^2) \\ &= x^2 e^{-x} -20 x e^{-x} + 90e^{-x} \end{align*}

参照