근사 대칭 축소를 통한 KdV‑버거스 방정식의 무한급수 해법

본 논문은 1+1 차원 KdV‑버거스 방정식 u_t+6uu_x+µu_{xxx}+νu_{xx}=0을 약한 점성(ν≪1)과 약한 분산(µ≪1) 두 경우에 대해 근사 대칭 축소(approximate symmetry reduction) 방법으로 분석한다. 1. **문제 설정 및 섭동 전개** - 점성 약화 경우: 해를 u=∑_{k=0}^{∞}ν^k u_k 로 전개하고, 이를 원 방정식에 대입해 차수별 연쇄 방정식 u_{k,t}+6∑_{i=0}^{k}u_i u_{k−i,x}+µu_{k,xxx}+u_{k−1,xx}=0 (u_{−1}=0) 을 얻는다. - 분산 약화 경우: u=∑_{k=0}^{∞}µ^k u_k 로 전개하고, 유사하게 u_{k,t}+6∑_{i=0}^{k}u_i u_{k−i,x}+νu_{k,xx}+u_{k−1,xxx}=0 (u_{−1}=0) 을 도출한다. 2. **근사 대칭 축소 절차** - 각 연쇄 방정식에 대해 Lie 점대칭 생성자 σ_k = X u_{k,x}+T u_{k,t}−U_k 를 가정하고, 선형화 방정식(점성 경우: (7), 분산 경우: (24))을 만족하도록 X, T, U_k 를 결정한다. - 무한개의 결정 방정식 중 유한개의 차수(k=0,1,2,…,N)만을 선택해 계산을 진행한다. 결과적으로 X와 T는 각각 X=6at+cx+x_0, T=3ct+t_0(점성) 혹은 T=2ct+t_0(분산) 형태를 갖는다. - U_k는 (k−2)c u_k + aδ_{k,0} 로 일관되게 정해지며, 이는 차수마다 동일한 스케일 변환을 보장한다. 3. **특성 방정식과 유사성 변수** - 특성 방정식 d x /X = d t /T = d u_k /U_k 로부터 불변 변수 ξ와 축소 함수 P_k(ξ)를 정의한다. - 점성 약화 경우: ξ = (x−3at+x_0−3at_0)/(3t+t_0)^{1/3}. - 분산 약화 경우: ξ = (x−6at−6at_0+x_0)/(2t+t_0)^{1/2}. 4. **영차수 해와 특수함수** - 점성 경우 영차수 방정식은 µP_{0,ξξξ}+6P_0P_{0,ξ}−ξP_{0,ξ}−2P_0=0 로, 이는 Painlevé II 형태이며, 매개변수 선택에 따라 Painlevé I 혹은 Jacobi 타원함수 해도 얻어진다. - 분산 경우 영차수 방정식은 νP_{0,ξξ}+6P_0P_{0,ξ}−ξP_{0,ξ}−P_0=0 로, Kummer M, U 함수로 해를 표현한다. a=0이면 Airy 함수 해와 하이퍼볼릭 탄젠트(tanh) 형태의 솔루션도 도출된다. 5. **고차 차수의 선형 ODE** - 점성 경우 k≥1에 대해 µP_{k,ξξξ}+6(P_0P_{k,ξ}+P_kP_{0,ξ})−ξP_{k,ξ}+(k−2)P_k = f_k(ξ) 형태의 3차 선형 ODE가 얻어진다. f_k는 이전 차수들의 곱과 미분으로 구성된 알려진 함수이며, 변분법이나 적분 인자를 이용해 순차적으로 풀 수 있다. - 분산 경우 k≥1에 대해 νP_{k,ξξ}+6(P_0P_{k,ξ}+P_kP_{0,ξ})−ξP_{k,ξ}−(k+1)P_k = g_k(ξ) 형태의 2차 선형 ODE가 된다. 역시 g_k는 이전 차수에만 의존하므로 단계적으로 해를 구한다. 6. **시리즈 해의 구성** - 최종적으로 u(x,t)=a/2 + Σ_{k=0}^{∞}ν^k (3t+t_0)^{(k−2)/3} P_k(ξ) (점성) 혹은 u(x,t)=a + Σ_{k=0}^{∞}µ^k (2t+t_0)^{-(k+1)/2} P_k(ξ) (분산) 형태의 무한급수 해를 제시한다. 각 P_k는 위에서 구한 특수함수와 선형 ODE 해의 조합이다. 7. **논의 및 향후 과제** - 제시된 무한급수 해는 기존에 알려진 해(솔리톤, 주기해 등)를 포함하며, 고차 차수까지도 간단한 적분으로 구할 수 있다는 장점이 있다. - 그러나 급수의 수렴성은 아직 증명되지 않았으며, 수렴 반경과 발산 구간에 대한 정밀 분석이 필요하다. 이는 향후 연구 과제로 남겨진다. 전체적으로 논문은 근사 대칭 축소가 비선형 PDE의 섭동 해를 체계적으로 구축하고, 기존 특수함수와 연결시키는 강력한 방법임을 입증한다. 특히 무한급수 형태의 해를 통해 점성·분산이 약한 물리 시스템에서 다양한 파동 형태(솔리톤, 주기파, 전파 파형 등)를 포괄적으로 기술할 수 있음을 보여준다.