物理数学I ベクトル解析
物理数学I > ベクトル解析
ベクトル解析

ここでは、ベクトル解析について解説を行なう。 ベクトル解析は、主に多変数関数の微積分と関連しているが、 特にそれらのうちには計算自体に明確な物理的意味を 持つものがいくつか見られる。歴史的にもこの分野は 数学と物理の間のフィードバックを通して発展して来た。
ベクトル解析

そのため、計算においては物理的な意味を強調していきたい。 また、特にいくつかの定理は数学的に厳密な証明をすることが 難しい。その様なときには常識的に古典的な物理学の範囲で 起こる現象で適用できる程度に、一般的に 書くことにしたいと思う。
ベクトル解析

また、現代的にはこの分野は微分形式を用いて書かれることが多いが、 ここではまず最初に古典的な計算法を扱う。 これは、特に物理を専攻としない学習者に配慮するためである。
ベクトル解析

例えば、電気技術者や機械技術者もベクトル解析は依然として学ばねば ならず、彼らに取っては微分形式の理論はそれほど有用とはいえないものと 思われる。
ベクトル解析

ベクトル解析の理論は特に電磁気学と関連が深いが、これらの結果は 流体力学や量子力学など、様々な分野で登場する物理の根幹を成す計算法であり、 学習者は十分これらの手法に習熟することが求められる。
ベクトル解析

例えば3次元ベクトルで
ベクトル解析

とするとき、ある変数tについて x,y,z が、
ベクトル解析

で表わされるとき、
ベクトル解析

を、ベクトルの関数と呼ぶ。 これは、tを時間と見なすときにはある3次元空間中を 物体が動いて行く軌跡の値と見なすことが出来る。
ベクトル解析

例えば、
ベクトル解析

という軌跡を与えたとき、この値は 物体がxの方向に速度1で等速直線運動しているものとみなすことが できる。
ベクトル解析

ただし、この定義自体は3次元にとどまらず容易にn次元に拡張することが 出来る。 例えば、
ベクトル解析

のようにn次元のベクトルを取ったときに、そのうちの各要素が ある独立変数tだけに依存すると考えることが出来るとき これは、n次元空間の中の物体の軌跡と考えることが出来る。
ベクトル解析

ここでは、ベクトルの微分を定義する。 例えば、1次元においては、物体の速度は
ベクトル解析

で与えられた。この値はある時間における物体の 位置の変化率という直接的な物理的意味を持っている。
ベクトル解析

これらの自然な拡張として一般的な次元において、
ベクトル解析

によって、ベクトルの微分を定義する。 例えば、1次元空間に限ったときにはこの結果は上の式と一致することが分かる。 このことによって、例えば
ベクトル解析

という2次元ベクトルを取ったとき、 物体の速度のx方向成分は
ベクトル解析

によって与えられ、物体の位置のx方向成分のみによることが示唆される。 同様に 物体の速度のy方向成分は 物体の位置のy方向成分のみによっている。
ベクトル解析

このことは一見当然のように思えるが、実際にはそうではなく 我々が用いている座標系によっている。 例えば、2次元の極座標を用いてみると、
ベクトル解析

と書けるが、 この式を正しく微分すると、
ベクトル解析

が得られ、速度の θ {\displaystyle \theta } 成分は、物体のr成分にも依存している。
ベクトル解析

このことは、直接的には e → r {\displaystyle {\vec {e}}_{r}} 自身が時間依存性を持っている。 我々が通常用いる(x,y,z)という座標系は 通常直交座標系と呼ばれるが、(デカルト座標系と呼ばれることも多い。) これらの座標軸の方向は時間的に変わることが無いので、 微分の性質が非常に簡単になっている。
ベクトル解析

しかし、実際にある物体の動きを記述するとき、直交座標系を用いるより、 その動きに特徴的な量をパラメーターとして用いた方が記述が簡明に なることがある。例えば、太陽のまわりを円運動する惑星の 動きを記述するには、極座標を用いると、物体の運動がもっとも簡潔に記述される。 この様に、運動の種類によって用いるべき座標系が変わって来るため、 それぞれの間の緒量の変化、つまり微分や積分の性質を調べることが重要に なる。
ベクトル解析

ここまでで一般的な微分の方法を見た。 ここでは、特に物理的に重要なベクトルの作り方を 見る。
ベクトル解析

ある関数f(x,y,z) があるものとする。 このとき、
ベクトル解析

をfの勾配と呼ぶ。 また、同様にしてn次元では
ベクトル解析

によって定義される。
ベクトル解析

ここで、勾配はこの式の意味によって付けられた名前である。 例えば、
ベクトル解析

に限ってこの式を書いてみる。 このとき、
ベクトル解析

となるが、これはこの関数fのx方向の傾きに等しい。 つまり、この式は傾きを求める式の複数の方向を用いた場合への一般化と なっている。
ベクトル解析

より一般的な例として2次元の場合の 例を考えてみる。ここでは
ベクトル解析

とおく。 このときこの式の勾配は簡単に計算でき、
ベクトル解析

となる。例えば、この式を
ベクトル解析

(aはある定数。) について考えてみる。 このとき、勾配の値は
ベクトル解析

となるが、これはxが正のとき正であり、負のときには負となっている。 つまり、この式はこの関数のx座標軸上で見たときに、 x=0を極少としたすり鉢形のグラフとなっており、更に 原点から離れれば離れるほど、グラフの傾きが増すことを示唆している。 実際この式を数値的にプロットすると、この主張が確かめられる。
ベクトル解析

プロットを作製。
ベクトル解析

次に、この式を
ベクトル解析

(bはある定数。) について考えてみる。 このときにも全く同じ主張が出来、y方向に見ても このグラフはすり鉢状になっている。
ベクトル解析

また、この式を
ベクトル解析

について考えてみる。このときには
ベクトル解析

が得られ、この点では勾配はx軸から π / 4 {\displaystyle \pi /4} の方向を向いていることが分かる。
ベクトル解析

一般に勾配は、関数fが、最も大きな傾きで増加する方向を 向いており、その絶対値はその点でそちらへの微分を取った値に等しい。
ベクトル解析

また、ある点でのある方向への微分を求めたいときには、 求めたい方向の単位ベクトルを
ベクトル解析

としたとき、
ベクトル解析

を計算することで、求めることが出来る。
ベクトル解析

勾配の計算では、全ての独立変数に対する微分を求めており、 これらの微分を組み合わせることであらゆる方向への微分を 作ることが出来ることが期待される。 微分の最も低いオーダーでは、それぞれの方向への微分は それぞれの方向の単位ベクトルにそちらの方向への微分の大きさを かけたものに等しいので、ある方向に対する微分を 計算するにはそれらを適切な方向への重みをつけて足し合わせることが 求められる。このとき、ある方向に対する単位ベクトルと ある軸の方向に対する単位ベクトルは、2つの方向の重みを表わしていると 考えられるので、確かにこの値は、そちらの方向への微分となっている。
ベクトル解析

例えば、
ベクトル解析

でのy方向の傾きは、
ベクトル解析

となるが、 これは、この関数の等高線が円形になっていることを考えると 確かにこの点ではy方向の傾きは0になっていなくてはいけない。
ベクトル解析

次には逆にあるベクトルを取ったとき、 あるスカラー量を作りだす計算を導入する。 後に示される通り、この量はある点から流れ出す 粒子や場の束の和という物理的意味を持っており、 電磁気学や流体力学で頻繁に用いられる。 実際前者では磁束や電束についての計算に用いられ、 後者では流体中のわきだしや吸い込みなどのまわりで 流体の性質を表わすベクトルがnon-zeroになることが 知られている。
ベクトル解析

あるベクトルの関数
ベクトル解析

があるとき、
ベクトル解析

を、 a → {\displaystyle {\vec {a}}} の発散と呼ぶ。 また、この量もn次元で定義することが出来、そのときの定義は、
ベクトル解析

で与えられる。 ただし a i {\displaystyle a_{i}} はベクトル a → {\displaystyle {\vec {a}}} の第i成分である。
ベクトル解析

この式の物理的意味は上で述べた通りだが、そのことの導出は ガウスの定理の導出によって与えられるため、ここでは扱わない。
ベクトル解析

ここでもう1つ、物理的に重要な演算を導入する。 この量も電磁気学や流体力学で使われており、 ある経路に沿って積分した値がその経路の中の ある量の積分によって与えられるという定理である。
ベクトル解析

実際には電磁気学では古典的にある回路を突き抜ける磁束の時間変化が 、その回路内に電流を引き起こすことがレンツの法則として知られている。 この法則は、このようなベクトルの演算によってうまく記述される現象の 例である。
ベクトル解析

流体力学では、この量は流体中に巻き起こる渦に対応している。 つまり、渦が流れるルートに沿って、流体の速度を積分していけば 0でない値が得られることが期待される。一方、そうでない場合 この値は全ての寄与が打ち消し合い、0になると思われる。 つまり、この量を用いることで、流体中の渦を記述する方法が得られるわけである。
ベクトル解析

ただし、実際には流体の運動を考えるときには渦が一切発生しないと した方が計算が簡単になることも多い。このような流れは渦無しの流れと 呼ばれ、その性質はよく知られている。
ベクトル解析

ここからはベクトルの回転の定義を述べる。 あるベクトルの関数
ベクトル解析

があるとき、
ベクトル解析

を
ベクトル解析

の回転と呼ぶ。
ベクトル解析の公式

ここでは、ベクトル解析の公式を証明する。これらの公式はベクトルを成分表示して単純に計算することでも証明できるが、この方法ではあまりにも煩雑になってしまうためレヴィ・チヴィタ記号を導入して証明する。
ベクトル解析の公式

クロネッカーのデルタ δ i j {\displaystyle \delta _{ij}} を
ベクトル解析の公式

で定義する。
ベクトル解析の公式

レヴィ・チヴィタ記号 ε i j k {\displaystyle \varepsilon _{ijk}} を
ベクトル解析の公式

