您的位置：文档网› 第八节微分形式的外微分

第八节微分形式的外微分

第八节 微分形式的外微分

一 微分形式及其外积

我们知道, 一个可微函数12(,,,)nfxxx的全微分为

1niiifdfdxx.

它是12,,ndxdxdx的线性组合, 一个很自然的想法是将12,,ndxdxdx看作一个线性空间的基.

设是n上的区域, 记12(,,)nxxxx, 1()C(1,2,,in)为上连续可微函数全体. 将12,,ndxdxdx看作一组基, 其线性组合

11122()()(),()()(1,2,,)nniaxdxaxdxaxdxaxCin

称为一次微分形式,简称1-形式. 1-形式的全体记为1()(或1).

如果对1中的元素定义加法、数乘、零元和负元等, 就可以使1成为一个1()C上的线性空间. 对于任意1,:

1122()()()nnaxdxaxdxaxdx,

1122()()()nnbxdxbxdxbxdx,

定义和(1()C)为

111222(()())(()())(()())nnnaxbxdxaxbxdxaxbxdx,

1122(()())(()())(()())nnxaxdxxaxdxxaxdx,

进一步定义1中的零元为

120000ndxdxdx,

且定义负元为

1122(())(())(())nnaxdxaxdxaxdx

显然1成为一个1()C上的线性空间.

为了得到二次微分形式, 我们先引入向量的外积这个概念.

设12(,)aaa, 12(,)bbb为平面2上两个线性无关的向量, 我们将行列式1212aabb称为向量a与b的外积, 记为ab, 即

1212aaabbb.

平面上的向量的外积的讨论可以推广到n上去. 设

12(,,,),1,2,,,iiiinaaaain

定义他们的外积为

11121212221212nnnnnnnaaaaaaaaaaaa.

它是由12,,,naaa所张成的平行2n面体的有向体积. 而且这种体积满足反对称性和分配律.

类似于向量的外积, 规定

,0(,1,2,,)ijjiiidxdxdxdxdxdxijn.

因此共有2nC个有序元

,1.ijdxdxijn

以这些有序元为基就可以构造一个线性空间2. 其中2的元素称为二次微分形式. 简称2-形式. 于是2中的元素可以表示为

1()ijijijngxdxdx.

这种形式称为2-形式的标准形式.

一般地, 在12{,,,}ndxdxdx中任意选取k个组成有序元, 记为

12kiiidxdxdx,

这里12,,,kiii是从集合{1,2,,}n中选取的任意k个整数. 规定

1212,1iikkdxdxdxiiin.

以这些有序元为基构造一个线性空间k. 其中k的元素称为k次微分形式. 简称k-形式.

于是一般k-形式就可以表示为 121212,,,1()kkkiiiiiiiiingxdxdxdx.

这种形式称为k形式的标准形式.

显然, 当kn时, 总有120kiiidxdxdx, 因此{0}k.

上的连续可微函数称为0形式, 它们的全体记为0, 它是一个线性空间, 函数1g是它的一个基.

现在把ijdxdx中的理解为一种运算. 对于任意1,:

1122()()()nnaxdxaxdxaxdx,

1122()()()nnbxdxbxdxbxdx,

定义与的外积为

1()()()()ijijijnijaxaxdxdxbxbx

它是2中的元素.

下面把这样的外积定义推广到任意的i和j上去. 若记为线性空间01,,,n之和, 即有01n, 于是是一个2n(因012nnnnnCCC)维的线性空间, 因此中的元素的一般形式为

01,,0,1,,iniin.

记12pIiiidxdxdxdx,12qJjjjdxdxdxdx. 则

1212pqIJiiijjjdxdxdxdxdxdxdxdx

它是()pq形式. 对一般p形式()IIIgxdx和q形式()JJJhxdx, 定义和的外积为

,().IJIJIJghxdxdx

它是()pq形式. 对于0形式f,我们补充定义

()(),pIIIfffxgxdx

