愛因斯坦場方程是由阿爾伯特愛因斯坦於 1915 年在廣義相對論中提出。場方程定義引力為一種幾何效應，而時空的曲率則是取決於物質的能量 動量張量。也就是說，如同牛頓的萬有引力定律中質量作為引力的來源，亦即有質量就可以產生吸引力，但牛頓的萬有引力定律將引力描述成瞬時傳播的力，而愛因斯坦認為並不存在所謂的 引力，他從諧和座標的弱場近似得出弱力場的傳遞速度為光速，而且場方程只要透過近似手段，如弱場、靜態、空間緩變，就能推出牛頓近似。 愛因斯坦重力場方程是用來計算動量與能量所造成的時空曲率，再搭配測地線方程，就可以求出物體在重力場中的運動軌跡。這個想法與電磁學的想法是類似的：當我們知道了空間中的電荷與電流 電磁場的來源 是如何分佈的，藉由馬克士威方程組，我們可以計算出電場與磁場，再藉由勞倫茲力方程，即可求出帶電粒子在電磁場中的軌跡。 僅在一些簡化的假設下，例如：假設時空是球對稱，此方程組才具有精確解。這些精確解常常被用來模擬許多宇宙中的重力現象，像是黑洞、宇宙加速膨脹、重力波。如著名的史瓦西解。 數學形式 愛因斯坦重力場方程式 G_munu R_munu frac 12 g_munu R 8 pi G over c4 T_munu 其中 G_munu 稱為愛因斯坦張量， R_munu 是從黎曼張量縮併而成的裡奇張量，代表曲率項； R 是從裡奇張量縮併而成的純量曲率 或曲率標量； g_munu 是從 31 維時空的度規張量； T_munu 是能量 動量 應力張量， G 是牛頓重力常數， c 是真空中光速。 愛因斯坦場方程是一組含有若干 4 階對稱張量的張量方程。每一個張量都有 10 個獨立的分量。由於 4 個畢安基恆等式，我們可以將 10 個愛因斯坦場方程式減少至 6 個獨立的方程組。這導致了度規張量 g 有 4 個自由度，與座標選取的 4 個自由度是對應的。 雖然愛因斯坦場方程一開始是一個應用在四維時空的理論，但是一些理論學家嘗試將它應用在探索 n 維時空上。真空中的場方程 當方程式右邊的 T 張量等於零 定義了愛因斯坦流形。 儘管愛因斯坦方程的形式看起來很簡單，實際上他們是一組複雜的二階非線性微分方程。只要給定一個質量與能量分佈，亦即能量 動量張量，愛因斯坦場方程就變成一個度規張量 g 的微分方程。 一般我們藉由定義愛因斯坦張量 一個對稱的與度規 g 有關的二階張量 ： G_mu nu R_mu nu tfrac 12 R g_mu nu 來將愛因斯坦場方程寫成一個更加簡單的形式： G_mu nu 8 pi G over c4 T_mu nu。 若使用幾何化單位制或稱自然單位制，則 G c 1，場方程因此簡化為： G_mu nu 8 pi T_mu nu 如果是使用相對論中的幾何化單位制（有理化的幾何化單位制），則場方程為： G_mu nu 2 T_mu nu 等價形式 經愛因斯坦方程組兩邊同乘以 g： R frac D2 R D Lambda 8 pi G over c4 T 其中 D 是時空維度。 兩邊再同除以 frac D2 1： R frac D Lambdatfrac D2 1 8 pi G over c4 frac Ttfrac D21 兩邊再同乘g： R_mu nu frac Lambda g_mu nutfrac D21 8 pi G over c4 left T_mu nu 1 over D2 Tg_mu nuright 一般情況下，D4： R_mu nu Lambda g_mu nu 8 pi G over c4 left T_mu nu tfrac 12 Tg_mu nuright 愛因斯坦場方程式的性質 能量與動量守恆 場方程式的一個重要結果是遵守局域的（local）能量與動量守恆，透過應力 能量張量（代表能量密度、動量密度以及應力）可寫出： nabla_nu Tmu nu Tmu nu_nu0 場方程式左邊（彎曲幾何部份）因為和場方程式右邊（物質狀態部份）僅成比例關係，物質狀態部份所遵守的守恆律因而要求彎曲幾何部份也有相似的數學結果。透過微分比安基恆等式，以描述時空曲率的裡奇張量 Rmu nu （以及張量縮併後的裡奇純量 R equiv Rmu_mu ）之代數關係所設計出來的愛因斯坦張量 Gmu nu equiv Rmu nu 1over 2 gmu nu R 可以滿足這項要求： nabla_nu Gmu nuGmu nu_nu0 場方程式為非線性的 愛因斯坦場方程式的非線性特質使得廣義相對論與其他物理學理論迥異。舉例來說，電磁學的麥克斯韋方程組跟電場、磁場以及電荷、電流的分佈是呈線性關係（亦即兩個解的線性疊加仍然是一個解）。另個例子是量子力學中的薛定諤方程，對於機率波函式也是線性的。 對應原理 透過弱場近似以及慢速近似，可以從愛因斯坦場方程式退化為牛頓重力定律。事實上，場方程式中的比例常數是經過這兩個近似，以跟牛頓重力理論做連結後所得出。 新增宇宙常數項 愛因斯坦為了使宇宙能呈現為靜態宇宙（不動態變化的宇宙，既不膨脹也不收縮），在後來又嘗試加入了一個常數 Lambda 相關的項 Lambda g_munu 於場方程式中，使得場方程式形式變為： R_munu frac 12 Rg_munu Lambda g_munu kappa T_munu 可以注意到 Lambda g_munu 這一項正比於度規張量，而維持住守恆律： nabla_nu Lambda g_mu nu Lambda nabla_nu g_mu nu 0 此一常數 Lambda 被稱為宇宙常數。 這個嘗試後來因為兩個原因而顯得不正確且多此一舉： 此一理論所描述的靜態宇宙是不穩定的。 十年後，由愛德溫哈伯對於遠處星系所作觀測的結果證實我們的宇宙正在膨脹，而非靜態。 因此，Lambda 項在之後被捨棄掉，且愛因斯坦稱之為「一生中最大的錯誤」biggest blunder he ever made。之後許多年，學界普遍設宇宙常數為 0。 儘管最初愛因斯坦引入宇宙常數項的動機有誤，將這樣的項放入場方程式中並不會導致任何的不一致性。事實上，近年來天文學研究技術上的進步發現，要是存在不為零的 Lambda 確實可以解釋一些觀測結果。 愛因斯坦當初將宇宙常數視為一個獨立引數，不過宇宙常數項可以透過代數運算移動到場方程式的另一邊，而將這一項寫成應力 能量張量的一部分： R_munu frac 12 g_munu R 8 pi G over c4 left T_munu frac c4Lambda g_munu8 pi G right 剛才提到的項即可定義為： T_mu numathrm vac equiv frac c4Lambda g_munu8 pi G 而另外又可以定義常數 rho_mathrm vac equiv frac c2Lambda8 pi G 為「真空能量」密度。宇宙常數的存在等同於非零真空能量的存在；這些名詞前在廣義相對論中常交替使用。也就是說可以將 T_mu numathrm vac equiv frac c4Lambda g_munu8 pi G 看成和 T_munu 是一樣型別的量，只是 T_munu 的來源是物質與輻射，而 frac c4Lambda g_munu8 pi G 的來源則是真空能量。物質、輻射與真空能量三者在物理宇宙學中扮演要角。 真空場方程式 宇宙常數為零 若能量 動量張量 T_mu nu 在所關注的區域中為零，則場方程式被稱作真空場方程式。在完整的場方程式中設定 T_mu nu0，則真空場方程式可寫為： R_mu nu 1 over 2 g_mu nu R 對此式做張量縮併，亦即使指標 μ 跟 ν 相同： R equiv Rmu_mu gmu nu R_mu nu gmu nu 1 over 2 g_mu nu R 由於 gmu nu g_mu nu deltamu_mu ，整理可得： R deltamu_mu 1 over 2 R 而克羅內克爾 δ 在四維空間（時空）下取跡數為 4，所以式子可寫作： R 4 cdot 1 over 2 R 2R 是故 R0。 因此可以得到此一更常見、等價的跡數反轉（tracereversed）式： R_mu nu 0 宇宙常數不為零 若宇宙常數不為零，則方程式為 R_mu nu 1 over 2 g_mu nu R Lambda g_mu nu 若同上面宇宙常數為零的例子，其跡數反轉（tracereversed）形式為 R_mu nu Lambda g_mu nu 真空場方程式的解顧名思義稱作真空解。平直閔可夫斯基時空是最簡單的真空解範例。不尋常的真空解範例包括了史瓦西解與克爾解。 附帶一提的是：微分幾何中，裡奇張量為零（即： R_mu nu0 ）的流形稱作裡奇平坦流形，另外裡奇張量與度規成比例關係的流形，稱為愛因斯坦流形（Einstein manifold）。 愛因斯坦 麥克斯韋方程 如果方程組右邊的能量 動量張量等於電磁學中的能量 動量張量，也就是 Talpha beta frac 1mu_0 left Falphapsi F_psibeta 1 over 4 galpha beta F_psitau Fpsitauright 則此方程組稱為「 愛因斯坦 麥克斯韋方程」： Ralpha beta 1 over 2 R galpha beta Lambda galpha beta frac 8 pi Gc4 mu_0 left Falphapsi F_psibeta 1 over 4 galpha beta F_psitau Fpsitauright 其中 F_alphabeta 稱為電磁張量，定義如下： F_alphabeta A_alphabeta A_betaalpha A_alphabeta A_betaalpha 其中 A_alpha 是 4 向量勢，分號代表協變微分，逗號代表偏微分。 參見 愛因斯坦 希爾伯特作用量 廣義相對論 參考文獻 Category 物理定律 Category 廣義相對論 Category 偏微分方程 分類：物理方程式