勾配 (ベクトル解析)
ベクトル解析におけるスカラー場の勾配(こうばい、テンプレート:Lang-en-short; グラディエント)は、各点においてそのスカラー場の変化率が最大となる方向への変化率の値を大きさにもつベクトルを対応させるベクトル場である。簡単に言えば、任意の量の空間における変位を、傾きとして表現(例えば図示)することができるが、そこで勾配はこの傾きの向きや傾きのきつさを表している。
ユークリッド空間上の函数の勾配を、別なユークリッド空間に値を持つ写像に対して一般化したものは、ヤコビ行列で与えられる。さらに一般化して、バナッハ空間から別のバナッハ空間への写像の勾配をフレシェ微分を通じて定義することができる。
目次
解釈
一つの部屋を、その部屋の温度を与えるスカラー場 T と考えれば、各点 (x,y,z) における温度を T(x,y,z) と書くことができる(ここでは温度は時間変化を起こさないものと仮定する)。部屋の各点において、T の勾配は最も早く温度が上昇する方向を指し、その大きさはその方向でどれほど早く温度が上昇するかを示している。
点 (x, y) における海抜が H(x, y) であるような曲面を考える。ある点における H の勾配は、その点においてもっとも傾き(縦断勾配)が急峻であるような方向を指すベクトルで、その大きさはその点でのもっとも急峻な傾きの値によって与えられる。
勾配からは、内積を取ることにより、最も変化の大きい方向以外の方向でも、そのスカラー場がどれほど変化するかを知ることができる。 丘陵のもっとも急峻な傾きが 40% とすると、その丘陵を真っ直ぐ上る道の最も急峻な傾きも 40% となるが、代わりに適当な角度をつけて丘陵をぐるりと回る道を行けば、傾きはもっと緩やかになるはずである。 例えば、道と真っ直ぐ坂を上がる方向との間の角度が、水平面に投影して 60°になっていれば、その道の最も急峻な傾きは 20%(40% に 60°の余弦を掛けたもの)になるはずである。
この考察を数学的に述べると以下のようになる。丘陵の高さを表す函数 H が微分可能であるものとすれば、H の勾配に単位ベクトルとの内積をとれば、そのベクトルの方向への丘陵の傾きが得られる。もう少し形式的に書くと、H が可微分であるとき、H の勾配と与えられた単位ベクトルとの内積は、その単位ベクトルの方向への H の方向微分に等しい。
定義
スカラー函数 f (x1, x2, x3, …, xn) の勾配(勾配ベクトル場)は、ベクトル微分作用素 ∇(ナブラ記号)を用いて、<math>\nabla f</math> あるいは <math>\vec{\nabla} f</math> と書かれる。勾配を <math>\mathrm{grad}\, f</math> と書くことも広く行われている。
f の勾配 ∇f とは、各点 x において任意の空間ベクトル v との点乗積が f の v に沿う方向微分に一致するベクトル場として一意的に定義される。式で書けば、勾配は
- <math>(\nabla f(x))\cdot \mathbf{v} = D_{\mathbf v}f(x)</math>
で決定されるということである。直交座標系において、勾配は成分が f の偏微分で与えられるベクトル場
- <math> \nabla f = \frac{\partial f}{\partial x_1 }\mathbf{e}_1 + \cdots + \frac{\partial f}{\partial x_n }\mathbf{e}_n</math>
である。ただし、ei はこの座標系の目地を描く直交単位ベクトルである。 函数が例えば時間のようなパラメータにも依存する場合、その勾配とは単に空間成分の微分のみからなるベクトルを指すことも多い。
三次元デカルト座標系においてこれは、i, j, k を基本単位ベクトルとして
- <math>\frac{\partial f}{\partial x} \mathbf{i} +
\frac{\partial f}{\partial y} \mathbf{j} + \frac{\partial f}{\partial z} \mathbf{k}</math> と書ける。例えば函数 f (x, y, z) = 2x + 3y2 − sin(z) の勾配は ∇f = 2i + 6yj − cos(z)k となる。
応用に際して、勾配をその直交座標系に関する成分の成す行ベクトルもしくは列ベクトルとして表示することもある。
勾配と全微分の関係
写像の線型近似
ユークリッド空間 Rn から R への函数 f の、任意の点 x0 ∈ Rn における勾配は、x0 における f の最適線型近似を特徴づけるものである。即ち、線型近似式は x0 にほど近い x に対して
- <math> f(x) \approx f(x_0) + (\nabla f)_{x_0}\cdot(x-x_0) </math>
で与えられる。ここで <math>(\nabla f)_{x_0}</math> は x0 における f の勾配であり、中黒は Rn における点乗積である。この式は f の x0 における多変数テイラー級数展開の最初の二項をとったものと同値である。
全微分
函数 f: Rn → Rn の点 x ∈ Rn にける最適線型近似は、Rn から R への線型汎函数であり、x における f の微分係数あるいは全微分係数 dfx, Df(x) と呼ばれる。従って勾配は全微分係数との間に
- <math> (\nabla f)_x\cdot v = df_x(v)\quad (v\in\mathbb{R}^n)</math>
なる関係で結ばれている。x を dfx へ写す函数 df は f の(全)微分または(全)導函数と呼ばれ、これを一次微分形式と解釈して f の外微分と見做すこともできる。
Rn を(長さ n で成分が実数値の)列ベクトル全体の成す空間と見るとき、全微分 df を行ベクトル
- <math> df = \left( \frac{\partial f}{\partial x_1}, \dots, \frac{\partial f}{\partial x_n}\right) </math>
と見做して、dfx(v) を行列の積で与えることができる。このとき、勾配は列ベクトル
- <math>\nabla f = {}^t(df)</math>
に対応する。
微分としての性質
U を Rn の開集合とし、函数 テンプレート:Nowrap が(フレシェ)微分可能とすると、f の全微分は f の(フレシェ)導函数であり、従って ∇f は U から空間 R への写像で
- <math>\lim_{h\to 0} \frac{\|f(x+h)-f(x) -\nabla f(x)\cdot h\|}{\|h\|} = 0</math>
を満たすものである(中黒は点乗積)。
この帰結として、勾配が通常の微分が持つ微分法則を満足することがわかる。
- 線型性
- 二つの実数値函数 f, g が点 テンプレート:Nowrap において微分可能で、α, β が実定数であるとき、線型和 テンプレート:Nowrap は a において微分可能であり、さらに<math>を満たすという意味で、勾配は線型である。
\nabla(\alpha f+\beta g)(a) = \alpha \nabla f(a) + \beta\nabla g (a)
</math>- 積の微分法則
- f と g が実数値函数で点 テンプレート:Nowrap において微分可能ならば、それらの積 テンプレート:Nowrap は a において微分可能で、<math>なる積の法則を満たす。
\nabla (fg)(a) = f(a)\nabla g(a) + g(a)\nabla f(a)
</math>- 連鎖律
- Rn の部分集合 A 上で定義された実数値函数 テンプレート:Nowrap が点 a において微分可能とする。勾配に関する連鎖律には二つの形が存在する。
- 一つ目は、函数 g を曲線の媒介変数表示、即ち R の部分集合 I から Rn への函数 テンプレート:Nowrap とするとき、g が g(c) = a なる I の点 c で微分可能ならば、<math>(f\circ g)'(c) = \nabla f(a)\cdot g'(c)</math>が成立するというもの。ただし ∘ は写像の合成である。より一般に、テンプレート:Nowrap である場合にも<math>が成立する。ただし、t(Dg) は転置函数行列である。
\nabla (f\circ g)(c) = {}^t(Dg(c))(\nabla f(a))
</math>- 二つ目の連鎖律は、R の部分集合 I 上の実数値函数 テンプレート:Nowrap が テンプレート:Nowrap なる点において微分可能ならば<math>\nabla (h\circ f)(a) = h'(f(a))\nabla f(a)</math>というものである。
更なる性質と応用
等位集合
テンプレート:See also f が可微分であるとき、点 x における勾配とベクトル v との点乗積 テンプレート:Nowrap は x における f の v-方向への方向微分を与える。従ってこの場合、f の勾配は f のすべての等位集合と直交する。例えば、三次元空間における等位面は テンプレート:Nowrap なる形の方程式で定義され、そして F の勾配はこの面の法線族となる。
より一般に、リーマン多様体に埋め込まれた任意の超曲面は テンプレート:Nowrap(ただし dF は至る所零でない)の形の方程式に表すことができて、F の勾配はこの超曲面の法線族になる。
一点 P において函数 f を考えるとき、この点 P を通る曲面を描き、この曲面上の各点で函数が同じ値を取るものとすれば、この曲面は「等位面」と呼ばれる。
保存ベクトル場と勾配定理
函数の勾配を勾配場と呼ぶ。連続勾配場は常に保存場で、任意の積分路に沿った線積分は積分路の端点にのみ依存して決まり、その値は勾配定理(線積分に対する微分積分学の基本定理)で求められる。逆に連続保存ベクトル場は必ずある函数の勾配場として得られる。
リーマン多様体
リーマン多様体 (M,g) 上の任意の滑らかな函数 f に対し、f の勾配 ∇f とは、任意のベクトル場 X について
- <math>g(\nabla f, X) = \partial_X f, \quad \text{i.e.,}\quad g_x((\nabla f)_x, X_x ) = (\partial_X f) (x)</math>
を満たすベクトル場を言う。ただし テンプレート:Nowrap は計量 g の定める x における接ベクトルの内積で、∂Xf(X(f) とも書く)は各点 テンプレート:Nowrap において X-方向への f の方向微分の x における値をとる函数である。言い換えれば、座標チャート φ において M の開集合から Rn の開集合への写像 (∂Xf)(x) は
- <math>\sum_{j=1}^n X^{j} (\varphi(x)) \frac{\partial}{\partial x_{j}}(f \circ \varphi^{-1}) \Big|_{\varphi(x)}</math>
で与えられる。ここに Xj は、この座標チャートにおける X の第 j-成分を表す。
故にこの勾配の局所形は
- <math> \nabla f= g^{ik}\frac{\partial f}{\partial x^{k}}\frac{\partial}{\partial x^{i}}</math>
となる。テンプレート:Nowrap の場合を一般化して、函数の勾配と外微分とを
- <math>(\partial_X f) (x) = df_x(X_x)</math>
によって関係づけることができる。より細かく言えば、勾配ベクトル場 ∇f は微分一次形式 df と g の定めるテンプレート:仮リンク(シャープ)
- <math>\sharp=\sharp^g\colon T^*M\to TM</math>
を用いて対応付けられる。Rn 上の函数の勾配と外微分との間の関係は、この計量が点乗積の与える平坦計量である特別の場合である。
円筒座標系および球面座標系での表示
円筒座標系において勾配は
- <math>\nabla f(\rho, \phi, z) =
\frac{\partial f}{\partial \rho}\mathbf{e}_\rho+ \frac{1}{\rho}\frac{\partial f}{\partial \phi}\mathbf{e}_\phi+ \frac{\partial f}{\partial z}\mathbf{e}_z </math> で与えられるテンプレート:Harv。ここで ϕ は方位角, z は軸方向の座標および eρ, eφ, ez は各座標軸方向に沿った単位ベクトルである。
球座標系においては
- <math>\nabla f(r, \theta, \phi) =
\frac{\partial f}{\partial r}\mathbf{e}_r+ \frac{1}{r}\frac{\partial f}{\partial \theta}\mathbf{e}_\theta+ \frac{1}{r \sin\theta}\frac{\partial f}{\partial \phi}\mathbf{e}_\phi </math> となるテンプレート:Harv。ここに ϕ は方位角で θ は天頂角である。
ベクトル値函数の勾配
直交座標系において、ベクトル f = (f1, f2, f3) の勾配は
- <math>\nabla \mathbf{f}=\frac{\partial {{f}_{i}}}{\partial {{x}_{j}}}{{\mathbf{e}}_{i}}{{\mathbf{e}}_{j}}</math>
あるいは函数行列
- <math>\frac{\partial ({{f}_{1}},{{f}_{2}},{{f}_{3}})}{\partial ({{x}_{1}},{{x}_{2}},{{x}_{3}})}</math>
で定義される。曲面座標系における勾配にはクリストッフェル記号が現れる。
関連項目
参考文献
外部リンク
- 二つ目の連鎖律は、R の部分集合 I 上の実数値函数 テンプレート:Nowrap が テンプレート:Nowrap なる点において微分可能ならば