二 外微分的基本概念

设n为区域, 上的可微函数12(,,,)nfxxx的全微分为

1.ninifdfdxx

这可以理解为: 一个0-形式作了微分运算后成为了1-形式.

现在将微分运算推广到k上去. 对k中的任意一个k-形式.

1212121()kkkiiiiiiiiingxdxdxdx,

定义

1212121(())kkkiiiiiiiiinddgxdxdxdx

12121211kkkniiiiiiiiiiniigdxdxdxdxx

同时,对空间0n上的任意一个元素

01,,ini

定义

01ndddd.

这样,微分运算:d就是线性的, 即()ddd, ,,其中,为常数. 这样的微分运算d称为外微分. 显然,

1212()(1)kkiiiiiiddxdxdxddxdxdx

12(1)0kiiiddxdxdx.

性质1 设为k-形式, 为l-形式, 则

()(1)kddd.

证明 (留作练习).

设, 定义2()ddd. 在下面的讨论中,我们假设微分形式的系数都具有二阶连续偏导数.

例13.34 设0f为0-形式, 证明20.df 证明 由于f具有二阶连续偏导数, 因此22ijjiffxxxx. 所以

22111()nnnijiiijijiffdfddfddxdxdxxxx

220ijijijjiffdxdxxxxx.

性质2 对任意, 有20.d

证明 由于d的线性性, 只要证明

12()kiiiaxdxdxdx

这种情形即可. 这时

12(())kiiiddaxdxdxdx,

由于具有二阶连续偏导数, 因此22ijjixxxx. 所以

22111()nnnijiiijijidddddxdxdxxxx

220ijijijjidxdxxxxx.

因此再由性质1可得

2()ddd

122()kiiidadxdxdx

12()()kiiidaddxdxdx

120()00kiiidxdxdxda.

二 外微分的应用

首先看Green公式

,,LDQPdxdyPxydxQxydyxy

其中闭区域nD的边界由分段光滑的曲线L所围成. 若将dxdy看成有向面积元素,那么如果将它看成是正面积元素dxdy的话, 上式就可以表示为 ,,LDQPdxdyPxydxQxydyxy

对于1-形式(,)(,)PxydxQxydy, 则由外微分的定义可得

()()ddPdxdQdy

PPQQdxdydxdxdydyxyxy

PQQPdydxdxdydxdyyxxy.

于是有下式成立

LDd.

再看Stokes公式

()()()RQPRQPdydzdzdxdxdyyzzxxyPdxQdyRdz

其中为分段光滑的空间有向闭曲线,是以为边界的分片光滑的有向曲面, 的正向与的侧符合右手规则. 对于1-形式(,,)(,,)(,,)PxyzdxQxyzdyRxyzdz,由外微分的定义可得

()()()ddPdxdQdydRdz

PPRQQQRRRdxdydzdxdxdydxdzxyzxyzxyz

RQPRQQdydzdzdxdxdyyzzxxy

于是Stokes公式则变为

d.

同样地, 对于Gauss公式

()PQRdxdydzPdydzQdzdxRdxdyxyz

其中空间区域由分片光滑的双侧封闭曲面所围成. 如果我们将有向体积元素dxdydz看成是正体积元素dxdydz的话, 它就可以表示为

()PQRdxdydzPdydzQdzdxRdxdyxyz 对于2-形式(,,)(,,)(,,)PxyzdydzQxyzdzdxRxyzdxdy, 我们有

()()()ddPdydzdQdzdxdRdxdy

PPPdxdydzdydzxyz

QQQdxdydzdzdxxyz

RRRdxdydzdydzxyz.

于是Gauss公式则变为

d.

这样, Green公式、Gauss公式和Stokes公式就可以统一地写成如下形式：

MMfdf.

这个式子统称为Stokes公式. 它说明了, 高次的微分形式d在给定区域上的积分等于低一次的微分形式在低一维的区域边界上的积分.

习题14.8

