方向微分による偏微分の特徴づけ
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義上の点\(a\in X\)において変数\(x_{k}\)に関して偏微分可能であることとは、\(f\)が点\(a\)の周辺の任意の点において定義されているとともに、偏微分係数\begin{equation*}\frac{\partial f\left( a\right) }{\partial x_{k}}=\lim_{h\rightarrow 0}\frac{f\left( a+he_{k}\right) -f\left( a\right) }{h}
\end{equation*}が有限な実数として定まることを意味します。ただし、\(e_{k}\)は第\(k\)成分が\(1\)で他の任意の成分が\(0\)である単位ベクトルであるため、偏微分係数\(\frac{\partial f\left( a\right) }{\partial x_{k}}\)は\(e_{k}\)方向の方向微分係数\(\frac{\partial f\left(a\right) }{\partial e_{k}}\)と一致します。つまり、\begin{equation*}\frac{\partial f\left( a\right) }{\partial x_{k}}=\frac{\partial f\left(
a\right) }{\partial e_{k}}
\end{equation*}が成り立つということです。
a\right) }{\partial e_{k}}
\end{equation*}という関係が成り立つ。ただし、\(e_{k}\)は第\(k\)成分が\(1\)で他の任意の成分が\(0\)であるような単位ベクトルである。
\end{equation*}が成り立つということです。
x_{1}},\cdots ,\frac{\partial f\left( x\right) }{\partial x_{n}}\right)
\end{equation*}を定めます。先の命題より、以上の条件は\(f\)が定義域\(X\)上で方向\(e_{1},\cdots ,e_{n}\)のいずれに関しても方向微分可能であることと必要十分です。つまり、任意の\(k\ \left( =1,\cdots ,n\right) \)に関して方向導関数\(\frac{\partial f}{\partial e_{k}}:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が存在するということです。さらに、\(\frac{\partial f}{\partial x_{k}}\)と\(\frac{\partial f}{\partial e_{k}}\)は一致するため、\begin{equation*}\forall x\in X:\nabla f\left( x\right) =\left( \frac{\partial f\left(
x\right) }{\partial e_{1}},\cdots ,\frac{\partial f\left( x\right) }{\partial e_{n}}\right)
\end{equation*}が成り立ちます。
\end{equation*}を定めるものとします。\(f\)は偏微分可能であり、勾配ベクトル場\(\nabla f:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}\nabla f\left( x,y\right) &=&\left( \frac{\partial f\left( x,y\right) }{\partial x},\frac{\partial f\left( x,y\right) }{\partial y}\right) \\
&=&\left( \frac{\partial }{\partial x}\left( xy\right) ,\frac{\partial f}{\partial y}\left( xy\right) \right) \\
&=&\left( y,x\right)
\end{eqnarray*}を定めます。すると、先の命題より、\(f\)は方向\(e_{1}=\left( 1,0\right) \)および\(e_{2}=\left( 0,1\right) \)の双方について方向微分可能であるとともに、\begin{equation*}\nabla f\left( x,y\right) =\left( \frac{\partial f\left( x,y\right) }{\partial e_{1}},\frac{\partial f\left( x,y\right) }{\partial e_{2}}\right)
\end{equation*}が成り立つはずです。実際、方向微分の定義より、\begin{eqnarray*}
\frac{\partial f\left( x,y\right) }{\partial e_{1}} &=&\lim_{h\rightarrow 0}\frac{f\left( x+h,y\right) }{h} \\
&=&\lim_{h\rightarrow 0}\frac{\left( x+h\right) y}{h} \\
&=&\lim_{h\rightarrow 0}\frac{xy}{h}+\lim_{h\rightarrow 0}y \\
&=&0+y \\
&=&y
\end{eqnarray*}であり、\begin{eqnarray*}
\frac{\partial f\left( x,y\right) }{\partial e_{2}} &=&\lim_{h\rightarrow 0}\frac{f\left( x,y+h\right) }{h} \\
&=&\lim_{h\rightarrow 0}\frac{x\left( y+h\right) }{h} \\
&=&\lim_{h\rightarrow 0}\frac{xy}{h}+\lim_{h\rightarrow 0}x \\
&=&0+x \\
&=&x
\end{eqnarray*}となるため証明が完了しました。以上の結果は先の命題の主張と整合的です。
方向微分可能な関数は偏微分可能
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義上の点\(a\in X\)において方向微分可能であることとは、方向ベクトル\(e\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)を任意に選んだときに、\(f\)が点\(a\)において\(e\)方向に方向微分可能であることを意味します。この場合、方向ベクトル\(e\)は任意であるため、変数\(x_{k}\)を任意に選んだとき、その変数の軸と平行な方向\(e_{k}\)に関しても\(f\)は方向微分可能ですが、これは\(f\)が点\(a\)において変数\(x_{k}\)に関して偏微分可能であることを意味します。任意の変数についても同様の議論が成り立つため以下が成り立ちます。
e_{1}},\cdots ,\frac{\partial f\left( a\right) }{\partial e_{n}}\right)
\end{equation*}という関係が成り立つ。
x\right) }{\partial e_{1}},\cdots ,\frac{\partial f\left( x\right) }{\partial e_{n}}\right)
\end{equation*}が成り立ちます。
偏微分可能な関数は方向微分可能であるとは限らない
先の命題の逆は成立するとは限りません。つまり、多変数関数\(f\)が定義域上の点\(a\)において偏微分可能である場合、\(f\)は点\(a\)において方向微分可能であるとは限りません。\(f\)が点\(a\)において任意の変数について偏微分可能である場合、\(f\)は点\(a\)において任意の方向に方向微分可能であるとは限らないということです。以下の例より明らかです。
\begin{array}{ll}
\frac{xy}{x^{2}+y^{2}} & \left( if\ \left( x,y\right) \not=\left( 0,0\right)
\right) \\
0 & \left( if\ \left( x,y\right) =\left( 0,0\right) \right)\end{array}\right.
\end{equation*}を定めるものとします。この関数\(f\)は点\(\left(0,0\right) \)において変数\(x,y\)のどちらについても偏微分可能である一方で、点\(\left( 0,0\right) \)において方向\(\left( \frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2}\right) \)に関して方向微分可能ではありません(演習問題)。
ちなみに、任意の変数について偏微分可能ではない関数が、何らかの方向について方向微分可能であるような状況は起こり得ます。以下の例より明らかです。
\begin{array}{ll}
\frac{x^{2}-y^{2}}{x^{2}+y^{2}} & \left( if\ \left( x,y\right) \not=\left(
0,0\right) \right) \\
0 & \left( if\ \left( x,y\right) =\left( 0,0\right) \right)\end{array}\right.
\end{equation*}を定めるものとします。この関数は点\(\left(0,0\right) \)において変数\(x,y\)のどちらについても偏微分可能ではない一方で、点\(\left( 0,0\right) \)において方向\(\left( \frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2}\right) \)に関して方向微分可能です(演習問題)。
方向微分係数は勾配ベクトルと方向ベクトルの内積
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義上の点\(a\in X\)において方向微分可能であるものとします。つまり、方向ベクトル\(e\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)を任意に選んだとき、点\(a\)における\(e\)方向の方向微分係数\begin{equation*}\frac{\partial f\left( a\right) }{\partial e}=\lim_{h\rightarrow 0}\frac{f\left( a+he\right) -f\left( a\right) }{h}\in \mathbb{R} \end{equation*}が有限な実数として定まるということです。先の命題より、この場合、\(f\)は点\(a\)において任意の変数\(x_{k}\ \left( k=1,\cdots ,n\right) \)について偏微分可能であるため、点\(a\)における勾配ベクトル\begin{equation*}\nabla f\left( a\right) =\left( \frac{\partial f\left( a\right) }{\partial
x_{1}},\cdots ,\frac{\partial f\left( a\right) }{\partial x_{n}}\right) \in \mathbb{R} ^{n}
\end{equation*}が存在することが保証されます。さらにこのとき、\(f\)が点\(a\)において\(C^{1}\)級であるならば(実際には、後に導入する全微分可能性を満たしていれば十分)、\begin{eqnarray*}\frac{\partial f\left( a\right) }{\partial e} &=&\nabla f\left( a\right)
\cdot e \\
&=&\left( \frac{\partial f\left( a\right) }{\partial x_{1}},\cdots ,\frac{\partial f\left( a\right) }{\partial x_{n}}\right) \cdot \left( e_{1},\cdots
,e_{n}\right) \\
&=&e_{1}\frac{\partial f\left( a\right) }{\partial x_{1}}+\cdots +e_{n}\frac{\partial f\left( a\right) }{\partial x_{n}} \\
&=&\sum_{i=1}^{n}e_{i}\frac{\partial f\left( a\right) }{\partial x_{i}}
\end{eqnarray*}という関係が成り立つことが保証されます。つまり、\(f\)が点\(a\)において\(C^{1}\)級である場合には、点\(a\)における勾配ベクトル\(\nabla f\left(a\right) \)と方向ベクトル\(e\)の内積をとれば、点\(a\)における\(e\)方向の方向微分係数が得られることが保証されます。通常、方向微分係数\(\frac{\partial f\left( a\right) }{\partial e}\)の導出よりも勾配ベクトル\(\nabla f\left( a\right) \)の導出のほうが容易であるため、以上の関係を利用することにより方向微分係数を容易に導出できます。
\end{equation*}という関係が成り立つ。
\end{equation*}を定めます。
\end{equation*}を定めるものとします。\(f\)は任意の方向\(\left(e_{1},e_{2}\right) \)について方向微分可能です。まずは、定義にもとづいて方向微分すると、\begin{eqnarray*}\frac{\partial f\left( x,y\right) }{\partial \left( e_{1},e_{2}\right) }
&=&\left. \frac{df\left( x+e_{1}h,y+e_{2}h\right) }{dh}\right\vert
_{h=0}\quad \because \text{方向微分と微分の関係} \\
&=&\left. \frac{d}{dh}\left( x+e_{1}h\right) \left( y+e_{2}h\right)
\right\vert _{h=0} \\
&=&\left. e_{1}\left( y+e_{2}h\right) +\left( x+e_{1}h\right)
e_{2}\right\vert _{h=0} \\
&=&e_{1}y+xe_{2}
\end{eqnarray*}を得ます。\(f\)は\(C^{1}\)級であるため先の手法を用いて方向微分すると、\begin{eqnarray*}\frac{\partial f\left( x,y\right) }{\partial \left( e_{1},e_{2}\right) }
&=&\nabla f\left( x,y\right) \cdot \left( e_{1},e_{2}\right) \\
&=&\left( \frac{\partial f\left( x,y\right) }{\partial x},\frac{\partial
f\left( x,y\right) }{\partial y}\right) \cdot \left( e_{1},e_{2}\right) \\
&=&\left( \frac{\partial f}{\partial x}\left( xy\right) ,\frac{\partial f}{\partial y}\left( xy\right) \right) \cdot \left( e_{1},e_{2}\right) \\
&=&\left( y,x\right) \cdot \left( e_{1},e_{2}\right) \\
&=&e_{1}y+xe_{2}
\end{eqnarray*}となりますが、これは先の結果と一致します。以上の結果は先の命題の主張と整合的です。
多変数関数\(f\)が\(C^{1}\)級ではない場合(実際には、全微分可能ではない場合)、先の命題の主張は成り立つとは限りません。つまり、多変数関数\(f\)が点\(a\)において\(C^{1}\)級ではない場合には、\begin{equation*}\frac{\partial f\left( a\right) }{\partial e}=\nabla f\left( a\right) \cdot e
\end{equation*}という関係は成り立つとは限らないということです。以下の例より明らかです。
\begin{array}{ll}
\frac{x^{2}-y^{2}}{x^{2}+y^{2}} & \left( if\ \left( x,y\right) \not=\left(
0,0\right) \right) \\
0 & \left( if\ \left( x,y\right) =\left( 0,0\right) \right)\end{array}\right.
\end{equation*}を定めるものとします。先に示したように、この関数は点\(\left(0,0\right) \)において変数\(x,y\)のどちらについても偏微分可能ではない一方で、点\(\left( 0,0\right) \)において方向\(\left( \frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2}\right) \)に関して方向微分可能です。つまり、点\(\left( 0,0\right) \)における勾配ベクトル\(\nabla f\left( 0,0\right) \)が存在しないため、これと方向ベクトル\(\left( \frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2}\right) \)の内積をとることができません。
演習問題
\end{equation*}を定めるものとします。方向ベクトル\(\left(e_{1},e_{2}\right) \)を任意に選んだときの、方向導関数\(\frac{\partial f}{\partial \left( e_{1},e_{2}\right) }\)を求めてください。
\end{equation*}を定めます。方向ベクトル\(\left( e_{1},e_{2},e_{3}\right) \)を任意に選んだときの、方向導関数\(\frac{\partial f}{\partial \left(e_{1},e_{2},e_{3}\right) }\)を求めてください。
\begin{array}{ll}
\frac{xy}{x^{2}+y^{2}} & \left( if\ \left( x,y\right) \not=\left( 0,0\right)
\right) \\
0 & \left( if\ \left( x,y\right) =\left( 0,0\right) \right)\end{array}\right.
\end{equation*}を定めるものとします。この関数\(f\)は点\(\left(0,0\right) \)において変数\(x,y\)のどちらについても偏微分可能である一方で、点\(\left( 0,0\right) \)において方向\(\left( \frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2}\right) \)に関して方向微分可能ではないことを示してください。
\begin{array}{ll}
\frac{x^{2}-y^{2}}{x^{2}+y^{2}} & \left( if\ \left( x,y\right) \not=\left(
0,0\right) \right) \\
0 & \left( if\ \left( x,y\right) =\left( 0,0\right) \right)\end{array}\right.
\end{equation*}を定めるものとします。この関数は点\(\left(0,0\right) \)において変数\(x,y\)のどちらについても偏微分可能ではない一方で、点\(\left( 0,0\right) \)において方向\(\left( \frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2}\right) \)に関して方向微分可能であることを示してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】