Coordinate di Kruskal-Szekeres

sistema di coordinate connesse al concetto di spazio-tempo di Schwarzschild,

In relatività generale, le coordinate di Kruskal-Szekeres, scoperte indipendentemente da Martin Kruskal[1] e George Szekeres[2], sono un sistema di coordinate utilizzato per studiare lo spazio-tempo di Schwarzschild, ossia la geometria dello spazio-tempo in presenza di un buco nero. Questo sistema di coordinate è un'estensione massimale della varietà pseudo-riemanniana che descrive tale spazio-tempo, ossia è tale che una geodetica che parta da un punto qualsiasi della varietà può essere estesa infinitamente, a meno che non termini in una singolarità fisica.[3] Ciò permette di rappresentare in un unico grafico qualunque linea di universo percorribile da oggetti in presenza di un buco nero e del suo speculare matematico, il buco bianco.

Diagramma di Kruskal-Szekeres, posto 2GM = 1. Il quadrante II contiene lo spazio-tempo compreso entro l'orizzonte degli eventi e il buco nero (iperbole blu scuro), il IV è lo spazio-tempo compreso entro l'orizzonte degli eventi del buco bianco e il buco bianco stesso (iperbole verde scuro). Il I e III quadrante sono le due regioni esterne (speculari l'un l'altra) agli orizzonti, rappresentati dalle linee tratteggiate a 45°. Le iperboli più chiare uniscono i punti equidistanti dalle due singolarità mentre le linee rette uniscono i punti allo stesso istante di tempo. È rappresentata anche la traiettoria di una particella materiale che cade nel buco e tre coni luce attraverso cui passa.

La soluzione alle equazioni di Einstein inizialmente scoperta da Schwarzschild nel 1916 corrisponde al seguente elemento di linea:

 

dove   è la costante gravitazionale,   è la massa del buco nero e, avendo usato le coordinate sferiche,  . Inoltre si sono usate le unità naturali per cui c = 1.

La corrispondente metrica, di segnatura (+ − − −), è:

 

Tale soluzione non è definita per  , in quanto in tal caso la metrica è degenere (non è possibile determinare una distanza lungo   o  ), e per  , in quanto si ha una divisione per zero, ossia una singolarità matematica. Ma mentre la singolarità in   è dovuta alla presenza del buco nero, quella in   non è fisicamente sensata, poiché corrisponde all'orizzonte degli eventi, che è soltanto un confine geometrico e non fisico.[4]

Il problema venne superato grazie a Eddington e Finkelstein tra il 1924 e il 1958, i quali introdussero il sistema di coordinate che porta il loro nome, in grado di descrivere oggetti entranti nel buco nero, eliminando quindi la singolarità matematica in  .

Il sistema di Eddington-Finkelstein è costituito da una coppia di coordinate speculari rispetto al tempo in cui la prima corrisponde a una varietà pseudo-riemanniana in cui un oggetto o raggio di luce entra nel buco nero e la seconda a una in cui un oggetto o raggio di luce esce da un buco bianco:

  (coordinate entranti)
  (coordinate uscenti)

con  ,   e  

 

che è la coordinata della tartaruga definita da Tullio Regge e John Wheeler, in un articolo del 1957.[5]

Entrambe quindi risolvono il problema della singolarità in   solo parzialmente, funzionando la prima solo per oggetti entranti ma non per oggetti uscenti e viceversa la seconda,[6] infatti esse corrispondono a due varietà riemanniane che rappresentano due distinte mappature della soluzione di Schwarzschild, pur essendo entrambe un'estensione delle coordinate usate in essa. Per tutto ciò, sembrò naturale cercare un sistema di coordinate che le estendesse ulteriormente mettendole insieme e rendendo il risultato un'estensione massimale.

Tale risultato fu quello ottenuto indipendentemente da Kruskal e Szekeres nel 1960.[1][2] Un risultato analogo fu anche trovato da Christian Fronsdal nel 1959.[7]

