光和引力波專題Ⅱ——電磁及引力介質(zhì)理論

王雯宇 吳海鱗 許 洋

(北京工業(yè)大學(xué)應(yīng)用數(shù)理學(xué)院，北京 100124)

1 引出問(wèn)題

本專題的第一篇論文介紹了廣義相對(duì)論引力的理論基礎(chǔ)。在等效原理的基礎(chǔ)上，論文重點(diǎn)說(shuō)明了引力幾何化思想，廣義相對(duì)性原理和廣義光速不變?cè)淼睦斫猓鴺?biāo)系和固有時(shí)以及固有距離的關(guān)系等內(nèi)容。在此之后論文回顧了構(gòu)建愛(ài)因斯坦場(chǎng)方程的邏輯過(guò)程，施瓦茲解及其檢驗(yàn)等。在本文中，我們將主要討論介質(zhì)存在時(shí)的電磁理論與引力理論。這部分內(nèi)容是大部分物理教科書上沒(méi)有的，討論的問(wèn)題也并沒(méi)有一個(gè)標(biāo)準(zhǔn)的答案，所以論文會(huì)給出較為詳細(xì)的推導(dǎo)過(guò)程。論文首先論證真空光速和引力波速相等的原因，然后討論介質(zhì)存在時(shí)的效應(yīng)。以此為基礎(chǔ)，第2節(jié)討論電磁理論的處理辦法。第3節(jié)討論引力理論的處理辦法，引力場(chǎng)方程的修正等。第4節(jié)討論宇宙學(xué)理論的部分修正。第5節(jié)給出本專題的總結(jié)。附錄給出黎曼幾何的基礎(chǔ)知識(shí)。

電磁理論和引力論其實(shí)可以看作是獨(dú)立的兩個(gè)理論：一個(gè)是關(guān)于電場(chǎng)和磁場(chǎng)，或者電磁場(chǎng)張量Fμ ν的理論，另一個(gè)是關(guān)于時(shí)空度規(guī)gμ ν的理論。慣性系中，真空中的光速是一個(gè)常數(shù)，時(shí)空度規(guī)的漣漪傳播速度為什么必須是相等的呢？了解了第一篇論文所述的相對(duì)論的基本概念之后，就可以回答這個(gè)問(wèn)題了。

波動(dòng)理論中，波速是波相傳播的速度，它由波動(dòng)方程來(lái)確定。比如真空中電磁場(chǎng)的傳播，波動(dòng)方程的形式非常簡(jiǎn)單

(1.1)

?2Fμ ν=0

(1.2)

所以對(duì)麥克斯韋方程組形式不變性的要求也可得到真空光速不變的結(jié)論。當(dāng)然，本文主要關(guān)注的光速和引力波速的問(wèn)題，這里不必去深究狹義相對(duì)論光速不變?cè)砗望溈怂鬼f方程組形式不變性之間到底哪個(gè)更為基本的問(wèn)題。

當(dāng)研究愛(ài)因斯坦場(chǎng)方程時(shí)，會(huì)發(fā)現(xiàn)度規(guī)場(chǎng)也可以存在波動(dòng)形式。比如弱場(chǎng)近似下，可以根據(jù)愛(ài)因斯坦場(chǎng)方程導(dǎo)出無(wú)源的引力波波動(dòng)方程

?2φμ ν=0

(1.3)

其中φμ ν就是所謂的時(shí)空漣漪，后文將給出其準(zhǔn)確定義。從方程形式上可以看出，引力波的速度也是光速。由于場(chǎng)方程是廣義協(xié)變的，因此引力波在任意的坐標(biāo)系中都等于真空中的光速。仔細(xì)分析即可發(fā)現(xiàn)，引力波速等于真空中的光速其實(shí)就是源于廣義光速不變?cè)?，即四維時(shí)空的間隔ds2不變的要求。任意的一個(gè)物理量A，只要具有

?2A=0

(1.4)

的波動(dòng)形式，波速都是真空中的極限速度。另外，根據(jù)第一篇論文中討論的坐標(biāo)系的性質(zhì)，局域的測(cè)量其實(shí)都是可以看作是在一個(gè)慣性系中的測(cè)量。所以，這種形式波動(dòng)方程的波速自然都是真空中的光速。

上文回答了引力波速為什么和真空光速相等的問(wèn)題，接下來(lái)的問(wèn)題就是引力波的速度是不是必須和真空中的光速相等。正如第一篇論文所說(shuō)，光速是可以小于真空中的光速的，這就是介質(zhì)的效應(yīng)?，F(xiàn)在有了引力波的存在，就會(huì)有這樣的問(wèn)題：真空到底是“誰(shuí)”的真空？如果是“電磁場(chǎng)”的真空，那真空的極限速度都是真空光速，?2A對(duì)應(yīng)的速度是不變量，引力波速當(dāng)然也就是真空中的光速。但是如果真空是“引力波”的真空，也就該電磁波在引力波真空中的傳播相當(dāng)于在某個(gè)介質(zhì)中的傳播，那么引力波速當(dāng)然就不是真空中光速了?；蛘哒f(shuō)引力波速才是光速不變?cè)硪蟮臉O限速度，由麥克斯韋方程組得到的波動(dòng)方程只是一個(gè)介質(zhì)中的波動(dòng)方程，其速度必須得考慮介質(zhì)的效應(yīng)。這相似于以太理論，此時(shí)引力波的真空就是電磁場(chǎng)的“以太”。講到這里就不得不說(shuō)一下“對(duì)鐘”的問(wèn)題。第一篇論文中已經(jīng)說(shuō)明，如果我們只能用光來(lái)對(duì)鐘的話，光速不變?cè)砭褪亲匀坏牧?。但是現(xiàn)在有了引力波探測(cè)，事情就不一樣了。引力論和電磁理論是兩個(gè)獨(dú)立的理論，我們完全可以用引力波來(lái)對(duì)鐘，光速不變就不是自然成立的了。雖然引力波信號(hào)的探測(cè)還是非常困難的，但是這完全不影響我們從物理概念角度出發(fā)所進(jìn)行的思考。一旦引力波探測(cè)技術(shù)得到了大大提高，檢驗(yàn)引力波速與光速的差別就會(huì)是一個(gè)重要的物理問(wèn)題，由引力波對(duì)鐘，也可以檢驗(yàn)單程光速是否不變的問(wèn)題了。這已經(jīng)超出了本文要討論問(wèn)題的范圍，這里就不詳述了。

2017年，美國(guó)國(guó)家航空航天局的費(fèi)米衛(wèi)星探測(cè)到的短伽馬射線暴GRB170817A的觀測(cè)數(shù)據(jù)表明，引力波與電磁波的速度并不嚴(yán)格相等，引力波波速的具體限制為[1]

(1.5)

其中，vGW是引力波波速；而vEM是探測(cè)到的電磁波波速。這也留下了討論引力波波速和真空光速差別的空間。

如果接受以上的論證，那么下面的問(wèn)題就是引力場(chǎng)中的電磁理論形式怎么寫，能不能回到我們通常學(xué)習(xí)的麥克斯韋方程組？其實(shí)這個(gè)問(wèn)題很好回答，那就是介質(zhì)電磁理論寫為廣義協(xié)變形式即可。在文獻(xiàn)[2]中，本文作者已經(jīng)找到了介質(zhì)電磁理論平直時(shí)空洛倫茲協(xié)變的形式?，F(xiàn)在就是將平直時(shí)空理論再推廣為彎曲時(shí)空理論即可。當(dāng)然引力波自身能不能也有類似的效應(yīng)也是需要回答的問(wèn)題。我們從電磁介質(zhì)理論中得到了啟發(fā)，嘗試推廣介質(zhì)引力理論。下面3節(jié)分別來(lái)說(shuō)明具體的理論。

2 介質(zhì)電磁理論

在狹義相對(duì)論中，慣性系度規(guī)ημ ν描述了平直時(shí)空下的測(cè)量方式，時(shí)空間隔為

ds2=c2dt2-dx2-dy2-dz2

(2.6)

上式中，c為真空中的光速。光速在此出現(xiàn)的含義是，我們默認(rèn)使用光來(lái)傳遞兩點(diǎn)之間的位置信息。這是關(guān)于光速問(wèn)題的要點(diǎn)所在。真空中的光速當(dāng)然不變，它不取決于觀察者的運(yùn)動(dòng)狀態(tài)。但是我們并不是生活在真空中，我們周圍存在著各種各樣的電磁介質(zhì)。而介質(zhì)中的光速并不是極限速度c，因此它也不是洛倫茲變換不變的，介質(zhì)中的光速取決于介質(zhì)的電磁性質(zhì)以及觀察者的運(yùn)動(dòng)狀態(tài)。因此，空間中介質(zhì)的存在將影響時(shí)空間隔的測(cè)量，在平直時(shí)空中，從A點(diǎn)發(fā)射的光線，在抵達(dá)B點(diǎn)后，返回至A點(diǎn)經(jīng)過(guò)的時(shí)間間隔為2Δt，那么AB兩點(diǎn)的空間間隔Δl可以表示為

Δl=cΔt

(2.7)

而真實(shí)情況是AB之間的空間區(qū)域內(nèi)存在某種電磁介質(zhì)，導(dǎo)致光速由c變?yōu)榻橘|(zhì)中的波速e。測(cè)量到的時(shí)間間隔是2Δt，那么AB之間真正的空間間隔將變?yōu)?/p>

Δl′=eΔt

(2.8)

由于介質(zhì)中的光速e一般小于真空中的光速c，因此導(dǎo)致

Δl′<Δl

(2.9)

即由于介質(zhì)的存在，我們測(cè)量到的空間間隔Δl比實(shí)際情況下的空間間隔Δl′要大。

