一在相对论三维空间中的守恒量.docxVIP

相对论四维时空下的守恒量 P谢家荣 一在相对论三维空间中的守恒量 在相对论三维空间推算质量公式时以用到了动量守恒，而质量守恒又与能量守恒相联 系。我们知道，牛顿力学里还有一个守恒量，角动量守恒还未出项。在下文中，我将尝试考 虑角动量守恒。 角动量定义为：L=vI iXiP 角动量定义为：L=v I i Xi Pxi yi Zi Pyi Pzi 如果从另一个参考系来看，不能直接用洛仑兹变换，因为守恒量是对时间而言的，是量 在相同的时间内相加。但同时形式相对的，在 k系看来是同时的在 k看来并不一定同时， 如果直接用洛仑兹变换再相加的话，那么从 k看来就是在不同时间的相加，也就没什么意 义。如果要考虑k系的角动量，必须先找到从 k来看同时发生的事件。 kZPzif i j k Z Pzi L= x yi Pxi Pyi 这里的i,j,k是不变的，因为 这里的i,j,k 是不变的，因为k 用他那个坐标下的基矢来算。 但要找这样的，Xi y Zi很复 杂，还与具体的轨迹有关，而动量的三个分量就更复杂了。 在相对论四维时空中， 四维动量以包含了三维空间中的的动和能量守恒， 角动量也未出 现。 二引入三目运算符 在以往的三维空间中，角动量定义为： L=r p 这个是不能直接引入到四维时空的， 因为矢量的外积使用行列式定义的， 若r p为四维矢量， 还没有定义r p的运算。既然是讨论四维时空，数学就不应限于三维。若要引入守恒量， 要先解决外积的问题。有如下方法： 1 .推广行列式的运算，不要求行列式行数与列数相等。但这样会出现 x y z之间的 不等价，有的坐标含有 t，有的没有。这是我不希望的。 2?外积是双目运算符，可以定义一三木运算符从而使行列式的运算可以进行。 定义: ya za wayb zb wb yc zc wcxa ya za wa yb zb wb yc zc wc 丫(a,b,c)= 「 xb xc 则Y(a, b,c)是一四维矢量。 三三目运算符的性质 三目运算符有如下性质，都可用行列式的性质证明: Y(i ,j ,k) = -l Y(j ,k,l )=i Y(a,l,i )=-j Y(l ,i ,j )=k 这样的结果不太令人满意，如果先前定义 xa丫 xa 丫(a,b,c)= 一 xb xc 则上四式的结果为 I 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( al, b, c)+u2*Y( a2, b, c) a ? Y(a, b, c)=0 5.这个性质在Y(a,b,c)二xaxbxc若 a 平行于 b Y(a, b, c)=0.-jyaybza 5. 这个性质在Y(a,b,c)二 xa xb xc 若 a 平行于 b Y(a, b, c)=0. -jyayb za -l wa zb wb 下是没有的 yc zc wc 6. 6. I ,cosa1 x b,c〉,cosa2 = c, a ,cosa3=c a,b aiibic 则 sin v -、1 - cos2 ： 1 —cos2 ： 2 — cos2 ： 3 2*cos :- 1*cos ： 2*cos ： 3 这个性质证起来很麻烦，可以这样去想。对 Y(a, b, c)进行正交变换，使 a=xa* I; 然后算起来少了很多项，就可以验证。 四更改四维坐标 时空间隔定义为：cA2*tA^xA^yA^zA2 为了满足矢量运算，定义： r= cti+ix j +Iy k+Iz l 设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 =Y(r1,r2,p)r =(ct,ix,iy,iz) u = ( c, i vx, i vy,i vz) p =(E,ipx,ipy ,ipz) c 这样对原来的守恒量不改变，并且按内积: r| = Jr* r = JcA2*tA2_xA2_yA2_zA2 这样定义对数学运算会符合些。 五该找哪三个量 该找哪三个量，我遇到了很大的困难， 到现在也不知道找哪三个才合适， 但还是试着找 了一些，尽管我找的什么意义。 在三维空间中 L=r p 由 dr dt 如果类推下去，找三个量，应找 r p a , 但 a 很奇特 a = (0, i ax, i ay,i az) 并不是洛仑兹