ライプニッツの法則
ライプニッツの法則
\(f,g\)は\(n\)回微分可能な関数とする。
\[ \left(fg\right)^{(n)}=\sum_{k=0}^{n}C(n,k)f^{(k)}g^{(n-k)} \]
\(f,g\)は\(n\)回微分可能な関数とする。
\[ \left(fg\right)^{(n)}=\sum_{k=0}^{n}C(n,k)f^{(k)}g^{(n-k)} \]
\(n=0\)のとき成立
\(n=j\)のとき成立すると仮定
\begin{align*} \left(fg\right)^{(j+1)} & =\left(\left(fg\right)^{(j)}\right)'\\ & =\left(\sum_{k=0}^{j}C(j,k)f^{(k)}g^{(j-k)}\right)'\\ & =\sum_{k=0}^{j}C(j,k)\left(f^{(k+1)}g^{(j-k)}+f^{(k)}g^{(j-k+1)}\right)\\ & =\sum_{k=1}^{j+1}C(j,k-1)f^{(k)}g^{(j-k+1)}+\sum_{k=0}^{j}C(j,k)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}C(j,k-1)f^{(k)}g^{(j-k+1)}+\sum_{k=0}^{j+1}C(j,k)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}\left(C(j,k-1)+C(j,k)\right)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}C(j+1,k)f^{(k)}g^{(j+1-k)} \end{align*} これより\(n=j+1\)でも成立。
故に与式は成り立つ。
\(n=j\)のとき成立すると仮定
\begin{align*} \left(fg\right)^{(j+1)} & =\left(\left(fg\right)^{(j)}\right)'\\ & =\left(\sum_{k=0}^{j}C(j,k)f^{(k)}g^{(j-k)}\right)'\\ & =\sum_{k=0}^{j}C(j,k)\left(f^{(k+1)}g^{(j-k)}+f^{(k)}g^{(j-k+1)}\right)\\ & =\sum_{k=1}^{j+1}C(j,k-1)f^{(k)}g^{(j-k+1)}+\sum_{k=0}^{j}C(j,k)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}C(j,k-1)f^{(k)}g^{(j-k+1)}+\sum_{k=0}^{j+1}C(j,k)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}\left(C(j,k-1)+C(j,k)\right)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}C(j+1,k)f^{(k)}g^{(j+1-k)} \end{align*} これより\(n=j+1\)でも成立。
故に与式は成り立つ。
ページ情報
| タイトル | ライプニッツの法則 |
| URL | https://www.nomuramath.com/vmslu9zp/ |
| SNSボタン |
3角関数の関数の定積分
\[
\int_{0}^{\frac{\pi}{2}}f\left(\cos x\right)dx=\int_{0}^{\frac{\pi}{2}}f\left(\sin x\right)dx
\]
部分積分と繰り返し部分積分
\[
\int f(x)g(x)dx=\sum_{k=0}^{n-1}\left(-1\right)^{k}f^{(-(k+1))}(x)g^{(k)}(x)+(-1)^{n}\int f^{(-n)}(x)g^{(n)}(x)dx
\]
基本関数の微分
\[
\left(a^{x}\right)'=a^{x}\log a
\]
べき乗を含む0から∞までの定積分
\[
\Arg\left(\alpha\right)\ne\pi,0<b\Rightarrow\int_{0}^{\infty}f\left(x,\alpha x^{b}\right)dx=\frac{1}{\alpha^{\frac{1}{b}}b}\lim_{R\rightarrow\infty}\int_{0}^{Re^{i\Arg\left(\alpha\right)}}f\left(\frac{t^{\frac{1}{b}}}{\alpha^{\frac{1}{b}}},t\right)t^{\frac{1}{b}-1}dt
\]