1. 设p, q, 证明: 当pqn时, 0.

2. 设p, q,证明: (1)pq.

3. 设1njjiinadx, 1,2,,jn, 为n上的1形式, 证明

1212det()jninadxdxdx.

4. 证明性质1.

合集下载

数学中的微分拓扑学原理

数学中的微分拓扑学原理

数学中的微分拓扑学原理

微分拓扑学是数学中一个重要的分支领域，它研究的是数学对象在微小变动下的连续性和变化规律。微分拓扑学的原理广泛应用于多个领域，如物理学、工程学和经济学等。本文将介绍微分拓扑学的基本原理及其应用。

一、微分拓扑学的基本概念和定义

微分拓扑学是通过微分结构来研究拓扑空间上的性质。在微分拓扑学中，我们关注的是拓扑空间中点的局部性质，而不是全局性质。微分拓扑学引入了微分结构，使得我们可以通过微分运算来研究空间本身的性质。

微分拓扑学中的一个重要概念是流形，它是一种局部与欧几里德空间同胚的拓扑空间。流形具有光滑的结构，可以通过微分运算来研究其性质。微分拓扑学还包括微分形式、切向量场等概念，它们用于描述流形上的微分结构和变换规律。

二、微分拓扑学的基本原理

1.微分同胚：

微分拓扑学研究的一个重要问题是：如何判断两个流形是否有同样的微分结构？微分同胚是指两个流形之间存在一个双射，并且该双射及其逆映射都是光滑的。微分同胚的存在与否决定了两个流形是否可以通过光滑映射相互转化。 2.微分流形上的微分结构：

微分拓扑学研究的另一个核心问题是：如何在流形上定义微分结构？微分结构包括切空间和切丛等概念，它们用于描述流形上的局部性质和变换规律。切空间是流形上每个点的切向量所构成的空间，切丛则是切向量场所构成的丛空间。

3.微分流形上的微分形式：

微分形式是微分拓扑学中的一个重要工具，它用于描述流形上的局部结构和变换规律。微分形式通过外微分运算来定义，可以进行积分和微分运算。微分形式在微分方程、黎曼几何等领域有广泛的应用。

三、微分拓扑学的应用领域

微分拓扑学的原理和方法在多个领域有重要的应用，下面介绍其中几个典型的应用领域。

1.物理学中的微分拓扑学：

微分拓扑学在物理学中有广泛的应用。例如，在场论中，微分拓扑学可以用于描述场的演化规律和平滑性质。在量子力学中，微分拓扑学可以研究量子态的结构和变换规律。

外微分统一四大积分公式

外微分统一四大积分公式

龙源期刊网

外微分统一四大积分公式

作者：王桦

来源：《青年文学家》2012年第03期

摘 要：Newton－Leibniz公式，Green公式，Stokes公式，以及Gauss公式是数学分析中联系一元函数及多元函数微分与积分关系的基本公式，本文先利用外微分的形式将一维与高维的四个基本公式统一起来，然后利用外积运算，推导了多变量积分变量代换公式中微元的代换公式。

关键词：微分、积分、外微分

作者简介：王桦，女（1973.2.15-），长沙理工大学数学与计算科学学院，学历：博士，研究方向：复分析。

[中图分类号]：O186.15 [文献标识码]：A

[文章编号]：1002-2139(2012)-03-0247-02

微分、积分的概念古已有之，使之成为一门学问而发扬光大的是由Newton和Leibniz证明了的微积分基本定理，这一定理指出了微分与积分是一对矛盾关系，这只是对于一维的情形。对于高维情形同样也有相应的三个部分，即微分，积分及联系微分与积分的微积分基本定理，只是微分部分中有偏微分、全微分、及与微商相当的Jacobi矩阵；积分部分有重积分、线积分、曲面积分等。这些都是一维微积分的自然推广，于是也可列出高维中相应的定理。而关于第三部分，在高维情况下，什么是微积分基本公式？又是什么定理刻画了高维情形下微分、积分这一对矛盾？是Green公式，Stokes公式，以及Gauss公式担当了一维中Newton-Leibniz公式的角色。本文主要运用外微分统一一维和高维的情形的基本积分公式，即统一Newton-Leibniz公式，Green公式，Stokes公式，以及Gauss公式。

