Friday, July 10, 2015

einstein manifold 流形本身 也不该先验的给定,而是在解爱因斯坦方程的过程中 “生长”出来; 曲面的第二基本形式. 前面研究了曲面的内蕴几何,而与的曲面的形式. 无关,本节研究外在形式---曲面的弯曲性. 曲面在一点的弯曲性

正文:初步的微分几何,必须掌握基本的曲线论,必须适应以弧长为参数的方程.Frenet公式是曲线论基本公式, Frenet标架是活动标架在曲线时的特殊情形.两条曲率和挠率都一样的曲线可以通过刚体运动重合在一起,这是曲线论基本定理.曲线的内蕴曲率为零。所以所有曲线都可以拉直而不改变其上任意两点间弧长.我们知道,曲面论中这一点通常不能成立,除非此曲面可以等距映射为平面,我们称这种可以和平面进行等距映射的曲面为平坦曲面,如柱


Gauss绝妙定理指出, Gauss曲率K在曲面的等距变换下保持不变.即曲面的内蕴性质由第一基本形式决定决定,与它在外围空间中的形状无关.而曲面的第二基本形式则决定了曲面在外围空间中的形状.这些结论可以可以推广到高维空间中的超曲面(维数比外围空间低一的曲面称为超曲面).


[PPT]2-3-1 曲面的第二基本形式.ppt

course.zjnu.cn/wfjh/.../2011316211222299.ppt


几何意义:曲面的第二基本形式近似地等于P邻近点QP切平面中距离的两倍

Translate this page
3.1 曲面的第二基本形式. 前面研究了曲面的内蕴几何,而与的曲面的形式. 无关,本节研究外在形式---曲面的弯曲性. 曲面在一点的弯曲性,自然地用曲面偏离此点的切 ...


几何直观地介绍广义相对论中的时空以及大爆炸模型 (23) [ ] 于:2012-02-23 08:01:11 复:3659016
几何直观地介绍广义相对论中的时空以及大爆炸模型 (23)时空分解与演化
23.0 先有鸡还是先有蛋
爱因斯坦方程说:描述内在弯曲的数学量 等于 描述物质分布的数学量。 仔细一想,这里面隐藏着很多 “先有鸡还是先有蛋” 类型的问题F
23.1 先有弯曲时空 还是先有物质
乍看起来我们要先给定物质分布,再研究物质造成的弯曲时空。这个思路的来源可追溯到牛顿引力论:先给物质分布,再决定引力。然而 在广义相对论中引力成了弯曲的时空,而物质是分布在时空中的。如果时空是怎样的都不清楚,如何描述物质在时空中的分布? 事实上 爱因斯坦方程 右边的 描述内在弯曲的数学量 就依赖于时空的性质。因此先给定物质分布 再研究物质造成的弯曲时空,在数学上或物理上都行不通。F
23.2 再看 空的弯曲时空
我们已经知道 爱因斯坦方程的解可以是 无物质的 空的弯曲时空。我们固然可以说,弯曲时空 可以仅由弯曲时空造成。可这到底是什么意思?F先有弯曲时空,再有弯曲时空?哪个弯曲时空决定哪个弯曲时空?F
23.3 先有鸡。。。先有蛋。。。先有“先”?
在前面的讨论中隐含着一个假设,即我们有时间上的先后概念。可是仔细一想,时间本身也是时空的一部分,也属于待解的方程中的未知量。而且时空流形混沌一体,并未给定时空分解呀。我们连谈论时间上的先后 都成问题。F
23.4 初值问题
无法谈论时间先后的一个后果 就是无法谈论 物理对象的演化,即 物理对象随时间的变化。我们是不是必须放弃 物理对象随时间变化 这一基本的世界图象呢? 如果这样做,广义相对论就面临 极大的 诠释性的问题:广义相对论在何种意义上能算是一个(科学的)规律?
广义相对论之前的物理规律的模式 都是这样的。 我们如果知道了某一时刻的足够多的物理信息,物理规律就可以告诉我们 物理对象随时间如何变化 物理对象的未来会怎样(往往我们也可以反推过去的情况)。这就使得我们可以对未来的实验观测结果 作出预言,然后与实验对照。这是科学研究的基本模式F。没有这个模式的理论,如何与实验对照? 是否能被认为是物理的(科学的)理论?这里显然有很大的哲学上的困难。
数学上我们说,我们要研究微分方程(即物理规律)的初值问题(给定一个时刻的状态 推出以后的状态)。 甚至连量子力学也是这个模式(所谓的波函数 是按照一个微分方程:薛定谔方程演化的。只不过我们的预言只能是概率性的)。F
广义相对论中我们有微分方程:爱因斯坦方程。但在时空既未定也未分的情况下 什么是它的初值问题呢
23.5 先有方程还是先有流形?
这是一个相关但更基本的问题。前面讲的时空未定,似乎可以姑且理解为度量结构未定。可是真的是这样吗?是不是说流形本身是先验地固定的,只有度量结构才是“动力学的”?如果是这样的话,那我们的先验的流形是什么呢?别忘了我们研究的是“可能的时空”(16),如果流形本身是先验地固定的,那么对各种可能的时空都需要 各自有一个先验的不能由现有物理学决定的流形。可是我们如果在理论上无从知晓这先验的流形是什么,就无法在不做实验观测的情况下写出方程的具体形式,更不用说去解方程了。这是极严重的问题。已往的物理学可不是这样的, 在那里物理规律一旦确立之后,在研究可能的各种情况(各种应用)时,基本规律本身就不动了,需要通过实验观测输入的 是初值问题中的初值信息。
所以看来流形本身 也不该先验的给定,而是在解爱因斯坦方程的过程中 “生长”出来F。可是如果流形是未知的,又如何写出 描述流形上某个未知度量结构内在弯曲的数学量呢?F
23.6 爱因斯坦方程的独特性
至此,我们已经体会到了 爱因斯坦方程 和其他的物理理论中的方程是有很大不同的。先不管解方程的问题。连这方程到底在说啥 都有很大的理解上的困难。这困难既是数学的也是物理的。
待续



