ベクトル解析

{{#invoke:sidebar|collapsible

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

基本定理

テンプレート:Startflatlist

テンプレート:Endflatlist テンプレート:Startflatlist

テンプレート:Endflatlist

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

| list4name = series | list4title = テンプレート:Bigger | list4 =

| list5name = vector | list5title = テンプレート:Bigger | list5 =

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

テンプレート:Endflatlist

}}

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

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

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

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

ベクトル場とスカラー場

定義

3次元ユークリッド空間[math]\mathbb{R}^3[/math]上のベクトル場 $X$ とは、[math]\mathbb{R}^3[/math]上の各点 $P$ に対し、 $P$ を始点とする3次元ベクトル $X (P)$ を対応させる写像のことである。

ファイル:VectorField.svg

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

本項では特に断りのない限り、この写像が $P$ に関して滑らかな場合を考える。すなわち、[math]\mathbb{R}^3[/math]の座標を使って

[math]\mathbf{X}(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]

と表したとき、各 $X i (x 1, x 2, x 3)$ が任意回微分可能である場合を考える。

なお、ベクトル場の記法として $X (P)$ の代わりに

[math]\mathbf{X}_P[/math]

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

同様に3次元ユークリッド空間[math]\mathbb{R}^3[/math]上のスカラー場 $F$ とは、[math]\mathbb{R}^3[/math]上の各点 $P$ に対し、実数 $F(P)$ を対応させる写像のことである。

具体例

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

スカラー場の線積分

定義

$X$ をベクトル場とし、ユークリッド空間上の曲線 $C$ が[math]\mathbf{x}(u)=(x_{1}(u),x_{2}(u),x_{3}(u))[/math]、 $u \in[a, b]$ とパラメーター表示されているとする。積分

[math]I=\int_a^b F(\mathbf{x}(u)) \left\|{\operatorname{d}\mathbf{x}\over\operatorname{d}u}(u)\right\| \operatorname{d}u [/math]

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

