덧셈정리와 드라크 초적분계의 새로운 초적분 구조

본 논문은 완전 적분 가능 해밀토니안 시스템의 액션‑앵글 변수에서 다중값성을 제거하고, 단순한 덧셈정리를 이용해 다항식 형태의 추가 적분을 체계적으로 구축하는 새로운 방법을 제시한다. 먼저, 리우빌 클래식 정리에 따라 n 차원 완전 적분 시스템은 액션 변수 I와 앵글 변수 ω를 갖으며, 이들 사이의 포아송 괄호는 (1.1)과 같다. 저자는 n개의 함수 φ_j를 정의해 (1.4)와 같이 {H_i, φ_j}=δ_{ij}를 만족하도록 하며, H₁을 해밀토니안으로 잡을 경우 φ₂,…,φ_n이 추가 적분이 된다. 그러나 일반적으로 앵글 변수 ω_k는 다중값 함수이므로, 이를 단일값 적분으로 전환하는 것이 핵심 과제이다. 이를 위해 스택엘 시스템을 기본 틀로 삼는다. 스택엘 행렬 S는 q_j만 의존하는 n×n 비퇴화 행렬이며, (2.2)식에 의해 n개의 독립 적분 H_k가 정의된다. 이로부터 분리 관계 (2.3)와 앵글 변수 (2.6)가 도출되며, 여기서 각 좌표에 대해 μ_j = u_j(q_j)p_j, λ_j = v_j(q_j)와 같은 변수를 도입한다. 이렇게 하면 초곡선 C_j: μ_j² = P_j(λ_j) (2.5) 형태가 얻어지고, P_j는 λ_j에 대한 다항식이다. 특히 f, g_j, h_j가 H_k에 선형적으로 의존하는 경우(2.9)에는 곡선이 제로-세대 초타원곡선이 되며, ϑ_{ij}는 1종 아벨리안 미분형식의 적분이 된다. 덧셈정리(2.8)인 e^{x+y}=e^x e^y 혹은 ln x₁+ln x₂=ln x₁x₂를 적용하면, 다중값 적분 ϑ_{ij}의 합이 단일값 함수 Θ_i(K_i)로 변환된다. 여기서 K_i(p,q)는 다항식 형태의 추가 적분이며, {H₁, K_i}=0이므로 초적분이 된다. 논문은 이 아이디어를 n=2인 경우에 구체화한다. 첫 번째 경우(f₁=f₂=0)에서는 ω₂가 단순히 p₁u₁g₁ + p₂u₂g₂ 형태가 되고, K = g₂p₁u₁ + g₁p₂u₂가 3차 혹은 1차 적분을 제공한다. 두 번째 경우(f₁=k₁²f, f₂=k₂²f)에서는 로그 적분이 등장하고, exp(2k₁k₂√f ω₂)가 다항식 적분들의 생성함수 Φ가 된다. k₁, k₂를 정수로 선택하면 차수가 3,4,5,6,…인 적분을 얻을 수 있다. 일반화된 식 (2.19)에서는 κ₁, κ₂가 양의 정수일 때 K = (1/2√f)^{κ₁+κ₂}·(… ) 형태의 생성함수를 도출하고, 이를 통해 차수가 1,3,5,7인 적분을 체계적으로 만들 수 있음을 보인다. 스택엘 행렬 S에 대한 제약식 (2.22)와 함수 u_j, v_j에 대한 미분 방정식 (2.23)을 풀어, 유리 혹은 삼각함수 형태의 메트릭에 대해 세 가지 단항 해(I,II,III)를 제시한다. 이 해들은 u_j와 v_j가 각각 q_j, 1/q_j, 혹은 q_j^k 형태임을 의미한다. 이러한 해를 이용해 좌표 변환 (2.25)과 시간 재정의(시간 변환)를 수행하면, 원래의 다중값 구조가 단일값 다항식 적분으로 완전히 변환된다. 논문은 이러한 일반 절차를 바탕으로 드라크가 1935년에 제시한 12가지 포텐셜을 재해석한다. (a)~(l) 형태의 포텐셜 중 일부는 스택엘 시스템과 직접 연결되며, 특히 (a)와 (h)는 기존 문헌에 없던 새로운 초적분 구조를 제공한다. 예를 들어 식 (2.28)에서 제시된 새로운 포텐셜 H₁ = p_x p_y + γ₁ x y + γ₂ p_x y³ + γ₃ y²와 H₂ = (p_x x - p_y y)²/4 - γ₂ r_x y - γ₃ x y는 5차·6차 적분을 갖는 새로운 초적분계이며, 이는 기존 리스트에 누락된 사례임을 강조한다. 또한, 재귀 관계 K₅={K₄,H₂}, K₄={K₃,H₂}, K₃={K₂,H₂}를 이용해 차수 높은 적분을 차례로 유도하고, 최종적으로는 3차, 5차, 7차 적분을 갖는 완전 초적분 시스템을 구축한다. 결론적으로, 저자는 덧셈정리를 활용한 다항식 적분 생성 방법이 기존의 초적분계 분류를 확장할 수 있는 강력한 도구임을 입증한다. 제시된 방법은 스택엘 행렬의 마지막 행을 표준형으로 변환하고, 적절한 u_j, v_j 함수를 선택함으로써 거의 모든 제로-세대 초타원곡선 기반 시스템에 적용 가능하다. 향후 연구에서는 고세대 초타원곡선(elliptic, hyperelliptic)과 관련된 복잡한 덧셈정리를 이용해 차수가 9,11 등 더 높은 차수의 적분을 가진 새로운 초적분 시스템을 탐색할 여지가 있다.