Schwarzschildova metrika

sfernosimetrična statična vakuumska singularna eksaktna rešitev Einsteinovih enačb polja z ničelno kozmološko konstanto v splošni teoriji relativnosti

Schwarzschildova métrika [švárcšildova ~] (znana tudi kot (zunanja) Schwarzschildova rešitev[1]) je v Einsteinovi splošni teoriji relativnosti singularna eksaktna rešitev Einsteinovih enačb polja, ki opisuje gravitacijsko polje zunaj sferne mase, pri čemer privzema, da so električni naboj mase, vrtilna količina mase in univerzalna kozmološka konstanta enaki nič. Rešitev je uporabni približek za opis počasi vrtečih se astronomskih teles, kot so mnoge zvezde in planeti, vključno z Zemljo in Soncem. Rešitev je našel Karl Schwarzschild leta 1916.[2][3][4] Njegova rešitev ni bila samo eksaktna rešitev Einsteinovih enačb polja, ampak je bila tudi osnova za klasične preskuse splošne teorije relativnosti.[1]

Po Birkhoffovem izreku je Schwarzschildova metrika najsplošnejša sfernosimetrična vakuumska rešitev Einsteinovih enačb polja. Schwarzschildova črna luknja ali statična črna luknja je črna luknja, ki je brez električnega naboja in brez vrtilne količine (se ne vrti). Schwarzschildovo črno luknjo opisuje Schwarzschildova metrika in je ni moč razlikovati od druge Schwarzschildove črne luknje razen po njeni masi.

Za Schwarzschildovo črno luknjo je značilna okoliška sferna meja, imenovana dogodkovno obzorje, ki se nahaja na Schwarzschildovem polmeru (). Polmer se pogosto imenuje polmer črne luknje. Meja ni fizična površina in oseba, ki je padla skozi dogodkovno obzorje (preden so jo raztrgale plimske sile), na tem mestu ne bi opazila nobene fizične površine – je matematična 'površina', ki je pomembna pri določanju značilnosti črne luknje. Vsaka nevrteča in nenabita masa, ki je manjša od Schwarzschildovega polmera, tvori črno luknjo. Rešitev Einsteinovih enačb polja velja za katero koli maso , tako da bi načeloma (znotraj splošne teorije relativnosti) lahko obstajala Schwarzschildova črna luknja poljubne mase, če bi pogoji postali dovolj ugodni za njen nastanek.

V bližini Schwarzschildove črne luknje se prostor tako ukrivi, da se celo svetlobni žarki odklonijo, zelo bližnja svetloba pa se lahko tako odkloni, da večkrat potuje okrog črne luknje.[5][6][7]

Formulacija

uredi

Schwarzschildova metrika je sfernisimetrična Lorentzeva metrika (tukaj z dogovorom metrične signature  ), definirana na (podmnožici):

 

kjer je   trirazsežni evklidski prostor,   pa je dvosfera. Grupa vrtenj   deluje na   ali faktor   kot vrtenja okrog središča  , pri čemer pušča prvi faktor   nespremenjen. Schwarzschildova metrika je rešitev Einsteinovih enačb polja v praznem prostoru, kar pomeni, da velja le zunaj gravitacijskega telesa. To za sferno telo s polmerom   pomeni, da rešitev velja za  . Za opis gravitacijskega polja znotraj in zunaj gravitirajočega telesa je treba Schwarzschildovo rešitev uskladiti z ustrezno notranjo rešitvijo pri  ,[8] kot je na primer notranja Schwarzschildova metrika.

V Schwarzschildovih koordinatah   ima Schwarzschildova metrika (ali enakovredno invariantni kvadrat infinitezimalnega ločnega elementa za lastni čas) obliko:[9]

 