以上簡(jiǎn)單的分析表明，介質(zhì)的存在影響著空間間隔的測(cè)量。造成這一點(diǎn)的原因在于，我們使用電磁相互作用傳遞信息，而“傳遞信息”這一事件是物理的，是真實(shí)發(fā)生的?！皟牲c(diǎn)之間由真空中的光速來(lái)建立聯(lián)系”，這一論斷假設(shè)了空間中不存在介質(zhì)，屬于理想情況。在宇宙中，不可避免的存在著電磁介質(zhì)。當(dāng)遙遠(yuǎn)的光線經(jīng)過(guò)電磁介質(zhì)時(shí)，光速發(fā)生了變化，導(dǎo)致測(cè)量到的空間間隔與實(shí)際情況存在偏差。接下來(lái)，分析電磁介質(zhì)對(duì)測(cè)量造成的效應(yīng)。

經(jīng)典電動(dòng)力學(xué)中，電磁場(chǎng)的基本變量是電磁場(chǎng)張量，F(xiàn)μ ν它與電磁勢(shì)Aμ的關(guān)系為

Fμ ν≡?μAν-?νAμ

(2.10)

自然單位制下它的具體表達(dá)式為

(2.11)

由上式可以得到一個(gè)循環(huán)恒等式

?αFμ ν+?νFα μ+?μFν α=0

(2.12)

該式就是電磁學(xué)理論中的比安奇恒等式。它作為描述電磁場(chǎng)的方程之一，滿足洛倫茲協(xié)變性，方程右邊等于零意味著不存在磁荷。介質(zhì)存在時(shí)，這一恒等式不受影響。真空中電動(dòng)力學(xué)另外一個(gè)場(chǎng)方程為

?μFμ ν=Jν

(2.13)

其中，Jν是四維電流密度。把以上兩個(gè)方程寫成電場(chǎng)強(qiáng)度E，磁感應(yīng)強(qiáng)度B分量的形式就是通常的真空中麥克斯韋方程組

而當(dāng)時(shí)空中存在介質(zhì)時(shí)，電磁理論就需要修改為介質(zhì)麥克斯韋方程組

其中，D是電位移矢量；H是磁場(chǎng)強(qiáng)度矢量，它們與電磁場(chǎng)(E,B)的關(guān)系為

該關(guān)系被稱為本構(gòu)關(guān)系。公式中ε,μ分別是介質(zhì)中的介電常數(shù)和磁導(dǎo)率。注意這里討論的是各向同性介質(zhì)，同時(shí)真空中ε0=μ0=1。以上就是通常電動(dòng)力學(xué)教科書講解的基礎(chǔ)內(nèi)容。

仔細(xì)研究就會(huì)發(fā)現(xiàn)，介質(zhì)麥克斯韋方程組(2.18)～(2.21)并不能像真空麥克斯韋方程組那樣寫成洛倫茲協(xié)變形式。也就是說(shuō)式(2.18)～(2.21)描述的是介質(zhì)靜止時(shí)的電磁理論形式。如果介質(zhì)運(yùn)動(dòng)，該方程就不成立了。此時(shí)可以把參考系變換到介質(zhì)靜止參考系進(jìn)行處理，這顯然是不方便的。為此，物理學(xué)家引入了另外一組電磁張量Gμ ν，它是由電位移矢量D和磁場(chǎng)強(qiáng)度H構(gòu)成的張量。因?yàn)樗姆?hào)與愛(ài)因斯坦張量Gμ ν重復(fù)，我們暫將其記為Qμ ν，其定義為

(2.24)

方程(2.13)在介質(zhì)中的形式就修改為

?μQμ ν=Jν

(2.25)

這是一個(gè)洛倫茲協(xié)變形式的運(yùn)動(dòng)方程，似乎可以處理運(yùn)動(dòng)介質(zhì)的問(wèn)題。但是問(wèn)題沒(méi)有那么簡(jiǎn)單，因?yàn)楸緲?gòu)關(guān)系(2.22)、(2.23)仍然是分量形式，并不是協(xié)變的，F(xiàn)μ ν的關(guān)系Qμ ν也不清楚。所以在實(shí)際處理介質(zhì)存在電磁問(wèn)題時(shí)，仍然需要有介質(zhì)靜止參考系本構(gòu)關(guān)系(2.22)、(2.23)得到Fμ ν與Qμ ν分量之間的關(guān)系。最終的結(jié)果為

公式中β是介質(zhì)運(yùn)動(dòng)的空間速度，公式(2.30)和(2.31)就是運(yùn)動(dòng)介質(zhì)中的本構(gòu)關(guān)系。這就是通常電磁學(xué)處理介質(zhì)問(wèn)題的方法，在實(shí)際應(yīng)用中已經(jīng)足夠?qū)嵱?。但是由于本?gòu)關(guān)系仍然是分量形式，所以以上方程仍然不是洛倫茲協(xié)變形式。在文獻(xiàn)[2]中，我們找到了協(xié)變形式的本構(gòu)關(guān)系。洛倫茲協(xié)變介質(zhì)電磁理論的形式為

其中，uμ是介質(zhì)運(yùn)動(dòng)四速度；εβ γ μ ν是四階反對(duì)稱張量。公式(2.33)就是比安奇恒等式(2.12)。這里我們采用了Fμ ν的對(duì)偶形式

(2.35)

以上介質(zhì)理論公式(2.32)～(2.34)雖然簡(jiǎn)捷漂亮，但是Gμ ν只是介質(zhì)存在時(shí)的效應(yīng)，而電磁學(xué)基本變量只是電磁場(chǎng)(E,B)或者張量Fμ ν。因此，介質(zhì)理論應(yīng)該可以寫為由電場(chǎng)強(qiáng)度和磁感應(yīng)強(qiáng)度(E,B)表達(dá)的形式。經(jīng)過(guò)計(jì)算，(具體過(guò)程參看文獻(xiàn)[2]。)介質(zhì)電磁理論可以化簡(jiǎn)為

當(dāng)然其協(xié)變形式應(yīng)該由電磁張量Fμ ν來(lái)表達(dá)，即

上式中

(2.42)

是靜止介質(zhì)中電磁波波速。以上就是運(yùn)動(dòng)介質(zhì)電磁理論的形式。經(jīng)研究發(fā)現(xiàn)，其實(shí)存在一個(gè)處理介質(zhì)理論的簡(jiǎn)單方法，接下來(lái)具體說(shuō)明。

對(duì)比真空麥克斯韋方程組(2.14)～(2.17)和介質(zhì)麥克斯韋方程組(2.18)～(2.21)，發(fā)現(xiàn)，兩組方程形式完全一樣，唯一的差別僅在于真空中的光速c與靜止介質(zhì)中的波速e互換而已。這種性質(zhì)提示了我們可以做以下處理：利用本構(gòu)關(guān)系(2.22)、(2.23)，靜止介質(zhì)波速(2.42)公式，靜止介質(zhì)電磁學(xué)運(yùn)動(dòng)方程(2.26)和(2.27)改寫為

將上式進(jìn)一步變形，

介質(zhì)的存在使得真空中的光速c變?yōu)榻橘|(zhì)中的光速e，相關(guān)物理量中但凡出現(xiàn)真空中的光速c的地方，我們將其替換為介質(zhì)中的光速e。比如，在國(guó)際單位制下，四維坐標(biāo)

xμ=(ct,x)

(2.47)

將第零分量中出現(xiàn)的c替換為e，即

(2.48)

符號(hào)上沒(méi)有帶“彎”(～)的物理量，說(shuō)它是物理的、真實(shí)的，而帶“彎”的物理量，說(shuō)它是介質(zhì)物理量，因?yàn)榭臻g中不可避免的存在電磁介質(zhì)，使得兩點(diǎn)之間信息傳遞的速度不是真空中的光速c，而是介質(zhì)中的光速e。

對(duì)其他電磁量也做這種替換。對(duì)于微分算符?μ，在作這一替換后成為

(2.49)

真空中的電磁張量Fμ ν在介質(zhì)中成為

(2.50)

同樣，四維電流密度Jν成為

(2.51)

由于介質(zhì)理論和真空理論形式完全一樣，這使我們意識(shí)到，只要空間中存在介質(zhì)背景，其理論只需要按照真空理論形式寫就可以了(真空理論中的參數(shù)μ0=1也換成了介質(zhì)理論中的參數(shù)μ)，即

(2.52)

(2.53)

式中，

Πμ ν=uμuν

(2.54)

稱為時(shí)間投影算符，其中

uμ=(1,0,0,0)

(2.55)

在洛倫茲變換下是一個(gè)矢量，uμ的四維長(zhǎng)度為1，即u2=1。時(shí)間投影算符Πμ ν只有00分量等于1，其余分量都為零，由其定義式(2.54)，它在洛倫茲變換下為一個(gè)對(duì)稱的二階張量。當(dāng)時(shí)間投影算符Πμ ν作用到另外一個(gè)二階張量Aμ ν時(shí)，Πμ ν總會(huì)將張量Aμ ν的00分量挑選出來(lái)，即

Πμ νAμ ν=A00

(2.56)

類似地，利用時(shí)間投影算符可以得到

(2.57)

以及

(2.58)

將式(2.53)、(2.57)和式(2.58)代入至式(2.52)中，得到的正是運(yùn)動(dòng)介質(zhì)中協(xié)變的麥克斯韋方程(2.40)式。下面是具體計(jì)算過(guò)程。方程(2.52)左邊，有

(2.59)

其中，第三個(gè)等號(hào)用到了時(shí)間投影算符指標(biāo)的對(duì)稱性

(2.60)

(2.61)

這是因?yàn)槭噶縰μ的長(zhǎng)度為1。方程(2.52)右邊，有

(2.62)

因此，方程(2.52)成為

(2.63)

(2.64)

既然介質(zhì)的存在影響了空間間隔的測(cè)量，那么介質(zhì)的影響可以吸收到度規(guī)張量中，這樣只需要指定度規(guī)，關(guān)于介質(zhì)的信息也就確定了。假設(shè)介質(zhì)存在，兩點(diǎn)之間真實(shí)的時(shí)空間隔是依靠介質(zhì)中的光速e來(lái)聯(lián)系的，而不是真空中的光速c，即

(2.65)

