多変数ベクトル値関数の全微分の定義（ベクトル場の全微分）

全微分を導入する動機

1変数関数は微分可能な点において連続であることが保証されます。一方、多変数のベクトル値関数は偏微分可能な点や方向微分可能な点において連続であるとは限りません。偏微分は特定の変数だけを動かす状況を想定した微分概念であり、方向微分はすべての変数を特定の経路に沿って動かす状況を想定した微分概念です。一方、多変数のベクトル値関数の連続性はすべての変数を任意の経路に沿って動かす状況を想定した概念です。したがって、多変数のベクトル値関数に関して微分可能性から連続性を保証するためには、偏微分や方向微分とは異なり、すべての変数を任意の経路に沿って動かす状況を想定した新たな微分概念が要請されます。このような微分概念を全微分（total differential）と呼びます。

では、全微分をどのような形で定義すればよいでしょうか。以下では、1変数関数の微分可能性について復習しながら、それを一般化する形で多変数のベクトル値関数に関する全微分概念を定義します。

平均変化率の極限としての微分

1変数関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が定義域上の点\(a\in X\)および周辺の任意の点において定義されているものとします。\(f\)の変数\(x\)を点\(a\)から\(h\not=0\)だけ動かしたときの\(f\left( x\right) \)の平均変化率\begin{equation*}\frac{f\left( a+h\right) -f\left( a\right) }{h}
\end{equation*}をとり、これを変数\(h\)に関する関数とみなした上で、\(h\rightarrow 0\)のときの極限をとります。この極限が有限な実数として定まる場合、その極限を、\begin{equation*}f^{\prime }\left( a\right) =\lim_{h\rightarrow 0}\frac{f\left( a+h\right)
-f\left( a\right) }{h}\in \mathbb{R} \end{equation*}で表記し、これを\(f\)の点\(a\)における微分係数と呼びます。関数\(f\)が点\(a\)において微分可能であることとは、そこでの微分係数\(f^{\prime }\left(a\right) \)が有限な実数として定まることを意味します。

多変数のベクトル値関数の全微分可能性を同様の形で定義できるでしょうか。多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が定義域上の点\(a\in X\)および周辺の任意の点において定義されているものとします。\(f\)の変数\(x\)を点\(a\)から\(h\not=\left(0,\cdots ,0\right) \)だけ動かしたときの\(f\left( x\right) \)の平均変化率は、\begin{equation*}\frac{f\left( a+h\right) -f\left( a\right) }{h}=\left(
\begin{array}{c}
\dfrac{f_{1}\left( a_{1}+h_{1},\cdots ,a_{n}+h_{n}\right) -f_{1}\left(
a_{1},\cdots ,a_{n}\right) }{\left( h_{1},\cdots ,h_{n}\right) } \\
\vdots \\
\dfrac{f_{m}\left( a_{1}+h_{1},\cdots ,a_{n}+h_{n}\right) -f_{m}\left(
a_{1},\cdots ,a_{n}\right) }{\left( h_{1},\cdots ,h_{n}\right) }\end{array}\right)
\end{equation*}となります。ただ、平均変化率のそれぞれの成分の分子\begin{equation*}
f_{i}\left( a_{1}+h_{1},\cdots ,a_{n}+h_{n}\right) -f_{i}\left( a_{1},\cdots
,a_{n}\right)
\end{equation*}は実数である一方、分母\begin{equation*}
\left( h_{1},\cdots ,h_{n}\right)
\end{equation*}はベクトルですが、実数をベクトルで割る演算は定義されていないため、そもそも上のような形で平均変化率を定義できません。平均変化率が定義不可能であるならば、平均変化率の極限として全微分を定義することはできません。したがって、多変数のベクトル値関数については、平均変化率の極限とは異なる形で全微分を定義する必要があります。

無限小を用いた全微分可能性の定義

