이산 칼로소‑모머 모델의 추가 운동 상수와 최대 초적분성

본 논문은 칼로소‑모머 모델의 시간 이산화가 최대 초적분성을 유지한다는 사실을 체계적으로 입증한다. 서론에서는 연속적인 칼로소‑모머 모델이 라크스 쌍을 통해 N개의 모스터 상수와 추가로 N‑1개의 워지에흐스키 상수를 보존함으로써 2N‑1개의 독립적인 상수를 갖는 최대 초적분 시스템임을 소개한다. 이어서, 니요프와 팡이 제시한 이산화 스킴을 서리스가 재정리한 형태(식 2.1)로 제시한다. 이 스킴은 좌표 xᵢₙ와 운동량 pᵢₙ을 시간 격자 nΔt에서 n+1격자로 옮기는 심플렉틱 맵이며, 파라미터 c₀ = −γΔt가 등장한다. 다음으로 라크스 행렬 Lₙ과 전이 행렬 Mₙ을 정의한다(식 2.2). Lₙ은 대각 원소에 pᵢₙ을, 비대각 원소에 γ/(xᵢₙ−xⱼₙ)를 배치한 형태이며, Mₙ은 좌표 차이에 대한 단순한 비율을 담는다. 이 두 행렬은 이산 라크스 방정식 Lₙ₊₁ Mₙ = Mₙ Lₙ(식 2.3) 또는 동등하게 Lₙ₊₁ = Mₙ Lₙ Mₙ⁻¹(식 2.4)로 연결된다. 라크스 방정식의 트레이스 보존 성질을 이용하면, Tr Lₙᵐ는 시간에 무관하게 일정함을 알 수 있다. 따라서 기존의 모스터 상수 I(m)ₙ = Tr Lₙᵐ (m = 1,…,N)가 이산 시스템에서도 보존된다(식 2.5). 그러나 최대 초적분성을 완전히 입증하려면 추가적인 N‑1개의 상수가 필요하다. 이를 위해 저자들은 대각 행렬 Dₙ = diag(x₁ₙ,…,x_Nₙ)와 Lₙ을 결합한 복합 행렬 Dₙ(I − c₀Δt⁻¹Lₙ)⁻¹를 도입한다. 이 행렬을 이용해 K(m)ₙ을 다음과 같이 정의한다(식 3.1): K(m)ₙ = Tr