Relative periodic solutions in spatial Kepler problem with symmetric perturbation

Sintesi Tecnica: Soluzioni Periodiche Relative nel Problema di Keplero Spaziale con Perturbazione Simmetrica

Enunciato del Problema
Questo articolo investiga l'esistenza e la molteplicità di soluzioni periodiche relative nel problema di Keplero spaziale soggetto a una perturbazione che soddisfa specifiche simmetrie: simmetria rotazionale rispetto all'asse $z$ e simmetria di riflessione rispetto al piano $(x, y)$. Lo studio si concentra su due applicazioni fisiche primarie: il moto di un satellite attorno a un ellissoide a massa uniforme (il "problema dell'ellissoide") e il moto in una configurazione piramidale $n$-a dove una massa si muove lungo l'asse $z$ e $n$ masse uguali formano un poligono regolare perpendicolare ad esso.

La sfida matematica centrale consiste nell'analizzare il sistema hamiltoniano perturbato:
$$\ddot{q} = -\frac{q}{|q|^3} - \varepsilon \nabla_q f(q, \varepsilon),$$
dove $f$ soddisfa le condizioni di simmetria (2). Fissando il momento angolare $\varpi$ rispetto all'asse $z$, il sistema si riduce a un sistema hamiltoniano con due gradi di libertà. Gli autori mirano a dimostrare che per perturbazioni $\varepsilon$ sufficientemente piccole e specifici parametri di energia/momento angolare, le superfici di energia compatte contengono infiniti orbite periodiche relative.

Metodologia
Gli autori impiegano una combinazione di geometria simpatica, topologia di contatto e metodi variazionali. La metodologia procede attraverso i seguenti passaggi:

1. Riduzione e Analisi Topologica:
   Il sistema viene ridotto fissando il momento angolare $\varpi \neq 0$. Per una $\varepsilon$ sufficientemente piccola ed energia $h < 0$ soddisfacente $-1 < 2h\varpi^2 < 0$, la superficie di energia $M(h, \varpi, \varepsilon)$ è mostrata essere una varietà compatta diffeomorfa alla 3-sfera $S^3$. Questa superficie è dotata di una struttura di contatto, permettendo l'applicazione di strumenti di geometria di contatto.

2. Superfici di Sezione Globali:
   Sfruttando la simmetria di riflessione, gli autori identificano un'unica orbita periodica $z$-simmetrica $\xi_\varepsilon(t)$ situata interamente nel piano $(p_r, r)$. Essi dimostrano che gli insiemi $\Sigma_{\pm, \varepsilon} = \{z=0, \pm p_z \geq 0\}$ costituiscono superfici di sezione globale simili a dischi per il flusso ridotto, con $\xi_\varepsilon(t)$ come loro comune confine.

3. Dinamica Simpatica e Relazioni Algebriche:
   L'esistenza di infinite orbite periodiche è stabilita testando la relazione algebrica tra il volume di contatto e l'azione/numero di rotazione di Seifert delle orbite di Reeb, un risultato derivato dal recente lavoro di Cristofaro-Gardiner et al. (2023). Nello specifico, se la varietà ammette esattamente due orbite di Reeb, deve essere soddisfatta una specifica uguaglianza. Gli autori dimostrano che per il sistema perturbato, tale uguaglianza viene violata sotto certe condizioni, implicando così l'esistenza di infinite orbite periodiche tramite il Teorema di Franks (che generalizza il teorema di Poincaré-Birkhoff sull'anello).

4. Analisi della Perturbazione:
   Per verificare la violazione della relazione algebrica, gli autori calcolano le derivate del primo ordine del volume di contatto ($Vol_\varepsilon$), dell'azione dell'orbita simmetrica ($A_\varepsilon$) e del numero di rotazione di Seifert ($Rot_\varepsilon$) rispetto al parametro di perturbazione $\varepsilon$. Questi calcoli comportano la stima di integrali sulla regione di Hill e l'utilizzo di formule di traccia per le equazioni linearizzate lungo l'orbita periodica.