と定義する。すなわち、置換 σ = ( 1 2 3 i j k ) {\displaystyle \sigma ={\begin{pmatrix}1&2&3\\i&j&k\end{pmatrix}}} (ただし i , j , k {\displaystyle i,j,k} は互いに異なる)が偶置換のとき、 ε i j k = 1 {\displaystyle \varepsilon _{ijk}=1} 、奇置換のとき ε i j k = − 1 {\displaystyle \varepsilon _{ijk}=-1} である。また、レヴィ・チヴィタ記号 ε i j k {\displaystyle \varepsilon _{ijk}} は ε 123 = 1 {\displaystyle \varepsilon _{123}=1} であり、2つの添字を入れ替えると -1 倍される(反対称)もの (e.g. ε 213 = − ε 123 = − 1 , ε 231 = − ε 213 = 1 {\displaystyle \varepsilon _{213}=-\varepsilon _{123}=-1,\,\varepsilon _{231}=-\varepsilon _{213}=1} )と理解できる。添字に同じ数字があるときはレヴィ・チヴィタ記号は 0 である(e.g. ε 111 = 0 , ε 322 = 0 {\displaystyle \varepsilon _{111}=0,\,\varepsilon _{322}=0} )。
ベクトル解析の公式

基本ベクトル e i {\displaystyle {\boldsymbol {e}}_{i}} を e i = ( δ 1 i δ 2 i δ 3 i ) {\displaystyle {\boldsymbol {e}}_{i}={\begin{pmatrix}\delta _{1i}\\\delta _{2i}\\\delta _{3i}\end{pmatrix}}} とする。すなわち、 e 1 = ( 1 0 0 ) , e 2 = ( 0 1 0 ) , e 3 = ( 0 0 1 ) {\displaystyle {\boldsymbol {e}}_{1}={\begin{pmatrix}1\\0\\0\end{pmatrix}},{\boldsymbol {e}}_{2}={\begin{pmatrix}0\\1\\0\end{pmatrix}},{\boldsymbol {e}}_{3}={\begin{pmatrix}0\\0\\1\end{pmatrix}}} である。
ベクトル解析の公式

∇ = ( ∂ ∂ x ∂ ∂ y ∂ ∂ z ) {\displaystyle \nabla ={\begin{pmatrix}{\frac {\partial }{\partial x}}\\{\frac {\partial }{\partial y}}\\{\frac {\partial }{\partial z}}\end{pmatrix}}} をナブラという。
ベクトル解析の公式

ナブラを通常のベクトル演算と同じように扱うと、grad,div,rotは簡単に
ベクトル解析の公式

と書くことが出来る。
ベクトル解析の公式

ベクトルの成分に微分演算子が入っていることにびっくりするかもしれないが、形式的なものだと思っても良い。
ベクトル解析の公式

Δ := ∇ ⋅ ∇ = ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 + ∂ 2 ∂ z 2 {\displaystyle \Delta :=\nabla \cdot \nabla ={\frac {\partial ^{2}}{\partial x^{2}}}+{\frac {\partial ^{2}}{\partial y^{2}}}+{\frac {\partial ^{2}}{\partial z^{2}}}} をラプラシアンという。スカラー関数 f {\displaystyle f} について Δ f = ∂ 2 f ∂ x 2 + ∂ 2 f ∂ y 2 + ∂ 2 f ∂ z 2 {\displaystyle \Delta f={\frac {\partial ^{2}f}{\partial x^{2}}}+{\frac {\partial ^{2}f}{\partial y^{2}}}+{\frac {\partial ^{2}f}{\partial z^{2}}}} であり、ベクトル関数 A {\displaystyle {\boldsymbol {A}}} について Δ A = ( ∂ 2 A x ∂ x 2 + ∂ 2 A x ∂ y 2 + ∂ 2 A x ∂ z 2 ∂ 2 A y ∂ x 2 + ∂ 2 A y ∂ y 2 + ∂ 2 A y ∂ z 2 ∂ 2 A z ∂ x 2 + ∂ 2 A z ∂ y 2 + ∂ 2 A z ∂ z 2 ) {\displaystyle \Delta {\boldsymbol {A}}={\begin{pmatrix}{\frac {\partial ^{2}A_{x}}{\partial x^{2}}}+{\frac {\partial ^{2}A_{x}}{\partial y^{2}}}+{\frac {\partial ^{2}A_{x}}{\partial z^{2}}}\\{\frac {\partial ^{2}A_{y}}{\partial x^{2}}}+{\frac {\partial ^{2}A_{y}}{\partial y^{2}}}+{\frac {\partial ^{2}A_{y}}{\partial z^{2}}}\\{\frac {\partial ^{2}A_{z}}{\partial x^{2}}}+{\frac {\partial ^{2}A_{z}}{\partial y^{2}}}+{\frac {\partial ^{2}A_{z}}{\partial z^{2}}}\end{pmatrix}}} である。
ベクトル解析の公式

以下では、簡単のためにベクトル A {\displaystyle {\boldsymbol {A}}} の x {\displaystyle x} 成分 A x {\displaystyle A_{x}} を A 1 {\displaystyle A_{1}} 、 y {\displaystyle y} 成分 A y {\displaystyle A_{y}} を A 2 {\displaystyle A_{2}} 、 z {\displaystyle z} 成分 A z {\displaystyle A_{z}} を A 3 {\displaystyle A_{3}} と書く。偏微分についても ∂ ∂ x = ∂ x = ∂ 1 {\displaystyle {\frac {\partial }{\partial x}}=\partial _{x}=\partial _{1}} などとする。ベクトル A {\displaystyle {\boldsymbol {A}}} の 第i成分 A i {\displaystyle A_{i}} を [ A ] i {\displaystyle [{\boldsymbol {A}}]_{i}} と書く。
ベクトル解析の公式

ベクトルの外積 A × B {\displaystyle {\boldsymbol {A}}\times {\boldsymbol {B}}} の第i成分 [ A × B ] i {\displaystyle [{\boldsymbol {A}}\times {\boldsymbol {B}}]_{i}} は
ベクトル解析の公式

[ A × B ] i = ∑ j , k ε i j k A j B k {\displaystyle [{\boldsymbol {A}}\times {\boldsymbol {B}}]_{i}=\sum _{j,k}\varepsilon _{ijk}A_{j}B_{k}}
ベクトル解析の公式

と書ける。ここで Σ {\displaystyle \Sigma } の添字はそれぞれ1から3までの整数値を動くものとする。この規約は以下の文章にも適用する。
ベクトル解析の公式

実際に、展開して確認すると、
ベクトル解析の公式

∑ j , k ε 1 j k A j B k = ε 123 A 2 B 3 + ε 132 A 3 B 2 = A 2 B 3 − A 3 B 2 = [ A × B ] 1 {\displaystyle {\begin{aligned}\sum _{j,k}\varepsilon _{1jk}A_{j}B_{k}&=\varepsilon _{123}A_{2}B_{3}+\varepsilon _{132}A_{3}B_{2}\\&=A_{2}B_{3}-A_{3}B_{2}\\&=[{\boldsymbol {A}}\times {\boldsymbol {B}}]_{1}\end{aligned}}}
ベクトル解析の公式

∑ j , k ε 2 j k A j B k = ε 213 A 1 B 3 + ε 231 A 3 B 1 = A 3 B 1 − A 1 B 3 = [ A × B ] 2 {\displaystyle {\begin{aligned}\sum _{j,k}\varepsilon _{2jk}A_{j}B_{k}&=\varepsilon _{213}A_{1}B_{3}+\varepsilon _{231}A_{3}B_{1}\\&=A_{3}B_{1}-A_{1}B_{3}\\&=[{\boldsymbol {A}}\times {\boldsymbol {B}}]_{2}\end{aligned}}}
ベクトル解析の公式

∑ j , k ε 3 j k A j B k = ε 312 A 1 B 2 + ε 321 A 2 B 1 = A 1 B 2 − A 2 B 1 = [ A × B ] 3 {\displaystyle {\begin{aligned}\sum _{j,k}\varepsilon _{3jk}A_{j}B_{k}&=\varepsilon _{312}A_{1}B_{2}+\varepsilon _{321}A_{2}B_{1}\\&=A_{1}B_{2}-A_{2}B_{1}\\&=[{\boldsymbol {A}}\times {\boldsymbol {B}}]_{3}\end{aligned}}}
ベクトル解析の公式

となる。上の式において、 ∑ j , k ε 1 j k A j B k {\displaystyle \sum _{j,k}\varepsilon _{1jk}A_{j}B_{k}} を展開すると9つの項が出てくるが、その内の7つの ε 1 j k {\displaystyle \varepsilon _{1jk}} が0となるため、2つの項だけが残る。すなわち、 j = 2 , j = 3 {\displaystyle j=2,j=3} に対応する項(対応する k {\displaystyle k} は { 1 , 2 , 3 } {\displaystyle \{1,2,3\}} のうち1でも j {\displaystyle j} でもないもの)、 ε 123 , ε 132 {\displaystyle \varepsilon _{123},\varepsilon _{132}} の項のみが残る。 ε 2 j k , ε 3 j k {\displaystyle \varepsilon _{2jk},\varepsilon _{3jk}} についても同様である。
ベクトル解析の公式

定理
ベクトル解析の公式

ε i j k = | e i e j e k | = e i ⋅ ( e j × e k ) = | δ 1 i δ 1 j δ 1 k δ 2 i δ 2 j δ 2 k δ 3 i δ 3 j δ 3 k | {\displaystyle \varepsilon _{ijk}=|{\boldsymbol {e}}_{i}\,{\boldsymbol {e}}_{j}\,{\boldsymbol {e}}_{k}|={\boldsymbol {e}}_{i}\cdot ({\boldsymbol {e}}_{j}\times {\boldsymbol {e}}_{k})={\begin{vmatrix}\delta _{1i}&\delta _{1j}&\delta _{1k}\\\delta _{2i}&\delta _{2j}&\delta _{2k}\\\delta _{3i}&\delta _{3j}&\delta _{3k}\end{vmatrix}}} が成り立つ。
ベクトル解析の公式

証明
ベクトル解析の公式

