Einstein Alan Denklemleri Nedir? Tensörler ve Uzay-Zaman Geometrisi Nasıl Tanımlanır?

Einstein 1915 yılında yılında yaptığı yayınla, enerji-momentum ile uzay-zaman eğriliği arasında bir ilişki olduğunu ortaya koydu. Yani daha basit bir ifadeyle, madde ile geometri arasında sıkı bir ilişki bulunur. Madde, uzay-zamanı büker; bükülmüş uzay-zaman da maddeye jeodezikler boyunca hareket etmesi gerektiğini söyler. Bugün bunu ifade eden denklem setine, Einstein Alan Denklemleri denilmektedir.

Einstein Alan Denklemleri

$G_{ik}=8\pi G/c^4{T}_{ik}$

Denklemin sol tarafında yer alan $G_{ik}$ ifadesi, Einstein tensörünü ifade ederken sağ tarafta yer alan $T_{ik}$ ifadesi stres-enerji (enerji-momentum) tensörünü ifade eder. Yani denklemin sol tarafı geometriyi, sağ tarafı ise maddeyi ifade etmektedir. Denklem sıklıkla aşağıdaki gibi yazılır:

$R_{ik}-1/2g_{ik}R+g_{ik}\wedge =8\text{piG}/c^4{T}_{ik}$

Burada sol taraf $G_{ik}$'nin açık halini ifade eder. $R_{ik}$ terimi Ricci eğrilik tensörü, $g_{ik}$ metrik tensör, $R$ eğrilik skaleri, $\Lambda$ ise kozmolojik sabittir. Bazen Einstein alan denklemlerinin kozmolojik sabitsiz halini de görebilirsiniz.

Burada $i$ ve $k$ alt indisleri, kaç boyutlu uzayda-zamanda çözüm yaptığınıza göre değerler alır (bazen $\nu$ ve $\mu$ ile de gösterilir). Sıklıkla çözümler dört boyutlu uzayda-zamanda ele alınır ve bunlardan biri zaman, diğer üçü ise uzay bileşenidir. Örneğin kartezyen koordinatlarda (t,x,y,z) koordinatları kullanılır. Bu da $i$ ve $k$'nin (0,1,2,3) değerlerini alacağını gösterir.

Bazı kitaplarda notasyon farklı olsa da sıklıkla 0 koordinatı $t$'ye karşılık gelir, biz de öyle alacağız. Burada bir diğer dikkat edilmesi gereken nokta, zaman bileşeninin işaretinin uzaya göre zıt işaret aldığıdır. Yani eğer (0,1,2,3) notasyonunu kullanıyorsak işaret (-,+,+,+) ya da (+,-,-,-) olarak alınır.

Tek bir denklem gibi görünen bu denkleme neden Einstein alan denklemleri dendiğini indislerden anlayabilirsiniz. $i$ ve $k$ için dörder tane seçenek olduğundan $4x4=16$ farklı denklem olduğu ortaya çıkar.

Fakat bunlardan altısı birbirinin aynıdır. Yani toplamda 16 denklem olması gerekirken simetriden ötürü (matriste üst üçgenseli düşünün), Einstein alan denklemlerinde yalnızca 10 tane farklı bileşeni bulunur. Seçtiğinizi metriğe göre ise elde ettiğiniz denklem sayısı azalır. Örneğin Schwarzschild çözümünde yalnızca 4 tane denklem ortaya çıkar. Bazen $i$ ve $k$ alt indisleri sayılar yerine, koordinatları ifade eden terimlerle de kullanılabilir. Örneğin $R_{00}$ yazmak yerine, $R_{tt}$ tercih edilebilir.

Einstein Alan Denklemlerinin Çözümü

Aslında Einstein alan denklemleri, bize bir diferansiyel denklem seti verir. Mesele bu diferansiyel denklem setini çözerek tıpkı Newton'ın $F=ma$'sında olduğu gibi bir hareket denklemi elde edebiliriz. Yani Einstein alan denklemlerinin çözümünden, çözümü yapılan geometride maddenin davranışının ne olması gerektiği bulunur. Örneğin boş bir uzayda; dönmeyen, küresel simetrik, yüksüz bir karadelik için Schwarzschild çözümünü elde ederiz. Bu da böyle bir karadeliğin etrafındaki uzay-zamanı nasıl etkilediğini bulmamızı sağlar.

