Optik skalerler - Optical scalars

İçinde Genel görelilik, optik skalerler üçlü bir kümeye bakın skaler fonksiyonlar ${displaystyle {{hat {heta}}}$ (genişleme), ${displaystyle {hat {sigma}}}$ (kesme) ve ${displaystyle {şapka {omega}}}$ (bükülme / döndürme / girdap) ${displaystyle}}$ bir yayılımını tanımlayan jeodezik boş uyum.^[1]^[2]^[3]^[4]^[5]

Aslında bu üç skaler ${displaystyle {{hat {heta}} ,, {hat {sigma}} ,, {hat {omega}}}}$ hem zamana benzer hem de boş jeodezik kongrüanslar için özdeş bir ruhta tanımlanabilir, ancak bunlara yalnızca boş durum için "optik skaler" denir. Ayrıca, onların tensorial öncülleri. ${displaystyle {{hat {heta}} {hat {h}} _ {ab} ,, {hat {sigma}} _ {ab} ,, {hat {omega}} _ {ab}}}$ tensörel denklemlerde kabul edilirken skalerler ${displaystyle {{hat {heta}} ,, {hat {sigma}} ,, {hat {omega}}}}$ esas olarak şu dilde yazılmış denklemlerde görünür Newman-Penrose biçimciliği.

Tanımlar: genişleme, kesme ve bükülme

Jeodezik zaman benzeri bağlar için

Bir gözlemcinin dünya çizgisinin teğet vektör alanını (bir zaman gibi uyum) olarak ${displaystyle Z ^ {a}}$ ve daha sonra biri, uyarılmış "uzamsal metrikler" oluşturabilir.

${displaystyle (1) quad h ^ {ab} = g ^ {ab} + Z ^ {a} Z ^ {b} ;, quad h_ {ab} = g_ {ab} + Z_ {a} Z_ {b}; , dörtlü h _ {;; b} ^ {a} = delta _ {;; b} ^ {a} + Z ^ {a} Z_ {b} ;,}$

nerede ${displaystyle h _ {;; b} ^ {a}}$ mekansal olarak projelendiren bir operatör olarak çalışır. Kullanım ${displaystyle h _ {;; b} ^ {a}}$ koordinat kovaryant türevini projelendirmek ${displaystyle abla _ {b} Z_ {a}}$ ve "uzaysal" yardımcı tensör elde edilir ${displaystyle B_ {ab}}$ ,

${displaystyle (2) quad B_ {ab} = h _ {;; a} ^ {c}, h _ {;; b} ^ {d}, abla _ {d} Z_ {c} = abla _ {b} Z_ { a} + A_ {a} Z_ {b} ;,}$

nerede ${displaystyle A_ {a}}$ dört ivmeyi temsil eder ve ${displaystyle B_ {ab}}$ anlamında tamamen uzamsaldır ${displaystyle B_ {ab} Z ^ {a} = B_ {ab} Z ^ {b} = 0}$ . Jeodezik zaman benzeri bir dünya çizgisine sahip bir gözlemci için özellikle

${displaystyle (3) dörtlü A_ {a} = 0;, dörtlü Sağa dörtlü B_ {ab} = abla _ {b} Z_ {a} ;.}$

Şimdi ayrıştır ${displaystyle B_ {ab}}$ simetrik ve antisimetrik kısımlarına ${displaystyle heta _ {ab}}$ ve ${displaystyle omega _ {ab}}$ ,

${displaystyle (4) quad heta _ {ab} = B _ {(ab)} ;, quad omega _ {ab} = B _ {[ab]} ;.}$

${displaystyle omega _ {ab} = B _ {[ab]}}$ iz içermez ( ${displaystyle g ^ {ab} omega _ {ab} = 0}$ ) süre ${displaystyle heta _ {ab}}$ sıfırdan farklı ize sahip, ${displaystyle g ^ {ab} heta _ {ab} = heta}$ . Böylece simetrik kısım ${displaystyle heta _ {ab}}$ iz ve iz bırakmayan kısmına daha fazla yeniden yazılabilir,

${displaystyle (5) quad heta _ {ab} = {frac {1} {3}} heta h_ {ab} + sigma _ {ab} ;.}$

Bu nedenle, sahip olduğumuz her şeyde