| e 1 e 2 e 3 | = | 1 0 0 0 1 0 0 0 1 | = 1 = ε 123 {\displaystyle |{\boldsymbol {e}}_{1}\,{\boldsymbol {e}}_{2}\,{\boldsymbol {e}}_{3}|={\begin{vmatrix}1&0&0\\0&1&0\\0&0&1\end{vmatrix}}=1=\varepsilon _{123}} である。
ベクトル解析の公式

これと、行列式の性質より、 | e i e j e k | {\displaystyle |{\boldsymbol {e}}_{i}\,{\boldsymbol {e}}_{j}\,{\boldsymbol {e}}_{k}|} は反対称であることから、 ε i j k = | e i e j e k | {\displaystyle \varepsilon _{ijk}=|{\boldsymbol {e}}_{i}\,{\boldsymbol {e}}_{j}\,{\boldsymbol {e}}_{k}|} を得る。
ベクトル解析の公式

| e i e j e k | = e i ⋅ ( e j × e k ) {\displaystyle |{\boldsymbol {e}}_{i}\,{\boldsymbol {e}}_{j}\,{\boldsymbol {e}}_{k}|={\boldsymbol {e}}_{i}\cdot ({\boldsymbol {e}}_{j}\times {\boldsymbol {e}}_{k})} については直接計算すればよい。
ベクトル解析の公式

基本ベクトルの定義 e i = ( δ 1 i δ 2 i δ 3 i ) {\displaystyle {\boldsymbol {e}}_{i}={\begin{pmatrix}\delta _{1i}\\\delta _{2i}\\\delta _{3i}\end{pmatrix}}} を代入して、 | e i e j e k | = | δ 1 i δ 1 j δ 1 k δ 2 i δ 2 j δ 2 k δ 3 i δ 3 j δ 3 k | {\displaystyle |{\boldsymbol {e}}_{i}\,{\boldsymbol {e}}_{j}\,{\boldsymbol {e}}_{k}|={\begin{vmatrix}\delta _{1i}&\delta _{1j}&\delta _{1k}\\\delta _{2i}&\delta _{2j}&\delta _{2k}\\\delta _{3i}&\delta _{3j}&\delta _{3k}\end{vmatrix}}} を得る。
ベクトル解析の公式

定理
ベクトル解析の公式

ε i j k ε l m n = | δ i l δ i m δ i n δ j l δ j m δ j n δ k l δ k m δ k n | = δ i l ( δ j m δ k n − δ j n δ k m ) + δ i m ( δ j n δ k l − δ j l δ k n ) + δ i n ( δ j l δ k m − δ j m δ k l ) {\displaystyle \varepsilon _{ijk}\varepsilon _{lmn}={\begin{vmatrix}\delta _{il}&\delta _{im}&\delta _{in}\\\delta _{jl}&\delta _{jm}&\delta _{jn}\\\delta _{kl}&\delta _{km}&\delta _{kn}\end{vmatrix}}=\delta _{il}\left(\delta _{jm}\delta _{kn}-\delta _{jn}\delta _{km}\right)+\delta _{im}\left(\delta _{jn}\delta _{kl}-\delta _{jl}\delta _{kn}\right)+\delta _{in}\left(\delta _{jl}\delta _{km}-\delta _{jm}\delta _{kl}\right)} である。
ベクトル解析の公式

証明
ベクトル解析の公式

ε i j k = | e i e j e k | , ε l m n = | e l e m e n | {\displaystyle \varepsilon _{ijk}=|{\boldsymbol {e}}_{i}\,{\boldsymbol {e}}_{j}\,{\boldsymbol {e}}_{k}|,\,\varepsilon _{lmn}=|{\boldsymbol {e}}_{l}\,{\boldsymbol {e}}_{m}\,{\boldsymbol {e}}_{n}|} より
ベクトル解析の公式

ε i j k ε l m n = | e i e j e k | | e l e m e n | = | e i T e j T e k T | | e l e m e n | = | e i T e l e i T e m e i T e n e j T e l e j T e m e j T e n e k T e l e k T e m e k T e n | = | δ i l δ i m δ i n δ j l δ j m δ j n δ k l δ k m δ k n | . {\displaystyle \varepsilon _{ijk}\varepsilon _{lmn}=|{\boldsymbol {e}}_{i}\,{\boldsymbol {e}}_{j}\,{\boldsymbol {e}}_{k}||{\boldsymbol {e}}_{l}\,{\boldsymbol {e}}_{m}\,{\boldsymbol {e}}_{n}|={\begin{vmatrix}{\boldsymbol {e}}_{i}^{T}\\{\boldsymbol {e}}_{j}^{T}\\{\boldsymbol {e}}_{k}^{T}\end{vmatrix}}|{\boldsymbol {e}}_{l}\,{\boldsymbol {e}}_{m}\,{\boldsymbol {e}}_{n}|={\begin{vmatrix}{\boldsymbol {e}}_{i}^{T}{\boldsymbol {e}}_{l}&{\boldsymbol {e}}_{i}^{T}{\boldsymbol {e}}_{m}&{\boldsymbol {e}}_{i}^{T}{\boldsymbol {e}}_{n}\\{\boldsymbol {e}}_{j}^{T}{\boldsymbol {e}}_{l}&{\boldsymbol {e}}_{j}^{T}{\boldsymbol {e}}_{m}&{\boldsymbol {e}}_{j}^{T}{\boldsymbol {e}}_{n}\\{\boldsymbol {e}}_{k}^{T}{\boldsymbol {e}}_{l}&{\boldsymbol {e}}_{k}^{T}{\boldsymbol {e}}_{m}&{\boldsymbol {e}}_{k}^{T}{\boldsymbol {e}}_{n}\end{vmatrix}}={\begin{vmatrix}\delta _{il}&\delta _{im}&\delta _{in}\\\delta _{jl}&\delta _{jm}&\delta _{jn}\\\delta _{kl}&\delta _{km}&\delta _{kn}\end{vmatrix}}.}
ベクトル解析の公式

また、 余因子展開をして、 | δ i l δ i m δ i n δ j l δ j m δ j n δ k l δ k m δ k n | = δ i l ( δ j m δ k n − δ j n δ k m ) + δ i m ( δ j n δ k l − δ j l δ k n ) + δ i n ( δ j l δ k m − δ j m δ k l ) {\displaystyle {\begin{vmatrix}\delta _{il}&\delta _{im}&\delta _{in}\\\delta _{jl}&\delta _{jm}&\delta _{jn}\\\delta _{kl}&\delta _{km}&\delta _{kn}\end{vmatrix}}=\delta _{il}\left(\delta _{jm}\delta _{kn}-\delta _{jn}\delta _{km}\right)+\delta _{im}\left(\delta _{jn}\delta _{kl}-\delta _{jl}\delta _{kn}\right)+\delta _{in}\left(\delta _{jl}\delta _{km}-\delta _{jm}\delta _{kl}\right)} を得る。
ベクトル解析の公式

定理
ベクトル解析の公式

が成り立つ。ここでも ∑ {\displaystyle \sum } のそれぞれの添字は1,2,3を歩くという規約を採用している。
ベクトル解析の公式

証明
ベクトル解析の公式

ε i j k ε i l m = | 1 δ i l δ i m δ j i δ j l δ j m δ k i δ k l δ k m | = ( δ j l δ k m − δ j m δ k l ) − δ i l ( δ j i δ k m − δ j m δ k i ) + δ i m ( δ j i δ k l − δ j l δ k i ) {\displaystyle \varepsilon _{ijk}\varepsilon _{ilm}={\begin{vmatrix}1&\delta _{il}&\delta _{im}\\\delta _{ji}&\delta _{jl}&\delta _{jm}\\\delta _{ki}&\delta _{kl}&\delta _{km}\end{vmatrix}}=(\delta _{jl}\delta _{km}-\delta _{jm}\delta _{kl})-\delta _{il}(\delta _{ji}\delta _{km}-\delta _{jm}\delta _{ki})+\delta _{im}(\delta _{ji}\delta _{kl}-\delta _{jl}\delta _{ki})} より
ベクトル解析の公式

∑ i ε i j k ε i l m = ∑ i [ ( δ j l δ k m − δ j m δ k l ) − δ i l ( δ j i δ k m − δ j m δ k i ) + δ i m ( δ j i δ k l − δ j l δ k i ) ] = 3 ( δ j l δ k m − δ j m δ k l ) − ( δ j l δ k m − δ j m δ k l ) + ( δ j m δ k l − δ j l δ k m ) = δ j l δ k m − δ j m δ k l {\displaystyle {\begin{aligned}\sum _{i}\varepsilon _{ijk}\varepsilon _{ilm}&=\sum _{i}[(\delta _{jl}\delta _{km}-\delta _{jm}\delta _{kl})-\delta _{il}(\delta _{ji}\delta _{km}-\delta _{jm}\delta _{ki})+\delta _{im}(\delta _{ji}\delta _{kl}-\delta _{jl}\delta _{ki})]\\&=3(\delta _{jl}\delta _{km}-\delta _{jm}\delta _{kl})-(\delta _{jl}\delta _{km}-\delta _{jm}\delta _{kl})+(\delta _{jm}\delta _{kl}-\delta _{jl}\delta _{km})\\&=\delta _{jl}\delta _{km}-\delta _{jm}\delta _{kl}\end{aligned}}}
ベクトル解析の公式

∑ i , j ε i j k ε i j l = ∑ j ∑ i ε i j k ε i j l = ∑ j ( δ j j δ k l − δ j l δ k j ) = 3 δ k l − δ k l = 2 δ k l {\displaystyle \sum _{i,j}\varepsilon _{ijk}\varepsilon _{ijl}=\sum _{j}\sum _{i}\varepsilon _{ijk}\varepsilon _{ijl}=\sum _{j}(\delta _{jj}\delta _{kl}-\delta _{jl}\delta _{kj})=3\delta _{kl}-\delta _{kl}=2\delta _{kl}}
ベクトル解析の公式

∑ i , j , k ε i j k ε i j k = ∑ k ∑ i , j ε i j k ε i j k = ∑ k 2 δ k k = 6 {\displaystyle \sum _{i,j,k}\varepsilon _{ijk}\varepsilon _{ijk}=\sum _{k}\sum _{i,j}\varepsilon _{ijk}\varepsilon _{ijk}=\sum _{k}2\delta _{kk}=6}
ベクトル解析の公式