kjer je   metrika na dvosferi, to je  . Tu je naprej:

  •   – je pozitiven za časovne krivulje, kjer je   lastni čas (čas, ki ga meri ura, gibajoča se vzdolž iste svetovnice skupaj s testnim delcem),
  •  hitrost svetlobe v vakuumu,
  •   – za   časovna koordinata, (ki jo meri ura, oddaljena neskončno stran od masivnega telesa in mirujoča glede nanj),
  •   – za   radialna koordinata, (merjena kot obseg sfere v središču okrog masivnega telesa, deljen z  ),
  •  točka na dvosferi  ,
  •  kolatituda   (kot od severa v enotah radianov), definirana po poljubno izbrani z-osi,
  •  longituda   (tudi v radianih) okrog izbrane z-osi,
  •  ,
  •  Schwarzschildov polmer masivnega telesa, skalirni faktor, ki je povezan z njegovo maso   z izrazom  , kjer je   gravitacijska konstanta,[10]
  •  metrični tenzor.[a]

Metrični tenzor se lahko zapiše kot:

 

Schwarzschildova metrika ima singularnost pri   kar je notranja ukrivljenostna singularnost. Kakor izgleda, ima singularnost tudi na dogodkovnem obzorju  . Odvisno od zornega kota je tako definirana le na zunanjem območju  , samo na notranji strani   ali na njuni disjunktni uniji. Vendar pa metrika dejansko ni singularna čez dogodkovno obzorje, kot je razvidno iz ustreznih koordinat (glej spodaj). Za   je Schwarzschildova metrika asimptotična standardni Lorentzevi metriki na prostoru Minkowskega. Za skoraj vsa astronomska telesa je razmerje   izjemno majhno. Schwarzschildov polmer Zemlje   je na primer približno 89 mm. Za Sonce, ki je za vrednost   masivnejše,[11] je Schwarzschildov polmer   približno enak 3,0 km. Razmerje postane veliko le v bližini črnih lukenj in drugih ultragostih teles, kot so nevtronske zvezde.

Izkazalo se je, da ima radialna koordinata fizični pomen kot »lastna razdalja med dvema dogodkoma, ki se zgodita sočasno glede na radialno premikajoči se geodetski uri, pri čemer dva dogodka ležita na isti radialni koordinatni črti«.[12]

Schwarzschildova rešitev je analogna klasični Newtonovi teoriji gravitacije, ki ustreza gravitacijskemu polju okrog točkastega delca. Tudi na zemeljskem površju so popravki Newtonove gravitacije le en del v milijardi.[13]

Zgodovina

uredi

Schwarzschildova rešitev se imenuje po Karlu Schwarzschildu, ki je našel eksaktno rešitev leta 1915. 22. decembra je o rešitvi pisal Einsteinu[2][14] in jo objavil januarja 1916,[3][4] nekaj več kot mesec dni po objavi Einsteinove splošne teorije relativnosti. To je bila prva eksaktna rešitev Einsteinovih enačb polja, razen trivialne rešitve ravnega prostora-časa v koordinatah  :

 

z:

 

ali v sfernih koordinatah  :

 

in:

 

Schwarzschild je umrl kmalu po objavi njegovega članka zaradi bolezni (ki naj bi bila pemfigus). Dobil naj bi jo med služenjem v Cesarski nemški vojski med 1. svetovno vojno.[15] Einstein je v pismu Schwarzschildu 29. decembra 1915 zapisal:[16]

Spoštovani kolega!
Vaš izračun, ki zagotavlja edinstven dokaz problema, je izjemno zanimiv. Upam, da boste isto kmalu objavili! Nisem si mislil, da bo stroga obravnava točkovnega problema tako enostavna.

Johannes Droste je leta 1916[17] neodvisno našel enako rešitev in pri tem uporabil enostavnejšo in neposrednejšo izpeljavo.[18][19]

