광주변 고경사 근접 할로우 궤도 분기와 모저 정규화

초록

본 논문은 질량비가 작은 두 천체 시스템에서 빛나는 1차 천체에 근접한 고경사(극궤도) 주기궤도들의 분기 구조를 연구한다. Moser 정규화를 이용해 충돌 근처에서도 안정적으로 궤도를 연속시키고 Floquet 승수를 계산하는 수치 프레임워크를 구축하였다. Hill 문제에서 시작된 수직 충돌 궤도와 그로부터 파생되는 피치포크, 주기배배, 삼배 분기를 추적하고, 이를 질량비가 작은 CR3BP로 섭동 전파한다. Saturn‑Enceladus, Earth‑Moon, Copenhagen 문제에 대해 분기 그래프와 Conley‑Zehnder 지수를 제시해, 향후 엔셀라두스 플룸 샘플링 등 극궤도 기반 미션 설계에 활용 가능한 전반적인 궤도 구조를 제공한다.

상세 분석

본 연구는 두 가지 핵심 기술을 결합한다. 첫째, Moser 정규화를 적용해 충돌 특이점을 매끄러운 주기궤도로 변환함으로써, 전통적인 KS 정규화가 갖는 차원 제한과 복잡한 변환식의 단점을 극복한다. 정규화된 위상공간은 8차원 유클리드 공간에 내재된 6차원 제약다양체이며, 이 구조를 이용해 Hamiltonian 흐름과 Floquet 승수를 직접 계산한다(정리 8). 둘째, 질량비 μ를 1/3 거듭제곱으로 스케일링하는 symplectic scaling을 도입해 Hill 문제(μ→0)와 일반 CR3BP 사이의 연속성을 수학적으로 보장한다. 이 스케일링은 Hill 문제의 해가 μ가 작은 경우에 정확히 섭동 전파될 수 있음을 보이며, 특히 수직 충돌 궤도와 그 주변의 분기(피치포크, 주기배배, 삼배)가 어떻게 변형되는지를 명확히 한다.

수직 충돌 궤도는 q₃ 축을 따라 상승 후 충돌하는 형태이며, Moser 정규화 후에는 완전한 주기성을 갖는다. 이 궤도는 Hill 문제에서 기본적인 “generating orbit” 역할을 하며, Floquet 승수 분석을 통해 2, 3, 4 차원 불안정 모드가 존재함을 확인한다. 피치포크 분기에서는 대칭성을 보존하는 두 개의 새로운 궤도(halo와 butterfly)가 생성되고, 주기배배와 삼배 분기에서는 각각 두 배, 세 배 주기의 새로운 가족이 등장한다. 특히 삼배 분기에서 나타나는 “tri‑fly” 궤도는 세 개의 lobed 형태를 가지며, Hill 문제에서는 q₁‑대칭에 의해 좌·우가 구분된다.

CR3BP로의 섭동 전파 과정에서 가장 흥미로운 점은 μ가 매우 작은 Saturn‑Enceladus와 같은 시스템에서 tri‑fly 궤도가 “touch‑and‑go”와 피치포크 복합 분기를 통해 형성된다는 것이다. 이는 L₂ halo 궤도의 삼배 커버 근처에서 발생하며, 작은 μ에서도 고정된 대칭 구조가 유지된다. 반면 Earth‑Moon 시스템에서는 μ가 상대적으로 크기 때문에, 동일한 궤도는 주기‑배배와 비대칭 분기를 통해 변형된다. 이러한 차이는 Conley‑Zehnder 지수(CZ index) 계산을 통해 정량화된다. 논문은 각 궤도 가족에 대해 CZ 지수를 2~12 사이의 정수값으로 제시하고, 지수가 짝수→홀수 변할 때마다 분기가 발생한다는 일반적인 규칙을 확인한다.

수치 구현 측면에서는 Moser 정규화와 제약 해석을 결합한 차분 보정(differential correction) 알고리즘을 제시한다. 이는 고정점 조건을 8차원 공간에서 직접 풀어, 제약 라그랑지 승수와 함께 Newton‑Raphson 반복을 수행한다. 결과적으로 10⁻¹⁴ 수준의 에너지 보존과 Floquet 승수 정확도를 달성했으며, 이는 기존 KS 기반 방법보다 충돌 근처에서 2~3 배 향상된 안정성을 의미한다.

전체적으로 이 연구는 고경사, 근접 할로우 궤도의 전역적인 분기 구조를 최초로 통합적으로 제시하고, Moser 정규화가 제공하는 수치적·이론적 장점을 입증한다. 이는 향후 극궤도 기반 탐사선 설계, 특히 엔셀라두스 플룸 샘플링 같은 저고도 고경사 미션에 직접 적용 가능한 과학·공학적 기반을 제공한다.