斯托克斯定理（英文：Stoke’s theorem）是微分几何中关于微分形式的积分的一个命题，它一般化了向量微积分的几个定理，以斯托克斯爵士命名。

当封闭周线内有涡束时，则沿封闭周线的速度环量等于该封闭周线内所有涡束的涡通量之和，这就是斯托克斯定理。斯托克斯定理表明，沿封闭曲线L的速度环量等于穿过以该曲线为周界的任意曲面的涡通量。

定理

物理场的观点是

建立了场域中某一区域的场与该区域边界上场量之间的关系。

上的斯托克斯公式

设 是 分片光滑的有向曲面， 的边界为有向闭曲线 ，即，且 的正向与 的侧符合右手规则：函数都是定义在“曲面 连同其边界”上且都具有一阶连续偏导数的函数，则有

这个公式叫做  上的斯托克斯公式或开尔文斯托克斯定理、旋度定理。这和函数的旋度有关，用梯度算符可写成：

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

类似的，高斯散度定理

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

通过以下公式可以在对坐标的“曲线积分”和对面积的“面积积分”之间相互转换：

流形上

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

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

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

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

应用

斯托克斯公式是格林公式的推广。

利用斯托克斯公式可计算曲线积分。

参考资料