Prerequisite
ベクトル場の微分に関してはいくつかの公式が知られている.
また物理において重要な役割を果たすことが非常に多いため,それらの式と証明をここで与えておく.
表記の簡単のためにEinsteinの縮約規則を採用し,1つの項に同じ添字が現れたときは和をとっているものとみなす.
また微分は
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-001.png?w=124)
と略記する.
スカラー場の積 の勾配はLeibniz則
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-002.png?w=310)
を満たす.
成分で書けばふつうの微分だから
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-003.png?w=344)
により直接確かめられる.
同様にスカラー場とベクトル場の積 の発散と回転に関しても同様に,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-004.png?w=400)
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-005.png?w=442)
が成り立つことがわかる.
成分で書けば容易く確かめられて
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-006.png?w=712)
2つのベクトル場の外積 の微分は,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-007.png?w=526)
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-008.png?w=770)
となる.
なぜならば発散については,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-009.png?w=798)
第2項でLevi-Civita記号の添字を と入れ替えればよい.
次に回転の方の左辺の 成分は,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-010.png?w=810)
となって右辺の 成分に等しい.
2つのベクトル場の内積 の勾配については,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-011.png?w=816)
となる.
右辺の 成分を計算すると,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-012.png?w=764)
となって左辺を得る.
では次に2階微分を調べよう.
スカラー場の勾配 の発散と回転は,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-013.png?w=182)
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-014.png?w=444)
ここで微分演算子 をLaplace演算子,またはLaplacianという.
1つ目の左辺が とかけるので
に等しい.
2つ目の方は定義から書き下せばよい.
ベクトル場 の発散の勾配は
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-015.png?w=244)
で特に変形はできない.
ベクトル場 の回転の発散と回転の回転は,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-016.png?w=208)
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-017.png?w=406)
となる.
これらはベクトル場の外積の微分の公式を示すときと同じようにして示すことができる.
回転の発散については
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-018.png?w=516)
となるが微分の可換性とLevi-Civita記号の反対称性からこの縮約は に等しい.
回転の回転の 成分は
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-019.png?w=518)
となって第1項で微分を入れ替えれば所期の結果を得る.
[スカラーポテンシャルの存在条件]
Stokesの定理に着目する:
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-020.png?w=428)
境界 は任意に選ぶことができる.
空間内の任意の2点 をとる.
あるベクトル場 が任意の曲線に沿った線積分で値が変わらないとすると,2点を結ぶ任意の2つの曲線
に対し
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-021.png?w=270)
が成り立つ. と
の逆向きの曲線を繋いでループ
での周回積分に書き換えれば
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-022.png?w=176)
となる.
すなわち端点を固定した線積分が間の経路に依存しないことは,任意のループに沿った線積分が となることと同値である.
さらにStokesの定理によりループが囲む曲面に関して
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-023.png?w=326)
となる.
この曲面を無限小にする極限がとれる(曲面に穴がない)とき
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-024.png?w=144)
が任意の点 で成立する.
このときベクトル場 は渦なしという.
逆にベクトル場が任意の点で渦なしであればその線積分の値は端点の座標にのみ依存し,間の経路に依存しない.
ところでベクトル場の線積分が経路によらないとき適当な基準点 を選んで,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-025.png?w=226)
という量を経路によらず定義できる.
すると任意の2点 での差をとると
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-026.png?w=340)
他方で2点を結ぶ経路を1つとってパラメータ を入れると左辺は
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-027.png?w=676)
となる.
経路の式を変数変換 と思えば線積分
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-028.png?w=360)
と変形できる.
したがってベクトル場 にはスカラーポテンシャル
が存在して
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-029.png?w=110)
と(定数を除いて)書くことができる.
このときたしかに が成立している.
よって逆の問題
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-030.png?w=398)
が導かれる.
この事実は物理にしばしば登場する.
Newtonの運動方程式
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-031.png?w=144)
においてエネルギーが保存するための条件は力 に対しポテンシャルエネルギー
が存在して
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-032.png?w=132)
と書けることである.
このとき仕事は
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-033.png?w=460)
となって仕事も途中の経路に依らず,始点と終点でのポテンシャルの値によってのみ決まる.
このとき運動方程式に速度をかけて積分することで
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-034.png?w=480)
となり力学的エネルギー保存則の式が導かれる.
力学的エネルギーが保存するための条件は力 が渦なし
を満たすことである.
電磁気学では静電場 について渦なしの条件
が満たされる.
したがって静電ポテンシャルが存在して と書くことができる.
[ベクトルポテンシャルの存在条件]
今度はGaussの定理に着目する:
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-035.png?w=356)
境界 は任意に選ぶことができる.
空間内に境界が一致した2つの任意の曲面 をとる.
あるベクトル場 について,その面積分が境界のみに依存し内部の曲面の形状に依存しないとすると,
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-036.png?w=338)
が成り立つ. と
を反転した曲面を繋いで閉曲面
での積分に書き換えれば
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-037.png?w=212)
となる.
すなわち境界を固定した面積分が内部の曲面の形状に依存しないことは,任意の閉曲面上の面積分が となることと同値である.
さらにGaussの定理により閉曲面が囲む3次元領域 に関して
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-038.png?w=218)
となる.
この領域を無限小にする極限がとれる(曲面に穴がない)とき
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-039.png?w=130)
が任意の点 で成立する.
このときベクトル場 は湧き出しなしという.
逆にベクトル場が任意の点で湧き出しなしであればその面積分の値は境界のみに依存し,内部の曲面の形状に依存しない.
スカラーポテンシャルと同様に逆問題を考えたい.
ここではいわゆる星形領域に制限して示そう: いま の定義域はその中の任意の点と原点を結ぶ線分を必ず含むと仮定する.
このときやや天下りであるが湧き出しなしのベクトル場 から新たなベクトル場
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-040.png?w=348)
が定義できる.
この積分は原点と任意の点 を結ぶ線分に沿った積分である.
このベクトル場の回転を計算すると
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-041.png?w=802)
第1項では となる.
第2項では鎖法則より
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-042.png?w=280)
となって,前の に対してLevi-Civita記号の公式を適用すれば
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-043.png?w=704)
第2項では湧き出しなしの条件 なので落とせる.
第3項は 微分で書けば
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-044.png?w=560)
となる.
すなわち
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-045.png?w=152)
が成り立つ.
この をベクトルポテンシャルという.
このときたしかに が成立している.
よって逆の問題
![](https://storytellphys.wordpress.com/wp-content/uploads/2024/05/emm-vector-formula-046.png?w=426)
が導かれる.
ベクトルポテンシャルは磁場 において導入した.
磁場は単磁荷の非存在の式 からただちにベクトルポテンシャル
とおくことができる.
Next
- 接ベクトル場