Täydellisten nesteiden liike- ja termodynaamiset yhtälöt ovat keskeisiä kosmologisessa ja tähtitieteellisessä tutkimuksessa. Näiden nesteiden liike voidaan kuvata seuraavilla yhtälöillä: (12.17), joissa Tαβ saadaan (12.73):sta. Tämän lisäksi otetaan huomioon, että partikkelitiheys n pysyy vakiona prosesseissa, joissa ei tapahdu partikkelien syntymistä tai hävittämistä. Tällöin tietyssä tilavuudessa olevien partikkelien kokonaismäärä pysyy muuttumattomana ajan hetkellä t2 verrattuna aikaan t1 < t2, tai se on yhtä suuri kuin alkuperäisten partikkelien määrä t1:ssä ja niiden määrä, joka saapuu tai poistuu tilavuudesta t1 ja t2 välillä.

Tässä yhteydessä on tärkeää sisällyttää jatkuvuusyhtälö partikkelitiheydelle n: (nuα);α = 0. Tämä yhtälö tarkoittaa sitä, että partikkelivirta ei voi muodostaa tai tuhoutua, vaan sen määrä pysyy vakiona tietyssä ajanhetkessä.

Fenomenologisessa termodynamiikassa, jos järjestelmän tilavuus V on määritelty, systeemin entalpia H saadaan kaavasta H = U + pV, jossa U on järjestelmän sisäenergia. Kosmologiassa tai tähtitieteellisissä laskelmissa, joissa tarkastellaan tähtien sisäosia, määritelty tilavuus on usein partikkelikohtainen tilavuus Vp = 1/n, ja (ϵ+p) on entalpian tiheys. Tällöin voidaan määritellä entalpia per partikkeli seuraavasti: ℋ = (ϵ + p)/n.

Näin ollen voidaan olettaa, että yksittäisen partikkelin kohdalla fenomenologinen termodynamiikka pätee. Entalpian muutos seuraa Gibbsin identiteettiä: dH = V dp + TdS. Tämän vuoksi ϵ ja p voidaan laskea Einsteinin yhtälöiden avulla, ja n ja V = 1/n saavat selkeän fysikaalisen tulkinnan. Tämä mahdollistaa entalpian H ja entalpian tiheyden ℋ käsitteellistämisen ja tarkastelun.

Fenomenologinen termodynamiikka sanoo, että kaksi tilanfunktiota riittävät täydelliseen termodynaamiseen kuvaukseen yksikomponenttiselle aineelle; muut funktiot voidaan laskea tilanyhtälöstä. Tässä tapauksessa voidaan sanoa, että enintään kaksi kolmesta funktiosta p, V ja ℋ ovat riippumattomia. Tällöin differentiaalimuoto (dℋ - V dp) on funktio, joka riippuu vain kahdesta muuttujasta, ja se tarvitsee integrointitekijän. Tämä tekijä 1/T johtaa siihen, että (1/T)(dℋ - V dp) on täydellinen differentiaali, jonka integroimiseksi saadaan kaava dℋ = dp/n + TdS.

Näin ollen lämpötila T ja entropia S määritellään käyttämällä näitä yhtälöitä. Integrointitekijä 1/T ja funktio S eivät ole yksikäsitteisiä, mutta termodynamiikan sääntöjen mukaan voidaan todeta, että lämpötila T määräytyy lineaaristen muunnosten kautta (Werle, 1957). Tiedetään, että tietyissä symmetrisissä ratkaisumalleissa kaikki metriset komponentit ja termodynaamiset suureet riippuvat vain kahdesta muuttujasta, jolloin lämpötila ja entropia saavat selkeän määritelmän.

Kuitenkin, jos metrikassa on yksiulotteinen symmetriaryhmä tai ei ole symmetriaa lainkaan, niin funktiot ϵ, p ja n riippuvat kolmesta tai neljästä muuttujasta, ja silloin integrointitekijän olemassaolo (dℋ - V dp) on lisäolettamus. Tällaista tilaa kutsutaan termodynamiikkaa hyväksyväksi avaruusajaksi. Bona ja Coll (1985, 1988) olivat ensimmäisiä, jotka huomasivat, että kaikkiin sellaisiin avaruusaikoihin, joilla ei ole symmetriaa, ei voida soveltaa yksinkertaista termodynaamista mallia. He osoittivat myös, että Stephani-uni-versumissa (Stephani, 1967a), joka yleensä ei omaa symmetriaa, esiintyy 3-ulotteinen symmetriaryhmä, joka vaikuttaa 2-ulotteisiin orbiitteihin, kun termodynamiikan kaavio on otettu käyttöön.

Tämä ongelma on ollut keskeinen myös kosmologian ja tähtitieteen alalla, sillä se on vaikuttanut siihen, miten termodynamiikkaa voidaan soveltaa epäsymmetrisiin malliratkaisuihin. Edelleen, tämä herättää tarpeen pohtia yksikomponenttisten nesteiden termodynamiikan tarkempia piirteitä.

