동차해석법 수렴성 연구

초록

본 논문은 동차해석법(Homotopy Analysis Method, HAM)의 수렴성을 엄밀히 규명한다. 특수 제약 조건 하에서 HAM이 비선형 상미분·편미분 방정식의 정확해에 수렴함을 정리하고, 수렴 제어 매개변수(ℎ)의 최적값을 잔차 제곱오차를 통해 제시한다. 또한 오차 추정식을 도출하고, 블라지우스 흐름을 포함한 여러 사례를 통해 수렴 구간과 수렴 속도를 실증한다.

상세 요약

동차해석법은 초기 근사해와 연속적인 변형을 연결하는 동차 매개변수(p)와 수렴 제어 매개변수(ℎ)를 도입함으로써 비선형 방정식의 해를 무한급수 형태로 전개한다. 기존 연구에서는 ℎ값을 경험적으로 선택해 왔으며, 수렴성에 대한 엄밀한 증명이 부족했다. 본 논문은 먼저 ℎ와 p가 정의역 내에서 유계이며, ℎ가 특정 구간(ℎ∈(h₁,h₂))에 존재할 때 급수의 일반항이 등비수열과 유사한 감소율을 보인다는 레시프 정리를 이용한다. 이를 통해 ‖uₙ₊₁−uₙ‖≤q‖uₙ−uₙ₋₁‖ (0<q<1) 형태의 수렴 조건을 도출하고, 수렴 반경을 ℎ에 대한 함수로 명시한다.

특히, 논문은 “특수 제약 조건”이라 부르는 ℎ·p·L(u₀)와 비선형 연산자 N(u)의 결합 형태가 Lipschitz 연속성을 만족하도록 설정한다. 이때, 연산자 L은 선형, 가역이며, N은 충분히 매끄러운 비선형 연산자라 가정한다. 이러한 가정 하에 Banach 고정점 정리를 적용하면, HAM 급수가 정의역 전체에서 수렴하고, 그 극한이 원래 비선형 방정식의 유일해와 일치함을 증명한다.

ℎ값의 최적 선택은 잔차 제곱오차 E(ℎ)=∑_{k=0}^{M}‖N(u_k)‖²를 최소화하는 문제로 전환된다. 논문은 E(ℎ)의 미분을 이용해 ∂E/∂ℎ=0을 만족하는 ℎ를 구하고, 이 ℎ가 수렴 구간의 중심에 위치함을 보인다. 또한, 오차 추정식 ‖u−u_N‖≤C·q^{N+1}/(1−q) (C는 초기 오차 상수) 를 제시해, 실제 계산에서 N번째 부분합이 목표 정확도에 도달했는지를 판단할 수 있게 한다.

실험 부분에서는 블라지우스 방정식, Burgers 방정식, 비선형 열전도 방정식 등을 대상으로 ℎ를 구하고, 수렴 구간을 그래프와 표로 제시한다. 특히 블라지우스 흐름에서는 ℎ≈0.9에서 급수가 급격히 수렴하며, ℎ가 이 범위를 벗어나면 발산하거나 진동 현상이 나타난다. 이러한 결과는 ℎ가 수렴 제어 매개변수임을 실증적으로 확인시켜 준다.

결과적으로, 논문은 HAM이 단순히 경험적 방법이 아니라, ℎ와 p에 대한 명시적 제약을 통해 수학적으로 보장된 수렴성을 갖는 강력한 해석 도구임을 입증한다. 이는 기존에 수렴성에 대한 의구심을 가졌던 연구자들에게 확신을 주며, ℎ값 선택에 대한 체계적인 가이드라인을 제공한다는 점에서 큰 의의를 가진다.