두 필드 세 차 진화 시스템의 통합 분류와 미분 대체법

본 연구는 3차 비선형 두 변수 진화 방정식 uₜ = uₓₓₓ + F(u,v,uₓ,vₓ,uₓₓ,vₓₓ),  vₜ = a vₓₓₓ + G(u,v,uₓ,vₓ,uₓₓ,vₓₓ) (a 상수) 의 정확히 적분 가능한 사례를 전면적으로 조사한다. 저자들은 먼저 ‘대칭 방법’이라는 체계적인 절차를 소개한다. 이 방법은 무한히 존재하는 정준 보존밀도 ρₙ, ˜ρₙ을 정의하고, 이들 사이의 재귀식(2.7), (2.8) 등을 통해 F와 G의 구조적 제약을 도출한다. 보존밀도는 Lax 연산자의 고유함수 ψ에 대한 Riccati 전개 ψ = exp(∫ρ dx) 로부터 얻어지며, ρ₀ = ‑F_{u₂}/3, ˜ρ₀ = ‑G_{v₂}/(3a) 로 시작한다. 적분성 검증은 Euler 연산자 E_α를 이용해 Dₜρₙ와 Dₜ˜ρₙ이 전미분 형태임을 확인하는 식(Eq. 1.5)으로 수행한다. 실제 계산에서는 n=0…7까지의 조건을 만족시키고, 완전성을 위해 n=8,9까지 추가 검증한다. 이 과정에서 a가 특정 값들만 허용됨을 발견한다. 특히 a = ‑½인 경우에만 비삼각형(irreducible) 시스템이 존재하고, a = 0,‑2,‑7/2±(3/2)√5 등은 특수 경우로 구분된다. 본 논문은 a = ‑½에 집중하고, a = ‑7/2+3√5/2 경우는 차후 연구로 남긴다. 섹션 3에서는 위 조건을 만족하는 40개의 구체적인 시스템을 표 형태로 제시한다. 각 시스템은 F와 G가 다항식 형태로 명시되며, 일부는 기존에 알려진 Drinfeld‑Sokolov 계열(예: (1.2), (1.3))과 동일하거나 변형된 형태이다. 섹션 4에서는 ‘미분 대체식(differential substitutions)’이라는 개념을 도입한다. 이는 한 시스템의 변수와 그 도함수를 다른 시스템의 변수와 도함수로 치환하는 연산으로, 보존밀도와 대칭 구조를 보존한다. 저자들은 모든 40개 시스템이 두 기본 모델 (1.2) uₜ = uₓₓₓ + v uₓ, vₜ = ‑½ vₓₓₓ + u uₓ ‑ v vₓ 와 (1.3) uₜ = uₓₓₓ + v uₓ, vₜ = ‑½ vₓₓₓ ‑ v vₓ + uₓ 으로부터 일련의 대체식을 통해 유도될 수 있음을 증명한다. 구체적인 대체식은 선형 조합, 미분 연산, 그리고 상수 스케일링을 포함한다. 예를 들어, u → u + α vₓ, v → β uₓ와 같은 변환이 여러 시스템 사이를 연결한다. 이러한 변환은 보존밀도 ρₙ, ˜ρₙ의 형태를 변형시키지 않으며, 따라서 적분성은 그대로 유지된다. 섹션 5에서는 영곡률(zero‑curvature) 표현을 제시한다. 기본 모델(1.2), (1.3)의 경우 Drinfeld‑Sokolov L‑연산자를 이용해 4×4 행렬 L, M을 구성하고, DₓΨ = LΨ, DₜΨ = MΨ 형태의 Lax 쌍을 얻는다. 영곡률 조건