Elde edilen çözüm, koordinat tercihinizden bağımsızdır. Yani kartezyen koordinatları kullanarak yaptığınızda elde ettiğiniz çözüm ile küresel koordinatları kullanarak yaptığınızda elde ettiğiniz çözüm aynıdır. Dilerseniz başlangıçta koordinat dönüşümü yaparsınız, dilerseniz sonuçta dönüşüm yaparsınız. Aynı sonucu verecektir. Yalnızca burada seçtiğiniz metriğin matrisinin daima tersinin bulunuyor olması gerekir.

Evrim Ağacı'ndan Mesaj

Neden Desteğe İhtiyacımız Var?

Aslında maddi destek istememizin nedeni çok basit: Çünkü Evrim Ağacı, bizim tek mesleğimiz, tek gelir kaynağımız. Birçoklarının aksine bizler, sosyal medyada gördüğünüz makale ve videolarımızı hobi olarak, mesleğimizden arta kalan zamanlarda yapmıyoruz. Dolayısıyla bu işi sürdürebilmek için gelir elde etmemiz gerekiyor.

Bunda elbette ki hiçbir sakınca yok; kimin, ne şartlar altında yayın yapmayı seçtiği büyük oranda bir tercih meselesi. Ne var ki biz, eğer ana mesleklerimizi icra edecek olursak (yani kendi mesleğimiz doğrultusunda bir iş sahibi olursak) Evrim Ağacı'na zaman ayıramayacağımızı, ayakta tutamayacağımızı biliyoruz. Çünkü az sonra detaylarını vereceğimiz üzere, Evrim Ağacı sosyal medyada denk geldiğiniz makale ve videolardan çok daha büyük, kapsamlı ve aşırı zaman alan bir bilim platformu projesi. Bu nedenle bizler, meslek olarak Evrim Ağacı'nı seçtik.

Eğer hem Evrim Ağacı'ndan hayatımızı idame ettirecek, mesleklerimizi bırakmayı en azından kısmen meşrulaştıracak ve mantıklı kılacak kadar bir gelir kaynağı elde edemezsek, mecburen Evrim Ağacı'nı bırakıp, kendi mesleklerimize döneceğiz. Ama bunu istemiyoruz ve bu nedenle didiniyoruz.

Destek Ol

Einstein Alan Denklemlerinin Elementleri

Einstein alan denklemlerinde yer alan bu matematiksel yapılar, yalnızca soyut tensör ifadeleri değil; uzay-zamanın fiziksel doğasını doğrudan tanımlayan geometrik araçlardır. Özellikle Ricci tensörü ve eğrilik skaleri, uzay-zamanın yerel olarak nasıl büküldüğünü ifade ederken, metrik tensör bu geometrinin temelini oluşturur ve tüm fiziksel mesafe ile zaman ölçümlerini belirler. Christoffel sembolleri ise bu geometrinin içinde parçacıkların nasıl hareket edeceğini, yani jeodezikleri belirleyen bağlantı terimleridir. Bu yapıların tamamı birlikte ele alındığında, Einstein alan denklemleri aslında Riemann geometrisi üzerine kurulmuş diferansiyel bir geometri problemine dönüşür.

Ricci Eğrilik Tensörü

Einstein alan denklemlerinde yer alan $R_{ik}$, Ricci eğrilik tensörü, aşağıdaki şekilde ifade edilir:

$R_{ik}=R_{ijk}^j$

Burada $R_{ijk}^j$Riemann tensörüdür ve $R_{ik}$'nin hesaplanabilmesi için $R_{ijk}^j$'nin hesaplanması gerekir. Burada i ve k değerleri bizim seçimimiz iken $j$ ve $p$ değeri seçimimizde yoktur. Bunun hesaplanabilmesi için j değerlerinin tümü için toplam alınır.

Bu hesaplandığında seçilen $i$ ve $k$'lar için $R_{ik}$ hesaplanmış olur. Burada oldukça fazla parametre bulunması sebebiyle fazla miktarda sonuç olduğu görülür. $i$, $j$ ve $k$ değeri için dörder değerden toplamda 64 ifade gelir. Ayrıca her birinin içerisinde dört değer daha alan p değeri üzerinden toplam alınmalıdır, bu da 256 değer yapar. Fakat bunların çoğu sıfırdır. Özellikle Schwarzschild ve Friedmann çözümlerinde hatta çoğunda 10 bileşenin tamamı bulunmaz. Genellikle $R_{tt}$, $R_{rr}$, $R_{\theta \theta }$, $R_{\Phi \Phi }$ bileşenleri sıfırdan farklıdır. Böyle bir durumda $i=k$ olduğu görülür, bu da hesabı tekrar 64 parametreye düşürür. Fakat, dönen bir karadelik için tanımlı metrik olan Kerr metriğinde, dönmenin sebep olduğu açılar da devreye girerek bu sayıyı artırır. Bu yüzden metriğin davranışını anlamak, hesabı anlamak adına önemlidir.