${displaystyle (6) quad B_ {ab} = {frac {1} {3}} heta h_ {ab} + sigma _ {ab} + omega _ {ab} ;, quad heta = g ^ {ab} heta _ { ab} = g ^ {ab} B _ {(ab)} ;, quad sigma _ {ab} = heta _ {ab} - {frac {1} {3}} heta h_ {ab} ;, quad omega _ {ab } = B _ {[ab]} ;.}$

Jeodezik boş kongreler için

Şimdi bir jeodezik düşünün boş teğet vektör alanı ile uyum ${displaystyle k ^ {a}}$ . Zamansal duruma benzer şekilde, biz de

${displaystyle (7) quad {hat {B}} _ {ab}: = abla _ {b} k_ {a} ;,}$

ayrıştırılabilen

${displaystyle (8) quad {hat {B}} _ {ab} = {hat {heta}} _ {ab} + {hat {omega}} _ {ab} = {frac {1} {2}} {hat {heta}} {hat {h}} _ {ab} + {hat {sigma}} _ {ab} + {hat {omega}} _ {ab} ;,}$

nerede

${displaystyle (9) quad {hat {heta}} _ {ab} = {hat {B}} _ {(ab)} ;, quad {hat {heta}} = {hat {h}} ^ {ab} { hat {B}} _ {ab} ;, quad {hat {sigma}} _ {ab} = {hat {B}} _ {(ab)} - {frac {1} {2}} {hat {heta} } {hat {h}} _ {ab} ;, quad {hat {omega}} _ {ab} = {hat {B}} _ {[ab]} ;.}$

Burada, sıfır kongrüanslar için bu niceliklerin, üç boyutlu zaman benzeri duruma zıt olarak iki boyutlu olduğunu vurgulamak için "nefret edilen" nicelikler kullanılır. Bununla birlikte, bir makalede sadece boş kongreleri tartışırsak, basitlik için şapkalar çıkarılabilir.

Tanımlar: boş kongrüanslar için optik skaler

Optik skalerler ${displaystyle {{hat {heta}} ,, {hat {sigma}} ,, {hat {omega}}}}$ ^[1]^[2]^[3]^[4]^[5] doğrudan tensörlerin "ölçeklendirilmesinden" gelir ${displaystyle {{hat {heta}} ,, {hat {sigma}} _ {ab} ,, {hat {omega}} _ {ab}}}$ Eşitlik (9).

genişleme bir jeodezik sıfır uyumu ile tanımlanır (burada klirens için başka bir standart sembol benimseyeceğiz " ${displaystyle;}$ "kovaryant türevi belirtmek için ${displaystyle abla _ {a}}$ )

${displaystyle (10) quad {hat {heta}} = {frac {1} {2}}, k ^ {a} {} _ {;, a} ;.}$

Kutu A: "Boş bir eşliğin genişleme oranları" ile karşılaştırma

Makalede gösterildiği gibi "Boş bir eşliğin genişleme hızı "ile gösterilen giden ve giden genişleme oranları ${displaystyle heta _ {(ell)}}$ ve ${displaystyle heta _ {(n)}}$ sırasıyla, tarafından tanımlanır

${displaystyle (A.1) quad heta _ {(ell)}: = h ^ {ab} abla _ {a} l_ {b} ;,}$

