2.15 2 変数関数 と 1 変数関数の合成関数の微分

定理 2.63 (合成関数の微分)   2 変数関数 $ z=f(x,y)$ と 1 変数関数 $ x=\phi(t)$, $ y=\psi(t)$ との 合成関数 $ z=f(\phi(t),\psi(t))$ の導関数は

$\displaystyle \frac{dz}{dt}$ $\displaystyle = \frac{\partial z}{\partial x}\frac{dx}{dt}+ \frac{\partial z}{\partial y}\frac{dy}{dt}$    

となる.また,代入も含めて正確に書くと

$\displaystyle \frac{d}{dt} f(\phi(t),\psi(t))$ $\displaystyle = f_x(\phi(t),\psi(t))\phi'(t)+ f_y(\phi(t),\psi(t))\psi'(t)$    

となる.


(証明)     関数 $ z=f(x,y)$ は全微分可能であり, 関数 $ x=\phi(t)$, $ y=\psi(t)$ は微分可能とする. このとき

$\displaystyle dz=f_x(x,y)dx+f_y(x,y)dy, \quad dx=\phi'(t)dt, \quad dy=\psi'(t)dt$    

が成り立つ.または,

$\displaystyle \Delta z$ $\displaystyle =f(x+\Delta x,y+\Delta y)-f(x,y)= f_x(x,y)\Delta x+f_y(x,y)\Delta y+\varepsilon_1, \quad \varepsilon_1(\rho)=o(\rho)\quad(\rho\to0),$    
$\displaystyle \Delta x$ $\displaystyle =\phi(t+\Delta t)-\phi(t)=\phi'(t)\Delta t+\varepsilon_2, \quad \varepsilon_2(\Delta t)=o(\Delta t)\quad(\Delta t\to0),$    
$\displaystyle \Delta y$ $\displaystyle =\psi(t+\Delta t)-\psi(t)=\psi'(t)\Delta t+\varepsilon_3, \quad \varepsilon_3(\Delta t)=o(\Delta t)\quad(\Delta t\to0)$    

と表される. ただし, $ \rho=\sqrt{\Delta x^2+\Delta y^2}$ とおく. このとき,

$\displaystyle \frac{\Delta z}{\Delta t}$ $\displaystyle = \frac{f(\phi(t+\Delta t),\psi(t+\Delta t))-f(\phi(t),\psi(t))}{\Delta t} = \frac{f(x+\Delta x,y+\Delta y)-f(x,y)}{\Delta t}$    
  $\displaystyle = \frac{f_x(x,y)\Delta x+f_y(x,y)\Delta y+\varepsilon_1}{\Delta t...
...x}{\Delta t}+ f_y(x,y)\frac{\Delta y}{\Delta t}+ \frac{\varepsilon_1}{\Delta t}$    
  $\displaystyle = f_x(x,y)\frac{\phi'(t)\Delta t+\varepsilon_2}{\Delta t}+ f_y(x,y)\frac{\psi'(t)\Delta t+\varepsilon_3}{\Delta t}+ \frac{\varepsilon_1}{\Delta t}$    
  $\displaystyle = f_x(x,y)\phi'(t)+ f_y(x,y)\psi'(t)+ \frac{\varepsilon_1}{\Delta...
..._x(x,y) \frac{\varepsilon_2}{\Delta t}+ f_y(x,y) \frac{\varepsilon_3}{\Delta t}$    

が成り立つ. $ \Delta t\to 0$ の極限をとると, $ \varepsilon_2(\Delta t)=o(\Delta t)$, $ \varepsilon_3(\Delta t)=o(\Delta t)$, $ \varepsilon_1(\rho)=o(\rho)$ より, $ \displaystyle{\lim_{\Delta t\to0}\frac{\varepsilon_2(\Delta t)}{\Delta t}=0}$, $ \displaystyle{\lim_{\Delta t\to0}\frac{\varepsilon_3(\Delta t)}{\Delta t}=0}$ であり,

  $\displaystyle \lim_{\Delta t\to0}\frac{\varepsilon_1}{\Delta t}= \lim_{\Delta t...
...{\Delta x}{\Delta t}\right)^2+ \left(\frac{\Delta y}{\Delta t}\right)^2}\right)$    
  $\displaystyle = \left(\lim_{\Delta t\to0}\frac{\varepsilon_1}{\rho}\right) \lef...