微分几何科普(1):浅谈度规和曲率
新用户注册 | 用户登陆 | 刷新
论坛嘉宾: 萍踪浪迹 gauge 季候风
萍踪浪迹

发表文章数: 1051
内力值: 453/453
贡献度: 9137
人气: 1200
客栈长老论坛嘉宾学术成员
微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
微分几何科普(1):浅谈度规和曲率

Shanqin(萍踪浪迹)

前言:从现在开始,写一些大学理科生可以轻松看得懂的科普帖子,作出的牺牲就是让其他更高学历的人看起来很平庸.从现在开始,要把看起来要写比较长的文章分开写,不在一个帖子里搞连载。这样主要是为了避免没有时间续写自己的主题而让自己的帖子变成TJ帖(啥叫TJ呢?就是和DJ有一定联系的……)。

正文:初步的微分几何,必须掌握基本的曲线论,必须适应以弧长为参数的方程.Frenet公式是曲线论基本公式, Frenet标架是活动标架在曲线时的特殊情形.两条曲率和挠率都一样的曲线可以通过刚体运动重合在一起,这是曲线论基本定理.曲线的内蕴曲率为零。所以所有曲线都可以拉直而不改变其上任意两点间弧长.我们知道,曲面论中这一点通常不能成立,除非此曲面可以等距映射为平面,我们称这种可以和平面进行等距映射的曲面为平坦曲面,如柱面.

因此,我们必须深入研究曲面的曲率问题,首先要熟悉曲线坐标,在切平面上讨论问题,这个是整个微分几何的基础.因为即使到高维情形,我们仍要讨论切空间及其上的Levi-Civita联络.
在切平面上任意点引入切矢量基(du,dv),切向量在这个基下的分量则为r_u,r_v,定义切向量内积系数:
E=< r_u. r_u>=g_11,
F=< r_u. r_v>=< r_v. r_u>=g_12,
G=< r_v. r_v>=g_22,
这三个量就是极其重要的度量(度规)系数.
曲面的第一基本形式于是可以写成:
Ⅰ=<dr.dr>=Edudu+2Fdudv+Gdvdv=g_ijdu_idu_j
最后一式我们将du,dv写成du_1,du_2,i,j取值为1,2,这里采用了Einstein求和约定:重复指标自动求和.这样的符号约定和求和约定可以让我们轻松将2维情形推广到n维流形的n维切空间,其上切向量内积系数(度量系数)就是g_ij(i,j=1,2,…,n),若n等于4,就是广义相对论中的度规张量情形.

