사인 고든 방정식의 행렬 삼중항을 이용한 정확 해 공식

본 논문은 사인‑고든 방정식 uₓₜ = sin u 에 대한 정확 해를 행렬 삼중항 (A, B, C) 을 이용해 체계적으로 구축하는 새로운 방법을 제시한다. 서론에서는 사인‑고든 방정식이 물리학·생물학·재료과학 등 다양한 분야에서 나타나는 배경을 설명하고, 기존에 알려진 솔리톤·브리어·다중 솔리톤 해가 주로 타원함수·디터미넌트 형태로 제시되어 왔으며, 이러한 표현은 차원이 커질수록 복잡해진다는 점을 지적한다. 2장에서는 역산산 변환(IST)과 관련된 1차 시스템 dξ/dx=−iλξ−½uₓη, dη/dx=½uₓξ+iλη (식 (1.4))을 소개하고, 이 시스템의 직접·역산산 문제를 통해 얻어지는 전이계수 T(λ)와 반사계수 R(λ), L(λ) 등을 정의한다. 전이계수 T(λ)의 극점은 바운드 스테이트(솔리톤)와 직접 연결되며, 이러한 극점이 단순이든 비단순이든 관계없이 마르첸코 적분 방정식 K(x,y,t)−Ω(x+y,t)+∬K(x,v,t)Ω(v+r,t)Ω(r+y,t)^{*}dvdr=0 (식 (2.4))을 통해 u(x,t) 를 복원할 수 있다. 3장에서는 핵심 아이디어인 커널 Ω(y,t) 을 행렬 삼중항을 이용해 Ω(y,t)=C e^{−Ay−A^{-1}t/2} B (식 (3.1))로 표현한다. 여기서 f(λ)=−i C(λI−iA)^{-1}B 는 최소 실현을 만족하는 유리함수이며, 푸리에 변환을 통해 Ω(y,t) 와 f(λ) 가 서로 대응함을 보인다. 커널이 x+y 에만 의존하고 완전히 분리가능함을 이용해 K(x,y,t)=H(x,t) e^{−A^{†}y−(A^{†})^{-1}t/2} C^{†} (식 (3.5))와 같은 형태를 가정하고, 이를 마르첸코 방정식에 대입하면 H(x,t) 에 대한 선형 미분 방정식이 도출된다. 이 방정식은 행렬 A, B, C 만을 이용해 명시적으로 풀 수 있으며, 최종적으로 u(x,t)=−4∫_{x}^{∞}K(r,r,t)dr (식 (2.3))이 얻어진다. 4장과 5장에서는 삼중항 (A,B,C) 의 일반성을 확대한다. 4장에서는 Lyapunov 방정식 A Q+Q A^{†}=B B^{†}, A^{†} N+N A=C^{†}C 을 풀어 Q, N 을 정의하고, 이를 이용해 P=Q N^{-1} 또는 Sylvester 방정식 A P+P A^{†}=B C 을 만족하는 P 를 구한다. 이러한 행렬 P, Q, N 은 (A,B,C) 가 비최소 실현이거나 고유값이 복소 평면 왼쪽 반평면에 위치해도 해를 구성할 수 있게 해준다. 또한, 행렬 삼중항의 유사 변환 (A,B,C)→(S^{-1}AS, S^{-1}B, C S) 에 대해 해가 불변함을 증명하여, 다양한 형태의 삼중항을 자유롭게 선택할 수 있음을 보인다. 6장에서는 3장에서 도출된 두 가지 해 공식이 실제로 동등함을 증명하고, 이를 다른 형태(예: 행렬 지수·삼각함수·다항식 혼합 형태)로 변환하는 방법을 제시한다. 7장에서는 uₓ(x,t)=4K(x,x,t) 의 명시적 표현을 행렬 삼중항을 통해 제시하고, x→−∞ 에서의 점근적 행동을 분석한다. 결과적으로 u(x,t) 는 x→±∞ 에서 0 또는 2π 정수배로 수렴하고, 전이계수 T(λ) 는 실수이며 반사계수 R(λ,t)=0임을 확인한다. 8장에서는 바운드 스테이트에 대응하는 정규화 상수 c_j 와 그 시간 의존성 e^{-it/(2λ_j)} 을 일반적인 경우(단순·비단순 극점 모두)로 확장한다. 이를 통해 마르첸코 방정식의 합성 항 Ω(y,t) 에 포함되는 급수 형태를 완전히 기술한다. 9장에서는 구체적인 삼중항 예시를 들어 1‑솔리톤, 2‑솔리톤 충돌, 브리어, 다중 솔리톤 군집 등의 해를 계산하고, 시간에 따른 스냅샷을 그래프로 제시한다. 각 예시에서 행렬 차원 p=1,2,3 을 선택해 실제 수치값을 구하고, 전통적인 타원함수 해와 행렬 지수 해가 동일한 물리적 현상을 기술함을 확인한다. 결론에서는 제시된 방법이 사인‑고든 방정식에 국한되지 않고, 마르첸코 적분 방정식을 이용하는 모든 적분가능 비선형 방정식(KdV, 비선형 슈뢰딩거 등)에 적용 가능함을 강조한다. 행렬 삼중항을 통한 커널 분리와 선형 대수적 해법은 복잡한 비단순극 상황에서도 간결한 해를 제공하며, 컴퓨터 알제브라 시스템을 이용한 자동 전개가 가능하므로 실용적인 계산 도구로서의 가치가 크다고 평가한다.