（继续相对论中的刚性）
此时大家都意识到问题的关键是对做加速运动的物体如何定义刚性。就是说与其说在定义刚体，不如说是在定义刚性运动。最先做出尝试的是爱因斯坦本人，但他只考虑了非常特殊的情况，并且没有完全解决问题。1909年波恩首先给出了被大家普遍接受的刚性概念。
（下面的定义相对抽象，大家包涵点，这样的地方不会很多）波恩的做法是，考虑动体上的每一点的运动轨迹，用固有时（proper time，这个词是从@坂上中微子 那里刚学的）把轨迹曲线参量化，这些参量化后的运动轨迹就构成了4维时空中的一个流（current），或者用我们熟悉的说法就是所有轨迹上每点的切矢量构成了一个矢量场。对一条轨迹上的每个点，他再考虑跟切向正交的子空间，然后考虑闵氏度规在子空间上诱导的度规（induced metric）。波恩的刚性要求就是，这个诱导度规关于固有时这个参量的导数处处为零。
好了说了一大堆，大家恐怕已经不耐烦了。我们赶紧回头看看波恩到底想说什么。不严谨但直观的说法就是，一个运动物体要满足波恩刚性，那么对物体上每一个点每一个瞬间，从它的随动参照系看这个点到其它点的距离一直保持不变。
这听起来似乎是个很自然的定义。但是后来人们发现它对物体的运动是有很强的限制的。我们今天先看一个简单的例子，以后再来介绍一些相对复杂些的情况（比如埃伦费斯特（Paul Ehrenfest）佯谬）。最后如果大家有兴趣我们会介绍一个刻画波恩刚性的赫格洛茨-诺特定理（Herglotz-Noether theorem）。
此时大家都意识到问题的关键是对做加速运动的物体如何定义刚性。就是说与其说在定义刚体，不如说是在定义刚性运动。最先做出尝试的是爱因斯坦本人，但他只考虑了非常特殊的情况，并且没有完全解决问题。1909年波恩首先给出了被大家普遍接受的刚性概念。
（下面的定义相对抽象，大家包涵点，这样的地方不会很多）波恩的做法是，考虑动体上的每一点的运动轨迹，用固有时（proper time，这个词是从@坂上中微子 那里刚学的）把轨迹曲线参量化，这些参量化后的运动轨迹就构成了4维时空中的一个流（current），或者用我们熟悉的说法就是所有轨迹上每点的切矢量构成了一个矢量场。对一条轨迹上的每个点，他再考虑跟切向正交的子空间，然后考虑闵氏度规在子空间上诱导的度规（induced metric）。波恩的刚性要求就是，这个诱导度规关于固有时这个参量的导数处处为零。
好了说了一大堆，大家恐怕已经不耐烦了。我们赶紧回头看看波恩到底想说什么。不严谨但直观的说法就是，一个运动物体要满足波恩刚性，那么对物体上每一个点每一个瞬间，从它的随动参照系看这个点到其它点的距离一直保持不变。
这听起来似乎是个很自然的定义。但是后来人们发现它对物体的运动是有很强的限制的。我们今天先看一个简单的例子，以后再来介绍一些相对复杂些的情况（比如埃伦费斯特（Paul Ehrenfest）佯谬）。最后如果大家有兴趣我们会介绍一个刻画波恩刚性的赫格洛茨-诺特定理（Herglotz-Noether theorem）。
但是后来人们发现它对物体的运动是有很强的限制的
-------------------------------------------------------
静待下文。因为我还没想象出一个好的场景来验证，年纪不饶人啊~~~
-------------------------------------------------------
静待下文。因为我还没想象出一个好的场景来验证，年纪不饶人啊~~~
- wolfking97: 哈哈看来是一转一个主意的人。我的第一个例子就是一根棍子沿长度方向做匀加速直线运动，但这个匀加速只是每点自己是“匀”的，不同点加速度必须不同才能保持刚性，并且是领先部分加速度小，落后部分加速度大。我猜到这里你能想到问题所在。2012-8-27 06:35回复
- wolfking97: 回复 wolfking97 :要上班去了。下午回来争取写出来。主要是讲法要通俗易懂，不想太多计算，所以反复斟酌。也许应该把薇娘那篇讲同步加速的抄过来：）2012-8-27 06:38回复
刚体这玩意要是真正存在………………假设有一个一光年长的棍子，这个棍子是刚体。如果你拿着棍子的一边。另一个人站在棍子的另一边，当你有足够大的力时，将棍子向另一边挪动一点距离，一光年长的另一边会顷刻感受到你在戳他。因为棍子是刚体嘛。但是，他感受到的是你从一光年外给棍子的能量，而能量在一瞬间就传到了一光年外，明显做了超光速运动。这不符合相对论的基本思想。这是个悖论题，所以刚体是悖论。
我想起了开车等绿灯通行的时候,红灯一灭,最前面的车起步要时间.它后面的车看到前面的车起步了,它才能起步走.这样又有一个反应时间.一直下去....可以看到红绿灯前面车流的速度是很慢的.比车速度要慢多了.
（继续相对论中的刚性）
例子一：匀加速直线运动下的波恩刚性。
考虑一根与x轴平行摆放的细杆（我们不妨认为它就跟x轴的某一段重合，或者说就是x轴的一段）。我们希望让这个杆子沿x轴从静止开始向右（x轴的正向）做加速运动，并且同时保持波恩刚性。通过前面的讨论我们已经知道如果只是在右端拉或是左端推都会让杆子发生形变，并且这个形变会以音速传递到另一端，而在形变传到之前另一端还是静止的。所以这个过程不可能让杆子具有波恩刚性（因为有一端仍然适用静止参照系的度规，而形变的杆子在静止系中的长度显然已经改变）。
利用同样的推理过程，我们可以看出唯一可能让杆子在运动中具有波恩刚性的办法，是对杆子上每一个点同时加速！波恩选了个最简单的做法，就是让每点做匀加速运动（准确地说，是具有恒定“固有加速度”（proper acceleration）的运动，所谓固有加速度是随动系中测得的加速度。以下的匀加速都是指固有加速度不变，但这个细节对大家理解问题没有影响）。
波恩从最简单的情形出发，首先考虑x轴上单个质点向右作匀加速运动的世界线。他发现跟牛顿力学中类似，这条世界线也是一条圆锥曲线，但牛顿力学中得到的是一条抛物线，而在闵氏时空中得到的是一条双曲线。于是波恩就把这样的匀加速运动取名为“双曲运动”（hyperbolic motion）。波恩还发现，假设加速度为a，当他把坐标原点取在质点左边（1/a）个单位的位置上时，这个方程有很简单的表达式（以下我们都调整单位使得光速c = 1），就是 x^2 – t^2 = 1/a^2 （这里 x^2 表示x平方）。这是个以1/a为半长轴，以光锥 t = x
为渐近线的双曲线。如果对杆子上每点我们都用该点到原点距离的倒数作为加速度，那么我们会得到如下图所示的曲线族（看到这个曲线族熟悉的人估计马上想到Rindler坐标）：
（图的来源是http://mathpages.com/home/kmath422/kmath422.htm）
巧妙的是，任取一条双曲线，并且在这双曲线上任取一点，代表该点的随动坐标系的直线正好经过原点（图中的直线族）！而前面的双曲线方程左边正好成了随动系中该点到原点的长度的平方，所以每个质点在运动过程中到原点的距离在各自的随动系中没有变，都是加速度的倒数1/a！这说明从任何一个质点的随动系看，杆子的长度都没有变过，所以这符合波恩刚性的要求！上面图中的红色部分就是杆子的世界线在加速中的不同位置。
好了，用口语代替数学公式的活儿干完了。如果你已经完全迷糊的话，下面是总结：如果把一根细杆放在原点右方的x轴上，然后让每点以x坐标的倒数为加速度做匀加速运动，我们就会得到一个波恩刚性运动。它的特点是，越靠近杆子右端，加速度越小；越靠近左端，加速度越大。就是说，左边必须用更大的加速度追赶右边才能保持距离不变。并且杆子左端趋向于原点时，需要的加速度会趋于无穷大！
所以一旦杆子右端的加速度确定，原点的位置就确定了（往左移1/a，这也说明坐标系的选取没有特殊性，只是简化计算而已），而这也给杆子长度加了限制，因为左端不可能到达原点。所以棍子长度不能超过右端加速度的倒数。这是波恩刚性给匀加速运动的细杆所加的限制。
例子一：匀加速直线运动下的波恩刚性。
考虑一根与x轴平行摆放的细杆（我们不妨认为它就跟x轴的某一段重合，或者说就是x轴的一段）。我们希望让这个杆子沿x轴从静止开始向右（x轴的正向）做加速运动，并且同时保持波恩刚性。通过前面的讨论我们已经知道如果只是在右端拉或是左端推都会让杆子发生形变，并且这个形变会以音速传递到另一端，而在形变传到之前另一端还是静止的。所以这个过程不可能让杆子具有波恩刚性（因为有一端仍然适用静止参照系的度规，而形变的杆子在静止系中的长度显然已经改变）。
利用同样的推理过程，我们可以看出唯一可能让杆子在运动中具有波恩刚性的办法，是对杆子上每一个点同时加速！波恩选了个最简单的做法，就是让每点做匀加速运动（准确地说，是具有恒定“固有加速度”（proper acceleration）的运动，所谓固有加速度是随动系中测得的加速度。以下的匀加速都是指固有加速度不变，但这个细节对大家理解问题没有影响）。
波恩从最简单的情形出发，首先考虑x轴上单个质点向右作匀加速运动的世界线。他发现跟牛顿力学中类似，这条世界线也是一条圆锥曲线，但牛顿力学中得到的是一条抛物线，而在闵氏时空中得到的是一条双曲线。于是波恩就把这样的匀加速运动取名为“双曲运动”（hyperbolic motion）。波恩还发现，假设加速度为a，当他把坐标原点取在质点左边（1/a）个单位的位置上时，这个方程有很简单的表达式（以下我们都调整单位使得光速c = 1），就是 x^2 – t^2 = 1/a^2 （这里 x^2 表示x平方）。这是个以1/a为半长轴，以光锥 t = x
为渐近线的双曲线。如果对杆子上每点我们都用该点到原点距离的倒数作为加速度，那么我们会得到如下图所示的曲线族（看到这个曲线族熟悉的人估计马上想到Rindler坐标）：
（图的来源是http://mathpages.com/home/kmath422/kmath422.htm）
巧妙的是，任取一条双曲线，并且在这双曲线上任取一点，代表该点的随动坐标系的直线正好经过原点（图中的直线族）！而前面的双曲线方程左边正好成了随动系中该点到原点的长度的平方，所以每个质点在运动过程中到原点的距离在各自的随动系中没有变，都是加速度的倒数1/a！这说明从任何一个质点的随动系看，杆子的长度都没有变过，所以这符合波恩刚性的要求！上面图中的红色部分就是杆子的世界线在加速中的不同位置。
好了，用口语代替数学公式的活儿干完了。如果你已经完全迷糊的话，下面是总结：如果把一根细杆放在原点右方的x轴上，然后让每点以x坐标的倒数为加速度做匀加速运动，我们就会得到一个波恩刚性运动。它的特点是，越靠近杆子右端，加速度越小；越靠近左端，加速度越大。就是说，左边必须用更大的加速度追赶右边才能保持距离不变。并且杆子左端趋向于原点时，需要的加速度会趋于无穷大！
所以一旦杆子右端的加速度确定，原点的位置就确定了（往左移1/a，这也说明坐标系的选取没有特殊性，只是简化计算而已），而这也给杆子长度加了限制，因为左端不可能到达原点。所以棍子长度不能超过右端加速度的倒数。这是波恩刚性给匀加速运动的细杆所加的限制。
- wolfking97: 回复 坂上中微子 :那个帖子讲得挺好的。跟这里描述的其实都是波恩刚性，只不过没用具体公式，可能对初学者反而容易理解。那里唯一模糊一点的是先提到了“让棍子的各个部分同步感受到一股相同的加速度”，下面又说后端要有更大的加速追赶前端，可能有个别细心的会觉得困惑。我是看到后面就忘了前面。2012-8-28 09:54回复
-
对上面例子的几点补充：
1.上面叙述的过程被我戏剧化了一点：）波恩在他1909年的文章里是先用一个参数方程给出了上面的匀加速运动轨迹，然后平淡地说了句“让我们消去参数p”就给出了上面的双曲线方程。
2.原点的选取是个很自然的过程，因为它是双曲线的两条渐近线的交点。
3.如果有个观者A坐在例子中匀加速的杆子上，另有个观者B则静止在原点，那么从A看B会出现一个奇怪的景象：尽管在拼命加速离开原点，但在A看来他/她跟B之间的距离却是恒定的！也就是说，A所选取的加速度的大小要正好把自己加速到一个合适的速度，使得自己跟B的距离（话说这个也依赖于加速度的选取！）由于尺缩效应而始终不变！从这里我们也可以体会到为什么这个波恩刚性是个看来自然，却限制很大的条件。
4.另外从这里我们可以窥见一点刚性条件为什么是个非线性微分方程的原因：在这里方程简单地表现为A到B（原点）的距离为常数（对固有时求导当然就为零）。但这个距离不是闵空间本身的度规（那样的话就直接是x坐标了！），而是闵空间的度规在随动系上的诱导度规（就是固有长度），这个诱导度规非线性地依赖于质点的速度（要乘上洛仑兹因子，所以会出现导数的平方项）！
5.（这个有趣的想法来自上面引用的那个世界线图片的mathpages网页）上面的例子引发我们思考一个可以称为“深刻”的问题，就是惯性的本源。这个问题恐怕无数物理学家都考虑过，其中牛顿，马赫，爱因斯坦大概是大家最熟悉的。而如果分析上面例子中的加速作用，就会发现尽管杆子的各点之间保持了距离不变，但由于各点加速度不同，在经过同样的固有时间后，各点的速度并不相同，也就是说，在它们的随动系中时间流逝的速度各不相同！这可以理解为物体从闵氏时空继承的几何性质（诱导度规的又一种说法）对加速运动的一种抗拒（或者说惯性！）：要么各点之间距离改变，要么各点之间时间不同步，总之无法两全。要想距离不变，时间同步，只有在一个各点引力梯度完全相同的引力场中做自由落体运动。而这时各点固有加速度为零，所以局部地每点都处于惯性运动中。
下一个例子打算介绍贝尔飞船佯谬。这是大家熟悉的素材，但我们会从刚性的角度作一点分析。
- wolfking97: 回复 坂上中微子 :我给你举个例子：比如正常的欧式平面，是个平直的空间。现在我考虑以原点为圆心的单位圆。什么是上面的诱导度规呢？就是普通的弧长。诱导度规是个局部的概念，是局部用切线来逼近子流形上的曲线来定义长度，或者用形象的语言就是局部把曲线拉直了来量长度。2012-8-30 04:16回复
- wolfking97: 回复 坂上中微子 :但一般说来子流形上两个点在诱导度规下的距离跟原来流形中的距离不同。要相同只有一种情况，就是子流形是所谓测地子流形，就是诱导度规的测地线就是原来流形的测地线。欧氏空间中的平面，球面上的大圆就是测地子流形。2012-8-30 04:23回复
-
-
- wolfking97: 回复 坂上中微子 :你的诱导度规理解应该没问题，是我这里讲得不清楚，而且我没有真把双曲线用固有时参量化后去算等时线上诱导度规的导数，而是希望简单地用随动系下到原点距离不变这个条件来推出双曲线的微分方程。2012-8-30 13:14回复
-
No comments:
Post a Comment