定理
ベクトル解析の公式

次の式が成り立つ。
ベクトル解析の公式

証明
ベクトル解析の公式

スカラー三重積の証明
ベクトル解析の公式

A ⋅ ( B × C ) = ∑ i A i [ B × C ] i = ∑ i , j , k ε i j k A i B j C k . B ⋅ ( C × A ) = ∑ j B j [ C × A ] j = ∑ i , j , k B j ε j k i C k A i = ∑ i , j , k ε i j k A i B j C k . C ⋅ ( A × B ) = ∑ k C k [ A × B ] k = ∑ i , j , k C k ε k i j A i B j = ∑ i , j , k ε i j k A i B j C k . {\displaystyle {\begin{aligned}{\boldsymbol {A}}\cdot ({\boldsymbol {B}}\times {\boldsymbol {C}})&=\sum _{i}A_{i}[{\boldsymbol {B}}\times {\boldsymbol {C}}]_{i}\\&=\sum _{i,j,k}\varepsilon _{ijk}A_{i}B_{j}C_{k}.\\{\boldsymbol {B}}\cdot ({\boldsymbol {C}}\times {\boldsymbol {A}})&=\sum _{j}B_{j}[{\boldsymbol {C}}\times {\boldsymbol {A}}]_{j}\\&=\sum _{i,j,k}B_{j}\varepsilon _{jki}C_{k}A_{i}\\&=\sum _{i,j,k}\varepsilon _{ijk}A_{i}B_{j}C_{k}.\\{\boldsymbol {C}}\cdot ({\boldsymbol {A}}\times {\boldsymbol {B}})&=\sum _{k}C_{k}[{\boldsymbol {A}}\times {\boldsymbol {B}}]_{k}\\&=\sum _{i,j,k}C_{k}\varepsilon _{kij}A_{i}B_{j}\\&=\sum _{i,j,k}\varepsilon _{ijk}A_{i}B_{j}C_{k}.\end{aligned}}}
ベクトル解析の公式

ベクトル三重積の証明
ベクトル解析の公式

[ A × ( B × C ) ] i = ∑ j , k ε i j k A j [ B × C ] k = ∑ j , k , l , m ε i j k A j ε k l m B l C m = − ∑ j , k , l , m ε k j i ε k l m A j B l C m = − ∑ j , l , m ( δ j l δ i m − δ j m δ i l ) A j B l C m = ∑ j , l , m δ j m δ i l A j B l C m − ∑ j , l , m δ j l δ i m A j B l C m = ∑ j A j B i C j − ∑ j A j B j C i = ( A ⋅ C ) B i − ( A ⋅ B ) C i {\displaystyle {\begin{aligned}{[}{\boldsymbol {A}}\times ({\boldsymbol {B}}\times {\boldsymbol {C}})]_{i}&=\sum _{j,k}\varepsilon _{ijk}A_{j}[{\boldsymbol {B}}\times {\boldsymbol {C}}]_{k}\\&=\sum _{j,k,l,m}\varepsilon _{ijk}A_{j}\varepsilon _{klm}B_{l}C_{m}\\&=-\sum _{j,k,l,m}\varepsilon _{kji}\varepsilon _{klm}A_{j}B_{l}C_{m}\\&=-\sum _{j,l,m}(\delta _{jl}\delta _{im}-\delta _{jm}\delta _{il})A_{j}B_{l}C_{m}\\&=\sum _{j,l,m}\delta _{jm}\delta _{il}A_{j}B_{l}C_{m}-\sum _{j,l,m}\delta _{jl}\delta _{im}A_{j}B_{l}C_{m}\\&=\sum _{j}A_{j}B_{i}C_{j}-\sum _{j}A_{j}B_{j}C_{i}\\&=({\boldsymbol {A}}\cdot {\boldsymbol {C}})B_{i}-({\boldsymbol {A}}\cdot {\boldsymbol {B}})C_{i}\end{aligned}}}
ベクトル解析の公式

スカラー四重積の証明
ベクトル解析の公式

スカラー三重積及びベクトル三重積を使うと
ベクトル解析の公式

( A × B ) ⋅ ( C × D ) = C ⋅ [ D × ( A × B ) ] = C ⋅ [ ( D ⋅ B ) A − ( D ⋅ A ) B ] = ( A ⋅ C ) B − ( A ⋅ B ) C . {\displaystyle ({\boldsymbol {A}}\times {\boldsymbol {B}})\cdot ({\boldsymbol {C}}\times {\boldsymbol {D}})={\boldsymbol {C}}\cdot [{\boldsymbol {D}}\times ({\boldsymbol {A}}\times {\boldsymbol {B}})]={\boldsymbol {C}}\cdot [({\boldsymbol {D}}\cdot {\boldsymbol {B}}){\boldsymbol {A}}-({\boldsymbol {D}}\cdot {\boldsymbol {A}}){\boldsymbol {B}}]=({\boldsymbol {A}}\cdot {\boldsymbol {C}}){\boldsymbol {B}}-({\boldsymbol {A}}\cdot {\boldsymbol {B}}){\boldsymbol {C}}.}
ベクトル解析の公式

ベクトル四重積の証明
ベクトル解析の公式

ベクトル三重積よりほとんど自明である。
ベクトル解析の公式

ヤコビ恒等式の証明
ベクトル解析の公式

ベクトル三重積の公式を代入して計算するだけである。
ベクトル解析の公式

上の表式を用いると、複雑な微分の計算を簡便に行なうことが出来る。
ベクトル解析の公式

定理
ベクトル解析の公式

∇ × ( ∇ f ) = 0 {\displaystyle \nabla \times (\nabla f)=0}
ベクトル解析の公式

∇ ⋅ ( ∇ × A ) = 0 {\displaystyle \nabla \cdot (\nabla \times {\boldsymbol {A}})=0}
ベクトル解析の公式

が成り立つ。
ベクトル解析の公式

証明
ベクトル解析の公式

[ ∇ × ( ∇ f ) ] i = ∑ j , k ε i j k ∂ j [ ∇ f ] k = ∑ j , k ε i j k ∂ j ∂ k f {\displaystyle {\begin{aligned}{[\nabla \times (\nabla f)]}_{i}&=\sum _{j,k}\varepsilon _{ijk}\partial _{j}[\nabla f]_{k}\\&=\sum _{j,k}\varepsilon _{ijk}\partial _{j}\partial _{k}f\end{aligned}}}
ベクトル解析の公式

ここで、 ε i j k ∂ i ∂ j f {\displaystyle \varepsilon _{ijk}\partial _{i}\partial _{j}f} について、 i > j {\displaystyle i>j} の項は、 ε j i k ∂ j ∂ i f = − ε i j k ∂ i ∂ j f {\displaystyle \varepsilon _{jik}\partial _{j}\partial _{i}f=-\varepsilon _{ijk}\partial _{i}\partial _{j}f} と打ち消し合う( ε i j k ∂ i ∂ j f + ε j i k ∂ j ∂ i f = 0 {\displaystyle \varepsilon _{ijk}\partial _{i}\partial _{j}f+\varepsilon _{jik}\partial _{j}\partial _{i}f=0} )。 i = j {\displaystyle i=j} の項は ε i j k ∂ i ∂ j f = ε i i k ∂ i ∂ i f = 0 {\displaystyle \varepsilon _{ijk}\partial _{i}\partial _{j}f=\varepsilon _{iik}\partial _{i}\partial _{i}f=0} となるので、結局最後の式は 0 である。
ベクトル解析の公式

すなわち、 ∇ × ( ∇ f ) = 0 {\displaystyle \nabla \times (\nabla f)=0} を得る。
ベクトル解析の公式

∇ ⋅ ( ∇ × A ) = ∑ i ∂ i [ ∇ × A ] i = ∑ i , j , k ∂ i ε i j k ∂ j A k = ∑ i , j , k ε i j k ∂ i ∂ j A k {\displaystyle {\begin{aligned}\nabla \cdot (\nabla \times {\boldsymbol {A}})&=\sum _{i}\partial _{i}[\nabla \times {\boldsymbol {A}}]_{i}\\&=\sum _{i,j,k}\partial _{i}\varepsilon _{ijk}\partial _{j}A_{k}\\&=\sum _{i,j,k}\varepsilon _{ijk}\partial _{i}\partial _{j}A_{k}\\\end{aligned}}}
ベクトル解析の公式

ここで、 ε i j k ∂ i ∂ j A k {\displaystyle \varepsilon _{ijk}\partial _{i}\partial _{j}A_{k}} について、 i > j {\displaystyle i>j} の項は、 ε j i k ∂ j ∂ i A k = − ε i j k ∂ i ∂ j A k {\displaystyle \varepsilon _{jik}\partial _{j}\partial _{i}A_{k}=-\varepsilon _{ijk}\partial _{i}\partial _{j}A_{k}} と打ち消し合う( ε i j k ∂ i ∂ j A k + ε j i k ∂ j ∂ i A k = 0 {\displaystyle \varepsilon _{ijk}\partial _{i}\partial _{j}A_{k}+\varepsilon _{jik}\partial _{j}\partial _{i}A_{k}=0} )。 i = j {\displaystyle i=j} の項は ε i j k ∂ i ∂ j A k = ε i i k ∂ i ∂ i A k = 0 {\displaystyle \varepsilon _{ijk}\partial _{i}\partial _{j}A_{k}=\varepsilon _{iik}\partial _{i}\partial _{i}A_{k}=0} となるので、結局最後の式は 0 である。
ベクトル解析の公式

すなわち、 ∇ ⋅ ( ∇ × A ) = 0 {\displaystyle \nabla \cdot (\nabla \times {\boldsymbol {A}})=0} を得る。
ベクトル解析の公式

定理
ベクトル解析の公式

∇ ⋅ ( A × B ) = ( ∇ × A ) ⋅ B − A ⋅ ( ∇ × B ) {\displaystyle \nabla \cdot ({\boldsymbol {A}}\times {\boldsymbol {B}})=(\nabla \times {\boldsymbol {A}})\cdot {\boldsymbol {B}}-{\boldsymbol {A}}\cdot (\nabla \times {\boldsymbol {B}})}
ベクトル解析の公式