線積分の定義は $C$ とその向き付けには依存するが、同じ向き付けを与える限りパラメーターの取り方に依存しない。実際曲線 $C$ を別のパラメーター $w$ に [math]\mathbf{x}(w)=(x_{1}(u(w)),x_{2}(u(w),x_{3}(u(w)))[/math]、 $w \in[c, d]$ と変数変換して同様の積分

[math]J=\int_c^d F(\mathbf{x}(w(u))) \left\|{\operatorname{d}\mathbf{x}(u(w))\over\operatorname{d}w}\right\| \operatorname{d}w [/math]

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

[math] {\operatorname{d}u\over\operatorname{d}w} \gt 0[/math]

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

[math]\begin{array}{ll} J&= \int_c^d F(\mathbf{x}(u(w))) \left\|{\operatorname{d}\mathbf{x}\over\operatorname{d}w}\right| \operatorname{d}w \\ &= \int_a^b F(\mathbf{x}(u(w))) \left|{\operatorname{d}\mathbf{x}\over\operatorname{d}u}\right\| {\operatorname{d}u\over\operatorname{d}w} \operatorname{d}w\\ &= \int_a^b F(\mathbf{x}(u)) \left\|{\operatorname{d}\mathbf{x}\over\operatorname{d}u}\right\| \operatorname{d}u \\ &=I \end{array}[/math]

が成立する。

そこで線素 $d s$ を

[math]\operatorname{d}s:= \|\operatorname{d}\mathbf{x}\|=\sqrt{\operatorname{d}x_1{}^2+ \operatorname{d}x_2{}^2+ \operatorname{d}x_3{}^2 } [/math]

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

[math]\int_C F\operatorname{d}s[/math]

と表記する。

$C$ の始点と終点が一致するとき（すなわち $C$ が閉曲線のとき）はそのことを強調して

[math]\oint_C F\operatorname{d}s[/math]

とも表記する。

弧長

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

[math]\int_C \operatorname{d}s[/math]

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

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

[math]\sum_i \|\mathbf{x}((i+1)\Delta u)- \mathbf{x}(i\Delta u) \|[/math] [math] \sum_i \|\Delta\mathbf{x}/\Delta u \|\Delta u [/math]

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

[math]\int\left\|{\operatorname{d}\mathbf{x}\over \operatorname{d}u}\right\|\operatorname{d}u[/math]

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

弧長パラメーター

曲線 $C$ を、

x (s)=(C

の始点から

s

離れた位置)

とパラメトライズできる^[1]。このような $s$ を $C$ の弧長パラメーターという。 $C$ を弧長パラメーターで[math]\mathbf{x}(s)=(x_{1}(s),x_{2}(s),x_{3}(s))[/math]と表したとき、定義より

[math]s= \int_0^s\left\|{\operatorname{d}\mathbf{x}\over\operatorname{d}s}\right\| \operatorname{d}s [/math]

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

[math]1= \left\|{\operatorname{d}\mathbf{x}\over\operatorname{d}s}\right\| [/math]

が恒等的に成り立つ。

従って線積分とは、

[math]\int_C F(x(s))\operatorname{d}s= \int_0^1 F(x(s)) \left\|{\operatorname{d}\mathbf{x}\over\operatorname{d}s}\right\| \operatorname{d}s = \int_0^1 F(x(s))\operatorname{d}s [/math]

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

ベクトル場の線積分

定義

$X$ をベクトル場とし、ユークリッド空間上の曲線 $C$ が[math]\mathbf{x}(u)=(x_{1}(u),x_{2}(u),x_{3}(u))[/math]、 $u \in[a, b]$ とパラメーター表示されているとし、積分

[math]\int_a^b \mathbf{X}(\mathbf{x}(u))\cdot {\operatorname{d}\mathbf{x}\over\operatorname{d}u}(u)\operatorname{d}u [/math]

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

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

[math]\int_C \mathbf{X}\cdot\operatorname{d}\mathbf{x}[/math]

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

[math]\operatorname{d}\mathbf{x}=(\operatorname{d}x_1, \operatorname{d}x_2, \operatorname{d}x_3)[/math]

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

[math]\int_C X_1\operatorname{d}x_1+ X_2\operatorname{d}x_2+ X_3\operatorname{d}x_3 [/math]

とも表示できる。

$C$ の始点と終点が一致するとき（すなわち $C$ が閉曲線のとき）はそのことを強調して

[math]\oint_C \mathbf{X}\cdot\operatorname{d}\mathbf{x}[/math]

とも表記する。

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

$C$ を弧長パラメーターで[math]\mathbf{x}(s)=(x_{1}(s),x_{2}(s),x_{3}(s))[/math]と表すと、 $C$ に沿った線積分は、

[math]\int \mathbf{X}(\mathbf{x}(s))\cdot {\operatorname{d}\mathbf{x}\over\operatorname{d}s}(s)\operatorname{d}s [/math]

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

[math] \left|{\operatorname{d}\mathbf{x}\over\operatorname{d}s}\right| =1[/math]

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

[math] \mathbf{X}(\mathbf{x}(s))\cdot {\operatorname{d}\mathbf{x}\over\operatorname{d}s}(s) [/math]

は [math] \mathbf{X}(\mathbf{x}(s))[/math]を $C$ の $x (s)$ での接線方向の射映である。

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

スカラー場の面積分

定義

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

[math]\mathbf{x}=\mathbf{x}(u_1,u_2)[/math]

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

[math]\int F(\mathbf{x}(u_1,u_2))\left\|{\partial \mathbf{x}\over \partial u_1}\times {\partial \mathbf{x}\over \partial u_2} \right\|\operatorname{d}u_1\operatorname{d}u_2 [/math]

により定義する。

$S$ のパラメーターを

[math](u_1,u_2)=(u_1(w_1,w_2),u_2(w_1,w_2))[/math]

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

[math]{\partial (u_1,u_2)\over \partial (w_1,w_2)}\gt 0[/math]

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

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

[math]\int_S F \operatorname{d}S[/math]

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

1の面積分

[math]\int_S \operatorname{d}S[/math]

は $S$ の面積に等しい事が知られており、従って [math]\operatorname{d}S[/math]は面積の微小量を表していると考えられる。この[math]\operatorname{d}S[/math]の事を面素という。

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

[math]\oint_S \operatorname{d}S[/math]

とも表記する。

ベクトル場の面積分

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

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

[math]\int_S\mathbf{X}\operatorname{d}\mathbf{S}:= \int_S\mathbf{X}\cdot\mathbf{n}\operatorname{d}S [/math]

により定義する。

$S$ が

[math]\mathbf{x}=\mathbf{x}(u_1,u_2)[/math]

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

[math]\int_S\mathbf{X}\operatorname{d}\mathbf{S}= \int\mathbf{X}\cdot\left({\partial\mathbf{x}\over \partial u_1}\times{\partial\mathbf{x}\over\partial u_2}\right)\operatorname{d}u_1 \operatorname{d}u_2 [/math]

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

[math] \mathbf{X}\cdot\left({\partial\mathbf{x}\over \partial u_1}\times{\partial\mathbf{x}\over\partial u_2}\right)=\operatorname{det} \left(\mathbf{X},{\partial\mathbf{x}\over \partial u_1},{\partial\mathbf{x}\over\partial u_2}\right) [/math]

でもある。

勾配、回転、発散

定義

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

[math]\operatorname{grad}F={\partial F\over\partial \mathbf{x}}=\left({\partial F\over\partial x_1}, {\partial F\over\partial x_2}, {\partial F\over\partial x_3}\right)[/math]

により定義する。

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

[math]\operatorname{rot}\mathbf{X}=\left(\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}\right)[/math]

