ベクトル解析における発散(はっさん、)は、ベクトル場の各点ごとのの評価を符号付きスカラー値で測るベクトル作用素である。より技術的に言えば、対象点を含む近傍領域を定義しそこに出入りする流束の総和と領域体積との比をとり、領域を無限小に近づけたときの極限である。
身近な例えでは、温度変化のある空気の各点の移動速度ベクトル場をみる。一部の領域の空気を熱するとその膨張した空気は領域から全方向へ広がるから、領域の外側を向く速度場が生じる。このときの速度場の発散をとると、加熱された領域の内部で正値の分布であり、この領域は速度場全体にとっての流入(あるいは正の湧き出し、湧出、)域である。逆に空気が冷やされ収縮するならば、冷却される領域の発散は負値となり、その領域は流出(負の湧き出し、あるいは沈み込み、排出、)域である。
定義 物理的な言葉で言えば、三次元ベクトル場の発散は、各点においてそのベクトル場が流入や流出のような流動的振舞いをする度合を与える。これは、空間の無限小領域において入ってくるよりも出ていく方がどのくらい多いのかの度合いとしての「外向き度」を局所的に測るものである。発散がその点で零でないならば、その位置は湧出点か排出点でなければならないDIVERGENCE of a Vector Field。(流れや流出のような言葉を使っているのは、ベクトル場を速度場や運動する流体のようなものと考えるからであることに注意)。
点 におけるベクトル場 の発散は、領域 の滑らかな境界 と交わる の正味の流れを領域 の体積 で割ったものの、領域 を一点 に縮めるときの極限として定義される。これを式で書けば
となる。積分は境界面に直交する外向きの単位法ベクトル場 を伴う面積分である。各点において が得られて、これは点 の函数である。定義から明らかなように、 が の流束の流出密度(発散密度)であることが分かる。
物理的な解釈から見れば、あらゆる点で発散がゼロとなるベクトル場は非圧縮性 あるいは管状 であるといい、この場合任意の閉曲面に対してそれと交わる正味の流れは存在しない。
直感的に、全ての湧出量の和から全ての排出量の和を引けば領域から流れ出る正味の流れがわかるだろうと想像できる。これを精緻化したものが発散定理である。
具体的な表示 デカルト座標系での表示 を三次元ユークリッド空間のデカルト座標系とし、対応する単位ベクトルからなる基底を とする。
連続的微分可能なベクトル場 の発散はスカラー値の函数:
に等しい。これは座標で表されているけれども、物理的解釈が示唆する通り、この式の値は任意の直交変換によって変わることはない。
しばしば用いられる発散の記法 “” は、中黒を点乗積と見做して、 の成分(ナブラの項を参照)と の成分との積和をとったものが上記の式になるという記憶術として使える。しかしもちろん、作用素の適用は成分同士の積とは異なるから、これは記号の濫用の一種である。
連続的微分可能二階テンソル場 の発散は、一階テンソル場
になる。
円柱座標系 -方向の単位ベクトルを と書くことにして、円筒座標系で表されたベクトル
に対し、その発散は、
と書けるCylindrical coordinates at Wolfram Mathworld。
球座標系 球面座標系において、天頂角を , -軸周りの回転角を とすれば、発散は
と書けるSpherical coordinates at Wolfram Mathworld。
分解定理
内の少なくとも二回連続的微分可能な定常流束 が十分遠く () で消えているならば、 は無回転成分 と無発散成分 に分解される。さらに、 これらの成分は「湧出密度」(上述)と「循環密度」(回転の項を参照)から明示的に決定される。即ち、無回転成分は
で与えられ、無発散成分 もスカラーポテンシャル をベクトルポテンシャル で、 を で、湧出密度 を循環密度 でそれぞれ置き換えた、
で与えられる。
この「分解定理」は電気力学でも定常流に関する研究の副産物として得られた事実であり、三次元以外でも通用するもっと一般のヘルムホルツ分解の特別の場合である。
性質
以下の性質は、通常の微分積分学における常微分の微分法則から導かれる。最も重要なことは、発散作用素が線型作用素となること、つまり、
が任意のベクトル場 と任意の実数 に対して成立することである。
積の微分法則は以下の形で成立する。 はスカラー場、 はベクトル場として、
を用いた記法であれば、
が成り立つ。二つの三次元ベクトル場 の交叉積に対するもう一つの積の法則は、回転 を含む以下の形
を用いた記法であれば、
で書くことができる。
スカラー場 にラプラス作用素を施したものは、 の勾配の発散に等しい。即ち、
が成立する。任意の三次元ベクトル場の回転の発散は常に に等しい。即ち、
が成り立つ。発散が のベクトル場 が 内の球体上定義されているならば、その球体上のベクトル場 で を満たすものが存在する。これより複雑な 内の領域では、このような は必ずしも存在しない(ポワンカレの補題の項参照)。この主張が真でなくなる度合は、考える領域 の複雑性を量化するのに適当な、鎖複体
のホモロジーによって測ることができる。こうしたことが、ドラームコホモロジーの起源および主な動機付けであった。
外微分との関係 発散を外微分の特定の場合として表すことができて、これは 内の 2-形式を 3-形式へ写す。流れの 2-形式を
とする。これは局所速度 で運動する「流束要素」密度 の中で単位時間当たりにその面を通過する「要素」の量を測るものになっている。この の外微分 は
で与えられる。従ってベクトル場 の発散は、
と表すことができる。ここで上付きの はで、 はホッジスターである。しかし、外微分は(曲線)座標系の変換と可換だが発散はそうではないので、流れ 2-形式自体を外微分とともに扱うほうが、ベクトル場と発散を扱うよりも容易であることに注意。
一般化 ベクトル場の発散の概念を、任意有限次元において一般に定義することができる。
が におけるベクトル場で、標準座標系 およびその微分を とすると、その発散は
で与えられる。より複雑な曲線座標系においても、適当な表示が得られる。
任意の自然数 に対して、発散は線型作用素であり、積の法則
を任意のスカラー場 に対して満足する。
あるいは発散の概念を、次元 で体積要素(あるいは密度) を持つ多様体、例えばリーマン多様体やローレンツ多様体に対して定義することもできる。 上のベクトル場に対する 2-形式の構成を一般化して、多様体上のベクトル場 は -形式 を、 と との縮約によって定める。このとき、ベクトル場 の発散は等式
によって定められる。リー微分に対する標準公式を用いれば、これを
と書くこともできる。即ち、発散はベクトル場に沿って流すときの体積要素の膨張率を測るものである。
リーマン多様体やローレンツ多様体上で、計量体積要素に関する発散は、レヴィ・チヴィタ接続 を用いて計算することができて、
が成り立つ。真ん中は 1-形式値のベクトル場 とそれ自身との縮約であり、一番右は物理学者が使う従来の座標表示である(アインシュタインの和の規約)。
発散をテンソルに対しても一般化することができる。アインシュタインの和の規約に従って、反変ベクトル の発散は、
で与えられる。ここで は共変微分である。同じことだが、文献によっては任意の混合テンソルの発散を、添字を上げる同型 “” を用いて が -テンソル(-階反変かつ -階共変)ならば、 の発散はを満たす -テンソル、即ち最初の二つの共変添字上の共変微分のトレースである。 と定めるものもある。
脚注
参考文献
関連項目 発散定理 回転 (ベクトル解析) 勾配 (ベクトル解析) ラプラス作用素
外部リンク
The idea of divergence of a vector field Khan Academy: Divergence video lesson