ベクトル解析

ベクトル解析（ベクトルかいせき、英語：vector calculus）は空間上のベクトル場やテンソル場に関する微積分に関する数学の分野である。
多くの物理現象はベクトル場やテンソル場として記述されるため、ベクトル解析は物理学の様々な分野に応用を持つ。
物理学では3次元ユークリッド空間上のベクトル解析が特によく用いられるが、ベクトル解析は一般のn次元多様体上で展開できる。
3次元ユークリッド空間におけるベクトル解析.
ベクトル場とスカラー場.
定義.
3次元ユークリッド空間formula_1上のベクトル場とは、formula_1上の各点に対し、を始点とする3次元ベクトルを対応させる写像のことである。
本項では特に断りのない限り、この写像がに関して滑らかな場合を考える。すなわち、formula_1の座標を使って
と表したとき、各が任意回微分可能である場合を考える。
なお、ベクトル場の記法としての代わりに
のように を下付きに書くことも多い。しかしこの下付きの記法だと、成分表記したときに煩雑になるので、本項ではとの両方の記法を混用する。
同様に3次元ユークリッド空間formula_1上のスカラー場とは、formula_1上の各点に対し、実数を対応させる写像のことである。
具体例.
ベクトル場の例としては、電場、磁場、重力場などがある。また流体上の各点にその点での粒子の速度ベクトルを対応させることで速度場を定義する事もできる。
スカラー場の線積分.
定義.
をベクトル場とし、 ユークリッド空間上の曲線がformula_8、とパラメーター表示されているとする。積分
を曲線に沿ったスカラー場の線積分という。
線積分の定義はとその向き付けには依存するが、同じ向き付けを与える限りパラメーターの取り方に依存しない。実際曲線を別のパラメーターに formula_10、と変数変換して同様の積分
を考えると、この変数変換が曲線の向きを変えないとき、すなわち
が恒等的に言えるときには
が成立する。
そこで線素を
と定義し、スカラー場の線積分を
と表記する。
の始点と終点が一致するとき（すなわちが閉曲線のとき）はそのことを強調して
とも表記する。
弧長.
線積分の特殊なケースとして
を考えると、曲線の長さ（弧長）に一致する事が知られている。
厳密な証明は弧長の項目にゆずるが、直観的には以下の理由による。をformula_8、 と向きをはじめとする保つようにパラメトライズし、を長さの微小区間に分けると、の長さはおよそ
なので、を0に近づけると、線積分
に一致する。従って上述の線積分で弧長を求める事ができる。
弧長パラメーター.
曲線を、
とパラメトライズできる。このようなをの弧長パラメーターという。
を弧長パラメーターでformula_22と表したとき、定義より
なので、両辺を微分すると、
が恒等的に成り立つ。
従って線積分とは、
より、弧長でパラメトライズされた場合のの積分である。
ベクトル場の線積分.
定義.
をベクトル場とし、 ユークリッド空間上の曲線がformula_8、とパラメーター表示されているとし、積分
を考える。ここで「・」は内積である。
スカラー場に対する線積分と同様の議論で、上述の積分はベクトル場と曲線のみに依存し、のパラメトライズの方法によらない。そこで上述の積分を
と表記し、ベクトル場の曲線に沿った線積分という。ここで
である。成分で書けば、線積分は
とも表示できる。
の始点と終点が一致するとき（すなわちが閉曲線のとき）はそのことを強調して
とも表記する。
弧長パラメーターによる表示.
を弧長パラメーターでformula_22と表すと、 に沿った線積分は、
と表記できる。　すでに示したように
が恒等的に成り立つので、内積
は formula_36をのでの接線方向の射映である。
すなわち線積分は、ベクトル場の、 の接線方向成分を積分したものである。
スカラー場の面積分.
定義.
3次元ユークリッド空間内の曲面が
とパラメトライズされていたとする。このとき、スカラー場の上での面積分を
により定義する。
のパラメーターを
と変数変換しても、この変数変換がの向き付けを変えないなら、すなわちヤコビアン
が恒等的に成り立つなら、面積分の値は替わらないことを容易に示せる。
そこでの上での面積分を
とのパラメトライズの方法によらない形で表記する。
1の面積分
はの面積に等しい事が知られており、従って formula_43は面積の微小量を表していると考えられる。このformula_43の事を面素という。
が閉曲面のときはそのことを強調して、面積分の事を
とも表記する。
ベクトル場の面積分.
向き付けられた曲面上の点におけるの流さ1の法線（単位法線）をとする。なお、 におけるの単位法線は2本あるが、そのうちの向きとが右手系になるものをとする。
このとき、ベクトル場の上での面積分を
により定義する。
が
とパラメトライズされている場合、面積分の定義から、
である。積分内はベクトル3重積であるので、
でもある。
勾配、回転、発散.
定義.
をスカラー場とするとき、の勾配 をベクトル場
により定義する。
さらにベクトル場の回転 、発散 をそれぞれベクトル場
により定義する。
微分演算子ナブラformula_53を
と定義すると、勾配、回転、発散は
と表記できる。
ストークスの定理とガウスの定理.
勾配、回転、発散と線積分、面積分は以下の関係を満たす。ここで、はそれぞれ3次元ユークリッド空間上のスカラー場とベクトル場、、、は3次元ユークリッド空間内の有界な曲線、曲面、および3次元領域で、「∂」は境界を表し、、はそれぞれの始点と終点を表す。
1パラメーター変換.
発散divの幾何学的意味を見るため、ベクトル場の1パラメーター変換という概念を導入する。
を3次元ユークリッド空間formula_1上のベクトル場とし、をformula_1の点とする。
を以下のように定義する：
が全てのに対して成り立つ点とする。
このようなは全てのに対して定義できるとは限らないが、の近傍とを十分小さく選べば、任意のと任意のに対してこのようなを定義できることが知られている。このような写像をベクトル場の1パラメーター変換という。
発散divの幾何学的意味.
1パラメーター変換をもちいると、発散divを幾何学的に意味づける事ができる。
を成分で と書くことにすると、体積要素はヤコビアンを用いて
という関係式を満たす。すなわち、 は点において微小体積を体積比
で変換する写像である。
ヤコビの公式より、
ここで、formula_68はの余因子行列である。
は恒等写像なので、を単位行列とすると、1パラメーター変換の定義より、
すなわち、は 微小体積の1パラメーター変換による変化率を表している。
ポアンカレの補題とポテンシャル.
簡単な計算により、任意のスカラー場と任意のベクトル場に対し
が恒等的に成立する事が簡単な計算により確認できる。
また3次元ユークリッド空間上では次が成立する（ポアンカレの補題）：
このような、が存在するとき、、をそれぞれのスカラー・ポテンシャル、ベクトル・ポテンシャルという。
なお、ポアンカレの補題が成り立つのはユークリッド空間では1次以上のコホモロジー（ド・ラームコホモロジー）が消えている事と関係しており、一般の多様体では必ずしもこの補題は成り立たない。
スカラー・ポテンシャル、ベクトル・ポテンシャルとも、存在する場合には一意ではない。しかし、、を同一のベクトル場のスカラー・ポテンシャルとするとき、
である事が容易に示せる。
また、を同一のベクトル場のスカラー・ポテンシャルとするとき、
を満たす が必ず存在する。
実際、ベクトル・ポテンシャルの定義より、
なので、ポアンカレの補題より
となるが存在する。
歴史.
現代の学校教育では古典力学の導入からベクトルを用いた物理教育が行われ、数学でも幾何ベクトル・線型代数学・ベクトル解析といったベクトルの概念が普通に教えられている。しかし古典力学の登場と同時にベクトルも誕生したのではなく、物理法則などを表記するために19世紀に生まれ、20世紀になり高次元ベクトル場にまで一般化された。
ベクトルが誕生するまでは直交座標系を用いた解析幾何学やウィリアム・ローワン・ハミルトンが考案した四元数を用いた記法が主流であり、力学・電磁気学の教育・研究でも解析幾何学的な多変数微積分学を用いた力学や四元数表記の電磁気学が普通であった。余談だが、同じようにベクトルを扱う数学理論である線型代数も登場時期はほぼ同じであり、こちらは完成が遅れたため教育に本格的に導入されるのは20世紀後半、数学教育の現代化が言われ出した頃である。20世紀前半は教えられている物理数学が現代とは違っていたのであり、ベクトルは数学ではなく物理学の授業で導入され行列式が先に教えられていたし、行列を用いて量子力学を定式化したヴェルナー・ハイゼンベルクも線型代数を習っていなかった。日本でも明治初期の物理教育では、四元数に基づく電磁気学が教えられていたことは有名である。
ベクトルを初めて教育に導入したのはウィラード・ギブスとされ、1880年代のイェール大学の講義で記号こそ現代とは違うものの、外積・内積やベクトル解析の概念などが当時使われていたが、イギリスの四元数の著書もある物理学者ピーター・ガスリー・テイトの評判も大変不評であったという。今日用いられている記号や専門用語の大半は1901年に出版されたギブスとの共著、ベクトル解析によって確立された。
しかし、ギブス以降の物理学の教育ではベクトルは四元数を推進していたハミルトンやテイトのいたイギリスにおいて寧ろ盛んに用いられるようになり、物理学における常識的な概念となった。（イギリスのオリヴァー・ヘヴィサイドの存在が影響していると考えられる。）しかしながら20世紀に入ってからはむしろスピン角運動量などの概念も四元数に非常に類似しており、ハミルトンには先見性があったのではないかとされる。