斯托克斯定理

斯托克斯定理（英文：Stokes' theorem），也被称作广义斯托克斯定理、斯托克斯–嘉当定理（Stokes–Cartan theorem）Jacques Pelletier and Michel Moisan.Physics of Collisional Plasmas: Introduction to High-Frequency Discharges .Springer.2012-11-22.、旋度定理（Curl Theorem）、开尔文-斯托克斯定理（Kelvin-Stokes theorem）Stokes' theorem .Tel Aviv University.2015-06-16.，是微分几何中关于微分形式的积分的定理，因為維數跟空間的不同而有不同的表現形式，它的一般形式包含了向量分析的几个定理，以乔治·加布里埃尔·斯托克斯爵士命名Peter Lynch.George Stokes: Sligo man who made profound contributions to science .The Irish Times.Aug 8, 2019.。

ℝ³ 上的斯托克斯公式
旋度定理
设是分片光滑的有向曲面，的边界为有向闭曲线，即，且的正向与的侧符合右手规则：
函数、、都是定义在“曲面连同其边界”上且都具有一阶连续偏导数的函数，则有：同济大学数学系 编. 高等数学(第六版)(下册). 北京: 高等教育出版社, 2007




引进符号行列式，这个公式也可以写成以下形式：

这个公式叫做  上的斯托克斯公式或开尔文－斯托克斯定理、旋度定理。這和函數的旋度有關，用梯度算符可寫成：谢树艺编. 高等学校教材•工程数学:矢量分析与场论(第3版). 北京: 高等教育出版社, 2005



它将ℝ³ 空间上“向量场的旋度的曲面积分”跟“向量场在曲面边界上的线积分”之间建立联系，这是一般的斯托克斯公式（在  时）的特例，我们只需用ℝ³ 空间上的內積把向量场看作等价的1-形式。该定理的第一个已知的书面形式由威廉·汤姆森（开尔文勋爵）给出，出现在他给斯托克斯的信中。

散度定理

类似的，高斯散度定理

也是广义斯托克斯定理的一个特例，如果我们把右邊的  看成是等价的(n-1)-形式，可以通过和体积形式的内积实现。
微积分基本定理和格林定理也是一般性斯托克斯定理的特例。使用微分形式的一般化斯托克斯定理当然比其特例更强，虽然后者更直观而且经常被使用它的科学工作者或工程师认为更方便。

流形上的斯托克斯公式
令  为一个可定向分段光滑  维流形，令  为  上的  阶  类紧支撑微分形式。如果  表示  的边界，并以  的方向诱导的方向为边界的方向，则

这里  是  的外微分, 只用流形的结构定义。这个公式被称为广义斯托克斯公式（），它被认为是微积分基本定理、格林公式、高－奥公式、 上的斯托克斯公式的推广；后者实际上是前者的简单推论。

该定理经常用于  是嵌入到某个定义了  的更大的流形中的子流形的情形。

定理可以简单的推广到分段光滑的子流形的线性组合上。斯托克斯定理表明相差一个恰当形式的闭形式在相差一个边界的链上的积分相同。这就是同调群和德拉姆上同调可以配对的基础。

应用
斯托克斯公式可以在对坐标的曲线积分和对面积的面积积分之间相互转换，该公式是格林公式在三维空间的推广，后者表达了平面闭区域上的二重积分与其边界曲线上的曲线积分之间的关系，前者则把曲面上的曲面积与沿着的边界曲线的曲线积分联系起来Jacques Pelletier and Michel Moisan.§10.7  斯托克斯公式  环流量与旋度 .山东理工大学.2009-11-27.。

参考文献

延伸阅读

 The General Stokes' Theorem.Pitman Advanced Pub. Program.1983.











S
Category:向量分析
S
Category:数学公式
Category:微分形式