财经社区女性社区汽车社区军事社区文学社区社会社区娱乐社区游戏社区个人空间
上一主题: 下一主题:无尘,戒尺打我没有用,打你可以...
四维时空洛仑兹变换与伽利略变换的推导
[楼主] 作者:正和  发表时间:2004/11/07 19:35
点击:504次

本帖将用线性代数的方法来推导洛仑兹变换和伽利略变换,为了不至于太冗长,一些中间运算步骤被省略,请有兴趣的读者准备纸笔自行补足省略的中间运算。

设有惯性系R(t,x,y,z)和R'(t',x',y',z'),原点重合,分别偶联于观察者O,O',并且所建立坐标系为正交直线坐标系。O'相对于O沿x(x')轴正向以速度v匀速运动。

一、由时空均匀、线性公设,R-->R'的变换为

R'=RT            (1)

其中,

T= t00 t01 t02 t03
t10 t11 t12 t13
t20 t21 t22 t23
t30 t31 t32 t33

tij,i=0,1,2,3;j=0,1,2,3为待定系数。要求坐标系的建立方式满足:当O'相对于O的速度为0时,T退化为单位变换I4

二、如果对R的z轴和R'的z'轴做反射变换T3,即z-->-z, z'-->-z'

T3= 1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 -1

则观察者O,O'的关系不变,RT3-->R'T3的变换仍为T,即

