ナブラ
ベクトル解析における演算子 ∇（ナブラ、テンプレート:Lang-en-short）は、ベクトル微分演算を表し、特に一次元の領域で定義された函数に施すとき、微分積分学で定義される通常の微分 D = テンプレート:Fraction と同じになる。多次元の領域上で定義された場に施すときには、スカラー場の勾配 grad や、ベクトル場に対しては作用のさせ方により回転 curl や発散 div を与えたりする。
厳密に言えば、∇ は特定の作用素を意味するのではなくて、いま挙げたような演算に対する簡便記法と考えるべきであって、これにより様々な等式が覚え易く書き易いものとなる。∇ を偏微分作用素を成分とするベクトルと解釈すれば、三種の演算 grad, div, curl(またはrot) は、場と ∇ とのそれぞれスカラー倍、点乗積、交叉積を形式的に取ったものと見做すことができる。これらの形式的な積が、必ずしも他の作用素や積と可換であることは要求されない。
目次
定義
座標 (x, y, z) を持つ三次元デカルト座標空間 R3 において ∇ は、偏微分作用素を項とするベクトルとして
- <math>\nabla = \mathbf{\hat{x}} {\partial \over \partial x} + \mathbf{\hat{y}} {\partial \over \partial y} + \mathbf{\hat{z}} {\partial \over \partial z}</math>
で与えられる。ただし、<math>\hat{\mathbf{x}}, \hat{\mathbf{y}}, \hat{\mathbf{z}}</math> はそれぞれ x, y, z 方向の単位ベクトルである。本項では三次元の場合を主に扱うけれども、これは n-次元ユークリッド空間 Rn に対しても一般化することができて、直交座標系の座標が (x1, x2, …, xn) とすれば
- <math> \nabla = \sum_{i=1}^n \hat{e}^i {\partial \over \partial x_i}</math>
で与えられる。ただし、<math>\{\hat{e}^i : 1\leq i\leq n\}</math> は標準基底とする。
アインシュタインの和の規約に従って
- <math> \nabla = \hat{e}^i \,\partial_i</math>
と書くこともできる。
他の座標系での ∇ の表示に関してはテンプレート:仮リンクなどを参照。
記号的な用法
長い数式を簡略化するために ∇ が使われることもある。このような使い方をする最も一般的に知られる例は勾配、発散、回転、方向微分、ラプラス作用素などであろう。
勾配
スカラー場 f のベクトル微分は勾配(en:gradient)と呼ばれ、
- <math>\nabla f = {\partial f \over \partial x} \hat{\mathbf{x}} + {\partial f \over \partial y} \hat{\mathbf{y}} + {\partial f \over \partial z} \hat{\mathbf{z}}</math>
と表せる。これは常に f の最も増加の大きい方向を指し、その点における最大増加率に等しい大きさを持つ（通常の微分と同様）。特に、丘陵を平面上の高さ函数 h(x, y) として定めるとき、各地点での勾配を平面に射影したものは（地図上の矢印のような類で）各地点の最も傾きが急な方向を指す xy-平面上のベクトルとなり、勾配の大きさは、この最も急な傾きの値になる。
この記法が特に強力なのは、一次元の場合の微分と同様の積の規則
- <math>\nabla(f g) = f \nabla g + g \nabla f</math>
が成り立つことにある。しかし、点乗積に関する積の規則を簡略化することはできず、実際に書けば
- <math>\nabla (\vec u \cdot \vec v) = (\vec u \cdot \nabla) \vec v + (\vec v \cdot \nabla) \vec u + \vec u \times (\nabla \times \vec v) + \vec v \times (\nabla \times \vec u)</math>
となる。
発散
ベクトル場 <math>\vec{v}(x, y, z) = v_x \hat{\mathbf{x}} + v_y \hat{\mathbf{y}} + v_z \hat{\mathbf{z}} </math> の発散(en:divergence)は
- <math>\operatorname{div}\vec v = {\partial v_x \over \partial x} + {\partial v_y \over \partial y} + {\partial v_z \over \partial z} = \nabla \cdot \vec v </math>
で表されるスカラー場である。発散はベクトル場の指す方向にそれがどれくらい増加するかを大まかに測るものであるが、より精確にはその点での場の発散あるいは反発の傾向を測るものである。
∇記法の威力はやはり積の規則
- <math>\nabla \cdot (f \vec v) = f (\nabla \cdot \vec v) + \vec v \cdot (\nabla f)</math>
によって示される。しかし可換でない交叉積に対しては少し直観から外れて
- <math>\nabla \cdot (\vec u \times \vec v) = \vec v \cdot (\nabla \times \vec u) - \vec u \cdot (\nabla \times \vec v)</math>
とせねばならない。
回転
ベクトル場 <math>\vec{v}(x, y, z) = v_x\hat{\mathbf{x}} + v_y\hat{\mathbf{y}} + v_z\hat{\mathbf{z}}</math> の回転(en:curl ,rotation)は
- <math>\operatorname{curl}\vec v = \left( {\partial v_z \over \partial y} - {\partial v_y \over \partial z} \right) \hat{\mathbf{x}} + \left( {\partial v_x \over \partial z} - {\partial v_z \over \partial x} \right) \hat{\mathbf{y}} + \left( {\partial v_y \over \partial x} - {\partial v_x \over \partial y} \right) \hat{\mathbf{z}} = \nabla \times \vec v</math>
で表すことができるベクトル場である。各点における回転の値は、その点に中心を持つ小さな風車の軸周りのトルク（回転力）に比例する。
個のベクトル積演算を行列式もどきに
- <math>\nabla \times \vec v = \begin{vmatrix} \mathbf{\hat{x}} & \mathbf{\hat{y}} & \mathbf{\hat{z}} \\[2pt] {\frac{\partial}{\partial x}} & {\frac{\partial}{\partial y}} & {\frac{\partial}{\partial z}} \\[2pt] v_x & v_y & v_z \end{vmatrix}</math>
として視覚化することができる。これもやはり積の規則
- <math>\nabla \times (f \vec v) = (\nabla f) \times \vec v + f (\nabla \times \vec v</math>)
が成立することが強みだが、残念ながら交叉積は簡単にならず
- <math>\nabla \times (\vec u \times \vec v) = \vec u \, (\nabla \cdot \vec v) - \vec v \, (\nabla \cdot \vec u) + (\vec v \cdot \nabla) \, \vec u - (\vec u \cdot \nabla) \, \vec v</math>
となる。
方向微分
スカラー場 f(x, y, z) の <math>\vec{a}(x,y,z) = a_x \hat{\mathbf{x}} + a_y \hat{\mathbf{y}} + a_z \hat{\mathbf{z}} </math> 方向への方向微分は
- <math>\vec{a}\cdot\operatorname{grad}f = a_x {\partial f \over \partial x} + a_y {\partial f \over \partial y} + a_z {\partial f \over \partial z} = (\vec a \cdot \nabla) f</math>
で表される。これは場 f の a 方向への変化量を与えるものである。作用素の記法では、括弧に入れた要素は一つの一貫した単位と考えられ、この規約は流体力学では（流体の「動く」微分としての）流体微分の言葉で縦横に用いられている。
ラプラス作用素
ラプラス作用素はベクトル場にもスカラー場にも施せるスカラー作用素である。直交座標系では
- <math>\Delta = {\partial^2 \over \partial x^2} + {\partial^2 \over \partial y^2} + {\partial^2 \over \partial z^2} = \nabla \cdot \nabla = \nabla^2</math>
で与えられ、より一般の座標系に対してはテンプレート:仮リンクによって定義することができる。
ラプラス作用素は現代的な数理物理学に遍在しており、そのごく一部を挙げるならばラプラス方程式、ポアソン方程式、熱方程式、波動方程式、シュレーディンガー方程式などにおいて現れる。
テンソル微分
∇をベクトル場に施して、結果がテンソルとなることもある。ベクトル場 <math>\vec{v}</math> のテンソル微分は9つの成分を持つ二階テンソルだが、これを二項積 ⊗ を用いて、簡単に
- <math>\nabla \otimes \vec{v}</math>
と書くことができる。この量は空間に対するベクトル場のヤコビ行列の転置に等しい。
微小変位 <math>\delta \vec{r}</math> に対して、ベクトル場の変位は
- <math> \delta \vec{v} = (\nabla \otimes \vec{v}) \sdot \delta \vec{r} </math>
で与えられる。
積の法則
- <math>\nabla (fg) = f\nabla g + g\nabla f </math>
- <math>\nabla(\vec u \cdot \vec v) = \vec u \times (\nabla \times \vec v) + \vec v \times (\nabla \times \vec u) + ( \vec u \cdot \nabla) \vec v + (\vec v \cdot \nabla )\vec u </math>
- <math>\nabla \cdot (f \vec v) = f (\nabla \cdot \vec v) + \vec v \cdot (\nabla f</math>)
- <math>\nabla \cdot (\vec u \times \vec v) = \vec v \cdot (\nabla \times \vec u) - \vec u \cdot (\nabla \times \vec v </math>)
- <math>\nabla \times (f \vec v) = (\nabla f) \times \vec v + f (\nabla \times \vec v</math>)
- <math>\nabla \times (\vec u \times \vec v) = \vec u \, (\nabla \cdot \vec v) - \vec v \, (\nabla \cdot \vec u) + (\vec v \cdot \nabla) \, \vec u - (\vec u \cdot \nabla) \, \vec v</math>
二階微分
スカラーやベクトルに∇を施すと一般にスカラーやベクトルが返ってくるのだが、ベクトルの乗法は多様（スカラー倍、点乗積、交叉積）だから、∇の施し方ですでに勾配（スカラー倍）・発散（点乗積）・回転（交叉積）の三種類の微分が生じている。そこでこの三種類の微分に、再び各種微分を施すと可能なものが五種類出てきて、これにラプラス作用素とベクトルラプラス作用素を加えると、以下のようになる。f はスカラー場、v はベクトル場として、
- <math>\operatorname{div}(\operatorname{grad}f ) = \nabla \cdot (\nabla f)</math>
- <math>\operatorname{curl}(\operatorname{grad}f ) = \nabla \times (\nabla f)</math>
- <math>\Delta f = \nabla^2 f</math>
- <math>\operatorname{grad}(\operatorname{div}\vec v ) = \nabla (\nabla \cdot \vec v)</math>
- <math>\operatorname{div}(\operatorname{curl}\vec v ) = \nabla \cdot (\nabla \times \vec v)</math>
- <math>\operatorname{curl}(\operatorname{curl}\vec v ) = \nabla \times (\nabla \times \vec v)</math>
- <math>\Delta \vec v = \nabla^2 \vec v</math>
これらは常に一意と言うわけでも互いに独立と言うわけでもないという意味でそれ自体興味深い。素性のよい函数に対しては、これらのうちの二つが常に零、即ち
- <math>\operatorname{curl}(\operatorname{grad}f ) = \nabla \times (\nabla f) = 0</math>
- <math>\operatorname{div}(\operatorname{curl}\vec v ) = \nabla \cdot \nabla \times \vec{v} = 0</math>
が成り立ち、また二つは常に等しい:
- <math>\operatorname{div}(\operatorname{grad}f ) = \nabla \cdot (\nabla f) = \nabla^2 f = \Delta f.</math>
残る三種のベクトル微分の間には等式
- <math>\nabla \times \nabla \times \vec{v} = \nabla (\nabla \cdot \vec{v}) - \nabla^2 \vec{v}</math>
が成り立ち、さらに一つはテンソル積を用いて表すことができて、素性の良い函数に対して
- <math>\nabla (\nabla \cdot \vec{v}) = \nabla \cdot (\nabla \otimes \vec{v})</math>
が成り立つ。
注意点
上で述べたベクトルの性質の大部分は（∇の微分的性質に陽に依存する部分、例えば積の法則などを除いて）記号の再配置のみに依っていて、∇を他のベクトルで置き換えても必然的に成り立たなければならない。これは∇をそれ自身ベクトルとして表すことで得られた莫大な価値の一部である。
∇をベクトルで置き換えてベクトルの恒等式をしばしば得ることができるが、恒等式を直観的に作ることに関して、逆は必ずしも信用できない。∇はしばしば可換でないことが理由である。
∇の可換性に対する反例として、通常成り立つ等式
- <math>(\mathbf u \cdot \mathbf v) f = (\mathbf v \cdot \mathbf u) f</math>
に対して
- <math>(\nabla \cdot \mathbf v) f \ne (\mathbf v \cdot \nabla) f</math>
であることを挙げよう。実際、
- <math>(\nabla \cdot \mathbf v) f = \left(\frac{\part v_x}{\part x}+\frac{\part v_y}{\part y}+\frac{\part v_z}{\part z}\right)f = \frac{\part v_x}{\part x}f+\frac{\part v_y}{\part y}f+\frac{\part v_z}{\part z}f</math>
と
- <math>(\mathbf v \cdot \nabla) f = \left(v_x \frac{\part}{\part x}+v_y \frac{\part}{\part y}+v_z \frac{\part}{\part z}\right)f = v_x \frac{\part f}{\part x}+v_y \frac{\part f}{\part y}+v_z \frac{\part f}{\part z} </math>
とは異なる。
また∇の微分的な性質を用いた反例としては、
- <math>(\nabla x) \times (\nabla y) = \left(\hat{\mathbf{x}} \frac{\part x}{\part x}+\hat{\mathbf{y}} \frac{\part x}{\part y}+\hat{\mathbf{z}} \frac{\part x}{\part z}\right) \times \left(\hat{\mathbf{x}} \frac{\part y}{\part x}+\hat{\mathbf{y}} \frac{\part y}{\part y}+\hat{\mathbf{z}} \frac{\part y}{\part z}\right) = \hat{\mathbf{x}} \times \hat{\mathbf{y}} = \hat{\mathbf{z}}</math>
が成り立つが、一般には
- <math>(\mathbf{u}x )\times (\mathbf{u} y) = x y (\mathbf{u} \times \mathbf{u}) = x y \mathbf{0} = \mathbf{0}</math>
である。
これらの違いが生じる根本は、∇が単なるベクトルではなくてベクトル作用素であるという事実である。ベクトルが明確に数値的な大きさと方向を持つ対象であるのに対し、∇は何かに作用することができて初めて大きさや向きが明確となる。
こういった理由によって、∇を含む恒等式の導出は、ベクトルの恒等式と（積の法則のような）微分の恒等式の両方に基づいて慎重に行われなければならない。
参考文献
関連項目
外部リンク
- A survey of the improper use of ∇ in vector analysis (1994) Tai, Chen
