logo

偏微分_functions 📂多変数ベクトル解析

偏微分_functions

定義1

ERnE\subset \mathbb{R}^{n}開集合とし、xE\mathbf{x}\in E、そしてf:ERm\mathbf{f} : E \to \mathbb{R}^{m}と定義しよう。{e1,e2,,en}\left\{ \mathbf{e}_{1}, \mathbf{e}_{2}, \dots, \mathbf{e}_{n} \right\}{u1,u2,,um}\left\{ \mathbf{u}_{1}, \mathbf{u}_{2}, \dots, \mathbf{u}_{m} \right\}をそれぞれRn\mathbb{R}^{n}Rm\mathbb{R}^{m}標準基底としよう。

それでは、f\mathbf{f}成分 fi:RnRf_{i} : \mathbb{R}^{n} \to \mathbb{R}は次のように定義される。

f(x)=i=1mfi(x)ui,xE \mathbf{f} (\mathbf{x}) = \sum_{i=1}^{m} f_{i}(\mathbf{x})\mathbf{u}_{i}, \quad \mathbf{x} \in E

または

fi(x):=f(x)ui,i{1,,m} f_{i} (\mathbf{x}) := \mathbf{f} (\mathbf{x}) \cdot \mathbf{u}_{i},\quad i \in \left\{ 1,\dots, m \right\}

次の極限が存在するならば、fif_{i}に対するxjx_{j}偏微分とし、DjfiD_{j}f_{i}またはfixj\dfrac{\partial f_{i}}{\partial x_{j}}と記される。

fixj=Djfi:=limt0fi(x+tej)fi(x)t \dfrac{\partial f_{i}}{\partial x_{j}} = D_{j}f_{i} := \lim _{t \to 0} \dfrac{f_{i}(\mathbf{x}+ t \mathbf{e}_{j}) -f_{i}(\mathbf{x})}{t}

説明

偏とは偏っていることを意味し、微分を全ての変数ではなく、一つの変数に対してだけ考えようという意味である。これは全微分と対比する言葉である。

ˇ\check{}関数ではなく、偏ˇ\check{}の微分関数である。

f\mathbf{f}の全微分と偏微分の間には、以下の定理と同様の関係が成立する。

定理

E,x,fE, \mathbf{x}, \mathbf{f}定義で述べた通りとする。f\mathbf{f}x\mathbf{x}微分可能であるとする。それならば、各偏微分Djfi(x)D_{j}f_{i}(\mathbf{x})が存在し、次の式が成立する。

f(x)ej=i=1mDjfi(x)ui,j{1,,n} \mathbf{f}^{\prime}(\mathbf{x})\mathbf{e}_{j} = \sum_{i=1}^{m} D_{j}f_{i}(\mathbf{x})\mathbf{u}_{i},\quad j \in \left\{ 1,\dots, n \right\}

f(x)\mathbf{f}^{\prime}(\mathbf{x})は、次のような行列で表される線形変換である。

f(x)=[(D1f1)(x)(D2f1)(x)(Dnf1)(x)(D1f2)(x)(D2f2)(x)(Dnf2)(x)(D1fm)(x)(D2fm)(x)(Dnfm)(x)] \mathbf{f}^{\prime}(\mathbf{x}) = \begin{bmatrix} (D_{1}f_{1}) (\mathbf{x}) & (D_{2}f_{1}) (\mathbf{x}) & \cdots & (D_{n}f_{1}) (\mathbf{x}) \\ (D_{1}f_{2}) (\mathbf{x}) & (D_{2}f_{2}) (\mathbf{x}) & \cdots & (D_{n}f_{2}) (\mathbf{x}) \\ \vdots & \vdots & \ddots & \vdots \\ (D_{1}f_{m}) (\mathbf{x}) & (D_{2}f_{m}) (\mathbf{x}) & \cdots & (D_{n}f_{m}) (\mathbf{x}) \end{bmatrix}

これをf\mathbf{f}ヤコビ行列とも言う。

証明

jjを固定しよう。f\mathbf{f}x\mathbf{x}で微分可能であると仮定すると、次の式が成立する。

f(x+tej)f(x)=f(x)(tej)+r(tej) \mathbf{f}( \mathbf{x} + t \mathbf{e}_{j}) - \mathbf{f}(\mathbf{x}) = \mathbf{f}^{\prime}(\mathbf{x})(t\mathbf{e}_{j}) + \mathbf{r}(t\mathbf{e}_{j})

ここで、r(tej)\mathbf{r}(t\mathbf{e}_{j})は次を満たす剰余である。

limt0r(tej)t=0 \lim _{t \to 0} \dfrac{|\mathbf{r}(t\mathbf{e}_{j}) |}{t}=0

f(x)\mathbf{f}^{\prime}(\mathbf{x})線形変換であるから、次が成立する。

f(x+tej)f(x)t=f(x)(tej)t+r(tej)t=f(x)(ej)+r(tej)t \dfrac{\mathbf{f}( \mathbf{x} + t \mathbf{e}_{j}) - \mathbf{f}(\mathbf{x})}{t} = \dfrac{\mathbf{f}^{\prime}(\mathbf{x})(t\mathbf{e}_{j})}{t} + \dfrac{\mathbf{r}(t\mathbf{e}_{j})}{t} = \mathbf{f}^{\prime}(\mathbf{x})(\mathbf{e}_{j}) + \dfrac{\mathbf{r}(t\mathbf{e}_{j})}{t}

