Optik metrik - Optical metric - Wikipedia

Bu makale bir yetim, başka hiçbir makale olmadığı gibi ona bağlantı. Lütfen bağlantıları tanıtmak dan bu sayfaya İlgili Makaleler; dene Bağlantı bul aracı öneriler için. (2015 Şubat)

Optik Metrik Alman teorik fizikçi tarafından tanımlandı Walter Gordon 1923'te ^[1] hareketli dielektrik malzemelerle dolu kavisli uzay-zamanda geometrik optiği incelemek. İzin Vermek sen_a normalleştirilmiş (kovaryant) olun 4 hız rasgele hareket eden dielektrik ortamın uzay-zamanı doldurduğu ve sıvının elektromanyetik özelliklerinin doğrusal, izotropik, şeffaf, dağılmayan olduğunu ve iki skaler fonksiyonla özetlenebileceğini varsayalım: a dielektrik geçirgenlik ε ve bir manyetik geçirgenlik μ.^[2] Sonra optik ölçü tensör olarak tanımlanır

${ displaystyle { hat {g}} _ {ab} = g_ {ab} pm sol (1 - { frac {1} { epsilon mu}} sağ) u_ {a} u_ {b} ,}$

nerede ${ displaystyle g_ {ab}}$ ... fiziksel metrik tensör. İşareti ${ displaystyle pm}$ tarafından belirlenir metrik imza kullanılan kongre: ${ displaystyle pm}$ bir artı işareti (+) ile değiştirilir metrik imza (-, +, +, +), (+, -, -, -) için bir eksi işareti (-) seçilir.

Ters (kontravaryant) optik metrik tensör

${ displaystyle { hat {g}} ^ {ab} = g ^ {ab} pm (1- epsilon mu) u ^ {a} u ^ {b},}$

nerede sen^a hareket eden sıvının kontravaryant 4 hızına eşittir. kırılma indisi olarak tanımlanır n(x) ≡ √εμ.

Özellikleri

Hakkında önemli bir gerçek Gordon'un optik metriği Dielektrik malzeme ile dolu kavisli uzay-zamanda, elektromanyetik dalgaların (geometrik optik yaklaşımı altında) fiziksel ölçü yerine optik ölçünün jeodeziklerini takip etmesidir. Sonuç olarak, dielektrik malzeme ile kavisli uzay-zamanda geometrik optiğin incelenmesi, bazen optik metrik kullanılarak basitleştirilebilir (fiziksel sistemin dinamiklerinin hala fiziksel metrikle tanımlandığına dikkat edin). Örneğin, optik metrik, çalışmak ışıma aktarımı nötron yıldızları ve beyaz cüceler gibi kompakt astrofiziksel nesnelerin etrafındaki yıldız atmosferlerinde ve kara deliklerin etrafındaki toplanma disklerinde.^[3]Kozmolojide, optik metrik, galaksiler arası veya yıldızlararası ortamın yokolmayan bir kırılma indisine sahip olduğu kozmolojik modellerde uzaklık-kırmızıya kayma ilişkisini incelemek için kullanılabilir.

Tarih

Optik metrik kavramının Gordon tarafından 1923'te ilk kez tanıtılmasından sonra, optik metriğin matematiksel biçimselliği, Jürgen Ehlers 1967'de^[4] kavisli uzay-zamanda geometrik optik yaklaşımın ayrıntılı bir tartışması ve optik skalerler taşıma denklemi. Gordon'un optik metriği Bin Chen tarafından genişletildi ve Ronald Kantowski ^[5] ışık emilimini dahil etmek. Orijinal gerçek optik metrik sonuç olarak bir karmaşık bir. Optik metrik, Robert Thompson tarafından daha da genelleştirildi ^[6] sadece skaler değerli olarak tanımlanan basit izotropik ortamdan ε ve μ kavisli arka plan uzay-zamanlarında bulunan bianizotropik, manyetoelektrik olarak bağlı ortama.

Başvurular

Gordon'un optik metrik teorisinin kozmolojiye ilk uygulaması da Bin Chen ve Ronald Kantowski tarafından yapıldı.^[7]Homojen ve izotropik Friedman-Lemaitre-Robertson-Walker'da absorpsiyon düzeltilmiş mesafe-kırmızıya kayma ilişkisi (FLRW) evren denir Gordon-Chen-Kantowski biçimcilik ^[8] ve Evrendeki galaksiler arası ortamın (veya kozmik opaklığın) emilimini incelemek için kullanılabilir.

