Einstein-Hilbert etkisi

Einstein-Hilbert etkisi (Hilbert etkisi olarak da adlandırılır) genel görelilikte en küçük eylem ilkesi boyunca Einstein alan denklemleri üretir. Hilbert etkisi genel görelilikte yerçekiminin dinamiğini tarifleyen fonksiyonel işlemdir. (- + + +) metrik işaretiyle, etkinin çekimsel kısmı,
burada metrik tensor determinantı, R Ricci sayılabilir büyüklüğü ve burada G Newton çekim sabiti ve c vakum içindeki ışık hızı şeklinde verilir. Eğer integral yakınsanıyorsa, tüm uzay zaman üzerinde alınır. Eğer yakınsamıyorsa S tanımlanamaz ama modife edilmiş tanımda bir integral isteğe bağlı şekilde büyük, bağıl tıkız tanım kümesinde yine Einstein denklemini Einstein Hilber ekisinin Euler- Lagrange denklemi olarak üretir.
Bu etki ilk kez David Hilbert tarafından 1915'te ileri sürülmüştür.
Tartışma
Etkiden ötürü denklemlerin türevi bazı avantajlara sahip. İlk olarak, Maxwell teorisi gibi etki olarak formüle edilmiş klasik alan teorileriyle genel göreliliğin kolayca birleşimine izin verir. Etkiden türevleme süreci madde alanlarına metrik bağlantı kaynağı tanımı için doğal adayı tanımlar. Ayrıca, bu etki kolay tanımlı korunan nicelikler için Noether'in teorisi boyunca etkinin simetrik çalışmasına izin verir.
Genel görelelikte, bu etki genellikle metrik ve maddesel alanların işlevseli olduğu varsayılır, ve bağlantı Levi- Civita bağıntısı ile verilir. Genel göreliliğin Palatini formülasyonu metric ve bağlantının bağımsız olduğunu, ve bağlı olmayan spinle fermionic madde alanlarını kapsamayı mümkün kılan ikisine göre bağımsız değişkenler varsayar.
Maddenin varlığındaki Einstein denklemleri madde etkisini Einstein- Hilbert etkisine eklenmesiyle verilir.
Einstein Denklemlerinin Türevi
Teorinin tüm etkisi Einstein- Hilbert terimi artı terim teoride görülen herhangi madde alanları tanımıyla verilsin.
Etki prensibi bize bu etkinin ters metriğe göre değişkeni sıfır der,
Çünkü bu eşitlik her için geçerli olmalı, şunu der;
metric alan için hareket denklemi. Denklemin sağ tarafı tanımdan stres- enerji tensorüyle orantılı,
Denklemin sol tarafını hesaplamak için metric determinant ve Ricci sayılabilir büyüklüğünün değişkenlerine ihtiyacımız var. Bunlar standart ders kitabı hesaplamalarından elde edilebilir.
Riemann tensoru, Ricci tensoru ve Ricci sıkaler Değişkeni
Ricci skaler değişkenini hesaplamak için önce Riemann eğrilik tensor değişkenini hesaplarız, ve sonra da Ricci tensor değişkenini. Böylece Riemann eğrilik tensoru;
olarak tanımlanır.
Riemann tensor değişkeni
olarak hesaplanabilir çünkü Riemann eğriliği sadece levi- Civita bağıntısına bağlı.
Şimdi, bu bir tensor ve biz bunun eşdeğişken türevini hesaplayabiliriz çünkü iki bağıntının farkı.
Biz şimdi yukardaki Riemann eğrilik tensoru değişkeni ifadesinin;
bu iki terimin farkına eşit olduğunu söyleyebiliriz.
Biz şimdi Ricci eğrilik tensorunun değişkenini basitce Riemann tensor değişkenini ik indeksinin daralması vasıtasıyla elde edebilir ve Palatini özdeşliğini bulabiliriz.
Ricci sıkaler;
olarak tanımlanır.
Sonuç olarak, ters metric ' e göre değişken
vasıtasıyla verilir.
İkinci satırda Ricci eğrilik değişkeni ve eşdeğişken türevin, , metric uygunluğu için önceden elde edilmiş sonucu kullandık.
Son terim, ' le çarpılan total türeve dönüştü,
ve böylece sadece Stokes teoremi vasıtasıyla integral alındığında limit terim üretir. Bu yüzden sonsuzda metric değişken yok olduğu zaman, bu terim etki değişkenine katkıda bulunmaz. Ve böylece;
Determinant Değişimi
Jacobi formülü, determinant türev kuralı,
verir
ya da koordinat sistemi köşegen olduğu yere dönüşebilir ve sonra ana köşegenin elemanlarının çarpımı türevine çarpma kuralı uygular.
Bunu kullanarak,
buluruz.
Son eşitlikte,
ters matrix türevi kuralından gelen
olgusunu kullandık.
Böylece
Hareket Denklemi
Şimdi emrimizdeki tüm önemli değişkenlere sahibiz, onları hareket denklemi içine metrik alan elde etmek için ekleyebiliriz.
Einstein alan denklemi ve
seçilen relativistik olmayan limite kadar Newton'un her zamanki çekim yasasını üretir, G çekimsel sabit.
Kozmolojik Sabit
Bazen yeni etki için kozmolojik sabit /\ ' e Lagrangian dahil edilebilir,
alan denklemleri üretir.