Tässä kohdassa voidaan tarkastella yksikomponenttisten nesteiden termodynamiikkaa tarkemmin. Edellisten yhtälöiden (15.55) – (15.58) ja (12.17) avulla voidaan johtaa täydellisten nesteiden liikkeen kuvaus seuraavaksi:

0 = nuβ (ℋuα);β - p,α = n uβ (ℋuα);β - ℋ,α + TS,α.

Koska uαuα = 1 ja uβuβ;α = 0, saadaan yksinkertaistettu muoto:

0 = uβ [(ℋuα);β - (ℋuβ);α] + TS,α = uβ [(ℋuα),β - (ℋuβ),α] + TS,α.

Tämä osoittaa, että entropia on vakio täydellisen nesteen virtaviivoilla, ja erityisesti kun S,α = 0, eli entropia on vakio koko tarkasteltavassa tilavuudessa. Tällöin puhutaan isentrooppisesta liikkeestä.

Tämä puolestaan tarkoittaa sitä, että yksikomponenttisen täydellisen nesteen tilanyhtälö saadaan yksinkertaistettua muotoon ϵ = ϵ(n) ja p = p(n), jolloin tilanyhtälöstä tulee barotrooppinen. Tämä on yleisesti käytetty lähestymistapa kosmologiassa, erityisesti Robertson-Walker-mallien symmetrian vuoksi.

On myös tärkeää huomata, että tietyissä tilanteissa täydelliset nesteet voivat käyttäytyä eri tavalla riippuen siitä, onko kyseessä symmetrinen vai ei-symmetrinen malli. Tällöin termodynamiikan mallin rakenne voi poiketa yksinkertaisista oletuksista, ja tämän ymmärtäminen on välttämätöntä, kun tarkastellaan epäsymmetrisiä avaruusaikoja tai monimutkaisempia kosmologisia malleja.

Miten geometrian kaarevuus vaikuttaa sähkömagneettisen aallon etenemiseen?

Maxwellin yhtälöiden ensimmäisen kertaluvun termit toimivat lähteinä nollakertaluvun termeille. Verrattaessa tätä kaavaa Maxwellin yhtälöihin tyhjässä avaruudessa, havaitaan, että sähkömagneettinen aalto ei itse asiassa etene tyhjiöön. Korkeamman kertaluvun termit toimivat välineenä, jossa on virtoja ja varauksia, joiden vaikutuksesta nollakertaluvun aaltoa voidaan hajottaa. Samalla tavoin ensimmäisen kertaluvun termit saavat vaikutteita toisen kertaluvun termeistä ja niin edelleen. Tämä on geometrian kaarevuuden vaikutus sähkömagneettisen aallon etenemiseen. (Tasaisessa avaruudessa kartesiolaisilla koordinaateilla vakio B0αβB_0^{\alpha\beta}, jossa Biαβ0B_i^{\alpha\beta} \equiv 0 kun i1i \geq 1, on ratkaisu yhtälöille (16.5) - (16.6).)

Oletetaan, että tämä kaava on itsenäinen (tästä olettamuksesta ei näyttäisi olevan virallista todistusta) ja että "häntä"-termit pysyvät pieninä. Tämän jälkeen tarkastellaan yhtälön (16.4) seurauksia. Yhtälön (16.4) toinen lauseke voidaan kirjoittaa muotoon:

kαB0βγ+kβB0γα+kγB0αβ=0.(16.7)k^\alpha B_0^{\beta\gamma} + k^\beta B_0^{\gamma\alpha} + k^\gamma B_0^{\alpha\beta} = 0. \, (16.7)

Kun (16.3) on voimassa, vektorikentän kαk^\alpha pyörteisyys, joka määritellään myöhemmin tässä osassa, on nolla. Näin ollen geometrinen optiikka on tämän osalta yleisempi: aallon kuvaus ei salli säteiden kiertymistä. Tätä tulosta soveltamalla ja käyttäen (16.4) saadaan:

kαkα=0,(16.8)k^\alpha k_\alpha = 0, \, (16.8)

mikä tarkoittaa, että säteen aalto-vektori on nollavektori. Tästä seuraa, että:

k;βαkβ=0,(16.9)k^\alpha_{;\beta} k^\beta = 0, \, (16.9)

Koska kα=S,αk^\alpha = S_{,\alpha}, saamme:

k;βα=k;αβ,k^\alpha_{;\beta} = k^\beta_{;\alpha},

ja (16.9) soveltaen:

k;αβkα=0,(16.10)k^\beta_{;\alpha} k^\alpha = 0, \, (16.10)

mikä tarkoittaa, että kαk^\alpha on geodeettinen ja sen parametrisaatio on affiininen. Lisäksi, kun (16.7) kerrotaan B0βγB_0^{\beta\gamma} ja käytetään (16.4), saadaan:

