相对论四维时空下的守恒量.docVIP

相对论四维时空下的守恒量 P 谢家荣 一 在相对论三维空间中的守恒量 在相对论三维空间推算质量公式时以用到了动量守恒，而质量守恒又与能量守恒相联系。我们知道，牛顿力学里还有一个守恒量，角动量守恒还未出项。在下文中，我将尝试考虑角动量守恒。 角动量定义为：L= 如果从另一个参考系来看，不能直接用洛仑兹变换，因为守恒量是对时间而言的，是量在相同的时间内相加。但同时形式相对的，在k系看来是同时的在k’看来并不一定同时，如果直接用洛仑兹变换再相加的话，那么从k’看来就是在不同时间的相加，也就没什么意义。如果要考虑k’系的角动量，必须先找到从k’来看同时发生的事件。 L’= 这里的i,j,k是不变的，因为k’用他那个坐标下的基矢来算。但要找这样的，很复杂，还与具体的轨迹有关，而动量的三个分量就更复杂了。 在相对论四维时空中，四维动量以包含了三维空间中的的动和能量守恒，角动量也未出现。 二 引入三目运算符 在以往的三维空间中，角动量定义为：L=rp 这个是不能直接引入到四维时空的，因为矢量的外积使用行列式定义的，若r p为四维矢量，还没有定义rp的运算。既然是讨论四维时空，数学就不应限于三维。若要引入守恒量，要先解决外积的问题。有如下方法： 推广行列式的运算，不要求行列式行数与列数相等。但这样会出现x y z之间的不等价，有的坐标含有t，有的没有。这是我不希望的。 外积是双目运算符，可以定义一三木运算符从而使行列式的运算可以进行。定义： 则Y(a,b,c)是一四维矢量。 三 三目运算符的性质 三目运算符有如下性质，都可用行列式的性质证明： Y(i,j,k)＝-l Y(j,k,l)=i Y(a,l,i)=-j Y(l,i,j)=k 这样的结果不太令人满意，如果先前定义 则上四式的结果为 l i j k 但下面某个性质就没有了。 Y(a,b,c)＝Y(b,c,a)＝Y(c,a,b)＝－Y(a,c,b)＝－Y(c,b,a)＝－Y(b,c,a) Y(u1*a1+u2*a2,b,c)=u1*Y(a1,b,c)+u2*Y(a2,b,c) a·Y(a,b,c)=0 这个性质在下是没有的 若a平行于b Y(a,b,c)=0. 若 则 这个性质证起来很麻烦，可以这样去想。对Y(a,b,c)进行正交变换，使a=xa*i; 然后算起来少了很多项，就可以验证。 四 更改四维坐标 时空间隔定义为： 为了满足矢量运算，定义：r=cti+ixj+iyk+izl 设t(4) x(4) y(4) z(4)为事件A在四维时空中的坐标 x(3) y(3) z(3)为地点B在三维空间中的坐标 则x(4)=ix(3) x(3)=x y(4)=iy(3) y(3)=y z(4)=iz(3) z(3)=z A与B的关系是事件A发生在地点B 这样对原来的守恒量不改变，并且按内积： 这样定义对数学运算会符合些。 五 该找哪三个量 该找哪三个量，我遇到了很大的困难，到现在也不知道找哪三个才合适，但还是试着找了一些，尽管我找的什么意义。 在三维空间中L=rp 而p＝ 如果类推下去，找三个量，应找r p a, 但a很奇特a 并不是洛仑兹不变量。而且，既然相对论抛弃了力，也不应用加速度。 回过头来，再看看三维空间中的角动量，表示质点绕一定点运动。而在四维时空中，所谓的点就是事件，角动量也应表示质点绕事件运动。质点的运动在四维时空中为一轨迹，角动量可表示轨迹上各事件的四维速度与事件的关系。但也只有两个量，我的想法是，质点绕两事件运动，即L’= Y(r1,r2,p) r1 r2表示事件A1 A2到质点轨迹上某点的矢量, p表示质点在轨迹上该点的四维速度 A1 A2为固定事件 六 在L’= Y(r1,r2,p)下 1．L’是洛仑兹不变量 是洛仑兹不变量 r1·r2, r1·p, r2·p都是洛仑兹不变量 是洛仑兹不变量 L’是洛仑兹不变量 2．在质点系不受外界作用时，四维时空中L’守恒等价于三维空间中能量，动量，角动量守 恒 在三维空间中，守恒量为质点在相同时间下的相加，而对于四维时空，每个质点都有一轨迹，该把各轨迹上的哪些点相加呢？在四维时空中，时间不是那么重要，重要的是实空间隔，因此，应当找各轨迹上与某一事件有相同的是空间隔的事件相加，即L’= Li’（）。但这样会出现一些问题：1.这一事件很特殊，不过可以与质点绕的两事件联系起来，其中一事件就是四维球心，这样L’会有意义一些。2.有些轨迹上并没有该时空间隔的事件，甚至有的质点到该点的时空间隔没有相等的事件。3.没有发现什么守恒关系，这是关键。不过，尽管时空间隔比时间更重要，但守恒律是对于什么而言的呢？我也不知道，似乎是时间。最后，我还是找了把各轨迹上按