1変数関数に話を戻します。1変数関数の微分可能性は高位の無限小を用いて表現することもできます。具体的には、1変数関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)および定義域上の点\(a\in X\)について、\begin{equation}f\left( x\right) -f\left( a\right) -c\left( x-a\right) =o\left( x-a\right)
\quad \left( x\rightarrow a\right) \quad \cdots (1)
\end{equation}を満たす有限な実数\(c\in \mathbb{R} \)が存在することは、\(f\)が点\(a\)において微分可能であるための必要十分条件であるとともに、\begin{equation*}c=f^{\prime }\left( a\right)
\end{equation*}という関係が成り立ちます。ただし、\(f^{\prime}\left( a\right) \)は点\(a\)における\(f\)の微分係数です。つまり、関数\(f\)が点\(a\)において微分可能であることとは、変数\(x\)に関する関数\begin{equation}f\left( x\right) -f\left( a\right) -c\left( x-a\right) \quad \cdots (2)
\end{equation}が、同じく変数\(x\)に関する関数\begin{equation}x-a \quad \cdots (3)
\end{equation}と比べて点\(a\)において高位の無限小になるような有限な実数\(c\)が存在することとして定義されるということです。\(\left( 2\right) \)は、それぞれの点\(x\)に対して関数\(f\left( x\right) \)が定める値と関数\(f\left( a\right) +c\cdot \left( x-a\right) \)が定める値の誤差であり、\(\left( 3\right) \)は点\(x\)が点\(a\)からどれくらい離れているかを表す指標です。したがって\(\left(1\right) \)が成り立つこととは、点\(a\)に限りなく近い周辺の任意の点\(x\)において、\begin{equation*}f\left( x\right) \approx f\left( a\right) +c\left( x-a\right)
\end{equation*}という近似関係が成立することを意味します。加えて、\begin{equation*}
c=f^{\prime }\left( a\right)
\end{equation*}であることを踏まえると、先の近似式を、\begin{equation*}
f\left( x\right) \approx f\left( a\right) +f^{\prime }\left( a\right) \left(
x-a\right)
\end{equation*}と表現できます。つまり、関数\(f\)が点\(a\)において微分可能であることとは、点\(a\)に限りなく近い周辺の任意の点\(x\)において、関数\(f\)を変数\(x\)に関する\(1\)次関数\begin{equation*}f\left( a\right) +f^{\prime }\left( a\right) \left( x-a\right)
\end{equation*}で近似できることを意味します。

