ベクトル解析

テンプレート:Otheruses テンプレート:出典の明記 テンプレート:Calculus ベクトル解析（ベクトルかいせき、英語：vector calculus）は空間上のベクトル場やテンソル場に関する微積分に関する数学の分野である。

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

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

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

ベクトル場とスカラー場

定義

3次元ユークリッド空間${ℝ}^3$上のベクトル場テンプレート:Mvarとは、${ℝ}^3$上の各点テンプレート:Mvarに対し、テンプレート:Mvarを始点とする3次元ベクトルテンプレート:Mvarを対応させる写像のことである。

ベクトル場の例（2次元の場合）

本項では特に断りのない限り、この写像がテンプレート:Mvarに関して滑らかな場合を考える。すなわち、${ℝ}^3$の座標を使って

$𝐗(P)=(X_1(x_1,x_2,x_3),X_2(x_1,x_2,x_3),X_3(x_1,x_2,x_3))$

と表したとき、各テンプレート:Mathが任意回微分可能である場合を考える。

なお、ベクトル場の記法としてテンプレート:Mvarの代わりに

${𝐗}_P$

のように テンプレート:Mvarを下付きに書くことも多い。しかしこの下付きの記法だと、成分表記したときに煩雑になるので、本項ではテンプレート:Mvarとテンプレート:Mvarの両方の記法を混用する。

同様に3次元ユークリッド空間${ℝ}^3$上のスカラー場テンプレート:Mvarとは、${ℝ}^3$上の各点テンプレート:Mvarに対し、実数テンプレート:Mvarを対応させる写像のことである。

具体例

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

スカラー場の線積分

定義

テンプレート:Mvarをスカラー場とし、 ユークリッド空間上の曲線テンプレート:Mvarが$𝐱(u)=(x_1(u),x_2(u),x_3(u))$、テンプレート:Mathとパラメーター表示されているとする。積分

$I=\underset{a}{\overset{b}{\int }}F(𝐱(u))\Vert \frac{\mathrm{d}𝐱}{\mathrm{d}u}(u)\Vert \mathrm{d}u$

を曲線テンプレート:Mvarに沿ったスカラー場テンプレート:Mvarの線積分という。

線積分の定義はテンプレート:Mvarとその向き付けには依存するが、同じ向き付けを与える限りパラメーターの取り方に依存しない。実際曲線テンプレート:Mvarを別のパラメーターテンプレート:Mvarに $𝐱(w)=(x_1(u(w)),x_2(u(w),x_3(u(w)))$、テンプレート:Mathと変数変換して同様の積分

$J=\underset{c}{\overset{d}{\int }}F(𝐱(w(u)))\Vert \frac{\mathrm{d}𝐱(u(w))}{\mathrm{d}w}\Vert \mathrm{d}w$

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

$\frac{\mathrm{d}u}{\mathrm{d}w}>0$

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

$\begin{array}{cc}J& =\underset{c}{\overset{d}{\int }}F(𝐱(u(w)))\Vert \frac{\mathrm{d}𝐱}{\mathrm{d}w}|\mathrm{d}w\\ & =\underset{a}{\overset{b}{\int }}F(𝐱(u(w)))|\frac{\mathrm{d}𝐱}{\mathrm{d}u}\Vert \frac{\mathrm{d}u}{\mathrm{d}w}\mathrm{d}w\\ & =\underset{a}{\overset{b}{\int }}F(𝐱(u))\Vert \frac{\mathrm{d}𝐱}{\mathrm{d}u}\Vert \mathrm{d}u\\ & =I\end{array}$

が成立する。

そこで線素テンプレート:Mathを

$\mathrm{d}s:=\Vert \mathrm{d}𝐱\Vert =\sqrt{\mathrm{d}{x}_1{}^2+\mathrm{d}{x}_2{}^2+\mathrm{d}{x}_3{}^2}$

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

$\underset{C}{\int }F\mathrm{d}s$

と表記する。

テンプレート:Mvarの始点と終点が一致するとき（すなわちテンプレート:Mvarが閉曲線のとき）はそのことを強調して

${\oint }_{C}F\mathrm{d}s$

とも表記する。

弧長

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

$\underset{C}{\int }\mathrm{d}s$

を考えると、曲線テンプレート:Mvarの長さ（弧長）に一致する事が知られている。

厳密な証明は弧長の項目にゆずるが、直観的には以下の理由による。テンプレート:Mvarを$𝐱(u)=(x_1(u),x_2(u),x_3(u))$、テンプレート:Math と向きをはじめとする保つようにパラメトライズし、テンプレート:Mathを長さテンプレート:Mvarの微小区間に分けると、テンプレート:Mvarの長さはおよそ

$\sum _i\Vert 𝐱((i+1)\mathrm{\Delta }u)-𝐱(i\mathrm{\Delta }u)\Vert$ $\sum _i\Vert \mathrm{\Delta }𝐱/\mathrm{\Delta }u\Vert \mathrm{\Delta }u$

なので、テンプレート:Mvarを0に近づけると、線積分

$\int \Vert \frac{\mathrm{d}𝐱}{\mathrm{d}u}\Vert \mathrm{d}u$

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

弧長パラメーター

曲線テンプレート:Mvarを、

テンプレート:Mathの始点からテンプレート:Mvar離れた位置)

