이산 2×2 라크스쌍의 완전성 연구

본 논문은 “분리 가능한 항”이라는 강력한 구조적 제약을 도입해 2×2 이산 라크스쌍을 전수 조사한다. 라크스쌍은 두 개의 선형 차분 방정식 θ(l+1,m)=L(l,m)θ(l,m), θ(l,m+1)=M(l,m)θ(l,m) 로 정의되며, L과 M은 각각 2×2 행렬이다. 저자는 각 행렬 원소를 a(l,m)A(n) 형태, 즉 격자 변수와 스펙트럼 변수가 완전히 분리된 곱으로만 구성하도록 제한한다. 이는 라크스쌍이 포함할 수 있는 항의 수를 최소화하고, 호환 조건을 분석하기 위한 조합 폭을 제한한다는 점에서 핵심적이다. 호환 조건 L(l,m+1)M(l,m)=M(l+1,m)L(l,m) 를 전개하면, 각 행·열마다 네 개의 스펙트럼 곱(AΞ, BΔ, BΛ, DΞ)과 네 개의 격자 항(ˆaβ, ˆbδ, b¯α, d¯β)이 등장한다. 저자는 이들을 “그룹”이라 부르고, 같은 격자 항에 곱해지는 스펙트럼 항들 사이의 비례 관계를 “링크”라는 개념으로 정형화한다. 단일 링크는 두 스펙트럼 항이 비례할 때, 이중 링크는 세 항이, 삼중 링크는 네 항이 비례할 때 발생한다. 링크가 존재하려면 동일한 격자 항에 대응하는 모든 스펙트럼 항이 서로 비례해야 하며, 비례 상수는 동일 그룹 내에서 일관되어야 한다. 만약 두 개의 단일 링크가 같은 두 그룹 사이에 존재한다면, 그 비례 상수는 반드시 동일해야 함을 증명한다(Fact 1). 이와 유사하게, 이중 링크가 두 개 이상 존재하면 과잉 결정이 발생해 라크스쌍이 불가능해진다(Fact 2). 따라서 가능한 링크 조합은 매우 제한적이며, 실제로는 최대 두 개의 이중 링크 혹은 세 개의 삼중 링크만 허용된다. 이러한 제약 하에 저자는 모든 가능한 라크스쌍을 체계적으로 열거한다. 대부분은 (1) 모든 격자 항이 영이 되는 트리비얼 케이스, (2) 비례 상수 간 모순으로 인해 과잉 결정되는 케이스, (3) 자유도가 남아 방정식이 정의되지 않는 과소 결정 케이스이다. 하지만 두 가지 비자명한 경우가 발견된다. 첫 번째는 LSG₂(Lattice Sine‑Gordon 2)로, 두 번째는 LMKdV₂(Lattice Modified KdV 2)이다. 두 방정식 모두 두 개의 종속 변수 x(l,m), y(l,m)와 파라미터 함수 λ_i(l), μ_i(m), 그리고 ρ=λ(−1)^m³, σ=μ(−1)^l³ 로 구성된다. LSG₂는 다음과 같은 두 식으로 표현된다: ρσ ˆx x + λ₁μ₁ ˆ¯x ˆy = σρ ˆ¯x ¯x + λ₂μ₂ x ¯y, σρ ˆ¯y ˆy + λ₂μ₂ ˆx y = ρσ ¯y y + λ₁μ₁ ¯x ˆ¯y. LMKdV₂는 유사한 구조를 가지며, x=y 로 두면 기존의 격자 변형 KdV 방정식이 회복된다. 두 방정식 모두 기존 1차 격자 방정식의 2차 확장으로, 격자 차원마다 두 번씩 전진·후진을 수행한다는 의미에서 “2차”라 명명된다. 각 방정식에 대응하는 라크스쌍도 명시된다. LSG₂의 L, M 행렬은 F₁(n), F₂(n)이라는 임의의 스펙트럼 함수와 λ_i, μ_i, ρ, σ 로 구성되며, F₁≠k F₂ (k는 상수) 라는 조건만을 만족한다. LMKdV₂ 역시 동일한 형태의 행렬을 갖지만, 항들의 배치가 달라진다. 논문의 마지막 부분에서는 왜 대부분의 라크스쌍이 무의미한지를 구체적인 예시와 함께 설명한다. 예를 들어, Weierstrass ℘ 함수와 같은 복잡한 스펙트럼 의존성을 선택하면, 호환 조건에서 ℘³, ℘² 등 서로 다른 차수의 항이 섞여 비례 관계를 만족시키지 못하고, 결국 격자 항 중 하나가 영이 되거나 방정식이 모순을 일으킨다. 결론적으로, 저자는 “Theorem 1”을 제시한다. 이는 주어진 제한(2×2, 각 원소에 하나의 분리 가능한 항) 하에서 호환 조건이 만들어내는 모든 비선형 차분 방정식은 트리비얼, 과잉/과소 결정, 혹은 LSG₂·LMKdV₂ 중 하나에 귀속된다는 완전성 정리이다. 이 정리는 라크스쌍 기반의 차분 적분계 연구에 있어 가능한 모델 공간을 명확히 규정한다. 향후 연구 방향으로는 (1) 스펙트럼 의존성을 다항식·유리함수 외의 일반 함수로 확장, (2) 3×3 이상의 고차원 라크스쌍 탐색, (3) 발견된 두 방정식의 보존량·솔루션 구조 분석 등이 제시된다.