高位の無限小を用いた微分可能性の定義には平均変化率は登場しないため、多変数のベクトル値関数に対しても同様の考え方を適用できます。つまり、多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)および定義域上の点であるベクトル\(a\in X\)に対して、\begin{equation}f\left( x\right) -f\left( a\right) -c\left( x-a\right) =o\left( \left\Vert
x-a\right\Vert \right) \quad \left( x\rightarrow a\right) \quad \cdots (4)
\end{equation}すなわち、\begin{eqnarray*}
&&\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) -\left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) -\begin{pmatrix}
c_{11} & \cdots & c_{1n} \\
\vdots & \ddots & \vdots \\
c_{m1} & \cdots & c_{mn}\end{pmatrix}\left(
\begin{array}{c}
x_{1}-a_{1} \\
\vdots \\
x_{n}-a_{n}\end{array}\right) \\
&=&o\left( \sqrt{\sum_{i=1}^{n}\left( x_{i}-a_{i}\right) ^{2}}\right) \quad
\left( \left( x_{1},\cdots ,x_{n}\right) \rightarrow \left( a_{1},\cdots
,a_{n}\right) \right)
\end{eqnarray*}すなわち、\begin{eqnarray*}
&&\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) -\left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) -\left(
\begin{array}{c}
\sum_{i=1}^{n}\left[ c_{1i}\left( x_{i}-a_{i}\right) \right] \\
\vdots \\
\sum_{i=1}^{n}\left[ c_{mi}\left( x_{i}-a_{i}\right) \right] \end{array}\right) \\
&=&o\left( \sqrt{\sum_{i=1}^{n}\left( x_{i}-a_{i}\right) ^{2}}\right) \quad
\left( \left( x_{1},\cdots ,x_{n}\right) \rightarrow \left( a_{1},\cdots
,a_{n}\right) \right)
\end{eqnarray*}を満たす行列\begin{equation*}
c=\begin{pmatrix}
c_{11} & \cdots & c_{1n} \\
\vdots & \ddots & \vdots \\
c_{m1} & \cdots & c_{mn}\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が存在する場合には、\(f\)は点\(a\)において全微分可能であるものと定義するということです。その上で、\(f\)の点\(a\)における全微分係数を、\begin{equation*}f^{\prime }\left( a\right) =c\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}すなわち、\begin{equation*}
\begin{pmatrix}
f_{11}^{\prime }\left( a_{1},\cdots ,a_{n}\right) & \cdots &
f_{1n}^{\prime }\left( a_{1},\cdots ,a_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m1}^{\prime }\left( a_{1},\cdots ,a_{n}\right) & \cdots &
f_{mn}^{\prime }\left( a_{1},\cdots ,a_{n}\right)
\end{pmatrix}=\begin{pmatrix}
c_{11} & \cdots & c_{1n} \\
\vdots & \ddots & \vdots \\
c_{m1} & \cdots & c_{mn}\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}という行列として定義します。ただし、\(f_{ij}^{\prime }\left( a_{1},\cdots ,a_{n}\right) \ \left(i=1,\cdots ,n\right) \)は行列\(f^{\prime }\left(a_{1},\cdots ,a_{n}\right) \)の\(ij\)成分です。つまり、多変数のベクトル値関数\(f\)が点\(a\)において全微分可能であることとは、変数\(x\)に関する多変数のベクトル値関数\begin{equation}f\left( x\right) -f\left( a\right) -c\left( x-a\right) \quad \cdots (5)
\end{equation}すなわち、\begin{equation*}
\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) -\left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) -\begin{pmatrix}
c_{11} & \cdots & c_{1n} \\
\vdots & \ddots & \vdots \\
c_{m1} & \cdots & c_{mn}\end{pmatrix}\left(
\begin{array}{c}
x_{1}-a_{1} \\
\vdots \\
x_{n}-a_{n}\end{array}\right)
\end{equation*}すなわち、\begin{equation*}
\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) -\left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) -\left(
\begin{array}{c}
\sum_{i=1}^{n}\left[ c_{1i}\left( x_{i}-a_{i}\right) \right] \\
\vdots \\
\sum_{i=1}^{n}\left[ c_{mi}\left( x_{i}-a_{i}\right) \right] \end{array}\right)
\end{equation*}が、変数\(x\)に関する多変数関数\begin{equation}\left\Vert x-a\right\Vert \quad \cdots (6)
\end{equation}すなわち、\begin{equation*}
\sqrt{\sum_{i=1}^{n}\left( x_{i}-a_{i}\right) ^{2}}
\end{equation*}と比べて点\(a\)において高位の無限小になるような行列\(c\in M_{m,n}\left( \mathbb{R} \right) \)が存在することとして定義されるということです。\(\left( 5\right) \)は、それぞれの点\(x\)に対して関数\(f\left( x\right) \)が定める値と関数\(f\left( a\right) +c\left(x-a\right) \)が定める値の誤差であり、\(\left( 6\right) \)は点\(x\)が点\(a\)からどれくらい離れているかを表す指標です。したがって\(\left( 4\right) \)が成り立つこととは、点\(a\)に限りなく近い周辺の任意の点\(x\)において、\begin{equation*}f\left( x\right) \approx f\left( a\right) +c\left( x-a\right)
\end{equation*}すなわち、\begin{equation*}
\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) \approx \left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) +\begin{pmatrix}
c_{11} & \cdots & c_{1n} \\
\vdots & \ddots & \vdots \\
c_{m1} & \cdots & c_{mn}\end{pmatrix}\left(
\begin{array}{c}
x_{1}-a_{1} \\
\vdots \\
x_{n}-a_{n}\end{array}\right)
\end{equation*}すなわち、\begin{equation*}
\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) \approx \left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) +\left(
\begin{array}{c}
\sum_{i=1}^{n}\left[ c_{1i}\left( x_{i}-a_{i}\right) \right] \\
\vdots \\
\sum_{i=1}^{n}\left[ c_{mi}\left( x_{i}-a_{i}\right) \right] \end{array}\right)
\end{equation*}という近似関係が成立することを意味します。ただし、\begin{equation*}
c=f^{\prime }\left( a\right)
\end{equation*}であることを踏まえると、先の近似式を、\begin{equation*}
f\left( x\right) \approx f\left( a\right) +f^{\prime }\left( a\right) \left(
x-a\right)
\end{equation*}すなわち、\begin{equation*}
\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) \approx \left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) +\begin{pmatrix}
f_{11}^{\prime }\left( a_{1},\cdots ,a_{n}\right) & \cdots &
f_{1n}^{\prime }\left( a_{1},\cdots ,a_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m1}^{\prime }\left( a_{1},\cdots ,a_{n}\right) & \cdots &
f_{mn}^{\prime }\left( a_{1},\cdots ,a_{n}\right)
\end{pmatrix}\left(
\begin{array}{c}
x_{1}-a_{1} \\
\vdots \\
x_{n}-a_{n}\end{array}\right)
\end{equation*}すなわち、\begin{equation*}
\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) \approx \left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) +\left(
\begin{array}{c}
\sum_{i=1}^{n}\left[ f_{1i}^{\prime }\left( a_{1},\cdots ,a_{n}\right)
\left( x_{i}-a_{i}\right) \right] \\
\vdots \\
\sum_{i=1}^{n}\left[ f_{mi}\left( a_{1},\cdots ,a_{n}\right) \left(
x_{i}-a_{i}\right) \right] \end{array}\right)
\end{equation*}と表現できます。つまり、多変数のベクトル値関数\(f\)が点\(a\)において全微分可能であることとは、点\(a\)に限りなく近い周辺の任意の点\(x\)において、多変数のベクトル値関数\(f\)を変数\(x\)に関する多変数のベクトル値関数\begin{equation*}f\left( a\right) +f^{\prime }\left( a\right) \left( x-a\right)
\end{equation*}すなわち、\begin{equation*}
\left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) +\left(
\begin{array}{c}
\sum_{i=1}^{n}\left[ f_{1i}^{\prime }\left( a_{1},\cdots ,a_{n}\right)
\left( x_{i}-a_{i}\right) \right] \\
\vdots \\
\sum_{i=1}^{n}\left[ f_{mi}\left( a_{1},\cdots ,a_{n}\right) \left(
x_{i}-a_{i}\right) \right] \end{array}\right)
\end{equation*}で近似できることを意味します。

