Tuesday, December 18, 2012

一次形式的外微分是二次形式,是两个一次形式的一种乘积,...一个k次形式的外微分是k+1次形式;两个相同微分乘积为零


学习外微分形式的一些感受

                                          PB07210141   焦凡书

外微分形式把Stokes,Gauss公式联系起来,而且推广到高维空间。初学时觉得很“神奇”,查阅了一些书籍后才知道Poincare’指出多重积分的体积元素应有一个正负定向导致了外微分的出现。而外微分的出现可以说标志着微积分从古典走向现代。在物理,力学,偏微分方程,微分几何中,外微分发挥了巨大的作用。外微分有其更本质的含义,下面是我的一些总结和感受。

如果我们研究曲面(双侧曲面)的方向性,那么:在双侧曲面上任意取定一点M,并在M处选定一个单位法向量n(M),对于曲面S上任意一点M’,在S上做一条连接M,M’的曲线,由n(M’)沿曲线连续变化的原则,就可以唯一的确定M’处的单位法向量n(M’),从而就完全确定了双侧曲面的一个侧。曲面SM处的单位法向量有且仅有两个,它们是互为相反方向的单位向量,这两个向量正好确定了曲面的两个定侧。

在双侧曲面内令:x=x(u,v) y=y(u.,v)

则面积元素dA=dxdy=| |dudv=| |dudv=( )dudv

若将x,y对换dA=dydx=| |dudv=| |dudv=( )dudv

 

可得dxdy=-dydx

dxdx=0

我们把满足上述关系即:两个相同微分乘积为零,不同微分乘积变换顺序时变号的微分之间的乘积称为微分外积,用  表示。由微分的外乘积乘上函数组成的微分形式称为外微分形式。若P,Q,R,Hx,y,z的函数,则Pdx+Qdy+Rdz为一次外微分形式。Pdy dz+Qdz dx+Rdx dy为二次外微分形式,Hdx dy dz为三次外微分形式。