∇ × ( A × B ) = ( B ⋅ ∇ ) A − ( A ⋅ ∇ ) B + A ( ∇ ⋅ B ) − B ( ∇ ⋅ A ) {\displaystyle \nabla \times ({\boldsymbol {A}}\times {\boldsymbol {B}})=({\boldsymbol {B}}\cdot \nabla ){\boldsymbol {A}}-({\boldsymbol {A}}\cdot \nabla ){\boldsymbol {B}}+{\boldsymbol {A}}(\nabla \cdot {\boldsymbol {B}})-{\boldsymbol {B}}(\nabla \cdot {\boldsymbol {A}})}
ベクトル解析の公式

∇ ( A ⋅ B ) = A × ( ∇ × B ) + B × ( ∇ × A ) + ( A ⋅ ∇ ) B + ( B ⋅ ∇ ) A {\displaystyle \nabla ({\boldsymbol {A}}\cdot {\boldsymbol {B}})={\boldsymbol {A}}\times (\nabla \times B)+{\boldsymbol {B}}\times (\nabla \times {\boldsymbol {A}})+({\boldsymbol {A}}\cdot \nabla ){\boldsymbol {B}}+({\boldsymbol {B}}\cdot \nabla ){\boldsymbol {A}}}
ベクトル解析の公式

が成り立つ。
ベクトル解析の公式

証明
ベクトル解析の公式

∇ ⋅ ( A × B ) = ∑ i , j , k ∂ i ( ε i j k A j B k ) = ∑ i , j , k ε i j k ( ∂ i A j ) B k + ∑ i , j , k ε i j k A j ( ∂ i B k ) = ( ∇ × A ) ⋅ B − A ⋅ ( ∇ × B ) . {\displaystyle {\begin{aligned}\nabla \cdot ({\boldsymbol {A}}\times {\boldsymbol {B}})&=\sum _{i,j,k}\partial _{i}(\varepsilon _{ijk}A_{j}B_{k})\\&=\sum _{i,j,k}\varepsilon _{ijk}(\partial _{i}A_{j})B_{k}+\sum _{i,j,k}\varepsilon _{ijk}A_{j}(\partial _{i}B_{k})\\&=(\nabla \times {\boldsymbol {A}})\cdot {\boldsymbol {B}}-{\boldsymbol {A}}\cdot (\nabla \times {\boldsymbol {B}}).\end{aligned}}}
ベクトル解析の公式

[ ∇ × ( A × B ) ] i = ∑ j , k ε i j k ∂ j [ A × B ] k = ∑ j , k , l , m ε i j k ε k l m ∂ j ( A l B m ) = − ∑ j , k , l , m ε k j i ε k l m ∂ j ( A l B m ) = − ∑ j , l , m ( δ j l δ i m − δ j m δ i l ) ∂ j ( A l B m ) = ∑ j , l , m δ j m δ i l ∂ j ( A l B m ) − ∑ j , l , m δ j l δ i m ∂ j ( A l B m ) = ∑ j ∂ j ( A i B j ) − ∑ j ∂ j ( A j B i ) = ∑ j B j ∂ j A i + ∑ j A i ∂ j B j − ∑ j B i ∂ j A j − ∑ j A j ∂ j B i = ( B ⋅ ∇ ) A i + A i ( ∇ ⋅ B ) − ( A ⋅ ∇ ) B i − B i ( ∇ ⋅ A ) {\displaystyle {\begin{aligned}{[\nabla \times ({\boldsymbol {A}}\times {\boldsymbol {B}})}]_{i}&=\sum _{j,k}\varepsilon _{ijk}\partial _{j}[{\boldsymbol {A}}\times {\boldsymbol {B}}]_{k}\\&=\sum _{j,k,l,m}\varepsilon _{ijk}\varepsilon _{klm}\partial _{j}(A_{l}B_{m})\\&=-\sum _{j,k,l,m}\varepsilon _{kji}\varepsilon _{klm}\partial _{j}(A_{l}B_{m})\\&=-\sum _{j,l,m}(\delta _{jl}\delta _{im}-\delta _{jm}\delta _{il})\partial _{j}(A_{l}B_{m})\\&=\sum _{j,l,m}\delta _{jm}\delta _{il}\partial _{j}(A_{l}B_{m})-\sum _{j,l,m}\delta _{jl}\delta _{im}\partial _{j}(A_{l}B_{m})\\&=\sum _{j}\partial _{j}(A_{i}B_{j})-\sum _{j}\partial _{j}(A_{j}B_{i})\\&=\sum _{j}B_{j}\partial _{j}A_{i}+\sum _{j}A_{i}\partial _{j}B_{j}-\sum _{j}B_{i}\partial _{j}A_{j}-\sum _{j}A_{j}\partial _{j}B_{i}\\&=({\boldsymbol {B}}\cdot \nabla )A_{i}+A_{i}(\nabla \cdot {\boldsymbol {B}})-({\boldsymbol {A}}\cdot \nabla )B_{i}-B_{i}(\nabla \cdot {\boldsymbol {A}})\end{aligned}}}
ベクトル解析の公式

より、 ∇ × ( A × B ) = ( B ⋅ ∇ ) A − ( A ⋅ ∇ ) B + A ( ∇ ⋅ B ) − B ( ∇ ⋅ A ) {\displaystyle \nabla \times ({\boldsymbol {A}}\times {\boldsymbol {B}})=({\boldsymbol {B}}\cdot \nabla ){\boldsymbol {A}}-({\boldsymbol {A}}\cdot \nabla ){\boldsymbol {B}}+{\boldsymbol {A}}(\nabla \cdot {\boldsymbol {B}})-{\boldsymbol {B}}(\nabla \cdot {\boldsymbol {A}})} が成り立つ。
ベクトル解析の公式

[ ∇ ( A ⋅ B ) ] i = ∑ j ∂ i ( A j B j ) = ∑ j B j ∂ i A j + ∑ j A j ∂ i B j . {\displaystyle {\begin{aligned}{[\nabla ({\boldsymbol {A}}\cdot {\boldsymbol {B}})]}_{i}&=\sum _{j}\partial _{i}(A_{j}B_{j})\\&=\sum _{j}B_{j}\partial _{i}A_{j}+\sum _{j}A_{j}\partial _{i}B_{j}.\\\end{aligned}}}
ベクトル解析の公式

ここで、 [ A × ( ∇ × B ) ] i = ∑ j A j ∂ i B j − ( A ⋅ ∇ ) B i {\displaystyle [{\boldsymbol {A}}\times (\nabla \times {\boldsymbol {B}})]_{i}=\sum _{j}A_{j}\partial _{i}B_{j}-({\boldsymbol {A}}\cdot \nabla ){\boldsymbol {B}}_{i}} が成り立つので、これを第二項に代入する。第一項についても同様の式が成り立つため、これを代入すると結局、 ∇ ( A ⋅ B ) = A × ( ∇ × B ) + B × ( ∇ × A ) + ( A ⋅ ∇ ) B + ( B ⋅ ∇ ) A {\displaystyle \nabla ({\boldsymbol {A}}\cdot {\boldsymbol {B}})={\boldsymbol {A}}\times (\nabla \times B)+{\boldsymbol {B}}\times (\nabla \times {\boldsymbol {A}})+({\boldsymbol {A}}\cdot \nabla ){\boldsymbol {B}}+({\boldsymbol {B}}\cdot \nabla ){\boldsymbol {A}}} が得られる。
ベクトル解析の公式

定理
ベクトル解析の公式

∇ ⋅ ( f A ) = ∇ f ⋅ A + f ∇ ⋅ A {\displaystyle \nabla \cdot (f{\boldsymbol {A}})=\nabla f\cdot {\boldsymbol {A}}+f\nabla \cdot {\boldsymbol {A}}}
ベクトル解析の公式

∇ × ( f A ) = ∇ f × A + f ∇ × A {\displaystyle \nabla \times (f{\boldsymbol {A}})=\nabla f\times {\boldsymbol {A}}+f\nabla \times {\boldsymbol {A}}}
ベクトル解析の公式

が成り立つ。
ベクトル解析の公式

証明
ベクトル解析の公式

∇ ⋅ ( f A ) = ∑ i ∂ i ( f A i ) = ∑ i ( ∂ i f ) A i + ∑ i f ( ∂ i A i ) = ∇ f ⋅ A + f ∇ ⋅ A {\displaystyle {\begin{aligned}\nabla \cdot (f{\boldsymbol {A}})&=\sum _{i}\partial _{i}(fA_{i})\\&=\sum _{i}(\partial _{i}f)A_{i}+\sum _{i}f(\partial _{i}A_{i})\\&=\nabla f\cdot {\boldsymbol {A}}+f\nabla \cdot {\boldsymbol {A}}\end{aligned}}}
ベクトル解析の公式

[ ∇ × f A ] i = ∑ j , k ε i j k ∂ j ( f A k ) = ∑ j , k ε i j k ∂ j f A k + ∑ j , k ε i j k f ∂ j A k = [ ∇ f × A ] i + [ f ∇ × A ] i {\displaystyle {\begin{aligned}{[\nabla \times f{\boldsymbol {A}}]}_{i}&=\sum _{j,k}\varepsilon _{ijk}\partial _{j}(fA_{k})\\&=\sum _{j,k}\varepsilon _{ijk}\partial _{j}f\,A_{k}+\sum _{j,k}\varepsilon _{ijk}f\partial _{j}\,A_{k}\\&={[\nabla f\times {\boldsymbol {A}}]}_{i}+{[f\nabla \times {\boldsymbol {A}}]}_{i}\end{aligned}}}
ベクトル解析の公式

定理
ベクトル解析の公式

∇ × ( ∇ × A ) = ∇ ( ∇ ⋅ A ) − Δ A {\displaystyle \nabla \times (\nabla \times {\boldsymbol {A}})=\nabla (\nabla \cdot {\boldsymbol {A}})-\Delta {\boldsymbol {A}}} が成り立つ。
ベクトル解析の公式