Örneğin, bir Robertson-Walker uzay zamanı için fiziksel metrik yazılabilir (metrik imza (-, +, +, +) kullanılarak)

${ displaystyle g = -c ^ {2} dt ^ {2} + R ^ {2} (t) sol [{ frac {dr ^ {2}} {1-kr ^ {2}}} + r ^ {2} (d theta ^ {2} + sin ^ {2} theta , d phi ^ {2}) sağ],}$

nerede ${ displaystyle k = 1,0, -1}$ kapalı, düz veya açık bir evren için ve ${ displaystyle R (t)}$ ... Ölçek faktörü Öte yandan, kalan homojen kırılma materyali ile dolu Robertson-Walker Universe için optik metrik

${ displaystyle { hat {g}} = - { frac {c ^ {2}} {n ^ {2} (t)}} dt ^ {2} + R ^ {2} (t) sol [ { frac {dr ^ {2}} {1-kr ^ {2}}} + r ^ {2} (d theta ^ {2} + sin ^ {2} theta , d phi ^ { 2}) sağ],}$

nerede ${ displaystyle n (t)}$ kozmik zamana bağlı kırılma indisi.

parlaklık mesafesi -kırmızıya kayma Karanlık absorpsiyonlu bir Flat FLRW evreninde ilişki yazılabilir

${ displaystyle d_ {L} (z) = (1 + z) { frac {c} {H_ {0}}} e ^ {- tau / 2} int _ {0} ^ {z} { frac {dz '} {h (z')}}}$

nerede z kozmolojik kırmızıya kayma, c ışık hızı H₀ Hubble Sabiti, τ soğurmanın (veya kozmik opaklık denilen) neden olduğu optik derinliktir ve h (z) boyutsuz Hubble eğrisidir. Sıfır olmayan bir kozmik opaklık, Tip Ia süpernovaları gibi standart mumların şeffaf bir Evrenden beklenenden daha sönük görünmesini sağlayacaktır. Bu, kozmik genişlemenin gözlemlenen görünür hızlanmasının alternatif bir açıklaması olarak kullanılabilir.

Analog yerçekimi

İçinde analog yerçekimi modelleri "Gordon formu", bir düz (Minkowski) metriği ve 4-hız alanı u toplamı olarak eğimli bir uzay zamanı için metriği ifade eder:

${ displaystyle g _ { mu nu} = eta _ { mu nu} + { büyük (} 1-n ^ {- 2} { büyük)} u _ { mu} u _ { nu}, }$

burada n kırılma indisidir. Bu, zaman benzeri yerine sıfır vektör alanı kullanan Kerr-Schild formuna benzer. Açık bir soru, hangi uzay zamanlarının bu şekilde ifade edilebileceğidir. Buradaki zorluk, yukarıdaki ilişkinin geçerli olduğu koordinat sistemlerini seçmektir. Schwarzschild uzay-zaman Dönmeyen bir kara deliği tanımlayan, bu şekilde ifade edilebilir.^[9] İçin ilerleme kaydedildi Kerr uzay-zaman dönen bir kara deliği tanımlıyor, ancak bu durum belirsizliğini koruyor.^[10]

Kavisli uzay zamanlarında bulunan medyada elektrodinamik

