微分形式的外微分
外微分及斯托克斯公式
外微分及斯托克斯公式外微分和斯托克斯公式是微分几何学中的两个重要概念，它们在描述和计算曲线、曲面和空间中的微分形式，以及它们之间的关系方面起着重要作用。
下面将详细介绍这两个概念。
1.外微分：外微分是微分几何学中用来描述曲线、曲面和空间中的微分形式的一种工具。
在微积分中，我们通常使用微分来描述函数的变化率。
而在微分几何学中，函数的微分被定义为函数的外微分。
设有一个定义在n维欧几里得空间上的函数f，其微分形式为df。
对于其中一点p，微分形式df描述了函数f在p点附近的变化率。
在局部坐标系中，微分形式df可以表示为：df = ∂f/∂x1 dx1 + ∂f/∂x2 dx2 + ... + ∂f/∂xn dxn其中∂f/∂xi表示函数f对第i个坐标分量的偏导数，而dxi表示第i 个坐标分量的微小增量。
外微分的代数定义遵循线性性质，例如：d(af + bg) = a df + b dg对于两个函数f和g以及常数a和b。
2.斯托克斯公式：斯托克斯公式是微分几何学中的一个重要定理，它描述了曲线和曲面上的微分形式之间的关系。
公式的核心思想是，曲线和曲面的边界上的微分形式之间的积分等于曲面内部微分形式的外微分的积分。
设M为一个有限曲线或曲面，边界记为∂M，f为定义在M上的一个光滑函数，而ω为M上的一个光滑微分形式。
则斯托克斯公式可以表示为：∫Mdω=∫∂Mω其中∫Mdω表示微分形式ω的外微分在M内部的积分，而∫∂Mω表示微分形式ω沿M的边界∂M的积分。
斯托克斯公式在物理学、工程学和应用数学中具有广泛的应用。
它可以用于计算曲面上其中一属性的总量，例如磁通量、电荷分布、质量流量等。
通过应用斯托克斯公式，可以将曲面的积分转化为曲线的积分，从而简化了计算的复杂性。
总结起来，外微分和斯托克斯公式是微分几何学中的两个重要概念。
外微分用于描述曲线、曲面和空间中的微分形式，而斯托克斯公式则描述了曲线和曲面上的微分形式之间的关系。
正则微分形式和外微分的初步了解
正则微分形式和外微分的初步了解在微积分和微分几何学中，正则微分形式和外微分是两个重要概念。
它们为我们理解多变量函数的微分和曲面上的积分提供了强有力的工具。
本文将对这两个概念进行初步解释和探讨。
一、正则微分形式正则微分形式是一种用于描述多变量函数的微分的数学工具。
它可以看作是标量场的"微分"，并通过矢量分析中的外积进行定义。
具体而言，设M是一个n维欧氏空间中的光滑曲面，那么在M上的一个p维正则微分形式记作ω，其表达式可以写为：ω=f(x1,...,xp)dx1∧...∧dxp其中f(x1,...,xp)是一个关于坐标变量的光滑函数，dx1∧...∧dxp表示外积。
正则微分形式的外积运算满足反对称性和结合律，这使得我们可以方便地对其进行计算和推导。
二、外微分外微分是一种用于描述曲面上的积分的数学工具。
它可以看作是将正则微分形式与曲面上的切向量进行内积的过程。
具体而言，设M是一个n维欧氏空间中的光滑曲面，而ω是定义在M上的一个p维正则微分形式。
那么在曲面上的外微分dω定义如下：dω=(∂f/∂x1)dx1∧...∧dxp其中(∂f/∂x1)是f关于x1的偏导数。
外微分具有线性性质和Leibniz法则，使得我们可以方便地对其进行计算和积分。
三、正则微分形式与外微分的关系正则微分形式和外微分是密切相关的。
事实上，一个正则微分形式的外微分就是另一个正则微分形式。
具体而言，设ω是M上的一个p维正则微分形式，则其外微分dω定义为：dω=∑(∂f/∂xi)dx1∧...∧dxp∧dxi其中(∂f/∂xi)是f关于xi的偏导数。
外微分dω可以看作是正则微分形式ω的导数，并且满足外微分的代数运算和微积分的基本规则。
四、应用领域正则微分形式和外微分在数学和物理学中有广泛的应用。
在微分几何学中，它们被用于描述曲面的曲率、平行性和黎曼几何。
在物理学中，它们被用于描述电磁场、引力场、流体力学等自然现象。
在应用数学中，它们被用于解决微分方程、优化问题和变分法等数学模型。
第八节微分式的外微分
第八节 微分形式的外微分一 微分形式及其外积我们知道, 一个可微函数12(,,,)n f x x x L 的全微分为1ni i ifdf dx x =∂=∂∑. 它是12,,n dx dx dx L 的线性组合, 一个很自然的想法是将12,,n dx dx dx L 看作一个线性空间的基.设Ω是nℜ上的区域, 记12(,,)n x x x x =r L , 1()C Ω(1,2,,i n =L )为Ω上连续可微函数全体. 将12,,n dx dx dx L 看作一组基, 其线性组合11122()()(),()()(1,2,,)n n i a x dx a x dx a x dx a x C i n +++∈Ω=rL L称为一次微分形式,简称1-形式. 1-形式的全体记为1()ΛΩ(或1Λ).如果对1Λ中的元素定义加法、数乘、零元和负元等, 就可以使1Λ成为一个1()C Ω上的线性空间. 对于任意1,ξη∈Λ:1122()()()n n a x dx a x dx a x dx ξ=+++L , 1122()()()n n b x dx b x dx b x dx η=+++L ,定义ξη+和λξ(1()C λ∈Ω)为111222(()())(()())(()())n n n a x b x dx a x b x dx a x b x dx ξη+=++++++r r r r r rL ,1122(()())(()())(()())n n x a x dx x a x dx x a x dx λξλλλ=+++r r r r r rL ,进一步定义1Λ中的零元为120000n dx dx dx =+++L ,且定义负元为1122(())(())(())n n a x dx a x dx a x dx ξ-=-+-++-L显然1Λ成为一个1()C Ω上的线性空间.为了得到二次微分形式, 我们先引入向量的外积这个概念.设12(,)a a a =r , 12(,)b b b =r 为平面2ℜ上两个线性无关的向量, 我们将行列式1212a ab b称为向量a r 与b r 的外积, 记为a b Λr r, 即1212a a ab b b Λ=r r . 平面上的向量的外积的讨论可以推广到nℜ上去. 设12(,,,),1,2,,,i i i in a a a a i n ==u rL L定义他们的外积为11121212221212n n n n n nna a a a a a a a a a a a ΛΛΛ=L u r u u r u u r LL M M O M L.它是由12,,,n a a a u r u u r u u rL 所张成的平行2n 面体的有向体积. 而且这种体积满足反对称性和分配律.类似于向量的外积, 规定,0(,1,2,,)i j j i i i dx dx dx dx dx dx i j n Λ=-ΛΛ==L .因此共有2n C 个有序元,1.i j dx dx i j n Λ≤<≤以这些有序元为基就可以构造一个线性空间2Λ. 其中2Λ的元素称为二次微分形式. 简称2-形式. 于是2Λ中的元素可以表示为1()ij i j i j ng x dx dx ≤<≤Λ∑r.这种形式称为2-形式的标准形式.一般地, 在12{,,,}n dx dx dx L 中任意选取k 个组成有序元, 记为12k i i i dx dx dx ΛΛΛL ,这里12,,,k i i i L 是从集合{1,2,,}n L 中选取的任意k 个整数. 规定1212,1i i k k dx dx dx i i i n ΛΛΛ≤<<<≤L L .以这些有序元为基构造一个线性空间kΛ. 其中kΛ的元素称为k 次微分形式. 简称k -形式. 于是一般k-形式就可以表示为121212,,,1()k k k i i i i i i i i i ng x dx dx dx ≤<<<≤ΛΛΛ∑L L rL .这种形式称为k -形式的标准形式.显然, 当k n >时, 总有120k i i i dx dx dx ΛΛΛ=L , 因此{0}kΛ=.Ω上的连续可微函数称为0-形式, 它们的全体记为0Λ, 它是一个线性空间, 函数1g ≡是它的一个基.现在把i j dx dx Λ中的Λ理解为一种运算. 对于任意1,ξη∈Λ:1122()()()n n a x dx a x dx a x dx ξ=+++L , 1122()()()n n b x dx b x dx b x dx η=+++L ,定义ξ与η的外积为1()()()()i j i j i j ni j a x a x dx dx b x b x ξη≤<≤Λ=Λ∑r r r r 它是2Λ中的元素.下面把这样的外积定义推广到任意的i Λ和jΛ上去. 若记Λ为线性空间01,,,nΛΛΛL 之和, 即有01n Λ=Λ+Λ++ΛL , 于是Λ是一个2n(因012n n n n n C C C +++=L )维的线性空间, 因此Λ中的元素的一般形式为01,,0,1,,i n i i n ωωωωω=+++∈Λ=L L .记12p I i i i dx dx dx dx =ΛΛΛL ,12qJ j j j dx dx dx dx =ΛΛΛL . 则1212p q I J i i i j j j dx dx dx dx dx dx dx dx Λ=ΛΛΛΛΛΛΛL L它是()p q +-形式. 对一般p -形式()I I Ig x dx ξ=∑r 和q -形式()J J Jh x dx η=∑r, 定义ξ和η的外积ξηΛ为,().I J I J I Jg h x dx dx ξηΛ=Λ∑它是()p q +-形式. 对于0-形式f ,我们补充定义()(),p I I If f f xg x dx ξξξ=Λ=∈Λ∑二 外微分的基本概念设nΩ⊂ℜ为区域, Ω上的可微函数12(,,,)n f x x x L 的全微分为1.ni n ifdf dx x =∂=∂∑这可以理解为: 一个0-形式作了微分运算后成为了1-形式.现在将微分运算推广到k Λ上去. 对k Λ中的任意一个k -形式.1212121()k k k i i i i i i i i i ng x dx dx dx ω≤<<<≤=ΛΛΛ∑L L L ,定义1212121(())k k k i i i i i i i i i nd dg x dx dx dx ω≤<<<≤=ΛΛΛΛ∑L L L12121211kk k ni i i i i i i i i i n i ig dx dx dx dx x ≤<<<≤=∂=ΛΛΛΛ∂∑∑L L L同时,对空间0n Λ=Λ++ΛL 上的任意一个元素01,,i n i ωωωωω=+++∈ΛL定义01n d d d d ωωωω=+++L .这样,微分运算:d Λ→Λ就是线性的, 即()d d d αξβηαξβη+=+, ,ξη∈Λ,其中,αβ为常数. 这样的微分运算d 称为外微分. 显然,1212()(1)k k i i i i i i d dx dx dx d dx dx dx ΛΛΛ=ΛΛΛL L12(1)0k i i i d dx dx dx =ΛΛΛΛ=L .性质1 设ω为k -形式, η为l -形式, 则()(1)k d d d ξηξηξηΛ=Λ+-Λ.证明 (留作练习).设ω∈Λ, 定义2()d d d ωω=. 在下面的讨论中,我们假设微分形式的系数都具有二阶连续偏导数.例13.34 设0f ∈Λ为0-形式, 证明20.d f =证明 由于f 具有二阶连续偏导数, 因此22i j j if fx x x x ∂∂=∂∂∂∂. 所以 22111()n n n i j i i i j i j if fd f d df d dx dx dx x x x ===⎛⎫∂∂===Λ ⎪∂∂∂⎝⎭∑∑∑220i j i j i jj i f f dx dx x x x x <⎛⎫∂∂=-Λ= ⎪ ⎪∂∂∂∂⎝⎭∑. 性质2 对任意ω∈Λ, 有20.d ω= 证明 由于d 的线性性, 只要证明12()ki i i a x dx dx dx ω=ΛΛΛL这种情形即可. 这时12(())k i i i d da x dx dx dx ω=ΛΛΛΛL ,由于ω具有二阶连续偏导数, 因此22i j j ix x x x ωω∂∂=∂∂∂∂. 所以 22111()n n n i j i i i j i j id d d d dx dx dx x x x ωωωω===⎛⎫∂∂===Λ ⎪∂∂∂⎝⎭∑∑∑220i j i j i jj i dx dx x x x x ωω<⎛⎫∂∂=-Λ= ⎪ ⎪∂∂∂∂⎝⎭∑.因此再由性质1可得2()d d d ωω=122()k i i i d a dx dx dx =ΛΛΛΛL12()()k i i i da d dx dx dx -ΛΛΛΛL 120()00k i i i dx dx dx da =ΛΛΛΛ-Λ=L .二 外微分的应用 首先看Green 公式()(),,L D Q P dxdy P x y dx Q x y dy x y ⎛⎫∂∂-=+ ⎪∂∂⎝⎭⎰⎰⎰Ñ 其中闭区域nD ⊂ℜ的边界由分段光滑的曲线L 所围成. 若将dx dy Λ看成有向面积元素,那么如果将它看成是正面积元素dxdy 的话, 上式就可以表示为()(),,L D Q P dx dy P x y dx Q x y dy x y ⎛⎫∂∂-Λ=+ ⎪∂∂⎝⎭⎰⎰⎰Ñ 对于1-形式(,)(,)P x y dx Q x y dy ω=+, 则由外微分的定义可得()()d dP dx dQ dy ω=Λ+ΛP P Q Q dx dy dx dx dy dy x y x y ⎛⎫⎛⎫∂∂∂∂=+Λ++Λ ⎪ ⎪∂∂∂∂⎝⎭⎝⎭P Q Q P dy dx dx dy dx dy y x x y ⎛⎫∂∂∂∂=Λ+Λ=-Λ ⎪∂∂∂∂⎝⎭. 于是有下式成立LDd ωω=⎰⎰.再看Stokes 公式()()()R Q P R Q Pdydz dzdx dxdy y z z x x y ∑∂∂∂∂∂∂-+-+-∂∂∂∂∂∂⎰⎰Pdx Qdy Rdz Γ=++⎰Ñ 其中Γ为分段光滑的空间有向闭曲线,∑是以Γ为边界的分片光滑的有向曲面, Γ的正向与∑的侧符合右手规则. 对于1-形式(,,)(,,)(,,)P x y z dx Q x y z dy R x y z dz ω=++,由外微分的定义可得()()()d dP dx dQ dy dR dz ω=Λ+Λ+ΛP P R Q Q Q R R R dx dy dz dx dx dy dx dz x y z x y z x y z ⎛⎫⎛⎫⎛⎫∂∂∂∂∂∂∂∂∂=++Λ+++Λ+++Λ ⎪ ⎪ ⎪∂∂∂∂∂∂∂∂∂⎝⎭⎝⎭⎝⎭R Q P R Q Q dy dz dz dx dx dy y z z x x y ⎛⎫⎛⎫∂∂∂∂∂∂⎛⎫=-Λ+-Λ+-Λ ⎪ ⎪ ⎪∂∂∂∂∂∂⎝⎭⎝⎭⎝⎭于是Stokes 公式则变为d ωωΓ∑=⎰⎰.同样地, 对于Gauss 公式()P Q R dxdydz Pdydz Qdzdx Rdxdy x y z Ω∑∂∂∂++=++∂∂∂⎰⎰⎰⎰⎰Ò 其中空间区域Ω由分片光滑的双侧封闭曲面∑所围成. 如果我们将有向体积元素dx dy dz ΛΛ看成是正体积元素dxdydz 的话, 它就可以表示为()P Q R dxdydz Pdy dz Qdz dx Rdx dy x y z Ω∑∂∂∂++=Λ+Λ+Λ∂∂∂⎰⎰⎰⎰⎰Ò对于2-形式(,,)(,,)(,,)P x y z dy dz Q x y z dz dx R x y z dx dy ω=Λ+Λ+Λ, 我们有()()()d dP dy dz dQ dz dx dR dx dy ω=ΛΛ+ΛΛ+ΛΛP P P dx dy dz dy dz x y z ⎛⎫∂∂∂=++ΛΛ ⎪∂∂∂⎝⎭Q Q Q dx dy dz dz dx xy z ⎛⎫∂∂∂+++ΛΛ ⎪∂∂∂⎝⎭R R R dx dy dz dy dz xy z ⎛⎫∂∂∂+++ΛΛ ⎪∂∂∂⎝⎭.于是Gauss 公式则变为d ωω∑Ω=⎰⎰.这样, Green 公式、Gauss 公式和Stokes 公式就可以统一地写成如下形式：MMf df ∂=⎰⎰.这个式子统称为Stokes 公式. 它说明了, 高次的微分形式d ω在给定区域上的积分等于低一次的微分形式ω在低一维的区域边界上的积分.习题14.8 1. 设pξ∈Λ, qη∈Λ, 证明: 当p q n +>时, 0ξηΛ=.2. 设pξ∈Λ, qη∈Λ,证明: (1)pqξηηξΛ=-Λ.3. 设1njj ii n adx ξ==∑, 1,2,,j n =L , 为n ℜ上的1-形式, 证明1212det()j n i n a dx dx dx ξξξΛΛΛ=ΛΛΛL L .4. 证明性质1.。
微分流形-微分形式和外微分
定义 4
p x
(
M
) 中的元素 p
i1
ai1
ip
ip dxi1
dxip ，称为 M 在 x 处的一个 p
次（外）微分形式（
p
-形式），
p x
(M
)
称为
p
-形式空间，又令
p
(M
)
p x
(M
)
，
xM
称为 p -形式丛.
微分形式与外微分
定义 5 设对每点 x M 给定一个 p -形式 p (x) ，称映射 p : M p (M ) ，为流 形上的 p -形式场.
微分形式与外微分
n f (x)
函数 f (x) 可视为流形 M 上的 0-形式，微分后有 df (x)
i 1
xi
dxi ，若流形 M 上
的 p -形式
ai1 ip dxi1 dxip ，则定义其外微分如下：
i1 ip
d
dai1 ip dxi1
i1 ip
dxip
i1
ip
n j 1
线性空间上的张量和张量积
定义 2 设向量空间V ，基底是{ei ,i 1, 2, , n} ，V * 是V 的对偶空间，它有对偶基
{ei*, i 1, 2, , n}，构建双线性映射Vsr V * V * V V ，Vsr 里面的元素称为
r
s
r 阶 逆 变 ， s 阶 协 变 张 量 ， 简 称 (r, s) 型 张 量 ， 基 底 是 {ei1
为是反对称的，其中偶数个対换取正号，奇数个対换取负号.
协变张量的张量积、外积
例 设 V 是一个二维线性空间，取 M 的一个基底 {e1, e2} ，使得 e1e2 0 ，对于
补充4：外微分形式
微分形式
例 2 计算微分形式的外积 ω ∧ θ，其中 ω = ƒ d + g dy + h dz θ = P dy ∧ dz + Q dz ∧ d + R d ∧ dy
解答 展开 ω ∧ θ 后共有 9 项，其中 6 项为零，故有 ω ∧ θ = (ƒ P + gQ + hR) d ∧ dy ∧ dz.
∫
∫
ω = dω
∂Ω
Ω
类似地，直线上的牛顿－莱布尼茨公式以及平面上的
格林公式中也可以统一到上式．
注记 边界和外微分有性质 ∂(∂Ω) = ∅，d(dω) = 0．
. 123
微分形式换元
在外微分形式中，积分换元运算变得非常自然．比如
计算直角坐标到极坐标的换元：因为 = ρ cos θ，
y = ρ sin θ，所以
dy ∧ dy = 0,
dy ∧ dz = − dz ∧ dy,
dz ∧ dz = 0,
dz ∧ d = − d ∧ dy.
注记 对于三个微分作外积，规定可用结合律．比如 d ∧ dy ∧ d = d ∧ (dy ∧ d)
= − d ∧ (d ∧ dy) = −(d ∧ d) ∧ dy = 0
. 123
dω = dP ∧ dy ∧ dz
注记 外微分运算规定 d(ω1 + ω2) = dω1 + dω2．
. 123
例 1 计算 1 次微分形式的外微分 dω，其中 ω = P d + Q dy + R dz.
. 123
例 1 计算 1 次微分形式的外微分 dω，其中 ω = P d + Q dy + R dz.
第4章 张量和外微分形式
一、张量空间 1、多重线性映射与多重线性泛函 定义 设V1,V2 , ,Vn ,W是n + 1个线性空间，如果映射
T : V1 ×V2 × Vn → W 对于每个向量变量是线性的，即对 ∀i ∈{1, 2,…, n} ，都有
T (v1, , λvi + μv 'i , , vn ) = λT (v1, , vi , , vn ) + μT (v1, , v 'i , , vn ) ， 则称T 是 n 重线性映射或多重线性映射。当W = R 时称为多重线性泛函。
推论 设 g1, , g r ∈V *,i1, ,ir 可在1, , r 中取数，则
g i1 ∧ g i2 ∧
⎧ g1 ∧ ∧ gr ,
∧ gir = ⎪⎨−g1 ∧ ∧ g r ,
⎪ ⎩
0,
(i1, ,ir )为偶置换, (i1, , ir )为奇置换, (i1, ,ir )中有相同者.
6、 Λr (V ) 的基 定理 设V 的基为{e1, , en}, 其对偶基为{ f 1, , f n}, 则 Λr (V ) 的基为
例 1 f (x, y) = xy 定义了 R2 到 R 的双线性泛函。
例 2 设V 是线性空间，V * 是对偶空间。定义T :V * ×V → R 为T ( f , x) = f (x) ，则T 是双线性泛函。
注 1 多重线性映射与线性映射不同。 注 2 记 L(V1 ×V2 × ×Vn ,W ) 为全体V1 × ×Vn 到W 的多重线性映射的集合， 定义加法和数乘如下：
称 S ⊗ T 为 S 与T 的张量积。
张量积有性质： (1) 分配律 (S1 + S2 ) ⊗T = S1 ⊗T + S2 ⊗T , S1, S2 同阶张量；
外微分 微分几何
外微分微分几何全文共四篇示例，供读者参考第一篇示例：外微分是微分几何中一个重要的概念，它是研究曲面局部性质的有力工具。
在微分几何中，我们经常遇到曲面上的切向量、法向量、曲率等概念，而这些概念的定义和运算都与外微分密切相关。
外微分的概念最早是由意大利数学家里卡尔多·考西（Ricardo Oxxi）提出的。
外微分是将曲面上的向量场和微分形式与切空间之间的映射联系起来的一种运算。
简单来说，外微分是定义在曲面上的微分形式或者向量场在局部投影到切空间上的一个操作。
在微分几何的研究中，我们经常需要对曲面上的函数或者向量场进行求导操作。
以函数为例，我们知道在欧几里得空间中，一元函数的微分可以用函数的导数来表示。
而在曲面上，函数的导数则需要通过外微分来定义。
对于向量场而言，也可以通过外微分操作来定义向量场的微分。
在介绍外微分的具体概念之前，我们先来回顾一下曲面的切空间和法空间的概念。
在欧几里得空间中，切空间是与曲面上点处切平面对应的向量空间，切向量是切空间中的一个向量。
法空间则是与切空间正交的一个向量空间，法向量是法空间中的一个向量。
通过外微分，我们可以将曲面上的函数或者向量场投影到切空间或者法空间上，从而得到在局部的微分形式。
在微分几何中，我们通常会研究曲面的局部性质，比如曲率、曲率流、平均曲率等。
而外微分可以帮助我们求解这些局部性质。
通过外微分，我们可以将曲面上的函数或者向量场投影到切空间或者法空间上，再进行进一步的运算。
通过外微分，我们可以定义曲面上的导数、梯度等概念，从而推导出曲面的曲率、法曲率等性质。
除了在求解曲面的局部性质方面，外微分还有许多应用。
在计算几何学、机器学习、图像处理等领域，外微分也被广泛应用。
通过外微分，我们可以对曲面进行局部参数化、计算曲率、求解曲线间的关系等操作。
外微分在微分几何中具有重要的意义，它帮助我们理解曲面的局部性质，为曲面的研究提供了有力的工具。
外微分是微分几何中一个重要的概念，它通过将曲面上的函数或者向量场投影到切空间或者法空间上，帮助我们定义并求解曲面的局部性质。
外微分形式的微积分
外微分形式的微积分在单变量微积分中，我们学习了导数和积分，它们分别描述了函数的变化率和面积。
然而，在多元函数中，我们需要引入外微分形式来测量函数在空间中的变化。
外微分形式是基于多元函数的全微分概念发展起来的，它包含了一系列的微分形式，用来描述不同维度上的变化。
在几何学中，我们用矢量来表示空间点和方向，而外微分形式则扩展了矢量的概念，引入了微分形式的概念。
微分形式是一种广义的“矢量”，它不仅可以表示方向和变化率，还可以表示面积、体积等概念。
微分形式的定义是在每个点上定义了一个张量，具有大小和方向，可以用来描述函数的变化。
现在我们具体来介绍一下外微分形式的运算。
对于一个多元函数f(x,y,z)，它的全微分可以表示为：df = (∂f/∂x)dx + (∂f/∂y)dy + (∂f/∂z)dz这里的dx, dy, dz称为微分元，它们是一种微小的变化量。
根据微分元的定义，我们可以得到如下结论：dx, dy, dz在同一坐标系下是相互独立的，它们是线性无关的。
在外微分形式中，我们将微分元看作是一种微小的“面积元”。
基于这个概念，我们可以定义一个二阶微分形式：dA = dx∧dy （∧表示外积）这里的∧表示外积，即两个向量的叉乘。
dA表示一个微小的面积元，它在x和y方向上有微小的变化。
通过积分，我们可以将dA扩展为一个曲面的面积，用来表示函数在该曲面上的变化。
除了二阶微分形式，外微分形式还包括一阶和三阶微分形式。
一阶微分形式是在全微分的基础上扩展而来的，它表示一个微小的增量，可以用来描述函数的变化率。
三阶微分形式则表示一个微小的体积元，可以用来描述函数在空间中的变化。
外微分形式在微积分中有许多重要的应用。
首先，它可以用来描述曲线、曲面和体积的变化。
我们可以通过对微分形式的积分来求解曲线的弧长、曲面的面积和体积。
其次，外微分形式还可以用来描述场的变化。
例如，在电磁学中，我们可以利用外微分形式来描述电场和磁场的变化，从而求解电场和磁场的分布。
外 微 分
外微 分尹 小 玲以下仅在三维空间中讨论。
一、微分的外积运算微分的外积定义：对三维空间中自变量的微分dx ，dy ，dz ，其外积运算用∧表示，如dx 与dy 的外积记为dy dx ∧，它们满足以下运算法则：（1）)()(dy dx a dy adx ∧=∧，（a 是实数）；（2）外积运算对加法有分配律，如dz dx dy dx dz dy dx ∧+∧=+∧)(；（3）反交换律，即任何两个微分的外积交换次序后变号，如dx dy dy dx ∧-=∧； （4）任意一个微分与自身的外积等于0，如0=∧dx dx ； （5）结合律，dz dy dx dz dy dx ∧∧=∧∧)()(；dx ，dy ，dz 在几何上可以理解为有向长度微元。
dy dx dx dz dz dy ∧∧∧,,在几何上可以理解为有向面积微元，dz dy dx ∧∧在几何上可以理解为有向体积微元。
因此，它们与dxdy dzdx dydz ,,，dxdydz 的区别在于前者是有向度量，即值有正负之分，而后者是无向的，永远是正的。
把微分的外积运算与向量的外积运算b a ⨯相比较，上述运算法则（1）~（4）是完全类似的。
而||b a ⨯在几何上是以b a,为边的平行四边形的面积，对应于dydz dz dy =∧||，dzdx dx dz =∧||，dxdy dy dx =∧||二、外微分式及其外微分式的外积运算设F C B A R Q P ,,,,,,都是三维空间的函数，则分别称（1）~（4）式为零阶、一阶、二阶和三阶外微分式F （1）Rdz Qdy Pdx ++ （2） dy Cdx dx Bdz dz Ady ∧+∧+∧ （3） dz dy Fdx ∧∧ （4）例 p 阶外微分式与q 阶外微分式的外积是q p +阶外微分式，当3>+q p 时，外积为0。
证 两个一阶外微分式的外积∧++)(111dz R dy Q dx P )(222dz R dy Q dx P ++)()(22212221dz R dy Q dx P dy Q dz R dy Q dx P dx P ++∧+++∧= )(2221dz R dy Q dx P dz R ++∧+dy dx P Q Q P dx dz R P P R dz dy Q R R Q ∧-+∧-+∧-=)()()(212121212121222111R Q P R Q P dydx dx dz dz dy ∧∧∧=一阶外微分式与二阶外微分式的外积∧++)(Rdz Qdy Pdx )(dy Cdx dx Bdz dz Ady ∧+∧+∧ )(dy Cdx dx Bdz dz Ady Pdx ∧+∧+∧∧= )(dy Cdx dx Bdz dz Ady Qdy ∧+∧+∧∧+ )(dy Cdx dx Bdz dz Ady Rdz ∧+∧+∧∧+dz dy dx RC QB PA ∧∧++=)(dz dy dx C B A R Q P ∧∧⋅=}),,{},,({ 其余显然成立。
数学分析中的微分形式和外微分的应用
微分是数学分析中的重要概念，它被广泛应用于各个科学领域中。
微分形式和外微分是微分的扩展概念，它们可以用于描述更加复杂的几何和物理现象。
本文将以数学分析中的微分形式和外微分的应用为主题，探讨它们在几何和物理学中的应用。
微分形式是微分学中的一种扩展表示方式。
在一元函数情况下，微分形式通常可以写作f（x）dx，其中f（x）是函数，dx表示无穷小变量。
它可以用于描述函数的无穷小变化。
而在多元函数情况下，微分形式可以表示为f（x1，x2，…，xn）dx1∧dx2∧…∧dxn，其中f（x1，x2，…，xn）是多元函数，dx1∧dx2∧…∧dxn表示外积。
微分形式不仅可以用于描述函数在某一点的无穷小变化，还可以用于积分计算和曲线、曲面等几何对象的分析。
外微分是微积分学中的另一种扩展表示方式。
它是微分形式的推广，通过将微分形式进行外积运算得到。
外微分可以理解为向量场的微分，它具有线性性质和差分运算律。
外微分可以用于描述向量场的旋度和散度，从而揭示了向量场在空间的流动性质。
外微分还可以用于描述曲面的几何性质，如曲率、法向量和曲面积分等。
在物理学中，外微分被广泛应用于描述电磁场和流体力学等领域。
微分形式和外微分在几何学中的应用非常广泛。
几何学研究空间中的形状和结构，微分形式和外微分能够提供一种方便的数学工具来描述和分析几何对象。
例如，在曲线研究中，微分形式可以用于计算曲线的长度、曲率和弯曲程度。
在曲面研究中，外微分可以用于计算曲面的法向量、曲率和曲面积分等。
在流形研究中，微分形式和外微分是几何和拓扑学研究的基础工具。
在物理学中，微分形式和外微分可以应用于描述电磁场、流体力学等自然现象。
例如，在电磁学中，微分形式和外微分可以用于描述电场和磁场的分布和变化规律，从而揭示了电磁现象的本质和规律。
在流体力学中，微分形式和外微分可以用于描述流体的速度场、压力场和流动性质，从而揭示了流体力学的基本方程和流动规律。
在总结中，微分形式和外微分是数学分析中的重要概念，在几何和物理学中有广泛的应用。
外微分
利用外微分对场论中三个算子的讨论【摘要】本文通过引入外微分算子,对经典场论中的梯度,旋度,散度做了统一的解释,寻找其中的关系.同时利用其寻找Newton—Leibniz公式、Green公式、Stokes公式和Gauss公式之间的联系.关键词：外微分场论1、引言在关于多元函数积分的学习中，我们可以得出各种积分之间的联系.但是我们可以看到，关于统一这些积分形式的Newton—Leibniz公式、Green公式、Stokes公式和Gauss 公式之间也是有一定联系的.通过查找资料知道，我们可以通过另一个形式——外微分，将它们统一起来.同时，也可以用外微分算子来解释经典场论中的三个算子：梯度算子、散度算子和旋度算子的引进.在三维空间中，我们只能得到四种相应的外微分形式，但是按照外微分算子的定义，其可以推广到n维.以上问题将在下面进行简要的讨论与证明.2、主要结论及其证明2.1场论的简单引入2.1.1 场的概念依据空间中坐标系的表现形式,场是关于点的坐标的多变量函数.根据原物理量,可以将场分为数量场和向量场.2.1.2 场论中的三个算子从对数量场的方向微商的定义中,可以引申出梯度的概念.定义2.1:数量场u在点M处的梯度是一个向量,记为grad u,其大小为场u在点M的所有方向微商中的最大值,其方向为取到这个最大值所沿的那个方向.在三维的直角坐标系中可以表达为:.从对向量场的通量的定义中,可以引申出散度的概念.定义2.2:设是区域上的向量场,是内一点.在场中围绕点做任意的闭曲面,是所围成的闭区域,其体积记为.是外侧的单位法向量.若当区域无限收缩于点时,比式的极限存在,就称该极限为向量场在点的散度,记为,即它表示点附近单位体积所流出的流量，称为处源的密度.从对向量场的环量的定义中,可以引申出旋度的概念.定义2.3:设是定义在区域上的向量场,是中的一点,是在点处取定的单位向量.在内过,做任意光滑的且以为法向量的曲面元,假定这个曲面元的面积为,它的边界是逐段光滑的闭曲线.选取的环行方向,使之与向量组成右手螺旋系统.如果当面元无限收缩于点，而在点处的法向量保持不变时，平均环量的极限就存在，就称此极限为场在点处绕方向的涡量,记做,即并且吧这些涡量的最大值以及取到最大值的方向所构成的一个向量称为在点的旋度,记作.2.2 外微分形式2.2.1 外微分形式的外积设在微分之间定义一种乘积的运算,它满足下述法则:两个相同微分的乘积为0;两个不同微分的乘积变换顺序时变号.这种微分之间的乘积称作微分的外积,用表示.则定义2.4:由微分的外积乘以三元函数组成的微分形式称为外微分形式.设都是三维空间的函数，则分别称（1）~（4）式为零阶、一阶、二阶和三阶外微分式（1）（2）（3）（4）其满足分配律和结合律，但不满足交换律.2.2.2 外微分形式的外微分当我们在其中引入微分运算符d,若是零次外微分形式,即为函数,则定义d就是通常的全微分算符.若是一次外微分形式则定义将全微分的表达式带入后化简，给出若是二次外微分形式，则可以类比.若__D_Dd__________ìĝϨϨ______________2.3 对梯度、散度、旋度的统一2.3.1 梯度,旋度,散度的计算与联系因为在此，仅仅涉及到三维欧式空间，则三次外微分没有与之对应的“度”，可以不予以讨论,仅就场论中三个算子进行讨论.(1)零次外微分形式的外微分公式为而数量场的梯度为所以零次外微分形式的外微分与梯度相对应。
外微分形式的微积分
外微分形式的微积分外微分形式是微积分中的一个重要概念，广泛应用于微分几何、物理学和工程学等领域中。
它是描述多元函数和曲面的工具，帮助我们理解和计算复杂的曲线和曲面上的积分以及它们之间的关系。
为了更好地理解外微分形式，首先需要了解微分形式的概念。
微分形式是一种能够描述曲线或曲面上各点的性质的数学对象。
它在数学上是一种广义的概念，可以用来描述不同维度的对象。
例如，在曲线上，微分形式可以表示为f(x)dx，其中f(x)是一个函数，dx表示微小的位移。
在曲面上，微分形式可以表示为f(x,y)dxdy，其中f(x,y)是一个二元函数。
外微分形式则是微分形式的推广，它可以描述更高维度的对象，如三维空间中的曲面或四维空间中的流形。
外微分形式使用向量的外积来定义，具有更强的代数性质。
例如，在三维空间中，一个外微分形式可以表示为f(x,y,z)dxdydz，其中f(x,y,z)是一个三元函数。
这种表示方式非常直观，它将函数值与微小的位移相乘，得到一个描述各点性质的形式。
外微分形式的一个重要性质是它能够描述曲线或曲面上的微积分运算，如积分和微分。
通过外微分形式，我们可以定义曲线和曲面上的曲线积分、曲面积分以及通量等概念。
这些积分与微分形式之间存在紧密的联系，它们互为逆运算。
使用外微分形式，我们可以将复杂的积分问题转化为简单的运算，使得计算更为方便。
在物理学和工程学中，外微分形式被广泛应用于描述电磁场、流体力学以及广义相对论等领域中的物理现象。
例如，在电磁场中，我们可以用外微分形式来描述电场和磁场的分布情况，进而计算电场和磁场的通量、环路积分等物理量。
在流体力学中，外微分形式可以描述流体的速度场、压力场等性质，帮助我们分析流体的运动行为。
在广义相对论中，外微分形式能够描述时空的曲率和引力场的分布情况，帮助我们理解引力的本质和时空的弯曲性质。
总之，外微分形式是微积分中的重要工具，它能够描述曲线和曲面上的性质，并帮助我们计算复杂的积分和微分。
外微分
外微分尹小玲(以下仅在三维空间中讨论)一、微分的外积运算微分的外积定义：对三维空间中自变量的微分dx ，dy ，dz ，其外积运算用Ù表示，如dx 与dy 的外积记为dy dx Ù，它们满足以下运算法则：（1）)()(dy dx a dy adx Ù=Ù，（a 是实数）；（2）外积运算对加法有分配律，如dz dx dy dx dz dy dx Ù+Ù=+Ù)(；（3）反交换律，即任何两个微分的外积交换次序后变号，如dx dy dy dx Ù-=Ù；（4）任意一个微分与自身的外积等于0，如0=Ùdx dx ；（5）结合律，dz dy dx dz dy dx ÙÙ=ÙÙ)()(；dx ，dy ，dz 在几何上可以理解为有向长度微元。
dy dx dx dz dz dy ÙÙÙ,,在几何上可以理解为有向面积微元，dz dy dx ÙÙ在几何上可以理解为有向体积微元。
因此，它们与dxdy dzdx dydz ,,，dxdydz 的区别在于前者是有向度量，即值有正负之分，而后者是无向的，永远是正的。
把微分的外积运算与向量的外积运算b a r r ´相比较，上述运算法则（1）~（4）是完全类似的。
而||b a r r ´在几何上是以b a r r ,为边的平行四边形的面积，对应于dydz dz dy =Ù||，dzdx dx dz =Ù||，dxdydy dx =Ù||二、外微分式及其外微分式的外积运算设F C B A R Q P ,,,,,,都是三维空间的函数，则分别称（1）~（4）式为零阶、一阶、二阶和三阶外微分式F（1）RdzQdy Pdx ++（2）dyCdx dx Bdz dz Ady Ù+Ù+Ù（3）dz dy Fdx ÙÙ（4）例p 阶外微分式与q 阶外微分式的外积是q p +阶外微分式，当3>+q p 时，外积为0。
外微分的具体定义
探究外微分的具体定义与应用外微分是微积分分支中重要的概念之一，其定义与应用对于数学和工程领域的研究都有着重大的帮助。
本文将对外微分的具体定义与应用进行探究，帮助读者进一步理解这一重要概念。
一、外微分的定义在微积分学中，我们常常需要对曲面上的函数进行求导。
而外微分就是解决这一问题的一种途径。
设曲面上的某个函数为f(x,y)，则该函数的外微分为：df = (∂f/∂x)dx + (∂f/∂y)dy其中，dx和dy表示在曲面上的微小变化量。
可以看出，外微分df由两个部分组成，第一个部分是x方向的变化率的微小值与dx的乘积，第二个部分是y方向变化率的微小值与dy的乘积。
二、外微分的应用外微分有着广泛的应用，特别是在工程和物理领域中。
以下是外微分的一些应用：1. 最值问题：在不平的曲面上，外微分可帮助找到某个函数的最小值或最大值。
这对于机械设计和实验物理学领域中优化问题的解决至关重要。
2. 向量场问题：在物理领域中，向量场是经常会出现的概念。
外微分可用于解决任意向量场的旋度和散度问题。
3. 格林公式：格林公式是微积分中的一条基本公式，它用于计算平面内边界曲线面积及曲线围成区域的面积。
外微分在格林公式的证明中有着重要作用。
4. 流形问题：在纯数学研究中，流形问题是外微分的一个重要应用。
外微分可以帮助我们更好地理解和描述流形的性质和特征。
以上只是外微分应用的一些简单例子，实际上，外微分在数学和工程领域中有着广泛的应用和深厚的理论基础。
三、结语外微分是微积分分支中一种重要的工具，它可以帮助我们更好地理解和描述曲面上的性质及函数的微小变化。
本文介绍了外微分的具体定义及其在数学和工程领域中的应用。
通过深入学习和了解外微分，可以帮助我们更深入地理解微积分相关的问题。
外微分及斯托克斯公式
外微分在物理上可以理解为场的散度， 它描述了场在给定点处的变化率。斯 托克斯公式则可以理解为在物理过程 中，场的散度沿着路径的积分，它描 述了场在物理过程中的变化。
VS
外微分和斯托克斯公式的物理意义都 与物理场的变化有关，它们物理上 具有密切的联系。
04 外微分与斯托克斯公式的 应用
在数学物理中的应用
外微分形式可以表示为$df = f dx^1 wedge dx^2 wedge cdots wedge dx^n$，其中$dx^i$是坐标微分，$wedge$表示外积。
外微分的形式
01
外微分形式可以表示为线性组合、数乘和外积的线性组合，即 $d(k f) = k df, d(f + g) = df + dg, d(f dx^i) = df wedge dx^i$。
计算电磁场的量
通过外微分和斯托克斯公式，可以计算电磁场的能 量密度、坡印廷矢量等物理量。
研究电磁学现象
外微分和斯托克斯公式可以用于研究电磁学 现象，例如麦克斯韦方程组的求解、电磁波 的传播等。
05 外微分及斯托克斯公式的 扩展
外微分的扩展形式
01
广义外微分
在更广泛的函数空间中，引入了 更一般的微分概念，使得外微分 的应用范围更广。
物理应用
斯托克斯公式在物理中有广泛的应用，如电磁学、流体力学和量子力学等领域。它描述了磁场和电场之间的相互 作用，以及流体速度场和压力场之间的关系。
数学应用
斯托克斯公式在数学中也有重要的应用，如在偏微分方程和微分几何等领域。它用于求解某些偏微分方程，以及 在微分几何中研究流形上的向量场和标量场之间的关系。
描述物理量之间的关系
01
外微分可以用来描述物理量之间的关系，例如速度场和流线之
外微分
dxdydz dxdy dz dydx dz dydxdz,
dxdydx dx(dydx) dx(dxdy) (dxdx)dy 0
等等。 设 P, Q, R 是定义在 R 中的函数，下列表达式
3
Pdx Qdy Rdz,
fPdxdydz gQd dzdx hRdz dxdy ( fP gQ hR)dxdydz
注：从以上两例还可以看出， dx, dy, dz 在做外微分运算时相当于向 量当中 i , j , k 的作用。 2. 外微分运算 现在我们引进外微分运算，仍用符号 d 表示。
D
w dw
D
Pdx Qdy Rdz (
L S
R Q P R Q P )dydz ( )dzdx ( )dxdy y z z x x y
若令 w Pdx Qdy Rdz ， 则由公式(1)可知 Stokes 公式可以改写为 这里 w 是一个 1 次形式。 于是，我们看到三个公式统一到了一起。 事实上，上述公式可推广到 R 中，得到
微分形式和外微分运算介绍 我们学习了 Green 公式、 Gauss公式和 Stokes 公式，它们都是把区 域上的积分同它边界上的积分相联系。前面曾提到过，这三个公式都 可看成是 Newton Leibniz 公式的推广，并稍微提及了外微分运算。 下面就对外微分运算做一些介绍。 先在 R 3 中定义一些概念，这些概念是可以在 R n 中推广的。 1. 微分间的外积运算和微分形式 在微分 dx, dy, dz 之间引进外积运算（相当于向量之间的叉乘） ，用符 号 表示，运算规则是：
Pdydz Qdzdx Rdxdy,
Rdxdydz
外微分形式
外微分形式外微分形式，又称微分形式，是微分流形上定义的反对称协变张量场。
1外微分形式简介微分形式是多变量微积分、微分拓扑和张量分析领域的一个数学概念。
现代意义上的微分形式，及其以楔积(wedge product)和外微分结构形成外代数的想法，都是由法国数学家埃里·嘉当引入的。
我们从R中的开集的情形开始。
一个0-形式（0-form）定义为一个光滑函数f. 当我们在R的m-维子空间S上对函数f积分时，我们将积分写作：把dx1, ...,dxn当作形式化的对象，而非让积分看起来像个黎曼和的标记。
我们把这些和他们的负−dx1, ..., −dxn叫做基本'1-形式。
我们再在其上定义一种乘法规则楔积，这种乘法只需满足反交换的条件：对所有i,j注意这意味着我们把这些乘积的集合叫做基本2-形式，类似的我们定义乘积的集合为基本'3-形式，这里假定n至少为3。
定义一个单项式'k-形式为一个0-形式乘以一个基本的k-形式，定义k-形式为一些单项式k-形式的和。
楔积可以推广到这些和上：等等，这里dxI和类似的项表示k-形式。
换句话说，和的积就是所有可能的积的和。
我们来定义光滑流形上的k-形式。
为此，我们假设有一个开坐标覆盖。
我们可以在每个坐标邻域上定义一个k-形式；一个全局的k-形式就是一组坐标领域上的k-形式，他们在坐标邻域的交集上一致。
这种一致的精确定义，见流形。
2楔积的性质若f,g,w为任意微分形式，则若f为k-形式，g为l-形式：3抽象(简明)定义及讨论在微分几何中，k阶微分k-形式是一个流形的余切丛的k阶外幂（exterior power）的光滑截面。
在流形的每一点p,一个k-形式给出一个从切空间的k阶笛卡儿幂（cartesian power）到R的多线性映射。
例如，光滑函数（0-形式）的微分就是一个1-形式。
1-形式在张量的坐标无关表示中是一个很有用的基本概念。
在这个上下文中，他们可以定义为向量的的实值函数，并可以看成他们所对应的向量空间的对偶空间。
习题144微分形式的外微分
习 题 14.4 微分形式的外微分1. 计算下列微分形式的外微分：（1）1-形式；dy x xydx 22+=ω（2）1-形式xdy ydx sin cos −=ω；（3）2-形式dz xydx dy zdx ∧−∧=6ω。
解（1）0222=∧+∧+∧=dy xdx dx xdy dx ydx d ω。
（2）dy dx x y dy xdx dx ydy d ∧−=∧−∧−=)cos (sin cos sin ω。
（3）=∧∧−∧∧=dz dx xdy dy dx dz d 6ωdz dy dx x ∧∧+)6(。
2．设ω=+++a x dx a x dx a x dx n n n 111222()()()"是n R 上的1-形式，求d ω。
解 d ω0)(1=∧′=∑=ni i i i i dx dx x a3．设ω=∧+∧+∧a x x dx dx a x x dx dx a x x dx dx 12323213313121(,)(,)(,)2是3R 上的2-形式，求d ω。
解 设 323211),(dx dx x x a ∧=ω，由于0,0323322=∧∧=∧∧dx dx dx dx dx dx ，则有=1ωd 03233132221=∧∧∂∂+∧∧∂∂dx dx dx x a dx dx dx x a 。
类似地，设 133122),(dx dx x x a ∧=ω，212133),(dx dx x x a ∧=ω，则032==ωωd d ，从而0321=++=ωωωωd d d d 。
4. 在3R 上在一个开区域Ω=××(,)(,)(,)a b c d e f 上定义了具有连续导数的函数，，，试求形如)(1z a )(2x a )(3y a dz x b dy z b dx y b )()()(321++=ω的1-形式ω，使得dy dx y a dx dz x a dz dy z a d ∧+∧+∧=)()()(321ω 。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
∂Σ
∫ pdx + Qdy + Rdz
∂R ∂Q ∂Q ∂P ∂P ∂R − − − dz Λdx + dyΛdz + dx Λdy ∫∫ ∂y ∂z ∂z ∂x ∂x ∂y Σ
⇒ ∫ω = ∫ dω .
∂Σ Σ
再看 Stokes 公式
∂Σ
∫ ω = ∫ dω 。
Σ
二、外微分的应用
Gauss公式
∂P ∂Q ∂R = ∫∫∫ + + Pdydz + Qdzdx + Rdxdy dxdydzy ∫∫ ∂x ∂y ∂z ∂D Ω ⇒
∂Ω
∫ω= ∫ dω .
Ω
∂D
同样地，对于 Gauss 公式 ∫∫ Pdydz + Qdzdx + Rdxdy =
n
这可理解为， 一个 0-形式做了微分运算后成为了 1-形式。
一、外微分
现将微分运算 d 推广到 Λ k 上去。
对 Λ k 中的任意一个 k-形式
ω
定义d ω
1≤ i1 < i2 << lk ≤ n
∑
gi1 ,i2 ,,ik ( x )dxi1 Λdxi2 Λ Λdxik ,
1≤ i1 < i2 << lk ≤ n
∑
(dgi1 ,i2 ,,ik ( x ))dxi1 Λdxi2 Λ Λdxik ,
∂gi1 ,i2 ,,ik ∂x i dxi1 Λdxi2 Λ Λdxik ,
1≤ i1 < i2 << lk ≤ n i = 1
∑
∑
n
一、外微分
同时，对空间 Λ = Λ 0 + Λ1 + + Λ n 上的任意一个元素
∂D = {a, b} 上的积分，那么上式就可以表为
∂D
∫
f = ∫ df .
D
这样，Newton-Leibniz 公式、Green 公式、Gauss 公式和 Stokes 公 式就可以统一地写成如下形式： ∫ ω = ∫ dω.
∂M M
这个式子统称为 Stokes 公式。这说明了，高次的微分形式 dω 在给定 区域上的积分等于低一次的微分形式 ω 在低一维的区域边界上的积 分。Stokes 公式是单变量情形的 Newton-Leibniz 公式在多变量情形 的推广，是数学分析中最精彩的结论之一
Λdx j 0, dx= i
一、外微分
性质2 对任意 ω ∈ Λ, 有 d ω = 0.
2
证 由于 d 的线性性，只要证明 = ω a( x)dxi1 Λdxi2 Λ Λdxik 的情形即可。这时 = d ω d (a ( x))dxi1 Λdxi2 Λ Λdxik ，
n
n ∂b dxi Λdx j1 Λdx j2 Λ Λdx jl ) +(−1) (adxi1 Λdxi2 Λ Λdxik )Λ ∑ i =1 ∂xi
k
= d ωΛη + (−1) k ωΛdη .
一、外微分
例4 设 f ∈ Λ 0 为 0-形式，证明 d 2 f
证明 设 ω ∈ Λ, 定义 d 2ω = d (dω )
把 dxΛdy 看成是正面积元素 dxdy 的话，上式可以表为
∂D
∫
= pdx + Qdy
∂Q ∂P 形式 ω P( x, y )dx + Q( x, y )dy − = dxΛdy ，由例 1 得到，对于 1∫∫ ∂ ∂ x y D
成立 ∫ ω = ∫ dω.
∂D D
二、外微分的应用
一、外微分
例2 设 ω = P( x, y, z )dx + Q( x, y, z )dy + R( x, y, z )dz 为 R3 上的
1-形式，
d ω= (dP)Λdx + (dQ)Λdy + (dR)Λdz ∂P ∂P ∂P ∂Q ∂Q ∂Q = ( dx + dy + dz )Λdx + ( dx + dy + dz )Λdy ∂x ∂y ∂z ∂x ∂y ∂z ∂R ∂R ∂R + ( dx + dy + dz )Λdz ∂x ∂y ∂z ∂R ∂Q ∂P ∂R ∂Q ∂P = ( − − )dxΛdy )dyΛdz + ( − )dz Λdx + ( ∂y ∂z ∂z ∂x ∂x ∂y
可。这时
= d (ωΛη ) d ( a ( x)b( x)dxi1 Λdxi2 Λ Λdxik Λdx j1 Λdx j2 Λ Λdx jl ) d ( a ( x)b( x))Λdxi1 Λdxi2 Λ Λdxik Λdx j1 Λdx j2 Λ Λdx jl
一、外微分
一、外微分
例 1 设ω =
P ( x, y )dx + Q( x, y )dy 为 R 2 上的 1-形式，
d ω= (dP)Λdx + (dQ)Λdy= (
∂P ∂P ∂Q ∂Q dx + dy )Λdx + ( dx + dy ) ∂x ∂y ∂x ∂y ∂P ∂Q ∂P ∂Q = dyΛdx + dxΛdy= ( − )dxΛdy ∂y ∂x ∂y ∂x
∂D
∫
∂Q ∂P = ∫∫ − = pdx + Qdy dxdy ⇒ ∫ ω ∂x ∂y ∂D D
∂D
∫ dω .
D
首先看 Green 公式 ∫ pdx + Qdy =
∂Q ∂P − dxdy 其中 ∂D 取 D 的诱导定向。如果 ∫∫ ∂ ∂ x y D
第十四章 曲线、曲面积分
§4 微分形式的外微分
教学目的与要求： 掌握外微分的形式和应用． 教学重点，难点： 重点：高斯公式和斯托克斯公式的统一形式 难点：外微分定义
一、外微分
设 U ⊂ R n 为区域，U 上的可微函数 f ( x1 , x2 , , xn )
∂f 的全微分为 df = ∑ dxi i =1 ∂xi
ω = ω0 + ω1 + + ωn , ωi ∈ Λ i ,
定义 dω= dω0 + dω1 + + dωn . 这样一来，微分运算 d : Λ → Λ 就是线性的，即
= d (αω + βµ ) α d ω + β dη , ω ,η ∈ Λ, α , β 为常数。这样的微
分运算 d 称为外微分。
性质1 设 ω 为 k-形式，η 为 l-形式，则
d (ωΛη )= dωΛη + (−1) k ωΛdη .
∂a ∂b dxi + a dxi Λdxi1 Λdxi2 Λ Λdxik Λdx j1 Λdx j2 Λ Λdx jl b ∑ ∂xi i =1 ∂xi
n
∂a dxi Λdxi1 Λdxi2 Λ Λdxik Λdx j1 Λdx j2 Λ Λdx jl b ∑ i =1 ∂xi
一、外微分
性质1 设 ω 为 k-形式，η 为 l-形式，则
d (ωΛη )= dωΛη + (−1) k ωΛdη . 证 由于 d 的线性，只要证明
= ω a ( x)dxi1 Λdxi2 Λ Λdxik= , ω b( x)dx j1 Λdx j2 Λ Λdx jl , 的情形即
∂P ∂Q ∂R + + dxdydz ∫∫∫ ∂ ∂ ∂ x y z Ω
如果我们将有向体积元素 dxΛdyΛdz 看成是正体积元素 dxdydz 的话，他就可以表示 为
Λdy ∫∫ PdyΛdz + QdzΛdx + Rdx=
∂D
∂P ∂Q ∂R + + dxΛdyΛdz 对于 2-形式 ∫∫∫ ∂x ∂y ∂z Ω
∂Ω Ω
ω = PdyΛdz + Qdz Λdx + RdxΛdy ，上式就是 ∫ ω = ∫ d ω.
二、外微分的应用
Newton-Leibniz公式
∫
b
a
) df ( x=
f ( x ) |b a ⇒
∂D
b
∫
f =
∫ df .
D
最后看 Newton-Leibniz 公式 ∫a d (fx) = f ( x) |b a, 如果将上式右端视为 0-形式 f ( x) 在区间 D = [a, b] 的诱导定向边界
∂Σ
∫
= pdx + Qdy + Rdz
∂R ∂Q ∂Q ∂P ∂P ∂R − Λ + − Λ + − dy dz dz dx dxΛdy ∫∫ ∂y ∂z ∂z ∂x ∂x ∂y Σ
注意等式左边和右边分别是 1-形式和 2-形式在定向曲线和曲面上的 积分，因此由例 2 可知，对于 1-形式 ω = pdx + Qdy + Rdz ，上式就是
因此由性质 1 和例 4 的结果
d 2ω = d (d ω= ) (d 2 a )Λdxi1 Λdxi2 Λ Λdxik − (da )Λd (dxi1 Λdxi2 Λ Λdxik
= 0Λdxi1 Λdxi2 Λ Λdxik − (da )Λ 0 = 0.
二、外微分的应用
Green公式
∂2 f ∂2 f 由于 fx j ∂xi
n ∂f 2 d f d= dxi = (df ) d ∑ = i 1 ∂xi =