반반선 KdV 방정식의 시간주기와 질량전달 현상

본 연구는 물탱크 실험에서 관측된 “파동 발생기가 주기적으로 움직이면, 탱크 내부 어느 지점에서도 파형이 동일한 주기로 빠르게 수렴한다”는 현상을 수학적으로 설명하고자 한다. 이를 위해 저자는 반반선(즉, x>0, x→∞)에 정의된 Korteweg‑de Vries(KdV) 방정식 u_t+u_x+6uu_x+u_{xxx}=0을 초기‑경계값 문제 형태로 설정한다. 초기조건은 물이 정지한 상태인 u(x,0)=0이며, 경계조건은 u(0,t)=g_0(t) 로, g_0(t) 가 주기함 T_p를 갖는 매끄러운 함수라고 가정한다. 핵심 이론적 도구는 Fokas가 제안한 초기‑경계값 문제용 역산란(IBV) 이론이다. Lax 쌍을 도입해 전역 관계(global relation)를 도출하고, 복소 파라미터 k에 대한 영역 D_1,…,D_4 를 정의한다. 이때 4k^3−k 의 실수부와 허수부 부호에 따라 영역을 구분하고, 각 영역에서 특성값 ν_j(k) 를 정의한다. 이러한 복소적 구조를 이용해 선형화된 KdV(u_t+u_x+u_{xxx}=0)의 해를 적분 표현식(3.1)으로 얻는다. 정리 2.1에서는 선형 문제에 대해 두 가지 중요한 결과를 증명한다. 첫째, 고정된 x에 대해 u(x,t+T_p)−u(x,t)=O(t^{-3/2}) 로, 해가 점근적으로 동일한 주기를 갖는다. 이는 steepest descent 방법을 통해 복소 적분 경로를 변형하고, 주기적 경계 입력의 푸리에 변환이 k=0 근처에서 특이점을 만들지 않음으로써 얻어진다. 둘째, 질량 함수 M(x,t)=∫_x^∞ u(y,t)dy 에 대해 M(x,t+T_p)−M(x,t)=∫_0^{T_p} g_0(s) ds + O(t^{-3/2}) 가 된다. 따라서 g_0의 평균값이 0이면 M도 점근적으로 주기함을 가진다. 비선형 효과를 다루기 위해 저자는 섭동 전개 u=εu_1+ε^2u_2+… 와 경계 입력 g_0=εg_{01}+ε^2g_{02}+… 를 도입한다. 첫 번째 차수에서는 u_1이 선형 해와 동일한 형태를 갖고, 두 번째 차수에서는 비선형 상호작용이 나타난다. 정리 2.2는 구체적으로 첫 번째와 두 번째 네우만 경계값 g_1(t)=u_x(0,t), g_2(t)=u_{xx}(0,t) 를 복소 상수 K와 L 로 표현한다. K와 L 는 각각 4K^3−K+ω^2=0, 4L^3−L+ω=0 의 해이며, 복소 평면의 영역 D_3 경계에 위치한다. 결과적으로 g_1과 g_2는 O(t^{-3/2}) 오차와 함께 주기적 복소 지수 형태를 유지한다. 이는 비선형 교정이 존재하더라도 시간주기성이 유지된다는 강력한 증거이다. 그러나 질량 보존에 관한 코롤라리 2.3은 중요한 예외를 제시한다. 질량 변화 ΔM(t)=M(t+T_p)−M(t) 를 ε와 ε^2 차수까지 전개하면, 1차 항은 O(t^{-3/2}) 로 소멸하지만 2차 항은 상수 πω(1+2Re(K\bar K)) 를 포함한다. 일반적인 파라미터 선택에서는 이 상수가 0이 아니므로, 두 번째 차수에서 질량이 주기적으로 회복되지 않는다. 즉, KdV 방정식은 경계에서 주기적 강제에도 불구하고 질량 보존이 두 번째 차수에서 깨진다. 이는 실험에서 관측된 질량 변동이 거의 0에 가깝다는 사실과 일치한다. 실제 파라미터 ε 가 충분히 작으면 2차 항이 실질적으로 무시될 수 있어 실험과 이론이 일치한다. 반대로 파동 진폭이 커지면 2차 항이 눈에 띄게 되고, 질량 비보존 현상이 드러난다. 논문은 또한 µ≠1인 경우(예: BBM 방정식)에는 현재 역산란 이론이 적용되지 않으며, 이러한 모델에 대한 확장은 향후 연구 과제로 남긴다. 마지막으로, 저자는 실험적 관측과 이론적 결과를 연결함으로써, 반반선 KdV 방정식이 실제 물리적 파동 현상을 설명하는 데 충분히 정교함을 보여준다.