Dielektrik geçirgenlik ε ve manyetik geçirgenlik μ Genellikle elektrodinamiğin 3 vektör gösterimi içinde ilişkiler aracılığıyla anlaşılır ${ textstyle { vec {D}} = varepsilon { vec {E}}}$ ve ${ textstyle { vec {B}} = mu { vec {H}},}$ nerede ${ textstyle { vec {E}}, { vec {B}}, { vec {D}},}$ ve ${ textstyle { vec {H}}}$ sırasıyla Elektrik alanı, manyetik akı yoğunluğu, elektrikle yer değiştirme, ve manyetik alan yoğunluğu, ve nerede ε ve μ matrisler olabilir. Öte yandan genel görelilik 4 boyutlu tensörlerin dilinde formüle edilmiştir. Tensorial optik metrik, geçirgenlik, geçirgenlik ve geçirgenlik gibi orta özellikleri elde etmek için manyetoelektrik kaplinler ilk önce 4 boyutlu eşdeğişken tensörlere yükseltilmeli ve bir arka plan uzay-zaman içinde bulunan bu tür ortamlar boyunca ışığın yayılmasının elektrodinamiği de uyumlu bir 4 boyutlu şekilde ifade edilmelidir. Burada elektrodinamik alanlar şu terimlerle açıklanacaktır: diferansiyel formlar, dış cebir, ve dış türev. 3-vektörlerin bir okla gösterilmesine benzer şekilde, ${ textstyle { vec {E}},}$ 4 boyutlu tensörler, örneğin kalın sembollerle gösterilecektir. ${ displaystyle { boldsymbol {E}}.}$ müzikal izomorfizmler endekslerin metrikle yükselip alçaltıldığını belirtmek için kullanılacaktır ve bitişik endekslerdeki daralmayı belirtmek için bir nokta notasyonu kullanılır, örn. ${ displaystyle { boldsymbol {u}} cdot { boldsymbol {F}} = u ^ { alpha} F _ { alpha beta}.}$ Işık hızı ayarlandı ${ displaystyle c = 1,}$ ve vakum geçirgenliği ve geçirgenliği de aynı şekilde 1'e ayarlanır.

Elektrodinamiğin temel miktarı potansiyel 1-formdur ${ displaystyle { boldsymbol {A}},}$ alan gücü tensörünün 2-form olduğu ${ textstyle { boldsymbol {F}} = d { boldsymbol {A}}.}$ Dış türevin sıfır potansiyelinden biri hemen homojen Maxwell denklemlerine sahiptir.

${ displaystyle d { boldsymbol {F}} = 0,}$

Yang-Mills eyleminin bir varyasyonu

${ displaystyle S = int { frac {1} {2}} { boldsymbol {F}} wedge star { boldsymbol {F}} - { boldsymbol {A}} wedge { boldsymbol {J }}}$

göre ${ displaystyle { boldsymbol {A}}}$ homojen olmayan Maxwell denklemlerini sağlar

${ displaystyle d yıldız { mathbf {F}} = { mathbf {J}}}$

nerede ${ displaystyle { boldsymbol {J}}}$ şarj akımı 3-formdur^[11]. Dielektrik ortamda, aksi takdirde nötr atomlara bağlı yükler vardır. Bu yükler çok fazla hareket etmekte özgür değildir, ancak atom içindeki yük dağılımındaki bozulmalar, bir dipol alanıyla ilişkili olan dipol (veya daha genel olarak çok kutuplu) momentlerin oluşmasına izin verebilir. Ücret-akım üç formunda bağlı ve ücretsiz ücretleri ayırma ${ textstyle { boldsymbol {J}} = { boldsymbol {J}} _ {bound} + { boldsymbol {J}} _ {free},}$ bağlı kaynak, polarizasyon alanı adı verilen belirli bir çözümle ilişkilidir ${ textstyle { boldsymbol {P}}}$ doyurucu

${ displaystyle d star { boldsymbol {P}} = { boldsymbol {J}} _ {bağlı}.}$

Biri sonra yazabilir

${ displaystyle d { boldsymbol {G}} = d star ({ boldsymbol {F}} + { boldsymbol {P}}) = { boldsymbol {J}} _ {free}}$

ile kurucu denklem

${ displaystyle { boldsymbol {G}} = star ({ boldsymbol {F}} + { boldsymbol {P}}).}$

Doğrusal ortamda, çift kutup momenti, olay serbest alanı tarafından, polarizasyon alanı serbest alanla doğrusal olarak orantılı olacak şekilde indüklenir, ${ displaystyle { boldsymbol {P}} = { boldsymbol { zeta}} ({ boldsymbol {F}})}$ (endekslerde bu ${ displaystyle P _ { alpha beta} = zeta _ { alpha beta} {} ^ { mu nu} F _ { mu nu}}$). Daha sonra kurucu denklem yazılabilir

${ displaystyle { boldsymbol {G}} = star { boldsymbol { chi}} { boldsymbol {F}}.}$

