Revision 5195442 of "Persamaan medan Einstein" on mswiki

{{Proses/BukanTeamBiasa}}{{General relativity|cTopic=Equations}}
'''Persamaan medan Einstein''' (bahasa Inggeris: ''Einstein field equations'' ('''EFE''') atau ''Einstein's equations'') ialah suatu set sepuluh persamaan dalam teori [[Albert Einstein|Einstein]] mengenai [[kerelatifan am]] yang menjelaskan [[interaksi asas]] [[graviti]] sebagai akibat [[ruangmasa|ruang waktu]] menjadi [[lengkungan|melengkung]] oleh [[jirim]] dan [[tenaga]].<ref name = ein>{{cite journal |last = Einstein |first = Albert |authorlink =  |title = The Foundation of the General Theory of Relativity |journal = [[Annalen der Physik]] |date = 1916 |url = http://www.alberteinstein.info/gallery/gtext3.html |format = [[PDF]] |access-date = 2009-11-02 |archive-date = 2012-02-06 |archive-url = https://web.archive.org/web/20120206225139/http://www.alberteinstein.info/gallery/gtext3.html |url-status = dead }}</ref> Pertama kali diterbitkan Einstein pada 1915<ref name=Ein1915>{{cite journal |last= Einstein |first= Albert |authorlink= Albert Einstein |date= [[25 November]] [[1915]] |title= Die Feldgleichungun der Gravitation |journal= Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin |pages= 844–847 |url=http://nausikaa2.mpiwg-berlin.mpg.de/cgi-bin/toc/toc.x.cgi?dir=6E3MAXK4&step=thumb |accessdate=2006-09-12}}</ref> sebagai [[persamaan tensor]], EFE menyamakan [[lengkungan]] ruangmasa (diungkapkan oleh [[tensor Einstein]]) dengan tenaga dan [[momentum]] di dalam ruangmasa itu (diungkapkan oleh [[tensor tekanan-tenaga]]).

Mirip dengan cara [[medan elektromagnet]] ditentukan dengan menggunakan [[cas (fizik)|cas]] dan [[arus elektrik|arus]] melalui [[persamaan Maxwell]], EFE digunakan untuk menentukan geometri [[ruangmasa]] yang terhasil daripada kehadiran jisim-tenaga dan momentum linear, iaitu, mereka menentukan [[tensor metrik (kerelatifan am)|tensor metrik]] ruangmasa untuk suatu susunan tertentu tekanan-tenaga dalam ruangmasa. Hubungan di antara tensor metrik dan tensor Einstein membenarkan EFE untuk ditulis sebagai suatu set [[persamaan pembezaan separa]] tak linear apabila digunakan dalam cara ini. Penyelesaian EFE ialah komponen tensor metrik. Trajektori [[inersia]] zarah dan pancaran ([[geodesik (kerelatifan am)|geodesik]]) pada geometri terhasil kemudiannya dikira menggunakan [[persamaan geodesik]].

Selain mematuhi keabadian tenaga-momentum tempatan, EFE menurun kepada [[hukum kegravitian semesta Newton|hukum kegravitian Newton]] di mana medan graviti adalah lemah.

Teknik-teknik penyelesain untuk EFE termasuk meringkaskan anggapan seperti [[simetri ruangmasa|simetri]]. Kelas istimewa [[penyelesaian tepat dalam kerelatifan am|penyelesaian tepat]] paling sering dikaji kerana mereka memodelkan banyak fenomena graviti, seperti [[lohong hitam berputar]] dan [[pengembangan ruang metrik|pengembangan alam semesta]]. Peringkasan lanjut dicapai dengan menganggap ruangmasa sebenar sebagai [[Ruang Minkowski|ruangmasa leper]] dengan sisihan kecil, membawa kepada [[graviti terlinear#Persamaan medan Einstein terlinear|EFE terlinear]]. Persamaan ini digunakan untuk mengkaji fenomena seperti [[gelombang graviti]].

== Bentuk matematik ==
Persamaan medan Einstein (EFE) dapat dituliskan dalam bentuk:<ref name = ein>{{cite journal| last = Einstein| first = Albert| authorlink = | title = The Foundation of the General Theory of Relativity| journal = [[Annalen der Physik]]| volume =  | issue = | pages = | date = 1916| publisher = | url = http://www.alberteinstein.info/gallery/gtext3.html| format = [[PDF]] | id = | accessdate = }}</ref>
:<math>R_{\mu \nu} - {1 \over 2}g_{\mu \nu}\,R + g_{\mu \nu} \Lambda = {8 \pi G \over c^4} T_{\mu \nu}</math>

di mana <math>R_{\mu \nu}\,</math> adalah [[tensor lengkungan Ricci]], <math>R\,</math> the [[lengkungan skalar]], <math>g_{\mu \nu}\,</math> [[tensor metrik (kerelatifan am)|tensor metrik]], <math>\Lambda\,</math> is the [[cosmological constant]], <math>G\,</math> adalah [[graviti tetap]], <math>c\,</math> [[had laju cahaya]], and <math>T_{\mu \nu}\,</math> [[tensor tekanan tenaga]].

EFE adalah sebuah persamaan [[tensor]] berkaitan dengan set [[tensor simetric|tensor 4 x 4 bersimetri]]. Ia dituliskan sini menggunakan [[catatan indeks abstrak]]. Tiap tensor mempunyai 10 komponen bebas. Memberikan pilihan empat koordinat ruang waktu, persamaan bebas dikurangkan ke 6 dalam bilangan. 

Walaupun persamaan Einstain telah secara bermula dirumuskan ke dalam konteks teori empat dimensi, sesetengah ahli teori telah menjelajahi akibat mereka dalam dimensi ''n''. Persamaan dalam konteks di luar kerelatifan am masih dirujukkan persamaan medan Einstein. Persamaan medan penyebut mentakrifkan [[berlipat ganda Einstein]].

Sungguhpun kemunculan ringkas persamaan adalah, ternyata, agak rumit. Memberikan suatu pengedaran khusus jirim dan tenaga dalam bentuk tensor tenaga tekanan, EFE difahami dijadikan persamaan untuk tensor metrik <math>g_{\mu \nu}</math>, dengan tensor Ricci dan lengkungan berskala tergantung pada metrik pada suatu cara bukan garisan lurus yang rumit. Ternayata, apabila ditulis penuh, EFE adalah sebuah sistem 10 dipasangankan, bukan garisan lurus, [[persamaan kebezaan separuh]] hiperbolik-eliptik.

Seorang dapat menulis EFE dalam bentuk lebih padat dengan mentakrifkan [[tensor Einstein]]
:<math>G_{\mu \nu} = R_{\mu \nu} - {1 \over 2}R g_{\mu \nu},</math>

yang adalah tensor yang kedudukan kedua bersimetri yang fungsinya metrik. EFE dapat dituliskan sebagai
:<math>G_{\mu \nu} = {8 \pi G \over c^4} T_{\mu \nu},</math>

di mana istilah berkosmologi telah diserapkan ke dalam tensor tenaga tekanan sebagai [[tenaga gelap]].

Menggunakan [[unit bergeometri]] di mana ''G'' = ''c'' = 1, ini dapat dituliskan semula sebagai
:<math>G_{\mu \nu} = 8 \pi T_{\mu \nu}\,.</math>

Penjelasan pada kiri mewakili lengkunagan ruang waktu seperti ditentukan oleh metrik dan penjelasan kanan mewakili kandungan jirim/tenaga waktu angkasa. EFE dapat kemudian menterjemahkan sebagai suatu set persamaan menetapkan bagaimana kelengkungan ruangmasa berkaitan dengan kangunan perkara/tenaga alam.

Persamaan ini, bersama dengan [[geodesik (kerelatifan am)|persamaan geodesik]], membentukkan teras [[matematik kerelatifan am|rumusan matematik]] [[kerelatifan am]].

=== Resam tanda ===
Bentuk di atas EFE adalah piawai didirikan oleh [[Graviti (buku)|Misner, Thorne, dan Wheeler]]. Para pengarang tersebut menganalisiskan semua resam yang wujud dan mengklasifikasikan menurut tiga tanda berikut (S1, S2, S3):
:<math>g_{\mu \nu}~~=[S1] \times \operatorname{diag}(-1,+1,+1,+1) </math>
:<math>R^\mu_{a \beta \gamma}=[S2] \times (\Gamma^\mu_{a \gamma,\beta}-\Gamma^\mu_{a \beta,\gamma}+\Gamma^\mu_{\sigma \beta}\Gamma^\sigma_{\gamma a}-\Gamma^\mu_{\sigma \gamma}\Gamma^\sigma_{\beta a}) </math>
:<math>G_{\mu \nu}~~=[S3] \times {8 \pi G \over c^4} T_{\mu \nu} </math>

Tanda ketiga di atas berkaitan dengan pilihan resam untuk tensor Ricci:
:<math>R_{\mu \nu}=[S2]\times [S3] \times R^a_{\mu a \nu} </math>

Dengan takrifan ini [[Graviti (buku)|Misner, Thorne, dan Wheeler]] mengklasifikasikan diri mereka sebagai <math>(+++)\,</math>, sedangkan Weinberg (1972) ialah <math>(+--)\,</math>, Peebles (1980) dan Efstathiou (1990) ialah <math>(-++)\,</math> sementara Peacock (1994), Rindler (1977), Atwater (1974), Collins Martin & Squires (1989) ialah <math>(-+-)\,</math>. 

Para pengarang termasuk Einstein telah menggunakan tanda berlainan dalam takrifan mereka untuk tensor Ricci yang mengakibatkan tanda tetap pada belah kanan dijadikan negatif
:<math>R_{\mu \nu} - {1 \over 2}g_{\mu \nu}\,R - g_{\mu \nu} \Lambda = -{8 \pi G \over c^4} T_{\mu \nu}.</math>

Tanda pada istilah kosmologi (yang sangat kecil) akan mengubah dalam kedua-dua versi ini, jika [[resam tanda]] metrik +--- digunakan daripada resam tanda metrik MTW −+++ digunakan di sini.

=== Rumusan sama ===
Persamaan medan Einstein dapat dituliskan semula dalam bentuk "berbalik-kesan" yang berikut
:<math>R_{\mu \nu} - g_{\mu \nu} \Lambda = {8 \pi G \over c^4} (T_{\mu \nu} - {1 \over 2}T\,g_{\mu \nu})</math>

yang dapat menjadi lebih mudah dalam sesetengah perkara (contohnya, apabila seorang minat had medan lemah dan dapat menggantikan <math>g_{\mu\nu}</math> dalam penjelasan di kanan dengan tensor Minkowski tanpa kehilangan besar pada ketepatan).

== Tetap kosmologi ==
Einstein mengubahsuaikan persamaan medan untuk memasukkan sebuah istilah kosmologi seimbang dengan [[Metrik (matematik)|metrik]]
:<math>R_{\mu \nu} - {1 \over 2}g_{\mu \nu}\,R + g_{\mu \nu} \Lambda = {8 \pi G \over c^4} T_{\mu \nu} \,.</math>

Penetapan <math>\Lambda</math> adalah [[penetapan berkosmologi]].  Sejak <math>\Lambda</math> adala tetap, hukum pemuliharaan tenaga tidak dikesankan. 

Istilah penetapan kosmologi diperkenalkan oleh Einstein untuk membenarkan untuk suatu alam statik (iaitu, satu tidak memanjangkan atau mengecutkan). Usaha ini tidak berjaya dengan dua alasan: alam statik dijelaskan oleh teori ini tidak seimbang, dan pengawalan galaksi jauh oleh [[Edwin Hubble|Hubble]] sedekad kemudian mengesahkan bahawa alam kita adalah, ternyata, tidak statik tetapi [[alam memanjang|memanjang]]. Oleh itu <math>\Lambda</math> telah digendalakan, dengan Einstein memanggilnya "kesilapan terbesar [dia] telah dilakukan".<ref name = gamow>{{cite book| last = Gamow| first = George| authorlink = George Gamow| title = My World Line : An Informal Autobiography| publisher = [[Viking Adult]]| date = April 28, 1970| id = ISBN 0-670-50376-2| url = http://www.jb.man.ac.uk/~jpl/cosmo/blunder.html| accessdate = 2007-03-14 }}</ref> Untuk beberapa tahun penetapan berkosmologi adalah secara sejagat dianggapkan 0.  

Sunggunpun dorongan tidak berpandu [[Einstein]] memperkenalkan istilah penetapan berkosmologi, tidak ada apa yang tidak tekal dengan kehadiran sebarang istilah dalam persamaan. Sudha tentu, teknik-teknik [[astronomi]] telah mendapati bahwa sebuah nilai positif <math>\Lambda</math> perlu menjelaskan sesetengah pengawasan.<ref name=wahl>{{cite news|last=Wahl| first=Nicolle| date=2005-11-22| title=Was Einstein's 'biggest blunder' a stellar success?| url=http://www.news.utoronto.ca/bin6/051122-1839.asp | accessdate=2007-03-14}}</ref><ref name=turner>{{cite journal|last=Turner | first=Michael S.| date=May, 2001| title=A Spacetime Odyssey| journal=Int.J.Mod.Phys. A17S1| pages=180–196 | accessdate=2007-03-14|unused_data=|http://arxiv.org/abs/astro-ph/0202008}}</ref>

Einstein memikirkan penetapan berkosmologi sebuah parameter tersendiri, tetapi istilahnya dalam persamaan medan dapat juga dipindahkan secara algebra ke bahagian lain, dituliskan sebahagian dari tensor tenaga tekanan:
:<math>T_{\mu \nu}^{\mathrm{(vac)}} = - \frac{\Lambda c^4}{8 \pi G} g_{\mu \nu} \,.</math>

[[Tenaga vakum]] adalah tetap dan diberikan oleh
:<math>\rho_{\mathrm{vac}} = \frac{\Lambda c^2}{8 \pi G}</math>

Kemunculan sebuah penetapan berkosmologi oleh itu sama dengan kemunculan sebuah tenaga vakum bukan kosong. Istilah-istilah kini digunakan secara bertukaran dalam kerelatifan am.

== Ciri-ciri ==
=== Pemuliharaan tenaga dan momentum ===
Kerelatifan am adalah tekal dengan pemuliharaan tempatan tenaga dan momentum dijelaskan sebagai

:<math>\nabla_b T^{ab}  \,  = T^{ab}{}_{;b}  \, = 0</math>. 

<div style="clear:both;width:65%;" class="NavFrame">
<div class="NavHead" style="background-color:#FFFAF0; text-align:left; font-size:larger;">Derivation of local energy-momentum conservation</div>
<div class="NavContent" style="text-align:left;">

Menghadkan [[Tensor pelengkungan Riemann#Simetri dan pengenalan|pengenalan Bianchi pembezaan]]

:<math>R_{ab[cd;e]}   =  \,  0</math>

dengan <math>g^{ac}</math> memberikan, menggunakan fakta bahawa tensor metrik ialah konstan secara kovarian, iaitu <math>g^{ab}{}_{;c}=0</math>, 

:<math>R^c{}_{bcd;e} +  \,  R^c{}_{bec;d} +  \,  R^c{}_{bde;c} =  \,  0</math>

Antisimetri tensor Riemann membenarkan terma kedua dalam penjelasan di atas dituliskan semula:

:<math>R^c{}_{bcd;e}  \, -  R^c{}_{bce;d}  \,  +  R^c{}_{bde;c}  \, = 0</math>

yang bersamaan dengan

:<math>R_{bd;e}  \, - R_{be;d}  \, + R^c{}_{bde;c} \,  = 0</math>

menggunakan takrifan [[tensor Ricci]].

Kemudian, singkatkan lagi dengan metrik 

:<math>g^{bd}(R_{bd;e}  \, -  R_{be;d}  \, +  R^c{}_{bde;c})  \, = 0</math>

to get

:<math>R^d{}_{d;e}  \, -  R^d{}_{e;d}  \, +  R^{cd}{}_{de;c}  \, = 0</math>

Takrifan tensor Riemann dan skalar Ricci kemudian menunjukkan bahawa

:<math>R_{,e}  \, -  2R^c{}_{e;c} \,  = 0</math>

yang dapat dituliskann semula sebagai

:<math>(R^c{}_{e}  \,  -  \frac{1}{2}g^c{}_{e}R)_{;c}  \,  = 0</math>

Penyingkatan terakhir dengan <math>g^{ed}</math> memberikan

:<math>(R^{cd}  \,  - \frac{1}{2}g^{cd}R)_{;c}  \,  = 0</math>

yang dengan simetri istilah ditandakurung dan takrifan [[tensor Einstein]], memberikan, selepas menandakan semula kandungan-kandungan,

:<math> G^{ab}{}_{;b}  \, = 0 </math>

Menggunakan EFE, ini secara langsung memberikan,

:<math>\nabla_b T^{ab}  \,  = T^{ab}{}_{;b}  \, = 0</math>

</div>
</div>

yang menjelaskan pemuliharaan tempatan tenaga tekanan. Hukum pemuliharaan ini adalah keperluan fizikal. Dengan persamaan medannya [[Einstein]] memastikan kerelatifan umum tekal dengan keadaan pemuliharaan ini.

=== Bukan garisan lurus ===
Ketidakgarislurusan EFE membezakan kerelatidan am dari teori-teori fizikal dasar lain. Contohnya, [[persamaan Maxwell]] pada [[elektromagnetisme]] adalah garis lurus dalam [[jurusan elektrik]] and [[jurusan magnetik|magnetik]], dan pengedaran charge dan current (iaitu jumlah dua jawapan adalah juga suatu jawapan); satu lagi contoh adalah [[persamaan Schrödinger]] pada [[mekanik kuantum]] yang adalah garis lurus dalam [[fungsi gelombang]].

=== Prinsip koresponden ===
Persamaan medan Einstein mengurang ke [[hukum graviti Newton]] dengan menggunakan [[anggaran jurusan lemah]] dan [[anggaran mosi perlahan]]. Ternyata, konstan bermuncul dalam persamaan medan Einstein ditentukan dengan membuatkan kedua-dua anggaran ini.

<div style="clear:both;width:65%;" class="NavFrame">
<div class="NavHead" style="background-color:#FFFAF0; text-align:left; font-size:larger;">Penerbitan hukum graviti Newton</div>
<div class="NavContent" style="text-align:left;">

Kegravitian Newton dapat dituliskan sebagai teori jurusan skalar, <math>\Phi \!</math>, yang mana adalah potensi kegravitian dalam Joules tiap kilogram
:<math>\nabla^2 \Phi [\vec{x},t] = 4 \pi G \rho [\vec{x},t]</math>

di mana <math>\rho \!</math> adalah kepadatan massa. Orbit suatu habuk [[jatuh bebas]] memuaskan
:<math>\ddot{\vec{x}}[t] = - \nabla \Phi [\vec{x} [t],t] \,.</math>

Dalam catatan tensor, ini menjadi
:<math>\Phi_{,i i} = 4 \pi G \rho \,</math>
:<math>\frac{d^2 x^i}{{d t}^2} = - \Phi_{,i} \,.</math>

Dalam kerelatifan am, persamaan ini digantikan oleh persamaan jurusan Einstein dalam bentuk membalik kesan
:<math>R_{\mu \nu} = K (T_{\mu \nu} - {1 \over 2} T g_{\mu \nu})</math>

untuk sesetengah konstan, ''K'', dan [[persamaan geodesik]]
:<math>\frac{d^2 x^\alpha}{{d \tau}^2} = - \Gamma^\alpha_{\beta \gamma} \frac{d x^\beta}{d \tau} \frac{d x^\gamma}{d \tau} \,.</math>

Untuk melihat bagaimana yang kemudiannya mengurang ke yang bekasnya, kita anggap bahawa halaju ujian habuk adalah lebih kurang kosong
:<math>\frac{d x^\beta}{d \tau} \approx (\frac{d t}{d \tau}, 0, 0, 0) </math>

dan oleh itu
:<math>\frac{d}{d t} \left( \frac{d t}{d \tau} \right) \approx 0 </math>

dan bahawa metrik dan terbitannya adalah lebih kurang statik dan bahawa punca-punca kuasa dua penyelewengan dari [[metrik Minkowski]] adalah sedikit sekali. Menggunakan anggapan pemudahan ini pada komponen spatial persamaan geodesik memberikans
:<math>\frac{d^2 x^i}{{d t}^2} \approx - \Gamma^i_{0 0} </math>

di mana dua faktor <math>\frac{d t}{d \tau}</math> telah dibahagikan. Ini akan mengurang ke rakan Newtonnya, diberikanh
:<math>\Phi_{,i} \approx \Gamma^i_{0 0} = {1 \over 2} g^{i \alpha} (g_{\alpha 0 , 0} + g_{0 \alpha , 0} - g_{0 0 , \alpha}) \,.</math>

Kuasa anggapan kita α=i dan waktu (0) menerbitkan jadi kosong. Jadi ini memudahkan ke
:<math>2 \Phi_{,i} \approx g^{i j} (- g_{0 0 , j}) \approx - g_{0 0 , i} \,</math>

yang dipuaskan dengan membiarkan
:<math>g_{0 0} \approx - c^2 - 2 \Phi \,.</math>

Berpusing ke persamaan Einstein, kita hanya memerlukan komponen waktu-waktu
:<math>R_{0 0} = K (T_{0 0} - {1 \over 2} T g_{0 0})</math>

kelajuan rendah dan anggapan jurusan statik bermakna bahawa 
:<math>T_{\mu \nu} \approx \mathrm{diag} (T_{0 0}, 0, 0, 0) \approx \mathrm{diag} (\rho c^4, 0, 0, 0) \,.</math>

Jadi 
:<math>T = g^{\alpha \beta} T_{\alpha \beta} \approx g^{0 0} T_{0 0} \approx {-1 \over c^2} \rho c^4 = - \rho c^2 \,</math>

dan oleh itu
:<math>K (T_{0 0} - {1 \over 2} T g_{0 0}) \approx K (\rho c^4 - {1 \over 2} (- \rho c^2) (- c^2)) =  {1 \over 2} K \rho c^4 \,.</math>

Dari takrifan tensor Ricci 
:<math>
R_{0 0} = \Gamma^\rho_{0 0 , \rho} - \Gamma^\rho_{\rho 0 , 0}
+ \Gamma^\rho_{\rho \lambda} \Gamma^\lambda_{0 0}
- \Gamma^\rho_{0 \lambda} \Gamma^\lambda_{\rho 0}
.</math>

Anggapan memudahkan kita membuatkan punca-punca kuasa dua Γ hilang sama sekali dengan terbitan waktu
:<math>R_{0 0} \approx \Gamma^i_{0 0 , i} \,.</math>

Menggubahkan persamaan di atas semua sekali
:<math>\Phi_{,i i} \approx \Gamma^i_{0 0 , i} \approx R_{0 0} = K (T_{0 0} - {1 \over 2} T g_{0 0}) \approx {1 \over 2} K \rho c^4 \,</math>

yang mengurangkan persamaan jurusan Newton memberikan 
:<math>{1 \over 2} K \rho c^4 = 4 \pi G \rho \,</math>

yang mana akan bermuncul jika
:<math>K = \frac{8 \pi G}{c^4} \,.</math>

</div>
</div>

== Persamaan jurusan vakum ==
[[Fail:Swiss-Commemorative-Coin-1979b-CHF-5-obverse.png|right | thumb| Sebuah duit syiling berkenangan menunjukkan persamaan jurusan vakum dengan konstan kosmologi kosong (di atas). ]]
Jika tensor momentum tenaga <math>T_{\mu \nu}</math> adalah kosong dalam lingkungan di bawah anggapan, oleh itu persamaan jurusan juga dirujukkan [[Persamaan jurusan#persamaan jurusan vakum|persamaan jurusan vakum]]. Dengan memuatkan <math>T_{\mu \nu} = 0</math> dalam persamaan jurusan penuh, persamaan vakum dapat dituliskan semula sebagai
:<math>R_{\mu \nu} = {1 \over 2} R \, g_{\mu \nu} \,.</math>

Mengambil kesan ini (menyingkatkan dengan <math>g^{\mu \nu}</math>) dan menggunakan nyata bahawa <math>g^{\mu \nu} g_{\mu \nu} = 4</math>, kita mendapatkan
:<math>R = {1 \over 2} R \, 4 = 2 R \,</math>

dan oleh itu
:<math>R = 0 \,.</math>

Menggantikan semula, kita mendapatkan bentuk sama jurusan vakum
:<math>R_{\mu \nu} = 0 \,.</math>

Dalam konstan kosmologi bukan kosong, persamaan adalah
:<math>R_{\mu \nu} = {1 \over 2}R g_{\mu \nu}  - \Lambda g_{\mu \nu} </math>

yang memberikan 
:<math>R = 4 \Lambda \,</math>

menghasilkan bentuk sama
:<math>R_{\mu \nu} = \Lambda g_{\mu \nu} \,.</math>

Jawapan pada persamaan jurusan vakum digelar [[jawapan vakum (kerelatifan am)|jawapan vakum]]. [[Ruang Minkowski]] leper adalah contoh termudah pada jawapan vakum. Contoh-contoh bukan perkara yang remeh-temeh termasuk [[jawapan Schwarzschild]] dan [[jawapan Kerr]].

[[Lipatan ganda]] dengan suatu [[tensor Ricci]] yang menghilang diri, <math> R_{\mu \nu}=0 </math>, dirujukkan [[lipatan ganda leper Ricci]] dan berlipat ganda dengan tensor Ricci seimbang dengan metrik sebagai [[lipatan ganda Einstein]].

== Persamaan Einstein-Maxwell ==
{{seealso|Persamaan Maxwell dalam waktu angkasa berlengkung}}
Jika tensor momentum tenaga <math>T_{\mu \nu}</math> adalah yang pada sebuah [[jurusan elektromagnetik]] dalam [[ruang bebas]], iaitu jika  [[tensor tenaga tekanan elektromagnetik]]

:<math>T^{\alpha \beta} = \, -\frac{1}{\mu_0} ( F^{\alpha}{}^{\psi} F_{\psi}{}^{\beta} + {1 \over 4} g^{\alpha \beta} F_{\psi\tau} F^{\psi\tau})  </math> 

digunakan, oleh itu persamaan jurusan Einstein digelarkan ''persamaan Einstein-Maxwell'' (dengan [[konstan kosmologi]] Λ, dibawa ke kosong dalam teori kerelatifan lazim):

:<math>R^{\alpha \beta} - {1 \over 2}R g^{\alpha \beta} + g^{\alpha \beta} \Lambda = \frac{8 \pi G}{c^4 \mu_0} ( F^{\alpha}{}^{\psi} F_{\psi}{}^{\beta} + {1 \over 4} g^{\alpha \beta} F_{\psi\tau} F^{\psi\tau}).</math>

Tambahan, [[Tensor elektromagnetik#Tensor jurusan dan kerelatifan|Persamaan Maxwell kelainan sama]] juga digunakan dalam angkasa bebas:

:<math>F^{\alpha\beta}{}_{;\beta} \, = 0</math>

:<math>F_{[\alpha\beta;\gamma]}=\frac{1}{3}\left(F_{\alpha\beta;\gamma} + F_{\beta\gamma;\alpha}+F_{\gamma\alpha;\beta}\right) = 0. \!</math>

di mana koma bertitik mewakili [[terbitan kelainan sama]], dan tanda kurung menandakan [[algebra bahagian luar#Algebra bersilih ganti|anti-kesimetrian]].  Persamaan pertama menegaskan bahawa 4-[[pencapahan]] ''F'' [[dua bentuk]] adalah kosong, dan yang kedua yang [[terbitan bahagian luar]]nya adalah kosong. Dari yang kedua, ia diikuti oleh [[lemma Poincaré]] bahawa carta koordinat ia mungkin dapat memperkenalkan suatu potensi jurusan elektromagnetik ''A''<sub>α</sub> yang seperti mana

:<math>F_{\alpha\beta} = A_{\alpha;\beta} - A_{\beta;\alpha}  = A_{\alpha,\beta} - A_{\beta,\alpha}\!</math>

di mana koma menandakan terbitan seimbang. Ini sering diambil sebagai sama dengan persamaan Maxwell yang kelainan sama dari mana ia berasal.<ref>{{citation|last=Brown|first=Harvey|url=http://books.google.com/books?id=T6IVyWiPQksC&pg=PA164&dq=Maxwell+and+potential+and+%22generally+covariant%22&lr=&as_brr=3&ei=hedeSeyfEJb0ygSnvanPCg| title=Physical Relativity|page=164|publisher=Oxford University Press|year=2005}}</ref>  Meskipun, adanya jawapan global persamaan yang boleh berkurangan secara global ditakrifkan berpotensi.<ref>{{Citation | last1=Trautman | first1=Andrzej | authorlink = Andrzej Trautman|title=Solutions of the Maxwell and Yang-Mills equations associated with hopf fibrings | year=1977 | journal=[[International Journal of Theoretical Physics]] | volume=16 | issue=9|pages=561–565 | doi=10.1007/BF01811088}}.</ref>

== Jawapan ==
{{main|Jawapan persamaan medan Einstein}}

Jawapan persamaan medan Einstein adalah [[tensor metrik (kerelatidan am)|metrik]] [[masa angkasa]].  Jawapan oleh itu sering digelarkan 'metrik'. Metrik-metrik ini menjelaskan struktur ruang waktu termasuk mosi inertial benda dalam masa ruang. Apabila persamaan medan ialah bukan garis lurus, mereka tidak dapat sentiasa diselesaikan secara keseluruhannya (iaitu tanpa membuat anggaran).  Contohnya, tidak diketahui jawapan lengkapnya untuk suatu masa angkasa dengan dua badan tersergam dalamnya (yang adalah sebuah model berteori pada sistem bintang binari, contohnya). Meskipun, anggaran biasanya diperbuat dalam hal-hal ini. Ini secara umum dirujukkan [[anggaran selepas Newton]]. Walaupun demikian, ada banyak hal-hal di mana persamaan medan telah diselesaikan secara keseluruhan, dan itu digelarkan [[jawapan tepat]].<ref>{{cite book | last = Stephani | first = Hans | coauthors = D. Kramer, M. MacCallum, C. Hoenselaers and E. Herlt | title = Exact Solutions of Einstein's Field Equations | publisher = [[Cambridge University Press]] | date = 2003 | isbn = 0-521-46136-7 }}</ref> 

Kajian jawapan tepat persamaan Einstein adalah salah satu dari aktiviti [[kosmologi fizikal|kosmologi]]. Ia membawa ke ramalan [[lohong hitam]] dan model berlainan pada evolusi [[alam]].

== EFE yang bergarisan lurus ==
''Rencana utama: [[Persamaan medan Einstein Digarisluruskan]], [[Graviti digarisluruskan]]''

Ketidakgarislurusan EFE membuatkan pencarian jawapan tepat susah. Satu caranya menyelesaikan persamaan mesan adalah dengan membuatkan anggaran, bermakna, yang jauh dari sumber jirim gravitian, [[medan kegravitian]] adalah sangat lemah dan [[ruang waktu]] menganggarkan yang pada [[ruang Minkowski]]. Metrik kemudian dituliskan sebagai jumlah metrik Minkowski dan sebuah istilah mewakili penyelewengan dari metrik sebenar dari [[metrik Minkowski]]. Tatacara kegarislurusan ini dapat digunakan untuk membincangkan fenomena [[pancaran kegravitian]].

== Lihat juga ==
{{top}}
* [[Tindakan Einstein-Hilbert]]
* [[Jawapan tepat pada persamaan medan Einstein]]
* [[Prinsip persamaan]]
* [[Kerelatifan am]]
{{mid}}
* [[Sumber kerelatifan am]]
* [[Sejarah kerelatifan am]]
* [[Matematik kerelatifan am]]
* [[Jawapan persamaan medan Einstein]]
{{bottom}}

== Rujukan ==
See [[General relativity resources]].

<references/>

* Aczel, Amir D., 1999. ''God's Equation: Einstein, Relativity, and the Expanding Universe''. Delta Science. A popular account. 
* [[Charles Misner]], [[Kip Thorne]], and [[John Wheeler]], 1973. ''[[Gravitation (book)|Gravitation]]''. W H Freeman.

== Pautan luar ==
* [http://www.black-holes.org/relativity6.html Caltech Tutorial on Relativity] {{Webarchive|url=https://web.archive.org/web/20110621005940/http://www.black-holes.org/relativity6.html |date=2011-06-21 }} — A simple introduction to Einstein's Field Equations.
* [http://math.ucr.edu/home/baez/einstein/einstein.html The Meaning of Einstein's Equation] — An explanation of Einstein's field equation, its derivation, and some of its consequences
* [http://www.youtube.com/watch?v=8MWNs7Wfk84&feature=PlayList&p=858478F1EC364A2C&index=2 Video Lecture on Einstein's Field Equations] by [[MIT]] Physics Professor Edmund Bertschinger.

[[Kategori:Kerelatifan am]]
[[Kategori:Persamaan pembezaan separa]]
[[Kategori:Albert Einstein]]