微分形式的外微分

微分形式的外微分
微分形式的外微分

习 题 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=∧′=∑=n

i i i i i dx dx x a

3.设ω=∧+∧+∧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 03233

132221=∧∧??+∧∧??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ω 。

解 由题意,可得

)()(),()(),()(2312

31x a x b z a z b y a y b ?=′?=′?=′, 所以

dx dy y a ))((3∫?=ωdy dz z a ))((1∫?dz dx x a ))((2∫?。

5. 设(∑=∧=n

j i j i ij dx dx a 1,ωji ij a a ?=,n j i ,,2,1,"=)是n R 上的2-形式,证

d ω∑=∧∧???

???????+??+??=n k j i k j i j ki i jk k ij dx dx dx x a x a x a 1,,31。 证 因为

,1n ij i j i j a dx dx ω==∧∑,1n jk j k j k a dx dx ==

∧=∑=∧n

i k i k ki dx dx a 1,∑, 所以

∑=∧∧??=

n k j i j i k k ij dx dx dx x a d 1,,ω

∑=∧∧??=

n k j i k j i i jk dx dx dx x a 1,, ∑=∧∧??=

n k j i i k j j ki dx dx dx x a 1

,,, 由于 k j i i k j j i k dx dx dx dx dx dx dx dx dx ∧∧=∧∧=∧∧, 从而

d ω∑=∧∧???

???????+??+??=n k j i k j i j ki i jk k ij dx dx dx x a x a x a 1,,31。

微分算子法典型例题讲解

高阶常微分方程的微分算子法 高阶方程的求解自然要比一阶方程更为困难,即使是对于线性微分方程。但是有一个例外:常系数线性微分方程。我们可以完整的求出它的通解来,所以常系数线性方程的求解,主要精力是集中在讨论对应的非齐 次方程的特解。本节主要讨论微分算子法。 1.求方程230y y y ''''''--=的通解. 解 记()n n y D y =,将方程写成 32230D y D y Dy --= 或32(23)0D D D y --= 我们熟知,其实首先要解特征方程 32230D D D --= 得0,1,3D =-故知方程有三特解31,,x x e e -,由于此三特解为线性无关,故立得通解 3123x x y C C e C e -=++ 注:本题方程为齐次常系数三阶常微分方程,线性常微分方程的一般形状是 1111()()()()() n n n n n n n d y d y dy L y a x a x dx dx dx a x y f x ---=++++= 其中系数1(),,()n a x a x 是某区间(,)a b 上的连续函数,上述方程又可写成 1 1()(()())n n n L y D a x D a x y -≡+++ ()f x = 可以把上面括号整体看作一种运算,常称为线性微分算子。本题中各()i a x 均为实常数,今后也仅对实常系数的情形来进一步发展线性微分算子方法。 2.求解 61160y y y y ''''''-+-= 解 写成 32(6116)0D D D y -+-= 从特征方程 3 2 06116D D D =-+- (1)(2)(3)D D D =--- 解得 1,2,3D =共三实根,故可立即写成特解 23123x x x y C e C e C e =++ 3.求解 39130y y y y ''''''-++= 解 写成 32(3913)0D D D y -++= 或 2(1)(413)0D D D y +-+= 特征方程 2(1)(413)0D D D +-+=有根 1,23D i =-±,故对应的特解是x e -,2cos3x e x , 2sin3x e x 从而通解是 22123cos3sin3x x x y C e C e x C e x -=++ 4.求(4)45440y y y y y ''''''-+-+=之通解. 解 写成 432(4544)0D D D D y -+-+= 或 22(2)(1)0D D y -+= 特征根是2,2,D i =±,对应的特解应是 22,,cos ,sin x x e xe x x ,故写成通解 21234()()cos sin x y x e C C x C x C x =+++ 5.求1(cos )y y x -''+=的通解 解 本题为非齐次方程,先求出对应的齐次方程 0y y ''+=的通解,写成2(1)0D y +=,可知特征根为i ±,相应的通解为112cos sin y C x C x =+ 设原方程有特解形为 *12()cos ()sin y C x x C x x =+ 其中12,C C 为待定函数,常数变异告诉我们,应求解下面的方程组 121 12()cos ()sin 0 ()(cos )()(sin )(cos ) C x x C x x C x x C x x x -?''+=??''''+=?? 或 121 12()cos ()sin 0()sin ()cos (cos ) C x x C x x C x x C x x x -?''+=??''-+=?? (方程组右端为原方程非齐次项1(cos )x -),解得 1s i n ()cos x C x x '=-,2()1C x '= 或 1()ln cos C x x =,2()C x x = 最后得通解为 1*()()()y x y x y x =+ 12cos sin cos ln cos sin C x C x x x x x =+++

微分形式及其应用

微分形式及其应用 1 引子 两个函数,如何检验它们是否互为函数呢? 比如 y x f +=2 ,6022 2 4 +++=y y x x g ,它们之间就有关系602 +=f g ,这很 明显。但是对于复杂的函数就未必一眼看得出。 另一个老实的办法是,计算它们的雅克比行列式 ()0221 442////) ,(,22 =++=????????=??y x xy x x y g y f x g x f y x g f ,因此它们相关,互为函数关系。 对于多元的就要麻烦些,要计算多个雅克比。比如),,(),,,(z y x g z y x f ,要想判定他们是否互为函数,就要判定 ()() y x g f ,,??, ()() z y g f ,,??, ()() x z g f ,,??都为0才对。 有没有更好的表达方式呢?有利用外微分(过一会再解释) 44444444)44()22(2) 22()22(2) 2()2()602()602()602()(3 3 3 3 3 2 2 24 2 2 2 2 4 2 2 2 2 2422422 2 4 2 =∧-∧-∧+∧=∧+∧+∧+∧=+∧++∧=++∧+++∧=+∧++∧=+++∧++++∧=+++∧+=∧dy xydx dy dx x dy xydx dy dx x dx xydy dx dy x dy xydx dy dx x xydx dx x dy ydy dy x xdx dy x y dx dx dy dy dy x y dx xdx y x x d dy y y x d dx y y x x d dy y y x x d dx y y x x d y x d dg df 好奇怪的运算规则:任何两个函数微分的外积,互换次序得负;任何相同表达式微分的外积为0。da db db da ∧-=∧,0=∧da da 这让我们想起了面积的定义。对了!外积的意义就是面积。 我们重新理解一下(见图) 如果将),(g f 作为两个变量,则组成空间。),(g f 作为),(y x 的函数,当),(y x 改变时, ),(g f 也随之改变。当函数g f ,互不关联(不互为函数时),由于各自独立改变,当) ,(y x 遍历一个非常小的方形区域)(dy dx ∧时,),(g f 也形成一个小面积。但是当函数g f ,互为关联(互为函数时),由于各自改变不独立,当),(y x 遍历一个非常小的方形区域)(dy dx ∧时,),(g f 仅在一个小线段上(或者在一个点,总之在低维的空间上)运动。由于dg df ∧就代表面积元,因此为0.

图解微分法和图解积分法

图解微分法和图解积分法 一些在数学上有微积分关系的物理量,常可用图解微分法和图解积分法进行研究。例如已知机构的位移曲线后,可不必通过机构各个位置的速度图解和加速度图解,直接用图解微分法作出相应的速度曲线和加速度曲线。 一.图解微分法 现以由位移曲线求速度为例,进行说明。 设有一位移曲线()t s s =,如图1-1所示,纵坐标y 代表位移s ,所用的比例尺为?? ? ??mm m s μ,横坐标x 代表时间t ,所用的比例尺为?? ? ??m m s t μ。求位移曲线上某点C的速度是,如能作出该点的切线t-t ,则所作切线的斜率即该点的速度。由于切线不容易准确作出,在工程上常用邻近两点弦线的斜率来作为切线的斜率。在C点左右做两条离开C点有等距的纵坐标线与位移曲线相交于l 及n 点,由于弦线ln 与中点C的切线接近平行,所以C点的速度可表示为 x y dx dy dt ds v t S t S ??===μμμμ (1-1) 图1-1 一般Δx 取得最小时,弦线的斜率就和中点切线的斜率越为接近,因而算出速度的精确度也较高。为了节省计算和作图的工作量,一般常取各个时间间隔的Δx 相等,于是可将上式中的()x t s ?μμ/合成为一个常数K ,从而只要依次量出各个时间间隔的Δy ,就可算出相应各时间间隔中点的速度,即 ()y K v ?= (1-2) 例如在图1-1中C 、D 点的速度分别等于K (mn )、K (pq )。速度算出后,再选择适当的速度比例尺μv进行换算,即可作出速度曲线。 为了更简捷地作出速度曲线,可将式(1-1)改写成包含弦线与横坐标轴倾角α的形式:

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

学习外微分形式的一些感受 PB07210141 焦凡书 外微分形式把Stokes,Gauss 公式联系起来,而且推广到高维空间。初学时觉得很“神奇”,查阅了一些书籍后才知道Poincare ’指出多重积分的体积元素应有一个正负定向导致了外微分的出现。而外微分的出现可以说标志着微积分从古典走向现代。在物理,力学,偏微分方程,微分几何中,外微分发挥了巨大的作用。外微分有其更本质的含义,下面是我的一些总结和感受。 如果我们研究曲面(双侧曲面)的方向性,那么:在双侧曲面上任意取定一点M ,并在M 处选定一个单位法向量n(M),对于曲面S 上任意一点M ’,在S 上做一条连接M,M ’的曲线,由n(M ’)沿曲线连续变化的原则,就可以唯一的确定M ’处的单位法向量n(M ’),从而就完全确定了双侧曲面的一个侧。曲面S 在M 处的单位法向量有且仅有两个,它们是互为相反方向的单位向量,这两个向量正好确定了曲面的两个定侧。 在双侧曲面内令:x=x(u,v) y=y(u.,v) 则面积元素dA=dxdy=| ()) (v u y x ,,??|dudv=| v y u y v x u x ????????|dudv=( u y v x v y u x ????????_ )dudv 若将x,y 对换dA=dydx=| ()) (v u x y ,,??|dudv=| v x u x v y u y ????????|dudv=( v y u x u y v x ????????_ )dudv 可得dxdy=-dydx dxdx=0 我们把满足上述关系即:两个相同微分乘积为零,不同微分乘积变换顺序时变号的微分之间的乘积称为微分外积,用∧ 表示。由微分的外乘积乘上函数组成的微分形式称为外微分形式。若P ,Q,R,H 是x,y,z 的函数,则Pdx+Qdy+Rdz 为一次外微分形式。Pdy ∧dz+Qdz ∧dx+Rdx ∧dy 为二次外微分形式,Hdx ∧dy ∧dz 为三次外微分形式。 可以证得(1)Newton-Leibniz 公式用外微分表示?D df =f(b)-f(a)=??D f (2)Green 公式用外微分表示=ωPdx+Qdy, ? ?+D Qdy Pdx =dxdy y P x Q D )( ??- ???, ???= D D d ωω (3)Gauss 公式用外微分表示=ωPdy ∧dz+Qdz ∧dx+Rdx ∧dy, ?? S Pdy ∧dz+Qdz ∧dx+Rdx ∧dy= )( z R y Q x P V ??+ ??+ ????? dx ∧dy ∧dz, ????? ?=V V d ωω (4 ) Stokes 公 式用外微分表示=ωPdx+Qdy+Rdz,

微分流形

《微分流形》课程教学大纲 课程编号: 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)

§1. 外微分式 §2. 外微分 §3. Pfaff方程组和Frobenius定理 §4.外微分式的积分和Stokes定理 十、推荐教材和教学参考书 教材:《微分流形初步》,陈维桓编著,高等教育出版社,1998年。 参考书: 1、《黎曼几何初步》,白正国,沈一兵等编著,高教出版社。 2、《微分几何讲义》,陈省身,陈维桓等编著,北京大学出版社。 大纲制订人:贾兴琴、冷雁 大纲审定人:冯淑霞 制订日期:2007年3月15日

外 微 分

外 微 分 尹 小 玲 以下仅在三维空间中讨论。 一、微分的外积运算 微分的外积定义:对三维空间中自变量的微分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。

最新微分算子法

微分算子法

仅供学习与交流,如有侵权请联系网站删除 谢谢6 高阶常微分方程的微分算子法 撰写 摘自《大学数学解题法诠释》 .徐利治,.冯克勤,.方兆本,.徐森林,.1999 高阶方程的求解自然要比一阶方程更为困难,即使是对于线性微分方程。但是有一个例外:常系数线性微分方程。我们可以完整的求出它的通解来,所以常系数线性方程的求解,主要精力是集中在讨论对应的非齐 次方程的特解。本节主要讨论微分算子法。 1.求方程230y y y ''''''--=的通解. 解 记()n n y D y =,将方程写成 32230D y D y Dy --= 或32(23)0D D D y --= 我们熟知,其实首先要解特征方程 32 230D D D --= 得0,1,3D =-故知方程有三特解31,,x x e e -,由于此三特解为线性无关,故立得通解 3123x x y C C e C e -=++ 注:本题方程为齐次常系数三阶常微分方程,线性常微分方程的一般形状是 1 111 ()()() ()()n n n n n n n d y d y dy L y a x a x dx dx dx a x y f x ---= ++++= 其中系数1(),,()n a x a x 是某区间(,)a b 上的连 续函数,上述方程又可写成 11()(()())n n n L y D a x D a x y -≡++ + ()f x = 可以把上面括号整体看作一种运算,常称为线性微分算子。本题中各()i a x 均为实常数,今后也仅对实常系数的情形来进一步发展线性微分算子方法。 2.求解 61160y y y y ''''''-+-= 解 写成 32(6116)0D D D y -+-= 从特征方程 3206116D D D =-+- (1)(2)(3)D D D =--- 解得 1,2,3D =共三实根,故可立即写成特解 23123x x x y C e C e C e =++ 3.求解 39130y y y y ''''''-++= 解 写成 32(3913)0D D D y -++= 或 2(1)(413)0D D D y +-+= 特征方程 2(1)(413)0D D D +-+=有根 1,23D i =-±,故对应的特解是x e -, 2cos3x e x , 2sin 3x e x 从而通解是 22123cos3sin 3x x x y C e C e x C e x -=++ 4.求(4)45440y y y y y ''''''-+-+=之通解. 解 写成 432(4544)0D D D D y -+-+= 或 22(2)(1)0D D y -+= 特征根是2,2,D i =±,对应的特解应是 22,,cos ,sin x x e xe x x ,故写成通解 21234()()cos sin x y x e C C x C x C x =+++ 5.求1(cos )y y x -''+=的通解 解 本题为非齐次方程,先求出对应的齐次方程0y y ''+=的通解,写成2(1)0D y +=,可知特征根为i ±,相应的通解为112cos sin y C x C x =+ 设原方程有特解形为 *12()cos ()sin y C x x C x x =+ 其中12,C C 为待定函数,常数变异告诉我们,应求解下面的方程组 121 12()cos ()sin 0()(cos )()(sin )(cos )C x x C x x C x x C x x x -?''+=??''''+=?? 或 121 12()cos ()sin 0()sin ()cos (cos ) C x x C x x C x x C x x x -?''+=??''-+=??

外微分

利用外微分对场论中三个算子的讨论 【摘要】 本文通过引入外微分算子,对经典场论中的梯度,旋度,散度做了统一的解释,寻找其中的关系.同时利用其寻找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:设是区域上的向量场,是内一点.在场中围绕点做任意的闭 曲面,是所围成的闭区域,其体积记为.是外侧的单位法向量.若当区域无限收缩于点时,比式 的极限存在,就称该极限为向量场在点的散度,记为,即

第三章 外分是和活动标架

第三章 外微分是 和活动标架 一 外微分形式 1 Grassmann 代 数 (1) 主要概念 2n 维向量空间()v G ,外乘、 Grassmann 代数 设V 是n 维向 量 空间,{}e e e n ,ΛΛ21是它 的一组基。 ()V V V V n p V G ΛΛΛ⊕⊕⊕⊕=10其中 R ,R V V n ≈=0 ??????∧∧∧=∑<<≤a i i i i i i p i p p a p e e e a V ΛΛΛ12111(2)主要性质和 公式

命题 1 Grassmanm 代数 满足反交换律。 V V q p y ,x ∈∈则 ()x y y x pq ∧=∧-1 推论 设V y ,x 1 ∈ 则 0,=∧∧-=∧x x x y y x 命题 2 设 {}e e e n ,ΛΛ21是V 一维基 , ,,,21V y y y p ∈Λ,则 有() ∑===n j j ij i p i e a y 12,1ΛΛ ∑≤≤≤≤=∧∧∧n p i i pi pi i i p p p a a a a y y y ΛΛΛ ΛΛΛΛ11112111p i i i e e e ∧∧∧ (21)

推论 1 V 中 的一组向量 y y y p ,Λ21是线性无关的必要和充 分条件是: 021≠∧∧∧y y y p Λ. 推论 2 设{} y y y n ,ΛΛ21是V 的另一组基,并 且()∑===n j j ij i n i e a y 1 ,,2,1Λ ()0det ≠a ij 则有 ()a y y y ij n det 21=∧∧∧Λe e e n ∧∧∧Λ21 2 外微分形式 (1) 主要概念 坐标域U 上 的-∞ C 函数环K 上的模V ,外微

微分形式的外微分

习 题 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=∧′=∑=n i i i i i dx dx x a 3.设ω=∧+∧+∧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 03233 132221=∧∧??+∧∧??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ω 。 解 由题意,可得 )()(),()(),()(2312 31x a x b z a z b y a y b ?=′?=′?=′, 所以 dx dy y a ))((3∫?=ωdy dz z a ))((1∫?dz dx x a ))((2∫?。 5. 设(∑=∧=n j i j i ij dx dx a 1,ωji ij a a ?=,n j i ,,2,1,"=)是n R 上的2-形式,证 明

外微分

外 微 分 尹 小 玲 以下仅在三维空间中讨论。 一、微分的外积运算 微分的外积定义:对三维空间中自变量的微分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)

图解微分法与图解积分法简介

图解微分法与图解积分法简介 1、图解微分法 下面以图为例来说明图解微分法的作图步骤,图1-6为某一位移线图, 曲线上任一点的速度可表示为: αμμμμtan t S t S dx dy dt ds v === 图位移线图 其中dy 和dx 为s=s(t)线图中代表微小位移ds 和微小时间dt 的线段, α为曲线s=s(t) 在所研究位置处切线的倾角。 上式表明,曲线在每一位置处的速度v 与曲线在该点处的斜率成正比,即v ∝tg α,为了用线段来表示速度,引入极距K(mm),则 αμαμμαμμμμtan tan tan K K K dx dy dt ds v v t S t S t S =?==== 式中μv 为速度比例尺,μv = μs /μt K ( m/s/mm )。该式说明当K 为直角三角形中α角的相邻直角边时,(Ktg α)为角α的对边。由此可知,在曲线的各个位置, 其速度v 与以K 为底边,斜边平行于s=s(t)曲线在所研究点处的切线的直角三角形的对边高度(Ktg α)成正比。该式正是图解微分法的理论依据,按此便可由位移线图作得速度线图(v-v(t)曲线),作图过程如下: 先建立速度线图的坐标系v=v(t)(图a),其中分别以μv 和μt 作为v 轴和t 轴的比例尺, 然后沿轴向左延长至o 点,o0=K(mm),距离K 称为极距,点o 为极点。过o 点作s=s( t)曲线(图)上各位置切线的平行线o1"、o2"、o3"...等,在纵坐标轴上截得线段01"、02"、03"...等。由前面分析可知,这些线段分别表示曲线在2'、3'、4'... 等位置时的速度,从而很容易画出位移曲线的速度曲线(图a)。

第八节微分形式的外微分

第八节 微分形式的外微分 一 微分形式及其外积 我们知道, 一个可微函数12(,, ,)n f x x x 的全微分为 1 n i i i f df dx x =?=?∑ . 它是12,,n dx dx dx 的线性组合, 一个很自然的想法是将12,, n dx dx dx 看作一个线性空间 的基. 设Ω是n ?上的区域, 记12(,,)n x x x x =, 1()C Ω(1,2, ,i n =)为Ω上连续可微函数全 体. 将12,, n dx dx dx 看作一组基, 其线性组合 11122()()(),()()(1,2, ,)n n i a x dx a x dx a x dx a x C i n ++ +∈Ω= 称为一次微分形式,简称1-形式. 1-形式的全体记为1 ()ΛΩ(或1 Λ). 如果对1Λ中的元素定义加法、数乘、零元和负元等, 就可以使1 Λ成为一个1 ()C Ω上的 线性空间. 对于任意1 ,ξη∈Λ: 1122()()()n n a x dx a x dx a x dx ξ=+++, 1122()()()n n b x dx b x dx b x dx η=++ +, 定义ξη+和λξ(1 ()C λ∈Ω)为 111222(()())(()())(()())n n n a x b x dx a x b x dx a x b x dx ξη+=++++ ++, 1122(()())(()())(()())n n x a x dx x a x dx x a x dx λξλλλ=++ +, 进一步定义1 Λ中的零元为 120000n dx dx dx =++ +, 且定义负元为 1122(())(())(())n n a x dx a x dx a x dx ξ-=-+-+ +- 显然1 Λ成为一个1 ()C Ω上的线性空间. 为了得到二次微分形式, 我们先引入向量的外积这个概念. 设12(,)a a a =, 12(,)b b b =为平面2 ?上两个线性无关的向量, 我们将行列式 121 2 a a b b

外微分

外 微分 尹小玲(以下仅在三维空间中讨论) 一、微分的外积运算微分的外积定义:对三维空间中自变量的微分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 =ù||,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)

图解微分法

图解微分法 一些在数学上由微积分关系的物理量,常可用图解微分法和图解积分法进行研究。例如已知机构的位移曲线后,可不必通过机构各个位置的速度图解和加速度图解,直接用图解微分法作出相应的速度曲线和加速度曲线。 一、图解微分法 现以由位移曲线求速度为例,进行说明。 设有一位移曲线S=S(t)如图八所示,总坐标y 代表位移S ,所用的比例尺寸为()s m mm μ,横坐标x 代表时间t,所用的比例尺为()t s mm μ。求位移曲线上某点C 的速度时,如能作出该点的切点t-t ,则所作切线斜率即代表该点的速度。由于切线不容易准确作出。在工程上常用邻近两点弦线的斜率来代替切线的斜率,在C 点左右作两条离开C 点有等距的纵坐标与位移曲线相交于l 及n 点,由于弦线l n 与中点C 的切线接近平行,所以C 点速度可表为 s s t t ds dy y v dt dx x μμμμ?===? (Ⅰ-1) 一般Δx 取得越小时,弦线的斜率就和重点切线的斜率越为接近,因而求出速度的精确度也较高。为了节省计算和作图的工作量,一般常取各个实践间隔的相等,于是可将上式中的/()s t x μμ?合成一个常数K ,从而只要依次量出各个时间间隔的,就可算出相应各时间间隔中点的速度,即 ()v K y =? (Ⅰ-2) 例如在图六中C 、D 点的速度分别等于。速度算出后,在选择适当的速度比例尺进行换算,即可作出速度曲线。 为了便简捷地作出曲线可将式(Ⅰ-1)改写成包含弦线与横坐标轴倾角α的形式: tan()(tan())(tan())s s V t t v H H H μμααμαμμ=== (Ⅰ-3) 式中 /s t m s H mm μμμ= V (Ⅰ-4)

相关文档
最新文档