${ textstyle { binom {2} {2}}}$ tensör ${ displaystyle { boldsymbol { chi}} = chi _ { alpha beta} {} ^ { mu nu}}$ her indis çiftinde antisimetriktir ve vakum önemsiz bir dielektrik olarak görülür, öyle ki ${ textstyle { boldsymbol { chi}} _ {vac} { boldsymbol {F}} = { boldsymbol {F}}.}$ Bu, dielektrik malzemenin kavisli arka plan uzay-zamanı içindeki dağılımının işlevsel olarak tamamen tanımlanabileceği anlamına gelir. ${ textstyle chi}$ ve vakumdan ortama yumuşak geçişler tanımlanabilir. elektrik ve manyetik alanlar ${ textstyle { vec {E}}, { vec {B}}, { vec {D}},}$ ve ${ textstyle { vec {H}},}$ 3-vektör gösteriminde yaygın olarak anlaşıldıkları için bağımsız bir varlıkları yoktur. 2-formun yalnızca farklı parçalarıdır ${ textstyle { boldsymbol {F}}}$ ve ${ displaystyle { boldsymbol {G}},}$ seçilen bir gözlemciye göre ölçüldüğü gibi. İzin Vermek ${ displaystyle { boldsymbol {u}}}$ Gözlemcinin kontravaryant hızı 4-vektörü. Daha sonra kovaryant 1-formları tanımlanabilir

${ displaystyle { boldsymbol {E}} = { boldsymbol {u}} cdot { boldsymbol {F}}, quad { boldsymbol {B}} = - { boldsymbol {u}} cdot star { boldsymbol {F}},}$

${ displaystyle mathbf {D} = - mathbf {u} cdot star mathbf {G}, quad mathbf {H} = - mathbf {u} cdot mathbf {G}.}$

Karşılık gelen 3-vektörler, bu 1-formların karşıt varyantlarının tamamen uzaysal (gözlemciye göre) kısımları alınarak Minkowski uzay-zamanında elde edilir. Bu 1 formlu alan tanımları, 2 formlu kurucu denklemi iki 1 formlu denklem setine yeniden ifade etmek için kullanılabilir.^[6]

${ displaystyle { boldsymbol {D}} = { boldsymbol { varepsilon}} ^ {c} cdot { boldsymbol {E}} + { boldsymbol { gamma}} _ {b} ^ {c} cdot { boldsymbol {B}},}$

${ displaystyle { boldsymbol {H}} = { boldsymbol { xi}} cdot { boldsymbol {B}} + { boldsymbol { gamma}} _ {e} ^ {c} cdot mathbf { E}.}$

nerede ${ textstyle { binom {1} {1}}}$ tensörler ${ displaystyle { boldsymbol { varepsilon}} ^ {c}, { boldsymbol { xi}}, { boldsymbol { gamma}} _ {b} ^ {c},}$ ve ${ displaystyle { boldsymbol { gamma}} _ {e} ^ {c}}$ vardır

${ displaystyle { boldsymbol { varepsilon}} ^ {c} = - 2 ({ boldsymbol {u}} cdot { boldsymbol { chi}} cdot { boldsymbol {u}} ^ { flat} ),}$

${ displaystyle { boldsymbol { xi}} = 2 ({ boldsymbol {u}} cdot star { boldsymbol { chi}} star cdot { boldsymbol {u}} ^ { flat}) ,}$

${ displaystyle { boldsymbol { gamma}} _ {b} ^ {c} = - 2 ({ boldsymbol {u}} cdot { boldsymbol { chi}} star cdot { boldsymbol {u} } ^ { flat}),}$

${ displaystyle { boldsymbol { gamma}} _ {e} ^ {c} = 2 ({ boldsymbol {u}} cdot star { boldsymbol { chi}} cdot { boldsymbol {u}} ^ { flat}).}$