証明
ベクトル解析の公式

[ ∇ × ( ∇ × A ) ] i = ∑ j , k ε i j k ∂ j [ ∇ × A ] k = ∑ j , k , l , m ε i j k ∂ j ε k l m ∂ l A m = ∑ j , k , l , m ε k i j ε k l m ∂ j ∂ l A m = ∑ j , l , m ( δ i l δ j m − δ i m δ j l ) ∂ j ∂ l A m = ∑ j , l , m δ i l δ j m ∂ j ∂ l A m − ∑ j , l , m δ i m δ j l ∂ j ∂ l A m = ∑ j ∂ i ∂ j A j − ∑ j ∂ j ∂ j A i {\displaystyle {\begin{aligned}{[}\nabla \times (\nabla \times {\boldsymbol {A}}){]}_{i}&=\sum _{j,k}\varepsilon _{ijk}\partial _{j}[\nabla \times {\boldsymbol {A}}]_{k}\\&=\sum _{j,k,l,m}\varepsilon _{ijk}\partial _{j}\varepsilon _{klm}\partial _{l}{A}_{m}\\&=\sum _{j,k,l,m}\varepsilon _{kij}\varepsilon _{klm}\partial _{j}\partial _{l}A_{m}\\&=\sum _{j,l,m}(\delta _{il}\delta _{jm}-\delta _{im}\delta _{jl})\partial _{j}\partial _{l}A_{m}\\&=\sum _{j,l,m}\delta _{il}\delta _{jm}\partial _{j}\partial _{l}A_{m}-\sum _{j,l,m}\delta _{im}\delta _{jl}\partial _{j}\partial _{l}A_{m}\\&=\sum _{j}\partial _{i}\partial _{j}A_{j}-\sum _{j}\partial _{j}\partial _{j}A_{i}\end{aligned}}}
ベクトル解析の公式

それぞれの成分について展開すると
ベクトル解析の公式

[ ∇ × ( ∇ × A ) ] 1 = ∂ 1 ( ∂ 1 A 1 + ∂ 2 A 2 + ∂ 3 A 3 ) − ( ∂ 1 2 + ∂ 2 2 + ∂ 3 2 ) A 1 {\displaystyle {[}\nabla \times (\nabla \times {\boldsymbol {A}}){]}_{1}=\partial _{1}(\partial _{1}A_{1}+\partial _{2}A_{2}+\partial _{3}A_{3})-(\partial _{1}^{2}+\partial _{2}^{2}+\partial _{3}^{2})A_{1}}
ベクトル解析の公式

[ ∇ × ( ∇ × A ) ] 2 = ∂ 2 ( ∂ 1 A 1 + ∂ 2 A 2 + ∂ 3 A 3 ) − ( ∂ 1 2 + ∂ 2 2 + ∂ 3 2 ) A 2 {\displaystyle {[}\nabla \times (\nabla \times {\boldsymbol {A}}){]}_{2}=\partial _{2}(\partial _{1}A_{1}+\partial _{2}A_{2}+\partial _{3}A_{3})-(\partial _{1}^{2}+\partial _{2}^{2}+\partial _{3}^{2})A_{2}}
ベクトル解析の公式

[ ∇ × ( ∇ × A ) ] 3 = ∂ 3 ( ∂ 1 A 1 + ∂ 2 A 2 + ∂ 3 A 3 ) − ( ∂ 1 2 + ∂ 2 2 + ∂ 3 2 ) A 3 {\displaystyle {[}\nabla \times (\nabla \times {\boldsymbol {A}}){]}_{3}=\partial _{3}(\partial _{1}A_{1}+\partial _{2}A_{2}+\partial _{3}A_{3})-(\partial _{1}^{2}+\partial _{2}^{2}+\partial _{3}^{2})A_{3}}
ベクトル解析の公式

である。これは ∇ × ( ∇ × A ) = ∇ ( ∇ ⋅ A ) − Δ A {\displaystyle \nabla \times (\nabla \times {\boldsymbol {A}})=\nabla (\nabla \cdot {\boldsymbol {A}})-\Delta {\boldsymbol {A}}} であることを意味する。
ベクトル解析の公式

これらの計算は、電磁気学等で頻繁に用いられるので、よく練習しておかねばならない。
ベクトル解析の公式

定理
ベクトル解析の公式

位置ベクトル r {\displaystyle {\boldsymbol {r}}} について r = | r | = x 2 + y 2 + z 2 {\displaystyle r=|{\boldsymbol {r}}|={\sqrt {x^{2}+y^{2}+z^{2}}}} とすると、 ∇ r n = n r n − 2 r {\displaystyle \nabla r^{n}=nr^{n-2}{\boldsymbol {r}}} である。
ベクトル解析の公式

証明
ベクトル解析の公式

∂ ∂ x r n = n r n − 1 ∂ ∂ x x 2 + y 2 + z 2 = n r n − 1 x r = n r n − 2 x {\displaystyle {\frac {\partial }{\partial x}}r^{n}=nr^{n-1}{\frac {\partial }{\partial x}}{\sqrt {x^{2}+y^{2}+z^{2}}}=nr^{n-1}{\frac {x}{r}}=nr^{n-2}x}
ベクトル解析の公式

y , z {\displaystyle y,z} についても同様である。
ベクトル解析の公式

すなわち、 ∇ r n = ( n r n − 2 x n r n − 2 y n r n − 2 z ) = n r n − 2 r . {\displaystyle \nabla r^{n}={\begin{pmatrix}nr^{n-2}x\\nr^{n-2}y\\nr^{n-2}z\end{pmatrix}}=nr^{n-2}{\boldsymbol {r}}.}
ベクトル解析の公式

ここでは、極座標での勾配、発散、ラプラシアンを求める。
ベクトル解析の公式

極座標では、位置ベクトルは r = ( x y z ) = ( r sin θ cos φ r sin θ sin φ r cos θ ) {\displaystyle {\boldsymbol {r}}={\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}r\sin \theta \cos \varphi \\r\sin \theta \sin \varphi \\r\cos \theta \end{pmatrix}}} となる。正規直交基底は e r := ∂ r ∂ r | ∂ r ∂ r | = ( sin θ cos φ sin θ sin φ cos θ ) {\displaystyle {\boldsymbol {e}}_{r}:={\frac {\frac {\partial {\boldsymbol {r}}}{\partial r}}{\left|{\frac {\partial {\boldsymbol {r}}}{\partial r}}\right|}}={\begin{pmatrix}\sin \theta \cos \varphi \\\sin \theta \sin \varphi \\\cos \theta \end{pmatrix}}} , e θ := ∂ r ∂ θ | ∂ r ∂ θ | = 1 r ( r cos θ cos φ r cos θ sin φ − r sin θ ) = ( cos θ cos φ cos θ sin φ − sin θ ) {\displaystyle {\boldsymbol {e}}_{\theta }:={\frac {\frac {\partial {\boldsymbol {r}}}{\partial \theta }}{\left|{\frac {\partial {\boldsymbol {r}}}{\partial \theta }}\right|}}={\frac {1}{r}}{\begin{pmatrix}r\cos \theta \cos \varphi \\r\cos \theta \sin \varphi \\-r\sin \theta \end{pmatrix}}={\begin{pmatrix}\cos \theta \cos \varphi \\\cos \theta \sin \varphi \\-\sin \theta \end{pmatrix}}} , e φ := ∂ r ∂ φ | ∂ r ∂ φ | = 1 r sin θ ( − r sin θ sin φ r sin θ cos φ 0 ) = ( − sin φ cos φ 0 ) {\displaystyle {\boldsymbol {e}}_{\varphi }:={\frac {\frac {\partial {\boldsymbol {r}}}{\partial \varphi }}{\left|{\frac {\partial {\boldsymbol {r}}}{\partial \varphi }}\right|}}={\frac {1}{r\sin \theta }}{\begin{pmatrix}-r\sin \theta \sin \varphi \\r\sin \theta \cos \varphi \\0\end{pmatrix}}={\begin{pmatrix}-\sin \varphi \\\cos \varphi \\0\end{pmatrix}}} である。
ベクトル解析の公式

微小変位ベクトル d r = d x e x + d y e y + d z e z {\displaystyle d{\boldsymbol {r}}=dx{\boldsymbol {e}}_{x}+dy{\boldsymbol {e}}_{y}+dz{\boldsymbol {e}}_{z}} は極座標では、
ベクトル解析の公式

d r = ∂ r ∂ r d r + ∂ r ∂ θ d θ + ∂ r ∂ φ d φ = | ∂ r ∂ r | e r d r + | ∂ r ∂ θ | e θ d θ + | ∂ r ∂ φ | e φ d φ = e r d r + r e θ d θ + r sin θ e φ d φ {\displaystyle {\begin{aligned}d{\boldsymbol {r}}&={\frac {\partial {\boldsymbol {r}}}{\partial r}}dr+{\frac {\partial {\boldsymbol {r}}}{\partial \theta }}d\theta +{\frac {\partial {\boldsymbol {r}}}{\partial \varphi }}d\varphi \\&=\left|{\frac {\partial {\boldsymbol {r}}}{\partial r}}\right|{\boldsymbol {e}}_{r}dr+\left|{\frac {\partial {\boldsymbol {r}}}{\partial \theta }}\right|{\boldsymbol {e}}_{\theta }d\theta +\left|{\frac {\partial {\boldsymbol {r}}}{\partial \varphi }}\right|{\boldsymbol {e}}_{\varphi }d\varphi \\&={\boldsymbol {e}}_{r}dr+r{\boldsymbol {e}}_{\theta }d\theta +r\sin \theta {\boldsymbol {e}}_{\varphi }d\varphi \end{aligned}}}
ベクトル解析の公式

と書ける。
ベクトル解析の公式

関数 f {\displaystyle f} の全微分 d f {\displaystyle df} は d f = d f d x d x + d f d y d y + d f d z d z = ∇ f ⋅ d r {\displaystyle df={\frac {df}{dx}}dx+{\frac {df}{dy}}dy+{\frac {df}{dz}}dz=\nabla f\cdot d{\boldsymbol {r}}} となる。
ベクトル解析の公式

