Two-boost problem for the rotating Kepler problem

Resumo Técnico: O Problema dos Dois Impulsos para o Problema de Kepler Rotativo

Enunciado do Problema
O artigo aborda o "problema dos dois impulsos" (two-boost problem) no contexto do problema de Kepler rotativo. Este problema questiona se dois pontos arbitrários no espaço de fase, $q_0$ e $q_1$, podem ser conectados por uma órbita hamiltoniana de um nível de energia fixo $c$ utilizando apenas dois impulsos (boosts) no início e no fim da trajetória. Enquanto o problema de Kepler clássico (estacionário) foi resolvido por Hohmann através de transferências elípticas, o problema de Kepler rotativo introduz uma força de Coriolis, complicando a dinâmica. O Hamiltoniano para este sistema, $K$, é não compacto devido a duas singularidades distintas: a singularidade de colisão na origem (representando uma colisão com o corpo celeste) e o comportamento no infinito (representando a fuga para o espaço). O principal desafio técnico é estabelecer a existência de soluções apesar da não compacidade da hipersuperfície de energia $K^{-1}(c)$.

Metodologia
O autor emprega uma abordagem variacional utilizando o funcional de ação de Rabinowitz, cujos pontos críticos correspondem às cordas hamiltonianas desejadas (órbitas que conectam as fibras sobre $q_0$ e $q_1$). Para lidar com a não compacidade e as singularidades, o artigo utiliza o seguinte arcabouço:

1. Regularização de Levi-Civita: A singularidade na origem é removida via transformação de Levi-Civita. O Hamiltoniano original $K$ está relacionado a um Hamiltoniano regularizado $K_c$ definido em todo o fibrado cotangente $T^*\mathbb{R}^2$. As soluções do problema original correspondem a soluções do problema regularizado, com trajetórias de colisão no sistema original mapeando para soluções específicas no sistema regularizado que interceptam a seção zero.
2. Homologia de Floer de Rabinowitz Lagrangiana (LRFH): O artigo generaliza a definição de LRFH, anteriormente definida para hipersuperfícies compactas, para uma classe estritamente mais ampla de hipersuperfícies não compactas. Isso envolve a construção de um complexo de cadeias gerado pelos pontos críticos do funcional de ação de Rabinowitz e a definição de um operador de fronteira via trajetórias de Floer (linhas de fluxo de gradiente).
3. Perturbação e Compacidade: Para garantir a bem-definidação da homologia, o autor introduz uma classe específica de perturbações $\mathcal{H}$ ao Hamiltoniano. O esforço técnico central envolve provar que, para Hamiltonianos da forma $H_a - h$ (onde $H_a$ é um Hamiltoniano quadrático e $h \in \mathcal{H}$), os conjuntos críticos são "continuamente compactos" e o espaço de trajetórias de Floer é uniformemente limitado na norma $L^\infty$. Isso baseia-se no estabelecimento de limites específicos para a ação, energia e o multiplicador de Lagrange $\eta$, utilizando um princípio do máximo e estimativas cuidadosas das propriedades de crescimento do Hamiltoniano.
4. Cálculo da Homologia: O autor calcula a homologia de Floer de Rabinowitz lagrangiana positiva para o sistema perturbado. Ao mostrar que esta homologia é não nula (especificamente isomórfica a $\mathbb{Z}_2$ no grau $1/2$), a existência de pontos críticos (soluções) é garantida.
5. Relacionando Hamiltonianos: Uma perturbação específica $h$ é construída de tal forma que a dinâmica do Hamiltoniano de Kepler rotativo regularizado $K_c$ em um subconjunto compacto relevante coincida com a dinâmica do Hamiltoniano perturbado $H_a - h$. Isso permite a transferência dos resultados de existência do cenário homológico abstrato de volta para o problema físico específico.

Contribuições Principais e Resultados

• Generalização de LRFH: O artigo estende a construção da homologia de Floer de Rabinowitz lagrangiana para uma classe de hipersuperfícies não compactas, superando os problemas de dupla não compacidade (infinito e colisão) inerentes ao problema de Kepler rotativo.
• Existência de Soluções (Teorema 1.1): O resultado principal prova que, para o problema de Kepler rotativo, dados quaisquer dois pontos $q_0, q_1 \in \mathbb{R}^2 \setminus \{0\}$ e um nível de energia $c \geq 2R^2$ (onde $R = \max\{|q_0|, |q_1|\}$), existem pelo menos duas soluções para o problema dos dois impulsos no nível de energia $K^{-1}(c)$. Estas soluções incluem tanto trajetórias regulares quanto trajetórias de colisão.
• Invariância e Não Nulidade (Teoremas 1.2 & 1.3): O artigo estabelece que a LRFH é bem definida e invariante sob a classe especificada de perturbações. Além disso, calcula explicitamente a LRFH positiva, mostrando que ela é não trivial ($\mathbb{Z}_2$ no grau $1/2$), o que implica diretamente a não vacuidade do conjunto crítico.
• Limites Técnicos: O trabalho fornece provas rigorosas para a limitação das trajetórias de Floer e a condição de finitude de Novikov no cenário não compacto, que são pré-requisitos para que a homologia seja bem definida.

Significância
O artigo fornece uma resposta positiva ao problema dos dois impulsos para o problema de Kepler rotativo, um modelo fundamental em astrodinâmica para o movimento de espaçonaves em campos gravitacionais rotativos. Ao adaptar com sucesso os métodos da homologia de Floer para cenários não compactos com singularidades, o autor demonstra que invariantes topológicos podem ser usados para garantir a existência de trajetórias críticas de missão (transferências entre órbitas) mesmo na presença de riscos de colisão e níveis de energia ilimitados. O resultado confirma que, de forma semelhante à transferência de Hohmann clássica no caso estacionário, dois impulsos são suficientes para conectar pontos do espaço de fase no referencial rotativo, desde que a energia seja suficientemente alta. A metodologia oferece um arcabouço robusto para analisar problemas semelhantes em mecânica celeste onde as suposições padrão de compacidade falham.