ベクトル解析

ベクトル解析は空間上のベクトル場やテンソル場に関する微積分に関する数学の分野である。

多くの物理現象はベクトル場やテンソル場として記述されるため、ベクトル解析は物理学の様々な分野に応用を持つ。

物理学では3次元ユークリッド空間上のベクトル解析が特によく用いられるが、ベクトル解析は一般のn次元多様体上で展開できる。

1. 3次元ユークリッド空間におけるベクトル解析
------------------------

1.1. ベクトル場とスカラー場
----------------

1.1.1. 定義
---------

3次元ユークリッド空間上の'//ベクトル場'//X}}とは、上の各点P}}に対し、P}}を始点とする3次元ベクトルX}}を対応させる写像のことである。

本項では特に断りのない限り、この写像がP}}に関して滑らかな場合を考える。すなわち、の座標を使って

と表したとき、各//X//Subが任意回微分可能である場合を考える。

なお、ベクトル場の記法としてX}}の代わりに

のように P}}を下付きに書くことも多い。しかしこの下付きの記法だと、成分表記したときに煩雑になるので、本項ではX}}とXsubの両方の記法を混用する。

同様に3次元ユークリッド空間上のスカラー場F}}とは、上の各点P}}に対し、実数F}}を対応させる写像のことである。

1.1.2. 具体例
----------

ベクトル場の例としては、電場、磁場、重力場などがある。また流体上の各点にその点での粒子の速度ベクトルを対応させることで速度場を定義する事もできる。

1.2. スカラー場の線積分
--------------

1.2.1. 定義
---------

X}}をベクトル場とし、 ユークリッド空間上の曲線C}}が、//u//∈[//a//,//b//]}}とパラメーター表示されているとする。積分

を曲線C}}に沿ったスカラー場F}}の線積分という。

線積分の定義はC}}とその向き付けには依存するが、同じ向き付けを与える限りパラメーターの取り方に依存しない。実際曲線C}}を別のパラメーターw}}に 、//w//∈[//c//,//d//]}}と変数変換して同様の積分

を考えると、この変数変換が曲線の向きを変えないとき、すなわち

が恒等的に言えるときには

が成立する。

そこで線素d//s//}}を

と定義し、スカラー場の線積分を

と表記する。

C}}の始点と終点が一致するときはそのことを強調して

とも表記する。

1.2.2. 弧長
---------

線積分の特殊なケースとして

を考えると、曲線C}}の長さに一致する事が知られている。

厳密な証明は弧長の項目にゆずるが、直観的には以下の理由による。C}}を、//u//∈[//a//,//b//]}} と向きをはじめとする保つようにパラメトライズし、[//a//,//b//]}}を長さΔu}}の微小区間に分けると、C}}の長さはおよそ

なので、Δu}}を0に近づけると、線積分

に一致する。従って上述の線積分で弧長を求める事ができる。

1.2.3. 弧長パラメーター
---------------

曲線C}}を、

//=}}とパラメトライズできる。このようなs}}をC}}の弧長パラメーターという。 C}}を弧長パラメーターでと表したとき、定義より

なので、両辺を微分すると、

が恒等的に成り立つ。

従って線積分とは、

より、弧長でパラメトライズされた場合の//F//)}}の積分である。

1.3. ベクトル場の線積分
--------------

1.3.1. 定義
---------

X}}をベクトル場とし、 ユークリッド空間上の曲線C}}が、//u//∈[//a//,//b//]}}とパラメーター表示されているとし、積分

を考える。ここで「・」は内積である。

スカラー場に対する線積分と同様の議論で、上述の積分はベクトル場X}}と曲線C}}のみに依存し、C}}のパラメトライズの方法によらない。そこで上述の積分を

と表記し、ベクトル場X}}の曲線C}}に沿った線積分という。ここで

である。成分で書けば、線積分は

とも表示できる。

C}}の始点と終点が一致するときはそのことを強調して

とも表記する。

1.3.2. 弧長パラメーターによる表示
--------------------

C}}を弧長パラメーターでと表すと、 C}}に沿った線積分は、

