Christoffel sembolleri

matematik ve fizikte elwin bruno christoffel'in adına atfedilen christoffel sembolleri eğri uzaylardaki metrik farkı düzenler.daha basit bir biçimde anlatmaya çalışırsak bir vektörü gösterdiğimiz kartezyen koordinat sistemi gibi düz koordinatlarda vektörün bileşenlerini temsil eden baz vektörler kendi eksenlerine dik olduğu için türevleri sıfıra eşittir. fakat eğri bir uzayda baz vektörler de değişir yani türevlenir. i̇şte bu türev işlemi yunan alfabesinden  harfi ile temsil edilmektedir. christoffel sembollerinin fizikte birçok uygulaması vardır. bunlardan en önemlisi einstein alan denklemlerinde kullanılmasıdır.

ön hazırlık 
 koordinatlarından oluşan  için m üzerine n boyutlu bir manifold verilsin. o halde baz vektörler:

baz vektörleri tanımladığımıza göre metrik tensörü inşa edebiliriz:

ve onun tersi:

kovaryant baz vektörünü şu biçimde de yazabiliriz:

                      

bazı kaynaklarda  yerine  yazabilir.i̇kisi de aynı şeyi temsil eder.

öklit uzayında gösterimi 
öklit uzayında cristoffel sembollerinin genel ifadesi dışında 2. gösterim türü aşağıda verilmiştir:

  (burada einstein toplama kuralı kullanılmıştır.)

christoffel sembollerinin ilk türü ise indislerin düşmesi ile açıklanabilir:

ve şu durumu görebiliriz:

demek istediğimizi sözlü olarak açıklarsak christoffel sembolleri tarafından temsil edilen baz vektörlerin noktadan noktaya nasıl değiştiğini izler. 2. türdeki semboller değişimi  tek baz vektöre göre ayrıştırırken 1. türdekiler onu iki baz vektöre göre ayrıştırır. 2 tür sembollerde de bir şart dahilinde simetri vardır:

 ise

 ve  olur.

sebebi:

 

 ve  o halde:

genel gösterim 
  ve  sebebi.:

biliyoruz ki  ve , o halde:

baz vektörleri içeri alıp christoffel sembolünü dışarı çıkartırsak amacımıza ulaşmış oluruz:

 ve  olduğuna göre

 olacaktır.

aynı şekilde

ve 

fark ettiyseniz her ikisinden  birisi birbirinin simetriğidir.

 simetrik olduğu için:

= dolayısıyla:

2'yi karşıya attığımızda

uygulamaları

genel görelilikte 
christoffel sembolleri einstein'ın genel görelilik teorisinde kendine sıkça kullanım alanı bulmuştur. genel görelilikte uzayzaman, 4 boyutlu eğri bir lorentz manifoldu olarak tasvir edilmiştir. genel göreliliğin matematiksel kalbi olan einstein alan denklemleri ise, uzayzamanın geometrisi ile madde arasındaki ilişkiyi göstermektedir. uzayın geometrisini hesaplamak için ricci tensörü kullanılır ki,bu tensörü hesaplamak için christoffel sembollerini hesaba katmak esastır. bu konuda önce uzayın geometrisi belirlenir, daha sonra madde ve ışığın uzayda nasıl bir yol izleyeceğini, christoffel sembollerinin de yardım ettiği bir jeodezik denklem ile hesaplanır.

einstein alan denklemleri şu şekilde yazılır:

christoffel sembollerini burada göremesekte aslında riemann eğrilik tensörünün özel bir hali olan ricci tensörünün içinde mevcuttur:

silindirik koordinatlar için örneği 
 denklemi silindirik koordinatların denklemidir.3 boyutlu silindirik koordinat sisteminde kartezyen koordinat cinsinden  metrikleri yazdığımızda:

silindirik koordinatların metrik tensörünü  hesaplamak için denklemin birim vektörlerini hesap edersek:

ana madde:metrik tensör

    

metrik tensörü yazdığımızda,

şimdi bileşenlerini tek tek hesap edelim.

not=kartezyen koordinat sisteminde metrik tensör:

sonunda silindirik koordinatlar için metrik tensörü elde ettik.

şimdi silindirik koordinatlar için christoffel sembollerini hesap edeceğiz.

baştaki kanıtlardan şu özdeşliği hesap etmiştik;

  ve baz vektörü sembolün yanına yazıp satır matris formunda gösterdiğimizde:

christoffel sembollerinin aslında tensör olmadığını sadece baz vektörlerin türevlerinin bileşenleri olduğunu görürüz.

birim vektörlerin terslerini de şöyle hesap edebiliriz:

örneğin  şöyle hesaplanabilir.

diğerlerini hesaplamak çok uzun süreceğinden direk diğer değerleri yazalım.

 

matematiksel kavramlar