戴又善

(1浙江大學城市學院， 浙江 杭州 310015; 2浙江大學 物理系， 浙江 杭州 310027)

0 引言

在推導慣性系的時空變換公式時,許多相對論教科書和文獻往往會事先假設慣性系的時空變換是線性變換。慣性系的時空線性變換特性一方面是與實驗結(jié)果相符合,另一方面也可以依據(jù)慣性系所具有的一些特性來予以理論證明,因此通常認為其并不屬于一個額外的理論假設。對此在國內(nèi)外的不同文獻中都有過各種討論[1-6],當然在一些簡明的教科書中常常會省略其證明或者只給出并不嚴密的證明,這從教學上來講也是允許的,因為將慣性系的時空線性變換作為一個假設來處理在教學上對于初學者能夠帶來推導簡明的優(yōu)點,但是要更深入的理解相對論,則需要真正搞清楚為什么慣性系的時空變換是線性變換。

首先對于什么是慣性系,狹義相對論本身并沒有給出明確的定義,而是借用了牛頓慣性定律來定義。另外慣性系應該滿足狹義相對性原理(以下簡稱為相對性原理),相對性原理通常的表述為:一切物理規(guī)律在所有慣性系中都是等價(平權(quán))的,其核心是所有慣性系在物理上的等價不可區(qū)分性,即沒有一個慣性系具有特殊地位。在有的證明推導中雖然表面看只用了牛頓慣性定律[6],實際上還是隱含地利用了相對性原理,因為相對性原理要求牛頓慣性定律在所有慣性系中都成立(力學相對性原理)。

滿足牛頓慣性定律的參考系是否就一定為慣性系,就一定會滿足時空線性變換,事實上并不如此。我們已經(jīng)知道滿足時空分式線性變換的參考系同樣可以滿足牛頓慣性定律[7],它是彎曲的de Sitter時空的愛因斯坦場方程的真空解,同樣具有球?qū)ΨQ的時空各向同性的特性,而當其球半徑參量趨于無窮大時則回到了平直的閔氏時空,同時分式線性變換也回到了線性變換[8]。因此慣性系的時空線性變換特性嚴格來說需要無窮大的時空。

慣性系具有時空的均勻性和各向同性,均勻性是指時空的不同“點”是等價的,各向同性是指時空的不同“方向”是等價的, “方向”至少需要由兩個“點”的連線所確定。因此均勻性和各向同性是兩個不同的概念。值得指出的是de Sitter時空度規(guī)雖然與時空坐標有關,但是de Sitter時空的真空解在其坐標原點同樣也具有各向同性,而de Sitter時空并不具有平移不變性。另外需要說明的是,通常均勻性和各向同性中的“性”是指性質(zhì)或特性,因此嚴格來說需要予以具體的指明,例如對于一塊物質(zhì)材料,其均勻性可以是均勻的顏色、均勻的密度、均勻的溫度、均勻的電特性、均勻的磁特性等等。而對于相對論的討論來說,均勻的時空是指任何的時空點在物理上都是等價的,即具有時空平移不變性。各向同性則是指空間任何方向上都是等價的,即具有空間轉(zhuǎn)動不變性。慣性系的時空特征是在任何方向上的時空平移不變性,因此既要求有無窮大的時空,也包含了時空的均勻性和各向同性。換言之,(任何方向上的)“時空平移不變性”與“時空的均勻性和各向同性”是互相等價的。但由于時空的均勻性和物質(zhì)的均勻性常常容易被混淆,另外時空本身的各向同性與所選參考系是否各向同性也容易混淆(如時空本身是各向同性的,但所選非慣性系可以不是各向同性),因此為了更加明確和簡捷，本文將采用時空平移不變性來討論。在本文中給予慣性系的定義是具有任何方向上的時空平移不變性,顯然這也符合相對性原理對慣性系的等價性要求。

本文將依據(jù)相對性原理(其核心是所有慣性系的等價性),利用時空平移不變性來證明慣性系的時空變換必須為線性變換,并進而推導出慣性系時空變換的廣義洛倫茲變換公式。

1 慣性系的時空線性變換

由于慣性系在任何方向都具有時空平移不變性，因此為不失一般性可以討論兩個沿X方向相對運動的慣性系，設慣性系S′(x′,t′)相對于慣性系S(x,t)沿X方向以平動速度V0運動，見圖1。

圖1 沿X方向相對運動的兩個慣性系

慣性系之間的整體相對運動速度V0是與時空坐標無關的常量，這顯然是慣性系都具有時空平移不變性的結(jié)果。相應的時空變換關系可以最一般性地寫為

(1)

其中x′(x,t)和t′(x,t)是兩個待定函數(shù)，對上式微分可得

(2)

由此可求得速度變換關系為