這是將介質(zhì)的效果通過(guò)坐標(biāo)來(lái)表達(dá)。另一種方法是，將介質(zhì)的效果吸收至度規(guī)中，物理量可以不做改變。這樣，時(shí)空間隔可以寫為

(2.66)

時(shí)空間隔式(2.65)和式(2.66)必須相等，即

(2.67)

帶一“彎”(～)的度規(guī)張量即表示它已吸收了介質(zhì)的效應(yīng)。利用關(guān)系

(2.68)

代入至式(2.67)，經(jīng)過(guò)簡(jiǎn)單計(jì)算，可以立即得到

(2.69)

由此可以將介質(zhì)的效果轉(zhuǎn)移到度規(guī)張量上，而繼續(xù)使用真空物理量。根據(jù)上式，可以得到關(guān)系

(2.70)

公式(2.70)意味著，當(dāng)介質(zhì)存在時(shí)，平直時(shí)空的度規(guī)張量應(yīng)當(dāng)寫為

(2.71)

而逆變的度規(guī)張量應(yīng)當(dāng)滿足

(2.72)

依靠上式可以得到

(2.73)

注意，該逆變度規(guī)張量介質(zhì)形式也可以由質(zhì)量量綱的四矢量介質(zhì)形式來(lái)得到，比如動(dòng)量

(2.74)

我們嘗試?yán)枚纫?guī)式(2.71)將麥克斯韋方程(2.64)表達(dá)成簡(jiǎn)潔的形式。首先，需要明確一個(gè)問(wèn)題。在上面的推導(dǎo)式(2.68)中，發(fā)現(xiàn)這一式非常像一種坐標(biāo)變換，即

(2.75)

若假設(shè)坐標(biāo)變換

(2.76)

以及它的逆變換

(2.77)

(2.78)

而

(2.79)

驗(yàn)證其他量之后就可得到變換規(guī)律：長(zhǎng)度量綱的物理量，滿足坐標(biāo)變換的逆變變換形式，指標(biāo)在上；質(zhì)量量綱的物理量，滿足坐標(biāo)變換的協(xié)變變換形式，指標(biāo)在下。因此就規(guī)定凡是長(zhǎng)度量綱的物理量指標(biāo)必須在上，質(zhì)量量綱的物理量指標(biāo)必須在下。指標(biāo)的上下由度規(guī)張量來(lái)控制。四維長(zhǎng)度xμ的量綱為L(zhǎng)(長(zhǎng)度)，因此其滿足對(duì)坐標(biāo)變換的逆變變換，而對(duì)于四維微分算符?μ，它的量綱為M(質(zhì)量)，因此滿足對(duì)坐標(biāo)變換的協(xié)變變換。對(duì)于電磁張量Fμ ν，由于其量綱為M2，因此將其指標(biāo)放在下面，即Fμ ν，使得其滿足坐標(biāo)變換。

在按其量綱而確定指標(biāo)是協(xié)變還是逆變之后，麥克斯韋方程(2.52)寫為

(2.80)

這時(shí)有裸露在外的度規(guī)張量，可以將介質(zhì)的效應(yīng)由具體的物理量上轉(zhuǎn)移到時(shí)空度規(guī)張量上，即上式可以寫為

(2.81)

代入相關(guān)介質(zhì)物理量或者介質(zhì)度規(guī)形式，就可得到式(2.80)和式(2.81)的洛倫茲協(xié)變表示?？梢则?yàn)證，式(2.80)、(2.81)與式(2.64)是等價(jià)的。通過(guò)這種技巧，大大減少了計(jì)算的難度，也將會(huì)有更豐富的物理內(nèi)涵。

總結(jié)我們的方法，如果空間中存在著介質(zhì)背景，其理論形式和真空形式完全一樣，相應(yīng)的介質(zhì)理論處理辦法可以分為兩步。

1) 將真空物理量替換為介質(zhì)中的物理量，每個(gè)物理量必須按照其量綱寫成標(biāo)準(zhǔn)形式

其規(guī)則為凡是長(zhǎng)度量綱的物理量，滿足坐標(biāo)變換的逆變變換，指標(biāo)在上，即

(2.82)

質(zhì)量量綱的物理量，滿足對(duì)于坐標(biāo)變換的協(xié)變變換，指標(biāo)在下，即

(2.83)

度規(guī)張量無(wú)量綱，其介質(zhì)理論形式為

2) 按照真空物理理論的形式代入介質(zhì)物理量即可得到相應(yīng)的介質(zhì)理論

物理方程中每個(gè)量指標(biāo)的上下由度規(guī)張量gμ ν和gμ ν來(lái)控制，寫成相應(yīng)物理量標(biāo)準(zhǔn)形式，然后代入方法有以下兩種：

(1) 所有非度規(guī)物理量替換成介質(zhì)物理量，然后按照式(2.82)、(2.83)即可得到由真空物理量表述的介質(zhì)理論；

(2) 不改變非度規(guī)物理量，只把相關(guān)的度規(guī)替換成介質(zhì)度規(guī)，然后按照式(2.84)、(2.85)計(jì)算也可以得到由真空物理表述的介質(zhì)理論。

這就是我們找到的利用時(shí)間投影算速處理介質(zhì)理論的方法，下一節(jié)將嘗試在引力理論中使用該方法。

首先說(shuō)明時(shí)空作為電磁介質(zhì)，光速可變的理論，此時(shí)只需要將式(2.40)中出現(xiàn)的普通導(dǎo)數(shù)替換為協(xié)變導(dǎo)數(shù)，電磁場(chǎng)張量現(xiàn)在定義為

Fμ ν≡μAν-νAμ

(2.86)

方程(2.40)成為

3 引力波的介質(zhì)理論

上節(jié)中，得到了處理介質(zhì)背景問(wèn)題的方法，并討論了兩時(shí)空點(diǎn)之間用電磁相互作用傳遞信息情況。這種傳遞信息的速度不是真空中的光速，而是介質(zhì)中的光速。在這一節(jié)中，對(duì)此做一個(gè)小小的推廣，將介質(zhì)的相關(guān)理論應(yīng)用于引力中。

首先，注意到引力波的基礎(chǔ)理論。引力波的波動(dòng)方程是基于愛(ài)因斯坦場(chǎng)方程，再加上合理的限制條件而得到的。前文已經(jīng)看到，利用測(cè)地坐標(biāo)可以大大簡(jiǎn)化引力論相關(guān)問(wèn)題的計(jì)算過(guò)程。測(cè)地坐標(biāo)即度規(guī)張量的一階導(dǎo)數(shù)為零的坐標(biāo)。第一篇論文中，我們?cè)跍y(cè)地坐標(biāo)中得到了里奇張量的表達(dá)式，由此也可得到測(cè)地坐標(biāo)的愛(ài)因斯坦場(chǎng)方程

(3.89)

上式中符號(hào)上的一“撇”代表是在測(cè)地坐標(biāo)系下的量?？梢钥吹綀?chǎng)方程還是很復(fù)雜，因此需要利用諧和坐標(biāo)條件和弱場(chǎng)近似對(duì)場(chǎng)方程做進(jìn)一步的化簡(jiǎn)。一般來(lái)說(shuō)，引力波的強(qiáng)度非常小，使用弱場(chǎng)近似條件是合理的。弱場(chǎng)近似條件下，度規(guī)張量被表示為

g′μ ν=ημ ν+hμ ν

(3.90)

其中ημ ν、hμ ν的具體定義和前文一樣。由于度規(guī)有10個(gè)分量，在比安奇恒等式的限制下場(chǎng)方程只有6個(gè)獨(dú)立方程，度規(guī)場(chǎng)實(shí)際上還有4個(gè)自由度未定。這種不確定性類似于電磁學(xué)中矢量勢(shì)定義的不確定性，需要選擇一定的規(guī)范條件將其固定。有一種常常被采用的限制條件稱為諧和坐標(biāo)條件，它要求坐標(biāo)滿足

(3.91)

將式(3.90)代入至諧和坐標(biāo)條件式(3.91)中，經(jīng)過(guò)縮并等運(yùn)算后，可以將諧和坐標(biāo)條件表示為

h,α=2?μhμα

(3.92)

將上式代入至式(3.89)中，便可立即得到無(wú)源的引力波的波動(dòng)方程

?2φμ ν=0

(3.93)

其中，

(3.94)

上式就是引力的波動(dòng)方程形式，本質(zhì)上仍然是愛(ài)因斯坦場(chǎng)方程。根據(jù)方程右邊不同的能量動(dòng)量張量的形式，可以利用上式處理弱引力場(chǎng)的相關(guān)問(wèn)題，解得相應(yīng)的φμ ν，進(jìn)而得到g′μ ν，二者的關(guān)系為

(3.95)

其中，φ=φμ νημ ν。這一方法，稱為線性近似。線性近似的優(yōu)點(diǎn)在于它比愛(ài)因斯坦場(chǎng)方程更容易求解。愛(ài)因斯坦場(chǎng)方程的嚴(yán)格解，都必須在弱場(chǎng)條件下滿足式(3.93)。比如施瓦茲解，在弱場(chǎng)近似下就可以得到式(3.93)，并且由線性近似得到的水星進(jìn)動(dòng)、光線偏移的理論值都與觀測(cè)符合得很好。

利用φμ ν的表達(dá)式，可以將諧和坐標(biāo)條件式(3.92)進(jìn)一步化簡(jiǎn)，得到

?αφα μ=0

(3.96)

上式稱為波動(dòng)方程(3.93)的規(guī)范條件。有了波動(dòng)方程和規(guī)范條件，就可以得到波動(dòng)方程的解。首先，φμ ν可以寫為

φμ ν=εμ νcoskαxα

(3.97)

其中，εμ ν是常張量，稱為極化張量；kα是常矢量，是波矢量。將式(3.97)代入至波動(dòng)方程(3.93)和規(guī)范條件式(3.96)中，得到

類比電磁波的波動(dòng)方程，從式(3.99)可以立即得到引力波的傳播速度是光速的結(jié)論。