Bu tensörlerin her birinin ortogonal veya enine olduğuna dikkat edin. ${ displaystyle { boldsymbol {u}},}$ anlamında ${ displaystyle { boldsymbol {u}} cdot { boldsymbol { alpha}} = { boldsymbol { alpha}} cdot { boldsymbol {u}} ^ { flat} = 0}$ her biri için ${ displaystyle { boldsymbol { alpha}} in {{ boldsymbol { varepsilon}} ^ {c}, { boldsymbol { xi}}, { boldsymbol { gamma}} _ {b} ^ {c}, { boldsymbol { gamma}} _ {e} ^ {c} }}$antisimetrisinden görülebilen ${ displaystyle { boldsymbol { chi}}}$ her bir endeks çiftinde. Yukarıda tanımlanan 1-biçimli alanların her biri aynı zamanda enine olduğundan ${ displaystyle { boldsymbol {u}},}$ her birinin ${ displaystyle { boldsymbol { alpha}}}$ gözlemciye göre ortogonalite ile tanımlanan kotanjant uzayın bir alt uzayının bir otomorfizmidir. Başka bir deyişle, her şey gözlemcinin tamamen uzaysal 3 boyutlu uzayında işler. Bu parametreler açısından, ${ displaystyle { boldsymbol { chi}}}$ olduğu bulundu^[6]

${ displaystyle { boldsymbol { chi}} = { frac {1} {2}} left [- ({ boldsymbol {u}} ^ { flat} wedge { boldsymbol { varepsilon}} ^ {c} wedge { boldsymbol {u}}) + star ({ boldsymbol {u}} ^ { flat} wedge { boldsymbol { xi}} wedge { boldsymbol {u}}) - star ({ boldsymbol {u}} ^ { flat} wedge { boldsymbol { gamma}} _ {e} ^ {c} wedge { boldsymbol {u}}) + ({ boldsymbol {u }} ^ { flat} wedge { boldsymbol { gamma}} _ {b} ^ {c} wedge { boldsymbol {u}}) star) right].}$

Yukarıda gösterilen 1-biçimli kurucu denklemler kümesi, kovaryant 2-biçimli kurucu denklemden en doğal olarak takip edenler olsa da ${ displaystyle { boldsymbol {G}} = star { boldsymbol { chi}} { boldsymbol {F}}}$tek olasılık onlar değil. Aslında, yapısal denklemlerin geleneksel 3-vektör formülasyonu genellikle aşağıdakilerle ilgilidir: ${ displaystyle { vec {B}}}$ ve ${ displaystyle { vec {H}}}$ tarafından ${ displaystyle { vec {B}} = mu { vec {H}}}$. Bu nedenle, önceki ilişkiler kümesini şu şekilde yeniden düzenlemek istenebilir:

${ displaystyle { boldsymbol {D}} = { boldsymbol { varepsilon}} cdot { boldsymbol {E}} + { boldsymbol { gamma}} _ {h} cdot { boldsymbol {H}} ,}$

${ displaystyle { boldsymbol {B}} = { boldsymbol { mu}} cdot { boldsymbol {H}} + { boldsymbol { gamma}} _ {e} cdot { boldsymbol {E}} ,}$

nerede ${ displaystyle { boldsymbol { varepsilon}}, { boldsymbol { mu}}, { boldsymbol { gamma}} _ {h}, { boldsymbol { gamma}} _ {e}}$ ile ilgilidir ${ displaystyle { boldsymbol { varepsilon}} ^ {c}, { boldsymbol { xi}}, { boldsymbol { gamma}} _ {b} ^ {c}, { boldsymbol { gamma}} _ {e} ^ {c}}$ tarafından

${ displaystyle { boldsymbol { mu}} = { bar { boldsymbol { xi}}},}$

${ displaystyle { boldsymbol { varepsilon}} = { boldsymbol { varepsilon}} ^ {c} - { boldsymbol { gamma}} _ {b} ^ {c} cdot { boldsymbol { mu} } cdot { boldsymbol { gamma}} _ {e} ^ {c},}$

${ displaystyle { boldsymbol { gamma}} _ {e} = - { boldsymbol { mu}} cdot { boldsymbol { gamma}} _ {e} ^ {c},}$

${ displaystyle { boldsymbol { gamma}} _ {h} = { boldsymbol { gamma}} _ {b} ^ {c} cdot { boldsymbol { mu}}.}$

