偏微分の順序交換(シュワルツの定理)
偏微分の順序交換(シュワルツの定理)
領域\(D\)で関数\(f\left(x,y\right)\)の偏導関数\(f_{x},f_{y},f_{xy}\)が存在して\(f_{xy}\)が連続であるとき、2階偏微分の順序交換、すなわち
\[ \frac{\partial^{2}f\left(x,y\right)}{\partial x\partial y}=\frac{\partial^{2}f\left(x,y\right)}{\partial y\partial x} \] が成り立つ。
領域\(D\)で関数\(f\left(x,y\right)\)の偏導関数\(f_{x},f_{y},f_{xy}\)が存在して\(f_{xy}\)が連続であるとき、2階偏微分の順序交換、すなわち
\[ \frac{\partial^{2}f\left(x,y\right)}{\partial x\partial y}=\frac{\partial^{2}f\left(x,y\right)}{\partial y\partial x} \] が成り立つ。
\(C^{2}\)級であれば\(f_{x},f_{y},f_{xy}\)が存在して\(f_{xy}\)も連続であるので\(f_{xy}=f_{yx}\)が成り立つ。
\[ f\left(x,y\right)=\begin{cases} xy\frac{x^{2}-y^{2}}{x^{2}+y^{2}} & \left(x,y\right)\ne\left(0,0\right)\\ 0 & \left(x,y\right)=\left(0,0\right) \end{cases} \] は原点\(\left(0,0\right)\)で偏微分の順序交換ができない。
\(f_{xy}\left(0,0\right)\)を求める。
\begin{align*} \frac{\partial}{\partial x}f\left(0,y\right) & =\lim_{h\rightarrow0}\frac{f\left(h,y\right)-f\left(0,y\right)}{h}\\ & =\lim_{h\rightarrow0}\frac{f\left(h,y\right)}{h}\\ & =\lim_{h\rightarrow0}\frac{1}{h}\cdot hy\frac{h^{2}-y^{2}}{h^{2}+y^{2}}\\ & =-y \end{align*} となるので\(f_{xy}\left(0,0\right)=-1\)となる。
次に\(f_{yx}\left(0,0\right)\)を求める。
\begin{align*} \frac{\partial}{\partial y}f\left(x,0\right) & =\lim_{h\rightarrow0}\frac{f\left(x,h\right)-f\left(x,0\right)}{h}\\ & =\lim_{h\rightarrow0}\frac{f\left(x,h\right)}{h}\\ & =\lim_{h\rightarrow0}\frac{1}{h}\cdot xh\frac{x^{2}-h^{2}}{x^{2}+h^{2}}\\ & =x \end{align*} となるので\(f_{yx}\left(0,0\right)=1\)となる。
従って\(f_{xy}\left(0,0\right)=-1\ne1=f_{yx}\left(0,0\right)\)となるので原点\(\left(0,0\right)\)で偏微分の順序交換ができない。
-
偏微分の順序交換が出来ない例\[ f\left(x,y\right)=\begin{cases} xy\frac{x^{2}-y^{2}}{x^{2}+y^{2}} & \left(x,y\right)\ne\left(0,0\right)\\ 0 & \left(x,y\right)=\left(0,0\right) \end{cases} \] は原点\(\left(0,0\right)\)で偏微分の順序交換ができない。
\(f_{xy}\left(0,0\right)\)を求める。
\begin{align*} \frac{\partial}{\partial x}f\left(0,y\right) & =\lim_{h\rightarrow0}\frac{f\left(h,y\right)-f\left(0,y\right)}{h}\\ & =\lim_{h\rightarrow0}\frac{f\left(h,y\right)}{h}\\ & =\lim_{h\rightarrow0}\frac{1}{h}\cdot hy\frac{h^{2}-y^{2}}{h^{2}+y^{2}}\\ & =-y \end{align*} となるので\(f_{xy}\left(0,0\right)=-1\)となる。
次に\(f_{yx}\left(0,0\right)\)を求める。
\begin{align*} \frac{\partial}{\partial y}f\left(x,0\right) & =\lim_{h\rightarrow0}\frac{f\left(x,h\right)-f\left(x,0\right)}{h}\\ & =\lim_{h\rightarrow0}\frac{f\left(x,h\right)}{h}\\ & =\lim_{h\rightarrow0}\frac{1}{h}\cdot xh\frac{x^{2}-h^{2}}{x^{2}+h^{2}}\\ & =x \end{align*} となるので\(f_{yx}\left(0,0\right)=1\)となる。
従って\(f_{xy}\left(0,0\right)=-1\ne1=f_{yx}\left(0,0\right)\)となるので原点\(\left(0,0\right)\)で偏微分の順序交換ができない。
\begin{align*}
\frac{\partial^{2}f\left(x,y\right)}{\partial x\partial y} & =\lim_{\Delta y\rightarrow0}\frac{1}{\Delta y}\frac{\partial}{\partial x}\left\{ f\left(x,y+\Delta y\right)-f\left(x,y\right)\right\} \\
& =\lim_{\Delta x\rightarrow0}\lim_{\Delta y\rightarrow0}\frac{1}{\Delta x\Delta y}\left\{ \left(f\left(x+\Delta x,y+\Delta y\right)-f\left(x+\Delta x,y\right)\right)-\left(f\left(x,y+\Delta y\right)-f\left(x,y\right)\right)\right\} \\
& =\lim_{\Delta x\rightarrow0}\lim_{\Delta y\rightarrow0}\frac{1}{\Delta x\Delta y}\left\{ \left(f\left(x+\Delta x,y+\Delta y\right)-f\left(x,y+\Delta y\right)\right)-\left(f\left(x+\Delta x,y\right)-f\left(x,y\right)\right)\right\} \\
& =\lim_{\Delta x\rightarrow0}\frac{1}{\Delta x}\frac{\partial}{\partial y}\left\{ f\left(x+\Delta x,y\right)-f\left(x,y\right)\right\} \\
& =\frac{\partial^{2}f\left(x,y\right)}{\partial y\partial x}
\end{align*}
となるので題意は成り立つ。
ページ情報
| タイトル | 偏微分の順序交換(シュワルツの定理) |
| URL | https://www.nomuramath.com/l464ff2q/ |
| SNSボタン |
中央2項係数の総和
\[
\sum_{k=0}^{\infty}C^{-1}\left(2k,k\right)=\frac{4}{3}+\frac{2\sqrt{3}\pi}{27}
\]
ウォリス積分の定義
\[
\int_{0}^{\frac{\pi}{2}}\sin^{n}\theta d\theta
\]
階乗と冪乗の極限
\[
\lim_{n\rightarrow\infty}\frac{x^{n}}{n!}=0
\]
連続関数の和・積・商