Geodesic deviation to all orders via a tangent bundle formalism

Sintesi Tecnica: Deviazione Geodetica a Tutti gli Ordini tramite un Formalismo del Fascio Tangente

Problema
L'equazione della deviazione geodetica (GDE) è un pilastro della relatività generale, descrivendo l'evoluzione della separazione infinitesimale tra due particelle di prova in caduta libera vicine. Sebbene la GDE linearizzata standard sia ben stabilita, la generalizzazione di questa equazione per separazioni finite è rimasta un problema complesso. Sforzi precedenti hanno avuto successo nel derivare correzioni fino al quarto ordine nel vettore di separazione $y^\mu$ e hanno fornito formule a tutti gli ordini in termini di complesse espressioni tensoriali che coinvolgono i bitensor di Synge. Tuttavia, ottenere equazioni o Lagrangiani espliciti e completamente espansi ad arbitri ordini richiede la risoluzione di intricate relazioni di ricorrenza derivate dal formalismo del bitensor di Synge, il quale si basa su condizioni al contorno "in-out" (caratterizzando una geodetica tramite i suoi due estremi). L'obiettivo di questo lavoro è derivare l'esatta GDE a tutti gli ordini e il suo Lagrangiano associato per la deviazione geodetica finita in una forma manifestamente covariante, espressa esplicitamente in termini del tensore di Riemann e delle sue derivate.

Metodologia
Gli autori propongono un quadro alternativo alla tradizionale calcolo di Synge, formulando la deviazione geodetica come un problema di valore iniziale all'interno del fascio tangente $TM$ dello spaziotempo.

1. Formalismo del Fascio Tangente: Gli autori trattano il fascio tangente $TM$ (con coordinate locali $(x^\mu, y^\mu)$) come una varietà di dimensione $2d$. Definiscono un campo vettoriale specifico $N$ su $TM$ che agisce come generatore della deviazione geodetica. Questo campo vettoriale è invariante sotto trasformazioni di coordinate e codifica la formulazione del primo ordine dell'equazione geodetica.
2. Condizioni al Contorno "In-In": A differenza del formalismo di Synge che utilizza gli estremi $x$ e $z$ (in-out), questo approccio specifica un punto iniziale $x$ e un vettore tangente $y$ in $x$ (in-in). La deviazione finita è generata dal flusso di tempo unitario del campo vettoriale $N$, denotato come $e^N$.
3. Derivata di Lie Covariante e "Dressing": Per gestire efficientemente i calcoli e mantenere la covarianza nel punto originale $x$, gli autori introducono una derivata di Lie covariante, $\mathcal{L}^D_N = D\iota_N + \iota_N D$, dove $D$ è la derivata esterna covariante. Utilizzano un'identità di "dressing" (rivestimento), la quale afferma che l'esponenziale di questo operatore, $e^{\mathcal{L}^D_N}$, calcola il valore di un tensore nel punto deviato e lo trasporta parallelamente al punto originale tramite linee di Wilson (propagatori paralleli).
4. Struttura Ricorsiva: Applicando la formula magica di Cartan e le proprietà del prodotto interno $\iota_N$, gli autori derivano una struttura ricorsiva per l'espansione del propagatore parallelo e del vettore di deviazione. Ciò porta all'identificazione dei "Q-tensori", che sono prodotti del tensore di Riemann e delle sue derivate covarianti contratti con il vettore di separazione $y$.

Contributi Chiave e Risultati

• Formule Esatte a Tutti gli Ordini: Il documento deriva esplicite formule a tutti gli ordini per i propagatori di Jacobi (i tensori che mettono in relazione il vettore di deviazione e la sua derivata nel punto dell'osservatore con quelli nel punto della particella di prova) espressi come somme infinite dove i coefficienti sono prodotti di coefficienti binomiali. I termini coinvolgono partizioni ordinate di interi, e il numero di termini a ogni ordine è correlato ai numeri di Fibonacci.
• Espressioni Esplicite fino al Decimo Ordine: Gli autori forniscono l'espansione esplicita dei propagatori di Jacobi, del Lagrangiano e dell'equazione della deviazione geodetica fino al decimo ordine ($O(y^{10})$). Questi risultati sono forniti nei file ancillari (All.nb, Low.nb, Q.nb) e riassunti negli appendici.
• Formulazione Lagrangiana: Viene derivato un Lagrangiano del secondo ordine per la GDE a tutti gli ordini. Questo Lagrangiano descrive la dinamica del vettore di deviazione $y^\mu$ rispetto alla linea del mondo di un osservatore. Gli autori verificano che il loro Lagrangiano del secondo ordine riproduce i risultati noti fino a $O(y^5)$ trovati da Vines (2014).
• La GDE a Tutti gli Ordini: Variando il Lagrangiano derivato o manipolando direttamente le equazioni del moto del primo ordine usando l'identità di dressing, gli autori ottengono l'esplicita equazione della deviazione geodetica del secondo ordine. L'equazione include effetti mareali non lineari dovuti alla dimensione finita della separazione, accoppiando il tensore di Riemann e le sue derivate con potenze del vettore di separazione $y$ e della velocità relativa.
• Identità di Torsione Nulla: Il formalismo produce naturalmente un insieme di identità (Eq. 33a–33c) che mettono in relazione i tensori derivati ($X, Y, \dot{X}, \dot{Y}$) con la condizione di torsione nulla della connessione di Levi-Civita, fornendo controlli di coerenza per le espansioni.

Significato e Rivendicazioni
Il documento sostiene di aver stabilito un robusto formalismo "in-in" per la deviazione geodetica che funge da alternativa computazionalmente efficiente al calcolo del bitensor di Synge. Spostando il quadro nel fascio tangente e utilizzando forme differenziali covarianti, gli autori aggirano la necessità di risolvere le complesse relazioni di ricorrenza inerenti al formalismo di Synge.

Il significato primario risiede nella fornitura di espressioni esplicite e completamente espanse per la GDE e il suo Lagrangiano ad alti ordini ($O(y^{10})$), precedentemente inaccessibili in forma chiusa. Gli autori notano che i loro risultati concordano con i precedenti calcoli del quarto ordine e con i risultati $O(y^5)$ di Vines, validando il nuovo approccio.

Sebbene il documento si concentri sulla derivazione matematica, esso suggerisce potenziali applicazioni in:

• Fisica Gravitazionale: Migliorare l'accuratezza dell'analisi dei dati delle onde gravitazionali (citando LIGO) e il trattamento analitico delle orbite relativistiche eccentriche.
• Estensioni Teoriche: Il quadro è descritto come versatile, con potenziali applicazioni nelle teorie perturbative manifestamente covarianti per interazioni di gauge e gravitazionali, formalismi di linea del mondo e geometria dello spazio dei campi.
• Fisica dei Buchi Neri: Gli autori notano una sorprendente connessione con il problema di trovare le equazioni del moto per tutti gli ordini dello spin per i buchi neri di Kerr, suggerendo che la GDE a tutti gli ordini per una "deviazione immaginaria" possa dedurre parti della completazione non lineare delle equazioni di Mathisson-Papapetrou-Dixon. Questa specifica connessione è indicata come oggetto di un articolo successivo.

Il documento si conclude presentando una nuova notazione "chimica" (visualizzando le strutture tensoriali come catene di carbonio) per gestire la complessità dei termini di alto ordine, offrendo un modo intuitivo per rappresentare le intricate strutture algebriche della GDE.