我们开始讨论曲面的第二基本形式.引入曲面上任意点的法向量n,定义两点间法向量的变化: dn=n_udu+n_vdv.
其中n_u,n_v为dn在基(du,dv)下的展开系数.则我们可以定义内积:
L=-< r_u. n_u>=h_11
M=-< r_u. n_v>=< r_v. n_u>h_12
N=-< r_v. n_v>=h_22
L,M,N(h_11, h_12, h_22)称为第二形式基本量,于是第二基本形式可以写成:
Ⅱ= -<dr.dn>= Ldudu+2Mdudv+Ndvdv= h_ijdu_idu_j.
最后一个等式采用的符号和求和约定同上.

第一基本形式决定了曲面的内蕴结构,以后我们会发现,联络系数(Christoffel符号)由度规张量和度规张量的一次导数决定,而曲面的Gauss曲率(广而言之,流形的Riemann截面曲率)由联络系数及其一阶导数决定.

什么是Gauss曲率和Riemann截面曲率?
我们可以从曲面的法曲率出发,定义主曲率.我们想象拿着一把刀,贴着曲面上某点(u,v)的法线往下切,在曲面上切出一条曲线,这条曲线的曲率就是曲面在该点(u,v)沿(du,dv)方向的法曲率.如果想象我们切一个椭球面,在同一点贴着法线,沿不同方向切下去,切出的所有曲线(称为法截线,相应的这一刀所在的平面称为法截面)的曲率不一定一样.我们把这些曲线的曲率进行比较,最大和最小的法曲率称为主曲率,记为k_1, k_2.这两个法曲率对应的法截线必定垂直.
定义Gauss曲率为k_1, k_2的乘积:K= k_1.k_2. 若K=0,则曲面必然平坦.
定义平均曲率为k_1, k_2的算术平均: H=( k_1+_2)/2.若H=0,则该曲面就是极小曲面.
Gauss绝妙定理指出, Gauss曲率K在曲面的等距变换下保持不变.即曲面的内蕴性质由第一基本形式决定决定,与它在外围空间中的形状无关.而曲面的第二基本形式则决定了曲面在外围空间中的形状.这些结论可以可以推广到高维空间中的超曲面(维数比外围空间低一的曲面称为超曲面).

1854年Riemann推广了Gauss的想法,将抽象曲面研究推广到高维抽象弯曲空间(流形)进行研究.在高维情形,我们将面对切空间.与前面类似,我们定义度规系数g_ij(i,j=1,2,…,n),此时我们可以让其他方向都退化,留下两个方向,用曲面论观点看问题.这样就可以将Gauss曲率搬到这里,由于方向很多,我们将面对不止一个的Gauss曲率,我们将这些曲率称为Riemann截面曲率.显然,当弯曲空间为2维曲面时, Riemann截面曲率就是Gauss曲率.

Riemann截面曲率为常数的空间称为常曲率空间,如果这个常曲率空间是单连通的,我们就称为“空间形式”,最重要的三种空间形式分别是正曲率的球空间,零曲率的欧空间,负曲率的双曲空间.

Riemann在世时,并未将这个想法进行详细发展,后世的Christoffel进行了很大的扩充,这个曲率由Christoffel符号的导数和乘积表示, 所以Riemann截面曲率也称为Riemann-Christoffel曲率.

将Riemann截面曲率缩并(取迹,即让R_ijkl中的两个字母相同而求和),就得到了Ricci曲率R_ij,将Ricci曲率缩并,就得到标量曲率(数量曲率,纯量曲率)R.