V zgodnjih letih splošne teorije relativnosti je bilo veliko zmede glede narave singularnosti, ki se jih najde v Schwarzschildovi in drugih rešitvah Einsteinovih enačbah polja. V Schwarzschildovem izvirnem članku je postavil to, kar se sedaj imenuje dogodkovno obzorje, v izhodišče svojega koordinatnega sistema. V tem članku je kot pomožno spremenljivko uvedel tudi to, kar je sedaj znano kot Schwarzschildova radialna koordinata (  v zgornjih enačbah). V svojih enačbah je Schwarzschild uporabljal drugačno radialno koordinato, ki je bila nič pri Schwarzschildovem polmeru.

Popolnejšo analizo strukture singularnosti je podal David Hilbert[20] naslednje leto in identificiral obe singularnosti pri   in pri Schwarzschildovem polmeru  . Čeprav je obstajalo splošno soglasje, da je singularnost pri   'resnična' fizična singularnost, je narava singularnosti pri   ostala nejasna.[1]

Leta 1921 sta Paul Painlevé in leta 1922 Allvar Gullstrand neodvisno izdelala metriko, sfernosimetrično rešitev Einsteinovih enačb, za katero se sedaj ve, da je koordinatna transformacija Schwarzschildove metrike, Gullstrand-Painlevéjeve koordinate, v kateri pri   ni bilo singularnosti. Vendar pa nista prepoznala, da so bile njune rešitve le koordinatne transformacije, in sta svojo rešitev dejansko uporabila za dokazovanje, da je Einsteinova teorija napačna. Leta 1924 je Arthur Stanley Eddington izdelal prvo koordinatno transformacijo (Eddington-Finkelsteinove koordinate), ki je pokazala, da je singularnost pri   koordinatni artefakt, čeprav se zdi, da se prav tako ni zavedal pomena tega odkritja. Kasneje, leta 1932, je Georges Lemaître podal drugačno koordinatno transformacijo (Lemaîtrejeve koordinate) z istim učinkom in bil prvi, ki je spoznal, da to pomeni, da singularnost pri   ni fizična. Leta 1939 je Howard Percy Robertson pokazal, da bi prosto padajoči opazovalec, ki se spušča v Schwarzschildovi metriki, prečkal singularnost   v končnem lastnem času, čeprav bi to trajalo neskončno veliko časa v smislu koordinatnega časa  .[1]

Leta 1950 je John Lighton Synge napisal članek,[21] ki je pokazal največjo analitično razširitev Schwarzschildove metrike in ponovno pokazal, da je singularnost pri   koordinatni artefakt in da predstavlja dve obzorji. Podoben rezultat sta kasneje ponovno izpeljala George Szekeres[22] in neodvisno Martin David Kruskal.[23] Nove koordinate, sedaj znane kot Kruskal-Szekeresove koordinate, so bile veliko enostavnejše od Syngevih, vendar sta obe zagotovili eno množico koordinat, ki je pokrivala celoten prostor-čas. Vendar pa so morda zaradi zakotnosti revij, v katerih sta bila objavljena članka Lemaîtra in Syngea, njuni zaključki ostali neopaženi, saj so mnogi glavni akterji na tem področju, vključno z Einsteinom, verjeli, da je singularnost v Schwarzschildovem polmeru fizična.[1] Syngeva poznejša izpeljava Kruskal-Szekeresove metrične rešitve,[24] ki je bila motivirana z željo, da bi se izognilo »uporabi 'slabih' [Schwarzschildovih] koordinat za pridobitev 'dobrih' [Kruskal-Szekeresovih] koordinat«, je bila na splošno premalo cenjena v literaturi, vendar jo je prevzel Subrahmanyan Chandrasekhar v svoji monografiji o črnih luknjah leta 1983.[25]

Pravi napredek je bil dosežen v 1960-ih, ko je matematično stroga formulacija v smislu diferencialne geometrije vstopila na področje splošne teorije relativnosti, kar je omogočilo eksaktnejše definicije tega, kaj pomeni, da je Lorentzeva mnogoterost singularna. To je vodilo do dokončne identifikacije singularnosti   v Schwarzschildovi metriki kot dogodkovnega obzorja – hiperploskve v prostoru-času, ki jo je mogoče prečkati samo v eno smer.[1]

