微积分——外微分形式的微积分

article/2025/4/3 8:52:50

在我们所讨论的三度空间(三维)中,能够出现的微分形式只有四种:

零次微分形式——函数 f

 

一次微分形式——线积分中出现的微分dx,dy,dz的一次式

                                             

 

二次微分形式——面积分中出现的微分dx,dy,dz的二次式  

                                         

 

三次微分形式——体积分中出现的微分dx,dy,dz的三次式

                                                    

 

注意:以上微分形式中至少有两个相同的dx,dy,dz项,每一个形式中只包含具有不同的dx,dy,dz的项。

 

 

 

 

 

我们还知道联系这些线、面、体积分的三个基本公式:

Green公式:

                          

 

                        其中D为L围成的闭区域,P、Q为D上的具有一阶连续偏微商的函数。 

 

Gauss公式:

                               

                      其中V为封闭曲面∑围成的闭区域,函数P、Q、R为V上有一阶连续偏微商的函数。

 

Stokes公式:

                   

 

                        其中封闭曲线L为曲面∑的边界,P、Q、R为V上有一阶连续偏微商的函数。

 

 

那么上述三个公式之间有什么联系

这就是本文所要关注的。

 

 

 

我们也很容易联想到上述三个公式的更一般形式的物理意义,即场论中的三个——梯度、旋度、散度

设 u 为数量场,v = Pi + Qj + Rk 为矢量场。

梯度:

 

 

 旋度:

 

散度:

 

 

这些度都是怎样产生的?有何数学意义?

这也是本文所要关注的。

 

 

单变量微积分有Newton-Leibniz公式,即微分与积分是一对对立统一的运算

多变量微积分中微分、积分的对立统一是怎样体现的?

这又是本文所要关注的。

 

 


 

 

怀着这三种疑惑,我们开始观察这些积分。

容易发现,

第二型线、面积分的积分区域都是有方向的。

然后容易想到可以把一重积分、二重积分看作第二型线、面积分的特例:积分区域也有方向。

三重积分同理也可定向。

所以,曲线长度因方向不同被定义成正负,亦如单变量微积分中的这个性质。

 

关于曲面,

定向是分为内外侧(看课本定义,即法线从起点连续移动直到回到起点,根据法线方向是否改变来为曲面定向)

(不可定向的曲面典型就是著名的莫比乌斯带。)

来张图吧

莫比乌斯带——不可定向

 

那么我们在这里只能讨论可定向的曲面咯。

所以,曲面面积在面积元素定向后因方向不同被被定义成正负。

 

 

根据二重积分定义,再将面积元素进行变元变换(看课本定义,不详细写)

 

当时是为了保持面积元素始终为正,而对式中Jacobi行列式取了绝对值。

但是现在,面积元素被允许有正负了,就没必要取绝对值了,就变成了这样

其中D已定向,D’是D经过变元逆变换得到的区域,自然是定向了的。

所以,

 

观察此式的性质 

(i)如果取y = x,则有

 

(ii)如果将y,x互换,则有

 

此时,dydx≠dxdy,即dx,dy在乘积中次序不能颠倒,否则就是正负的差别。

 

满足上述两条的微分乘积被称为微分的外乘积,记为 

 和      第二条和普通的微分乘积不同。

外微分形式:

由微分的外乘积乘函数组成的微分形式:

若P、Q、R、A、B、C、H为x,y,z的函数,

一次外微分形式:

二次外微分形式:

三次外微分形式:

 

接下来易证得三个外微分形式λ,µ,ν的外乘积满足分配律、结合律,但不满足交换律。(证明比较简单但编辑起来略繁就不贴了):

如果λ,µ,ν是任意三个外微分形式

分配律:

交换律:

不满足结合律:

若µ为p次外微分形式,λ为q次外微分形式

这些定律用于后期推广证明。

容易联想到

外微分可类比为:矢量外乘积

 


 

为了便于推广,我们可根据形式定义算子。

因此我们根据外微分形式ω定义外微分算子d,

零次外微分形式    函数 f 定义为

                      ,其实这里就是普通的全微分算子

 

 

一次外微分形式    ,定义为

                 

 

        由于

              

               

               

      所以

由于

   

        

 所以

 

 

二次外微分形式 ,定义为

     

同理易得

       

 

三次外微分形式 ,定义为

       

同理,由于

           

所以

                 

                         

为什么等于零?因为每一项中至少有两个微分是相同的

所以,在三维空间中任意的三次外微分形式的外微分是

外微分算子和普通微分算子运算方式相同,唯一的不同就是外微分算子运算后进行外乘积,而普通微分算子运算后进行正常的乘积。

 

于是我们得到了零次、一次、二次、三次外微分算子。

接下来,

设零次外微分形式ω=f,

就有

     

然后

   

由于

    

所以

假设f具有二阶连续偏微商,则有

              

所以

                    

 

 

一次外微分形式  

       