とパラメトライズできる。このようなテンプレート:Mvarをテンプレート:Mvarの弧長パラメーターという。 テンプレート:Mvarを弧長パラメーターで$𝐱(s)=(x_1(s),x_2(s),x_3(s))$と表したとき、定義より

$s=\underset{0}{\overset{s}{\int }}\Vert \frac{\mathrm{d}𝐱}{\mathrm{d}s}\Vert \mathrm{d}s$

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

$1=\Vert \frac{\mathrm{d}𝐱}{\mathrm{d}s}\Vert$

が恒等的に成り立つ。

従って線積分とは、

$\underset{C}{\int }F(x(s))\mathrm{d}s=\underset{0}{\overset{1}{\int }}F(x(s))\Vert \frac{\mathrm{d}𝐱}{\mathrm{d}s}\Vert \mathrm{d}s=\underset{0}{\overset{1}{\int }}F(x(s))\mathrm{d}s$

より、弧長でパラメトライズされた場合のテンプレート:Mathの積分である。

ベクトル場の線積分

定義

テンプレート:Mvarをベクトル場とし、 ユークリッド空間上の曲線テンプレート:Mvarが$𝐱(u)=(x_1(u),x_2(u),x_3(u))$、テンプレート:Mathとパラメーター表示されているとし、積分

$\underset{a}{\overset{b}{\int }}𝐗(𝐱(u))\cdot \frac{\mathrm{d}𝐱}{\mathrm{d}u}(u)\mathrm{d}u$

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

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

$\underset{C}{\int }𝐗\cdot \mathrm{d}𝐱$

と表記し、ベクトル場テンプレート:Mvarの曲線テンプレート:Mvarに沿った線積分という。ここで

$\mathrm{d}𝐱=(\mathrm{d}{x}_1,\mathrm{d}{x}_2,\mathrm{d}{x}_3)$

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

$\underset{C}{\int }{X}_1\mathrm{d}{x}_1+X_2\mathrm{d}{x}_2+X_3\mathrm{d}{x}_3$

とも表示できる。

テンプレート:Mvarの始点と終点が一致するとき（すなわちテンプレート:Mvarが閉曲線のとき）はそのことを強調して

${\oint }_C𝐗\cdot \mathrm{d}𝐱$

とも表記する。

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

テンプレート:Mvarを弧長パラメーターで$𝐱(s)=(x_1(s),x_2(s),x_3(s))$と表すと、 テンプレート:Mvarに沿った線積分は、

$\int 𝐗(𝐱(s))\cdot \frac{\mathrm{d}𝐱}{\mathrm{d}s}(s)\mathrm{d}s$

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

$\left|\frac{\mathrm{d}𝐱}{\mathrm{d}s}\right|=1$

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

$𝐗(𝐱(s))\cdot \frac{\mathrm{d}𝐱}{\mathrm{d}s}(s)$

は $𝐗(𝐱(s))$をテンプレート:Mvarのテンプレート:Mathでの接線方向の射映である。

すなわち線積分は、ベクトル場テンプレート:Mvarの、 テンプレート:Mvarの接線方向成分を積分したものである。

スカラー場の面積分

定義

3次元ユークリッド空間内の曲面テンプレート:Mvarが

$𝐱=𝐱(u_1,u_2)$

とパラメトライズされていたとする。このとき、スカラー場テンプレート:Mvarのテンプレート:Mvar上での面積分を

$\int F(𝐱(u_1,u_2))\Vert \frac{\partial 𝐱}{\partial u_1}\times \frac{\partial 𝐱}{\partial u_2}\Vert \mathrm{d}{u}_1\mathrm{d}{u}_2$

により定義する。

テンプレート:Mvarのパラメーターを

$(u_1,u_2)=(u_1(w_1,w_2),u_2(w_1,w_2))$

と変数変換しても、この変数変換がテンプレート:Mvarの向き付けを変えないなら、すなわちヤコビアン