Derivazione

modifica

Poiché le coordinate di Eddington e Finkelstein sostituiscono il tempo   nella (1) con una coordinata rettilinea (  o  ), lasciando   invariata, l'idea è rendere anche   rettilinea, utilizzando insieme   e   in (1) e così ottenendo il seguente elemento di linea:[8][6]:

 .

Però anche così l'elemento di linea è degenere in   e va quindi cercato un ulteriore sistema di coordinate che elimini il problema. Per fare ciò si può generalizzare il risultato (3) introducendo due nuove funzioni, ciascuna dipendente da una delle variabili di partenza, ossia   e  .

Kruskal scelse le forme

 e  

per motivi che si chiariscono con i calcoli.[9]

Da qui si ottiene[10]

 e  

che permettono di trasformare la (3) in

 

Tenendo conto delle definizioni di   e   in (2), si ottiene

 

da cui[11]

 

la cui metrica si esplicita in

 

che ha componente nulla lungo le direzioni puramente temporale (prima riga, prima colonna corrispondente a  ) e spaziale (seconda riga, seconda colonna corrispondente a  ) e per questo è definita metrica del cono di luce, in quanto la differenza tra parte spaziale e parte temporale è sempre nulla, come lungo un cono di luce. Si parla anche di coordinate nulle.[12]

Con un'ulteriore trasformazione di coordinate si può passare a un elemento di linea con metrica non nulla per le componenti puramente spaziale e temporale, infatti, posto

  e  

si ottiene

 

di metrica

 

Tale metrica è conformemente piatta, quindi ha la stessa struttura causale dello spaziotempo di Minkowski.

Quest'ultima forma è quella standard in cui vengono rappresentate le coordinate di Kruskal-Szekeres, che sostituiscono a   e   delle coordinate di Schwarzschild una nuova coordinata temporale   e una nuova coordinata spaziale  

Rappresentazione

modifica
 
Diagramma di Kruskal-Szekeres. Ogni fotogramma dell'animazione mostra un'iperbole blu corrispondente a tutti i punti equidistanti (in base alla coordinata radiale di Schwarzschild) dalla singolarità ad istanti successivi.

Mettendo insieme le definizioni (2), (4) e (5) si ottiene:[13]

per  :

 
 

per  :

 
 .

Da qui si ricava[14]

 

tale che

 

Il primo caso individua la singolarità centrale, che nelle coordinate di Schwarzschild è un punto mentre nel piano cartesiano   diventa un'iperbole equilatera di vertici   e  .

Nel secondo caso si hanno due rette   che dividono in quattro settori il piano   e corrispondono, in parte, all'orizzonte degli eventi individuato dalle coordinate di Schwarzschild.

Per   si hanno delle iperbole che rappresentano i punti equidistanti dalla singolarità una volta passato l'orizzonte degli eventi.

Per   si hanno delle iperbole, di asintoti perpendicolari alle precedenti, che rappresentano i punti equidistanti dalla singolarità prima dell'orizzonte degli eventi (vedasi figura).

Per quanto riguarda le geodetiche nulle radiali, per cui   e  , ossia le traiettorie seguite dai raggi di luce (coni luce), l'elemento di linea di riduce a:

 

che implica   da cui, integrando,

 .

Ne consegue che i coni luce sono tutti triangoli rettangoli formati da rette parallele alle due diagonali che partono dall'origine, come se fossimo in uno spazio piatto.

Caratteristiche

modifica

Il piano   è suddiviso in quattro regioni:

I regione esterna    
II interno del buco nero    
III regione esterna parallela    
IV interno del buco bianco    

La regione I corrisponde a quella rappresentata dalle coordinate di Schwarzschild e, messa insieme alla II, riproduce la regione rappresentata dalle coordinate di Eddington-Finkelstein entranti.

