拉普拉斯 拉普拉斯
关注数: 5 粉丝数: 70 发帖数: 3,783 关注贴吧数: 0
【其他】不确定关系的纯数学导出 量子的书中一般用厄米算符来导出不确定关系,这里用个别的方法 自由粒子的波函数为平面波: ψ(x,t)=Aexp(i(px-Et)/h),h为约化普朗克常数 这是动量的本征函数,动量p是确定的,位置x则完全无法确定,因为这个波函数的几率幅处处相等,粒子在任意的位置出现的概率都是相等的。 一个任意的波函数可看作具有不同动量的波函数的叠加。 于是: ψ(x,t)=∑c(p)exp(i(px-Et)/h) p可以连续变化,-Et可以分离出来和c(p)合并变成c(p,t),所以可写成: ψ(x,t)=∫c(p,t)exp(ipx/h)dp 显然,c(p,t)和ψ(x,t)构成类似于傅立叶变换对的关系,为了使逆变换具有比较对称的形式,改写成: ψ(x,t)=1/sqrt(2πh)∫c(p,t)exp(ipx/h)dp      (1) 逆变换为: c(p,t)=1/sqrt(2πh)∫ψ(x,t)exp(-ipx/h)dx     (2) 这里的ψ(x,t)和c(p,t)的关系和傅立叶变换对略有区别,主要是出现了h,观察(1)(2)两式,对比傅立叶变换,易知: ψ(x,t)=(F^-1c)(x/h,t)/sqrt(h)  (3) F^-1代表傅立叶逆变换算子 c(p,t)=(Fψ)(p/h,t)/sqrt(h)     (4) F代表傅立叶变换算子 考虑一般的傅立叶变换对g(x)和G(p),设Δg为f(x)的几率幅下的标准差,ΔG为G(p)的几率幅下的标准差 有:ΔgΔG>=1/2   (5) 证明过程较繁琐不写了,关键是使用帕塞瓦尔恒等式和柯西-史瓦西不等式,有关傅立叶分析的书上会有介绍。 设Δx为ψ(x,t)的几率幅下的标准差,Δp为c(p,t)的几率幅下的标准差,由(3)(4)可知 若令Δx=Δg,则Δp=hΔG 代入(5)可得: ΔxΔp=hΔgΔG>=h/2 这正是不确定关系。 类似的,把ψ(x,t)按不同能量叠加,则与c(x,E)构成类似傅立叶变换对的关系,所以能量E和时间t也构成不确定关系
【贴士】时空是空的,空的东西是怎么弯的? 相对论说,物质使时空弯曲,可时空又不是一根棒子,怎么能弯曲呢?怎么说呢,其实弯曲这个词对于描述时空的这种状态不是特别恰当,时空的弯曲和我们脑子里通常理解的弯曲不是一回事。如果我说一个球面或柱面是弯曲的面,肯定没人反对,为什么?因为它们镶嵌于三维空间中,我们在三维空间中很直观的看到它们确实“弯”了这种“弯曲”也就是直观上的弯曲,是指曲面在其镶嵌的空间中的形态,它对应于曲面的第二基本形式。然而,相对论中关注的,却不是这种弯曲,因为宇宙没有外面,我们不能也不需要知道宇宙是否镶嵌以及以何种形态镶嵌在一个更高维的空间中。此时我们关注另一种意义上的弯曲,叫做“内禀弯曲”什么叫做“内禀弯曲”?我们来看看球面和柱面,都是弯曲的,但这二者有一个重要的分别:如果我们把柱面沿母线剪开就可以把它摊平成平面,但对球面我们无论如何都不能摊平成平面事实上,如果我们忽略柱面的镶嵌形态,那么它就和平面没有区别,如果我们局限于柱面内部,则会发现它完全符合欧氏平面几何。但球面则不然,球面上圆周率小于Pi,不符合欧氏几何,它不仅仅是外形上的弯曲,而在内在性质上也不同于平面,这种内在性质与平面的不同,我们叫做内禀弯曲。柱面不具有内禀弯曲。所谓的时空弯曲,正是指内禀弯曲,是指时空的内在性质不再满足欧氏几何,至于时空在“外形”上是否弯曲,对局限其中的我们没有意义,我们不可能知道,也不需要知道。弯曲的时空在每个局部都满足欧氏几何,所以除非在大范围内作测量,否则难以发现。
[科普]弯曲空间中的矢量平移 现在吧里的重心已经由狭相转向了广相,是一件令人高兴的事情,标志着本吧理论水平的前进。回想几年前,为一个双生子争吵几个月的时代已经过去了,现在对于拿双生子说事儿的质疑者基本上不再有人理睬。众所周知,广相不好学,概念抽象,数学艰涩,广大“民间科学家”的触角之所以很少涉及广相,正是被其庞大的数学形式阻挡,于是都拿狭相说事,狭相的数学形式看上去比较大众化,随便一个中学毕业的人都敢胡乱理解一下洛仑兹变换然后来说事。我对广相,一直以来始终是一知半解,因为以前做学生时,没有开过这门课,这个东东离我的专业过于遥远,舍不得花时间去深究。但前段时间听一位工科教授说现在流行用微分几何建模工学问题,于是觉得更多的了解一下这个东东也许对我的专业会有用处,于是总是抽些时间来学习,写下一些个人的感悟,希望吧内广相专家批评以便我的提高,另外也希望对初学者有些帮助(希望不是误导)。首先我想告诉大家,欲学广相,先学古典微分几何。很多人知道,要学广相,必须先学黎曼几何,事实上,对大部分人来说,直接学黎曼几何很难,因为大部分人并未达到直接学习它的程度。古典微分几何指的是黎曼以前的那部分微分几何,就是高斯的那些东西,这些东西只要具备了大学数学的基础,就可以学习。古典微分几何主要的研究对象是三维欧氏空间中的曲面和曲线,这都是现实中存在的实体,较容易理解。当你了解了所谓的曲面第一基本型,第二基本型,法曲率,总曲率,测地曲率,还有那个著名的“高斯绝妙定理”等等这些,再去看黎曼流形,就会轻松很多。黎曼几何基本掌握以后,广相也就不剩下什么了,广相使用的洛仑兹流形是黎曼几何的简单情形,稍微需要注意的是洛仑兹流形没有黎曼空间中度规的正定性的限制,这种空间又被称之为“伪黎曼空间”,伪黎曼空间和黎曼空间的区别非常类似于伪欧空间(最重要的一个实例是闵可夫斯基空间)和真欧空间(也就是欧氏空间)的区别。爱因斯坦建立广相用了10年(1905-1915),其中大部分的时间用在黎曼几何的学习上。还有比黎曼几何更为一般的几何:芬斯勒几何,感兴趣的可以去看。从古典微分几何中有很多概念和黎曼几何是共通的,事实上黎曼几何正是将古典微分几何中的概念向高维外推得到,很多概念推广到高维是极其抽象的,很多概念可能你看了半天都不知道它在说什么,但其在古典微分几何中对应的概念却并不抽象,从这里学起,会容易很多。弯曲空间中一个很重要的概念是矢量平移,本贴我谈谈这个问题。弯曲空间,之所以称之为“弯曲”是因为其黎曼张量不为0,黎曼张量是使用联络定义的,联络简单的说是包含了普通微分和克氏记号的一个东东,联络告诉我们,弯曲空间中不同的位置的矢量如何相减,在平直空间中,可通过平移让不同位置的两个矢量始端重合,然后可以使用三角形法则相减,笛卡尔坐标系中就是直接对矢量坐标相减即可,但弯曲空间中,我们不知道该如何去“平移”一个矢量,直接进行坐标相减是不可以的,那样得到的将不是一个与坐标系无关的量(张量),它的坐标不能够随着坐标系的变换而协同变换(只有具有这样性质的量才是一个确定的数学量),所以这样得到结果是没有意义的。古典微分几何中,为曲面的矢量定义了一个平移的方法,可以保证矢量经过平移,仍属于曲面,同时也保证了在这样的平移下的矢量相减,得到的是一个与坐标系无关的确定的矢量。其实很简单,因为我们有更高维的R3这个欧式空间可以利用,我们将矢量在欧氏空间R3中沿曲面上某条曲线作一个无限小的普通平移,然后将其在新位置的切平面上投影,得到的新矢量就仍然属于曲面,我们略去了曲面法向的部分,因为这部分不属于曲面,连续实施这种无限小平移,便可以使矢量在曲面上移动到任意的位置,这样定义的操作便成为曲面上矢量的平移。也许有人会注意到,每次进行无限小平移后,都要进行投影,这个投影会导致矢量的模会减小一点点(也是一个无穷小),那么矢量经过一个有限的平移,减小的部分是否会积累成一个有限的数量?模还能保持不变吗?答案是肯定的,因为减少的部分是移动路径ds的高阶无穷小,微积分学告诉我们,所有积分变量的高阶无穷小对积分的贡献都精确的等于0。经过推导,我们可以得到曲面上矢量T^a从曲面上P点到Q点平移的公式为:T^a(P->Q)=T^a(P)-Γ^a_i_j*T^i*dx^j与之相应的,就可以定义不同位置的矢量如何做微分,这种微分叫做绝对微分:D(T^a)=dT^a+Γ^a_i_j*T^i*dx^j再对比全微分公式,还能得到与绝对微分相应的偏导数,用张量识别定理可以得出它是一个张量,由于它比原矢量T^a多了一个协变指标,因而叫作协变导数:▽_j(T^a)=6T^a/6x^j+Γ^a_i_j*T^i(6为偏微分符号)上述定义在曲面中得出,曲面是一个2维的黎曼空间,各指标取1,2,若令指标取1,2...n,则上述定义可以推广到n维的黎曼空间中,这就是levi-civita平移。值得注意的是,曲面中,我们借助了R3这个欧氏空间来完成平移的定义,但是平移公式却和R3毫无关系,平移公式仅仅取决于曲面的第一基本型,与R3无关。所以,在n维的黎曼空间中,我们不需要知道这个空间是否包容以及怎样包容在一个更高维的欧氏空间中,就可以完成这个平移的定义。顺便说一句:对n维的黎曼空间,必存在1/2n(n+1)维的欧氏空间包容它,使它成为这个欧氏空间中的超曲面,广义相对论中的4维(伪)黎曼空间必然包容在一个10维的欧氏空间中.最后出一个小题,作为你是否理解本文的测试:利用文中提到的公式写出测地线方程(测地线是这样一种曲线:曲线上的单位切矢量沿本曲线的绝对微分恒为0)(完)
数学知识:高维矢量积 我们能定义两个向量A,B的一个乘积A×B仍为一个向量。在n维空间中最密切的模拟也许是n-1个向量的“向量积”。试在n维空间中取n个向量A1=(a11,...,an1),...,An=(a1n,...ann). (74)我们能够作出以这些向量为列向量的方阵的行列式,它是最后一个向量An的线性型,因而能写成一个数量积:det(A1,...,An)=z1a1n+z2a2n+...+znann=Z·An (75)其中向量Z=(z1,z2,...,zn)仅仅依赖于前n一1个向量Al,A2,...,An-1,显然,Z关于A1,A2,...,An-1中的每一个都分别是线性的并且是交替的。我们可以称Z为Al,A2,...,An-l的向量积并记作Z=A1×A2×...×An-1 (76)由(75)清楚地看出Z·A1=Z·A2=...=Z·An-1=0可见与三维的情形一样,n-1个向量的向量积与这n-1个向量的每一个都是正交的。我们不久将看到,这向量积的长度也可以几何地解释为向量A1,A 2,...,An—l所张成的定向的n-1维平行多面体的体积。与三维的情形一样,Z的分量能写成类似于公式(71b)的行列式。让我们先对Z的分量zn。导出这样一个行列式的表达式。由(75)有zn=Z·En=det(A1,...,An-1,En)其中 En=(0,...,0,1)是第n个坐标向量。在第169页关于行列式的一般展开公式(66a)中取An=En,这等于将每一项的最后一个因子ajnn换成1。当jn=n时;换成0,当jn≠n时,对于jn=n,系数εj1j2...jn总等于0,除非j1,j2,...jn-1是1,2,...,n-1的—个排列。而在这种情形,系数(65c,d)就变成εj1...jn-1jn=εj1...jn-1n=sgnφ(j1,...,jn-1,n)   =sgn(n-jn-1)...(n-j1)φ(j1,...jn-1)   =sgnφ(j1,...,jn-1)=εj1...jn-1又(66a)得 可见,Zn等于从方阵(Al,A2,...,An)中去掉最后一行最后一列所得到的行列式。一般地,人们把从一个方阵a去掉它的一些行和列,而保持剩下元素的相对位置,所得到的方阵的行列式定义作矩阵a的一个子式。一个方阵a的一个元素ajk的余子式便是从a中去掉包含ajk的行和列所得到的行列式。这样,zn就等于ann的余子式。向量Z的其它分量都有类似的表示式。例如,由(75)我们有zn-1=det(A1,...,An-2,En-1)为要计算这个行列式,我们交换它的最后两行使得行列式变号(看第170页)。这样,最后一列的En-l就变成了En,因而由我们前面的结果就发现,—zn-1等于从新矩阵中去掉最后一行最后一列所得到的行列式,或者等价地说,它等于原来方阵中an-1的余子式。类似地,对于每一个i(=1,2,...,n)而言,±zi等于元素ain的余子式,其中正号对应着n-2为偶数,负号对应着n-i为奇数。这样,公式(75)就成为一个n阶行列式按其最后一列元素及其对应的(n-1)阶余子式相乘相加组成的展开式。例如对于n=4,我们有 适当作列与列之间的交换,我们能够得到一个行列式按其任意一个给定列的元素的余子式的展开式。正如我们在下节将要看到的,这种类型的展开式在很多牵涉到空间维数的归纳法的证明中部起了作用。
流体力学学科发展专题研究报告之一 湍流何国威中国科学院力学研究所引言湍流的特点是具有不同尺度上的拟序结构和随机脉动的相互作用,具有初始敏感性。湍流是自然科学的经典难题,诺贝尔奖获得者海森堡临终时在病榻上说:“我要带着两个问题去见上帝:相对论和湍流。我相信对第一个问题已有了答案”。许多伟大的科学家都正式或非正式的思考过湍流,但他们各有不同的侧重点。数学家关心描述湍流的NS方程解的存在唯一性;物理学家关心作为非平衡态典型案例的湍流;力学家关心真实湍流的机理和预测湍流特性的方法。本文仅局限于NS方程描述的湍流的机理和预测方法。湍流的两个典型案例为均匀各向同性湍流和槽道湍流。前者是理论研究的标准模型,着重于湍流中大小尺度漩涡的相互作用;后者是真实湍流的基本模型,着重于剪切对湍流的影响。本文将首先介绍均匀各向同性湍流和槽道湍流的最新进展。这些进展主要得益于统计力学和计算机模拟方法的引入。因此,本文将接着介绍湍流的统计理论和湍流的数值模拟。最后,本文将介绍湍流的一个重要应用:湍流的混合和输运过程。鉴于篇幅限制,本文没有讨论湍流控制和湍流实验。一、研究现状及重要科学问题(一)均匀各向同性湍流的Kolmogorov理论和间歇现象湍流可以根据涡的尺度粗略地分为大尺度和小尺度运动。一般而言,各种湍流的大尺度运动受流动环境的影响很不相同,但是,湍流的小尺度运动具有普适性。Kolmogorov 理论给出了湍流的小尺度运动的普适特性,奠定了湍流理论的基础。该理论指出:充分发展的均匀各向同性湍流存在能量串接过程,因此,湍流的速度结构函数在惯性区满足由量纲分析导- 128 -出的正常标度率。有关Kolmogorov 理论的重要进展为:(1)湍流的小尺度扰动存在强烈的间歇,它不满足高斯发布,因此,湍流的速度结构函数在惯性区存在反常标度律。几个重要的反常标度指数模型为分维模型,对数高斯模型和对数普阿松模型;(2)湍流的小尺度上的不同物理量可以存在不同的间歇,但不同间歇的有限差别并不能导致不同的标度指数;(3)现有的标度指数模型大多是唯象模型,湍流被动标量的Kraichnan模型解析的给出了标度指数的表达式,这是Kolmogorov 理论近50年的最重要进展。研究需求:识别湍流间歇的几何结构,认识湍流间歇的起源,建立基于湍流结构的统计理论;发展描述间歇的模型,直接从Navier-Stokes方程导出间歇模型仍然非常困难,一个现实的目标是发展唯象模型。(二)槽道湍流的拟序结构和动力学槽道湍流是壁湍流的范例,它的特点是具有平面速度梯度,从而维持湍流的速度脉动并使它表现为各向异性。壁湍流的经典结果为从相似性导出的对数律。该结果虽然受不完全相似律的挑战而被修正,但修正前后的结果与实验相比差别并不大。槽道湍流中最激动人心的结果是拟序结构的发现:在壁面附近,扰动不稳定性产生了发卡涡,导致能量从近壁区经对数区传到中心区,构成空间的能量反串接过程。这种空间的能量反串接过程和当地的能量串接过程相互耦合,构成了壁湍流的自维持机制。研究需求:研究壁湍流的拟序结构和随机脉动的相互作用,探索空间的能量反串接过程的物理机制,发展空间的能量反串接过程和当地的能量串接过程相互耦合的模型,为工程湍流模型奠定理论基础。(三)湍流的统计理论湍流的统计理论是指从NS 方程出发用解析的方式推导出湍流统计量的可解方程。许多这种推导都涉及各种不同的封闭性假设,一个合理的做法是以逐步逼近的方式得到可解方程,而其中的封闭性假设代表不同的逼近程度。Kraichnan 的DIA 方法解析的导出了Kolmogorov 的能量谱;重整化群(RNG)方法不仅导出了 k-Epsilon 模型,而且应用于被动标量时还可以得到某些精确解;应用概率密度函数方法可以得到多相化学反应流的湍流模- 129 -型。研究需求:DIA和 RNG 方法仅适用于均匀各向同性湍流,需要发展壁湍流的统计方法。同时,这些方法没有考虑湍流的拟序结构,需要发展描述了拟序结构的统计方法;DIA和RNG方法难以研究湍流的间歇现象,但概率密度函数方法可以研究湍流的间歇现象。在概率密度函数方法中,需要发展替代唯象模型的映射封闭方法。
双生子问题的狭相解释(应鱼小姐要求) 应鱼小姐要求,本贴将从狭相的角度谈谈双生子问题。 准备知识: 1 矩阵形式的洛仑兹变换 我习惯把洛仑兹变换写成矩阵形式,主要是形式比较美观。 为了简单,将3+1维时空简化到1+1维时空下讨论。 此时洛仑兹变换为: [x'] [γ -vγ][x] [ ] = [ ][ ] [t'] [-vγ/cc γ][t] 2 带坐标平移的洛仑兹变换:庞加莱变换 由于洛仑兹变换要求两坐标系在零点耦合,也就是要求两坐标系原点重合时t=t'=0,但实际问题中这是很不方便的,有时我们选择的坐标系并不满足这一点,所以,我们需要一种更一般的洛仑兹变换,这也就是庞加莱对洛仑兹变换做出的改进形式: [x'-x'0] [γ -vγ][x-x0] [ ] = [ ][ ] [t'-t'0] [-vγ/cc γ][t-t0] 这个变换要求S系的(x0,t0)事件对应于S'系的(x'0,t'0)事件,两坐标系在这样的条件下耦合。显然当x0,t0,x'0,t'0均等于0时,即退化成洛仑兹变换。 现在明白我为什么要用矩阵形式了吧,如果不用矩阵形式,写出来就很难看了,远没有这样整齐。 下面进入正题,为了避免无谓的纠缠,本贴将在纯数学范畴内讨论,不涉及任何物理实在。 题设: 设甲位于某惯性系K系的原点,乙位于某惯性系K'系的原点,甲乙位置重合时,K系和K'系时间校为0。 K'系相对K系的速度为v,方向沿K系x轴正向。 K系中的t0时刻,乙的速度瞬时改变为-v(我们设这个惯性系为K'',仍以乙为原点) 求甲乙再次重合时双方经历的时间。 解答: K系中t0时刻乙在K系的时空坐标为(vt0,t0),变换到K'系中为(0,t0/γ) 由于乙此时瞬时进入了K''系,故在K''系中时间坐标仍为t0/γ,乙是K''系的原点,故空间坐标为0,所以乙在K''系的时空坐标仍为(0,t0/γ) 于是K系的t0时刻,乙在K,K',K''的时空坐标分别为: (vt0,t0),(0,t0/γ),(0,t0/γ) 于是K系的(vt0,t0)事件对应K''系的(0,t0/γ)事件,据此我们可以得到K系和K''系之间的变换关系为: [x'' ] [γ vγ][x-vt0] [ ] = [ ][ ] [t''-t0/γ] [vγ/cc γ][t-t0 ] (注意K''系相对K系的速度为-v) 甲乙重合,也就等价于K系的(0,t)事件变换到K''系为(0,t''),我们把它代入上式, 就可以求得t和t'',它们分别就是甲和乙经历的时间 代入得到如下方程: -vt0γ+vγt-t0γv=0 -t0γvv/cc+tγ-t0γ=t''-t0/γ 解得: t =2t0 t''=2t0/γ 这与在K系内按照钟慢效应得到结果是一样的。 K系到K''系的转换是问题的关键。
当代数学物理大师选介:林家翘 林家翘(1916~ )华裔美国天文学家,物理学家,数学家。美国国家科学院院士。1916年7月7日生于北京。1937年毕业于清华大学物理系,1941年获加拿大多伦多大学应用数学硕士学位。1944年获美国加州理工学院航空学博士学位。1945年在美国布朗大学任教。1947年起在美国麻省理工学院任教,1953年升任教授。在流体力学方面,他于1944年成功地解决了已争论几十年之久的两个平行平板间的流动稳定性问题。在天文学方面,他在B.林德布拉德1942年提出的旋涡星系密度波理论雏形的基础上,于1964年建立了系统的密度波理论,提出用准稳旋涡结构假说来说明旋臂的形成和发展,它解释了星系旋涡结构的持续和旋臂缠绕等长期悬而未决的困难问题,推动了星系动力学的发展。在数学方面,他对微分方程的渐近理论作了重要的发展 。林家翘著有大量科学论文 ,著有《流体动力学稳定性理论》,《应用到自然科学中的确定性问题的数学》,《湍流的统计理论》等。另:林家翘成名于他在1945的博士论文,用分析方法严格证明了海森堡的博士论文中猜出的湍流的解的正确性,从而解决了长期以来数学界对海森堡的非议,解决了海森堡不能解决的问题,林家翘从此声名大振,美国各大名校就开始来“抢人”了。林家翘2001年归国,现为清华大学教授,是清华大学的三个世界级大师之一。林家翘还在招收研究生,有考博打算的同学有福了。
对想把基础打好的人的学习建议 如果你是一个物理的发烧友,如果你希望能从物理中得到快乐。基础是必不可少的,缺乏基础的人得到的快乐远远少于具备基础的人。下面开出一个学习清单,供有追求的人参考:一.数学基础:1 微积分这是万里长征第一步推荐教材:a 同济大学:高等数学b 北大张筑生:数学分析新讲c 菲赫金哥尔茨:微积分学教程a,b,c从易到难,可以根据自己的情况选择微积分必须深学,要深刻理解每一个定理。2 复变函数和积分变换复变函数没有必要深学,有概念即可,重点掌握积分变换,有了前面的微积分基础,积分变换学起来就轻车熟路了。推荐教材:华中理工:复变函数的积分变换,这个教材有个缺点,对复数的基本概念的引入是不严谨的,但积分变换部分讲解的较好。拉夫连季耶夫:复变函数论方法3 高等代数(线性代数)如果不熟悉矩阵这套有力的工具,以后的学习必定会举步维艰。重点掌握矩阵,线性方程组,线性空间,线性变换,欧几里德空间,群论不用深学推荐教材:北大出版社:高等代数4 概率论与数理统计推荐教材:高教版:概率论与数理统计这本书简单实用5 数理方程希尔伯特:数学物体方法以上5门数学课,是必须掌握的,在此基础之上还有4门,比较艰涩,可供选学:《实变函数》《泛函分析》《张量分析》《微分几何》物理专业课:物理的核心基础课程就4门:《理论力学》《电动力学》《统计力学》《量子力学》《理论力学》《电动力学》必须掌握。《统计力学》《量子力学》不建议学,除非是职业的物理工作者,否则学这些既对自己没用又学不会的东西意义不大,但可以浅看。费曼说过:谁要是说他懂量子力学,那他就是在撒谎。费曼本人是量子电动力学的奠基人之一,尚且作如此评价,可见量子力学的艰涩。至于《量子电动力学》《高等量子力学》《高等统计物理》《量子场论》这样的课程,除非打算攻硕或者攻博,否则没有学习的必要。
1 下一页