可以证得(1Newton-Leibniz公式用外微分表示 =f(b)-f(a)=

         2Green公式用外微分表示 Pdx+Qdy, = ,

         

         3Gauss公式用外微分表示 Pdy dz+Qdz dx+Rdx dy, Pdy dz+Qdz dx+Rdx dy= dx dy dz,

         4Stokes公式用外微分表示 Pdx+Qdy+Rdz, ,


   而数量场的梯度,向量场的散度,旋度分别与之对应。因此他们的关系可以表示为     

外微分形式的次数     
空间
公式
对应的度
0
直线段
Newton-Leibniz
梯度
1
平面区域
Green
旋度
1
空间曲面
Stokes
旋度
2
空间区域
Gauss
散度

 

由此得出公式的一般形式:

定理  设为 外微分形式,d 是它的外微分,则有

Gd 的积分区域, G表示G的边界。

Stokes公式揭示了微分与积分在空间上的关系。若令 d为算子,则它们对偶.

所以说Stokes公式是微积分中最本质的,由它引出了微分几何,广义相对论的很多内容,我的知识有限,希望以后有能力了解更多。

参考书目:《高等数学导论》

          《微积分五讲》龚升


外微分是什么
[已注销]

来自: [已注销]2010-02-02 19:05:18

  • eulen

    eulen (好吧我承認哥是個重口×味怪蜀黍) 2010-02-02 20:09:16

    带方向的微分~~~~~~
    此说法极不严谨~~~~~勿较真儿
  • ender_shan

    ender_shan (As you move on, remember me.) 2010-02-02 23:59:30

    可以看看陈省身先生的微分几何讲义~
  • eulen

    eulen (好吧我承認哥是個重口×味怪蜀黍) 2010-02-03 17:12:09

    陈的那个微分几何讲义还是不老合适的吧~
    我觉得要是都有基础看那个书了,外微分应该已经不在话下了

    不过lz看的陈那个讲义倒是很好看
    龚升的那个讲的也不错
  • 留空

    留空 (开琼筵以坐花 飞羽觞而醉月) 2010-02-03 18:41:49

    你可以看看spivak《流形上的微积分》
  • ender_shan

    ender_shan (As you move on, remember me.) 2010-02-03 18:49:51

    陈的那个微分几何讲义还是不老合适的吧~
    我觉得要是都有基础看那个书了,外微分应该已经不在话下了

    不过lz看的陈那个讲义倒是很好看
    龚升的那个讲的也不错
    ----------
    这样,我正在看微分几何讲义,检验一下~
    我的外微分是看Zorich入门的,也推荐lz看看
  • Nunc Dimittis

    Nunc Dimittis2010-02-03 18:52:01

    反对称张量之间的一种运算,运算结果依然是一个反对称张量。
  • [已注销]2010-02-07 04:20:26

    你可以吧普通的微分当成特殊的外微分...
    操作意义就是对一个张量求导数后再取反对称...
  • [已注销]2010-02-07 04:43:10

    如果扯的很远的话,可以扯到n次形、外代数、微分几何。其实呢,你要是只为了读通陈的那本书,是没有必要的。

    你可以把外微分简单的当作普通微分,但是要记得,这个“微分”只有在你变换微分参量的时候才能体现出来(只限于初等微积分),具体的说,就是在变换微分参量的时候加上一个雅各比行列式。外微分在初等积分里是变换微分参量的严格理论。如果你不深究的话,可以把它简单的就当作变换微分参量时用的一个手段就行了。

    至于外微分的运算,陈在开始的时候给出了一个简单的反对易关系,这就是它的基本,然后对于一个普通的函数,它的外微分和普通微分相同,而对于一个线元,就要先微线元前的函数,然后在利用那个反对易关系就行了。

    如果你是要学习微分几何,那么最好找本专业的书来看。spivak《流形上的微积分》很复杂,不建议。Zorich的可以试一下。

  • bdpq考科院默摒

    bdpq考科院默摒 (Mosbic诞辰坚定的力量专一的决心) 2010-02-09 18:34:53

    建议lz看龚升的《微积分五讲》
  • 文翎澜汤不牢

    文翎澜汤不牢 (准备期末考了~然后美国走起!) 2010-02-09 22:27:05

    Zorich的《数学分析》里外微分和流型讲得挺清楚的,你不妨去读读~
  • airaria

    airaria2010-02-09 23:21:38

    也可参考齐民友《重温微积分》最后一章~
  • tunnel2010-03-21 20:47:35

    主要是作用在外形式上的算子
  • 龙吟九天

    龙吟九天2010-03-21 21:07:11

    2010-02-02 19:35:50 傑 (既然選擇了遠方 便只顧風雨兼程) 建议看下龚昇先生的《微积分五讲》


  • 烂人贱人在实验室误导大家的昊昊

    烂人贱人在实验室误导大家的昊昊 (我就是欠打……) 2010-03-21 21:14:36

    《微积分五讲》+1
    《重温微积分》+1
  • 楚天舒

    楚天舒2010-03-22 09:54:47

    Hamilton: Quaternion, 3D vector algebra
    Gibbs: Vector analysis
    tensor analysis

    Grassmann:Exterior algebra
    E. Cartan:exterior diff calculus

    Cliffford: Geometric algebra

    =========
    It is generally accepted by the math community and gradually being accepted in the physics community, that the most suitable framework for geometrical analysis is the exterior diff calculus of Grassmann and E. Cartan.
    --- preface of <A course in math for students of physics> , Paul Bamberg and Shlomo Sternberg, CUP 1988,


    ======
    Lasenby, J., Lasenby, A. N., and Doran, C. J. L., 2000, "A Unified Mathematical Language for Physics and Engineering in the 21st Century," Philosophical Transactions of the Royal Society of London A 358: 1-18.
  • tunnel2010-03-29 20:35:35

    外微分主要涉及数学结构
  • fractal

    fractal2011-02-25 21:58:00

    非数学专业,想了解一下
  • AndrewAA2011-02-25 22:38:59

    其实我觉得写得最清楚的是 bott 和 tu 的gtm82........
    或者从微积分到上同调...

    因为他们都是直接从Rn入手的,所以开始的例子只有多元微积分,不需要任何流形的知识,入门很快

    但是,说实话,如果要直接看抽象的流形的话,陈省身那本我觉得才是最好的(我看过的里面)...当然这得看人的喜好了...那本其实不需要任何基础就可以看,只不过不习惯代数思维的人可能觉得比较抽象...
  • AndrewAA2011-02-25 22:40:21

    ps:忽然想到另一本书,arnold的grm60,里面的微分形式也比较简单
  • mimi

    mimi2011-02-27 18:16:44

    首先要了解微分是对偶空间的矢量,因此是一个一次形式。一次形式的外微分是二次形式,是两个一次形式的一种乘积,...一个k次形式的外微分是k+1次形式。
  • 小盖2011-03-02 12:54:10

    简单的说就是高维积分的时候 要对积分区域定向 用外微分 就是形式上简化了定向 使积分有一个统一的表达式 stokes公式

No comments:

Post a Comment