本文仅在在三维空间中讨论。

一、微分的外积运算

微分的外积定义：对三维空间中自变量各分量的微分，，，其外积运算用表示，如与的外积记为，它们满足以下运算法则：

微分流形

微分流形

1 《微分流形》课程教学大纲

课程编号: 02200030

课程名称： 微分流形

英文名称： Differential Manifolds

课程类型: 选修课

总 学 时： 56 讲课学时：42 习题课学时： 14

学 分： 3

适用对象: 数学与应用数学专业本科四年级

先修课程： 数学分析、高等代数、微分几何

一、课程简介

微分流形是20世纪数学有代表性的基本观念，是描述许多自然现象的一种空间形式。本课程属于大范围分析与几何范畴，是学习现代数学的基础。主要论述与流形有关的最重要，最基本的知识。通过对本课程的学习，目的是使学生掌握必要的现代几何基础知识。 这门课程的主要内容是介绍微分流形的基本概念，流形上的切问题，张量与外微分形式等概念和一些主要定理，以及流形上的积分和Stokes定理。适于高年级本科生。

四、教学内容及要求

第一章 准备知识 (讲课 6 , 习题课2)

§1. n维欧氏空间

§2. 光滑映射

§3. 曲纹坐标

§4. 张量

§5. 外代数

第二章 微分流形 (讲课 12 , 习题课4)

§1. 微分流形的定义

§2. 光滑映射

§3. 切向量和切空间

§4. 子流形

第三章 切向量场 (讲课 12 , 习题课4)

§1. 切丛

§2. 光滑切向量场

§3. 单参数变换群

§4. Frobenius定理

§5. 光滑张量场

第四章 外微分式 (讲课 12 , 习题课4) 2 §1. 外微分式

§2. 外微分

§3. Pfaff方程组和Frobenius定理

§4.外微分式的积分和Stokes定理

十、推荐教材和教学参考书

教 材：《微分流形初步》，陈维桓 编著，高等教育出版社，1998年。

参考书：

1、《黎曼几何初步》，白正国，沈一兵等编著，高教出版社。

流形的定义与微分结构的研究

流形的定义与微分结构的研究

流形的定义与微分结构的研究

流形是现代微分几何学中的重要概念，它是一个局部与欧几里德空间同胚的拓扑空间。在数学中，流形的定义和微分结构的研究是微分几何学的基础，对于研究曲面的性质、流体力学和相对论等领域具有重要意义。本文将探讨流形的定义、性质以及微分结构的研究方法。

一、流形的定义

流形是一个具有局部欧几里德空间特征的拓扑空间。具体而言，对于每一个点，存在一个邻域，该邻域能够与欧几里德空间的某个开集同胚。流形可以是有限维或者无限维的，也可以是平滑流形或者拓扑流形。

1.1 有限维流形

有限维流形是指流形的维度是有限的。一个n维的流形被称为n维流形。例如，二维球面是一个2维流形。

1.2 无限维流形

无限维流形是指流形的维度是无穷的。在函数空间中，可以定义无限维流形。例如，一个所有实值无穷次可微函数组成的空间就是一个无限维流形。

二、流形的性质

流形具有一些重要的性质，这些性质可以帮助我们理解和研究流形的结构和特征。 2.1 光滑结构

对于一个有限维流形，可以给它定义一个光滑结构。光滑结构是指在流形上引入了光滑函数的概念，这使得我们可以在流形上进行微分运算。

2.2 切空间与余切空间

在每个点上，流形有一个切空间和一个余切空间。切空间是指与该点的邻域同胚的欧几里德空间，它可以用来描述流形在该点的局部性质。余切空间则是切空间的对偶空间，它可以用来描述流形上的一阶微分形式。