と表記できる。　すでに示したように

が恒等的に成り立つので、内積

は をC}}のx}}での接線方向の射映である。

すなわち線積分は、ベクトル場X}}の、 C}}の接線方向成分を積分したものである。

1.4. スカラー場の面積分
--------------

1.4.1. 定義
---------

3次元ユークリッド空間内の曲面S}}が

とパラメトライズされていたとする。このとき、スカラー場F}}のS}}上での面積分を

により定義する。

S}}のパラメーターを

と変数変換しても、この変数変換がS}}の向き付けを変えないなら、すなわちヤコビアン

が恒等的に成り立つなら、面積分の値は替わらないことを容易に示せる。

そこでF}}のS}}上での面積分を

とS}}のパラメトライズの方法によらない形で表記する。

1の面積分

はS}}の面積に等しい事が知られており、従って は面積の微小量を表していると考えられる。このの事を面素という。

S}}が閉曲面のときはそのことを強調して、面積分の事を

とも表記する。

1.5. ベクトル場の面積分
--------------

向き付けられた曲面S}}上の点P}}におけるS}}の流さ1の法線をnsubとする。なお、 P}}におけるS}}の単位法線は2本あるが、そのうちS}}の向きとnsubが右手系になるものをnsubとする。

このとき、ベクトル場X}}のS}}上での面積分を

により定義する。

S}}が

とパラメトライズされている場合、面積分の定義から、

である。積分内はベクトル3重積であるので、

でもある。

1.6. 勾配、回転、発散
-------------

1.6.1. 定義
---------

F}}をスカラー場とするとき、F}}の勾配 grad//F//}}をベクトル場

により定義する。

さらにベクトル場X}}の回転 rot X}}、発散 div X}}をそれぞれベクトル場

により定義する。

微分演算子ナブラを

と定義すると、勾配、回転、発散は

と表記できる。

1.6.2. ストークスの定理とガウスの定理
----------------------

勾配、回転、発散と線積分、面積分は以下の関係を満たす。ここでF}}、X}}はそれぞれ3次元ユークリッド空間上のスカラー場とベクトル場、C}}、S}}、V}}は3次元ユークリッド空間内の有界な曲線、曲面、および3次元領域で、「∂」は境界を表し、P}}、Q}}はそれぞれC}}の始点と終点を表す。

　 　

1.6.3. 1パラメーター変換
----------------

発散divの幾何学的意味を見るため、ベクトル場の1パラメーター変換という概念を導入する。

X}}を3次元ユークリッド空間上のベクトル場とし、x}}をの点とする。

//Φ//subを以下のように定義する：

をベクトル場X}}に沿ってu}}だけ進んだ点、すなわち が全ての//u' //∈[0,//u//]}}に対して成り立つ点とする。

このような//Φ//subは全ての}}に対して定義できるとは限らないが、x}}の近傍//U//}}と//ε//>0}}を十分小さく選べば、任意のx' ∈//U//}}と任意の//u' //∈[0,ε]}}に対してこのような//Φ//subを定義できることが知られている。このような写像//Φ//subをベクトル場X}}の1パラメーター変換という。

1.6.4. 発散divの幾何学的意味
-------------------

1パラメーター変換をもちいると、発散divを幾何学的に意味づける事ができる。//Φ//subを成分で ysubと書くことにすると、体積要素はヤコビアンを用いて

という関係式を満たす。すなわち、 //Φ//subは点x}}において微小体積を体積比

で変換する写像である。

ヤコビの公式より、

ここで、はA}}の余因子行列である。//Φ//subは恒等写像なので、I}}を単位行列とすると、1パラメーター変換の定義より、

すなわち、div //X//}}は 微小体積の1パラメーター変換による変化率を表している。

1.6.5. ポアンカレの補題とポテンシャル
----------------------

簡単な計算により、任意のスカラー場F}}と任意のベクトル場X}}に対し

が恒等的に成立する事が簡単な計算により確認できる。

また3次元ユークリッド空間上では次が成立する：