${displaystyle (A.2) quad heta _ {(n)}: = h ^ {abla _ {a} n_ {b} ;,}$

nerede ${displaystyle h ^ {ab} = g ^ {ab} + l ^ {a} n ^ {b} + n ^ {a} l ^ {b}}$ indüklenen metriği temsil eder. Ayrıca, ${displaystyle heta _ {(ell)}}$ ve ${displaystyle heta _ {(n)}}$ aracılığıyla hesaplanabilir

${displaystyle (A.3) quad heta _ {(ell)} = g ^ {abla _ {a} l_ {b} -kappa _ {(ell)} ;,}$

${displaystyle (A.4) quad heta _ {(n)} = g ^ {abla _ {a} n_ {b} -kappa _ {(n)} ;,}$

nerede ${displaystyle kappa _ {(ell)}}$ ve ${displaystyle kappa _ {(n)}}$ sırasıyla giden ve giden afinite dışı katsayılardır.

${displaystyle (A.5) dörtlü l ^ {a} abla _ {a} l_ {b} = kappa _ {(ell)} l_ {b} ;,}$

${displaystyle (A.6) quad n ^ {a} abla _ {a} n_ {b} = kappa _ {(n)} n_ {b} ;.}$

Dahası, dilinde Newman-Penrose biçimciliği kongre ile ${displaystyle {(-, +, +, +); l ^ {a} n_ {a} = - 1,, m ^ {a} {ar {m}} _ {a} = 1}}$ , sahibiz

${displaystyle (A.7) quad heta _ {(l)} = - (ho + {ar {ho}}) = - 2 {ext {Re}} (ho) ,, quad heta _ {(n)} = mu + {ar {mu}} = 2 {ext {Re}} (mu) ,,}$

Görebildiğimiz gibi, jeodezik bir sıfır uyumu için optik skaler ${displaystyle heta}$ genişleme oranlarıyla aynı rolü oynar ${displaystyle heta _ {(ell)}}$ ve ${displaystyle heta _ {(n)}}$ . Bu nedenle, jeodezik bir sıfır uyumu için, ${displaystyle heta}$ ikisine de eşit olacak ${displaystyle heta _ {(ell)}}$ veya ${displaystyle heta _ {(n)}}$ .

makaslama bir jeodezik boş uyumun

${displaystyle (11) quad {hat {sigma}} ^ {2} = {hat {sigma}} _ {ab} {hat {ar {sigma}}} ^ {ab} = {frac {1} {2}} , g ^ {ca}, g ^ {db}, k _ {(a,;, b)}, k_ {c,;, d} - {Büyük (} {frac {1} {2}}, k ^ { a} {} _ {;, a} {Büyük)} ^ {2} =, g ^ {ca}, g ^ {db} {frac {1} {2}}, k _ {(a,;, b) }, k_ {c,;, d} - {hat {heta}} ^ {2} ;.}$

bükülme bir jeodezik boş uyumun

${displaystyle (12) quad {hat {omega}} ^ {2} = {frac {1} {2}}, k _ {[a,;, b]}, k ^ {a,;, b} = g ^ {ca}, g ^ {db}, k _ {[a,;, b]}, k_ {c,;, d} ;.}$

Uygulamada, jeodezik bir sıfır uyumu genellikle ya giden yolu ile tanımlanır ( ${displaystyle k ^ {a} = l ^ {a}}$ ) veya gelen ( ${displaystyle k ^ {a} = n ^ {a}}$ ) teğet vektör alanı (aynı zamanda onun null normalleri). Böylece, iki set optik skaler elde ederiz ${displaystyle {{hat {heta}} _ {(ell)} ,, {hat {sigma}} _ {(ell)} ,, {hat {omega}} _ {(ell)}}}$ ve ${displaystyle {{hat {heta}} _ {(n)} ,, {hat {sigma}} _ {(n)} ,, {hat {omega}} _ {(n)}}}$ ile ilgili olarak tanımlanan ${displaystyle l ^ {a}}$ ve ${displaystyle n ^ {a}}$ , sırasıyla.

Yayılma denklemlerinin ayrıştırılmasındaki uygulamalar

Jeodezik zaman benzeri bir uyum için

Yayılımı (veya evrimi) ${displaystyle B_ {ab}}$ boyunca jeodezik zaman benzeri bir uyum için ${görüntü stili Z ^ {c}}$ aşağıdaki denkleme saygı duyar,

${displaystyle (13) quad Z ^ {c} abla _ {c} B_ {ab} = - B _ {;; b} ^ {c} B_ {ac} + R_ {cbad} Z ^ {c} Z ^ {d } ;.}$

Denklem (13) 'ün izini, ${displaystyle g ^ {ab}}$ ve Denklem (13) olur

${displaystyle (14) quad Z ^ {c} abla _ {c} heta = heta _ {,, au} = - {frac {1} {3}} heta ^ {2} -sigma _ {ab} sigma ^ { ab} + omega _ {ab} omega ^ {ab} -R_ {ab} Z ^ {a} Z ^ {b}}$

Eşitlik (6) 'daki miktarlar cinsinden. Dahası, Denklem (13) 'ün izsiz, simetrik kısmı

${displaystyle (15) quad Z ^ {c} abla _ {c} sigma _ {ab} = - {frac {2} {3}} heta sigma _ {ab} -sigma _ {ac} sigma _ {; b} ^ {c} -omega _ {ac} omega _ {; b} ^ {c} + {frac {1} {3}} h_ {ab}, (sigma _ {cd} sigma ^ {cd} -omega _ { cd} omega ^ {cd}) + C_ {cbad} Z ^ {c} Z ^ {d} + {frac {1} {2}} {ilde {R}} _ {ab} ,.}$

Son olarak, Denklem (13) 'ün antisimetrik bileşeni,

${displaystyle (16) quad Z ^ {c} abla _ {c} omega _ {ab} = - {frac {2} {3}} heta omega _ {ab} -2sigma _ {; [b} ^ {c} omega _ {a] c} ;.}$

Jeodezik sıfır uyumu için

Bir (jenerik) jeodezik boş eşleşme aşağıdaki yayılma denklemine uyar,

${displaystyle (16) quad k ^ {c} abla _ {c} {hat {B}} _ {ab} = - {hat {B}} _ {;; b} ^ {c} {hat {B}} _ {ac} + {geniş hat {R_ {cbad} k ^ {c} k ^ {d}}} ;.}$

Denklem (9) 'da özetlenen tanımlarla, Denklem (14) aşağıdaki bileşen denklemlerine yeniden yazılabilir,

${displaystyle (17) quad k ^ {c} abla _ {c} {hat {heta}} = {hat {heta}} _ {,, lambda} = - {frac {1} {2}} {hat {heta }} ^ {2} - {hat {sigma}} _ {ab} {hat {sigma}} ^ {ab} + {hat {omega}} _ {ab} {hat {omega}} ^ {ab} - { geniş hat {R_ {cd} k ^ {c} k ^ {d}}} ;,}$

${displaystyle (18) quad k ^ {c} abla _ {c} {hat {sigma}} _ {ab} = - {hat {heta}} {hat {sigma}} _ {ab} + {widehat {C_ { cbad} k ^ {c} k ^ {d}}} ;,}$

${displaystyle (19) quad k ^ {c} abla _ {c} {hat {omega}} _ {ab} = - {hat {heta}} {hat {omega}} _ {ab} ;.}$

Kısıtlı bir jeodezik sıfır uyumu için

Boş bir hiper yüzeyde kısıtlanmış jeodezik bir sıfır uyumu için,

${displaystyle (20) quad k ^ {c} abla _ {c} heta = {hat {heta}} _ {,, lambda} = - {frac {1} {2}} {hat {heta}} ^ {2 } - {hat {sigma}} _ {ab} {hat {sigma}} ^ {ab} - {geniş hat {R_ {cd} k ^ {c} k ^ {d}}} + kappa _ {(ell)} {hat {heta}} ;,}$

${displaystyle (21) quad k ^ {c} abla _ {c} {hat {sigma}} _ {ab} = - {hat {heta}} {hat {sigma}} _ {ab} + {widehat {C_ { cbad} k ^ {c} k ^ {d}}} + kappa _ {(ell)} {hat {sigma}} _ {ab} ;,}$

${displaystyle (22) quad k ^ {c} abla _ {c} {hat {omega}} _ {ab} = 0 ;.}$

Dönme katsayıları, Raychaudhuri denklemi ve optik skalerler

Önceki bölümün daha iyi anlaşılması için, tasvir ederken ilgili NP spin katsayılarının anlamlarını kısaca gözden geçireceğiz. boş bağlar.^[1] tensör formu Raychaudhuri denklemi^[6] boş akışları yöneten okur

${displaystyle (23) quad {mathcal {L}} _ {ell} heta _ {(ell)} = - {frac {1} {2}} heta _ {(ell)} ^ {2} + {ilde {kappa }} _ {(ell)} heta _ {(ell)} - sigma _ {ab} sigma ^ {ab} + {ilde {omega}} _ {ab} {ilde {omega}} ^ {ab} -R_ { ab} l ^ {a} l ^ {b} ,,}$

nerede ${displaystyle {ilde {kappa}} _ {(ell)}}$ öyle tanımlanmıştır ki ${displaystyle {ilde {kappa}} _ {(ell)} l ^ {b}: = l ^ {a} abla _ {a} l ^ {b}}$ . Raychaudhuri denklemindeki miktarlar, spin katsayıları ile ilişkilidir.

${displaystyle (24) quad heta _ {(ell)} = - (ho + {ar {ho}}) = - 2 {ext {Re}} (ho) ,, quad heta _ {(n)} = mu + {ar {mu}} = 2 {ext {Re}} (mu) ,,}$

${displaystyle (25) quad sigma _ {ab} = - sigma {ar {m}} _ {a} {ar {m}} _ {b} - {ar {sigma}} m_ {a} m_ {b}, ,}$

${displaystyle (26) quad {ilde {omega}} _ {ab} = {frac {1} {2}}, {Büyük (} ho - {ar {ho}} {Büyük)}, {Büyük (} m_ { a} {ar {m}} _ {b} - {ar {m}} _ {a} m_ {b} {Büyük)} = {ext {Im}} (ho) cdot {Büyük (} m_ {a} {ar {m}} _ {b} - {ar {m}} _ {a} m_ {b} {Büyük)} ,,}$

Denklem (24) doğrudan ${displaystyle {hat {h}} ^ {ab} = {hat {h}} ^ {ba} = m ^ {b} {ar {m}} ^ {a} + {ar {m}} ^ {b} m ^ {a}}$ ve

${displaystyle (27) quad heta _ {(ell)} = {hat {h}} ^ {ba} abla _ {a} l_ {b} = m ^ {b} {ar {m}} ^ {a} abla _ {a} l_ {b} + {ar {m}} ^ {b} m ^ {a} abla _ {a} l_ {b} = m ^ {b} {ar {delta}} l_ {b} + {ar {m}} ^ {b} delta l_ {b} = - (ho + {ar {ho}}) ,,}$

${displaystyle (28) quad heta _ {(n)} = {hat {h}} ^ {ba} abla _ {a} n_ {b} = {ar {m}} ^ {b} m ^ {a} abla _ {a} n_ {b} + m ^ {b} {ar {m}} ^ {a} abla _ {a} n_ {b} = {ar {m}} ^ {b} delta n_ {b} + m ^ {b} {ar {delta}} n_ {b} = mu + {ar {mu}} ,.}$

Ayrıca bakınız

Referanslar

^ ^a ^b ^c Eric Poisson. Bir Görelilik Uzmanının Araç Seti: Kara Delik Mekaniğinin Matematiği. Cambridge: Cambridge University Press, 2004. Bölüm 2.
^ ^a ^b Hans Stephani, Dietrich Kramer, Malcolm MacCallum, Cornelius Hoenselaers, Eduard Herlt. Einstein'ın Alan Denklemlerinin Kesin Çözümleri. Cambridge: Cambridge University Press, 2003. Bölüm 6.
^ ^a ^b Subrahmanyan Chandrasekhar. Kara Deliklerin Matematiksel Teorisi. Oxford: Oxford University Press, 1998. Bölüm 9. (a).
^ ^a ^b Jeremy Bransom Griffiths, Jiri Podolsky. Einstein'ın Genel Göreliliğinde Kesin Uzay-Zamanlar. Cambridge: Cambridge University Press, 2009. Bölüm 2.1.3.
^ ^a ^b P Schneider, J Ehlers, E E Falco. Yerçekimi Lensleri. Berlin: Springer, 1999. Bölüm 3.4.2.
^ Sayan Kar, Soumitra SenGupta. Raychaudhuri denklemleri: kısa bir inceleme. Pramana, 2007, 69(1): 49-76. [arxiv.org/abs/gr-qc/0611123v1 gr-qc / 0611123]

[OS-1-1] Eric Poisson. Bir Görelilik Uzmanının Araç Seti: Kara Delik Mekaniğinin Matematiği. Cambridge: Cambridge University Press, 2004. Bölüm 2.

[OS-2-2] Hans Stephani, Dietrich Kramer, Malcolm MacCallum, Cornelius Hoenselaers, Eduard Herlt. Einstein'ın Alan Denklemlerinin Kesin Çözümleri. Cambridge: Cambridge University Press, 2003. Bölüm 6.

[OS-3-3] Subrahmanyan Chandrasekhar. Kara Deliklerin Matematiksel Teorisi. Oxford: Oxford University Press, 1998. Bölüm 9. (a).

[OS-4-4] Jeremy Bransom Griffiths, Jiri Podolsky. Einstein'ın Genel Göreliliğinde Kesin Uzay-Zamanlar. Cambridge: Cambridge University Press, 2009. Bölüm 2.1.3.

[OS-5-5] P Schneider, J Ehlers, E E Falco. Yerçekimi Lensleri. Berlin: Springer, 1999. Bölüm 3.4.2.

[6] Sayan Kar, Soumitra SenGupta. Raychaudhuri denklemleri: kısa bir inceleme. Pramana, 2007, 69(1): 49-76. [arxiv.org/abs/gr-qc/0611123v1 gr-qc / 0611123]

[1]

[2]

[3]

[4]

[5]

[6]