2.3 流形的连通性和紧性

流形可以分为连通的和不连通的。连通流形是指在流形上，任意两点之间都存在一条连续曲线连接。紧流形是指流形是紧致的，即它是有界闭的。

三、微分结构的研究方法

微分结构的研究是对流形上的光滑函数和微分形式进行分析和研究。

3.1 向量场和切向量场

在流形上，可以定义向量场和切向量场。向量场是在每个点上赋予一个向量的函数，它可以用来描述流形上的运动和变化。切向量场是指在每个点上赋予一个切向量的函数，它可以表示流形在该点的切空间上的分布情况。 3.2 微分形式和外微分

【自制】数学分析 重点概念整理 保研考研面试必备

【自制】数学分析 重点概念整理 保研考研面试必备

数学分析重点概念整理

第一章 集合与函数

1. 集合

定理1.1.1可列个可列集之并也是可列集。

定理1.1.2 有理数集Q是可列集

Descartes乘积集合{(,)|}ABxyxAyB并且

2. 映射与函数

映射的基本要素

映射要求元素的像必须是唯一的，但不要求逆像也具有唯一性。

基本初等函数

Dirichlet函数，任何有理数都是其周期。

定义1.2.7 算术平均值：1...naan，几何平均值1...nnaa，调和平均值111...nnaa

第二章 数列极限

1.实数系的连续性

上确界的定义：

下确界的定义：

定理2.1.1(确界存在定理——实数系连续性定理)非空有上界的数集必有上确界；非空有下界的数集必有下确界。

定理2.1.2非空有界数集的上(下)确界是唯一的。

2.数列与数列极限

数列极限的形式

(1)唯一性

定理2.2.1 收敛数列的极限必唯一

(2)有界性

定理2.2.2收敛数列必有界

(3)数列的保序性

定理2.2.3 设数列{},{}nnxy均收敛，若，且ab，则存在正整数N，当nN是，成立nnxy

四则运算只能推广到有限个数列的情况

3. 无穷大量

4. 收敛准则

定理2.4.1 单调有界数列必定收敛。

(确界存在定理)

用定理证明的时候先用方法证明有界性(归纳法等)，再证明单调性(做差)

用闭区间套定理可以证明

定理2.4.3 实数集R是不可列集。

定理2.4.5(Bolzano-Weierstrass定理)有界数列必有收敛子列。

定理 2.4.6 若nx是一个无界数列，则存在子列knx使得limknkx。 定理2.4.7(Cauchy收敛原理)数列nx收敛的充要条件是nx是基本数列。

由实数构成的基本数列必存在实数极限，这一性质称为实数系的完备性，有理数不具有完备性。

实数系之间的推理关系：

定理2.4.8 实数系的完备性等价于实数系的连续性。

微分几何与流形

微分几何与流形

微分几何与流形

微分几何是研究流形的数学分支，它运用微积分和代数几何的方法，研究了曲线、曲面及高维流形的性质。流形是一种具有局部欧几里得空间特性的对象，可以用来描述自然界中的各种现象，例如曲线、曲面、多维空间等。微分几何的研究对象主要是流形，并研究流形上的测度、曲率、切空间等性质。

一、流形的定义和性质

流形是一种具有局部欧几里得空间特性的对象，其定义如下：

定义1：设M是一个非空集合，如果对于M中的每个点p，存在p的一个邻域U和一个函数φ，使得φ将U映射为欧几里得空间R^n中的开集，且φ是一个1-1的连续映射，那么U就是一个开集，φ称为一个坐标图。如果M中的每一个点都包含于某个坐标图的定义域中，则称M是一个n维流形。

根据上述定义，流形具有以下性质：

性质1：流形是由多个坐标图覆盖得到的，每个坐标图都是一个局部欧几里得空间。

性质2：坐标图之间有一定的重叠区域，通过重叠区域可以进行坐标之间的转换。

