線型近似としてのベクトル値関数の微分

線型近似としてのベクトル値関数の微分

ベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)が点\(a\in X\)において微分可能であるものとします。つまり、点\(a\)における微分係数に相当するベクトル\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} ^{m} \quad \cdots (1)
\end{equation}が存在するということです。このとき、\begin{eqnarray*}
\lim_{h\rightarrow 0}\frac{f\left( a+h\right) -f\left( a\right) -hf^{\prime
}\left( a\right) }{h} &=&\lim_{h\rightarrow 0}\frac{f\left( a+h\right)
-f\left( a\right) }{h}-\lim_{h\rightarrow 0}\frac{hf^{\prime }\left(
a\right) }{h} \\
&=&\lim_{h\rightarrow 0}\frac{f\left( a+h\right) -f\left( a\right) }{h}-\lim_{h\rightarrow 0}f^{\prime }\left( a\right) \\
&=&f^{\prime }\left( a\right) -f^{\prime }\left( a\right) \quad \because
\left( 1\right) \\
&=&0
\end{eqnarray*}すなわち、\begin{equation}
\lim_{h\rightarrow 0}\frac{f\left( a+h\right) -f\left( a\right) -hf^{\prime
}\left( a\right) }{h}=0 \quad \cdots (2)
\end{equation}が成り立ちます。また、後ほど示すように、ベクトル値関数\(f\)は微分可能な点\(a\)において連続であることを踏まえると、\begin{eqnarray*}\lim_{h\rightarrow 0}\left[ f\left( a+h\right) -f\left( a\right) -hf^{\prime
}\left( a\right) \right] &=&\lim_{h\rightarrow 0}\left[ f\left( a+h\right)
-f\left( a\right) \right] -\lim_{h\rightarrow 0}hf^{\prime }\left( a\right)
\\
&=&\left[ f\left( a\right) -f\left( a\right) \right] -0\quad \because f\text{は点}a\text{において連続} \\
&=&0-0 \\
&=&0
\end{eqnarray*}すなわち、\begin{equation}
\lim_{h\rightarrow 0}\left[ f\left( a+h\right) -f\left( a\right) -hf^{\prime
}\left( a\right) \right] =0 \quad \cdots (3)
\end{equation}を得ます。さらに、\begin{equation}
\lim_{h\rightarrow 0}h=0 \quad \cdots (4)
\end{equation}は明らかに成り立ちます。\(\left( 2\right) ,\left( 3\right) ,\left( 4\right) \)より、変数\(h\)に関する関数\begin{equation*}f\left( a+h\right) -f\left( a\right) -hf^{\prime }\left( a\right)
\end{equation*}は、やはり変数\(h\)に関する関数\begin{equation*}h
\end{equation*}よりも点\(0\)において高位の無限小であること、すなわち、\begin{equation}f\left( a+h\right) -f\left( a\right) -hf^{\prime }\left( a\right) =o\left(
h\right) \quad \left( h\rightarrow 0\right) \quad \cdots (5)
\end{equation}が成り立つことが明らかになりました。

結論を整理すると、ベクトル値関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} ^{m}\)が点\(a\in X\)において微分可能である場合には、\(\left( 5\right) \)を満たすベクトル\(f^{\prime }\left( a\right) \in \mathbb{R} ^{m}\)が存在します。逆に、\(\left( 5\right) \)を満たすベクトル\(f^{\prime }\left( a\right) \)が存在する場合には\(f\)が点\(a\)において微分可能であることも示されるため（演習問題）、ベクトル値関数の微分可能性を以下のように特徴づけることができます。

上の命題において\(x=a+h\)とおくことにより以下を得ます。

以上の命題はどのような示唆を与えてくれるのでしょうか。ベクトル値関数\(f\)が点\(a\)において微分可能である場合、上の命題より、変数\(x\)に関する関数\begin{equation*}f\left( x\right) -\left[ f\left( a\right) +\left( x-a\right) c\right] \end{equation*}が、やはり変数\(x\)に関する関数\begin{equation*}x-a
\end{equation*}よりも点\(a\)において高位の無限小になるようなベクトル\(c\in \mathbb{R} ^{m}\)が存在します。つまり、変数\(x\)を点\(a\)に限りなく近づける場合、\(f\left( x\right) \)と\(f\left( a\right) +\left( x-a\right) c\)の誤差は限りなく小さくなるだけでなく、その誤差の大きさは\(x\)と\(a\)の誤差と比べても無視できるほど小さくなるということです。したがって、ベクトル値関数\(f\)が点\(a\)において微分可能である場合には、点\(a\)に限りなく近い任意の\(x\)において、\begin{equation*}f\left( x\right) \approx f\left( a\right) +\left( x-a\right) c
\end{equation*}という近似式が成り立ちます。加えて、\begin{equation*}
c=f^{\prime }\left( a\right)
\end{equation*}であることを踏まえると、先の近似式を、\begin{equation*}
f\left( x\right) \approx f\left( a\right) +\left( x-a\right) f^{\prime
}\left( a\right)
\end{equation*}と表現できます。つまり、ベクトル値関数\(f\)を点\(a\)において微分することとは、点\(a\)の周辺において\(f\)を変数\(x\)に関する1次式\begin{equation*}f\left( a\right) +\left( x-a\right) f^{\prime }\left( a\right)
\end{equation*}で近似することを意味します。この近似式を点\(a\)における\(f\)の1次の近似多項式（1 st degree approximating polynomial of \(f\) at \(a\)）と呼びます。

ベクトル値関数\(f\)の点\(a\)における1次の近似多項式のグラフは、\begin{equation*}\left\{ \left( x,y\right) \in \mathbb{R} \times \mathbb{R} ^{m}\ |\ y=f\left( a\right) +\left( x-a\right) f^{\prime }\left( a\right)
\right\}
\end{equation*}である一方、\(f\)のグラフは、\begin{equation*}\left\{ \left( x,y\right) \in \mathbb{R} \times \mathbb{R} ^{m}\ |\ y=f\left( x\right) \right\}
\end{equation*}と定義されます。繰り返しになりますが、ベクトル値関数\(f\)が点\(a\)において微分可能である場合には、点\(a\)に限りなく近い任意の\(x\)において、\begin{equation*}f\left( x\right) \approx f\left( a\right) +\left( x-a\right) f^{\prime
}\left( a\right)
\end{equation*}という近似式が成り立つため、点\(a\)の周辺において\(f\)のグラフは点\(a\)における1次の近似多項式のグラフと近似的に等しくなります。

演習問題