La regione I insieme alla regione IV riproduce la regione rappresentata dalle coordinate di Eddington-Finkelstein uscenti.

In questo senso le coordinate di Kruskal-Szekeres sono un'estensione massimale delle precedenti, in quanto è sempre possibile tracciare una traiettoria (geodetica) che parta da un punto e si estenda all'infinito o termini in una delle due singolarità.

Oltre ad avere insieme sia il buco nero che il buco bianco, che con le coordinate di Eddington-Finkelstein erano separati, compare una quarta regione simmetrica alla regione I.

Ponte di Einstein-Rosen

modifica
  Lo stesso argomento in dettaglio: Ponte di Einstein-Rosen.

Le due regioni IV e I si toccano in   e  , corrispondenti alle coordinate di Schwarzschild   e  . Se ci si muove, a  , lungo   da   a  , il valore di   decresce fino a   e poi ricresce. Quindi in   le due regioni sono collegate mediante un passaggio di raggio  . Ripetendo la stessa operazione a  ,   decresce fino a 0 e poi ricresce e quindi qui il passaggio si chiude. Per   non ci sono più punti di contatto. Simmetricamente si apre un passaggio in  .

Tale passaggio è definito ponte di Einstein-Rosen e collegherebbe due ipoteteci universi paralleli. Da notare che nel diagramma, traiettorie con inclinazioni che escono dai coni, sono più veloci della luce, quindi l'attraversamento del ponte richiederebbe velocità ad essa superiori e in particolare, muoversi lungo l'asse   corrisponde a velocità infinita.

  1. ^ a b (EN) M. D. Kruskal, Maximal Extension of Schwarzschild Metric, in Physical Review, vol. 119, n. 5, 1º settembre 1960, pp. 1743–1745, DOI:10.1103/PhysRev.119.1743. URL consultato il 26 marzo 2021.
  2. ^ a b (EN) George Szekeres, On the singularities of a Riemannian manifold, in Publ.Math.Debrecen, vol. 7, 1960, pp. 285-301.
  3. ^ (EN) Ray D'Inverno, 17.1 Maximal analytic extensions, in Intruducing Einstein's Relativity, Oxford University Press, 1992, p. 230, ISBN 0-19-859686-3.
  4. ^ Calcolando la curvatura mediante il tensore di Riemann, in   essa diverge, in   no
  5. ^ (EN) Tullio Regge e John A. Wheeler, Stability of a Schwarzschild Singularity, in Physical Review, vol. 108, n. 4, 15 novembre 1957, pp. 1063–1069, DOI:10.1103/PhysRev.108.1063. URL consultato l'8 agosto 2021.
  6. ^ a b (EN) Charles W. Misner, Kip S. Thorne e John Archibald Wheeler, 31.4. Several well-behaved coordinate systems, in Gravitation, p. 831.
  7. ^ (EN) C. Fronsdal, Completion and Embedding of the Schwarzschild Solution, in Physical Review, vol. 116, n. 3, 1º novembre 1959, pp. 778–781, DOI:10.1103/PhysRev.116.778. URL consultato il 4 agosto 2021.
  8. ^ Per definizione di   e  :
      e  
    da cui
      e  
    che vanno sostituiti nella (1), dove i termini quadratici   e   si annullano.
  9. ^ In particolare verrà sfruttata l'uguaglianza  
  10. ^  
  11. ^      
  12. ^ Carlo Rovelli, 3.3.1 Geometria lorentziana - Coordinate nulle, in Relatività generale. Una semplice introduzione., Adelphi, 2021, p. 78, ISBN 978-88-459-8452-5.
  13. ^ Sfruttando le definizioni delle funzioni iberboliche:
     
     
  14. ^ ricordando che
     
     

Bibliografia

modifica

Voci correlate

modifica

Collegamenti esterni

modifica
  Portale Relatività: accedi alle voci di Wikipedia che trattano di relatività