以上簡(jiǎn)單推導(dǎo)并求解了引力波的波動(dòng)方程。結(jié)合本節(jié)開(kāi)頭的討論，我們認(rèn)為引力波波速等于真空中的光速這一論斷是有待商榷的，原因如下：

其一，在上文推導(dǎo)引力波波速的過(guò)程中，自始至終我們用的都是真空中光速，而忽略了電磁介質(zhì)的存在；

其二，引力波不同于電磁波的根本之處在于，引力波屬于引力相互作用，而電磁波屬于電磁相互作用。電磁波是電磁場(chǎng)的振蕩，引力波是時(shí)空度規(guī)的振蕩傳播，二者是完全不同的兩種相互作用。

接下來(lái)，對(duì)這兩種觀點(diǎn)加以分析。對(duì)于第一種考慮，即考慮到電磁介質(zhì)的存在，光速不是真空中的光速c，而是介質(zhì)中的光速e。當(dāng)空間中抽走電磁介質(zhì)之后，光速才是真空中的光速。引力波速與光速到底相等不相等？如果相等到底是等于真空中的光速，還是介質(zhì)中的光速？根據(jù)現(xiàn)在的廣義相對(duì)論引力論，引力滿足愛(ài)因斯坦場(chǎng)方程，引力波速度自然和真空中的光速相等。那么引力波速就可以和實(shí)際測(cè)量到的光速(因?yàn)榭赡苁墙橘|(zhì)中的速度)不相等了。第二種觀點(diǎn)認(rèn)為引力和電磁相互作用是兩個(gè)完全不同的相互作用，為什么真空中的光速和引力波的速度要相等？完全可以不相等。上節(jié)實(shí)際上已經(jīng)給了提示，真空是引力波的真空，對(duì)于電磁相互作用來(lái)說(shuō)，就類似于一個(gè)介質(zhì)背景。引力波速和真空中的光速也不相等。不管是那種情況上節(jié)給出的廣義協(xié)變的介質(zhì)電磁理論式(2.87)、(2.88)就是處理實(shí)際電磁學(xué)問(wèn)題的基本方程。引力波速就是真空的極限速度。廣義光速不變?cè)硪蟮乃俣绕鋵?shí)是引力波的速度，四維時(shí)空間隔ds2不變是保持引力波速不變。此時(shí)廣義光速不變?cè)硇薷臑閺V義引力波速度不變會(huì)更為合適一些。

但是，對(duì)于真空和介質(zhì)理論來(lái)說(shuō)，還應(yīng)有另外一種觀點(diǎn)。那就是介質(zhì)理論是真空理論物質(zhì)相互作用下的宏觀效應(yīng)。就像電磁學(xué)理論一樣，真空麥克斯韋方程組是基本的，介質(zhì)理論是因?yàn)榭臻g中存在的物質(zhì)的電磁效應(yīng)造成的，比如極化、磁化等。問(wèn)題就來(lái)了，引力理論會(huì)不會(huì)有類似的效應(yīng)？我們知道對(duì)廣義相對(duì)論來(lái)說(shuō)基本變量是度規(guī)張量gμ ν，愛(ài)因斯坦場(chǎng)方程描述的是時(shí)空的彎曲等于時(shí)空中物質(zhì)分布。類比于電磁理論就可以問(wèn)一個(gè)問(wèn)題：這是一個(gè)真空理論，還是一個(gè)介質(zhì)理論？電磁真空理論和介質(zhì)理論之間的關(guān)系也提示了我們回答這一問(wèn)題的方案。第一，如果說(shuō)場(chǎng)方程是唯一的，不區(qū)分真空和介質(zhì)，那就直接了當(dāng)?shù)鼗卮?回絕)了以上問(wèn)題；第二，既然電磁真空和直接理論存在差異，則上述質(zhì)疑是合適的，或者說(shuō)，至少在理論上可以做這方面的探索。下面就遵循第二種思路，來(lái)探討引力介質(zhì)理論。

(1) 引力波方程(3.93)可以直接作c→e的替換；

(2) 測(cè)地坐標(biāo)下的愛(ài)因斯坦場(chǎng)方程，只存在度規(guī)張量的二階導(dǎo)數(shù)，對(duì)它們作c→e替換，再利用規(guī)范條件得到波動(dòng)方程；

(3) 直接對(duì)愛(ài)因斯坦場(chǎng)方程做這一替換，得到在測(cè)地坐標(biāo)下的關(guān)于度規(guī)的二階方程，進(jìn)而得到波動(dòng)方程。

雖然這3種方法繁簡(jiǎn)不一，最后應(yīng)該得到同樣的波動(dòng)方程。下面分別對(duì)這3種方法加以分析。需要首先說(shuō)明的是，下面用到的c→e替換中的e可以是介質(zhì)中光速，也可以不是，二者沒(méi)有什么必然聯(lián)系，因?yàn)楝F(xiàn)在處理的只是引力理論。

(3.100)

這樣，算符?2可以替換為

(3.101)

其中Πμ ν就是廣義相對(duì)論中的時(shí)間投影算符。因此引力波波動(dòng)方程在做這一替換后，成為

(3.102)

這一波動(dòng)方程，與運(yùn)動(dòng)介質(zhì)中電磁波動(dòng)方程一致，這一方程的解可以寫為

φμ ν=εμ νexp[-iφ(kμ,xμ,β)]

(3.103)

其中，φ(kμ,xμ,β)是引力波的相位函數(shù)。若觀察者運(yùn)動(dòng)方向與引力波傳播方向相同，設(shè)運(yùn)動(dòng)方向?yàn)閤軸，則相位函數(shù)的具體表達(dá)式為

(3.104)

其中，kμ=(ω,k,0,0)是波矢；xμ=(t,x)是坐標(biāo)；β是觀察者是三維速度。由這一相位函數(shù)得到引力波的傳播速度e′為

(3.105)

這就是洛倫茲速度變換公式，讀者可以驗(yàn)證上文中的介質(zhì)電磁理論得到的波速也滿足此關(guān)系。當(dāng)觀察者相對(duì)于介質(zhì)靜止，即觀察者四速度uμ=(1,0,0,0)時(shí)，引力波波速是介質(zhì)中的光速e而非真空中的光速c，而當(dāng)觀察者速度不為零時(shí)，引力波的波速即式(3.105)。由于介質(zhì)中的光速是可變的，故引力波波速也是可變的。上節(jié)介質(zhì)電磁波速變換性質(zhì)與此完全一樣。

(3.106)

利用測(cè)地坐標(biāo)和弱場(chǎng)近似，在無(wú)源情況下，式(3.89)成為

(3.107)

經(jīng)過(guò)替換后的線性近似方程很復(fù)雜，但是可以利用規(guī)范條件將其化簡(jiǎn)。若施加兩個(gè)規(guī)范條件

規(guī)范選擇式(3.108)就是通常的諧和坐標(biāo)條件Γμ=0，而式(3.109)是新增加的一個(gè)條件，后文會(huì)對(duì)此條件做出說(shuō)明。

可以驗(yàn)證，在利用規(guī)范條件式(3.108)、(3.109)后，經(jīng)過(guò)c→e替換的線性近似式(3.107)正是波動(dòng)方程(3.102)，除了新增加的規(guī)范條件式(3.109)之外沒(méi)有其他改動(dòng)。因此，從線性近似的角度出發(fā)，得到了同樣的引力波波動(dòng)方程。注意在以上類比操作中，都是默認(rèn)為e是一個(gè)常數(shù)，并不是時(shí)空坐標(biāo)的函數(shù)。在廣義相對(duì)論中，這種假設(shè)是過(guò)于簡(jiǎn)單的，(其實(shí)電磁學(xué)理論中，光速也還依賴于電磁波的頻率，即色散關(guān)系。)但是這個(gè)假設(shè)基本可以滿足我們對(duì)引力介質(zhì)理論的好奇心了，本文作者其實(shí)就是想試一試看這樣操作下去對(duì)引力理論會(huì)出現(xiàn)什么樣的效果。接下來(lái)，我們來(lái)處理愛(ài)因斯坦場(chǎng)方程。

第三種思路，直接對(duì)場(chǎng)方程作c→e替換有些復(fù)雜，先定義一些量來(lái)方便計(jì)算。黎曼幾何中四維時(shí)空間隔不變要求

(3.110)

其中，

(3.111)

(3.112)

(3.113)

(3.114)

里奇標(biāo)量是

(3.115)

于是愛(ài)因斯坦場(chǎng)方程被修改為

(3.116)

(3.117)

令

(3.124)

上式即是經(jīng)過(guò)修改的愛(ài)因斯坦場(chǎng)方程，Gμ ν是愛(ài)因斯坦張量，而Wμ ν定義為

(3.125)

如何驗(yàn)證修改后方程的正確性？當(dāng)然是在測(cè)地坐標(biāo)系看波動(dòng)方程中的波速是否滿足洛倫茲速度變換(3.105)。在測(cè)地坐標(biāo)下，關(guān)于度規(guī)的一階偏導(dǎo)數(shù)項(xiàng)都為零，只保留關(guān)于的度規(guī)的二階偏導(dǎo)數(shù)項(xiàng)。于是，在測(cè)地坐標(biāo)和弱場(chǎng)近似下，有

(3.126)

它們經(jīng)過(guò)與度規(guī)張量縮并之后的形式為

在無(wú)源情況下，經(jīng)修改的愛(ài)因斯坦場(chǎng)方程在測(cè)地坐標(biāo)下有簡(jiǎn)單的形式

(3.132)

其中，G′μ ν是測(cè)地坐標(biāo)下愛(ài)因斯坦張量。將測(cè)地坐標(biāo)下的式(3.126)、(3.127)、(3.128)、(3.129)、(3.130)、(3.131)代入至式(3.132)中，得到

(3.133)

對(duì)上式進(jìn)一步化簡(jiǎn)合并后，發(fā)現(xiàn)方程(3.133)正是方程(3.107)。而規(guī)范條件式(3.109)在此可以理解為諧和坐標(biāo)條件的擴(kuò)充，即

