2.15 全微分可能の十分条件

定理 2.67 (全微分可能の十分条件)   関数 $z=f(x,y)$ において， 偏導関数 $f_x(x,y)$, $f_y(x,y)$ が存在し， かつこれらが連続関数であれば， $z=f(x,y)$ は全微分可能である． （注）逆は成り立たない．

注意 2.68 (全微分可能の十分条件)   全微分可能となる十分条件は他にもあるが， 上の定理が一番実用的である．

注意 2.69 (偏微分の可換性)   $f_x$, $f_y$ が存在し，かつ連続関数であれば， $f_{xy}=f_{yx}$ が成立する （定理参照）．

例 2.70 (全微分)   関数 $z=f(x,y)=x^2e^{xy}$ は 偏導関数

$$f_x(x,y) =(x^2e^{xy})_x=2xe^{xy}+x^2ye^{xy}=(2x+x^2y)e^{xy},$$

$$f_y(x,y) =(x^2e^{xy})_y=x^3ye^{xy}$$

が存在し，これらは連続関数である． よって $f(x,y)$ は全微分可能である． また，$z$ の全微分は

$$dz=f_x(x,y)\,dx+f_y(x,y)\,dy= (2x+x^2y)e^{xy}\,dx+x^3e^{xy}\,dy = e^{xy}\left( (2x+x^2y)\,dx+x^3\,dy \right)$$

となる． （注意）微分 $dx$, $dy$ と関数 $e^{xy}$, $2x+x^2y$, $x^3$ の 書く順を入れ替えてはならない． つまり， $dz=((2x+x^2y)dx+x^3dy)e^{xy}$ や $dz=e^{xy}(dx\,(2x+x^2y)+dy\,x^3)$ は 誤った表記である．

例 2.71 (全微分)   関数 $z=x^4y+x^2y^3+xy^4$ は 偏導関数

$$z_x=4x^3y+2xy^3+y^4, \qquad z_y=x^4+3x^2y^2+4xy^3$$

が存在し，かつこれらは連続関数である． よって $z$ は全微分可能であり，$z$ の全微分は

$$dz= z_x\,dx+z_y\,dy= (4x^3y+2xy^3+y^4)\,dx+ (x^4+3x^2y^2+4xy^3)\,dy$$

となる．

例 2.72 (全微分)   関数 $${ \theta=\mathrm{Tan}^{-1}\left(\frac{y}{x}\right)}$$ は 偏導関数

$$\theta_x=\frac{-y}{x^2+y^2}, \qquad \theta_y=\frac{x}{x^2+y^2},$$

が存在し，かつこれらは原点を除き連続関数である． よって $z$ は原点を除き全微分可能であり，$z$ の全微分は

$$d\theta= \theta_x\,dx+\theta_y\,dy= \frac{-y}{x^2+y^2}\,dx+ \frac{x}{x^2+y^2}\,dy = \frac{-y\,dx+x\,dy}{x^2+y^2}$$

となる． （注意）微分 $dx$, $dy$ と関数 $-y$, $x$ の 書く順を入れ替えてはならない． また，分母 $x^2+y^2$ の部分は微分 $dx$, $dy$ の 前から $(x^2+y^2)^{-1}$ が掛けられているという意味で あることに注意する． つまり，以下の表記はすべて誤った表記である：

$$d\theta= \frac{-dx\,y+dy\,x}{x^2+y^2}= (-y\,dx+x\,dy)\frac{1}{x^2+y^2}= (-dx\,y+dy\,dx)\frac{1}{x^2+y^2}.$$

例 2.73 (全微分)   関数 $u=xy+yz+zx$ は 偏導関数

$$u_x=u+z, \quad u_y=x+z, \quad u_z=y+x$$

が存在し，かつこれらは連続関数である． よって $u$ は全微分可能であり，$u$ の全微分は

$$du= u_x\,dx+u_y\,dy+u_z\,dz= (u+z)\,dx+ (x+z)\,dy+ (x+y)\,dz$$

となる．

平成21年1月14日