[math]\operatorname{div}\mathbf{X}= {\partial X_1\over\partial x_1}+{\partial X_2\over\partial x_2}+{\partial X_3\over\partial x_3} =\operatorname{tr}\left({\partial X_i\over\partial x_j}\right)_{ij}[/math]

により定義する。

微分演算子ナブラ[math]\nabla[/math]を

[math]\nabla=\left({\partial \over\partial x_1}, {\partial \over\partial x_2}, {\partial \over\partial x_3}\right)[/math]

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

[math]\operatorname{grad}F=\nabla F[/math]

[math]\operatorname{rot}\mathbf{X}=\nabla\times \mathbf{X}[/math]

[math]\operatorname{div}\mathbf{X}=\nabla\cdot\mathbf{X}[/math]

と表記できる。

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

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

[math]\int_C\operatorname{grad}F\operatorname{d}s=F(Q)-F(P)[/math]

[math]\int_S\operatorname{rot}\mathbf{X}\operatorname{d}\mathbf{S}=\oint_{\partial S}\mathbf{X}\operatorname{d}s[/math]　（（ケルビン・）ストークスの定理）

[math]\int_V \operatorname{div}\mathbf{X}\operatorname{d}V=\oint_{\partial V}\mathbf{X}\operatorname{d}\mathbf{S}[/math]　（ガウスの発散定理）

1パラメーター変換

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

$X$ を3次元ユークリッド空間[math]\mathbb{R}^3[/math]上のベクトル場とし、 $x$ を[math]\mathbb{R}^3[/math]の点とする。

$Φ u (x)$ を以下のように定義する：

[math]\Phi_{u}(\mathbf{x})[/math]をベクトル場

X

に沿って

u

だけ進んだ点、すなわち

[math]\left.{\partial\over\partial u}\Phi_{u}(\mathbf{x})\right|_{u=u'} = \mathbf{X}_{\Phi_{u'}(\mathbf{x})} [/math]

