14.1ストークスの定理
外微分
例えば、3次元空間において、2-形式
は、向き付きの流線の束と解釈ができる。従って、閉じた面（＝境界が無い面、例えば球面）上で2-形式を積分したものは、その面が囲む領域
に入ってくる流線の数と、出ていく流線の数の和になる。この和が
にならない場合、
の内部に、流線の生成箇所または消滅箇所が存在することになる。どれだけ生成・消滅しているかは、流線の始点・終点の密度によって決まる。
即ち、流線の始点・終点の密度を表す3-形式が存在するということになる（一般的に言えば、微分形式が作る葉層が切断される密度）。これを
と書く。
は、
が与えられれば決まる量であるが、特に、ある点での
は、その点近傍での
から決まるはずである。よって、
は、
の微分によって表すことができると考えられる。
では、
をどのように組み合わせれば、
になるのだろうか。
が微分形式にならなければならないことを考えると、以下の【12.1-注1】のようにとればよいことが分かる。
【12.1-注1】外微分
微分形式
の外微分
は、以下で定義される
-形式である：（
は空間の次元）
ただし、
。外微分は座標によらない、即ち、
-形式と同じように変換する（＝外微分と座標変換は可換）：
ただし、
は変換後の量であり、
はヤコビ行列
の略記である。また、
である。
ストークスの定理
このように、外微分によって、領域内部の積分と領域外部の積分を対応させることができる。即ち、以下の【12.1-注2】のストークスの定理が成り立つ。
【12.1-注2】ストークスの定理
ユークリッド空間
に埋め込まれた、向き付けられた
次元領域
と、
上で定義された
-ベクトル
が与えられた時、以下が成り立つ：
ただし、
-形式
は、
-ベクトルを積分領域と垂直な方向に射影したときの体積を与えるテンソルである。
系
3次元空間の場合、体積
、面
として以下の2種類が可能である：
1つ目の式はガウスの発散定理という（
をベクトル
の発散という）。2つめの式は、ベクトル
を
と定義すれば、以下のようにも書ける：
これを、ストークスの回転定理という。ただし、
は面に垂直な単位ベクトル、
は曲線に沿った単位ベクトルである。
積分形のマクスウェル方程式（3次元）
マクスウェル方程式
は、ちょうど、ガウスの発散定理とストークスの回転定理で書けるようになっている。実際、上側の2つの式を体積
上で積分したり、下側2式を曲面
上で積分すると、左辺はそれぞれガウスの発散定理とストークスの回転定理が使える形になっている。よって以下が成り立つ：
14.2ポアンカレの補題
この節では、ポテンシャルが存在するための一般的な条件を与えるポアンカレの補題について述べる。力学編第15章では、可積分条件
が成り立てば、
を満たすポテンシャル
が存在することを示した。ポアンカレの補題はこの一般化である。
ポアンカレの補題：ポテンシャルの存在条件
可積分条件()と、マクスウェル方程式の
、および、
は、同じような形をしている。実際、成分で書くとそれぞれ以下のように書ける：
これらは全て、反対称な場
に対し
という形になっている。
のことを、
の発散という。
式()が成り立つ時、ポテンシャル（
を満たす）
が存在することをポアンカレの補題という（以下の【12.2-注1】）。
【12.2-注1】ポアンカレの補題
反対称な場
の発散
がゼロ：
であるならば、
は、ある反対称な場
の発散で書ける：
ただし、
は2階偏微分可能であり、かつ、遠方で
より早く減衰するとする。また、空間の次元を
とするとき、
は
のいずれかであればよい。
定理の逆、即ち、任意の
に対し、式()
式()も成り立つ（代入すれば偏微分の可換性からすぐ分かる）。式()を満たす
は、一意的ではない。実際、任意の
の発散を足したもの：
も解になる。
証明
実際に、
を構成すればよい。実際
とすればよい。ただし、
とし、
は、以下の【12.2-注2】のグリーン関数
とする。式()の発散を実際に計算すると、【12.2-注2】のポアソン方程式の解の公式を使って
【12.2-注2】ポアソン方程式の解の公式
空間の次元を
とする時、任意の
に対し
が成り立つ。ただし、
は、以下で与えられる：（ポアソン方程式のグリーン関数という）
は
次元単位球の表面積である：（
）
以降についても、漸化式
によって計算できる。
証明
第4章の【4.2-注2】で、3次元の場合を証明した。その他の次元についても同様に示せる。
スカラーポテンシャル、ベクトルポテンシャル：式()、式()
ポアンカレの補題の結果を、具体的な例に適用してみる。まず、式()の場合である：
ポアンカレの補題により、ポテンシャル
が存在し
と書ける。成分ごとに計算すると
よって、
とおき直せば
となっており、見慣れた式となる。
をスカラーポテンシャルという（以下のベクトルポテンシャル
と対比しての用語である）。
次に式()の場合：
ポアンカレの補題により、ポテンシャル
が存在し、
となる。ここで、
となるように
を定義すると、
となるようなポテンシャル
が存在することが分かる。
をベクトルポテンシャルという。
電磁ポテンシャル：式()
最後に式()の場合：
ポアンカレの補題により、ポテンシャル
が存在し
と書ける。成分ごとに計算すると
ここで、
および
と定義すると以下のようになる：
をまとめて電磁ポテンシャルという。