性质3：流形上有定义良好的切空间，用来刻画流形上的切向量。

二、流形上的微分几何 在流形上，与欧几里得空间类似，存在微分、微分形式、度量、曲率等概念，通过这些概念可以描述流形上的各类性质。

1. 微分

在流形上，微分被定义为一个标量场沿着切向量的导数。给定一个n维流形M，函数f:M→R是M上的一个标量场，而X是切向量场，那么标量场f沿着切向量X的导数是一个函数D_Xf:M→R，满足以下等式：

D_X(fg) = (D_Xf)g + f(D_Xg)

其中g是M上的另一个标量场。

2. 微分形式

微分形式是流形上的一种广义函数，用来描述标量场在各点的导数和流形的局部几何特性。微分形式可以通过外微分的方式构造，它是切向量场和对偶空间间的对偶。

3. 度量与曲率

度量是刻画流形上距离和角度的概念，在欧几里得空间中我们熟悉的距离公式和角度概念同样适用于流形上。曲率描述了流形的弯曲程度，通过曲率可以研究曲线、曲面上的几何性质，以及流形的整体几何结构。

微分流形上流形同调及应用

微分流形上流形同调及应用

微分流形上的流形同调及应用

微分流形是数学中的一个重要概念，它是通过局部坐标系的切空间来描述的。而流形同调则是研究流形上某种特定类型的函数、微分形式或向量场的代数结构。在数学的各个领域中，微分流形上的流形同调理论都有着广泛的应用。

一、微分流形上的流形同调

微分流形上的流形同调是代数拓扑学的一个重要分支，它研究的是微分流形上的某类代数结构。这种代数结构可以通过微分形式的外微分运算来构造，并且可以通过流形上的微分算子进行描述和研究。微分流形上的流形同调在数学分析、几何学和物理学中都有着重要的应用。

微分流形上的流形同调理论主要关注以下几个方面：

1. 微分形式同调：它是研究微分形式的代数结构，通过微分形式的外微分运算来定义同调群。微分形式同调的代数结构反映了流形上的拓扑性质。

2. De Rham 同调：它是研究微分形式同调的理论框架，利用外微分运算和闭微分形式、恰当微分形式之间的关系，构造了一组同调群。De Rham 同调是微分流形上最常用的同调理论。 3. 贝蒙特-弗洛里同调：它是研究流形上奇异流形同调的理论，通过将流形上的函数、微分形式或向量场映射到链复形，利用链复形的同调群来描述流形上的奇异同调。

二、微分流形上的流形同调的应用

微分流形上的流形同调理论在数学和物理学中具有广泛的应用。以下列举了其中一些应用：

1. 流形拓扑学：微分流形上的流形同调理论可以用来研究流形的拓扑性质，比如流形的连通性、凸性和多样性。通过研究流形同调，可以得到流形的拓扑不变量，用于分类和区分不同的流形。

2. 超弦理论：超弦理论是研究自然界最基本粒子的理论，它与微分流形上的流形同调紧密相关。流形同调理论在超弦理论中被广泛应用，用于描述场的强度和能量的传播方式。

3. 理论物理学：微分流形上的流形同调理论对于描述物理学中的场的变换规律、对称性和守恒量等方面具有重要作用。通过研究流形同调，可以得到物理系统中的守恒定律和守恒量。

数学分析(第三册)目录

数学分析讲义目录

第一册

第1章 集合与映射

1.1 集合

1.2 集合运算及几个逻辑符号

1.3 映射

1.4 映射的乘积(或复合)

1.5 可数集

1.6 习题

1.7 补充教材一：关于自然数集合N

1.8 补充教材二：基数的比较

1.9 补充习题

进一步阅读的参考文献

第2章 实数与复数

2.1 实数的四则运算

2.2 实数的大小次序

2.3 实数域的完备性

2.4 复数

2.5 习题

2.6 补充教材一：整数环z与有理数域Q的构筑

2.7 补充教材二：实数域R的构筑

