가변계수 반선형 확산 방정식의 비고전 대칭 연산자 연구

초록

본 논문은 가변계수 반선형 확산‑반응 방정식 $f(x)u_t=(g(x)u_x)_x+h(x)u^m;(m\neq0,1,2)$에 대한 비고전 대칭(감소 연산자)을 체계적으로 구하고, 이를 이용한 해의 축소와 새로운 정확해 도출 방법을 제시한다.

상세 분석

논문은 먼저 주어진 반선형 확산‑반응 방정식의 일반적인 형태와 기존 연구에서 다루어진 고전적(Lie) 대칭을 검토한다. 변수 계수 $f(x),g(x),h(x)$가 존재함에 따라 전통적인 대칭 분석이 제한적이며, 특히 비선형 항 $u^m$(단, $m\neq0,1,2$)이 포함될 경우 고전적 대칭군이 거의 사라지는 현상이 나타난다. 이러한 상황에서 비고전 대칭, 즉 감소 연산자(Reduction Operator)를 도입하면 추가적인 불변 조건을 부여함으로써 미분 방정식의 차원을 감소시킬 수 있다. 저자들은 Vaneeva·Popovych·Sophocleous(2009)의 알고리즘을 그대로 차용하면서도, 가변계수와 비선형 지수 $m$에 대한 일반적인 경우를 포괄하도록 절차를 확장하였다. 구체적으로, 연산자를 $Q=\tau(t,x,u)\partial_t+\xi(t,x,u)\partial_x+\eta(t,x,u)\partial_u$ 형태로 가정하고, 연산자와 원 방정식 사이의 비고전 결정식(conditional invariance criterion)을 전개한다. 여기서 핵심은 $Q$의 계수 함수들이 $f,g,h$와 $m$에 의존하도록 허용하면서, 결정식이 $u_t$와 $u_{xx}$를 제거하도록 적절히 조정하는 것이다.

연산자 결정식은 두 단계로 나뉜다. 첫 단계는 $Q$가 원 방정식의 해 집합에 제한된 형태로 작용하도록 하는 ‘조건부 불변성’ 방정식을 도출하는 것이며, 이는 $Q