일반화된 4번째 Appelrot 클래스에서 변수 분리

본 논문은 두 개의 상수 외부장(α, β)을 받는 코와레프스키 토프의 운동을 연구한다. 서론에서는 코와레프스키 토프가 세 개의 전역 적분량 H, K, G 를 가지고 완전 적분 가능함을 상기하고, 전체 위상공간 P⁶(9차원) 안에 세 개의 4차원 불변면 M, N, O 가 존재함을 언급한다. 특히 O는 고전적인 4번째 Appelrot 클래스와 대응되는 부분다양체이며, 이 논문의 주요 연구 대상이다. 1. **복소 변수 도입 및 방정식 변환** (1.7)에서 정의된 복소 변수 x₁, x₂, y₁, y₂, z₁, z₂, w₁, w₂, w₃ 로 원래의 실수 방정식 (1.1)을 재작성한다. 이 변환은 대수적 구조를 단순화하고, O⁴를 정의하는 제약식 R₁=0, R₂=0 (식 1.12‑1.13)을 명확히 한다. 2. **부분 적분량 S와 T** 정리 1에서 I·ω·α와 I·ω·β의 비율이 일정함을 보이며, 이를 S = −(M·α M₁ − M·β M₂)/(M₁²+M₂²) 로 정의한다. 정리 2에서는 T = (M·α M₁ + M·β M₂)/2 − 2(α₁β₂ − α₂β₁)+a²+b² 가 적분량임을 증명한다. 두 적분량은 서로 독립이며, (S,T)=(s,τ) 로 고정하면 O⁴ 위의 적분면이 완전히 규정된다. 3. **적분 상수와 파라메트릭 관계** (2.14)에서 h, k, g 와 (s,τ) 사이의 관계를 제시한다. 이를 통해 ψ(s)=0, ψ′(s)=0 라는 다항식 조건을 얻으며, β=0 경우에는 기존 4번째 Appelrot 클래스의 다항식 ϕ(s)와 일치한다. 따라서 O⁴는 4번째 Appelrot 클래스의 일반화된 형태임을 확인한다. 4. **변수 분리와 보조 변수 도입** x = p x₁x₂, z = p z₁z₂, ξ = 2s w₁w₂ 라는 보조 변수를 도입하고, 복잡한 대수 연산을 통해 모든 원래 변수들을 (x, ξ) 로 표현한다. 핵심 식은 Φ₁, Φ₂, Ψ₁, Ψ₂ (식 3.15‑3.24) 로, 이들은 x와 ξ에 대한 2차 다항식이며, μ₁, μ₂, z₁, z₂, w₁, w₂, w₃ 등을 구하는 데 사용된다. 특히, μ₁·μ₂와 ξ²‑4s²(x±χ)² 사이의 관계를 이용해 변수 분리를 완성한다. 5. **위상 변수들의 대수적 표현** 최종적으로 (3.26)‑(3.35) 식을 통해 x₁, x₂, y₁, y₂, z₁, z₂, w₁, w₂, w₃ 를 모두 (x, ξ) 와 적분 상수 (s,τ, p, r, χ) 로 표현한다. 모든 루트는 알제브라적이며, 부호 선택은 초기 조건에 따라 결정된다. 동일한 (x, ξ) 에 대해 16개의 서로 다른 위상점이 존재함을 보인다. 6. **심플렉틱 구조의 퇴화와 리우빌리 토러스** Poisson 괄호 {R₁,R₂} 를 계산하여 퇴화점이 {R₁,R₂}=0 인 경우에만 발생함을 확인한다. 이는 측정적으로 영집합이므로, O⁴ 위의 동역학은 거의 전역에서 비퇴화된 심플렉틱 구조를 가진다. 따라서 시스템은 두 자유도(2 DOF)의 해밀토니안 시스템이며, 적분면은 일반적인 리우빌리 토러스를 형성한다. 7. **결론 및 의의** 논문은 두 개의 상수장 상황에서도 4번째 Appelrot 클래스와 동등한 특수 궤도를 찾고, 부분 적분량을 이용해 변수 분리를 성공적으로 수행하였다. 이는 기존의 단일장 코와레프스키 토프 연구를 확장하는 동시에, 대수적 해법을 제공함으로써 비선형 동역학 및 고전역학 분야에 새로운 분석 도구를 제시한다.