这些概念在后来Einstein创立的引力论(GR)之中都成为核心概念.GR确定了时空曲率和物质分布的关系.其基本方程就是Einstein方程:
R_ij-1/2 R g_ij+Λg_ij=8πT_ij
其中R_ij为时空的Ricci曲率,R为时空的标量曲率, g_ij为时空的度规张量. Λ为宇宙学常数, T_ij为物质的物质的能-动张量.我们可以记G_ij=R_ij-1/2 R g_ij, G_ij就是通常所说的Einstein张量.

因此我们研究四维时空时,只要知道它的度规张量(第一基本形式系数),就可以直接以这个四维时空为研究对象,而不用考虑将这个时空嵌入更高维数的空间进行研究.所以不管是Minkowski空间,de Sitter空间还是反de Sitter空间,都是写成度规后进行研究.

但是在很多时候,我们要研究时空中的超曲面. 即使是de Sitter空间和反de Sitter空间,我们也可以将它们分别嵌入五维欧氏空间R^5里面的双曲面.

而在广义相对论中我们以Lorentz流形作为基本研究框架(尽管我们可以赋予时空其他形式的度规结构,但是我们最经常使用的还是Lorentz度规.)我们通常要研究Lorentz流形中的类空超曲面M^3,为了研究其上的内蕴特征和外在特征在时间演化下的变化,就必须引入初始数据集(M^3,g_ij, h_ij),此处g_ij, h_ij分别为M^3上的度规张量和第二基本形式量. g_ij和h_ij必须满足的相容性条件是著名的Gauss-Codazzi方程.因为 Gauss-Codazzi方程是(超)曲面存在的充分必要条件.因此可见看似初等的微分几何曲面论中的一些概念在广义相对论的现代研究中实际上是非常重要的.


漫漫长夜不知晓 日落云寒苦终宵
痴心未悟拈花笑 梦魂飞度同心桥
发表时间: 2007-05-18, 11:45:32 个人资料
萍踪浪迹

发表文章数: 1051
内力值: 453/453
贡献度: 9137
人气: 1200
客栈长老论坛嘉宾学术成员
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
但是在很多时候,我们要研究时空中的超曲面. 即使是de Sitter空间和反de Sitter空间,我们也可以将它们分别嵌入五维欧氏空间R^5里面的双曲面.
===================================================
昌海兄,请将上面这一段替换成下面这一段,然后删除此回帖:

但是在很多时候,我们要研究时空中的超曲面. 即使是de Sitter空间和反de Sitter空间,我们也可以将它们分别嵌入五维伪欧氏空间(pseudo-Euclidean spaces)R^5里面的双曲面。dS空间嵌入的是号差为(-,+,+,+,+)的伪欧氏空间,AdS空间嵌入的是号差为(-,-,+,+,+)的伪欧氏空间.另外,1933年时,Robertson证明了Einstein静态时空也可以嵌入号差为(-,+,+,+,+)的伪欧氏空间。


漫漫长夜不知晓 日落云寒苦终宵
痴心未悟拈花笑 梦魂飞度同心桥
发表时间: 2007-05-18, 13:42:50 个人资料
卢昌海

发表文章数: 768
内力值: 416/416
贡献度: 7898
人气: 1737
站长客栈长老学术成员
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
这篇文章中由于有一些“<”符号, 在修改过程中会被系统错当成 HTML Tag, 因此只好不改了。 不过在文集版本中我会进行上述替换的。


宠辱不惊,看庭前花开花落
去留无意,望天空云卷云舒
发表时间: 2007-05-18, 13:48:10 个人资料
Zhangshizhuo

发表文章数: 71
内力值: 132/132
贡献度: 674
人气: 55
学术成员
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
dS空间嵌入的是号差为(-,+,+,+,+)的伪欧氏空间,AdS空间嵌入的是号差为(-,-,+,+,+)的伪欧氏空间.另外,1933年时,Robertson证明了Einstein静态时空也可以嵌入号差为(-,+,+,+,+)的伪欧氏空间。
=================================================================================
(-,+,+,+,+)这个东西跟Crystal base and Quantum group有什么关系?