全微分係数

議論を整理しましょう。多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が定義域上の点\(a\in X\)の周辺の任意の点において定義されているものとします。このとき、\begin{equation*}f\left( x\right) -f\left( a\right) -f^{\prime }\left( a\right) \left(
x-a\right) =o\left( \left\Vert x-a\right\Vert \right) \quad \left(
x\rightarrow a\right)
\end{equation*}すなわち、\begin{eqnarray*}
&&\left(
\begin{array}{c}
f_{1}\left( x_{1},\cdots ,x_{n}\right) \\
\vdots \\
f_{m}\left( x_{1},\cdots ,x_{n}\right)
\end{array}\right) -\left(
\begin{array}{c}
f_{1}\left( a_{1},\cdots ,a_{n}\right) \\
\vdots \\
f_{m}\left( a_{1},\cdots ,a_{n}\right)
\end{array}\right) -\left(
\begin{array}{c}
\sum_{i=1}^{n}\left[ f_{1i}^{\prime }\left( a_{1},\cdots ,a_{n}\right)
\left( x_{i}-a_{i}\right) \right] \\
\vdots \\
\sum_{i=1}^{n}\left[ f_{mi}\left( a_{1},\cdots ,a_{n}\right) \left(
x_{i}-a_{i}\right) \right] \end{array}\right) \\
&=&o\left( \sqrt{\sum_{i=1}^{n}\left( x_{i}-a_{i}\right) ^{2}}\right) \quad
\left( \left( x_{1},\cdots ,x_{n}\right) \rightarrow \left( a_{1},\cdots
,a_{n}\right) \right)
\end{eqnarray*}を満たす行列\begin{equation*}
f^{\prime }\left( a\right) =\begin{pmatrix}
f_{11}^{\prime }\left( a_{1},\cdots ,a_{n}\right) & \cdots &
f_{1n}^{\prime }\left( a_{1},\cdots ,a_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m1}^{\prime }\left( a_{1},\cdots ,a_{n}\right) & \cdots &
f_{mn}^{\prime }\left( a_{1},\cdots ,a_{n}\right)
\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が存在する場合には、この行列\(f^{\prime }\left( a\right) \)を\(f\)の点\(a\)における全微分係数（total diferential coefficient of \(f\) at \(a\)）と呼びます。\(f\)の点\(a\)における全微分係数\(f^{\prime }\left( a\right) \)を、\begin{equation*}\frac{df\left( a\right) }{dx},\quad \frac{d}{dx}f\left( a\right) ,\quad
\left. \frac{df\left( x\right) }{dx}\right\vert _{x=a}
\end{equation*}などと表記することもできます。全微分係数\(f^{\prime }\left( a\right) \)が存在する場合、\(f\)は点\(a\)において全微分可能（total differentiable at \(a\)）であると言います。