極座標での発散を ∇ f = ∇ r f e r + ∇ θ f e θ + ∇ φ f e φ {\displaystyle \nabla f=\nabla _{r}f\,{\boldsymbol {e}}_{r}+\nabla _{\theta }f\,{\boldsymbol {e}}_{\theta }+\nabla _{\varphi }f\,{\boldsymbol {e}}_{\varphi }} とすると、 d f = ∇ f ⋅ d r = ( ∇ r f e r + ∇ θ f e θ + ∇ φ f e φ ) ⋅ ( e r d r + r e θ d θ + r sin θ e φ d φ ) = ∇ r f d r + r ∇ θ f d θ + r sin θ ∇ φ f d φ {\displaystyle {\begin{aligned}df&=\nabla f\cdot d{\boldsymbol {r}}\\&=(\nabla _{r}f\,{\boldsymbol {e}}_{r}+\nabla _{\theta }f\,{\boldsymbol {e}}_{\theta }+\nabla _{\varphi }f\,{\boldsymbol {e}}_{\varphi })\cdot ({\boldsymbol {e}}_{r}dr+r{\boldsymbol {e}}_{\theta }d\theta +r\sin \theta {\boldsymbol {e}}_{\varphi }d\varphi )\\&=\nabla _{r}f\,dr+r\nabla _{\theta }f\,d\theta +r\sin \theta \nabla _{\varphi }f\,d\varphi \end{aligned}}}
ベクトル解析の公式

である。これと極座標での全微分 d f = ∂ f ∂ r d r + ∂ f ∂ θ d θ + ∂ f ∂ φ d φ {\displaystyle df={\frac {\partial f}{\partial r}}dr+{\frac {\partial f}{\partial \theta }}d\theta +{\frac {\partial f}{\partial \varphi }}d\varphi } と比較すると、
ベクトル解析の公式

∇ r f = ∂ f ∂ r , ∇ θ f = 1 r ∂ f ∂ θ , ∇ φ f = 1 r sin θ ∂ f ∂ φ {\displaystyle \nabla _{r}f={\frac {\partial f}{\partial r}},\nabla _{\theta }f={\frac {1}{r}}{\frac {\partial f}{\partial \theta }},\nabla _{\varphi }f={\frac {1}{r\sin \theta }}{\frac {\partial f}{\partial \varphi }}{}} を得る。
ベクトル解析の公式

すなわち、極座標での発散は ∇ f = ∂ f ∂ r + 1 r ∂ f ∂ θ + 1 r sin θ ∂ f ∂ φ {\displaystyle \nabla f={\frac {\partial f}{\partial r}}+{\frac {1}{r}}{\frac {\partial f}{\partial \theta }}+{\frac {1}{r\sin \theta }}{\frac {\partial f}{\partial \varphi }}{}} である。
ベクトル解析の公式

基底ベクトルの微分は、
ベクトル解析の公式

∂ e r ∂ r = 0 , ∂ e r ∂ θ = e θ , ∂ e r ∂ φ = sin θ e φ {\displaystyle {\frac {\partial {\boldsymbol {e}}_{r}}{\partial r}}=0,{\frac {\partial {\boldsymbol {e}}_{r}}{\partial \theta }}={\boldsymbol {e}}_{\theta },{\frac {\partial {\boldsymbol {e}}_{r}}{\partial \varphi }}=\sin \theta {\boldsymbol {e}}_{\varphi }}
ベクトル解析の公式

∂ e θ ∂ r = 0 , ∂ e θ ∂ θ = − e r , ∂ e θ ∂ φ = cos θ e φ {\displaystyle {\frac {\partial {\boldsymbol {e}}_{\theta }}{\partial r}}=0,{\frac {\partial {\boldsymbol {e}}_{\theta }}{\partial \theta }}=-{\boldsymbol {e}}_{r},{\frac {\partial {\boldsymbol {e}}_{\theta }}{\partial \varphi }}=\cos \theta {\boldsymbol {e}}_{\varphi }}
ベクトル解析の公式

∂ e φ ∂ r = 0 , ∂ e φ ∂ θ = 0 , ∂ e φ ∂ φ = − cos θ e r − sin θ e θ {\displaystyle {\frac {\partial {\boldsymbol {e}}_{\varphi }}{\partial r}}=0,{\frac {\partial {\boldsymbol {e}}_{\varphi }}{\partial \theta }}=0,{\frac {\partial {\boldsymbol {e}}_{\varphi }}{\partial \varphi }}=-\cos \theta {\boldsymbol {e}}_{r}-\sin \theta {\boldsymbol {e}}_{\theta }}
ベクトル解析の公式

であることを使って極座標でのベクトル A {\displaystyle {\boldsymbol {A}}} の発散を計算すると、
ベクトル解析の公式

∇ ⋅ A = ( e r ∂ f ∂ r + e θ 1 r ∂ ∂ θ + e φ 1 r sin θ ∂ f ∂ φ ) ⋅ ( A r e r + A θ e θ + A φ e φ ) = e r ⋅ ( ∂ A r ∂ r e r ) + 1 r e θ ⋅ ( ∂ A θ ∂ θ e θ + A r e θ ) + 1 r sin θ e φ ⋅ ( ∂ A φ ∂ φ e φ + A r sin θ e φ + A θ cos θ e φ ) = 1 r 2 ∂ ( r 2 A r ) ∂ r + 1 r sin θ ∂ ( sin θ A θ ) ∂ θ + 1 r sin θ ∂ A φ ∂ φ {\displaystyle {\begin{aligned}\nabla \cdot A&=\left({\boldsymbol {e}}_{r}{\frac {\partial f}{\partial r}}+{\boldsymbol {e}}_{\theta }{\frac {1}{r}}{\frac {\partial }{\partial \theta }}+{\boldsymbol {e}}_{\varphi }{\frac {1}{r\sin \theta }}{\frac {\partial f}{\partial \varphi }}\right)\cdot (A_{r}{\boldsymbol {e}}_{r}+A_{\theta }{\boldsymbol {e}}_{\theta }+A_{\varphi }{\boldsymbol {e}}_{\varphi })\\&={\boldsymbol {e}}_{r}\cdot \left({\frac {\partial A_{r}}{\partial r}}{\boldsymbol {e}}_{r}\right)+{\frac {1}{r}}{\boldsymbol {e}}_{\theta }\cdot \left({\frac {\partial A_{\theta }}{\partial \theta }}{\boldsymbol {e}}_{\theta }+A_{r}{\boldsymbol {e}}_{\theta }\right)+{\frac {1}{r\sin \theta }}{\boldsymbol {e}}_{\varphi }\cdot \left({\frac {\partial A_{\varphi }}{\partial \varphi }}{\boldsymbol {e}}_{\varphi }+A_{r}\sin \theta {\boldsymbol {e}}_{\varphi }+A_{\theta }\cos \theta {\boldsymbol {e}}_{\varphi }\right)\\&={\frac {1}{r^{2}}}{\frac {\partial (r^{2}A_{r})}{\partial r}}+{\frac {1}{r\sin \theta }}{\frac {\partial (\sin \theta A_{\theta })}{\partial \theta }}+{\frac {1}{r\sin \theta }}{\frac {\partial A_{\varphi }}{\partial \varphi }}\end{aligned}}}
ベクトル解析の公式

となる。
ベクトル解析の公式

また、ラプラシアンに極座標での勾配と発散を代入すると、
ベクトル解析の公式

Δ f = ∇ ⋅ ∇ f = 1 r 2 ∂ ∂ r ( r 2 ∂ f ∂ r ) + 1 r 2 sin θ ∂ ∂ θ ( sin θ ∂ f ∂ θ ) + 1 r 2 sin 2 θ ∂ 2 f ∂ φ 2 {\displaystyle \Delta f=\nabla \cdot \nabla f={\frac {1}{r^{2}}}{\frac {\partial }{\partial r}}\left(r^{2}{\frac {\partial f}{\partial r}}\right)+{\frac {1}{r^{2}\sin \theta }}{\frac {\partial }{\partial \theta }}\left(\sin \theta {\frac {\partial f}{\partial \theta }}\right)+{\frac {1}{r^{2}\sin ^{2}\theta }}{\frac {\partial ^{2}f}{\partial \varphi ^{2}}}}
ベクトル解析の公式

となり、ラプラシアンの極座標表示が得られた。
ベクトル解析の公式

物理の計算においては、テンソルと呼ばれる量が 頻繁に用いられる。これは3次元における電磁気学の計算や、 古典力学における慣性モーメントなどで用いられるが、 特殊相対論、一般相対論においても用いられる。 ただし、特に一般相対論においては、計量テンソルと呼ばれる 特殊なテンソルが導入されるため、計算が非常に複雑になる。
ベクトル解析の公式

ここでは、主に3次元のテンソル計算を扱うが、 特殊相対論における計算も少し扱う。
ベクトル解析の公式

まずは、テンソルを定義する。
ベクトル解析の公式

あるn次元のベクトルを考える。 このベクトルに対して、一般にあるベクトルからそれと同じ 次元のベクトルに変換するような線形変換を考えることが出来る。
ベクトル解析の公式

この変換は、そのベクトルを同じ次元のベクトルに変換することから、 n*nの行列で書けることが分かる。
ベクトル解析の公式

さて、次にこれらのベクトルのいくつかの(m個とする。)直積を取って、 mn個の要素を含む列ベクトルを作ることを考える。 直積の取り方については、物理数学Iを参照。
ベクトル解析の公式

この操作によってできたmnベクトルは、上の行列によって表わされる n行のベクトルから出来たm次のテンソルの一種となっている。
ベクトル解析の公式

ただし、一般のテンソルはもう少し複雑で、 既に上で得たベクトルとのつながりを忘れてしまったmn次元のベクトルが 上と同じ様な変換性を持つとき、これを上のベクトルに対する m次のテンソルと呼ぶ。
ベクトル解析の公式

ここでは、さらにこれらのテンソルが従う変換の行列を 構成することを考える。
ベクトル解析の公式