进一步阅读的参考文献

第3章 极限

3.1 序列的极限

3.2 序列极限的存在条件

3.3 级数

3.4 正项级数收敛性的判别法

3.5 幂级数

3.6 函数的极限

3.7 习题

进一步阅读的参考文献

第4章 连续函数类和其他函数类

4.1 连续函数的定义及其局部性质

4.2 (有界)闭区间上连续函数的整体性质

4.3 单调连续函数及其反函数

4.4 函数列的一致收敛性

4.5 习题

4.6 补充教材：半连续函数及阶梯函数

进一步阅读的参考文献

第5章 一元微分学

5.1 导数和微分

5.2 导数与微分的运算规则

5.3 可微函数的整体性质及其应用

5.4 高阶导数，高阶微分及Taylor公式

5.5 Taylor级数

5.6 凸函数

5.7 几个常用的不等式

5.8 习题

5.9 补充教材一：关于可微函数的整体性质

5.10 补充教材二：一维线性振动的数学表述

5.10.1 谐振子

5.10.2 阻尼振动

5.10.3 强迫振动

进一步阅读的参考文献

第6章 一元函数的Riemann积分

6.1 Riemann积分的定义

6.2 Riemann积分的简单性质

6.3 微积分学基本定理

6.4 积分的计算

外微分及斯托克斯公式

外微分及斯托克斯公式

外微分和斯托克斯公式是微分几何学中的两个重要概念，它们在描述和计算曲线、曲面和空间中的微分形式，以及它们之间的关系方面起着重要作用。下面将详细介绍这两个概念。

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的积分。

斯托克斯公式在物理学、工程学和应用数学中具有广泛的应用。它可以用于计算曲面上其中一属性的总量，例如磁通量、电荷分布、质量流量等。通过应用斯托克斯公式，可以将曲面的积分转化为曲线的积分，从而简化了计算的复杂性。

总结起来，外微分和斯托克斯公式是微分几何学中的两个重要概念。外微分用于描述曲线、曲面和空间中的微分形式，而斯托克斯公式则描述了曲线和曲面上的微分形式之间的关系。它们提供了一种计算和研究微分形式在空间中的行为和属性的有效方法，具有重要的理论和实际应用价值。

第八节微分式的外微分

第八节 微分形式的外微分

一 微分形式及其外积

我们知道, 一个可微函数12(,,,)nfxxxL的全微分为

1niiifdfdxx.

它是12,,ndxdxdxL的线性组合, 一个很自然的想法是将12,,ndxdxdxL看作一个线性空间的基.

设是n上的区域, 记12(,,)nxxxxrL, 1()C(1,2,,inL)为上连续可微函数全体. 将12,,ndxdxdxL看作一组基, 其线性组合

11122()()(),()()(1,2,,)nniaxdxaxdxaxdxaxCinrLL

称为一次微分形式,简称1-形式. 1-形式的全体记为1()(或1).

如果对1中的元素定义加法、数乘、零元和负元等, 就可以使1成为一个1()C上的线性空间. 对于任意1,:

1122()()()nnaxdxaxdxaxdxL,

1122()()()nnbxdxbxdxbxdxL,

定义和(1()C)为

111222(()())(()())(()())nnnaxbxdxaxbxdxaxbxdxrrrrrrL,

1122(()())(()())(()())nnxaxdxxaxdxxaxdxrrrrrrL,

进一步定义1中的零元为

120000ndxdxdxL,

且定义负元为

1122(())(())(())nnaxdxaxdxaxdxL

显然1成为一个1()C上的线性空间.

为了得到二次微分形式, 我们先引入向量的外积这个概念.

设12(,)aaar, 12(,)bbbr为平面2上两个线性无关的向量, 我们将行列式1212aabb称为向量ar与br的外积, 记为abrr, 即

1212aaabbbrr.

平面上的向量的外积的讨论可以推广到n上去. 设

  1. 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
相关文档
最新文档