于是

 

 

 

 二次外微分形式

易得

 

三次外微分形式

易得  

 

这就是Poincaré引理:

若ω为一个外微分形式,其微分形式的系数具有二阶连续偏微商,则

 

那么Poincaré引理的逆定理是否成立呢?成立。

先阐述Poincaré引理之逆:

若ω是一个p次外微分式且,则存在一个p-1次外微分形式 a,使

 

其实我们学习场论中的有势场、管型场时已经证明过了。

这里具体不贴了。

 

 


 

引入外微分后,接下来回到之前的疑惑之一——场论中的三个度究竟是什么含义,还有没更多的度?

先将三个度化成外微分形式,观察其意义。

 

零次外微分形式 ω = f, 零次外微分形式的外微分

     

又 f 的梯度为

  

所以梯度零次外微分形式的外微分相对应。

 

一次外微分形式的外微分

又矢量 的旋度为

     

                

所以旋度一次外微分形式的外微分相对应。

 

二次外微分形式的外微分

     

 又矢量的散度

     

 

所以散度二次外微分形式的外微分相对应。

 

 

三次外微分形式的外微分在三维空间中为零。

所以没有相对应的度。

三维空间里,也没有更多的度了。

 

综上,就是如下

外微分形式的次数       度

       0                    梯度

       1                    旋度

       2                    散度

 

转载自

 

那么,Poincaré引理与Poincaré引理之逆也有其场论意义了:

易得

Poincaré引理中

当ω为零次外微分形式ω = f,有

即 

 

当ω为一次外微分形式,记,有 

 即 

 

Poincaré引理之逆中

等价于

必有

 

等价于

必有

 


回到剩下两个疑惑——三个公式与高维空间中微分积分的关系

现将三个公式写成外微分形式。

Green公式

,为一次外微分形式,于是

        

又线积分L可定向,所以该公式可写成

                      

 

 

同理,Gauss公式

   

又Σ定向,所以记

                   

该公式可写成

                   

 

 

同理Stokes公式

              

又线、面积分都为定向,将看作一次外微分形式

          

 

所以该公式可写成

                      

 

综上,可以看出,Green公式、Gauss公式、Stokes公式实际上是一个公式

                                                                         

其中ω为外微分形式,dω为ω的外微分,Σ为dω的封闭积分区域,∂Σ为Σ的边界,∫为区域有多少维数即多少重数。

 

含义:

高次的外微分形式dω在区域上的积分等于低一次的外微分形式ω在区域的低一维空间边界上的积分。

 

外微分运算和积分是相互抵消的,亦如一维空间中Newton-Leibniz公式。

由于三维空间中三次外微分形式的外微分为零,所以有了这个公式以后,区分区域和边界的公式就不再有了。

 

这个公式就是广义的Stokes公式

再写一遍

                                       

这个公式还可以推广到更一般的流形上(这个未来再说)

综上,在三维空间中,

外微分形式的次数      空间           公式

      0                    直线段         Newton-Leibniz公式

      1                    平面区域      Green公式

      1                    空间曲面      Stokes公式

      2                    空间中区域   Gauss公式


http://chatgpt.dhexx.cn/article/N50Cr9SW.shtml

相关文章

微分的积公式推导

因为学习图形学的时候,好多次涉及到、谈论到要使用线性代数和微积分的知识,所以怀着要学就学好的精神将他们都学习一遍,至少都了解清楚一些,更利于后面图形学的学习,在看到微分的积推导公式时,觉得讲的有些…

matlab中常微分方法,MATLAB常微分方程

4.8 微分方程 微分方程是数值计算中常见的问题,MATLAB提供了多种函数来计算微分方程的解。 4.8.1 常微分方程 众所周知,对一些典型的常微分方程,能求解出它们的一般表达式,并用初始条件确定表达式中的任意常数。但实际中存在有这种解析解的常微分方程的范围十分狭窄,往往…

如何通俗的解释全微分?

微积分这门学科,从字面上拆开来看,就是“微分”“积分”。按道理把这个两个概念作为学科的名字,很显然是非常重要,但是我觉得很奇怪,《高等数学》同济版并不怎么讲“微分”这个概念,而是着重在讲解“微分”…

自动微分(Auto differentiation)

1.自动微分是干什么的: 自动微分现在已经是深度学习框架的标配,我们写的任何模型都需要靠自动微分机制分配模型损失信息,从而更新模型。简言之,就是在模型更新计算梯度的时候会用到自动微分。 在数学和计算机代数中,…

高数 | 【一元函数微分学】一元函数微分的本质 导数与微分的区别

一、微分的本质 微分本质是一个微小的线性变化量,是用一个线性函数作为原函数变化的逼近(或者叫近似)。 现在我们将 定义为dy。而 表示的是函数值的变化,显然dy的真正含义是对这种变化的逼近。也就是说我们定义微分,就…

图像微分

