2.21 $n$ 変数関数と $m$ 変数関数の合成関数の微分

定理 2.88 (合成関数の微分)   $n$ 変数関数 $z=f(x_1,x_2,\cdots,x_n)=f(\vec{x})$ と $m$ 変数関数

$$x_1=\phi_1(u_1,u_2,\cdots,u_m)=\phi_1(\vec{u}),$$

$$x_2=\phi_2(u_1,u_2,\cdots,u_m)=\phi_2(\vec{u}),$$

$$\qquad\qquad\vdots$$

$$x_n=\phi_n(u_1,u_2,\cdots,u_m)=\phi_n(\vec{u})$$

の合成関数 $z=f(\vec{x}(\vec{u}))$ の偏微分は

$$\frac{\partial z}{\partial u_1} = \frac{\partial z}{\partial x_1}\frac{\partial x_1}{\partial u_1... ...sum_{k=1}^{n} \frac{\partial z}{\partial x_k}\frac{\partial x_k}{\partial u_1},$$

$$\frac{\partial z}{\partial u_2} = \frac{\partial z}{\partial x_1}\frac{\partial x_1}{\partial u_2... ...sum_{k=1}^{n} \frac{\partial z}{\partial x_k}\frac{\partial x_k}{\partial u_2},$$

$$\qquad\vdots$$

$$\frac{\partial z}{\partial u_m} = \frac{\partial z}{\partial x_1}\frac{\partial x_1}{\partial u_m... ...\sum_{k=1}^{n} \frac{\partial z}{\partial x_k}\frac{\partial x_k}{\partial u_m}$$

で与えられる．代入も含めて書くと $u_j$ ( $j=1,2,\cdots,n$) に関して

$$\frac{\partial}{\partial u_j} f(\phi_1(u_1,\cdots,u_m),\phi_2(u_1,\cdots,u_m), \cdots,\phi_n(u_1,\cdots,u_m))$$

$$\quad= \sum_{k=1}^{n} f_{x_k}( \phi_1(u_1,\cdots,u_m), \phi_2(u_1,\cdots,u_m),\cdots, \phi_n(u_1,\cdots,u_m)) \phi_{u_j}(u_1,\cdots,u_m)$$

と表される． また，ベクトル表記では

$$\nabla_{\!\!\!\vec{u}}\,z= \begin{bmatrix}\frac{\partial z}{\part... ...s\\ \frac{\partial z}{\partial x_n} \end{bmatrix} =J\,\nabla_{\!\!\!\vec{x}}\,z$$

となる． 行列 $${J= \left[\frac{\partial x_j}{\partial u_i}\right]_{m\times n}}$$ を ヤコビ行列（Jacobi matrix）という．

平成20年2月2日