边界走一圈,等于任一张帽子上的旋度
以同一圈闭曲线为边的曲面有无穷多张;场的旋度穿过哪一张,总量都等于沿边界走一圈的环量。这条式子今天挂他的名字——它先出现在开尔文写给他的一封信里,是经他出的一道考题传开的。
1854 年 2 月剑桥的史密斯奖考卷,第 8 题是这样出的:「设 X、Y、Z 是直角坐标 x、y、z 的函数,dS 是任一有限曲面上的面元,l、m、n 是 dS 处法线的方向余弦,ds 是边界线的线元,试证……」等号左边是旋度的三个分量与法向逐项相乘、在曲面上积分,右边是沿边界一圈的线积分。出题的是当年的卢卡斯教授斯托克斯,那一年应考的有麦克斯韦。近二十年后麦克斯韦在《电磁通论》第 24 节把这条定理追到这张考卷上,此后它就叫斯托克斯定理。首创权要分层说。拉莫尔编《数学与物理论文集》第五卷时在这道题下加了注:这类分析在安培论电流的文章里已有特例;开尔文 1850 年 7 月 2 日写给斯托克斯的信里,附言明写着这条定理,信是在斯托克斯的遗稿里找到的;式子里那个矢量(旋度),麦卡拉约 1837 年就在用,斯托克斯 1845 年也拿它表示液体微团的转动。所以更准的说法是:定理先由开尔文写下,由斯托克斯出成考题,从这张考卷传开。演示取场 F = (−y(1 + z), x(1 + z), 0),边界是地面上的单位圆,沿它走一圈是 2π;帽子可以鼓起、压下、起皱,旋度往外穿的与往里穿的两部分各自涨落,合起来算到十二位都是 6.283185307180。两边用的是两条互不相干的算法:一条只在边界上取点,一条只在帽子内部取点。馆里格林那一页的格林定理,是这条式子摊平在平面上的样子。
