斯托克斯公式。向量场 F=(yz2−cosz,2xz2,2xyz+xsinz) 在全空间光滑,旋度逐项为
Ry−QzPz−RxQx−Py=2xz−4xz=−2xz,=(2yz+sinz)−(2yz+sinz)=0,=2z2−z2=z2.
投影区域为 D:4x2+y2≤1,x,y≥0。在 z>0 的曲面部分,zx=−z4x,zy=−zy,上侧有向面积元为 (z4x,zy,1)dxdy。因此
I=∬D(−8x2+z2)dxdy=∬D(1−12x2−y2)dxdy.
投影导数在 z=0 的边界不适用,以上计算可先截去该边界附近再取极限;原旋度通量连续,边界曲线面积为零,化简后的二重积分也连续,故极限合法。
作 x=21rcosθ,y=rsinθ,0≤r≤1,0≤θ≤2π,雅可比为 2r。由 ∫02πcos2θdθ=∫02πsin2θdθ=4π,
∬D1dxdy∬Dx2dxdy∬Dy2dxdy=21⋅2π⋅21=8π,=81⋅4π⋅41=128π,=21⋅4π⋅41=32π.
故 I=8π−12812π−32π=0。
剥离全微分。令 u=xyz2−xcosz,则
du=(yz2−cosz)dx+xz2dy+(2xyz+xsinz)dz.
原被积表达式等于 du+xz2dy。由于 L 是完整闭合边界,而 u 是全空间单值光滑函数,∮Ldu=0,故 I=∮Lxz2dy。
边界由三个坐标面上的弧首尾相接而成:在 y=0 的弧上 dy=0;在 z=0 的弧上 z2=0;在 x=0 的弧上 x=0。各段余项积分都为零,所以 I=0。