Singularnosti in črne luknje

uredi

Zdi se, da ima Schwarzschildova rešitev singularnosti pri   in   – nekatere metrične komponente pri teh polmerih »eksplodirajo« (povzročijo deljenje z ničlo ali množenje z neskončnostjo). Ker se pričakuje, da bo Schwarzschildova metrika veljavna samo za tiste polmere, večje od polmera gravitirajočega telesa  , ni problema, dokler je  . Za običajne zvezde in planete je to vedno tako. Sončev polmer je na primer približno 700.000 km, njegov Schwarzschildov polmer pa le 3 km.

Singularnost pri   deli Schwarzschildove koordinate na dve nepovezane zaplati. Zunanja Schwarzschildova rešitev z   je tista, ki je povezana z gravitacijskimi polji zvezd in planetov. Notranja Schwarzschildova rešitev z  , ki vsebuje singularnost pri  , je popolnoma ločena od zunanje zaplate s singularnostjo pri  . Schwarzschildove koordinate torej ne zagotavljajo fizične povezave med obema zaplatama, ki ju je mogoče obravnavati kot ločeni rešitvi. Vendar je singularnost pri   iluzija – je primer tega, kar se imenuje koordinatna singularnost. Kot že ime pove, singularnost nastane zaradi slabe izbire koordinat ali koordinatnih pogojev. Pri spremembi v drug koordinatni sistem (na primer Lemaîtrejeve koordinate, Eddington-Finkelsteinove koordinate, Kruskal-Szekeresove koordinate, koordinate Novikova ali Gullstrand-Painlevéje koordinate) metrika postane regularna pri   in lahko razširi zunanjo zaplato na vrednosti  . Z uporabo drugačne koordinatne transformacije se lahko nato poveže razširjeno zunanjo zaplato z notranjo.[26]

Primer   pa je drugačen. Če se vpraša, ali je rešitev veljavna za vse  , se naleti na pravo fizično singularnost ali gravitacijska singularnost v izvoru. Da bi se videlo, da je to prava singularnost, je treba pogledati količine, ki so neodvisne od izbire koordinat. Ena takšnih pomembnih količin je Kretschmannova invarianta, podana z izrazom:

 

Pri   ukrivljenost postane neskončna, kar kaže na prisotnost singularnosti. Na tej točki metrike ni mogoče razširiti na gladek način (Kretschmannova invarianta vključuje druge odvode metrike), sam prostor-čas potem ni več dobro definiran. Poleg tega je Jan Sbierski pokazal, da metrike ni mogoče razširiti niti na zvezni način.[27] Dolgo časa je veljalo, da je taka rešitev nefizična. Vendar pa je boljše razumevanje splošne teorije relativnosti vodilo do spoznanja, da so bile takšne singularnosti generična značilnost teorije in ne le eksotičen poseben primer.

Schwarzschildova rešitev, ki velja za vse  , se imenuje Schwarzschildova črna luknja. Je popolnoma veljavna rešitev Einsteinovih enačb polja, čeprav ima (kot druge črne luknje) precej bizarne značilnosti. Pri   Schwarzschildova radialna koordinata   r postane časovna in časovna koordinata   postane prostorska.[28] Krivulja pri konstantnem   ni več možna svetovnica delca ali opazovalca, tudi če se uporabi sila, da bi jo tam obdržala – to se zgodi, ker je prostor-čas toliko ukrivljen, da smer vzroka in posledice (prihodnji svetlobni stožec delca) kaže v singularnost. Površina   razmejuje dogodkovno obzorje črne luknje. Predstavlja točko, čez katero svetloba ne more več uiti gravitacijskemu polju. Vsako fizično telo, katerega polmer   postane manjši ali enak Schwarzschildovemu polmeru  , doživi gravitacijski kolaps in postane črna luknja.