Bu tensörlerin 4 boyutlu tersi mevcut değil, ancak çubuk gösterimi ${ displaystyle { bar { boldsymbol { xi}}}}$ ortogonal altuzay ile ilgili olarak tanımlanan bir tersi belirtir ${ displaystyle { boldsymbol {u}},}$ var olan ve yukarıda belirtildiği için geçerli bir işlemdir ${ displaystyle { boldsymbol { xi}}}$ bu altuzayın bir otomorfizmidir. Minkowski uzay-zamanda uzay-uzay bölümü (gözlemciye göre ${ displaystyle { boldsymbol {u}}}$) bu tensörlerin her biri geleneksel ${ displaystyle 3 times 3}$ 3-vektör elektrodinamiğinin kurucu matrisleri. Bu alternatif kurucu tensör seti açısından, ${ displaystyle { boldsymbol { chi}}}$ olduğu bulundu ^[6]

${ displaystyle { boldsymbol { chi}} = { frac {1} {2}} left [- ({ boldsymbol {u}} ^ { flat} wedge { boldsymbol { varepsilon}} kama { kalın sembol {u}}) + [ yıldız ({ boldsymbol {u}} ^ { flat} wedge { boldsymbol {h}}) + { boldsymbol {u}} ^ { flat} kama { boldsymbol { gamma}} _ {h}] cdot { bar { boldsymbol { mu}}} cdot [({ boldsymbol {h}} wedge { boldsymbol {u}} star + { boldsymbol { gamma}} _ {e} wedge { boldsymbol {u}}] right].}$

Buraya,

${ displaystyle { boldsymbol {h}} = { boldsymbol { delta}} - { boldsymbol {u}} ^ { flat} otimes { boldsymbol {u}}}$

herhangi bir tensör bileşenini paralel olarak yok eden bir projeksiyon operatörüdür. ${ displaystyle { boldsymbol {u}}.}$ Dan beri ${ displaystyle { boldsymbol {h}} cdot { boldsymbol { delta}} = { boldsymbol {h}}}$ sonra ${ displaystyle { boldsymbol {h}}}$ aynı zamanda Kronecker deltası alt uzayda ortogonal olarak ${ displaystyle { boldsymbol {u}}.}$ Vakumda ${ displaystyle { boldsymbol { varepsilon}} = { boldsymbol { mu}} = { boldsymbol {h}}, { boldsymbol { gamma}} _ {e} = { boldsymbol { gamma}} _ {h} = 0.}$

Geometrik optik ve optik metrik

Doğrusal dielektrik ortamda yayılan ışık için, serbest kaynakların yokluğunda Maxewell'in homojen olmayan denklemi, aşağıdakiler için bir dalga denklemini temsil eder: ${ displaystyle { boldsymbol {A}}}$ içinde Lorenz göstergesi, ${ displaystyle delta { boldsymbol {A}} = 0}$ (İşte ${ displaystyle delta}$ ... kodlayıcı ), veren

${ displaystyle star d star { boldsymbol { chi}} d mathbf {A} = delta { boldsymbol { chi}} d mathbf {A} = 0.}$

Düzlem dalga çözümlerinin bir JWKB tipi yaklaşımı,

${ displaystyle { boldsymbol {A}} = { hat { boldsymbol {A}}} e ^ {- (i lambda) ^ {- 1} S}}$

genlik nerede ${ displaystyle { şapka { boldsymbol {A}}}}$ faz fonksiyonuna kıyasla yavaş değişen olduğu varsayılır ${ displaystyle S.}$ Bu yaklaşık çözümü dalga denklemine takmak ve sınırda yalnızca önde gelen sıra terimlerini korumak ${ displaystyle lambda ile 0}$ sebep olur

${ displaystyle - ({ boldsymbol {k}} ^ { sharp} cdot { boldsymbol { chi}} cdot { boldsymbol {k}}) cdot { hat { boldsymbol {A}}} = 0}$

nerede ${ displaystyle { boldsymbol {k}} = dS.}$ Bu denkleme bir çözümün varlığı,

${ displaystyle det sol ({ boldsymbol {k}} ^ { sharp} cdot { boldsymbol { chi}} cdot { boldsymbol {k}} sağ) = 0.}$

Aslında, bu belirleyici koşul aynı şekilde karşılanır çünkü ikinci çift indeksteki antisimetri ${ displaystyle { boldsymbol { chi}}}$ gösterir ki ${ displaystyle { hat { boldsymbol {A}}} propto { boldsymbol {k}}}$ zaten önemsiz bir çözüm. Bu nedenle, önemsiz olmayan herhangi bir çözüm, 3 boyutlu alt uzayda ortogonal olarak bulunmalıdır. ${ displaystyle { boldsymbol {k}},}$ yani tensör ${ displaystyle { boldsymbol {k}} ^ { sharp} cdot { boldsymbol { chi}} cdot { boldsymbol {k}}}$ sadece 3 boyutludur. Dolayısıyla belirleyici koşul herhangi bir bilgi sağlamak için yetersizdir. Ancak klasik tamamlayıcı bir matrisin ${ displaystyle M}$ belirleyicisi ile ilgilidir: ${ displaystyle M. mathrm {adj} (M) = det (M) I}$. Bu durumda beri ${ displaystyle det (M) = 0}$ fakat ${ displaystyle M}$ keyfi ise ikincil koşul elde edilir

${ displaystyle mathrm {adj} sol ({ boldsymbol {k}} ^ { sharp} cdot { boldsymbol { chi}} cdot { boldsymbol {k}} sağ) = 0.}$

Bir matrisin ekinin hala bir matris olduğuna dikkat edin, bu nedenle skaler belirleyici koşul artık bir matris koşulu ile değiştirilmiştir. Bu, soruna büyük bir karmaşıklık katıyor gibi görünse de,^[6] bu adjugenin forma sahip olduğunu

${ displaystyle mathrm {adj} sol ({ boldsymbol {k}} ^ { sharp} cdot { boldsymbol { chi}} cdot { boldsymbol {k}} sağ) = P ({ kalın sembol {k}} otimes { kalın sembol {k}} ^ { keskin}),}$

nerede ${ displaystyle P}$ dördüncü dereceden bir polinomdur ${ displaystyle { boldsymbol {k}}.}$ Bu nedenle, ek matris üzerindeki kaybolma koşulu, skaler koşula eşdeğerdir

${ displaystyle P = 0.}$

Şimdi amaç, polinomun ${ displaystyle P}$ formu alır

${ displaystyle P propto sol [{ frac {1} {2}} { boldsymbol { mathfrak {g}}} _ {+} ^ {- 1} ({ boldsymbol {k}} otimes { boldsymbol {k}}) right] left [{ frac {1} {2}} { boldsymbol { mathfrak {g}}} _ {-} ^ {- 1} ({ kalın sembol {k} } otimes { boldsymbol {k}}) sağ].}$

Sonra durum ${ displaystyle P = 0}$ ikisinden biri tarafından tatmin edildi ${ displaystyle { tfrac {1} {2}} { boldsymbol { mathfrak {g}}} _ { pm} ^ {- 1} ({ boldsymbol {k}} otimes { boldsymbol {k} }) = 0}$ (endekslerle yazılmış, ${ displaystyle { tfrac {1} {2}} { mathfrak {g}} _ { pm} ^ { mu nu} k _ { mu} k _ { nu} = 0}$). Şimdiye kadar gösterilen şey, Maxwell denklemlerinin dalga çözümlerinin ışın sınırında, bu iki polinom koşulundan birini sağlaması gerektiğidir. Tensörler ${ displaystyle { boldsymbol { mathfrak {g}}} _ { pm} ^ {- 1}}$ bu nedenle hafif koni yapılarını belirler. İki tane olması gerçeği, iki polarizasyon durumunun her biri için bir tane, yani çift kırılma olmak üzere çift ışıklı bir koni yapısına işaret eder. Vakumda, kolayca bulunur ${ displaystyle { boldsymbol { mathfrak {g}}} _ {+} ^ {- 1} = { boldsymbol { mathfrak {g}}} _ {-} ^ {- 1} = { kalın sembol {g }} ^ {- 1}}$ uzay-zaman ölçüsüne dejenere olur. Beri ${ displaystyle { boldsymbol { mathfrak {g}}} _ { pm} ^ {- 1}}$ medyadaki lightcones'i şu şekilde belirleyin: ${ displaystyle { boldsymbol {g}} ^ {- 1}}$ vakum için yapar, bunlar optik ölçümler olarak adlandırılır. Bununla birlikte, uzay-zaman metriğinin aynı zamanda vakumda optik ölçü olarak da hizmet ettiği görüşünü almak belki daha uygun olacaktır.^[6]Uzay-zaman metriğinin boşluktaki mevcut tek yapı olduğu düşünüldüğünde bu o kadar da şaşırtıcı değildir. Şimdiye kadar, biçimi üzerine hiçbir varsayım dayatılmamıştır. ${ displaystyle { boldsymbol { varepsilon}}, { boldsymbol { mu}}, { boldsymbol { gamma}} _ {e},}$ veya ${ displaystyle { boldsymbol { gamma}} _ {h},}$ bu nedenle şu anda 36 serbestçe tanımlanabilen parametre vardır. Optik ölçümleri belirlemek için Thompson, ${ displaystyle { boldsymbol { gamma}} _ {e}}$ ve ${ displaystyle { boldsymbol { gamma}} _ {h}}$ göre antisimetriktir ${ displaystyle { boldsymbol {g}}}$ (yani endeksler açıkken antisimetrik ${ displaystyle { boldsymbol { gamma}} _ {e}}$ ve ${ displaystyle { boldsymbol { gamma}} _ {h}}$ ikisi de yukarı veya aşağıdır). Antisimetri koşulu, formlara yazılmasına izin verir

${ displaystyle { boldsymbol { gamma}} _ {e} = ({ boldsymbol {h}} wedge { boldsymbol {u}}) star cdot { boldsymbol { gamma}} _ {e1} ,}$

${ displaystyle { boldsymbol { gamma}} _ {h} = ({ boldsymbol { gamma}} _ {h1}) ^ { sharp} cdot star ({ boldsymbol {u}} wedge { boldsymbol {h}}).}$

Bu kısıtlama ile, ${ displaystyle P}$ dır-dir iki kadrolu içinde ${ displaystyle { boldsymbol {k}} cdot { boldsymbol {u}}}$ ve faktörlere ayrılabilir

${ displaystyle P = H _ {+} H _ {-}}$

nerede

${ displaystyle H _ { pm} = { frac {1} {2}} ({ boldsymbol {u}}. mathrm {adj} left ({ boldsymbol { varepsilon}} sağ). { kalın sembol {u}} ^ { flat}) left [(u ^ { mu} u ^ { nu} - { frac {1} {2}} W _ { alpha} {} ^ { alpha mu nu}) k _ { mu} k _ { nu} pm { sqrt { left ({ frac {1} {2}} W _ { alpha} {} ^ { beta mu nu} W _ { beta} {} ^ { alpha sigma rho} - { frac {1} {4}} W _ { alpha} {} ^ { alpha mu nu} W _ { beta} {} ^ { beta sigma rho} sağ) k _ { mu} k _ { nu} k _ { sigma} k _ { rho}}} sağ]}$

ile

${ displaystyle W _ { alpha} {} ^ { kappa mu nu} = u ^ { theta} u _ { pi} delta _ { theta psi beta varphi} ^ { pi lambda kappa rho} g _ { lambda tau} { bar { varepsilon}} _ { sigma} {} ^ { tau} g ^ { sigma psi} { bar { mu}} _ { alpha} {} ^ { beta} g ^ { eta varphi} ( delta _ { rho} ^ { mu} + ( gamma _ {e1}) _ { rho} {} u ^ { mu}) ( delta _ { eta} ^ { nu} + ( gamma _ {h1}) _ { eta} u ^ { nu}).}$

Son olarak, optik ölçümler şuna karşılık gelir:

${ displaystyle { boldsymbol { mathfrak {g}}} _ { pm} ^ { mu nu} = { frac { kısmi ^ {2} H _ { pm}} { kısmi k _ { mu } kısmi k _ { nu}}}.}$

Karekökün varlığı ${ displaystyle H _ { pm},}$ ve sonuç olarak ${ displaystyle { boldsymbol { mathfrak {g}}} _ { pm} ^ {- 1},}$ çift ​​kınlımlı optik ölçütlerin sözde Finslerian tipte olduğunu göstermektedir. Buradaki önemli bir özellik, optik metriğin yalnızca bir konum işlevi değil, aynı zamanda ${ displaystyle { boldsymbol {k}}}$. Bu sözde Finslerian optik metrikler, Post koşullarının kavisli bir uzay-zaman genellemesine uyan ortamlar için ortak, çift kırılma olmayan, sözde Riemann optik ölçüsüne dejenere olur.^[12][6].

Referanslar