全微分可能性を以下のような形で表現することもできます。

以上の命題より、多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が定義域上の点\(a\in X\)において全微分可能であることを検証するためには以下の手順を踏むことになります。

1. 全微分係数となり得る行列\(f^{\prime }\left( a\right) \in M_{m,n}\left( \mathbb{R} \right) \)の候補を何らかの手段を通じて特定する。以降ではこの行列を、\begin{equation*}f^{\prime }\left( a\right) =\begin{pmatrix}f_{11}^{\prime }\left( a_{1},\cdots ,a_{n}\right) & \cdots &
   f_{1n}^{\prime }\left( a_{1},\cdots ,a_{n}\right) \\
   \vdots & \ddots & \vdots \\
   f_{m1}^{\prime }\left( a_{1},\cdots ,a_{n}\right) & \cdots &
   f_{mn}^{\prime }\left( a_{1},\cdots ,a_{n}\right)
   \end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
   \end{equation*}で表記する。
2. 問題としている点\(a\)および全微分係数の候補である行列\(f^{\prime }\left(a\right) \)から、\begin{equation}\frac{f\left( a+h\right) -f\left( a\right) -f^{\prime }\left( a\right) h}{\left\Vert h\right\Vert } \quad \cdots (1)\end{equation}を構成する。内積およびノルムの定義より、これを、\begin{equation*}
   \left(
   \begin{array}{c}
   \dfrac{f_{1}\left( a_{1}+h_{1},\cdots ,a_{n}+h_{1}\right) -f_{1}\left(
   a_{1},\cdots ,a_{n}\right) -\sum\limits_{i=1}^{n}\left[ f_{1i}^{\prime
   }\left( a_{1},\cdots ,a_{n}\right) h_{i}\right] }{\sqrt{\sum\limits_{i=1}^{n}h_{i}^{2}}} \\
   \vdots \\
   \dfrac{f_{m}\left( a_{1}+h_{1},\cdots ,a_{n}+h_{1}\right) -f_{m}\left(
   a_{1},\cdots ,a_{n}\right) -\sum\limits_{i=1}^{n}\left[ f_{mi}^{\prime
   }\left( a_{1},\cdots ,a_{n}\right) h_{i}\right] }{\sqrt{\sum\limits_{i=1}^{n}h_{i}^{2}}}\end{array}\right)
   \end{equation*}と具体的に表現できる。