Alternativne koordinate

uredi

Schwarzschildova rešitev se lahko izrazi v nizu različnih izbir koordinat poleg zgoraj uporabljenih Schwarzschildovih koordinat. Različne izbire poudarijo različne značilnosti rešitve. Naslednja razpredelnica prikazuje nekaj priljubljenih izbir.

Alternativne koordinate[29]
koordinate ločni element   opombe značilnosti
Eddington-Finkelsteinove
(dohodne)
  regularne na prihodnjem obzorju
preteklo obzorje je v  
Eddington-Finkelsteinove
(izhodne)
  regularne na preteklem obzorju
se razširjajo prek preteklega obzorja
prihodnje obzorje je v  
Gullstrand-Painlevéje   regularne na preteklem in prihodnjem obzorju
izotropne    [30]
veljavne le zunaj dogodkovnega obzorja:  
izotropni svetlobni stožci na konstantnih časovnih rezinah
Kruskal-Szekeresove     regularne na obzorju; regular at horizon; se maksimalno razširijo na polni prostor-čas
Lemaîtrejeve     regularne tako na preteklem kot na prihodnjem obzorju
harmonične    

V zgornji razpredelnici je bilo zaradi kratkosti uvedeno nekaj okrajšav. Hitrost svetlobe   je bila nastavljena na 1. Zapis:

 

se je uporabil za metriko 2-razsežne sfere z enotskim polmerom. Poleg tega v vsakem vnosu   in   označujeta alternativne izbire radialne in časovne koordinate za posamezne koordinate.   in   se lahko razlikujeta od vnosa do vnosa.

Kruskal-Szekeresove koordinate imajo obliko, za katero je mogoče uporabiti transformacijo Belinskega in Zaharova. To pomeni, da je Schwarzschildova črna luknja oblika gravitacijskega solitona.

Flammov paraboloid

uredi
 
Graf Flammovega paraboloida. Ne sme se ga zamenjevati z nepovezanim konceptom gravitacijske jame.

Prostorsko ukrivljenost Schwarzschildove rešitve za   je mogoče vizualizirati, kot prikazuje graf. Naj je konstantna časovna ekvatorialna rezina   skozi Schwarzschildovo rešitev s fiksiranjem   in naj se preostali Schwarzschildovi koordinati   spreminjata. Naj zdaj obstaja dodatna evklidska razsežnost  , ki nima fizične realnosti (ni del prostora-časa). Nato se zamenja ravnino   s površino, vgreznjeno v smeri   v skladu z enačbo (Flammov paraboloid):

 

Ta površina ima značilnost, da se razdalje, izmerjene znotraj nje, ujemajo z razdaljami v Schwarzschildovi metriki, zaradi definicije   zgoraj:

 

Tako je Flammov paraboloid uporaben za vizualizacijo prostorske ukrivljenosti Schwarzschildove metrike. Ne sme pa se ga zamenjevati z gravitacijsko jamo. Noben navadni (masiven ali brezmasen) delec ne more imeti svetovnice, ki bi ležala na paraboloidu, saj so vse razdalje na njem prostorske (to je prečni presek v enem časovnem trenutku, zato bi imel vsak delec, ki se giblje po njem, neskončno hitrost). Tahion bi lahko imel prostorsko svetovnico, ki v celoti leži na enem samem paraboloidu. Vendar tudi v tem primeru njegova geodetka ni trajektorija, ki se jo dobi skozi analogijo gravitacijske jame z »gumijasto planjavo«: zlasti če je vdolbina narisana usmerjena navzgor in ne navzdol, se tahionova geodetka še vedno ukrivi proti osrednji masi in ne stran.

Flammov paraboloid se lahko izpelje na naslednji način. Evklidska metrika v cilindričnih koordinatah   je:

 

Če se privzame, da je površina opisana s funkcijo  , se lahko evklidsko metriko zapiše kot:

 

