이산 비선형 파동 방정식의 유일 연속성 정리

본 논문은 이산 공간에 정의된 비선형 파동 방정식들의 유일 연속성(Unique Continuation) 특성을 체계적으로 조사한다. 연구의 출발점은 토다 격자(Toda lattice)이며, 이후 Kac‑van Moerbeke 격자와 Ablowitz‑Ladik(AL) 계열까지 일반화한다. 저자는 “한 격자점에서 짧은 시간 구간 동안 두 해가 일치하면 전체 격자와 모든 시간에 대해 동일하다”는 강력한 정리를 증명한다. 1. **토다 격자** 토다 격자는 \(\dot a_n = a_n(b_{n+1}-b_n),\;\dot b_n =2(a_n^2-a_{n-1}^2)\) 로 기술된다. 두 해 \((a,b)\)와 \((a^0,b^0)\)가 존재하고, 특정 격자점 \(n_0\)에서 시간 구간 \((t_0,t_1)\) 동안 \(a_{n_0}^2=a_{n_0}^{0\,2},\;b_{n_0}=b_{n_0}^0\)라면, \(\dot b_{n_0}\)와 \(\dot b_{n_0}^0\)의 차를 이용해 \(a_{n_0-1}^2=a_{n_0-1}^{0\,2}\)를 얻는다. 이어서 \(\dot a_{n_0-1}\)와 \(\dot a_{n_0-1}^0\)를 비교하면 \(b_{n_0-1}=b_{n_0-1}^0\)가 된다. 같은 논리를 \(n_0+1\)에 적용하면 인접 두 점에서도 일치함을 확인한다. 이 과정을 양쪽으로 무한히 반복하면 모든 격자점에 대해 일치함을 보인다. 핵심 가정은 \(a(n,t)\neq0\)이며, 만약 어느 점에서 \(a=0\)이면 격자가 두 독립적인 부분으로 분리돼 정리가 깨진다. 2. **토다 계열 전반** 토다 계열은 Lax 쌍 \((H,P_{2r+2})\)을 통해 정의된다. 여기서 \(H(t)=a(t)S^+ + a^-(t)S^- + b(t)\)는 Jacobi 연산자이며, \(P_{2r+2}\)는 차수 \(r\)에 대한 다항식 조합이다. Lax 방정식 \(\dot H=