が全ての $u' \in[0, u]$ に対して成り立つ点とする。

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

発散divの幾何学的意味

1パラメーター変換をもちいると、発散divを幾何学的に意味づける事ができる。 $Φ u (x')$ を成分で $y 1 (x'), y 2 (x'), y 3 (x'),$ と書くことにすると、体積要素はヤコビアンを用いて

[math]\operatorname{d}y_1\operatorname{d}y_2\operatorname{d}y_3=\left| {\operatorname{d} \Phi_u \over \operatorname{d} \mathbf{x}} \right| \operatorname{d}x_1\operatorname{d}x_2\operatorname{d}x_3 [/math]

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

[math]\left| {\operatorname{d} \Phi_u \over \operatorname{d} \mathbf{x}} \right| [/math]

で変換する写像である。

ヤコビの公式（English版）より、

[math]{\partial\over\partial u}\left| {\operatorname{d} \Phi_u \over \operatorname{d} \mathbf{x}} \right| =\operatorname{tr}\left( \widetilde{\operatorname{d} \Phi_u \over \operatorname{d} \mathbf{x}} {\partial\over\partial u} {\operatorname{d} \Phi_u \over \operatorname{d} \mathbf{x}} \right)[/math]

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

[math]{\partial\over\partial u}\left| {\operatorname{d} \Phi_u \over \operatorname{d} \mathbf{x}} \right|_{u=0} =\operatorname{tr}\left( \tilde{I}{\operatorname{d} \mathbf{X} \over \operatorname{d} \mathbf{x}} \right)=\operatorname{div}\mathbf{X}[/math]

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

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

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

[math]\operatorname{rot}\operatorname{grad} F= 0[/math]

[math]\operatorname{div}\operatorname{rot}\mathbf{X}=0[/math]

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

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

[math]\operatorname{rot}\mathbf{X}[/math]が恒等的に0 [math]\iff \operatorname{grad}\phi=\mathbf{X}[/math]となる

φ

が存在する

[math]\operatorname{div}\mathbf{X}[/math]が恒等的に0 [math]\iff \operatorname{rot}\mathbf{A}=\mathbf{X}[/math]となる

A

が存在する

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

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

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

[math]\phi_2(\mathbf{x})=\phi_1(\mathbf{x})+\text{const}[/math]

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

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

[math]\mathbf{A}_2=\mathbf{A}_1+\operatorname{grad}F[/math]

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

[math]\operatorname{rot}(\mathbf{A}_2-\mathbf{A}_1)= \operatorname{rot}\mathbf{A}_2- \operatorname{rot} \mathbf{A}_1=\mathbf{X}-\mathbf{X}=0 [/math]

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

[math] \mathbf{A}_2-\mathbf{A}_1=\operatorname{grad}F[/math]

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

歴史

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

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

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

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

参考文献

↑ ここでは話を簡単にするためパラメーター $s$ の原点を $C$ の始点にしたが、 $C$ 上の任意のん一点を原点としてよい。この場合、原点より始点側は負の値でパラメトライズする。
↑ 例えば、 $u \to1$ のとき $Φ u (x)\to\infty$ となれば、1以上の $u$ に対して $Φ u (x)$ を定義できない。
↑ ^3.0 ^3.1 ^3.2 ^3.3 ^3.4 湯川秀樹　『物理講義』、1975年、講談社、58-62頁
↑ 銀林浩、『線型代数学序説』、現代数学社、2002年まえがきより

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

ベクトル解析

Contents

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

ベクトル場とスカラー場

定義

具体例

スカラー場の線積分

定義

弧長

弧長パラメーター

ベクトル場の線積分

定義

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

スカラー場の面積分

定義

ベクトル場の面積分

勾配、回転、発散

定義

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

1パラメーター変換

発散divの幾何学的意味

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

歴史

関連概念

参考文献

関連項目

案内メニュー

表示

個人用ツール

navigation

search

tool