일반화 초극소 솔루션을 위한 이중선형 방정식과 백라크 변환

본 연구는 솔리톤 방정식의 연속·반연속 형태에서 시작해 이산화와 초극소화 과정을 체계적으로 정리한다. 서론에서는 KdV와 Toda와 같은 전통적인 연속·반연속 솔리톤 방정식이 두 종류의 해, 즉 Type I(지수 함수의 유한 합)와 Type II(행렬식, Casorati, Wronskian) 형태를 갖는다고 설명한다. 이산화 단계에서 독립 변수들을 모두 이산화하면 이산 KdV·Toda 방정식이 도출되고, 이때도 두 종류의 해가 존재한다. 그러나 초극소화 과정에서 ‘음수 문제(negative problem)’가 발생한다. 즉, 이산 방정식의 뺄셈 연산을 max 연산으로 대체할 때, 행렬식의 반대칭성(antisymmetry) 때문에 Type II 해를 직접 초극소화할 수 없다는 것이 핵심 난관이다. 이를 해결하기 위해 저자들은 영구(permanent)를 ‘초극소 영구(UP)’로 정의한다. 영구는 행렬식과 달리 부호가 없으므로 초극소화가 가능하다. 정의식 (2)에서 영구는 max 연산을 이용해 모든 순열에 대한 합을 취하는 형태이며, 이는 max‑연산과 덧셈·뺄셈이 교환되는 초극소화 규칙에 부합한다. 논문의 핵심은 두 형태의 일반화된 솔루션을 제시하는데, 식 (5)와 (6)에서 각각 Type I와 Type II에 해당하는 초극소 해를 정의한다. 여기서 s_j(n,i)=p_j n−q_j i +c_j 로 정의되고, r_j=k p_j + l q_j 로 파라미터화된다. p_j와 q_j는 비음수이며 p_1≤p_2≤…≤p_N, q_j는 두 가지 ‘분산 관계’(10) 혹은 (12) 중 하나에 따라 결정된다. 섹션 2에서는 이 일반화된 해가 만족하는 이중선형 방정식을 증명한다. Proposition 1은 q_j = min(p_j, L) 일 때 f_n^i 가 식 (11) 형태의 max‑연산 방정식을 만족함을 보이며, Proposition 2는 q_j = max(0, p_j−L) 일 때 식 (13)을 만족한다. 증명은 μ_j, ν_j 이진 변수와 λ_j, σ_j의 조합을 도입해 최대값을 전개하고, σ_j=±1 경우에 대한 경우분석을 통해 부등식 (17)·(20)을 만족함을 보인다. 이때 (k,l)=(2,0)이면 uKdV, (k,l)=(1,1)이면 uToda 방정식이 특수화된다. 섹션 3에서는 Type I 해와 Type II 해 모두에 대해 백라크 변환을 도출한다. Proposition 5는 N‑솔리톤 해 f_n^i 와 (N+1)‑솔리톤 해 g_n^i 사이에 식 (29) 형태의 max‑연산 관계를 제시한다. 여기서 A, α, β는 (31) 로 제한되며, 추가적인 순서조건 (28) 이 필요하다. 증명은 g_n^i 를 μ,ν 변수로 분해하고 λ,σ 로 재정의한 뒤, 두 최대값 식을 비교하여 부등식 (37)·(38) 를 만족함을 보인다. Proposition 6은 Type II(초극소 영구) 해에 대해 동일한 구조의 백라크 변환 (40)을 제시하고, 영구의 합성 규칙 (42)·(43)를 이용해 2f+2g 형태로 변환한다. 섹션 4에서는 기존 이산 KdV 방정식의 N‑솔리톤 해를 행렬식 형태(46)·(47) 로 제시하고, 이를 초극소화하면 영구 형태와 동일한 max‑연산 구조가 나타난다. 따라서 이산 KdV와 초극소 KdV 사이에 2:1 대수적 대응이 존재함을 확인한다. 결론에서는 초극소 영구를 도입함으로써 기존 행렬식 기반 솔루션의 초극소화를 가능하게 하고, 그 해가 만족하는 이중선형 방정식과 백라크 변환을 일관되게 구축함으로써 초극소 솔리톤 이론의 체계적 확장을 제시한다. 또한, 초극소와 이산 백라크 변환 사이의 대수적 대응을 밝힘으로써 두 이론 간의 깊은 연관성을 제시한다.