$\frac{\partial (u_1,u_2)}{\partial (w_1,w_2)}>0$

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

そこでテンプレート:Mvarのテンプレート:Mvar上での面積分を

$\underset{S}{\int }F\mathrm{d}S$

とテンプレート:Mvarのパラメトライズの方法によらない形で表記する。

1の面積分

$\underset{S}{\int }\mathrm{d}S$

はテンプレート:Mvarの面積に等しい事が知られており、従って $\mathrm{d}S$は面積の微小量を表していると考えられる。この$\mathrm{d}S$の事を面素という。

テンプレート:Mvarが閉曲面のときはそのことを強調して、面積分の事を

${\oint }_S\mathrm{d}S$

とも表記する。

ベクトル場の面積分

向き付けられた曲面テンプレート:Mvar上の点テンプレート:Mvarにおけるテンプレート:Mvarの流さ1の法線（単位法線）をテンプレート:Mvarとする。なお、 テンプレート:Mvarにおけるテンプレート:Mvarの単位法線は2本あるが、そのうちテンプレート:Mvarの向きとテンプレート:Mvarが右手系になるものをテンプレート:Mvarとする。

このとき、ベクトル場テンプレート:Mvarのテンプレート:Mvar上での面積分を

$\underset{S}{\int }𝐗\mathrm{d}𝐒:=\underset{S}{\int }𝐗\cdot 𝐧\mathrm{d}S$

により定義する。

テンプレート:Mvarが

$𝐱=𝐱(u_1,u_2)$

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

$\underset{S}{\int }𝐗\mathrm{d}𝐒=\int 𝐗\cdot (\frac{\partial 𝐱}{\partial u_1}\times \frac{\partial 𝐱}{\partial u_2})\mathrm{d}{u}_1\mathrm{d}{u}_2$

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

$𝐗\cdot (\frac{\partial 𝐱}{\partial u_1}\times \frac{\partial 𝐱}{\partial u_2})=\det (𝐗,\frac{\partial 𝐱}{\partial u_1},\frac{\partial 𝐱}{\partial u_2})$

でもある。

勾配、回転、発散

定義

テンプレート:Mvarをスカラー場とするとき、テンプレート:Mvarの勾配 テンプレート:Mathをベクトル場

$\mathrm{grad}F=\frac{\partial F}{\partial 𝐱}=(\frac{\partial F}{\partial x_1},\frac{\partial F}{\partial x_2},\frac{\partial F}{\partial x_3})$

により定義する。

さらにベクトル場テンプレート:Mvarの回転 テンプレート:Math、発散 テンプレート:Mathをそれぞれベクトル場

$\mathrm{rot}𝐗=(\frac{\partial X_3}{\partial x_2}-\frac{\partial X_2}{\partial x_3},\frac{\partial X_1}{\partial x_3}-\frac{\partial X_3}{\partial x_1},\frac{\partial X_2}{\partial x_1}-\frac{\partial X_1}{\partial x_2})$

$\mathrm{div}𝐗=\frac{\partial X_1}{\partial x_1}+\frac{\partial X_2}{\partial x_2}+\frac{\partial X_3}{\partial x_3}=\mathrm{tr}{\left(\frac{\partial X_i}{\partial x_j}\right)}_{ij}$

により定義する。

微分演算子ナブラ$\mathrm{\nabla }$を

$\mathrm{\nabla }=(\frac{\partial }{\partial x_1},\frac{\partial }{\partial x_2},\frac{\partial }{\partial x_3})$

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

$\mathrm{grad}F=\mathrm{\nabla }F$

$\mathrm{rot}𝐗=\mathrm{\nabla }\times 𝐗$

$\mathrm{div}𝐗=\mathrm{\nabla }\cdot 𝐗$

と表記できる。

ストークスの定理とガウスの定理

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

$\underset{C}{\int }\mathrm{grad}F\mathrm{d}s=F(Q)-F(P)$

$\underset{S}{\int }\mathrm{rot}𝐗\mathrm{d}𝐒={\oint }_{\partial S}𝐗\mathrm{d}s$　（（ケルビン・）ストークスの定理）

$\underset{V}{\int }\mathrm{div}𝐗\mathrm{d}V={\oint }_{\partial V}𝐗\mathrm{d}𝐒$　（ガウスの発散定理）

1パラメーター変換

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

テンプレート:Mvarを3次元ユークリッド空間${ℝ}^3$上のベクトル場とし、テンプレート:Mvarを${ℝ}^3$の点とする。

テンプレート:Mathを以下のように定義する：