3. 構成した\(\left( 1\right) \)をベクトル\(h=\left( h_{1},\cdots ,h_{2}\right) \)を変数として持つ多変数のベクトル値関数とみなした上で、\(h\rightarrow 0\)すなわち\(\left( h_{1},\cdots,h_{n}\right) \rightarrow \left( 0,\cdots ,0\right) \)の場合の極限をとる。その上で、その極限がゼロベクトルであること、すなわち、\begin{equation*}\lim_{h\rightarrow 0}\frac{f\left( a+h\right) -f\left( a\right) -f^{\prime}\left( a\right) h}{\left\Vert h\right\Vert }=0
   \end{equation*}が成り立つことを示す。

全微分係数の候補を特定する方法については後述します。

多変数のベクトル値関数の全微分可能性と成分関数の全微分可能性の関係

定義より、多変数のベクトル値関数の全微分可能性と成分可能性の全微分可能性の間には以下の関係が成り立ちます。

以上の命題より、多変数のベクトル値関数の全微分可能性に関する議論を多変数関数である成分関数の全微分可能性に関する議論に置き換えられることが明らかになりました。

先の命題は、多変数のベクトル値関数が全微分可能ではないことを示す際にも有用です。つまり、少なくとも1つの成分関数が点\(a\)において全微分可能ではない場合、もとの多変数のベクトル値関数もまた点\(a\)において全微分可能ではありません。

全微分可能な点の候補に関する留意点

多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)の点\(a\in X\)における全微分可能性を検証する際に、\(f\)が点\(a\)の周辺の任意の点において定義されていることを前提として話を進めましたが、その理由を以下で解説します。

関数\(f\)の点\(a\)において全微分可能であることとは、以下の関係\begin{equation*}\lim_{h\rightarrow 0}\frac{f\left( a+h\right) -f\left( a\right) -f^{\prime
}\left( a\right) h}{\left\Vert h\right\Vert }=0
\end{equation*}を満たす行列\(f^{\prime }\left( a\right)\in M_{n,m}\left( \mathbb{R} \right) \)が存在することを意味します。以上の関係が成り立つこととは、\(\frac{f\left( a+h\right) -f\left( a\right) }{h}\)を変数\(h=\left( h_{1},\cdots ,h_{n}\right) \)に関する多変数のベクトル値関数とみなしたとき、\(h\)がどのような経路で点\(0=\left( 0,\cdots ,0\right) \)へ限りなく近づく場合においても、それに応じて\(\frac{f\left( a+h\right) -f\left( a\right)-f^{\prime }\left( a\right) h}{\left\Vert h\right\Vert }\)が必ずゼロベクトルへ収束することを意味します。ただ、そもそも以上の検証を行うためには、\(h\)がどのような経路をたどって点\(0\)へ限りなく近づく場合にも、その経路上の任意の点\(h\)において\(\frac{f\left( a+h\right) -f\left( a\right) -f^{\prime }\left(a\right) h}{\left\Vert h\right\Vert }\)が定義されている必要があります。言い換えると、点\(0\)に限りなく近い任意の点\(h\)において\(\frac{f\left( a+h\right) -f\left( a\right) -f^{\prime }\left( a\right) h}{\left\Vert h\right\Vert }\)が定義されている必要があるということです。関数\(f\)が点\(a\)の周辺の任意の点において定義されている場合、点\(0\)に限りなく近い任意の点\(h\)において\(f\left( a+h\right) \)が定義されていることになるため、そのような任意の点\(h\)において\(\frac{f\left(a+h\right) -f\left( a\right) -f^{\prime }\left( a\right) h}{\left\Vert
h\right\Vert }\)もまた定義されていることになります。したがってこの場合、\(h\rightarrow 0\)のときに\(\frac{f\left( a+h\right) -f\left( a\right) -f^{\prime }\left( a\right) \cdot h}{\left\Vert h\right\Vert }\)がゼロベクトルへ収束するか検証できます。