...varepsilon_3}{\Delta t}\right)^2}\right) =0\times\sqrt{\phi'(t)^2+\psi'(t)^2}=0$    

となるので,

$\displaystyle \lim_{\Delta t\to0} \frac{\Delta z}{\Delta t}= f_x(x,y)\phi'(t)+ f_y(x,y)\psi'(t) = f_x(\phi(t),\psi(t))\phi'(t)+ f_y(\phi(t),\psi(t))\psi'(t)$    

を得る.

2.64 (合成関数の微分)   関数 $ z=f(x,y)$, $ x=2t-3$, $ y=-t+1$ の合成関数 $ z=f(2t-3,-t+1)$ の導関数は,

$\displaystyle \frac{dx}{dt}=2, \qquad \frac{dy}{dt}=-1$    

より

$\displaystyle \frac{dz}{dt}= \frac{\partial f}{\partial x}\frac{dx}{dt}+ \frac{\partial f}{\partial y}\frac{dy}{dt} =2f_x(2t-3,-t+1)-f_y(2t-3,-t+1)$    

となる.

2.65 (合成関数の微分)   関数 $ z=xy^2-x^2y$, $ x=t^2$, $ y=e^t$ の 合成関数の導関数は,

$\displaystyle \frac{\partial z}{\partial x}= y^2-2xy= e^{2t}-2t^2e^{t}, \quad \...
...rtial y}= 2xy-x^2= 2t^2e^t-t^4, \quad \frac{dx}{dt}=2t, \quad \frac{dy}{dt}=e^t$    

より

$\displaystyle \frac{dz}{dt}= \frac{\partial z}{\partial x}\frac{dx}{dt}+ \frac{...
...dy}{dt} = (e^{2t}-2t^2e^{t})2t+ (2t^2e^t-t^4)e^t = 2(t^2+t)e^{2t}-(t^4+4t^3)e^t$    

となる.

2.66 (合成関数の微分)   関数 $ z=x^3y^2$, $ x=t^2$, $ y=t^4$ の合成関数の微分は,

$\displaystyle z_x=3x^2y^2=3t^4t^8=3t^{12}, \quad z_y=2x^3y=2t^6t^4=2t^{10}, \quad x'=2t, \quad y'=4t^3$    

より

$\displaystyle \frac{dz}{dt}=z_xx'+z_yy'= (3t^{12})(2t)+(2t^{10})(4t^3)= 14t^{13}$    

となる.

2.67 (合成関数の微分)   関数 $ z=f(x,y)$, $ y=g(x)$ の 合成関数 $ z=f(x,g(x))$$ x$ 微分を考える. まず,$ x=t$, $ y=g(t)$ と置き換えて, $ z=f(t,g(t))$$ t$ で微分する. $ \displaystyle{\frac{dx}{dt}=1}$, $ \displaystyle{\frac{dy}{dt}=g'(t)}$ より

$\displaystyle \frac{dz}{dt}=\frac{d}{dt}f(t,g(t))= \frac{\partial f}{\partial x...
...}+ \frac{\partial f}{\partial y}\frac{dy}{dt} =f_{x}(t,g(t))+f_{y}(t,g(t))g'(t)$    

となる.$ t$$ x$ に置き換えると

$\displaystyle \frac{dz}{dx}= \frac{d}{dx}f(x,g(x))= f_{x}(x,g(x))+f_{y}(x,g(x))g'(x) = \frac{\partial z}{\partial x}+ \frac{\partial z}{\partial y}\frac{dy}{dx}$    

を得る.

2.68 (合成関数の微分)   次の合成関数の導関数を求めよ.

(1)     $ z=x\cos y-y\cos x$, $ x=\cos 2t$, $ y=\sin 2t$      (2)     $ z=y^2+2xy+3x^2$, $ x=\log t$, $ y=t$

Kondo Koichi
平成18年1月18日