Če se to primerja s Schwarzschildovo metriko v ekvatorialni ravnini   ob določenem času ( ):

 

sledi integralski izraz za  :

 

katerega rešitev je Flammov paraboloid.

Tirno gibanje

uredi
 
Primerjava med tirom testnega delca v newtonovskem (levo) in Schwarzschildovem (desno) prostoru-času. Na desni strani je nakazana velika apsidna precesija.
Za podrobne podatke o tej temi glej Schwarzschildova geodetka.

Delec, ki kroži v Schwarzschildovi metriki, ima lahko stabilni krožni tir z  . Krožni tiri z   med   in   so nestabilni, za   pa krožni tiri ne obstajajo. Krožni tir najmanjšega polmera   ustreza tirni hitrosti, ki se približuje svetlobni hitrosti. Možno je, da ima delec konstantno vrednost   med   in  , vendar le, če deluje neka sila, da ga tam obdrži.

Nekrožni tiri, kot je Merkurjeva, se zadržujejo dlje pri majhnih polmerih, kot bi se pričakovalo v Newtonovi gravitaciji. To je mogoče videti kot manj ekstremno različico bolj dramatičnega primera, v katerem delec preide skozi dogodkovno obzorje in v njem ostane za vedno. Vmes med primerom Merkurja in primerom, ko telo pade čez dogodkovno obzorje, obstajajo eksotične možnosti, kot so tiri z nožnim robom, v katerih je mogoče satelit prisiliti, da izvede poljubno veliko število skoraj krožnih tirov, po katerih leti nazaj navzven.

Simetrije

uredi

Izometrična grupa Schwarzchildove metrike je  , kjer je   ortogonalna grupa zasukov (vrtenj) in zrcaljenj v treh razsežnostih,   vključuje časovne translacije,   pa je grupa, ki jo ustvari obrat časa.

To je torej podgrupa desetrazsežne Poincaréjeve grupe, ki prevzame časovno os (trajektorijo zvezde) nase. Izpušča prostorske translacije (tri razsežnosti) in potiske (tri razsežnosti). Ohranja časovne translacije (ena razsežnost) in vrtenja (tri razsežnosti). Tako ima štiri razsežnosti. Tako kot Poincaréjeva grupa ima štiri povezane komponente: komponento identitete; časovno obrnjeno komponento; komponento prostorskega obrata in komponento, ki je časovno in prostorsko obrnjena.

Ukrivljenosti

uredi

Riccijev skalar (ukrivljenosti) in Riccijev tenzor ukrivljenosti sta enaka nič. Neničelne komponente Riemannovega tenzorja ukrivljenosti so:[31]

 
 
 
 

Komponente, ki jih je mogoče dobiti s simetrijami Riemannovega tenzorja, niso prikazane.

Da bi se razumelo fizikalni pomen teh količin, je koristno izraziti tenzor ukrivljenosti v ortonormirani bazi. V ortonormirani bazi opazovalca so neničelne komponente v geometričnih enotah:[31]

 
 

Spet niso prikazane komponente, ki jih je mogoče dobiti s simetrijami Riemannovega tenzorja. Ti rezultati so invariantni glede na poljubni Lorentzev potisk, zato se za nestatične opazovalce komponente ne spremenijo. Enačba geodetskega odklona kaže, da je plimski pospešek med dvema opazovalcema, ločenima s  , enak:

 

tako da je telo dolžine   raztegnjeno v radialni smeri zaradi navideznega pospeška   in stisnjeno v pravokotnih smereh za  .

Glej tudi

uredi

Opombe

uredi
  1. Schwarzschild je v pismu Einsteinu metriko zapisal v obliki:[2]
     
    V objavljenem članku je črko   zamenjal z   in navedel da rešitev »vsebuje le konstanto  , ki je odvisna od vrednosti mase v izvorišču[3]

Sklici

uredi