ここで、先ほど定めたmn行のベクトルの成分のうち、直積を取られる前は別の ベクトルだった部分のそれぞれが、直積を取られる前と同じように変換するような mn*mn次の変換行列を作りたい。
ベクトル解析の公式

このためには、先ほど定めたn*nの行列による変換のm回の直積を取って、 mn*mnの行列を作ればよい。 このとき行列の直積の性質
ベクトル解析の公式

から、 この行列が先ほどの性質を満たすことが分かる。
ベクトル解析の公式

ここで、これらの行列やベクトルは添字をうまくつけることによって 書き表すことが出来る。
ベクトル解析の公式

先ほど述べたうち、元々のベクトルを
ベクトル解析の公式

と書く。 次に、元々のベクトルを変換する行列を
ベクトル解析の公式

と書くと、この行列により変換された後のベクトルは、
ベクトル解析の公式

で表わされる。 ここで、行列を添字を用いて計算する方法を使った。
ベクトル解析の公式

ただし、物理の計算においては、 "同じ式の中に同じ添字が2回出て来たとき、この2つの添字を 足し合わせる"という規約を用いることが多い。 これをEinsteinの規約と呼び、一般相対論でEinsteinが用いてから よく使われるようになった。 この規約を用いると、上の式は簡単に、
ベクトル解析の公式

と書かれる。以下の計算では、常にこの規約を用い、 この規約が適用されないところでは、注意書きを行なうこととする。
ベクトル解析の公式

さらに、元々のベクトルの直積は、
ベクトル解析の公式

となる。 ただし、ここでは、簡単にするためm=2と定めた。
ベクトル解析の公式

これらを変換するmn*mn行列は
ベクトル解析の公式

となる。 また、これらの行列によって変換されたベクトルは、
ベクトル解析の公式

で表わされる。
ベクトル解析の公式

これらの変換則から一般的なテンソルを構成することが出来る。 例えば、ここでもm =2と定める。上の議論からこの量は 2つの添字を用いて、
ベクトル解析の公式

と書くことが出来、この量が従う変換則は、
ベクトル解析の公式

となることがわかる。この量をある変換 Λ {\displaystyle \Lambda } に対する、 2次のテンソルと呼ぶ。
ベクトル解析の公式

ここでは、テンソルの代数を定義した。このことを用いて、 ここからはより複雑な微分を見て行く。
ベクトル解析の公式

多変数関数の積分は1変数の場合の拡張によって定義される。 特に、いくつかの計算は物理的な意味が明確であるので 物理数学においても扱われることが多い。
ベクトル解析の公式

ここで直交座標系を用いた場合について、 ある定理を導出する。 この定理は、ベクトルの発散という量の物理的意味を 与えてくれる点で重要である。
ベクトル解析の公式

が成り立つ。 ここで、左辺の体積積分はある領域について行なわれ、 右辺の表面積分は、その領域を囲む面積全体に対して 行なわれる。
ベクトル解析の公式

この定理をガウスの定理と呼ぶ。 ガウスは19世紀の非常に有名な数学者の名前である。
ベクトル解析の公式

導出に移る前に、この定理の意味を述べる。 まずは右辺に注目する。右辺の被積分関数
ベクトル解析の公式

は、ある点での面積要素に垂直な
ベクトル解析の公式

の値を表わしている。これは例えば、
ベクトル解析の公式

が、流体力学でいう流体の流れる速度を表わすベクトルだったとするなら、 その流れのうちで今定めた面積要素から流れだす流量を表わしている。
ベクトル解析の公式

この量を領域Vを囲む表面全体で足し合わせることから、この量は 領域Vから流れ出す流体の流量の和に等しいことが分かる。
ベクトル解析の公式

ここで、領域Vの中に流体がわきだして来るような場所が合ったとすると、このとき 領域Vから流れ出す流量は、有限になると考えられる。
ベクトル解析の公式

このためには、左辺で
ベクトル解析の公式

が流体のわきだしの回りで有限になっていなければならない。
ベクトル解析の公式

これらのことからベクトルの発散は、
ベクトル解析の公式

の意味は、ベクトルAのわきだしに対応していることが分かる。 発散という名前は、ベクトルAがどこからか現われて、回りに広がって行く 様子から来ている。
ベクトル解析の公式

ここからは、この定理の導出に移る。ただし、ここでの導出は直観的なものであり、 局限移行等については数学的に厳密なものではないことを注意しておく。
ベクトル解析の公式

まず、ある領域Vを非常に小さい立方体の領域 v i {\displaystyle v_{i}} に分割する。 領域Vがどんな形であっても、このことは常に可能だと期待される。
ベクトル解析の公式

ここで、ある互いに接し合う2つの小さい領域 v 1 {\displaystyle v_{1}} と v 2 {\displaystyle v_{2}} について この定理が示されたとする。 このとき、領域 v 1 {\displaystyle v_{1}} と領域が v 2 {\displaystyle v_{2}} 接している面を考える。 それぞれの領域からの寄与は、その点でのベクトルの大きさと その面積要素の大きさが同じであることから同じであると考えられ、 また、それらは互いに接しているので、面積分の性質から見て、 それらの寄与は互いに異なった符合を持っている。
ベクトル解析の公式

ここで、今考えている領域2つを張りつけて新しい領域 v 3 {\displaystyle v_{3}} を作り、この領域について元の式の左辺を計算すると、 その量は、
ベクトル解析の公式

となる。ここで、右辺についても互いに重なった部分の寄与が打ち消し合うことから、
ベクトル解析の公式

のように v 3 {\displaystyle v_{3}} の回りについて元の式の表式が成り立っている。 ここで v 3 {\displaystyle v_{3}} の囲む領域の表面として
ベクトル解析の公式

という表式を導入した。実際にはこの表式は数学の本から来ており、 物理の本でも割合よく用いられる。
ベクトル解析の公式

結局、小さい立方体についてこの定理が示されれば、元の領域についても この定理が正しいことが分かった。
ベクトル解析の公式

次にこのことが実際小さい立方体について正しいことを見る。 立方体の辺の長さを ε {\displaystyle \epsilon } とする。 このとき、元の式について
ベクトル解析の公式

となる。
ベクトル解析の公式

更に、右辺については
ベクトル解析の公式

のような表式が得られる。この式は、それぞれの面に対する面積分をあからさまに 積分したものである。ここで、特にそれぞれの面の中心を通るように 積分の点を選んでいる。これは、局限移行をうまく行なうためだが、 もう少し違った点を選んでも結果を得ることは出来る。
ベクトル解析の公式

次に、上の表式を ε {\displaystyle \epsilon } についてテイラー展開する。このとき、
ベクトル解析の公式

が得られる。 これをまとめると、
ベクトル解析の公式

が得られるが、これはちょうど左辺からの式と一致している。 よって、小さい立方体についてはこの定理は正しい。
ベクトル解析の公式

次にベクトルの回転の物理的意味を特徴づける定理を扱う。 まずは定理を述べる。
ベクトル解析の公式

が成り立つ。 ここで、この式の左辺はある面積Sについて積分し、 この式の右辺は、その面積の外周についての線積分を行なう。 ここでも、ある面積Sの外周のことを、
ベクトル解析の公式

と書くことがある。
ベクトル解析の公式

この定理をストークスの定理と呼ぶ。 例えば、
ベクトル解析の公式

を流体の速度ベクトルとしてみる。このとき、速度ベクトルをある面積の 外周について積分したとき、その値はその面積内の速度の回転の積分に 等しい。このことは、速度ベクトルの回転が、これらの流体の渦のような ものに対応していることを示している。
ベクトル解析の公式

実際、流体力学では
ベクトル解析の公式

のことを渦度と呼び、流体中の渦の様子を示す重要な量となっている。
ベクトル解析の公式

この様に、ベクトルの回転はそのベクトルについてある閉じた経路について 積分したものに対応している。
ベクトル解析の公式

が全ての点で成り立つ場合、全ての閉経路に対する線積分は0に等しくなる。 これは、流体でいうと渦無しの流れに対応している。
ベクトル解析の公式

また、この結果は複素解析の線積分の定理の1つに対応しており、その面からも 重要である。複素解析については、物理数学IIで扱う予定である。
ベクトル解析の公式

まず、ある面積Sを辺の長さが ε {\displaystyle \epsilon } に等しい小さな正方形に分ける。 正方形の大きさが十分小さいとき、このことは常に可能であると期待できる。
ベクトル解析の公式

ここで、互いに接している小さい正方形についてそれぞれの辺からの線積分の寄与は、 大きさが等しく、符合が反対であることが分かる。このことは、線積分の 経路を反時計回りに取るというきまりを守っていると、その辺で接するためには 積分の向きが逆になっていなくてはいけないということによる。
ベクトル解析の公式

ここで、今挙げた小さな2つの正方形を張り付けた長方形について 同じ計算を行なう。このとき、互いに張りついた1つの辺からの寄与は打ち消し あうので、同じ計算が張りつけた後の長方形についても成り立つ。
ベクトル解析の公式

このことを繰りかえせば、小さな正方形についてこの定理が成り立ったとき、 元々の領域についてもこの定理が成り立つと期待できる。
ベクトル解析の公式

さて、ここで、辺の長さが ε {\displaystyle \epsilon } に等しい正方形についてこの定理が 成り立っていることを示す。 これらの正方形の各辺に平行になるように、x,y軸を取って
ベクトル解析の公式

の左辺を計算すると、
ベクトル解析の公式

が成り立つ。 次に右辺について、
ベクトル解析の公式

が得られるが、これは右辺の表式と等しい。 よって、小さい正方形についてこの定理は示された。
ベクトル解析の公式

また、以前の議論からこのとき元の領域についてもこの定理は正しいことが 分かっている。よって、全ての領域について、この定理は正しいことが 示された。
ベクトル解析の公式

直交座標系でないときにも grad,div,rotを計算することが出来る。 ここではまず、座標系の定義を行なうことから始める。
ベクトル解析の公式

また、上の議論からこのことは全ての領域Vに対してもこの定理が正しいことを 示している。
ベクトル解析の公式

この定理は電磁気学で頻繁に用いられる重要な定理である。