微分形式的外微分
∂Σ
∫ 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 =
外微分及斯托克斯公式
外微分及斯托克斯公式外微分和斯托克斯公式是微分几何学中的两个重要概念，它们在描述和计算曲线、曲面和空间中的微分形式，以及它们之间的关系方面起着重要作用。
下面将详细介绍这两个概念。
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表示外积。
微分形式不仅可以用于描述函数在某一点的无穷小变化，还可以用于积分计算和曲线、曲面等几何对象的分析。
外微分是微积分学中的另一种扩展表示方式。
它是微分形式的推广，通过将微分形式进行外积运算得到。
外微分可以理解为向量场的微分，它具有线性性质和差分运算律。
外微分可以用于描述向量场的旋度和散度，从而揭示了向量场在空间的流动性质。
外微分还可以用于描述曲面的几何性质，如曲率、法向量和曲面积分等。
在物理学中，外微分被广泛应用于描述电磁场和流体力学等领域。
微分形式和外微分在几何学中的应用非常广泛。
几何学研究空间中的形状和结构，微分形式和外微分能够提供一种方便的数学工具来描述和分析几何对象。
例如，在曲线研究中，微分形式可以用于计算曲线的长度、曲率和弯曲程度。
在曲面研究中，外微分可以用于计算曲面的法向量、曲率和曲面积分等。
在流形研究中，微分形式和外微分是几何和拓扑学研究的基础工具。
在物理学中，微分形式和外微分可以应用于描述电磁场、流体力学等自然现象。
例如，在电磁学中，微分形式和外微分可以用于描述电场和磁场的分布和变化规律，从而揭示了电磁现象的本质和规律。
在流体力学中，微分形式和外微分可以用于描述流体的速度场、压力场和流动性质，从而揭示了流体力学的基本方程和流动规律。
在总结中，微分形式和外微分是数学分析中的重要概念，在几何和物理学中有广泛的应用。