시간 이산화를 통한 적분 격자계의 국소적 운동 방정식 구축

1. 서론 시간을 이산화하는 이유와 기존 연구의 한계를 서술한다. Ablowitz‑Ladik과 Taha‑Ablowitz의 작업에서 나타난 비국소성(무한 합·곱) 문제를 지적하고, Suris가 제시한 ‘변수 국소화’ 아이디어를 소개한다. 그러나 Suris 방식은 NLS‑형 격자에 적용하기 어렵고, 일반적인 체계적 방법이 부재함을 강조한다. 2. 시간 이산화를 위한 일반 방법 2.1 연속 시간 라크스 쌍과 보존 법칙을 정의한다. L_n(λ), M_n(λ) 사이의 호환조건이 제로 커버처이며, 이를 λ 전개하면 ∂_t log det L_n = Δ⁺_n(tr M_n) 형태의 보존 법칙이 도출된다. 2.2 이산 시간 라크스 쌍을 Ψ_{n+1}=L_nΨ_n, ˜Ψ_n=V_nΨ_n 로 설정하고, 호환조건 ˜L_n V_n = V_{n+1} L_n을 제시한다. V_n은 I+h M_n+O(h²) 형태이며, 여기서 h는 시간 간격이다. V_n에 포함되는 새로운 변수들을 ‘보조 변수’라 부른다. 2.3 보조 변수들을 국소식으로 표현하기 위해 det V_n와 det L_n을 비교한다. λ에 대한 전개에서 동일한 보존 밀도에 대응하는 플럭스가 일치하도록 강제하면, ‘초국소’ 대수식 시스템이 얻어진다. 이 시스템을 풀어 보조 변수들을 원래 변수들의 국소식으로 교체한다. 2.4 결과적으로 V_n은 L_n과 동일한 λ‑구조를 유지하면서도 전역 항이 사라진 형태가 된다. 이는 라크스 쌍의 공간 부분을 그대로 보존하므로, 연속 시간 계와 동일한 무한 보존량과 해 구조를 유지한다. 2.5 비자율(non‑autonomous) 확장에 대한 논의와 경계 조건(무한 체인에서 V_n→I) 설정을 제시한다. 3. 구체적 예제 3.1 토다 격자 – Flaschka‑Manakov 변수화에서 L_n과 V_n을 구성하고, 초국소 방정식을 통해 보조 변수를 제거한다. 결과는 기존 연속 토다와 동일한 보존량을 갖는 완전 이산화 형태가 된다. 3.2 Ablowitz‑Ladik 격자 – 복소 공액 감소 조건을 유지하면서 V_n을 설계하고, 보존 법칙을 이용해 보조 변수를 국소식으로 표현한다. 이는 기존 Ablowitz‑Ladik의 비국소 형태와 동치임을 증명한다. 3.3 볼테라 격자 – L_n의 행렬식이 λ‑다항식임을 이용해 보존 밀도 ρ_n을 도출하고, 초국소 대수식으로 보조 변수를 제거한다. 결과는 기존 볼테라 이산화와 동일하지만 완전 국소 형태를 갖는다. 3.4 변형 볼테라 격자 – 위와 유사한 절차를 적용하되, 비선형 변환을 통해 새로운 보조 변수를 도입하고 이를 국소식으로 정리한다. 3.5 격자 Heisenberg 강자성체 모델 – 스핀 변수와 라크스 행렬을 이용해 V_n을 구성하고, 보존 법칙을 통해 보조 변수를 국소식으로 치환한다. 각 예제마다 보존량, 라그랑지안 구조, 그리고 해의 파라미터(각도 변수)의 시간 진화가 이산화된 형태임을 확인한다. 4. 초극한(ultradiscrete) 아날로그 볼테라와 변형 볼테라에 대해 로그 변환 후 ε→0 극한을 취해 셀룰러 자동마 형태를 얻는다. 이는 기존 초극한 KdV 계열과 일치하며, 초극한 과정에서도 보존 법칙이 유지됨을 보인다. 5. 결론 제안된 방법은 라크스 쌍을 보존하면서 최소 차수 보존 법칙을 강제함으로써 비국소성을 완전히 제거한다. 이는 NLS‑형 격자를 포함한 모든 1+1 차원 적분 격자계에 적용 가능하며, 수치 시뮬레이션과 물리적 모델링에 유용한 완전 이산화 프레임워크를 제공한다. 또한 초극한과의 연결을 통해 셀룰러 자동마 연구에도 기여한다.