一般化されたストークスの定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/01 07:19 UTC 版)
特別な場合
微分形式を使用したストークスの定理の一般的な形式は、特殊な場合よりも強力で使いやすい。従来のバージョンは、微分幾何学の機構なしでデカルト座標を使用して定式化できるため、よりアクセスしやすい。さらに、それらはより古く、その結果、それらの名前はより親しみやすい。従来の形式は、実践的な科学者やエンジニアにはより便利であると見なされることがよくあるが、他の座標系(たとえば球座標や円筒座標などの使い慣れた座標系でさえ)を使用すると、従来の定式化の不自然さが明らかになる。名称の適用方法や二重の定式化の使用にも混乱が生じる可能性がある。
古典的な(ベクトル解析の)場合
![](https://weblio.hs.llnwd.net/e7/redirect?dictCode=WKPJA&url=https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2F4%2F4c%2FStokes%2527_Theorem.svg%2F220px-Stokes%2527_Theorem.svg.png)
これは 1形式の(二重化された)(1+1) 次元の場合である(ベクトル場に関するステートメントであるため、二重化されている)。この特殊ケースは多くの大学のベクトル解析入門コースでストークスの定理と呼ばれることが多く、物理学や工学で使用されている。 回転定理とも呼ばれる。
古典的なストークスの定理は、3次元ユークリッド空間の曲面 Σ 上のベクトル場の回転の面積分を、その境界上のベクトル場の線積分に関連付ける。これは一般化されたストークスの定理の特殊なケース (n = 2) であり、3次元ユークリッド空間の計量を使用してベクトル場は1形式とみなされる。線積分の経路曲線 ∂Σ は正の方向を向いている必要がある。つまり曲面の法線ベクトル n がこの記事の読者の方を向いている場合 ∂Σ は反時計回りを指す。
この定理の帰結の1つとして、回転がゼロのベクトル場に沿った曲線は閉曲線にすることができないことが言える。定理の公式は次のように書き直すことができる。
定理 ― F = (P(x,y,z), Q(x,y,z), R(x,y,z)) が滑らかな表面 Σ を持つ領域で定義され、連続した1次偏導関数を持つと仮定する。そのとき
ここで P, Q および R は F の成分であり、∂Σ は領域 Σ の境界。
グリーンの定理
グリーンの定理は、上で引用した P, Q および R から、両辺の第3項の積分として直ちに示される。
電磁気学における応用
マクスウェル方程式の4本の式のうち2本は3次元ベクトル場の回転を含み、それらの微分形と積分形はストークスの定理の特別な3次元(ベクトル解析)の場合に関連している。境界が移動するケースを回避するように注意する必要があり、時間偏微分はそのようなケースを除外するためにある。移動する境界が含まれる場合、積分と微分の交換により、以下の結果に含まれない境界運動に関連する項が導入される(積分記号の下の微分を参照)。
名称 | 微分形 | 積分形 (3次元ストークスの定理と相対論的不変性を使用して、∫ ∂/∂t ... → d/dt ∫ ...) |
---|---|---|
マクスウェル・ファラデーの式 ファラデーの電磁誘導の法則 |
(C, S は静止している必要はない) | |
アンペールの法則 (マクスウェルによる拡張) |
(C, S は静止している必要はない) |
発散定理
同様に、発散定理
はベクトル場をユークリッド体積形式で縮約することによって得られる (n-1) 形式とみなす場合の特殊ケースである。これの応用は F = fc の場合である。ここで c は任意の定数ベクトル。積の発散を実行すると、
が得られる。これは任意の c について成り立つため、
が成り立つ。
- 一般化されたストークスの定理のページへのリンク