10. 高次偏導関数 例題集

$Q1$.
次の関数について $z_{xx}$, $z_{xy}$, $z_{yx}$, $z_{yy}$ をそれぞれ求めなさい。

$z = 2x^3 + 3x^2y^2 + 9y^3$
解答・解説を見る
$z_{xx} = 12x + 6y^2$
$z_{xy} = 12xy$
$z_{yx} = 12xy$
$z_{yy} = 6x^2 + 54y$

偏導関数を求めると

$z_x = 6x^2 + 6xy^2,~~z_y = 6x^2y + 27y^2$

よって第 $2$ 次偏導関数はそれぞれ

$z_{xx} = \dfrac{\partial z_x}{\partial x} = 12x + 6y^2$

$z_{xy} = \dfrac{\partial z_x}{\partial y} = 12xy$

$z_{yx} = \dfrac{\partial z_y}{\partial x} = 12xy$

$z_{yy} = \dfrac{\partial z_y}{\partial y} = 6x^2 + 54y$

$Q2$.
次の関数について $z_{xx}$, $z_{xy}$, $z_{yx}$, $z_{yy}$ をそれぞれ求めなさい。

$z = \sqrt{x^2 + y^2}$
解答・解説を見る
$z_{xx} = \dfrac{y^2}{\sqrt{(x^2+y^2)^3}}$
$z_{xy} = -\dfrac{xy}{\sqrt{(x^2+y^2)^3}}$
$z_{yx} = -\dfrac{xy}{\sqrt{(x^2+y^2)^3}}$
$z_{yy} = \dfrac{x^2}{\sqrt{(x^2+y^2)^3}}$

偏導関数を求めると

$z_x = \dfrac{x}{\sqrt{x^2 + y^2}},~~z_y = \dfrac{y}{\sqrt{x^2 + y^2}}$

よって第 $2$ 次偏導関数は

$z_{xx} = \dfrac{\partial z_x}{\partial x} =\dfrac{ \sqrt{x^2+y^2} - \dfrac{x^2}{\sqrt{x^2+y^2}} }{x^2+y^2} = \dfrac{y^2}{\sqrt{(x^2+y^2)^3}}$

$z_{xy} = \dfrac{\partial z_x}{\partial y} =\dfrac{ -\dfrac{xy}{\sqrt{x^2+y^2}} }{x^2+y^2} = -\dfrac{xy}{\sqrt{(x^2+y^2)^3}}$

$z_{yx} = \dfrac{\partial z_y}{\partial x} =\dfrac{ -\dfrac{xy}{\sqrt{x^2+y^2}} }{x^2+y^2} = -\dfrac{xy}{\sqrt{(x^2+y^2)^3}}$

$z_{yy} = \dfrac{\partial z_y}{\partial y} =\dfrac{ \sqrt{x^2+y^2} - \dfrac{y^2}{\sqrt{x^2+y^2}} }{x^2+y^2} = \dfrac{x^2}{\sqrt{(x^2+y^2)^3}}$

$Q3$.
何回も偏微分可能な関数 $z = f(x,y)$ に対し, $a,b,h,k$ を定数として $x=a+ht,~y=b+kt$ とした時, $\dfrac{d^2f}{dt^2}$ を $f(x,y)$ の偏導関数と $h,k$ を用いて表しなさい。

解答・解説を見る
$\dfrac{d^2f}{dt^2} = h^2f_{xx} + 2hkf_{xy} + k^2f_{yy}$

9. 合成関数の微分法の例題 $Q3$ より

$\dfrac{df}{dt} = hf_x + kf_y$

であることに注意しましょう。

$f_x$ と $f_y$ をそれぞれ $t$ で微分すると

$\dfrac{df_x}{dt} = \dfrac{\partial f_x}{\partial x}\dfrac{dx}{dt} + \dfrac{\partial f_x}{\partial y}\dfrac{dy}{dt} = hf_{xx} + kf_{xy}$

$\dfrac{df_y}{dt} = \dfrac{\partial f_y}{\partial x}\dfrac{dx}{dt} + \dfrac{\partial f_y}{\partial y}\dfrac{dy}{dt} = hf_{yx} + kf_{yy}$

$f$ は何回でも偏微分可能なので, シュワルツの定理より

$f_{xy} = f_{yx}$

であることに注意すると

$d2fdt2=ddt(dfdt)=ddt(hfx+kfy)=hdfxdt+kdfydt=h(hfxx+kfxy)+k(hfyx+kfyy)=h2fxx+2hkfxy+k2fyy$

$Q4$.
何回も偏微分可能な関数 $z = f(x,y)$ に対し, $x = r\cos \theta,~y=r\sin \theta$ とした時

$\cfrac{\partial^2 f}{\partial r^2}+\cfrac{1}{r^2}\cfrac{\partial^2 f}{\partial \theta^2}+\cfrac{1}{r} \cfrac{\partial f}{\partial r}=\cfrac{\partial^2 f}{\partial x^2}+\cfrac{\partial^2 f}{\partial y^2}$

が成り立つことを証明しなさい。

解答・解説を見る

合成関数の微分法より

$\dfrac{\partial f}{\partial r} = f_x\cos \theta + f_y\sin \theta$

$\dfrac{\partial f}{\partial \theta} = -f_xr\sin \theta + f_yr\cos \theta$

である。よって

$2fr2=(fxr)cosθ+(fyr)sinθ=(fxxcosθ+fxysinθ)cosθ+(fyxcosθ+fyysinθ)sinθ=fxxcos2θ+2fxysinθcosθ+fyysin2θ$

また $f_x$ と $\sin \theta$ はともに $\theta$ の関数であるから

$θ(fxrsinθ)=(fxθ)rsinθfxrcosθ=(fxxrsinθ+fxyrcosθ)rsinθfxrcosθ=fxxr2sin2θfxyr2sinθcosθfxrcosθ$

同様に

$θ(fyrcosθ)=(fyθ)rcosθfyrsinθ=(fyxrsinθ+fyyrcosθ)rcosθfyrsinθ=fyyr2cos2θfyxr2sinθcosθfyrsinθ$

シュワルツの定理より $f_{xy} = f_{yx}$ であるから

$2fθ2=θ(fxrsinθ)+θ(fyrcosθ)=fxxr2sin2θ2fxyr2sinθcosθ+fyyr2cos2θr(fxcosθ+fysinθ)=fxxr2sin2θ2fxyr2sinθcosθ+fyyr2cos2θrfr$

整理すると

$\cfrac{\partial^2 f}{\partial r^2} = f_{xx} \cos^2 \theta +2 f_{xy} \sin \theta \cos \theta + f_{yy} \sin^2 \theta$

$\cfrac{\partial^2 f}{\partial \theta^2} = f_{xx} r^2 \sin^2 \theta - 2 f_{xy} r^2 \sin \theta \cos \theta + f_{yy} r^2 \cos^2 \theta -r\dfrac{\partial f}{\partial r}$

であるから

$2fr2+1r22fθ2=fxx+fyy1rfr$

よって

$\cfrac{\partial^2 f}{\partial r^2}+\cfrac{1}{r^2}\cfrac{\partial^2 f}{\partial \theta^2}+\cfrac{1}{r} \cfrac{\partial f}{\partial r}=\cfrac{\partial^2 f}{\partial x^2}+\cfrac{\partial^2 f}{\partial y^2}$

が成り立つ。