(3)

(4)

(5)

(6)

(7)

(8)

即有

(9)

a11為常量，反映了空間平移不變性；a00為常量反映了時間平移不變性。對于相對論來講時空的平移不變性是不獨立的,由空間平移不變性可以推出時間平移不變性,反之亦然。則式(6)可改寫為(其中a11和a00都為常量)

(10)

(11)

另一方面，設x=x(x′,t′),t=t(x′,t′),依據(jù)相對性原理,所有的慣性系都具有時空平移不變性,由同樣的討論,類似于式(6)同樣應有

(12)

(13)

比較式(13)和式(11)可得

(14)

(15)

由式(14)還可得關系式

(16)

(17)

(18)

(19)

(20)

上式給出了a01與a11的具體關系,由于a11是常量,因此a01顯然也是與時空坐標無關的常量,則式(15)可改寫為

(21)

對上式積分后,即可得到慣性系的時空線性變換公式(取積分常數(shù)都為零的齊次式)

(22)

其中還包含了一個待定常量a11。當取a11=1時就回到了伽利略變換

(23)

(24)

2 同時的相對性

空間和時間是基本的物理量，最基本的空間間隔測量可由靜長(本征長度)來定義，最基本的時間間隔測量可由靜止時鐘記錄的固有時(本征時間)來定義，并由此可定義速度這一導出物理量，即靜長為l0的桿運動時，其兩端通過某靜止時鐘的固有時間隔為τ0，則定義該桿的勻速運動速度為v=l0/τ0。這些長度、時間和速度的最基本定義都與“對鐘”過程無關。與“對鐘”相關的是靜止在不同地點時鐘的“同時性”定義，要完成同一參考系中的“對鐘”校準過程，理論上只需要在兩個靜止時鐘的距離中點發(fā)送某種“各向同性”的信號(由于慣性系的時空均勻性和各向同性，這種“各向同性”的信號是存在的)，就可以將兩個時鐘校準，這一校準過程并不需要事先知道信號的運動速度。而利用這兩個已經(jīng)校準好的時鐘就可以測量出該信號在該慣性系的運動速度，利用該各向同性的信號原則上就可以校準該慣性系的所有時鐘(在一定實驗精度下)，從而建立起該慣性系的時間體系[9]。

對于不同慣性系各自建立的時間體系之間則是無法通過“對鐘”過程來校準的，這稱為“同時的相對性”。“同時的相對性”既可以利用光信號和光速不變假設來直觀說明，也可以用慣性系的時空線性變換公式來予以證明。對于發(fā)生在不同時空點的任意兩個事件1(x1,t1)和事件2(x2,t2)，由于慣性系的時空變換是線性變換，因此時空間隔的變換同樣為線性變換，即

(25)

(26)

對于伽利略變換,a11=1,顯然有Δt′=Δt=0,即同時事件在所有慣性系中都為同時。對于伽利略變換,同時性是絕對的,與參考系的選擇無關。而對于非伽利略的任何線性變換,a11≠1,則有Δt′≠0,即S系中的異地同時事件在S′系中必為不同時事件，同時性將依賴于參考系的選擇，稱為“同時的相對性”。因此“同時的相對性”并不是唯一依賴于光速不變假設和洛倫茲變換[10],對于慣性系的時空線性變換,只要是非伽利略變換都具有“同時的相對性”。

3 極限速度與廣義洛倫茲變換

慣性系的速度變換關系式(3)可改寫為

(27)

直接求解其逆變換關系為

(28)

定義無量綱速度

(29)

則有

(30)

對上式u′=u′(u)和u=u(u′)分別求導可得

(31)

由此說明了u′=u′(u)和u=u(u′)都是單調(diào)遞增的函數(shù)[11]。

因為式(30)中的分母為零將使得u′=u′(u)和u=u(u′)的取值分別為無窮大,并且是函數(shù)u′=u′(u)和u=u(u′)的不連續(xù)奇點,因此物理上要求式(30)中的分母不能為零,則有限制條件

(32)

(33)

(34)

從以上兩式都可化為

(35)

(36)

如果在參考系變換下存在一個不變的速度v0,則應該滿足v→v0,v′→v0,由速度變換式(27)則有

(37)

由此可解得

(38)

與式(36)相比較,由此證明了此不變速度即為極限速度v0=vm。

將式(36)代入式(22)則可最后確定慣性系的時空線性變換為廣義洛倫茲變換[11-12]

(39)

其中的vm既是極限速度又是不變速度。如果實驗上確定了光速嚴格等于極限速度,即取vm=c,則回到了通常的洛倫茲變換公式。

