[go: up one dir, main page]

Pojdi na vsebino

Schwarzschildova metrika

Iz Wikipedije, proste enciklopedije

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 | uredi kodo]

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 | uredi kodo]

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 | uredi kodo]

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 | uredi kodo]

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 | uredi kodo]
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 | uredi kodo]
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 | uredi kodo]

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 | uredi kodo]

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 | uredi kodo]

Opombe

[uredi | uredi kodo]
  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 | uredi kodo]