Two-boost problem for the rotating Kepler problem

Sintesi Tecnica: Il Problema dei Due-Boost per il Problema di Keplero Rotante

Enunciato del Problema
Il saggio affronta il "problema dei due-boost" nel contesto del problema di Keplero rotante. Questo problema chiede se due punti arbitrari nello spazio delle fasi, $q_0$ e $q_1$, possano essere connessi da un'orbita hamiltoniana di un livello di energia fissato $c$ utilizzando solo due manovre impulsive (boost) all'inizio e alla fine della traiettoria. Mentre il classico problema di Keplero (stazionario) è stato risolto da Hohmann tramite trasferimenti ellittici, il problema di Keplero rotante introduce una forza di Coriolis, complicando la dinamica. L'Hamiltoniana di questo sistema, $K$, è non compatta a causa di due singolarità distinte: la singolarità di collisione nell'origine (che rappresenta uno schianto contro il corpo celeste) e il comportamento all'infinito (che rappresenta l'uscita nello spazio). La principale sfida tecnica consiste nell'stabilire l'esistenza di soluzioni nonostante la non compattezza dell'ipersuperficie di energia $K^{-1}(c)$.

Metodologia
L'autore impiega un approccio variazionale utilizzando il funzionale d'azione di Rabinowitz, i cui punti critici corrispondono alle corde hamiltoniane desiderate (orbite che connettono le fibre su $q_0$ e $q_1$). Per gestire la non compattezza e le singolarità, il saggio utilizza il seguente framework:

1. Regolarizzazione di Levi-Civita: La singolarità nell'origine viene rimossa tramite la trasformazione di Levi-Civita. L'Hamiltoniana originale $K$ è correlata a un'Hamiltoniana regolarizzata $K_c$ definita sull'intero fibrato cotangente $T^*\mathbb{R}^2$. Le soluzioni del problema originale corrispondono a soluzioni del problema regolarizzato con traiettorie di collisione che mappano in specifiche soluzioni del sistema regolarizzato che intersecano la sezione nulla.
2. Omologia di Floer di Rabinowitz Lagrangiana (LRFH): Il saggio generalizza la definizione di LRFH, precedentemente definita per ipersuperfici compatte, a una classe decisamente più ampia di ipersuperfici non compatte. Ciò comporta la costruzione di un complesso di catene generato dai punti critici del funzionale d'azione di Rabinowitz e la definizione di un operatore di bordo tramite traiettorie di Floer (linee di flusso del gradiente).
3. Perturbazione e Compattezza: Per garantire la ben definibilità dell'omologia, l'autore introduce una specifica classe di perturbazioni $\mathcal{H}$ all'Hamiltoniana. Lo sforzo tecnico centrale consiste nel dimostrare che per Hamiltoniane della forma $H_a - h$ (dove $H_a$ è un'Hamiltoniana quadratica e $h \in \mathcal{H}$), i set critici sono "continuamente compatti" e lo spazio delle traiettorie di Floer è uniformemente limitato nella norma $L^\infty$. Ciò si basa sull'instaurare specifici limiti per l'azione, l'energia e il moltiplicatore di Lagrange $\eta$, utilizzando un principio del massimo e stime attente delle proprietà di crescita dell'Hamiltoniana.
4. Calcolo dell'Omologia: L'autore calcola l'omologia di Floer di Rabinowitz lagrangiana positiva per il sistema perturbato. Dimostrando che tale omologia è non nulla (specificamente isomorfa a $\mathbb{Z}_2$ in grado $1/2$), l'esistenza di punti critici (soluzioni) è garantita.
5. Relazione tra Hamiltoniane: Viene costruita una perturbazione specifica $h$ tale che la dinamica dell'Hamiltoniana di Keplero rotante regolarizzata $K_c$ su un pertinente sottoinsieme compatto coincida con la dinamica dell'Hamiltoniana perturbata $H_a - h$. Ciò permette di trasferire i risultati di esistenza dall'astratto setting omologico al problema fisico specifico.

Contributi Chiave e Risultati

• Generalizzazione della LRFH: Il saggio estende la costruzione dell'omologia di Floer di Rabinowitz lagrangiana a una classe di ipersuperfici non compatte, superando le problematiche di doppia non compattezza (infinito e collisione) inerenti al problema di Keplero rotante.
• Esistenza di Soluzioni (Teorema 1.1): Il risultato principale dimostra che per il problema di Keplero rotante, dati due punti qualsiasi $q_0, q_1 \in \mathbb{R}^2 \setminus \{0\}$ e un livello di energia $c \geq 2R^2$ (dove $R = \max\{|q_0|, |q_1|\}$), esistono almeno due soluzioni al problema dei due-boost sul livello di energia $K^{-1}(c)$. Queste soluzioni includono sia traiettorie regolari che traiettorie di collisione.
• Invarianza e Non Vacuità (Teoremi 1.2 & 1.3): Il saggio stabilisce che la LRFH è ben definita e invariante rispetto alla classe specificata di perturbazioni. Inoltre, calcola esplicitamente la LRFH positiva, mostrando che è non banale ($\mathbb{Z}_2$ in grado $1/2$), il che implica direttamente la non vacuità del set critico.
• Limiti Tecnici: Il lavoro fornisce prove rigorose per la limitatezza delle traiettorie di Floer e la condizione di finitezza di Novikov nel setting non compatto, che sono prerequisiti affinché l'omologia sia ben definita.

Significatività
Il saggio fornisce una risposta positiva al problema dei due-boost per il problema di Keplero rotante, un modello fondamentale nell'astrodinamica per il moto di un veicolo spaziale in campi gravitazionali rotanti. Adattando con successo i metodi dell'omologia di Floer a setting non compatti con singolarità, l'autore dimostra che gli invarianti topologici possono essere utilizzati per garantire l'esistenza di traiettorie critiche per la missione (trasferimenti tra orbite) anche in presenza di rischi di collisione e livelli di energia illimitati. Il risultato conferma che, similmente al classico trasferimento di Hohmann nel caso stazionario, due boost sono sufficienti per connettere punti dello spazio delle fasi nel sistema di riferimento rotante, a condizione che l'energia sia sufficientemente elevata. La metodologia offre un framework robusto per analizzare problemi simili nella meccanica celeste dove i standard assunti di compattezza falliscono.