B0αβ(B0)αβ=0.(16.11)B_0^{\alpha\beta}(B_0)_{\alpha\beta} = 0. \, (16.11)

Tämän jälkeen saadaan vielä seuraava:

kαB0βγ(B0)δγkβB0αγ(B0)δγ=0,(16.12)k^\alpha B_0^{\beta\gamma}(B_0)_{\delta\gamma} - k^\beta B_0^{\alpha\gamma}(B_0)_{\delta\gamma} = 0, \, (16.12)

Tämä yhtälö on muodoltaan:

kαVβkβVα=0,Vδ on ta¨ma¨n yhta¨lo¨n yla¨indeksi.k^\alpha V_\beta - k_\beta V^\alpha = 0, \quad V^\delta \text{ on tämän yhtälön yläindeksi.}

Tämä tarkoittaa, että vektorit VαV^\alpha ja kαk^\alpha ovat suhteellisia (kollineaarisia), joten:

B0αγ(B0)δγ=Uδkα,B_0^{\alpha\gamma}(B_0)_{\delta\gamma} = U_\delta k^\alpha,

missä UδU_\delta on (vektori)proportionaali vakio. Indeksi δ\delta alennettuna, (16.13) vasenpuoleinen termi on symmetrinen (αδ)(\alpha \delta) suhteen, joten:

UδkαUαkδ=0,U_\delta k^\alpha - U_\alpha k^\delta = 0,

ja saman argumentin mukaan:

Uα=μkα.U_\alpha = \mu k_\alpha.

Lopputulos on:

B0αγ(B0)δγ=μkαkδ.(16.14)B_0^{\alpha\gamma}(B_0)_{\delta\gamma} = \mu k^\alpha k_\delta. \, (16.14)

Yhtälöiden (16.11) ja (16.14) perusteella nähdään, että sähkömagneettisen kentän energia-momenttijännitystensorin (13.10) kenttä (16.1) - (16.2) on:

Tαβ=14π(μkαkβ+O(ϵ)),T^{\alpha\beta} = \frac{1}{4\pi} (\mu k^\alpha k^\beta + O(\epsilon)),

mikä on, lineaarisilla ϵ\epsilon-termeillä, täydellisen nesteen tyyppinen väline, jonka "4-nopeus" on kαk^\alpha. Koska kαk^\alpha on nollavektori, virtaustila vastaa valonnopeutta, joten tämä on fotonivirta. Tällöin T;βαβ=0T^{\alpha\beta}_{;\beta} = 0 ja (16.10) käyttöön ottaen saamme:

(μkα);α=0,(16.16)(\mu k^\alpha)_{;\alpha} = 0, \, (16.16)

mikä tarkoittaa, että fotonivirta on säilynyt.

Seuraavaksi tarkastellaan punasiirtymää. Liikkuva havaitsija, jonka 4-nopeus on uαu^\alpha, mittaa valoaallon vaihemuutoksen nopeuden vp=S,αuα=kαuαv_p = S_{,\alpha} u^\alpha = k^\alpha u_\alpha. Lyhyen aikavälin Δs\Delta s kuluessa vaihe muuttuu:

ΔS=kαuαΔs.\Delta S = k^\alpha u_\alpha \Delta s.

Toiselle havaitsijalle, joka liikkuu nopeudella u1αu^\alpha_1 ja mittaa vaiheen muutosta toisessa aika-avaruuspisteessä, jossa kα=k1αk^\alpha = k^\alpha_1, sama vaihemuutos ΔS\Delta S vie yleisesti eri aikavälin Δs1\Delta s_1:

ΔS=k1αu1αΔs1.\Delta S = k^\alpha_1 u_1^\alpha \Delta s_1.

Näin ollen:

Δs1Δs=kαuαk1αu1α.\frac{\Delta s_1}{\Delta s} = \frac{k^\alpha u_\alpha}{k^\alpha_1 u_1^\alpha}.

Jos sähkömagneettinen aalto on jaksollinen, niin ΔS\Delta S liittyy taajuuteen ν\nu seuraavasti:

ΔS=2πνΔs.\Delta S = 2\pi\nu \Delta s.

Silloin, kahdelle eri havaitsijalle mitattuna, meillä on:

ν1Δs1=ν2Δs2,\nu_1 \Delta s_1 = \nu_2 \Delta s_2,

joten punasiirtymän kaava on:

νeνo=1+z.\frac{\nu_e}{\nu_o} = 1 + z.

Tämä kaava johtaa tunnettuun kosmologiseen punasiirtymään, joka on johdettu ilman mitään erityistä kosmologista mallia.

Lopuksi, on tärkeää ymmärtää, että vaikka tämä kaava toimii kaikissa kosmologisissa malleissa, se pätee vain lähialueiden valolähteille. Pitkän matkan päässä olevien valolähteiden tapauksessa on otettava huomioon tarkempia laskelmia geodeettisten kaarien integroimisen kautta.