Sheaf and Scheme
有对称的地方就有群 有加法的地方就有同调代数
发表时间: 2007-05-18, 14:00:29 个人资料
那一剑的寂寞

发表文章数: 193
内力值: 170/170
贡献度: 2297
人气: 332
学术成员
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
萍踪兄,写的好,期待续集,先好好看看.微分几何一直是我的心病.


天下风云出我辈,一入江湖岁月催;
王图霸业谈笑中,不胜人生一场醉。
发表时间: 2007-05-23, 23:57:57 个人资料
踏雪无痕

发表文章数: 12
内力值: 83/83
贡献度: 99
人气: 7
学术成员
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
正在学习黎曼几何,感觉很是困难,
有高手能解释一下下面的问题吗,
张量的具体定义,
还有在流形上如何定义算子div f,还有梯度 f,其中f 是定义在流形上的光滑函数.

发表时间: 2007-05-24, 07:07:42 个人资料
纳兰容若

发表文章数: 2
内力值: 64/64
贡献度: 40
人气: 32
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
萍踪兄倒是写了不少科普痕迹的文章,而且貌似牵涉到很多的方面。

随便问下,不知萍踪兄自己做国什么工作没有啊?


……
发表时间: 2007-05-28, 06:52:05 个人资料
萍踪浪迹

发表文章数: 1051
内力值: 453/453
贡献度: 9137
人气: 1200
客栈长老论坛嘉宾学术成员
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
张量的定义要从切空间和余切空间开始,这在Riemann几何的很多书里都有,而流形上的算子其实也只是通常的欧空间里的算子的推广定义。只是比较抽象而已。


漫漫长夜不知晓 日落云寒苦终宵
痴心未悟拈花笑 梦魂飞度同心桥
发表时间: 2007-05-30, 03:12:04 个人资料
踏雪无痕

发表文章数: 12
内力值: 83/83
贡献度: 99
人气: 7
学术成员
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
萍踪兄是学数学的吗?
能具体的讲讲这些算子吗?


偏微分方程是刻画一组量之间的关系的,数学家研究其存在性,稳定性,唯一性,还有一个很重要的是,偏微分方程解的行为。
发表时间: 2007-05-30, 07:50:09 个人资料
追忆

发表文章数: 195
内力值: 180/180
贡献度: 511
人气: 74
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
好久没来,又看见萍踪兄的好文章了.
萍踪兄写的好啊,我期待更好的.


非关癖爱轻模样,冷处偏佳,别有根芽,不是人间富贵花;
谢娘别后谁能惜,漂泊天涯,寒月悲笳,万里西风瀚海沙.
发表时间: 2007-05-31, 08:17:49 个人资料
萍踪浪迹

发表文章数: 1051
内力值: 453/453
贡献度: 9137
人气: 1200
客栈长老论坛嘉宾学术成员
Re: 微分几何科普(1):浅谈度规和曲率 [文章类型: 原创]
踏雪无痕:关于张量的一些知识,请进入这个地址:http://www.changhai.org/bbs/collection/s14.php

追忆兄:谢谢


漫漫长夜不知晓 日落云寒苦终宵
痴心未悟拈花笑 梦魂飞度同心桥
发表时间: 2007-05-31, 13:45:50