${\mathrm{\Phi }}_u(𝐱)$をベクトル場テンプレート:Mvarに沿ってテンプレート:Mvarだけ進んだ点、すなわち

${\frac{\partial }{\partial u}{\mathrm{\Phi }}_u(𝐱)|}_{u=u^{\prime }}={𝐗}_{{\mathrm{\Phi }}_{u^{\prime }}(𝐱)}$

が全てのテンプレート:Mathに対して成り立つ点とする。

このようなテンプレート:Mathは全てのテンプレート:Mathに対して定義できるとは限らないが、テンプレート:Mvarの近傍テンプレート:Mvarとテンプレート:Mathを十分小さく選べば、任意のテンプレート:Mvarと任意のテンプレート:Mathに対してこのようなテンプレート:Mathを定義できることが知られている。このような写像テンプレート:Mathをベクトル場テンプレート:Mvarの1パラメーター変換という。

発散divの幾何学的意味

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

$\mathrm{d}{y}_1\mathrm{d}{y}_2\mathrm{d}{y}_3=\left|\frac{\mathrm{d}{\mathrm{\Phi }}_u}{\mathrm{d}𝐱}\right|\mathrm{d}{x}_1\mathrm{d}{x}_2\mathrm{d}{x}_3$

という関係式を満たす。すなわち、 テンプレート:Mathは点テンプレート:Mvarにおいて微小体積を体積比

$\left|\frac{\mathrm{d}{\mathrm{\Phi }}_u}{\mathrm{d}𝐱}\right|$

で変換する写像である。

ヤコビの公式より、

$\frac{\partial }{\partial u}\left|\frac{\mathrm{d}{\mathrm{\Phi }}_u}{\mathrm{d}𝐱}\right|=\mathrm{tr}\left(\stackrel{~}{\frac{\mathrm{d}{\mathrm{\Phi }}_u}{\mathrm{d}𝐱}}\frac{\partial }{\partial u}\frac{\mathrm{d}{\mathrm{\Phi }}_u}{\mathrm{d}𝐱}\right)$

ここで、$\tilde{A}$はテンプレート:Mvarの余因子行列である。 テンプレート:Mathは恒等写像なので、テンプレート:Mvarを単位行列とすると、1パラメーター変換の定義より、

$\frac{\partial }{\partial u}{\left|\frac{\mathrm{d}{\mathrm{\Phi }}_u}{\mathrm{d}𝐱}\right|}_{u=0}=\mathrm{tr}\left(\tilde{I}\frac{\mathrm{d}𝐗}{\mathrm{d}𝐱}\right)=\mathrm{div}𝐗$

すなわち、テンプレート:Mathは 微小体積の1パラメーター変換による変化率を表している。

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

簡単な計算により、任意のスカラー場テンプレート:Mvarと任意のベクトル場テンプレート:Mvarに対し

$\mathrm{rot}(\mathrm{grad}F)=0$

$\mathrm{div}(\mathrm{rot}𝐗)=0$

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

また3次元ユークリッド空間上では次が成立する（ポアンカレの補題）：

$\mathrm{rot}𝐗$が恒等的に0 $⟺\mathrm{grad}\varphi =𝐗$となるテンプレート:Mvarが存在する

$\mathrm{div}𝐗$が恒等的に0 $⟺\mathrm{rot}𝐀=𝐗$となるテンプレート:Mvarが存在する

このようなテンプレート:Mvar、テンプレート:Mvarが存在するとき、テンプレート:Mvar、テンプレート:Mvarをそれぞれテンプレート:Mvarのスカラー・ポテンシャル、ベクトル・ポテンシャルという。

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

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

${\varphi }_2(𝐱)={\varphi }_1(𝐱)+\text{const.}$

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

またテンプレート:Mvar、テンプレート:Mvarを同一のベクトル場テンプレート:Mvarのスカラー・ポテンシャルとするとき、

${𝐀}_2={𝐀}_1+\mathrm{grad}F$

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

$\mathrm{rot}({𝐀}_2-{𝐀}_1)=\mathrm{rot}{𝐀}_2-\mathrm{rot}{𝐀}_1=𝐗-𝐗=0$

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

${𝐀}_2-{𝐀}_1=\mathrm{grad}F$

となるテンプレート:Mvarが存在する。

歴史

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

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

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

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

関連概念

• 場の微分
  • 曲率
  • ナブラ
    • 勾配・発散・回転
    • 偏微分

• 線積分・面積分（微分形式の積分）
  • グリーンの定理
  • 発散定理（ジョージ・グリーン、カール・フリードリヒ・ガウス）

参考文献

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

関連項目

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

テンプレート:Analysis-footer テンプレート:Normdaten