規(guī)范條件式(3.134)對(duì)應(yīng)于規(guī)范選擇式(3.108)，在此要求之下，式(3.135)對(duì)應(yīng)于規(guī)范選擇式(3.109)。由修改后的場(chǎng)方程得到的引力波波動(dòng)方程與前兩種思路得到的方程相同，也回到了式(3.102)。在觀察者靜止時(shí)引力波波速是介質(zhì)中的光速e，介質(zhì)運(yùn)動(dòng)參考系，波速滿足洛倫茲速度疊加關(guān)系。當(dāng)沒(méi)有介質(zhì)存在時(shí)，場(chǎng)方程(3.124)便回到了通常的愛(ài)因斯坦場(chǎng)方程。

方程中出現(xiàn)的介質(zhì)中的光速e是一個(gè)可測(cè)量量。若測(cè)量到的e<1，則說(shuō)明觀測(cè)點(diǎn)與引力波的發(fā)射點(diǎn)之間存在著引力介質(zhì)，這些介質(zhì)依然會(huì)產(chǎn)生引力相互作用以致影響到場(chǎng)方程的表達(dá)式，進(jìn)而影響時(shí)空的度規(guī)結(jié)構(gòu)。修改過(guò)的場(chǎng)方程(3.124)也可以這樣理解，比愛(ài)因斯坦場(chǎng)方程多出來(lái)的項(xiàng)Wμ ν放至等號(hào)右邊，將其作為能量動(dòng)量張量的一部分，其大小依賴于介質(zhì)中的引力波速e以及度規(guī)張量關(guān)于時(shí)間的導(dǎo)數(shù)。即場(chǎng)方程(3.124)可以寫為

(3.136)

其中，

(3.137)

它表示介質(zhì)存在時(shí)的有效能量動(dòng)量張量。

在電磁理論中，比安奇恒等式不變，在引力研究中，修改場(chǎng)方程之后，通常都需要驗(yàn)證引力場(chǎng)的比安奇恒等式。真空中的愛(ài)因斯坦場(chǎng)方程需滿足比安奇恒等式

μGμ ν=0

(3.138)

對(duì)于修改過(guò)的場(chǎng)方程(3.124)，比安奇恒等式應(yīng)當(dāng)為

(3.139)

(3.140)

直接驗(yàn)證式(3.139)十分困難，最好還是在測(cè)地坐標(biāo)下進(jìn)行計(jì)算。度規(guī)張量的一階導(dǎo)數(shù)為零，方程(3.139)就應(yīng)該變?yōu)?/p>

(3.141)

式中G′μ ν與W′μ ν分別是它們?cè)跍y(cè)地坐標(biāo)下的表達(dá)式。讀者可以驗(yàn)證式(3.141)是成立的。

4 時(shí)空對(duì)稱性、宇宙學(xué)時(shí)空演化及其修正

在第一篇的引力論簡(jiǎn)介以及前文介質(zhì)理論的探討中，有一類重要的問(wèn)題還未提及：時(shí)空的對(duì)稱性。平直時(shí)空對(duì)稱性是狹義相對(duì)論的重要內(nèi)容，物理規(guī)律在洛倫茲變換下的協(xié)變性即是時(shí)空對(duì)稱性的體現(xiàn)。然而，單就時(shí)空對(duì)稱性這一點(diǎn)上，廣義相對(duì)論并不比狹義相對(duì)論更“廣義”，因?yàn)樵趶V義相對(duì)論的框架內(nèi)沒(méi)有對(duì)時(shí)空的對(duì)稱性做進(jìn)一步推廣說(shuō)明。在這一節(jié)，將討論廣義相對(duì)論框架下的時(shí)空對(duì)稱性，然后從時(shí)空對(duì)稱性得到度規(guī)張量的限制。這些限制對(duì)于研究特定引力場(chǎng)是非常重要的。下文宇宙學(xué)時(shí)空度規(guī)就可以由對(duì)稱性限制得到，因此討論介質(zhì)效應(yīng)前首先討論時(shí)空對(duì)稱性。

既然時(shí)空性質(zhì)由度規(guī)來(lái)刻畫，因此就有時(shí)空對(duì)稱性即度規(guī)張量對(duì)于某些坐標(biāo)變換的不變性。因?yàn)槎纫?guī)張量與幾何測(cè)量密切相關(guān)，所以在廣義相對(duì)論理論中，時(shí)空對(duì)稱性就是坐標(biāo)變換下幾何測(cè)量方式不變的性質(zhì)。通俗地講就是，當(dāng)做某一坐標(biāo)變換后，1m的標(biāo)準(zhǔn)尺在時(shí)空的任意區(qū)域測(cè)量距離，依然是1m。注意在這里要區(qū)分時(shí)空對(duì)稱性和廣義協(xié)變性之間的區(qū)別，其實(shí)第一篇論文已經(jīng)對(duì)此做了簡(jiǎn)單討論。比如時(shí)空間隔是一個(gè)標(biāo)量，在任何坐標(biāo)變換下都是不變(協(xié)變)的。這與度規(guī)在坐標(biāo)變換下的不變對(duì)稱性是兩個(gè)不同的概念。時(shí)空間隔的不變性要求度規(guī)為一個(gè)二階張量，即做坐標(biāo)變換x′→x后，

(4.142)

上式中不帶撇度規(guī)張量表示再新坐標(biāo)系x中的度規(guī)。在此基礎(chǔ)上，若要求度規(guī)張量具有坐標(biāo)變換不變對(duì)稱性，則

g′α β(x′)=gα β(x′)

(4.143)

即在新坐標(biāo)下，度規(guī)張量與原坐標(biāo)下的度規(guī)張量形式相同。因此式(4.142)成為

(4.144)

對(duì)于一個(gè)無(wú)限小的坐標(biāo)變換

x′μ=xμ+ξμ(x)

(4.145)

其中，ξμ(x)為一矢量是坐標(biāo)的函數(shù)，這是一個(gè)一階小量。這樣便有

(4.146)

將式(4.146)代入式(4.144)中，忽略二階小量，得到

(4.147)

將上式等號(hào)右邊的gμ ν(x′)在xμ處泰勒展開(kāi)，即

(4.148)

代入至式(4.147)中，只保留一階小量，便可以得到一個(gè)等式

(4.149)

這一方程是式(4.144)的微元形式。接著利用

ξμ=gμ αξα

將式(4.149)改寫為

(4.150)

上式中，度規(guī)張量的3個(gè)導(dǎo)數(shù)結(jié)合成一個(gè)克里斯多夫聯(lián)絡(luò)，因此上式可以寫為

(4.151)

這等同于

ξμ;ν+ξν;μ=0

(4.152)

(4.153)

在直角坐標(biāo)系下，平直時(shí)空下的度規(guī)即ημ ν=diag(1,-1,-1,-1)，此時(shí)所有的克里斯多夫聯(lián)絡(luò)為零。將度規(guī)代入至基靈方程中，指標(biāo)取μ=ν時(shí)，有4個(gè)基靈方程

μ、ν指標(biāo)不相等，則有6個(gè)基靈方程

這10個(gè)基靈方程的10個(gè)解，表明平直時(shí)空具有10種相應(yīng)的對(duì)稱性。注意到以上方程都是關(guān)于ξμ某一分量的微分方程，方程(4.154)和(4.155)中ξμ的第μ分量ξ0與相應(yīng)的坐標(biāo)xμ無(wú)關(guān)；方程(4.156)左邊與時(shí)間無(wú)關(guān)，方程右邊與坐標(biāo)xi無(wú)關(guān)，因此方程兩邊等于同一個(gè)常數(shù)。方程(4.157)也是如此。根據(jù)以上分析，可以得到基靈矢量的形式解

ξμ=ωμ νxν+ζμ

(4.158)

其中，ωμ ν的一個(gè)常張量，且滿足ωμ ν=-ων μ，故而只有6個(gè)獨(dú)立參數(shù)：ω01,ω02,ω03,ω12,ω13,ω23，ζμ是一個(gè)常矢量。它的逆變矢量為

ξμ=ωμνxν+ζμ

(4.159)

其中，ωμν=ωα νgαμ。為了直觀表述以上對(duì)稱變換，將ξμ寫成矩陣的形式

(4.160)

從上式可以看出，6個(gè)參數(shù)ωμ ν描述了6個(gè)洛倫茲轉(zhuǎn)動(dòng)，4個(gè)參數(shù)ζμ描述了4個(gè)方向的平移，這正是洛倫茲變換的無(wú)限小表示。為了得到洛倫茲變換的有限表示，可以將矩陣ωμν寫為

(4.161)

其中，因子1/2是為了抵消指標(biāo)縮并多出來(lái)的因子2，

(4.162)

是洛倫茲變換的生成元。指標(biāo)α,β反對(duì)稱，標(biāo)記了6個(gè)生成元，指標(biāo)μ,ν標(biāo)記了每個(gè)生成元的分量。一個(gè)有限變換即可由無(wú)線小變換構(gòu)造出

(4.163)

(4.164)

其中，n取正整數(shù)。這樣便有

(4.165)

其中，shψ,chψ分別是雙曲正弦與雙曲余弦函數(shù)。將上式寫成矩陣的形式，即

(4.166)

我們可以看到參數(shù)ψ表示的是快度，它與兩坐標(biāo)系間相對(duì)速度β的關(guān)系是

shψ=βγ, chψ=γ

(4.167)

其他洛倫茲變換便可按照同樣的方法導(dǎo)出。