多変数のベクトル値関数は全微分可能であるとは限らない

多変数のベクトル値関数\(f\)が点\(a\)において定義されていない場合、すなわち\(f\left( a\right) \)が定義されていない場合には\(\frac{f\left( a+h\right) -f\left( a\right)-f^{\prime }\left( a\right) h}{\left\Vert h\right\Vert }\)もまた定義されていないため、この場合には\(f\)が点\(a\)において全微分可能であるか検証できず、したがって\(f\)は点\(a\)において全微分可能ではありません。つまり、関数\(f\)が点\(a\)において定義されていない場合、\(f\)は点\(a\)において全微分可能ではないということです。

多変数のベクトル値関数\(f\)が点\(a\)において定義されている一方で、点\(a\)の周辺の任意の点において定義されているとは言えない場合には、ゼロベクトル\(0\)に限りなく近い任意の点\(h\)において\(f\left( a+h\right) \)が定義されているとは言えません。すると、ゼロベクトル\(0\)に限りなく近い任意の点\(h\)において\(\frac{f\left(a+h\right) -f\left( a\right) -f^{\prime }\left( a\right) h}{\left\Vert
h\right\Vert }\)が定義されているとも言えず、この場合には\(f\)が点\(a\)において全微分可能であるか検証できないため、\(f\)は点\(a\)において全微分可能ではありません。

多変数のベクトル値関数\(f\)が点\(a\)において定義されており、なおかつ点\(a\)の周辺の任意の点において定義されている場合においても、\(f\)は点\(a\)において全微分可能であるとは限りません。以下の例より明らかです。

全微分係数の一意性

多変数のベクトル値関数\(f\)が点\(a\)において全微分可能である場合、そこでの全微分係数\(f^{\prime }\left( a\right) \)は1つの行列として定まります。

全導関数

繰り返しになりますが、多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が定義域上の点\(a\in X\)において全微分可能であることとは、\(f\)が点\(a\)の周辺の任意の点において定義されているとともに、\begin{equation*}\lim_{h\rightarrow 0}\frac{f\left( a+h\right) -f\left( a\right) -f^{\prime
}\left( a\right) h}{\left\Vert h\right\Vert }=0
\end{equation*}を満たす行列\(f^{\prime }\left( a\right)\in M_{m,n}\left( \mathbb{R} \right) \)が存在することを意味します。しかも、先に示したように全微分係数\(f^{\prime }\left( a\right) \)は1つの行列として定まります。以上を踏まえると、\(f\)が全微分可能な点からなる集合を\(Y\subset X\)で表記するとき、それぞれの\(x\in Y\)に対して、そこでの全微分係数\(f^{\prime }\left( x\right) \in M_{m,n}\left( \mathbb{R} \right) \)を値として定める多変数の行列値関数\begin{equation*}f^{\prime }:\mathbb{R} ^{n}\supset Y\rightarrow M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が定義可能です。これを\(f\)の全導関数（total derivative）と呼び、\begin{equation*}f^{\prime }(x),\quad \frac{df(x)}{dx},\quad \frac{d}{dx}f(x)
\end{equation*}などで表記します。

一般に、多変数のベクトル値関数\(f\)は定義域\(X\)上の任意の点において全微分可能であるとは限りません。定義域\(X\)の中に関数\(f\)が全微分可能ではない点が存在する場合、導関数\(f^{\prime }\)の定義域\(Y\)は\(X\)の真部分集合になります。関数\(f\)の全導関数\(f^{\prime }\)は、もとの関数\(f\)が全微分可能な点においてのみ定義される関数であるということです。一方、関数\(f\)の定義域\(X\)と全導関数\(f^{\prime }\)の定義域\(Y\)が一致する場合、すなわち、関数\(f\)が定義域\(X\)上の任意の点において全微分可能である場合、\(f\)は\(X\)上で全微分可能（total differentiable on \(X\)）であるとか全微分可能である（total differentiable）などと言います。

演習問題