Whitham형 방정식의 두 비동등 표현과 공통 해

본 논문은 Whitham형 방정식 u_t = 2u u_x – ∂_x^{–1}u_{xx} 를 두 개의 서로 다른 형태로 재표현하고, 각각의 일반 해를 정확히 구한다는 목표로 전개된다. 첫 번째 재표현은 2차 비선형 PDE u_{xt}=2u u_{xx}+u_x^2 로, 이는 Hunter‑Saxton 방정식으로 널리 알려진 형태이다. 두 번째는 1차-1차 연립 시스템 u_t=2u u_x–v, v_t=2u v_x 로, Gurevich‑Zybin 시스템이라 불린다. 저자는 이 두 방정식이 Whitham형 방정식의 서로 다른 정규화이며, 동등하지 않음을 명시한다. 2절에서는 Hunter‑Saxton 방정식(2)의 해를 구한다. 변환 x=x(y,t), u=a(y,t) 를 도입하고, x_t+2a=0 라는 조건을 선택하면 3차 방정식 x_{ytt}–x_{y}x_{tt}^2=0 이 도출된다. 이를 적분하면 x_y t = f(y) 형태가 되며, f(y)=0 일 때는 u=τ(t) 라는 x‑독립 해가 얻어진다. f(y)=2 일 때는 φ(y), ψ(t) 두 임의 함수에 의해 파라메트릭 해 (12) 가 도출된다. 이 해는 u_x가 무한대로 발산하는 특이점을 포함하지만, 전역 해의 구조를 완전히 기술한다. 저자는 기존 문헌에서 x‑독립 해가 누락된 점을 지적하고, 이를 보완한다. 3절에서는 Gurevich‑Zybin 시스템(3)의 해를 구한다. 동일한 변환을 적용하고 x_t+2a=0 로 고정하면 x(y,t)=α(y)t^2+β(y)t+γ(y) 로 표현된다. 여기서 α,β,γ는 각각 자유함수이며, 적어도 하나는 비상수여야 한다. 경우에 따라 α≠0, α=0·β≠0, α=β=0·γ≠0 로 구분한다. α≠0 인 경우는 y를 제거해 얻은 암시적 관계 (17) 로, α=0·β≠0 인 경우는 (18), α=β=0·γ≠0 인 경우는 (19) 로 정리된다. (17) 형태는 u와 v가 서로 연관된 두 식으로 구성되며, μ(v)와 ν(v) 라는 임의 함수가 등장한다. 적절히 μ와 ν를 선택하면 전 구간에 걸쳐 유한한 해를 얻을 수 있다. 특히 (19)는 상수 해로, u와 v가 선형 시간 의존성을 갖는다. 4절에서는 두 모델의 공통 해를 탐색한다. 호환 조건을 u_{tt}=4u^2 u_{xx}+2u_x u_t (또는 v_x=u_{xx}) 로 설정하고, 이를 각각의 일반 해에 대입한다. Hunter‑Saxton 해에 적용하면 τ''=0, ψ'''=0 이 되며, 이는 τ(t)=At+B, ψ(t)=Ct^2+Dt+E 로 제한된다. Gurevich‑Zybin 해에 적용하면 μ'+ν'^2=0 가 얻어지고, 이는 μ와 ν 사이의 관계를 강제한다. 결과적으로 두 시스템이 동시에 만족하는 해는 하나의 임의 함수(또는 상수)만을 자유도로 갖는 매우 제한된 집합이다. 이는 두 모델이 비동등하지만, 특정 초기조건 하에서는 동일한 물리 현상을 기술할 수 있음을 의미한다. 논문은 또한 Gurevich‑Zybin 시스템을 u_tt–4u u_xt+4u^2 u_xx–2u_x u_t+4u u_xx=0 형태의 2차 방정식(20) 으로 변환하고, 이는 Hunter‑Saxton 방정식과 다르다는 점을 강조한다. 따라서 두 시스템은 같은 Whitham형 방정식의 서로 다른 정규화이며, 일반 해의 구조와 특이점 성질이 다르다. 결론적으로, 저자는 기존 연구에서 누락된 해들을 보완하고, 변환 기법을 통해 두 모델의 일반 해를 일관된 형태로 제시함으로써 Whitham형 방정식에 대한 이해를 심화시켰다. 또한 공통 해가 매우 제한적이라는 사실을 명확히 함으로써, 두 모델이 실제 물리 현상을 기술할 때 어떤 상황에서 교차할 수 있는지를 제시한다.