以上簡(jiǎn)要討論了基靈方程在處理時(shí)空對(duì)稱性中的作用。基靈方程給出一個(gè)尋找對(duì)稱直接而系統(tǒng)的方法，通過(guò)構(gòu)造這一微分方程的所有可能解，就可找到所有的對(duì)稱性。根據(jù)對(duì)稱性又可以得到守恒量，因此基靈方程在廣義相對(duì)論中有重要應(yīng)用。更多關(guān)于基靈方程的內(nèi)容，可參閱文獻(xiàn)[3]?；`方程的第二個(gè)應(yīng)用就是，可以借此討論均勻、各向同性宇宙演化的物理過(guò)程，從中得到描述宇宙大尺度結(jié)構(gòu)的羅伯遜沃克幾何以及關(guān)于宇宙演化的弗雷德曼方程。首先簡(jiǎn)要介紹大尺度的宇宙的性質(zhì)。

4.1 宇宙學(xué)時(shí)空度規(guī)和弗雷德曼方程

太陽(yáng)系屬于一個(gè)更大的系統(tǒng)——銀河系，它包含大概1011顆恒星。要跨越整個(gè)銀河，即使是利用宇宙中速度最快的光，也需要耗費(fèi)10萬(wàn)年的時(shí)間。然而，通過(guò)射電望遠(yuǎn)鏡，人類觀測(cè)到了大約109個(gè)像銀河系那樣的星系。目前，天文學(xué)家已經(jīng)記錄了幾百萬(wàn)個(gè)星系。從觀測(cè)的結(jié)果來(lái)看，星系傾向于集結(jié)成星系團(tuán)，這些星系團(tuán)由幾十、幾百甚至幾千個(gè)星系組成，尺度大約在幾個(gè)Mpc(秒差距pc是距離單位，1pc=3.26光年，1Mpc=106pc)，而星系團(tuán)又與其他星系團(tuán)結(jié)合成超星系團(tuán)，尺度大約在幾十個(gè)Mpc。天文觀測(cè)表明，如圖1所示[注]圖片取自網(wǎng)頁(yè):https://www.universetoday.com/81813/astronomy-without-a-telescope-the-edge-of-greatness/，盡管在小尺度上看起來(lái)相當(dāng)不均勻，但是在幾百M(fèi)pc的尺度上，宇宙中各個(gè)星系均勻分布。另外，宇宙微波背景輻射的觀測(cè)又表明，宇宙是各向同性的[4，5]。這一輻射被認(rèn)為是早期宇宙暴漲階段的遺跡，它在全天的分布是極其均勻的。這樣，在大尺度上，宇宙最顯著的特征就是缺乏可辨認(rèn)的特征，除了局域的不規(guī)則之外，從各個(gè)方向來(lái)看宇宙中所有的點(diǎn)都是等價(jià)的。即宇宙在大尺度上具有均勻、各向同性的特征，這一論斷被稱為“宇宙學(xué)原理”[6]。

圖1 大尺度處處均勻、各向同性的宇宙

圖2 共動(dòng)坐標(biāo)系，膨脹的宇宙

根據(jù)宇宙學(xué)原理和現(xiàn)有的觀測(cè)事實(shí)就可以得到描述宇宙大尺度結(jié)構(gòu)的度規(guī)形式。現(xiàn)在的宇宙觀測(cè)表明宇宙在加速膨脹[7]，因此，描述整個(gè)宇宙的演化需要利用共動(dòng)坐標(biāo)系。共動(dòng)坐標(biāo)是指，空間坐標(biāo)隨著宇宙中物質(zhì)的膨脹一起運(yùn)動(dòng)。如圖2所示，時(shí)空中的物體物理間距在改變，但是坐標(biāo)系坐標(biāo)也隨著物理間距改變而改變，物體的具體坐標(biāo)值并不變。形象地說(shuō)，若將宇宙的膨脹比作吹氣球時(shí)氣球的膨脹，將坐標(biāo)軸畫在氣球表面，那么隨著氣球的膨脹，坐標(biāo)軸的刻度間隔也是在不斷增加，因此在此坐標(biāo)下，兩點(diǎn)間的坐標(biāo)距離l保持不變，但是兩點(diǎn)之間的物理距離d是不斷增加的。為了表示坐標(biāo)距離與物理距離的關(guān)系，引入尺度因子a(t)，它是時(shí)間的函數(shù)，表征宇宙的膨脹，坐標(biāo)距離與物理距離之間的關(guān)系為

d=al

(4.168)

對(duì)于時(shí)間坐標(biāo)，前文已經(jīng)說(shuō)明宇宙各點(diǎn)靜止的鐘測(cè)量到的就是固有時(shí)間，并且這些不同地點(diǎn)的鐘是同步且對(duì)準(zhǔn)的，因此我們選擇

g00=1,g0i=0

(4.169)

注意g0i分量與對(duì)鐘過(guò)程相關(guān)，g0i≠0表明不同地點(diǎn)鐘表的零點(diǎn)沒(méi)有對(duì)準(zhǔn)。g00=1則說(shuō)明坐標(biāo)時(shí)與固有時(shí)相等，各地的鐘表都是一致的。這樣描述宇宙大尺度結(jié)構(gòu)的時(shí)空間隔形式為

ds2=dt2-a2dl2

(4.170)

根據(jù)宇宙學(xué)原理，我們可以得到度規(guī)張量的空間分量gij的具體形式。宇宙的均勻性意味著度規(guī)可以使得基靈矢量在任意點(diǎn)取一切可能值[3、8]。比如說(shuō)，在宇宙中選擇某點(diǎn)為中心建立一個(gè)直角坐標(biāo)系，在x軸上的刻度分布是均勻的，度規(guī)不會(huì)因?yàn)榭臻g坐標(biāo)改變而改變。宇宙的各向同性意味著，ξμ;ν在滿足基靈方程限制條件下可取一切可能值[3、8]。也就是說(shuō)，基靈矢量的平行移動(dòng)不會(huì)影響到時(shí)空的測(cè)量。這就要求不僅僅x軸上的刻度分布是均勻的，y軸、z軸甚至任意方向上的刻度分布都是均勻的，且這種均勻性是一致的。均勻性和各向同性在幾何上讀者應(yīng)該是不陌生的，歐幾里得幾何便滿足這些要求。然而對(duì)于宇宙的大尺度結(jié)構(gòu)來(lái)說(shuō)，由于我們?nèi)狈?shí)際檢驗(yàn)的方法，所以這只能作為一個(gè)宇宙學(xué)原理的推論。實(shí)際上，隨著天文技術(shù)的進(jìn)步，物理學(xué)家和天文學(xué)家正在觀測(cè)并研究宇宙的非均勻性和各向異性。

我們可以利用黎曼曲率張量以及基靈方程(4.152)，來(lái)得到滿足幾何均勻、各向同性的曲率形式。由于推導(dǎo)過(guò)程較為繁瑣，具體細(xì)節(jié)請(qǐng)讀者參閱溫伯格的《引力和宇宙學(xué)》，這里直接給出結(jié)果。均勻、各向同性的N維幾何空間(N>2)的里奇標(biāo)量R是一個(gè)常數(shù)，黎曼曲率張量由下式給出

(4.171)

由于里奇標(biāo)量是常數(shù)，引入常曲率K

R=-N(N-1)K

(4.172)

這樣，對(duì)于三維空間，滿足均勻、各向同性的曲率張量必須有形式

在幾何上，唯一滿足以上條件的是一個(gè)三維球面，它是四維球的表面。讀者可以參考圖2所示二維球面的例子，以此推廣為三維球面。半徑為r0四維超球的表面方程為

(4.175)

其中，χ是一個(gè)額外的、非物理的第四坐標(biāo)，χ坐標(biāo)軸與x,y,z都正交。球面上任意兩點(diǎn)之間的坐標(biāo)距離是

dl2=dx2+dy2+dz2+dχ2

(4.176)

利用式(4.175)，消去非物理的坐標(biāo)χ，得到

(4.177)

容易驗(yàn)證，只要

(4.178)

坐標(biāo)間隔式(4.177)的曲率張量就滿足式(4.171)的要求。這一距離間隔是非對(duì)角的，利用坐標(biāo)變換，

(4.179)

坐標(biāo)間隔式(4.177)將會(huì)變?yōu)閷?duì)角形式，

(4.180)

將上式代入式(4.170)中，得到

(4.181)

這便是費(fèi)雷德曼-羅賓遜-沃克度規(guī)，它描述了宇宙的大尺度結(jié)構(gòu)。其形式是被宇宙學(xué)原理嚴(yán)格限制的，與愛(ài)因斯坦場(chǎng)方程無(wú)關(guān)。a(t)是標(biāo)度因子，它描述宇宙的膨脹，與哈勃常數(shù)H相聯(lián)系；適當(dāng)選擇r單位之后，K=-1對(duì)應(yīng)著開(kāi)放宇宙，即由(4.190)計(jì)算宇宙的總體積是無(wú)限的，K=0宇宙是平坦的，K=1對(duì)應(yīng)著閉合宇宙，即宇宙的總體積是有限的。

如果宇宙的物質(zhì)組分已知，費(fèi)雷德曼-羅賓遜-沃克度規(guī)通過(guò)愛(ài)因斯坦場(chǎng)方程描述了宇宙的演化。假設(shè)宇宙的物質(zhì)組分可以由理想流體的能量動(dòng)量張量近似

Tμ ν=(ρ+P)uμuν-Pgμ ν

(4.182)

其中，uμ是觀察者的四速度；P是宇宙中塵埃、氣體等造成的總壓強(qiáng)。上式意味著，對(duì)于靜止的觀察者，宇宙的能量密度T00=ρ是現(xiàn)階段宇宙的總能量密度，空間分量

Tij=Pgij

通常，二者滿足一下物態(tài)方程

P=ωρ

(4.183)

有了均勻各項(xiàng)同性度規(guī)形式，根據(jù)愛(ài)因斯坦場(chǎng)方程我們就可以得到宇宙的演化方程。將度規(guī)式(4.190)代入至宇宙學(xué)常數(shù)Λ=0的愛(ài)因斯坦場(chǎng)方程中，方程的右邊為理想流體的能量動(dòng)量張量形式(4.191)。場(chǎng)方程的00分量方程為

(4.184)

式(4.184)稱為第一弗雷德曼方程。其中

(4.185)

代表尺度因子對(duì)時(shí)間的導(dǎo)數(shù)。

(4.186)

是哈勃參數(shù)，它的當(dāng)前具體數(shù)值就是哈勃常數(shù)。場(chǎng)方程的11，22和33分量方程都相同，

(4.187)

式(4.187)稱為第二弗雷德曼方程。方程(4.184)和(4.187)再加上物態(tài)方程(4.183)，就確定了方程中3個(gè)變量a(t),ρ,P。而宇宙曲率的常數(shù)K，可以通過(guò)式(4.184)來(lái)確定：

(4.188)

其中，

(4.189)

稱為臨界密度，它的值完全由哈勃參量決定。用現(xiàn)階段測(cè)量到的哈勃常數(shù)H0的值得到今天的臨界密度為[9]

ρc=(0.47～1.88)×10-26(kg/m3)

(4.190)

由宇宙的曲率式(4.188)可以看出，宇宙是加速膨脹還是減速膨脹依賴于宇宙總能量密度ρ。由于沒(méi)有ρ直接測(cè)量辦法，僅僅根據(jù)觀測(cè)到的星系密度還不能完全確定宇宙總能量密度。因此現(xiàn)階段的宇宙觀測(cè)還沒(méi)有排除任何一種可能。

另外一個(gè)對(duì)宇宙的演化由重要貢獻(xiàn)的項(xiàng)來(lái)自于宇宙學(xué)常數(shù)Λ。前面說(shuō)過(guò)，為了保證在弱場(chǎng)條件時(shí)與牛頓理論一致，Λ必須小到可以忽略。但是對(duì)于宇宙來(lái)說(shuō)，這樣一個(gè)小項(xiàng)也有著重要的貢獻(xiàn)。若將費(fèi)雷德曼-羅賓遜-沃克度規(guī)式(4.190)代入至Λ不為零的愛(ài)因斯坦場(chǎng)方程中，弗雷德曼第一、第二方程變?yōu)?/p>

因?yàn)?/p>

(4.193)

若

說(shuō)明宇宙在加速膨脹，若

說(shuō)明宇宙在減速膨脹。由式(4.192)可以看出，能量密度與壓強(qiáng)產(chǎn)生引力，會(huì)減速宇宙的膨脹。若宇宙學(xué)常數(shù)Λ為正，則會(huì)加速宇宙的膨脹，若Λ為負(fù)，則將會(huì)使得宇宙的膨脹減速?，F(xiàn)在的天文觀測(cè)表明，宇宙正在加速膨脹[10]。

本節(jié)簡(jiǎn)單介紹了對(duì)稱性和弗雷德曼方程，與之相關(guān)的宇宙學(xué)研究是當(dāng)前理論物理重要的研究領(lǐng)域。而介質(zhì)理論對(duì)其有什么修正是個(gè)有意思的問(wèn)題，下面對(duì)此進(jìn)行簡(jiǎn)單討論。

4.2 引力介質(zhì)理論在宇宙學(xué)演化中的效應(yīng)

利用式(3.124)來(lái)得到描述宇宙的弗雷德曼方程。將費(fèi)雷德曼-羅賓遜-沃克度規(guī)代入至方程(3.124)中，經(jīng)過(guò)計(jì)算，得到

其中H和a的定義如上文所述。此時(shí)如果假定介質(zhì)能量動(dòng)量張量與真空理論差別很小，計(jì)算可得，兩個(gè)弗雷德曼方程修改為

(4.202)

這一方程與通常守恒方程一致。由式(4.209)可以得到，當(dāng)K=0時(shí)，新的臨界密度ρ′c與通常的臨界密度ρc之間的關(guān)系為

(4.203)

而描述宇宙曲率因子K現(xiàn)在也不僅僅由哈勃參量決定，還由宇宙中分布的引力介質(zhì)決定

(4.204)

若定義實(shí)際密度ρ與ρ′c的比值為Ω′，即

(4.205)

則根據(jù)發(fā)光星系平均密度的測(cè)量結(jié)果，由

ρ=Ωρc=Ω′ρ′c

(4.206)

得到

(4.207)

上式說(shuō)明宇宙中存在的電磁介質(zhì)對(duì)于相對(duì)密度Ω有一個(gè)抬高的作用。

綜上，類比電磁學(xué)中真空理論與介質(zhì)理論的關(guān)系，我們得到了處理介質(zhì)理論的技巧，由此把引力理論中出現(xiàn)的真空光速c替換為介質(zhì)中的光速e。隨后研究了引力波速變化的情況，發(fā)現(xiàn)其結(jié)果和介質(zhì)中的光速完全一樣。沿著同樣的思路，得到了愛(ài)因斯坦場(chǎng)方程的修改形式。修改了弗雷德曼方程，在宇宙學(xué)得到了一些有意思的結(jié)果。介質(zhì)理論對(duì)經(jīng)典引力理論修正的實(shí)驗(yàn)檢驗(yàn)，以及引力波對(duì)鐘情況下各種相對(duì)論理論的檢驗(yàn)都是一些很大的課題，本文就不作深入討論了。

5 總結(jié)

引力波信號(hào)的探測(cè)再次驗(yàn)證了100多年前愛(ài)因斯坦創(chuàng)立的廣義相對(duì)論理論。該理論以其簡(jiǎn)單的邏輯基礎(chǔ)，優(yōu)美的理論結(jié)構(gòu)成為了物理學(xué)皇冠上的明珠，也是眾多物理學(xué)家為之奮斗終身的精神動(dòng)力。本專題試圖盡量簡(jiǎn)單地對(duì)廣義相對(duì)論引力理論做一個(gè)介紹。論文特別關(guān)注于廣義相對(duì)論理論與狹義相對(duì)論理論之間的關(guān)系。大多數(shù)廣義相對(duì)論理論講義中一般都會(huì)對(duì)等效原理說(shuō)明得很清楚，但是相對(duì)性原理，光速不變?cè)淼闹v解略有欠缺。因此，在等效原理的基礎(chǔ)上，本文重點(diǎn)說(shuō)明了引力幾何化思想，廣義相對(duì)性原理的內(nèi)容，廣義光速不變?cè)淼睦斫猓鴺?biāo)系和固有時(shí)、固有距離的關(guān)系等內(nèi)容。在此之后，論文回顧了構(gòu)建愛(ài)因斯坦場(chǎng)方程邏輯過(guò)程，施瓦茲解及其檢驗(yàn)，弗雷德曼方程及其簡(jiǎn)單應(yīng)用等。

引力波波速與光速之間的關(guān)系是一個(gè)復(fù)雜的問(wèn)題：引力波速與真空光速相等的原因在于廣義光速不變?cè)?；速度差別關(guān)鍵原因在于介質(zhì)的效應(yīng)。論文在第4節(jié)中研究了介質(zhì)在場(chǎng)的傳播中起著重要的作用。我們由電磁學(xué)真空和介質(zhì)理論的關(guān)系總結(jié)出來(lái)處理介質(zhì)背景問(wèn)題的相關(guān)方法，即將真空中波速替換為介質(zhì)中波速，在假定真空理論和介質(zhì)理論形式完全一樣的前提下，建立相關(guān)的介質(zhì)理論。我們借此修改了愛(ài)因斯坦場(chǎng)方程，得到了引力波波動(dòng)方程，討論引力波波速不為真空中光速的情況?；谛薷牡膼?ài)因斯坦場(chǎng)方程，給出了一些宇宙學(xué)推論。理論對(duì)標(biāo)準(zhǔn)宇宙學(xué)模型有微小的修正。

論文的最直接目的就是探究一下引力波速和真空光速不相等的理論到底是什么樣的，滿足作者以及感興趣讀者的好奇心。理論對(duì)經(jīng)典引力的修正效應(yīng)也許對(duì)引力相關(guān)理論和實(shí)驗(yàn)有一定的指導(dǎo)作用。

附錄： 黎曼幾何簡(jiǎn)介

首先約定一些關(guān)于張量符號(hào)的規(guī)則。在本文中，我們使用的是張量的分量語(yǔ)言，有些教科書中會(huì)使用微分幾何中的語(yǔ)言，在此作簡(jiǎn)要的區(qū)分以避免混淆。所謂分量語(yǔ)言，是指僅僅關(guān)注與張量的分量，而不考慮張量的基。比如對(duì)于粒子的四動(dòng)量pμ，是一個(gè)一階張量，它在分量語(yǔ)言下形式為

pμ=(E,px,py,pz)

(5.208)

(5.209)

切矢量?μ稱為四動(dòng)量的基。注意這與量子力學(xué)中的動(dòng)量算符無(wú)關(guān)，它表示某個(gè)坐標(biāo)系下矢量的方向。黑體的四動(dòng)量p即表明其中既有分量，又指明各分量的方向。微分幾何的語(yǔ)言更加嚴(yán)謹(jǐn)，但在僅僅關(guān)注于廣義相對(duì)論的讀者來(lái)說(shuō)，尤其是對(duì)于初學(xué)者來(lái)說(shuō)，暫時(shí)還需要使用微分幾何。因此本文使用張量的分量語(yǔ)言。但是在熟練掌握分量語(yǔ)言之后，作者建議嘗試使用微分幾何的語(yǔ)言，這樣做不管對(duì)于廣義相對(duì)論還是黎曼幾何的理解都會(huì)更進(jìn)一步。

在彎曲時(shí)空的幾何結(jié)構(gòu)中，可以區(qū)分仿射幾何與度規(guī)幾何。仿射幾何關(guān)注于一個(gè)矢量由于平行移動(dòng)而產(chǎn)生的變化，而度規(guī)幾何在給定的度規(guī)下側(cè)重于長(zhǎng)度、角度、面積等幾何量的測(cè)量，這兩種幾何允許我們探索關(guān)于空間彎曲的信息。我們先來(lái)研究仿射幾何。

即便在歐幾里得空間中，矢量經(jīng)過(guò)平行移動(dòng)后它的分量也會(huì)發(fā)生變化。如果沿著某條曲線平行移動(dòng)一個(gè)矢量，在直角坐標(biāo)系中它的分量不會(huì)發(fā)生變化，但是在球坐標(biāo)系下它的分量就會(huì)發(fā)生明顯的變化。在本文中說(shuō)過(guò)，一階張量的普通導(dǎo)數(shù)不能給出張量。究其根源，一階張量的普通導(dǎo)數(shù)的定義是

(5.210)

分母上，兩個(gè)矢量是關(guān)于坐標(biāo)xμ的函數(shù)。因此，這兩個(gè)矢量不能直接相減，必須將其中一個(gè)平行移動(dòng)使得兩個(gè)矢量在同一坐標(biāo)處，矢量的減法才有意義。這是仿射幾何所決定的。將Aμ從xμ處平行移動(dòng)到(x+Δx)μ處，矢量的大小和方向在平行移動(dòng)中保持不變，但是分量會(huì)發(fā)生變化。定義矢量Aμ產(chǎn)生的變化為

(5.211)

(5.212)

這一要求的結(jié)果是

(5.213)

加上平行移動(dòng)的貢獻(xiàn)后，再作導(dǎo)數(shù)的運(yùn)算

(5.214)

利用協(xié)變微分，定義一個(gè)非常重要的概念：沿曲線的微分，它是高等數(shù)學(xué)中方向?qū)?shù)在彎曲時(shí)空的推廣。假如某條曲線C(τ)處于一矢量場(chǎng)Aμ中，其中τ稱為曲線的放射參數(shù)，需要計(jì)算Aμ沿該曲線的變化率，就需要得到

(5.215)

(5.216)

協(xié)變導(dǎo)數(shù)的存在意味著考慮了平行移動(dòng)的貢獻(xiàn)，這和上文所說(shuō)的道理是一樣的。如果有

(5.217)

稱矢量Aμ是沿著曲線C(τ)平移的。

在彎曲時(shí)空中，另外一個(gè)重要的幾何信息是測(cè)地方程。如正文所述，彎曲時(shí)空中的測(cè)地線即是受引力相互作用物體的運(yùn)動(dòng)方程。通?？梢酝ㄟ^(guò)兩種方式來(lái)定義測(cè)地線：一種是最直的曲線，另外一種是長(zhǎng)度取極值的曲線。為了構(gòu)造一條最直的曲線，需要借助平行移動(dòng)不斷向前移動(dòng)它，總使得它與自身平行。為了構(gòu)造一條長(zhǎng)度取極值的曲線，將測(cè)量?jī)牲c(diǎn)之間距離為極值的長(zhǎng)度(或者說(shuō)固有時(shí)取極值)。這兩種分別涉及到仿射幾何與度規(guī)幾何，并且我們將會(huì)看到，由這兩種方式定義的測(cè)地線是重合的。

我們?cè)谀骋粶y(cè)底曲線上取一小線段dxμ。這一線段與自身平行地向前移動(dòng)，將構(gòu)造一條最直的曲線。這一小線段由于平行移動(dòng)產(chǎn)生的變化為

(5.218)

上式等號(hào)左邊成為了一個(gè)二階小量。如果引入一個(gè)參數(shù)s來(lái)表征dxμ的變化率，將上式兩邊除以ds2，將得到測(cè)底方程

(5.219)

參數(shù)s只是一個(gè)數(shù)學(xué)參數(shù)，如果引入度規(guī)，則參數(shù)s將與固有時(shí)等同起來(lái)。

為了得到時(shí)空曲率信息，可以把一個(gè)常矢量aμ從一點(diǎn)沿著兩條不同的路徑平行移動(dòng)到同一點(diǎn)，然后檢驗(yàn)其變化來(lái)得到曲率的信息。這正是曲率的定義。如圖3所示，時(shí)空點(diǎn)P與P′間由兩條路徑PQP′與PRP′相聯(lián)系。我們將一個(gè)位于P點(diǎn)的常矢量aμ分別沿著兩條路徑平行移動(dòng)到P′點(diǎn)，通過(guò)比較兩種方式矢量的變化來(lái)檢測(cè)時(shí)空的曲率。首先，將aμ平行移動(dòng)到Q點(diǎn)，根據(jù)式(5.111)，矢量將變?yōu)?/p>

圖3 平行移動(dòng)刻畫曲率

這一矢量再?gòu)腝點(diǎn)平行移動(dòng)至P′點(diǎn)得到

(5.220)

由于

代入至式(5.220)中，得到

(5.221)

其中，略去了位移的三階小量。這是將位于P點(diǎn)的常矢量沿路徑PQP′平行移動(dòng)至P′點(diǎn)后的結(jié)果。再沿著路徑PRP′將位于P點(diǎn)的常矢量aμ平行移動(dòng)至同一點(diǎn)P′，只需將dx與dy交換，得到

(5.222)

比較(5.221)、(5.222)兩式的結(jié)果，它們的差別是

(5.223)

上式表明，平行移動(dòng)是路徑依賴的，不同的路徑給出不同的結(jié)果。上式括號(hào)中關(guān)于克里斯多夫聯(lián)絡(luò)的組合即是黎曼曲率張量的定義，所有的克里斯多夫聯(lián)絡(luò)都是在P點(diǎn)的。這樣，將一個(gè)常矢量分別沿著兩條路徑平行移動(dòng)至一點(diǎn)后二者的差別由黎曼曲率張量表述，即

(5.224)

其中，

(5.225)

(5.226)

這和利用平行移動(dòng)定義曲率張量是相同的。

綜上，仿射幾何的核心即是平行移動(dòng)。通過(guò)平行移動(dòng)，可以定義協(xié)變導(dǎo)數(shù)、測(cè)地線以及黎曼曲率張量。但是僅靠時(shí)空的仿射幾何不能完成對(duì)幾何量的測(cè)量，必須引入度規(guī)才能完成。我們定義時(shí)空兩點(diǎn)之間的二次間隔ds2由度規(guī)張量gμ ν來(lái)測(cè)量，即

ds2=gμ νdxμdxν

(5.227)

度規(guī)張量在文中有所介紹。

在文中介紹了引力幾何化的辦法，即通過(guò)坐標(biāo)變換將引力消除。但是實(shí)際情況的質(zhì)量分布很復(fù)雜，導(dǎo)致的引力也很復(fù)雜，找到一個(gè)可以將引力消除的坐標(biāo)變換不是一件容易的事。除了坐標(biāo)變換之外，另外一個(gè)可以體現(xiàn)引力的就是通過(guò)度規(guī)張量。如果給定度規(guī)，引力就確定下來(lái)，則這個(gè)時(shí)空的全部性質(zhì)都可以得到，這是接下來(lái)要討論的問(wèn)題。

首先，我們來(lái)建立仿射幾何與度規(guī)幾何之間的聯(lián)系。上文指出，平行移動(dòng)一個(gè)矢量Aμ，則它的長(zhǎng)度AμAνgμ ν保持不變。更一般地，如果沿著某曲線平行移動(dòng)兩個(gè)矢量Aμ和Bμ，則它們的標(biāo)量積AμBνgμ ν保持不變，因此此標(biāo)量積的普通微分為零，即

(AμBνgμ ν),β=0

(5.228)

既然是標(biāo)量，可以將普通微分變化成協(xié)變微分而沒(méi)有影響，所以

(AμBνgμ ν);β=0

(5.229)

因?yàn)檠刂€平行移動(dòng)，根據(jù)沿曲線平行移動(dòng)的變化率式(5.217)，Aμ和Bμ的協(xié)變導(dǎo)數(shù)都為零。于是上式化為

gμ ν;β=0

(5.230)

由式(5.230)進(jìn)一步即可導(dǎo)出克里斯多夫聯(lián)絡(luò)Γ與度規(guī)張量gμ ν的關(guān)系。這已在論文正文中有所說(shuō)明：度規(guī)張量完全確定了克里斯多夫聯(lián)絡(luò)，因此度規(guī)幾何完全確定了仿射幾何。

接下來(lái)考慮度規(guī)幾何中的測(cè)地線。給定度規(guī)gμ ν，根據(jù)P1、P2兩點(diǎn)之間距離取極值的條件來(lái)定義測(cè)地線方程，即

(5.231)

可以取

(5.232)

(5.233)

利用四維速度平方等于1的條件

(5.234)

可得

(5.235)

因?yàn)?/p>

將式(5.235)化簡(jiǎn)，經(jīng)整理得到

(5.236)

將上式兩邊乘以gσ μ，得到

(5.237)

由于dxαdxβ關(guān)于指標(biāo)α、β的對(duì)稱性，有

2gμ β,αdxαdxβ=(gμ β,α+gμ α,β)dxαdxβ

(5.238)

這一式與由平行移動(dòng)得到的最直的測(cè)地線形式相同，只需要把在平行移動(dòng)中引入的參數(shù)s賦予固有時(shí)的物理含義即可。由此可以得出結(jié)論，在彎曲時(shí)空中，最直的測(cè)地線恰好是固有時(shí)取極值的測(cè)地線，即二者重合。

引入度規(guī)后，也可以利用度規(guī)進(jìn)行升降指標(biāo)。例如，將黎曼曲率張量的第1個(gè)指標(biāo)用度規(guī)降下來(lái)，得到張量

將黎曼曲率張量的第1、4指標(biāo)縮并，得到里奇張量

對(duì)里奇張量進(jìn)一步縮并，得到里奇標(biāo)量

R=Rμ νgμ ν

這些張量在廣義相對(duì)論中有重要的應(yīng)用。

以上的介紹的幾何內(nèi)容，稱為黎曼幾何。度規(guī)結(jié)構(gòu)對(duì)于黎曼幾何來(lái)說(shuō)至關(guān)重要，只要給定了度規(guī)，就能知道該時(shí)空的全部信息。我們可以通過(guò)度規(guī)張量輕松求出曲線的長(zhǎng)度，曲面的面積以及閉合曲面的體積。而聯(lián)絡(luò)、曲率的計(jì)算則略微復(fù)雜，而計(jì)算它們將會(huì)得到對(duì)應(yīng)的物理結(jié)果。聯(lián)絡(luò)與曲率有著深刻的物理內(nèi)涵，這一點(diǎn)在正文中已有說(shuō)明。