斯托克斯定理:修订间差异
TimyReading(留言 | 贡献) →top: 细小调整 |
TimyReading(留言 | 贡献) →top: 内容扩充 |
||
第3行: | 第3行: | ||
{{微積分學}} |
{{微積分學}} |
||
'''斯托克斯定理'''(英文:Stokes' theorem)是[[微分几何]]中关于[[微分形式]]的[[积分]]的定理,因為維數跟空間的不同而有不同的表現形式,它的一般形式包含了[[向量分析]]的几个[[定理]],以[[斯托克斯]][[爵士]]命名。 |
'''斯托克斯定理'''(英文:Stokes' theorem),也被称作 '''广义斯托克斯定理'''或'''斯托克斯–嘉当定理'''(Stokes–Cartan theorem)<ref>{{Cite book|url=https://www.springer.com/gp/book/9789400745575|title=Physics of Collisional Plasmas – Introduction to {{!}} Michel Moisan {{!}} Springer|language=}}</ref>,是[[微分几何]]中关于[[微分形式]]的[[积分]]的定理,因為維數跟空間的不同而有不同的表現形式,它的一般形式包含了[[向量分析]]的几个[[定理]],以[[斯托克斯]][[爵士]]命名。 |
||
==ℝ³ 上的斯托克斯公式== |
==ℝ³ 上的斯托克斯公式== |
2020年5月10日 (日) 11:56的版本
此條目需要补充更多来源。 (2014年3月20日) |
系列條目 |
微积分学 |
---|
斯托克斯定理(英文:Stokes' theorem),也被称作 广义斯托克斯定理或斯托克斯–嘉当定理(Stokes–Cartan theorem)[1],是微分几何中关于微分形式的积分的定理,因為維數跟空間的不同而有不同的表現形式,它的一般形式包含了向量分析的几个定理,以斯托克斯爵士命名。
ℝ³ 上的斯托克斯公式
旋度定理
设S是分片光滑的有向曲面,S的边界为有向闭曲线Γ,即,且Γ的正向与S的侧符合右手规则: 函数P(x,y,z)、Q(x,y,z)、R(x,y,z)都是定义在“曲面S连同其边界Γ”上且都具有一阶连续偏导数的函数,则有:[2]
引进符号行列式,这个公式也可以写成以下形式:
这个公式叫做 ℝ³ 上的斯托克斯公式或开尔文-斯托克斯定理、旋度定理。這和函數的旋度有關,用梯度算符可寫成:[3]
它将ℝ³ 空间上“向量场的旋度的曲面积分”跟“向量场在曲面边界上的线积分”之间建立联系,这是一般的斯托克斯公式(在 n=2 时)的特例,我们只需用ℝ³ 空间上的內積把向量场看作等价的1-形式。该定理的第一个已知的书面形式由威廉·汤姆森(开尔文勋爵)给出,出现在他给斯托克斯的信中。
散度定理
类似的,高斯散度定理
也是一般的斯托克斯公式的一个特例,如果我们把右邊的 看成是等价的(n-1)-形式,可以通过和体积形式的内积实现。 微积分基本定理和格林定理也是一般性斯托克斯定理的特例。使用微分形式的一般化斯托克斯定理当然比其特例更强,虽然后者更直观而且经常被使用它的科学工作者或工程师认为更方便。
流形上的斯托克斯公式
令 M 为一个可定向分段光滑 n 维流形,令 ω 为 M 上的 n−1 阶 C1 类紧支撑微分形式。如果 ∂M 表示 M 的边界,并以 M 的方向诱导的方向为边界的方向,则
这里 dω 是 ω 的外微分, 只用流形的结构定义。这个公式被称为一般的斯托克斯公式(generalized Stokes' formula),它被认为是微积分基本定理、格林公式、高-奥公式、ℝ³ 上的斯托克斯公式的推广;后者实际上是前者的简单推论。
该定理经常用于 M 是嵌入到某个定义了 ω 的更大的流形中的子流形的情形。
定理可以简单的推广到分段光滑的子流形的线性组合上。斯托克斯定理表明相差一个恰当形式的闭形式在相差一个边界的链上的积分相同。这就是同调群和德拉姆上同调可以配对的基础。
应用
此公式可以在对坐标的曲线积分和对面积的面积积分之间相互转换。[4]
参考文献
- ^ Physics of Collisional Plasmas – Introduction to | Michel Moisan | Springer.
- ^ 同济大学数学系 编. 高等数学(第六版)(下册). 北京: 高等教育出版社, 2007
- ^ 谢树艺编. 高等学校教材•工程数学:矢量分析与场论(第3版). 北京: 高等教育出版社, 2005
- ^ 4.0 4.1 刘建亚、吴臻等. 微积分 2 第二版. 北京: 高等教育出版社. 2011: 228. ISBN 978-7-04-033806-5.