Christoffel Sembolü

Yukarıda Riemann tensöründe yer alan ifade olan Gamma ikl ise Christoffel sembolüdür ve kabaca metrik bağlantıyı inceler. Bağıntısı aşağıdaki gibi verilir:

Burada $m$ değeri üzerinden toplam alınır. Her bir parametre eğer tek tek denenirse; $i$, $k$, $l$ ve $m$ değerlerinin her biri için 4 değer bulunduğundan toplamda $4x4x4x4=256$ tane Christoffel sembolünün hesaplanması gerektiği görülür. Fakat bunların da bazıları simetriktir ve aynı değeri verir (örneğin $k$ ve $l$'nin yerini değiştirirseniz ifade değişmez). Ayrıca seçilen metriğe göre, çoğunun değeri sıfır çıkacaktır. Örneğin metriğiniz sadece $R_{tt}$, $R_{rr}$, $R_{\theta \theta }$, $R_{\Phi \Phi }$ değerlerini barındırıyorsa, $g^{im}$ değerinde $i=m$ olmalıdır. Bu da Christoffel sembölünde $i=m$ için çözüm yapmanızın yeterli olduğunu, gerisinin zaten sıfır çıkacağını gösterir. Bu gibi çıkarımlarla yapılan hesap sayısı oldukça aşağıya çekilebilir.

Özetle göz korkutuyor gibi görünse de çoğu değer bu şekilde sıfır çıkmaktadır. Basit yaklaşımlarla ve dikkatli bir hesaplamayla diferansiyel denklem setine ulaşılabilir. Mesele diferansiyel denklemleri çözebilmektir ya da seçtiğiniz metriğin zorluğuna göre bunu düzenleyebilmektir. Elbette günümüzde bunları elle tek tek çözmek yerine, Mathematica gibi programlama dilleriyle kolaylıkla gerekli denklemlere ulaşabiliyoruz. Fakat bunlar işin sadece hamallık kısmını ortadan kaldırıyor.

Ricci Eğrilik Skaleri

Eğrilik skaleri ise adından anlaşılacağı üzere herhangi bir vektörel bileşene sahip değildir, yani sıfırıncı mertebeden bir tensördür. Birinci mertebeden bir tensörün ise bir vektör olduğunu hatırlayın. Eğrilik skaleri aşağıdaki gibi ifade edilir.

Metrik Tensör

Metrik tensör (ya da basitçe metrik), seçtiğiniz uzay-zaman koordinatlarının geometrik yapısını ifade eder. Daha basit bir deyişle, tanımladığınız uzay-zamanda iki nokta arasındaki geometrinin nasıl olduğunu anlatır. Örneğin Schwarzschild metriği aşağıdaki gibi tanımlıdır:

Bu metrikte verilen uzay-zamanda iki nokta arasındaki ayrılığın (ds); dtdt, drdr, dθdθ ve dΦdΦ bileşenleri ile ifade edildiğini görüyoruz. Dolayısıyla metrik tensörümüz aşağıdaki gibi olur.

Sonuç

Einstein alan denklemleri, madde ile uzay-zaman geometrisi arasındaki ilişkiyi kurarak modern fiziğin derin teorik çerçevelerinden birini sunar. Bu denklemler, klasik mekaniğin kuvvet temelli yaklaşımını terk ederek yerçekimini geometrik bir olgu olarak yeniden tanımlar.

Tensörler aracılığıyla ifade edilen bu yapı, ilk bakışta son derece karmaşık görünse de simetriler ve fiziksel varsayımlar sayesinde çözülebilir hale gelir ve Schwarzschild, Kerr veya Friedmann gibi önemli çözümler elde edilir. Bu çözümler yalnızca teorik değil, aynı zamanda gözlemsel olarak da doğrulanmıştır; örneğin yerçekimsel dalgaların tespiti ve kara delik görüntüleri bu teorinin güçlü doğrulamalarındandır. Dolayısıyla Einstein alan denklemleri, hem matematiksel derinliği hem de fiziksel açıklayıcılığıyla evrenin yapısını anlamada vazgeçilmez bir araçtır.