시간 가변 계수를 갖는 로젠하우젠 방정식의 대칭·정밀해·보존법 연구

초록

본 논문은 시간에 따라 변하는 계수를 가진 일반화된 로젠하우젠(Rosenau‑Hyman) 방정식에 대해 고전적 Lie 대칭, 비고전적(비클래시컬) 대칭을 구하고, 얻어진 대칭을 이용해 차원 축소와 정확해를 도출한다. 또한 멀티플라이어 방법을 적용해 다양한 경우의 국소 보존법을 구성한다.

상세 분석

논문은 먼저 u(x,t)·에 대한 비선형 편미분식
u_t+α(t) u u_{xxx}+δ(t) u_x u_{xx}+β(t) u u_x=0 (1.1)
을 연구대상으로 삼는다. 여기서 α,β,δ는 t에만 의존하는 비영(非零) 연속함수이다. 고전적 Lie 방법을 적용해 무한소 변환 (x, t, u)→(x+εξ, t+ετ, u+εη) 를 가정하고, 연장된 무한소 η^{(t)}, η^{(x)}, … 를 전개한다. 변분 기준 η^{(t)}+…=0을 전개해 계수들을 독립적인 다항식에 대해 비교함으로써 결정식(2.5)을 얻고, 이를 풀어 τ, ξ, η를 (2.6) 형태로 표현한다. 특히 τ와 ξ는 α(t)와 그 적분 Rα(t)=∫α^{-1}(t)dt에 의해 결정되며, η는 u에 비례하는 형태임을 확인한다. 최적 시스템을 구성하기 위해 V₁=x∂_x−Rα(t)∂_t+4u∂_u, V₂=∂_x, V₃=α^{-1}(t)∂_t 로 정의하고, V₁과 V₂+λV₃의 조합을 고려한다. 각각에 대해 similarity 변수 ζ와 변환 u=…f(ζ)를 도출하고, 원 PDE를 ODE(2.9), (2.10) 로 축소한다.

비고전적 대칭은 조건 u_t=ξ u_x+η 를 (3.1) 로 두고, (1.1)과의 일관성을 강제한다. 연산자를 이용해 고차 미분항을 소거하고, 비선형 결정식(3.4)을 얻는다. 이 시스템을 풀어 ξ=f(t)(x+c₁), η=c₂ f(t) u 로 얻으며, 이에 대응하는 무한소 연산자는 X=f(t)(x+c₁)∂_x+∂_t+c₂ u f(t)∂_u 가 된다. 특성 방정식으로부터 similarity 변수 z=(x+c₁) e^{-∫f(t)dt} 와 u=e^{c₂∫f(t)dt} g(z)를 얻어 ODE(3.9)를 도출한다.

축소된 ODE들에 대해 다항식, 삼각함수, 지수함수 형태의 해를 가정하고, 계수 비교를 통해 구체적인 정확해를 구한다. 예를 들어 (2.9)에서는 f(ζ)=a+bζ+ cζ² 를 대입해 a=0, b=−3c₅, c=0 으로부터 u(x,t)=−3c₅ x e^{-∫α(t)dt} 를 얻으며, (2.10)에서는 삼각함수 해 f(ζ)=c₁ sin(kζ)+c₂ cos(kζ)+const 로부터 복합적인 파동 형태 해를 도출한다. 비고전적 경우(3.9)에서도 유사하게 2차 다항식 해를 구해 u(x,t)=1−(c₂/c₄)(x+c₁) e^{∫(c₂−1)f(t)dt} 를 얻는다. 각 해는 α(t) 의 다양한 선택(e^{-t}, sinh t, ln t 등)과 파라미터 c₅, λ, c₁ 등과 결합해 3‑D 및 등고선 그래프를 통해 시각화된다.

보존법은 멀티플라이어 Λ(x,t,u) 를 가정하고, Λ·(PDE)=D_t C^t+D_x C^x 형태를 강제한다. Euler‑Lagrange 연산자를 이용해 결정식(5.5)를 얻고, α,β,δ 사이의 관계에 따라 여러 경우(a)~(d) 로 분류한다. 예를 들어 α≠0, δ(δ−3α)=0, β와 δ의 비율이 일정한 경우 Λ=c₁+ c₂ u^{c₃−1} 와 같은 형태가 나오며, 이에 대응하는 보존 전류 C^t, C^x 를 명시한다. 특히 α=β=1, δ=3 인 고전적 로젠하우젠 방정식에 대해서는 기존 문헌과 일치하는 네 개의 보존법을 재현한다.

전체적으로 논문은 변수계수를 갖는 로젠하우젠 방정식에 대해 Lie 대칭과 비고전적 대칭을 체계적으로 구하고, 이를 통해 차원 축소, 정확해 도출, 보존법 구성까지 일관된 프레임워크를 제공한다. 변수계수의 일반성 덕분에 물리적 모델링(예: 액체 방울 패턴 형성)에서 파라미터 의존성을 분석할 수 있는 유연성을 확보한다.