與通常利用光速不變假設來推導洛倫茲變換的最主要不同之處為,本文是依據(jù)相對性原理證明了普適極限速度vm的存在,我們并未要求一定存在以極限速度運動的粒子(即靜質(zhì)量為零的粒子),也就是說只要求粒子運動能夠無限趨近極限速度vm而并不一定需要有粒子運動實際達到極限速度。另外我們并未在理論上引進額外假設來事先限定極限速度,而是可以依據(jù)實驗結(jié)果來確定極限速度的取值,這樣就使得相對論具有了更廣的適用范圍[13]。需要強調(diào)的是廣義洛倫茲變換中的極限速度需要通過實驗來確定,可以通過各種不同粒子的實驗測量來確定極限速度的取值,而其中通過測量光速來確定極限速度vm≈c在目前則是實驗上一個精度較高的取值,這也與傳統(tǒng)相對論通過理論上的光速不變假設來引進極限速度相自洽。換言之,傳統(tǒng)相對論取vm=c是本文給出的廣義洛倫茲變換的一個特例。雖然在理論上極限速度vm允許具有比光速c更廣的取值范圍,而在目前的測量結(jié)果和實驗精度下兩者的取值是相一致的。

4 小結(jié)和討論

(1) 本文依據(jù)相對性原理(即所有慣性系的等價性)以及利用慣性系的時空平移不變性證明了慣性系的時空變換必須為線性變換。在文獻[6]中利用了牛頓慣性定律來推導慣性系的時空線性變換特性,并得出結(jié)論說牛頓慣性定律是推導慣性系時空線性變換缺一不可的必要條件,這一結(jié)論并不準確。牛頓慣性定律可以是推導慣性系時空線性變換的充分條件,但并非必要條件。利用慣性定律實際上就隱含著已經(jīng)利用了相對性原理,因為隱含著牛頓慣性定律對所有慣性系都適用。所以相對性原理才是推導慣性系時空線性變換的真正必要條件。

(2) 本文同時證明了空間平移不變性和時間平移不變性兩者并不獨立,由空間平移不變性可以推出時間平移不變性,反之亦然。這是因為在相對論中時空是統(tǒng)一的,空間和時間之間互相有關聯(lián)。我們知道動量守恒根源于空間平移不變性,而能量守恒根源于時間平移不變性,因此在相對論中動量守恒定律與能量守恒定律并不是互相獨立的定律[14]。但是需要注意的是,對于經(jīng)典的伽利略變換,雖然也是線性變換,也滿足力學相對性原理,但由于經(jīng)典力學中時間和空間是獨立的,另外經(jīng)典的能量雖然包含動能但并不包含靜能,因此在經(jīng)典力學中動量守恒定律與能量守恒定律是兩條獨立的定律[15]。

(4) 本文利用慣性系的時空線性變換公式證明了“同時的相對性”,除了伽利略變換外的任何時空線性變換都可以用來說明“同時的相對性”,即在一個慣性系中的兩個異地同時事件,在另一個慣性系中一定不同時。需要特別指出的是, “同時的相對性”并不需要事先確定時空線性變換為洛倫茲變換,本文討論中也沒有引進光速不變假設,“同時的相對性”是相對論時空本身具有的一種基本特性,并不依賴于某種外在特殊粒子的特性。

(5) 本文給出了一種完全利用相對性原理來推導出慣性系廣義洛倫茲變換的方法。首先依據(jù)相對性原理證明了慣性系的時空變換必須為線性變換,進一步通過討論慣性系速度變換公式的單調(diào)遞增特性,由變量有界的單調(diào)遞增函數(shù)都有上限的特性, 進而利用相對性原理證明了普適極限速度的存在,由此可以完全確定慣性系的時空線性變換系數(shù),從而推導出廣義洛倫茲變換公式。在通常的文獻和教科書中,往往都是通過引進光速不變假設來推導洛倫茲變換公式,這容易給人造成一種似乎無需用到相對性原理的假象,但是利用光速不變假設來推導洛倫茲變換需要事先假定時空變換為線性變換,即事先要求變換系數(shù)為常量,進而可以利用光速不變條件通過類光事件的特例來確定常量變換系數(shù),因此時空線性變換是推導洛倫茲變換的前提。許多教科書和文獻為了推導上的簡明,對于慣性系的時空線性變換特性往往省略了證明或未給予嚴格的證明[10]。本文的討論則說明了相對性原理是推導慣性系時空線性變換的必要條件,即使利用光速不變假設來推導洛倫茲變換公式，實際上也離不開相對性原理。這使得我們能夠更好地理解相對性原理在相對論中的核心地位和所起的關鍵性作用。

感謝浙江省自然科學基金(編號：LY17A050001)對于我們相對論研究課題的鼓勵和資助，同時也感謝與美國普林斯頓高等研究院Einstein Postdoctoral Fellow戴亮的有益討論。

■