Formalismo ADM
![Niente fonti!](http://upload.wikimedia.org/wikipedia/commons/thumb/6/64/Question_book-4.svg/45px-Question_book-4.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/11/ArnowittDeserMisner2009_01.jpg/220px-ArnowittDeserMisner2009_01.jpg)
Il formalismo ADM, dalle iniziali degli autori Richard Arnowitt, Stanley Deser e Charles W. Misner, è una formulazione hamiltoniana della relatività generale che gioca un ruolo importante sia nella gravità quantistica, sia nella relatività numerica.[3]
Il lavoro originale del 1959 può essere trovato in Physical Review archives.[3][4][5][6][7][8][9][10][11] Una rassegna estesa di tale formalismo è stata pubblicata dagli stessi autori nel 1962.[12] Tale contributo è stato ripubblicato nel 2008.[13]
Introduzione
Il formalismo suppone che lo spazio-tempo sia foliato in una famiglia di superfici tipo-spazio , definite per mezzo delle loro coordinate temporali , e con coordinate spaziali su ogni sezione (slice) data tramite . Le variabili dinamiche di questa teoria sono il tensore metrico delle sezioni spaziali tri-dimensionali e i loro momenti coniugati . Usando queste variabili è possibile definire la funzione hamiltoniana, che è alla base della meccanica hamiltoniana e che permette di ricavare le equazioni del moto per la relatività generale.
Oltre alle dodici variabili e , ci sono quattro moltiplicatori lagrangiani: la funzione intervallo temporale (che rappresenta la variazione del tempo proprio di un osservatore commovente rispetto al tempo coordinato, relativo al sistema di riferimento solidale con le sezioni spaziali del foliato)[14][15] e le componenti del campo vettoriale di spostamento , tangenti alle superfici del foliato. Questi descrivono come ognuna delle "foglie" della foliazione dello spazio-tempo sia saldata assieme alle altre. Le equazioni del moto per queste variabili possono essere liberamente specificate; ciò corrisponde alla libertà di specificare liberamente il sistema di coordinate desiderato nello spazio e nel tempo.
Derivazione
Notazione
La maggior parte dei riferimenti adottano la notazione nella quale i quattro tensori dimensionali sono scritti nella notazione astratta degli indici, in cui gli indici greci sono gli indici di spazio-tempo che assumono valori (0, 1, 2, 3) e gli indici latini sono indici spaziali che assumono valori (1, 2, 3). Nella derivazione qui presentata, un esponente (4) è anteposto alla quantità che in genere hanno sia la versione tridimensionale, sia quella quadridimensionale, come il tensore metrico per le sezioni tridimensionali e il tensore metrico per lo spazio-tempo completo a quattro dimensioni .
Il testo, nel seguito, usa la notazione di Einstein in cui si assume la sommatoria su indici ripetuti.
Sono usate due tipi di derivate: le derivate parziali sono denotate sia dall'operatore o dagli esponenti preceduti da una virgola. Le derivate covarianti sono denotate dall'operatore o dall'esponente preceduto da un punto e virgola.
Il determinante del tensore metrico è rappresentato da (senza indici). Altri simboli del tensore scritti senza indici rappresentano la traccia del tensore corrispondente come .
Formulazione lagrangiana
Il punto di partenza per la formulazione ADM è la lagrangiana
la quale è un prodotto del determinante del tensore metrico quadridimensionale per lo spazio-tempo complessivo e il suo scalare di Ricci. Questa è la lagrangiana dell'azione di Einstein-Hilbert.
Il risultato desiderato della derivazione è quello di definire un'immersione di porzioni di spazio tridimensionale nello spazio-tempo quadridimensionale. La metrica delle sezioni tridimensionali
sarà le coordinate generalizzate della formulazione hamiltoniana. I momenti coniugati possono essere calcolati
usando tecniche e definizioni standard della meccanica hamiltoniana. I simboli sono i simboli di Christoffel associati alla metrica dello spazio-tempo quadridimensionale complessivo. L'intervallo temporale
e il vettore di spostamento
sono gli ulteriori elementi del tensore metrico quadri-dimensionale.
Avendo identificato le quantità utili per la formulazione, il prossimo passo è quello di riscrivere la lagrangiana in termini di queste variabili. La nuova espressione della lagrangiana diviene, quindi:
Tale lagrangiana risulta così riscritta in funzione delle due nuove quantità:
e
che sono note, rispettivamente, come vincolo hamiltoniano e vincolo sul momento (detto anche quantità di moto). Si noti come l'intervallo temporale e lo spostamento appaiano nell'hamiltoniana come moltiplicatori di Lagrange.
Equazioni di moto
Sebbene le variabili nella lagrangiana rappresentino il tensore metrico degli spazi tridimensionali immersi nello spazio-tempo quadridimensionale, è possibile (e desiderabile) usare le solite procedure della meccanica lagrangiana per derivare le "equazioni del moto" che descrivono l'evoluzione nel tempo sia della metrica , sia del suo momento lineare coniugato . Il risultato:
e
è un insieme non lineare di equazioni differenziali parziali.
Prendendo le variazioni rispetto all'intervallo temporale ed allo spostamento otteniamo le equazioni che costituiscono il vincolo:
e
e l'intervallo temporale e lo spostamento stessi possono essere specificati liberamente, come conseguenza del fatto che i sistemi di coordinate possono essere determinati a piacere sia nello spazio, sia nel tempo.
Applicazione nella gravità quantistica
Usando la formulazione ADM, è possibile tentare di costruire una teoria quantistica della gravità, allo stesso modo in cui si costruisce l'equazione di Schrödinger corrispondente a una data hamiltoniana nella meccanica quantistica. Vale a dire, sostituendo i momenti canonici e le funzioni metriche spaziali con i relativi operatori funzionali differenziali lineari:
Più precisamente, la sostituzione delle variabili classiche tramite operatori è limitata dalle relazioni di commutazione. I "cappelli" (^) rappresentano gli operatori nella teoria quantisitca. Ciò porta all'equazione Wheeler-DeWitt.[16][17]
Applicazione per le soluzioni numeriche delle equazioni di Einstein
Ci sono relativamente poche soluzioni analitiche esatte per le equazioni di campo di Einstein. Per trovare altre soluzioni, vi è un campo attivo di studi noto come relatività numerica in cui vengono utilizzati supercomputer per trovare soluzioni approssimate per le equazioni di campo. Al fine di realizzare tali soluzioni numeriche, la maggior parte dei ricercatori utilizza una formulazione delle equazioni di Einstein strettamente correlata alla formulazione ADM. Gli approcci più comuni partono da un problema al valore iniziale basato sul formalismo ADM.
Nelle formulazioni hamiltoniane, il punto fondamentale è la sostituzione del sistema (set) di equazioni di secondo ordine con un altro sistema di primo ordine. Si può ottenere questo secondo sistema di equazioni per mezzo della formulazione hamiltoniana in un modo semplice. Questo è molto utile nella fisica numerica, perché per risolvere le equazioni per mezzo del computer è auspicabile utilizzare equazioni differenziali del primo ordine.
Note
- ^ ADM-50: A Celebration of Current GR Innovation, su adm-50.physics.tamu.edu. URL consultato il 2 aprile 2021 (archiviato dall'url originale il 20 luglio 2011).
- ^ "Dynamical Structure and Definition of Energy in General Relativity" Arnowitt, R., Deser, S., & Misner, C., The Physical Review, 116:1322-1330, 1959
- ^ a b R. Arnowitt, S. Deser e C. Misner, Dynamical Structure and Definition of Energy in General Relativity, in Physical Review, vol. 116, n. 5, 1959, pp. 1322–1330, Bibcode:1959PhRv..116.1322A, DOI:10.1103/PhysRev.116.1322.
- ^ R. Arnowitt e S. Deser, Quantum Theory of Gravitation: General Formulation and Linearized Theory, in Physical Review, vol. 113, n. 2, 1959, pp. 745–750, Bibcode:1959PhRv..113..745A, DOI:10.1103/PhysRev.113.745.
- ^ R. Arnowitt, S. Deser e C. Misner, Canonical Variables for General Relativity, in Physical Review, vol. 117, n. 6, 1960, pp. 1595–1602, Bibcode:1960PhRv..117.1595A, DOI:10.1103/PhysRev.117.1595.
- ^ R. Arnowitt, S. Deser e C. Misner, Finite Self-Energy of Classical Point Particles, in Physical Review Letters, vol. 4, n. 7, 1960, pp. 375–377, Bibcode:1960PhRvL...4..375A, DOI:10.1103/PhysRevLett.4.375.
- ^ R. Arnowitt, S. Deser e C. Misner, Energy and the Criteria for Radiation in General Relativity, in Physical Review, vol. 118, n. 4, 1960, pp. 1100–1104, Bibcode:1960PhRv..118.1100A, DOI:10.1103/PhysRev.118.1100.
- ^ R. Arnowitt, S. Deser e C. Misner, Gravitational-Electromagnetic Coupling and the Classical Self-Energy Problem, in Physical Review, vol. 120, 1960, pp. 313–320, Bibcode:1960PhRv..120..313A, DOI:10.1103/PhysRev.120.313.
- ^ R. Arnowitt, S. Deser e C. Misner, Interior Schwarzschild Solutions and Interpretation of Source Terms, in Physical Review, vol. 120, 1960, pp. 321–324, Bibcode:1960PhRv..120..321A, DOI:10.1103/PhysRev.120.321.
- ^ R. Arnowitt, S. Deser e C. Misner, Wave Zone in General Relativity, in Physical Review, vol. 121, n. 5, 1961, pp. 1556–1566, Bibcode:1961PhRv..121.1556A, DOI:10.1103/PhysRev.121.1556.
- ^ R. Arnowitt, S. Deser e C. Misner, Coordinate Invariance and Energy Expressions in General Relativity, in Physical Review, vol. 122, n. 3, 1961, pp. 997–1006, Bibcode:1961PhRv..122..997A, DOI:10.1103/PhysRev.122.997.
- ^ Gravitation: An introduction to current research Louis Witten (editor), Wiley NY (1962); capitolo 7, pp. 227–265.
- ^ R. Arnowitt, S. Deser e C. Misner, Republication of: The dynamics of general relativity, in General Relativity and Gravitation, vol. 40, n. 9, 2008, pp. 1997–2027, Bibcode:2008GReGr..40.1997A, DOI:10.1007/s10714-008-0661-1, arXiv:gr-qc/0405109.
- ^ Copia archiviata (PDF), su thp.uni-koeln.de. URL consultato il 19 agosto 2014 (archiviato dall'url originale il 20 agosto 2014).
- ^ Gasperini M., Relatività Generale e Teoria della Gravitazione: per la Laurea Magistrale in Fisica, Springer-Verlag Italia, Collana di Fisica ed Astronomia, 2010, p. 81, ISBN 978-88-470-1420-6
- ^ DeWitt, B.S., Quantum Theory of Gravity. I. The Canonical Theory, Phys. Rev., 160, 1113-1148, (1967)
- ^ Wiltshire, D., An Introduction to Quantum Cosmology, https://arxiv.org/abs/gr-qc/0101003
Voci correlate
V · D · M | ||
---|---|---|
Equazioni di campo di Einstein · Formulazione matematica · Risorse | ||
Concetti fondamentali | Relatività speciale · Principio di equivalenza · Linea di universo · Geometria di Riemann | |
Fenomeni | Problema di Keplero · Lenti · Onde · Frame-dragging · Effetto geodetico · Orizzonte degli eventi · Singolarità · Buco nero | |
Equazioni | Gravità linearizzata · Formalismo post-newtoniano · Equazioni di campo di Einstein · Equazioni di Friedmann · Formalismo ADM · Formalismo BSSN | |
Teorie avanzate | Kaluza–Klein · Gravità quantistica | |
Soluzioni | Schwarzschild · Reissner-Nordström · Gödel · Kerr · Kerr-Newman · Kasner · Taub-NUT · Milne · Friedmann-Lemaître-Robertson-Walker · Onde pp | |
Scienziati | Einstein · Minkowski · Eddington · Lemaître · Schwarzschild · Robertson · Kerr · Friedman · Chandrasekhar · Hawking |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/55/Nuvola_apps_katomic.svg/25px-Nuvola_apps_katomic.svg.png)