几何直观地介绍广义相对论中的时空以及大爆炸模型 (24) [ ] 于:2012-02-24 09:22:26 复:3659016
几何直观地介绍广义相对论中的时空以及大爆炸模型 (24)时空分解与演化(续1)
24.0 如何描述已知时空
上一篇提了一些困难的问题。我们先看一个简单一点的。假如我们已有一个时空,我们如何在数学上描述好它?
24.1 时空没有自然的分解,但时空可被分解
广义相对论中的时空是没有自然的分解为时间与空间的办法的(其实在狭义相对论中也是这样)。但没有自然的分解不代表不能分解。事实上每个观察者都可以选择自己的时空分解。然而我们讲过 单个观察者使用的时空分解只是局部的。
能不能有整体的时空分解呢?我们考虑以下的可能性:能否存在一个整体的坐标时间 以使得时空是一个三维的流形沿着1维的坐标时间线移动而扫出来的,即 对每一个坐标时刻,时空在这一时刻的截面都是 相同的3维流形(注意我没说是相同的度量流形)F。整体的意思是 我们把三维的流形上的每一个点都看作一个观察者的话, 这些观察者都使用相同的坐标时间。注意我说坐标时间线 就已经意味着 对每个上述的观察者而言 沿着整体坐标时间运动的世界线都是类时的。
如果有一个 这样的整体的坐标时间 我们就有无穷多的其他的 整体的坐标时间。这是因为我们可以把观察者们的世界线 作连续的形变(只要形变幅度不大 就仍然是类时的)。从这个意义上讲 没有一个自然的优于其他的 整体坐标时间的选择。但我们先不管这件事,只问能不能找到 一个整体的坐标时间。另外我们还要求 整体的时间线不能首尾相接。
一般而言,在作为爱因斯坦方程的解的时空上 是找不到上面描述的整体坐标时间的。然而我们还有因果性的考虑。
24.2 因果结构
在(14)中我们讲了我们只考虑有因果结构的时空。而当时我们描述了一种可行的要求,正好就是24.1中要求的情况:有整体的(不首尾相接的)坐标时间 使得时空是一个三维的流形沿着1维的坐标时间线移动而扫出来的。于是我们感到24.1中的要求 似乎是合理的F
24.3 柯西超曲面
可是24.1中的要求(存在整体坐标时间)要求 感觉也太强了。于是我们考虑另一种可能:时空中 存在一个3维流形,并且每一条类时或类光的曲线 和这个3维流形 正好相交一次。如果这件事成立,我们就说时空是全局双曲的时空,而这个3维流形 就叫 柯西超曲面。一个全局双曲的时空包含无穷多的柯西超曲面。我们并没有 一个自然的选择某个特定柯西超曲面的办法。先不管这问题,随便乱选一个就行。
这个要求实际上是 我们想因果结构存在的时候 自然也能想到的。因为我们可以把这3维流形看成是 一个观察者A在某一时刻对他而言的全部空间。该时刻就是该观察者A的类时世界线和这个3维流形的交点。物理上我们当然不希望 某个其他的观察者B能在两个对他自己而言的不同时刻 出现在 对观察者A而言的某一时刻的空间中(这相当于说从A的角度看B在作回到某一时刻的时间旅行)。同时因为这是全部空间,所以我们自然希望所有其他观察者或者光线(世界线往两头不断延伸的观察者或者光线),都出现在(观察者A在某一时刻对他而言的)全部空间中 的某一处。仔细想想,这说的就是第一自然段的内容。
全局双曲的时空 其定义的优点在于 我们只在处理一个3维流形F。而在24.1中我们在处理无穷多的3维流形(每个整体坐标时间的时刻 都对应一个),看起来要麻烦得多。
这个 “全局双曲”的定义看起来和24.1的存在整体时间不是一回事。但数学上可以证明,全局双曲的时空 存在整体的坐标时间。于是24.1 和24.3 的要求可以统一起来!F
24.4 广义协变性
在24.1 和24.3 的讨论中 我们容许有很大的选择性。我们可以随意选择整体坐标时间。在知道了是时空是全局双曲的情况下,我们可以随意选择柯西超曲面。会不会出乱子?不会F。你可能想到了,这又是我们的老朋友:广义协变性 在起作用了。选择整体坐标时间 实际上是在选时空分解。相当于选择 有一部分整体化了的坐标系(沿时间方向是整体的)。而时空是不依赖于坐标系的选取的。
24.5 全局双曲的时空是 柯西超曲面随坐标时间演化而成的
为什么要扯全局双曲的时空之类的东西?
第一 如前所述,这类时空不会有因果关系方面的问题。
第二 这类时空 有整体的坐标时间和 对应于(该坐标时间的)某一时刻的空间部分(柯西超曲面)。于是 我们可以说 全局双曲的时空是 柯西超曲面随坐标时间演化而成的。柯西超曲面和坐标时间的选择有极大的任意性,但这不过是对应着 对同一时空的不同描述罢了F
待续

No comments:

Post a Comment