(R'T3)=(RT3)T           ==>

R'=R(T3TT3-1)        (2)

对比(1)(2)式,可知

T3TT3-1=T            ==>

T=(T+T3TT3-1)/2= t00 t01 t02 0 (3)
t10 t11 t12 0
t20 t21 t22 0
0 0 0 t33

三、如果对R的y轴和R'的y'轴做反射变换T2,即y-->-y, y'-->-y'

T2= 1 0 0 0
0 1 0 0
0 0 -1 0
0 0 0 1

则观察者O,O'的关系不变,RT2-->R'T2的变换仍为T。即

(R'T2)=(RT2)T               ==>

R'=R(T2TT2-1)        (4)

对比(1)(4)式,可知

T2TT2-1=T          ==>      //用(3)式T的部分解参与计算

T=(T+T2TT2-1)/2= t00 t01 0 0 (5)
t10 t11 0 0
0 0 t22 0
0 0 0 t33

四、如果对R的x轴和R'的x'轴做反射变换T1,即x-->-x, x'-->-x'

T1= 1 0 0 0
0 -1 0 0
0 0 1 0
0 0 0 1

则观察者O,O'的关系刚好交换,依据惯性系平权原理,此时O相对于O'沿x(x')轴正向以速度v匀速运动,因此R'T1-->RT1的变换为T。即

(RT1)=(R'T1)T               ==>

R=R'(T1TT1-1)        (6)

对比(1)(6)式,可知

T1TT1-1=T-1             ==>  //用(5)式T的部分解参与计算

T1TT1-1T= t002-t01t10 t00t01-t01t11 0 0 =I4= 1 0 0 0 (7)
-t00t10+t10t11 -t01t10+t112 0 0 0 1 0 0
0 0 t222 0 0 0 1 0
0 0 0 t332 0 0 0 1

由(7)式可解得(技巧提示:考虑v=0时,T退化为I4

T= t00 t01 0 0 (8)
(t002-1)/t01 t00 0 0
0 0 1 0
0 0 0 1

五、已知变换T将R中的世界线方向矢量v=(dt,dx,dy,dz)=(1,v,0,0)dt变换成R'中同一世界线的方向矢量v'=(dt',dx',dy',dz')=(1,0,0,0)dt',即

v'=vT      ==>    //用(8)式中T的部分解参与计算
               //技巧提示:只需要利用第二个分量被变换为0的性质,就可以避免未定的dt'/dt的影响

T= t00 -vt00 0 0 (9)
(1-t002)/(vt00) t00 0 0
0 0 1 0
0 0 0 1

步骤一至五对牛顿和爱因斯坦都是相同的,任何反对意见都必须同时反对两者。

六(A)、对爱因斯坦而言,有光速不变原理,故T将R中的光子世界线方向矢量c=(dt,dx,dy,dz)=(1,c,0,0)dt变换成R'中同一光子世界线的方向矢量c'=(dt',dx',dy',dz')=(1,c,0,0)dt',即

c'=cT       ==>    //用(9)式中T的部分解参与计算
               
//技巧提示:只需要利用变换后第二分量与第一分量之比为c的特点,就可以避免未定的dt'/dt的影响

t00=1/sqrt(1-v2/c2)=γ     

代入(9)式,四维洛仑兹变换完全确立

T= γ -γv 0 0
-γv/c2 γ 0 0
0 0 1 0
0 0 0 1

六(N)、对牛顿而言,T将R中的光子世界线方向矢量c=(dt,dx,dy,dz)=(1,c,0,0)dt变换成R'中同一光子世界线的方向矢量c'=(dt',dx',dy',dz')=(1,c-v,0,0)dt',即

c'=cT      ==>    //用(9)式中T的部分解参与计算

t00=1

代入(9)式,四维伽利略变换完全确立

T= 1 -v 0 0
0 1 0 0
0 0 1 0
0 0 0 1

七、对于坐标系R,R'定义不满足v=0时T=I4,并且相对运动不是沿x(x')轴的情况,只需要构造满足标准要求的两个坐标系R1,R1',原坐标系R,R'可通过线性变换(这时不涉及速度)过渡到R1,R1',就可应用标准形式的洛仑兹变换或伽利略变换了;而直接在R与R'间的变换不过是三个变换的复合而已。

本帖地址:http://club.xilu.com/hongbin/msgview-950451-57434.html[复制地址]
上一主题: 下一主题:无尘,戒尺打我没有用,打你可以...
[楼主]  [2楼]  作者:正和  发表时间: 2004/11/07 19:56 

为什么好好的格式贴上去就有点乱了
四维时空洛仑兹变换与伽利略变换的推导
 [3楼]  作者:guofengjun  发表时间: 2004/11/07 20:20 

您以为矩阵就能解决矛盾吗?x'=(x-vt)/(1-vv/cc),u'=(u-v)/(1-vu/cc),t'=(t-vx/cc)/(1-vv/cc)算是哪个学派的逻辑?
四维时空洛仑兹变换与伽利略变换的推导
 [4楼]  作者:guofengjun  发表时间: 2004/11/07 20:30 

看起来无尘宗禅比爱因斯坦更伟大,更博学,据悉爱因斯坦创建狭义相对论时还不会用矩阵来推导洛变换!
四维时空洛仑兹变换与伽利略变换的推导
 [5楼]  作者:guofengjun  发表时间: 2004/11/07 20:44 

更正:您以为矩阵就能解决矛盾吗?x'=(x-vt)/sqrt(1-vv/cc),u'=(u-v)/(1-vu/cc),t'=(t-vx/cc)/sqrt(1-vv/cc)算是哪个学派的逻辑?
四维时空洛仑兹变换与伽利略变换的推导
[楼主]  [6楼]  作者:正和  发表时间: 2004/11/07 20:52 

数学上是允许猜出结果再验证的,我这样硬推其实是笨办法

所以不管爱氏是怎么猜出洛氏变换的,只要证明它符合要求就行了.

就象大数分解因子很难,但猜出因子后验证却很容易.

伽氏变换也一样,我也没见过伽氏变换的完整推导,谁见过?为何阁下不置疑它?

 [7楼]  作者:guofengjun  发表时间: 2004/11/07 20:58 

如果不知道洛变换是正确的,您又如何猜想结果或假设前提呢?
四维时空洛仑兹变换与伽利略变换的推导
 [8楼]  作者:guofengjun  发表时间: 2004/11/07 21:01 

狭义相对论给出的x=ut,x'=u't本来是r=ct,r'=ct'的影子速度,却被爱因斯坦误解释为质点的运动速度了,不是吗?
四维时空洛仑兹变换与伽利略变换的推导
 [9楼]  作者:guofengjun  发表时间: 2004/11/07 21:03 

更正:看起来正和比爱因斯坦更伟大,更博学,据悉爱因斯坦创建狭义相对论时还不会用矩阵来推导洛变换!
四维时空洛仑兹变换与伽利略变换的推导
[楼主]  [10楼]  作者:正和  发表时间: 2004/11/07 21:07 

前提还是光速不变原理,惯性系平权原理,只要验证洛变换是否满足它们就行了
四维时空洛仑兹变换与伽利略变换的推导
[楼主]  [11楼]  作者:正和  发表时间: 2004/11/07 21:10 

我可以比较自信地说我比牛顿博学了,但连伟大的边都沾不上

牛顿几乎掌握了他那个时代的所有自然科学知识,其中很大一部分都是他自己创造的,何人能比?

在牛顿之后几乎不可能有人掌握物理学和数学的全貌了。

 [12楼]  作者:guofengjun  发表时间: 2004/11/07 21:12 

回复:可我总觉得如果x=ut,x'=u't'正确,验证洛变换结果与前提就不自恰。请不吝赐教。
四维时空洛仑兹变换与伽利略变换的推导
 [13楼]  作者:yanghx  发表时间: 2004/11/07 22:09 

数学这个东西呀,难说?

对数学还那么认真呀?
其实数学与物理理论一样,个有所好?
完全可以只考虑那些对自己理论有利的数学表达式,
连通过初级恒等变换得到的其他表达形式都可以无视,
何况那些通过复杂数学变换得到的不同表达形式了?
恐怕更是扯不清了吧?

我怀疑是否真的能通过数学推导确定什么“公理”? 数学只是自己思想、理论的一种表述方法? 要想用数学自恰来检验理论的正确与否不大可能?

 [14楼]  作者:lovemoon1  发表时间: 2004/11/08 07:33 

计算机的硬盘比正和博学多了,一个硬盘可以容纳几个图书馆的内容。
四维时空洛仑兹变换与伽利略变换的推导
 [15楼]  作者:lovemoon1  发表时间: 2004/11/08 07:56 

你忽视了坐标轴的方向也发生了交换:四、如果对R的x轴和R'的x'轴做反射变换T1,即x-->-x, x'-->-x'

你忽视了坐标轴的方向也发生了交换:四、如果对R的x轴和R'的x'轴做反射变换T1,即x-->-x, x'-->-x'

则观察者O,O'的关系刚好交换,依据惯性系平权原理,此时O相对于O'沿x(x')轴正向以速度v匀速运动,因此R'T1-->RT1的变换为T。即

(RT1)=(R'T1)T               ==>R=R'(T1TT1-1)        (6)

 [16楼]  作者:lovemoon1  发表时间: 2004/11/08 16:00 

牛顿之所以伟大,是因为他是牛顿,如果他是正和,就会连正和也不如。
四维时空洛仑兹变换与伽利略变换的推导
[楼主]  [17楼]  作者:正和  发表时间: 2004/11/08 18:26 

因为计算机不比正和伟大,所以正和不比牛顿伟大。你们俩还想说什么呢?

害我也无聊一把。

[楼主]  [18楼]  作者:正和  发表时间: 2004/11/08 18:32 

这个变换就是交换坐标轴方向,你这么慢才理解原文意思?
四维时空洛仑兹变换与伽利略变换的推导
 [19楼]  作者:lovemoon1  发表时间: 2004/11/09 09:00 

这种反射使任一个点A(x,t)(x',t')反射为两个点A1(-x,t)(-x'1,t'1),与A2(-x2,t2)(-x',t'),你把A1(-x,t)与A2(-x',t')作为一个点的两个坐标进行变换,这不是乱伦吗?

精彩推荐>>

  简捷回复 [点此进入编辑器回帖页]  文明上网 理性发言
 推荐到西陆名言:
签  名:
作  者:
密  码:
游客来访 
注册用户 提 交
西陆网(www.xilu.com )版权所有 点击拥有西陆免费论坛  联系西陆小精灵

0.21716403961182