が恒等的に0 となるφ}}が存在する が恒等的に0 となるA}}が存在するこのようなφ}}、A}}が存在するとき、φ}}、A}}をそれぞれX}}のスカラー・ポテンシャル、ベクトル・ポテンシャルという。

なお、ポアンカレの補題が成り立つのはユークリッド空間では1次以上のコホモロジーが消えている事と関係しており、一般の多様体では必ずしもこの補題は成り立たない。

スカラー・ポテンシャル、ベクトル・ポテンシャルとも、存在する場合には一意ではない。しかし、φsub、φsubを同一のベクトル場X}}のスカラー・ポテンシャルとするとき、

である事が容易に示せる。

またAsub、Asubを同一のベクトル場X}}のスカラー・ポテンシャルとするとき、

を満たす F}}が必ず存在する。 実際、ベクトル・ポテンシャルの定義より、

なので、ポアンカレの補題より

となるF}}が存在する。

2. 歴史
-----

現代の学校教育では古典力学の導入からベクトルを用いた物理教育が行われ、数学でも幾何ベクトル・線型代数学・ベクトル解析といったベクトルの概念が普通に教えられている。しかし古典力学の登場と同時にベクトルも誕生したのではなく、物理法則などを表記するために19世紀に生まれ、20世紀になり高次元ベクトル場にまで一般化された。

ベクトルが誕生するまでは直交座標系を用いた解析幾何学やウィリアム・ローワン・ハミルトンが考案した四元数を用いた記法が主流であり、力学・電磁気学の教育・研究でも解析幾何学的な多変数微積分学を用いた力学や四元数表記の電磁気学が普通であった。余談だが、同じようにベクトルを扱う数学理論である線型代数も登場時期はほぼ同じであり、こちらは完成が遅れたため教育に本格的に導入されるのは20世紀後半、数学教育の現代化が言われ出した頃である。20世紀前半は教えられている物理数学が現代とは違っていたのであり、ベクトルは数学ではなく物理学の授業で導入され行列式が先に教えられていたし、行列を用いて量子力学を定式化したヴェルナー・ハイゼンベルクも線型代数を習っていなかった。日本でも明治初期の物理教育では、四元数に基づく電磁気学が教えられていたことは有名である。

ベクトルを初めて教育に導入したのはウィラード・ギブスとされ、1880年代のイェール大学の講義で記号こそ現代とは違うものの、外積・内積やベクトル解析の概念などが当時使われていたが、イギリスの四元数の著書もある物理学者ピーター・ガスリー・テイトの評判も大変不評であったという。今日用いられている記号や専門用語の大半は1901年に出版されたギブスとエドウィン・ウィルソンの共著『ベクトル解析』によって確立された。

しかし、ギブス以降の物理学の教育ではベクトルは四元数を推進していたハミルトンやテイトのいたイギリスにおいて寧ろ盛んに用いられるようになり、物理学における常識的な概念となった。しかしながら20世紀に入ってからはむしろスピン角運動量などの概念も四元数に非常に類似しており、ハミルトンには先見性があったのではないかとされる。

3. 関連概念
-------

場の微分
曲率
ナブラ
勾配・発散・回転
偏微分
線積分・面積分
グリーンの定理
発散定理

4. 脚注
-----

4.1. 注釈
-------

4.2. 出典
-------

5. 参考文献
-------

H・K・ニッカーソン、D・C・スペンサー、N・E・スティーンロッド著、原田重春・佐藤正次訳『現代ベクトル解析』、岩波書店、1965年、ISBN 4-00-005293-4 C3041
岩堀長慶、『[1]』、裳華房、〈数学選書2〉、1960年。 ISBN 978-4-7853-1302-9

6. 関連項目
-------

ベクトル解析の公式の一覧
物理学関係
マクスウェルの方程式
解析力学
数学関係
ド・ラームコホモロジー
テンソル
人物
ジェームズ・クラーク・マクスウェル
ヘルマン・フォン・ヘルムホルツ
オリヴァー・ヘヴィサイド
ピーター・テイト
チャールズ・プロテウス・スタインメッツ