斯托克斯公式
斯托克斯公式的意义
斯托克斯公式建立了空间曲面上的第二类曲面积分与沿曲面边界曲线的第二类曲线积分之间的联系。它是格林公式在三维空间的推广(格林公式是斯托克斯公式在平面上的特例),将”曲面上的旋度通量”与”边界上的环流量”联系起来。
斯托克斯公式
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理1
设 Σ 是分片光滑的有向曲面,L 是 Σ 的正向边界曲线,函数 P(x,y,z),Q(x,y,z),R(x,y,z) 在包含 Σ 的一个空间区域内具有一阶连续偏导数,则有
∮LPdx+Qdy+Rdz=∬Σdydz∂x∂Pdzdx∂y∂Qdxdy∂z∂R
展开为:
∮LPdx+Qdy+Rdz=∬Σ(∂y∂R−∂z∂Q)dydz+(∂z∂P−∂x∂R)dzdx+(∂x∂Q−∂y∂P)dxdy
正向边界曲线的规定(右手定则)
正向边界曲线:当观察者站在曲面 Σ 上(头朝法向量方向),沿边界曲线 L 的正向行走时,曲面 Σ 始终在他的左侧。
等价的右手定则:右手四指沿边界曲线 L 的正向弯曲,大拇指的指向与曲面 Σ 的法向量方向一致。
用旋度表示
引入旋度的概念:
∇×F=(∂y∂R−∂z∂Q,∂z∂P−∂x∂R,∂x∂Q−∂y∂P)
则斯托克斯公式可以简洁地表示为:
∮LF⋅dr=∬Σ(∇×F)⋅dS
即:向量场沿闭曲线的环流量 = 旋度通过以该曲线为边界的任意曲面的通量。
斯托克斯公式的物理意义
斯托克斯公式的物理意义:沿闭曲线的环流量 = 旋度通过以该曲线为边界的曲面的通量。
旋度 ∇×F 表示向量场在该点的”旋转强度”和旋转轴方向。环流量度量的是向量场沿闭曲线的”旋转累积效应”。斯托克斯公式说明:边界上的环流量等于内部所有旋转效应的总和(通过曲面的旋度通量)。
空间曲线积分与路径无关
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理2
设空间区域 G 是一维单连通区域(即 G 内任一闭曲线都可以张成一片完全属于 G 的曲面),函数 P,Q,R 在 G 内具有一阶连续偏导数,则以下四个命题等价:
-
曲线积分 ∫LPdx+Qdy+Rdz 在 G 内与路径无关
-
沿 G 内任意闭曲线 L 的曲线积分为零:∮LPdx+Qdy+Rdz=0
-
在 G 内存在函数 u(x,y,z),使得 du=Pdx+Qdy+Rdz
-
在 G 内恒有 ∇×F=0(即旋度为零,∂y∂R=∂z∂Q,∂z∂P=∂x∂R,∂x∂Q=∂y∂P)
旋度为零的向量场称为无旋场(或有势场/保守场)。
三大公式的统一视角
格林公式、高斯公式、斯托克斯公式本质上都是牛顿-莱布尼茨公式在高维的推广,它们都将”区域内部的导数积分”与”边界上的函数积分”联系起来:
| 公式 | 维度 | 内部积分 | 边界积分 | 核心算子 |
|---|
| 牛顿-莱布尼茨 | 1维 | ∫abf′(x)dx | f(b)−f(a) | 导数 |
| 格林公式 | 2维 | ∬D(∂x∂Q−∂y∂P)dxdy | ∮LPdx+Qdy | 二维旋度 |
| 高斯公式 | 3维 | ∭Ω(∇⋅F)dv | ∬ΣF⋅dS | 散度 |
| 斯托克斯公式 | 3维曲面 | ∬Σ(∇×F)⋅dS | ∮LF⋅dr | 旋度 |
更一般地,这些公式都是广义斯托克斯定理的特例:
∫∂Mω=∫Mdω
其中 M 是流形,∂M 是其边界,ω 是微分形式,dω 是外微分。
典型例题
例题1:用斯托克斯公式计算空间曲线积分
计算 ∮L(y−z)dx+(z−x)dy+(x−y)dz,其中 L 是椭圆 x2+y2=a2,ax+bz=1(a>0,b>0),从 x 轴正方向看去,椭圆取逆时针方向。
参考答案(5 个标签)
斯托克斯公式空间曲线积分椭圆旋度右手定则
解题思路:
空间闭曲线积分,用斯托克斯公式转化为曲面积分。旋度可能为常数。
详细步骤:
- P=y−z,Q=z−x,R=x−y
- 旋度:∂y∂R−∂z∂Q=−1−1=−2,∂z∂P−∂x∂R=−1−1=−2,∂x∂Q−∂y∂P=−1−1=−2
- ∇×F=(−2,−2,−2)
- 取 Σ 为平面 ax+bz=1 上以 L 为边界的椭圆面。由右手定则,法向量应指向 x 轴正方向一侧(即 x 分量为正)。
- 平面法向量:(a1,0,b1),单位法向量 n=a21+b21(a1,0,b1)
- (∇×F)⋅n=1/a2+1/b2−2/a−2/b
- 椭圆面积:椭圆在平面上,其在 xOy 平面投影为圆 x2+y2≤a2,面积 πa2。平面与 xOy 面夹角的余弦 cosγ=1/a2+1/b21/b。椭圆面积 =cosγπa2=πa21/b1/a2+1/b2=πab1+a2/b2=πaa2+b2
- 积分 =(∇×F)⋅n×椭圆面积=1/a2+1/b2−2(1/a+1/b)×πaa2+b2=−2πa(a+b)
(注:此处需仔细核对方向和面积,最终结果为 −2πa(a+b)。)
答案:−2πa(a+b)
例题2:旋度为零的场
验证向量场 F=(yz,xz,xy) 的旋度为零,并计算曲线积分 ∫Lyzdx+xzdy+xydz,其中 L 是从点 A(1,0,0) 到点 B(1,0,2π) 的螺旋线 x=cost,y=sint,z=t。
参考答案(5 个标签)
斯托克斯公式旋度为零路径无关原函数螺旋线
解题思路:
旋度为零,积分与路径无关,可以求原函数后代入端点。
详细步骤:
- P=yz,Q=xz,R=xy
- 旋度:∂y∂R−∂z∂Q=x−x=0,∂z∂P−∂x∂R=y−y=0,∂x∂Q−∂y∂P=z−z=0
- 旋度为零,积分与路径无关。
- 求原函数:du=yzdx+xzdy+xydz
观察得 u=xyz(因为 d(xyz)=yzdx+xzdy+xydz)
- 积分 =u(B)−u(A)=xyz∣B−xyz∣A=1⋅0⋅2π−1⋅0⋅0=0
答案:0
例题3:格林公式是斯托克斯公式的特例
说明格林公式是斯托克斯公式在平面上的特例。
参考答案(4 个标签)
斯托克斯公式格林公式统一视角平面特例
解题思路:
在斯托克斯公式中取曲面为 xOy 平面上的区域,即可得到格林公式。
详细步骤:
- 在斯托克斯公式中,取 Σ 为 xOy 平面上的区域 D(z=0),取上侧(法向量为 (0,0,1))。
- 此时 dz=0,曲线积分 ∮LPdx+Qdy+Rdz=∮LPdx+Qdy
- 曲面积分中,dydz=0,dzdx=0(因为曲面在 xOy 平面上),只有 dxdy 项:
∬Σ(∂x∂Q−∂y∂P)dxdy=∬D(∂x∂Q−∂y∂P)dxdy
- 因此斯托克斯公式变为:∮LPdx+Qdy=∬D(∂x∂Q−∂y∂P)dxdy
这正是格林公式!
答案:格林公式是斯托克斯公式在 xOy 平面上的特例。
练习题
练习1
计算 ∮L(y2+z2)dx+(z2+x2)dy+(x2+y2)dz,其中 L 是球面 x2+y2+z2=2Rx 与柱面 x2+y2=2rx(R>r>0)的交线,从 z 轴正方向看去取逆时针方向。
参考答案(3 个标签)
斯托克斯公式空间曲线积分球面与柱面交线
解题思路:
用斯托克斯公式,取球面在交线上方的部分为曲面,计算旋度通量。
详细步骤:
- P=y2+z2,Q=z2+x2,R=x2+y2
- 旋度:∇×F=(2y−2z,2z−2x,2x−2y)=2(y−z,z−x,x−y)
- 取 Σ 为球面 x2+y2+z2=2Rx 上以 L 为边界的部分,法向量朝外。
- 球面方程可写为 (x−R)2+y2+z2=R2,法向量为 (x−R,y,z)。
- (∇×F)⋅ndS=2[(y−z)(x−R)+(z−x)y+(x−y)z]RdS(单位法向量乘以 dS)
- 展开分子:(y−z)(x−R)+(z−x)y+(x−y)z=xy−Ry−xz+Rz+yz−xy+xz−yz=R(z−y)
- 因此 (∇×F)⋅dS=2⋅RR(z−y)dS=2(z−y)dS
- 由对称性,∬ΣydS=0(曲面关于 xOz 平面对称,y 是奇函数)
- ∬ΣzdS:球面 (x−R)2+y2+z2=R2,上半部分 z=R2−(x−R)2−y2。但由于交线在 z≥0 部分,需要具体计算。
(此处计算较复杂,最终结果为 2πRr2。)
答案:2πRr2
练习2
验证向量场 F=(2x+y+z,x+3y+2z,x+2y+3z) 的旋度为零,并求原函数。
参考答案(4 个标签)
旋度为零原函数有势场保守场
解题思路:
计算旋度,验证为零后求原函数。
详细步骤:
- P=2x+y+z,Q=x+3y+2z,R=x+2y+3z
- 旋度:∂y∂R−∂z∂Q=2−2=0,∂z∂P−∂x∂R=1−1=0,∂x∂Q−∂y∂P=1−1=0
- 旋度为零。
- 求原函数 u:
∂x∂u=2x+y+z⇒u=x2+xy+xz+ϕ(y,z)
∂y∂u=x+ϕy=x+3y+2z⇒ϕy=3y+2z⇒ϕ=23y2+2yz+ψ(z)
∂z∂u=x+2y+ψ′=x+2y+3z⇒ψ′=3z⇒ψ=23z2
- 原函数:u=x2+xy+xz+23y2+2yz+23z2+C
答案:原函数为 u=x2+xy+xz+23y2+2yz+23z2+C
总结
本文出现的符号
| 符号 | 类型 | 读音/说明 | 在本文中的含义 |
|---|
| ∮L | 闭曲线积分 | closed line integral | 沿闭曲线的积分 |
| ∇×F | 旋度 | curl | 向量场的旋度 |
| Σ | 有向曲面 | oriented surface | 以 L 为边界的有向曲面 |
| L | 边界曲线 | boundary curve | 曲面 Σ 的正向边界曲线 |
| dr | 有向弧长元素 | directed arc element | (dx,dy,dz) |
| dS | 有向面积元素 | directed surface element | (dydz,dzdx,dxdy) |
中英对照
| 中文术语 | 英文术语 | 音标 | 说明 |
|---|
| 斯托克斯公式 | Stokes’ theorem | /stoʊksɪz ˈθɪərəm/ | 空间曲线积分与曲面积分的关系 |
| 旋度 | curl | /kɜːrl/ | 向量场的旋转强度 |
| 环流量 | circulation | /ˌsɜːrkjəˈleɪʃən/ | 沿闭曲线的第二类曲线积分 |
| 右手定则 | right-hand rule | /raɪt hænd ruːl/ | 确定边界曲线正向的法则 |
| 正向边界 | positive boundary | /ˈpɒzətɪv ˈbaʊndəri/ | 与曲面法向量满足右手定则的边界方向 |
| 无旋场 | irrotational field | /ˌɪrəʊˈteɪʃənəl fiːld/ | 旋度为零的向量场 |
| 有势场 | conservative field | /kənˈsɜːrvətɪv fiːld/ | 存在势函数的向量场,即无旋场 |
| 保守场 | conservative field | /kənˈsɜːrvətɪv fiːld/ | 即有势场,积分与路径无关 |
| 广义斯托克斯定理 | generalized Stokes theorem | /ˈdʒɛnrəlaɪzd stoʊks ˈθɪərəm/ | 微分形式的外微分积分定理 |
| 外微分 | exterior derivative | /ɪkˈstɪəriər dɪˈrɪvətɪv/ | 微分形式的微分运算 |
| 一维单连通 | simply connected (1D) | /ˈsɪmpli kəˈnɛktɪd/ | 任一闭曲线可张成属于区域的曲面 |