图像微分 考虑到图像中值离散一般为前后像素作差,这是一阶微分。应用中效果不佳,与此相比二阶微分效果较好,二阶微分是对一阶微分的再微分,数学表达为(考虑x方向时)f(x,y0)’f(x,y0)-f(x-1,y0) f(x-1,y0)’f(x-1,y0)-f…

什么是微分,dy又是什么

目录 1.dy的定义2.可微与可导的关系3.dy的几何意义4.微分的运算法则5.dy再探索6.线性近似 1.dy的定义 在介绍什么是dy之前,先回顾一下之前的一些概念: 设, y f ( x ) yf(x) yf(x), 若: lim ⁡ Δ x → 0 Δ y f ( x 0 Δ x ) − f ( x 0 …

微分是什么?

前文请查看: 微积分是什么?柯西的数列极限 最开始我们就提到了,曲线下微小的矩形是“微分”: 把这些“微分”加起来就是“积分”,就可以得到曲线下的面积: 上一章定义了极限,解决了微积分中的…

对微分的简单理解

目录: 一、一元函数的可微性二、偏导数三、二元函数的可微性四、 n n n 元函数的可微性五、向量函数的导数作者留言 研究生复试现场: T:“这位同学,请你解释一下微分是什么。”  S:“啊,老师,微分的定义是~~~~”  T:“嗯&#x…

【数学】微分(Differential)的定义,微分与导数的区别

本文会详细的定义微分,并结合导数的概念,详细的说明二者的差别。 如上图所示,对于函数yf(x)来说,在任意一点p(x, y)上,若x方向上有增量,则在y的方向上有增量,当时,导数的定义为 可见…

什么是微分?导数和微分的区别是什么?微分和积分的联系?

看之前推荐您阔以拿一只笔和一张纸,遇到看不懂的就画一画,增量啊什么的,会好理解很多。 先总的抽象地说一下微分是什么,假设有一个函数yf(x)。假设y轴上有一个增量,把这个增量叫做Δy。字面上理解,什么是增…

Python基础:Python中的序列索引详解

欢迎你来到站长在线的站长学堂学习Python知识,本文分享的是《Python中的序列索引》。 序列中的每一个元素都有一个属于自己的编号,我们称为索引(index)。从起始元素开始,索引值从0开始编号,持续递增。即下标…

python返回索引值_python取索引值

广告关闭 腾讯云11.11云上盛惠 ,精选热门产品助力上云,云服务器首年88元起,买的越多返的越多,最高返5000元! 数据的一些细微区别num = num1 = num # 输出:10 type:intnum2 = num# 输出: type:list总结: 分片包括起始索引对应的元素,但不包括终止索引对应的元素,索引…

python字符串索引与切片

字符串是字符的“有序”集合,字符串中的每个 “字符/元素” 都拥有一个下标,而通过下标可以实现索引(index)与 切片(slice)两种方法,通过它们访问并获取其中的 字符/元素 . 一. 索引&#xff08…

Python通过索引获得字符串中的字符

一、索引的定义 进行索引时,在字符串(或值为字符串的变量)的末尾添加方括号"[" 和 “]”,并在方括号之间添加一个数字去访问某个字符,这个数字被称为索引。 二、索引的作用 索引告诉Python需要获取的是字符串…

python的索引和切片

一、索引和切片介绍 字符串可以定义为字符的有序集合,我们可以通过其位置获得他们的元素。在python中,字符串中的字符是通过索引提取的。 python偏移量是从0开始的,这样就会比字符串的长度len()小1。大家比较熟悉字符串的正偏移,…

【Python】索引+序列

索引 ‘’’ 这种双重抽象虽然看起来没必要,但是pandas索引的数据类型, 可以支持字符串、日期、任意排序的索引,以及重复的索引值。 索引是pandas的核心功能,在序列上的操作,可以按照索引进行查找。特别是时间序列的…

python中字典的索引_python字典索引

广告关闭 腾讯云11.11云上盛惠 ,精选热门产品助力上云,云服务器首年88元起,买的越多返的越多,最高返5000元! 提到字典大家应该都不陌生,小学大家应该都用过。 ? 字典的前几页,一般是索引,可以按照拼音来检索,也可以按照偏旁部首来检索。 索引的好处就是可以加快检索…

python怎么建立索引_python建立索引

广告关闭 腾讯云11.11云上盛惠 ,精选热门产品助力上云,云服务器首年88元起,买的越多返的越多,最高返5000元! 上个专题提到了如何利用python操作oracle数据库并监控想要的指标这个专题讲述如何讲这些监控数据保存在mysql中为日后所用----上节讲到建立一个mysql数据库并新…

Python字符串索引

Python中的字符串有两种索引方式,从左往右以0开始,从右往左以-1开始。 str Runoob print (str) # 输出字符串 print (str[0:-1]) # 输出第一个到倒数第二个的所有字符 print (str[0]) # 输出字符串第一个字符 print (str[2:5]) …