両辺にlimt0\lim _{t \to 0}の極限を取ると、次のようになる。

limt0f(x+tej)f(x)t=f(x)ej \lim _{t \to 0} \dfrac{\mathbf{f}( \mathbf{x} + t \mathbf{e}_{j}) - \mathbf{f}(\mathbf{x})}{t} = \mathbf{f}^{\prime}(\mathbf{x})\mathbf{e}_{j}

f\mathbf{f}を成分で表示すると、次を得る。

f(x)ej=limt0f(x+tej)f(x)t=limt0i=1mfi(x+tej)uii=1mfi(x)uit=i=1mlimt0fi(x+tej)fi(x)tui \begin{align*} \mathbf{f}^{\prime}(\mathbf{x})\mathbf{e}_{j} &= \lim _{t \to 0} \dfrac{\mathbf{f}( \mathbf{x} + t \mathbf{e}_{j}) - \mathbf{f}(\mathbf{x})}{t} \\ &= \lim _{t \to 0} \dfrac{\sum_{i=1}^{m} f_{i}( \mathbf{x} + t \mathbf{e}_{j})\mathbf{u}_{i} - \sum_{i=1}^{m} f_{i}(\mathbf{x})\mathbf{u}_{i}}{t} \\ &= \sum_{i=1}^{m} \lim _{t \to 0} \dfrac{f_{i}( \mathbf{x} + t \mathbf{e}_{j}) - f_{i}(\mathbf{x})}{t} \mathbf{u}_{i} \end{align*}

それならば、偏微分の定義により、次を得る。

f(x)ej=i=1mDjfi(x)ui \mathbf{f}^{\prime}(\mathbf{x})\mathbf{e}_{j} = \sum_{i=1}^{m} D_{j}f_{i}(\mathbf{x}) \mathbf{u}_{i}

f:R3R,γ:RR3f : \R^{3} \to \R, \gamma : \R \to \R^{3}が微分可能な関数だとしよう。また、

γ(t)=(x(t),y(t),z(t)) \gamma (t) = \left( x(t), y(t), z(t) \right)

そしてffγ\gamma合成g=fγg = f \circ \gammaとしよう。

g(t)=fγ(t)=f(γ(t)) g(t) = f \circ \gamma (t) = f \left( \gamma (t) \right)

するとgg^{\prime}は、連鎖律、偏微分の定義、上述の定理により、次のようになる。

dgdt(t0)=g(t0)= f(γ(t0))γ(t0)= [D1f(γ(t0))D2f(γ(t0))D3f(γ(t0))][Dγ1(t0)Dγ2(t0)Dγ3(t0)]= [fx(γ(t0))fy(γ(t0))fz(γ(t0))][dxdt(t0)dydt(t0)dzdt(t0)]= fx(γ(t0))dxdt(t0)+fy(γ(t0))dydt(t0)+fz(γ(t0))dzdt(t0) \begin{align*} \dfrac{d g}{d t}(t_{0}) = g^{\prime}(t_{0}) =&\ f^{\prime}(\gamma (t_{0})) \gamma^{\prime}(t_{0}) \\ =&\ \begin{bmatrix} D_{1}f(\gamma (t_{0})) & D_{2}f(\gamma (t_{0})) & D_{3}f(\gamma (t_{0})) \end{bmatrix} \begin{bmatrix} D\gamma_{1} (t_{0}) \\ D\gamma_{2} (t_{0}) \\ D\gamma_{3} (t_{0}) \end{bmatrix} \\ =&\ \begin{bmatrix} \dfrac{\partial f}{\partial x}(\gamma (t_{0})) & \dfrac{\partial f}{\partial y}(\gamma (t_{0})) & \dfrac{\partial f}{\partial z}(\gamma (t_{0})) \end{bmatrix} \begin{bmatrix} \dfrac{d x}{d t}(t_{0}) \\ \dfrac{d y}{d t}(t_{0}) \\ \dfrac{d z}{d t}(t_{0}) \end{bmatrix} \\ =&\ \dfrac{\partial f}{\partial x}(\gamma (t_{0}))\dfrac{d x}{d t}(t_{0}) + \dfrac{\partial f}{\partial y}(\gamma (t_{0}))\dfrac{d y}{d t}(t_{0}) + \dfrac{\partial f}{\partial z}(\gamma (t_{0}))\dfrac{d z}{d t}(t_{0}) \end{align*}

したがって、

    dgdt=fxdxdt+fydydt+fzdzdt \implies \dfrac{d g}{d t} = \dfrac{\partial f}{\partial x}\dfrac{d x}{d t} + \dfrac{\partial f}{\partial y}\dfrac{d y}{d t} + \dfrac{\partial f}{\partial z}\dfrac{d z}{d t}


  1. Walter Rudin, Principles of Mathematical Analysis (3rd Edition, 1976), p215 ↩︎