方向微分
数学において、多変数微分可能関数のある与えられた点 x におけるある与えられたベクトル v に沿った方向微分(ほうこうびぶん、directional derivative)とは、直感的には、v によって特徴づけられた速度で x を通過する時の、その関数の即時的な変化率を意味する。したがって、他のすべての座標は定数として、ある一つの曲線座標に沿った変化率を取るような、偏微分の概念を一般化するものである。
方向微分は、ガトー微分の特別な場合である。
\boldsymbol{v} = (v_1, \ldots, v_n)
に沿った、スカラー関数
f(\boldsymbol{x}) = f(x_1, x_2, \ldots, x_n)
の方向微分は、極限
\nabla_{\boldsymbol{v}{f}(\boldsymbol{x}) = \lim_{h \rightarrow 0}{\frac{f(\boldsymbol{x} + h\boldsymbol{v}) - f(\boldsymbol{x})}{h}
として定義される関数である。
関数 f が x において微分可能であるなら、任意のベクトル v に沿った方向微分が存在し、
\nabla_{\boldsymbol{v}{f}(\boldsymbol{x}) = \nabla f(\boldsymbol{x}) \cdot \boldsymbol{v}
が成立する。ここで、右辺の \nabla は勾配を表し、\cdot はドット積を表す。任意の点 x において、f の方向微分は、直感的には、ある速度と、v によって与えられるある方向によって動く時の、f の時間に関する変化率を表す。
何人かの研究者は、方向微分を正規化を施した後のベクトル v に対して定義しており、その場合その絶対値は考慮から外される。すると、
\nabla_{\boldsymbol{v}{f}(\boldsymbol{x}) = \lim_{h \rightarrow 0}{\frac{f(\boldsymbol{x} + h\boldsymbol{v}) - f(\boldsymbol{x})}{h|\boldsymbol{v}|}
であるか、あるいは f が x において微分可能である場合には、
\nabla_{\boldsymbol{v}{f}(\boldsymbol{x}) = \nabla f(\boldsymbol{x}) \cdot \frac{\boldsymbol{v}
が成立する。この定義には、いくつかの不利な点がある:すなわち、その定義はベクトルのノルムが定義され、ゼロでない場合においてのみ適用されるということである。この定義は、物理学や工学など、数学と異なるいくつかの分野において用いられる概念とは相入れないものとなるが、単位距離ごとの f の増加率を知りたい場合には、用いられるべきものである。
方向微分には、次のようないくつかの表記法がある:
\nabla_{\boldsymbol{v}{f}(\boldsymbol{x}) \sim \frac{\partial{f(\boldsymbol{x})}{\partial{v} \sim f'_\boldsymbol{v}(\boldsymbol{x}) \sim D_\boldsymbol{v}f(\boldsymbol{x}) \sim \boldsymbol{v}\cdot{\nabla f(\boldsymbol{x})}
通常の微分に対して成立する有名な性質の多くは、方向微分に対しても成立する。以下に述べる性質は、ある点 p において微分可能であり、その点の近傍において定義されるような任意の関数 f および g に対して、成立する:
\nabla_v f + \nabla_v g
M を微分可能多様体とし、p を M 内のある点とする。f を、点 p のある近傍において定義され、p において微分可能なある関数とする。
v を点 p における M への接ベクトルとするとき、f の v に沿った方向微分は、\nabla_v f(p)(共変微分を参照)や L_v f(p)(リー微分を参照)、あるいは v_p(f)(接ベクトル空間を参照)など様々な方法で表記され、その定義は次のようになる:γ : [-1,1] → M を、γ(0) = p および γ′(0) = v を満たすような微分可能な曲線とする。このとき、方向微分は
\nabla_v f(p) = \left.\frac{d}{d\tau} f\circ\gamma(\tau)\right|_{\tau=0}
と定義される。この定義は、γ′(0) = v を満たすようなものとして γ が選ばれている限り、γ の選び方によらない。
法線微分(normal derivative)とは、空間内のある曲面に対する法線方向(すなわち、直交する方向)に関する、方向微分である。あるいはより一般的に、法線微分とは、ある超曲面に直交する法線ベクトル場に沿った方向微分である。例えばノイマン境界条件を参照されたい。法線方向を \boldsymbol{n} と表すとき、関数 ƒ の方向微分はしばしば \partial f/\partial n と表される、その他、
\frac{ \partial f}{\partial n} = \nabla f(\boldsymbol{x}) \cdot \boldsymbol{n} = \nabla_{\boldsymbol{n}{f}(\boldsymbol{x}) = \frac{\partial f}{\partial \boldsymbol{x}\cdot\boldsymbol{n} = Df(\boldsymbol{x})[\boldsymbol{n}]
とも表される。
連続体力学におけるいくつかの重要な結果においては、ベクトルに関するベクトルの微分や、ベクトルやテンソルに関するテンソルの微分の概念が必要となる。方向微分は、そのような微分を見つける上での体系的な方法を提供するものである。
さまざまな状況に対する方向微分の定義を、以下に述べる。そこでの各関数は、微分が取れるように十分滑らかであるもののと仮定される。
f(\boldsymbol{v}) を、ベクトル \boldsymbol{v} に関する実数値関数とする。このとき、すべてのベクトル \boldsymbol{u} に対して、方向 \boldsymbol{u} への f(\boldsymbol{v}) の \boldsymbol{v} に関する(あるいは、\boldsymbol{v} での)微分は、次のように定義される:
\frac{\partial f}{\partial \boldsymbol{v}\cdot\boldsymbol{u} = Df(\boldsymbol{v})[\boldsymbol{u}]
= \left[\frac{d }{d \alpha}~f(\boldsymbol{v} + \alpha~\boldsymbol{u})\right]_{\alpha = 0}.
性質:
f_1(\boldsymbol{v}) + f_2(\boldsymbol{v}) なら、
\frac{\partial f}{\partial \boldsymbol{v\cdot\boldsymbol{u} =  \left(\frac{\partial f_1}{\partial \boldsymbol{v} + \frac{\partial f_2}{\partial \boldsymbol{v}\right)\cdot\boldsymbol{u}
。
| f(\boldsymbol{v}) = f_1(\boldsymbol{v})~ f_2(\boldsymbol{v}) なら、
\frac{\partial f}{\partial \boldsymbol{v}\cdot\boldsymbol{u} =  \left(\frac{\partial f_1}{\partial \boldsymbol{v}\cdot\boldsymbol{u}\right)~f_2(\boldsymbol{v}) + f_1(\boldsymbol{v})~\left(\frac{\partial f_2}{\partial \boldsymbol{v}\cdot\boldsymbol{u} \right)
。
| f(\boldsymbol{v}) = f_1(f_2(\boldsymbol{v})) なら、
\frac{\partial f}{\partial \boldsymbol{v}\cdot\boldsymbol{u} =  \frac{\partial f_1}{\partial f_2}~\frac{\partial f_2}{\partial \boldsymbol{v}\cdot\boldsymbol{u}
。
}
\boldsymbol{f}(\boldsymbol{v}) を、ベクトル \boldsymbol{v} に関するベクトル値関数とする。このとき、すべてのベクトル \boldsymbol{u} に対して、方向 \boldsymbol{u} への \boldsymbol{f}(\boldsymbol{v}) の \boldsymbol{v} に関する(あるいは、\boldsymbol{v} における)微分は、次のベクトルで定義される:
\frac{\partial \boldsymbol{f}{\partial \boldsymbol{v}\cdot\boldsymbol{u} = D\boldsymbol{f}(\boldsymbol{v})[\boldsymbol{u}]
= \left[\frac{d }{d \alpha}~\boldsymbol{f}(\boldsymbol{v} + \alpha~\boldsymbol{u})\right]_{\alpha = 0}.
性質:
\boldsymbol{f}_1(\boldsymbol{v}) + \boldsymbol{f}_2(\boldsymbol{v}) なら、
\frac{\partial \boldsymbol{f{\partial \boldsymbol{v}\cdot\boldsymbol{u} =  \left(\frac{\partial \boldsymbol{f}_1}{\partial \boldsymbol{v} + \frac{\partial \boldsymbol{f}_2}{\partial \boldsymbol{v}\right)\cdot\boldsymbol{u}
。
| \boldsymbol{f}(\boldsymbol{v}) = \boldsymbol{f}_1(\boldsymbol{v})\times\boldsymbol{f}_2(\boldsymbol{v}) なら、
\frac{\partial \boldsymbol{f}{\partial \boldsymbol{v}\cdot\boldsymbol{u} =  \left(\frac{\partial \boldsymbol{f}_1}{\partial \boldsymbol{v}\cdot\boldsymbol{u}\right)\times\boldsymbol{f}_2(\boldsymbol{v}) + \boldsymbol{f}_1(\boldsymbol{v})\times\left(\frac{\partial \boldsymbol{f}_2}{\partial \boldsymbol{v}\cdot\boldsymbol{u} \right)
。
| \boldsymbol{f}(\boldsymbol{v}) = \boldsymbol{f}_1(\boldsymbol{f}_2(\boldsymbol{v})) なら、
\frac{\partial \boldsymbol{f}{\partial \boldsymbol{v}\cdot\boldsymbol{u} =  \frac{\partial \boldsymbol{f}_1}{\partial \boldsymbol{f}_2}\cdot\left(\frac{\partial \boldsymbol{f}_2}{\partial \boldsymbol{v}\cdot\boldsymbol{u} \right)
。
}
f(\boldsymbol{S}) を、二階テンソル \boldsymbol{S} に関する実数値関数とする。このとき、すべての二階テンソル \boldsymbol{T} に対して、方向 \boldsymbol{T} への f(\boldsymbol{S}) の \boldsymbol{S} に関する(あるいは、\boldsymbol{S} における)微分は、次の二階テンソルで定義される:
\frac{\partial f}{\partial \boldsymbol{S}:\boldsymbol{T} = Df(\boldsymbol{S})[\boldsymbol{T}]
= \left[\frac{d }{d \alpha}~f(\boldsymbol{S} + \alpha~\boldsymbol{T})\right]_{\alpha = 0}.
性質:
f_1(\boldsymbol{S}) + f_2(\boldsymbol{S}) なら、 \frac{\partial f}{\partial \boldsymbol{S:\boldsymbol{T} =  \left(\frac{\partial f_1}{\partial \boldsymbol{S} + \frac{\partial f_2}{\partial \boldsymbol{S}\right):\boldsymbol{T} 。
| f(\boldsymbol{S}) = f_1(\boldsymbol{S})~ f_2(\boldsymbol{S}) なら、 \frac{\partial f}{\partial \boldsymbol{S}:\boldsymbol{T} =  \left(\frac{\partial f_1}{\partial \boldsymbol{S}:\boldsymbol{T}\right)~f_2(\boldsymbol{S}) + f_1(\boldsymbol{S})~\left(\frac{\partial f_2}{\partial \boldsymbol{S}:\boldsymbol{T} \right) 。
| f(\boldsymbol{S}) = f_1(f_2(\boldsymbol{S})) なら、 \frac{\partial f}{\partial \boldsymbol{S}:\boldsymbol{T} =  \frac{\partial f_1}{\partial f_2}~\left(\frac{\partial f_2}{\partial \boldsymbol{S}:\boldsymbol{T} \right) 。
}
\boldsymbol{F}(\boldsymbol{S}) を、二階テンソル \boldsymbol{S} に関する、二階テンソル値関数とする。このとき、すべての二階テンソル \boldsymbol{T} に対して、方向 \boldsymbol{T} への \boldsymbol{F}(\boldsymbol{S}) の \boldsymbol{S} に関する(あるいは、\boldsymbol{S} での)微分は、次の四階テンソルで定義される:
\frac{\partial \boldsymbol{F}{\partial \boldsymbol{S}:\boldsymbol{T} = D\boldsymbol{F}(\boldsymbol{S})[\boldsymbol{T}]
= \left[\frac{d }{d \alpha}~\boldsymbol{F}(\boldsymbol{S} + \alpha~\boldsymbol{T})\right]_{\alpha = 0}.
性質:
\boldsymbol{F}_1(\boldsymbol{S}) + \boldsymbol{F}_2(\boldsymbol{S}) なら、 \frac{\partial \boldsymbol{F{\partial \boldsymbol{S}:\boldsymbol{T} =  \left(\frac{\partial \boldsymbol{F}_1}{\partial \boldsymbol{S} + \frac{\partial \boldsymbol{F}_2}{\partial \boldsymbol{S}\right):\boldsymbol{T} 。
| \boldsymbol{F}(\boldsymbol{S}) = \boldsymbol{F}_1(\boldsymbol{S})\cdot\boldsymbol{F}_2(\boldsymbol{S}) なら、 \frac{\partial \boldsymbol{F}{\partial \boldsymbol{S}:\boldsymbol{T} =  \left(\frac{\partial \boldsymbol{F}_1}{\partial \boldsymbol{S}:\boldsymbol{T}\right)\cdot\boldsymbol{F}_2(\boldsymbol{S}) + \boldsymbol{F}_1(\boldsymbol{S})\cdot\left(\frac{\partial \boldsymbol{F}_2}{\partial \boldsymbol{S}:\boldsymbol{T} \right) 。
| \boldsymbol{F}(\boldsymbol{S}) = \boldsymbol{F}_1(\boldsymbol{F}_2(\boldsymbol{S})) なら、 \frac{\partial \boldsymbol{F}{\partial \boldsymbol{S}:\boldsymbol{T} =  \frac{\partial \boldsymbol{F}_1}{\partial \boldsymbol{F}_2}:\left(\frac{\partial \boldsymbol{F}_2}{\partial \boldsymbol{S}:\boldsymbol{T} \right) 。
| f(\boldsymbol{S}) = f_1(\boldsymbol{F}_2(\boldsymbol{S})) なら、 \frac{\partial f}{\partial \boldsymbol{S}:\boldsymbol{T} =  \frac{\partial f_1}{\partial \boldsymbol{F}_2}:\left(\frac{\partial \boldsymbol{F}_2}{\partial \boldsymbol{S}:\boldsymbol{T} \right) 。
}