5. Esistenza di Orbite di Frenata (Brake Orbits):
   Utilizzando il Teorema della Funzione Implicita, gli autori dimostrano l'esistenza di un'unica orbita di frenata $z$-simmetrica $\xi_{bz, \varepsilon}(t)$ (dove il momento svanisce in due istanti distinti) che forma un legame di Hopf con $\xi_\varepsilon(t)$.

Contributi Chiave e Risultati

• Teorema 1.1 (Problema dell'Ellissoide): Per un satellite che si muove attorno a un ellissoide oblato o prolato con piccola eccentricità, il sistema ammette infinite soluzioni periodiche relative all'interno della superficie di energia compatta. Questo risultato è derivato mostrando che il potenziale dell'ellissoide si inserisce nel quadro della perturbazione simmetrica.
• Teorema 1.2 & 3.4 (Keplero Perturbato Generale): Per il sistema di Keplero perturbato generale, esistono infinite orbite periodiche se:
  1. La perturbazione rende l'orbita simmetrica $\xi_\varepsilon$ iperbolica (indicato da $D(f) < 0$); oppure
  2. La perturbazione preserva l'ellitticità ( $D(f) \geq 0$) ma viola la specifica relazione algebrica volume-azione-rotazione definita dal problema di Keplero non perturbato.
• Teorema 1.3 (Unica Orbita di Frenata): Per perturbazioni sufficientemente piccole, esiste un'unica orbita di frenata $z$-simmetrica che forma un legame di Hopf con l'orbita simmetrica planare $\xi_\varepsilon(t)$. Questa orbita è cruciale in quanto delimita la superficie di sezione globale.
• Teorema 1.4 (Problema Piramidale $n$): I risultati si estendono al problema piramidale $n$ (una massa sull'asse $z$, $n$ masse in un anello). Per rapporti di massa $\varepsilon$ sufficientemente piccoli e $2 \leq n \leq 472$, il sistema ammette infinite soluzioni periodiche relative. La restrizione su $n$ è tecnica, derivante dalla disuguaglianza $2n > M(n)$ richiesta per la stabilità e le condizioni algebriche, sebbene gli autori conjetturino che il risultato valga per ogni $n$.

Significatività e Rivendicazioni
Il saggio sostiene di fornire una prova rigorosa dell'esistenza di infinite orbite periodiche relative nei problemi di Keplero spaziali con perturbazioni simmetriche, una classe di problemi rilevante per la meccanica celeste (ad esempio, corpi celesti non sferici e configurazioni $N$-corpi simmetriche).

La significatività risiede in:

1. Evitamento delle Collisioni: A differenza di studi precedenti che spesso si affidano a tecniche di regolarizzazione (Levi-Civita, Kustaanheimo-Stiefel, Moser) che oscurano se le soluzioni collidano con il corpo centrale, questo approccio garantisce l'evitamento orbitale del corpo centrale grazie alla compattezza della superficie di energia e ai vincoli specifici del momento angolare.
2. Applicazione di Strumenti Simpatici Moderni: Il lavoro unisce la meccanica celeste classica con le recenti scoperte nella topologia di contatto (Cristofaro-Gardiner et al.) e nei sistemi dinamici (Teorema di Franks), offrendo un nuovo meccanismo per provare la molteplicità delle orbite senza fare affidamento esclusivamente sulla minimizzazione variazionale o sulla teoria KAM.
3. Struttura Geometrica Specifica: L'identificazione di un'unica orbita di frenata $z$-simmetrica che forma un legame di Hopf con l'orbita simmetrica planare fornisce uno scheletro geometrico concreto per la dinamica sulla superficie di energia $S^3$.

Gli autori rimangono modesti riguardo al risultato piramidale $n$, notando che la restrizione $n \leq 472$ è dovuta a stime tecniche nella dimostrazione, ma ritengono che il risultato debba valere per ogni $n$. Non pretendono di risolvere il problema generale $N$-corpi, bensì specifici riduzioni simmetriche dove il corpo centrale non è una massa puntiforme o dove specifiche simmetrie geometriche sono preservate.