[논문 리뷰] Error analysis of linearized semi-implicit Galerkin finite element methods for nonlinear parabolic equations

Buyang Li, Weiwei Sun|arXiv (Cornell University)|2012. 08. 23.

Advanced Numerical Methods in Computational Mathematics참고 문헌 19인용 수 108

한 줄 요약

이 논문은 비선형 포아송 방정식에 적용된 선형화된 반의미적 갈레르킨 유한요소법에 대한 새로운 오차 분석 프레임워크를 제시한다. 특히 3차원 줄열 가열 시스템에 초점을 맞추고 있다. 저자들은 오차를 시간적 및 공간적 성분으로 분리하고 시간 이산 시스템을 사용하여, 시간 간격 제약 없이도 최적의 $L^2$ 및 $H^1$ 오차 추정을 무조건적으로 확립하였다. 이는 이전 연구에서 강한 노름에서 유한성을 확보하기 위해 제약 조건이 필요한 시간 간격 제약을 극복한 것이다.

ABSTRACT

This paper is concerned with the time-step condition of commonly-used linearized semi-implicit schemes for nonlinear parabolic PDEs with Galerkin finite element approximations. In particular, we study the time-dependent nonlinear Joule heating equations. We present optimal error estimates of the semi-implicit Euler scheme in both the $L^2$ norm and the $H^1$ norm without any time-step restriction. Theoretical analysis is based on a new splitting of the error and precise analysis of a corresponding time-discrete system. The method used in this paper can be applied to more general nonlinear parabolic systems and many other linearized (semi)-implicit time discretizations for which previous works often require certain restriction on the time-step size $τ$.

연구 동기 및 목표

• 비선형 포아송 PDE의 선형화된 반의미적 스킴 오차 분석에서 일반적으로 적용되는 시간 간격 제약 문제를 해결하기 위해.
• 시간 간격 제약을 필요로 하는 $L^\infty$-노름 경계와 역산 불등식 및 귀납법에 의존하는 오차 분석의 의존성을 제거하기 위해.
• 시간 간격 크기 $\tau$ 에 대한 제약 없이 $L^2$ 및 $H^1$ 노름에서 최적의 오차 추정을 확립하기 위해.
• 줄열 가열 모델을 초월하여 더 넓은 범주에 속하는 비선형 포아송 시스템에 적용 가능한 일반적인 프레임워크를 개발하기 위해.

제안 방법

• 시간 이산 포아송 시스템을 통해 수치 오차를 시간적 및 공간적 성분으로 분리하는 새로운 방법을 도입한다.
• 시간 이산 시스템에 대한 갈레르킨 유한요소 오차를 분석하며, 오직 공간 메쉬 크기 $h$ 에 의존하는 경계를 사용한다. 이는 $\tau$ 에 의존하지 않는다.
• 귀납법과 역불등식을 사용하여 $L^\infty$-노름의 오차를 제어함으로써 사전 경계가 필요 없이 시간 간격 제약을 피한다.
• 그론발의 부등식을 적용하여 $L^2$ 및 $H^1$ 노름에서 최적의 오차 추정을 유도한다.
• $W^{1,p}$ 추정과 보간 오차 경계를 사용하여 도전성 $\sigma(u)$ 를 포함하는 비선형 항을 제어한다.
• 귀납법과 메쉬에 의존하는 역불등식을 통해 이산 해의 강한 노름에서의 유한성을 확보함으로써, 시간 간격 제약 없이 오차 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 선형화된 반의미적 갈레르킨 유한요소 스킴에 대해 비선형 포아송 방정식의 오차 추정을 시간 간격 제약 없이 최적으로 유도할 수 있는가?
• RQ2 새로운 오차 분리 전략을 통해 오차 분석에서 수치 해의 $L^\infty$-노름 경계가 필요 없이 제거할 수 있는가?
• RQ3 3차원 비선형 줄열 가열 시스템에 대해 $H^1$-노름 오차 추정을 무조건적으로 확보할 수 있는가?
• RQ4 제안된 프레임워크는 다른 비선형 포아송 시스템과 고차 시간 스킴으로 확장 가능한가?
• RQ5 새로운 분석 프레임워크 하에서 오차는 공간 메쉬 크기 $h$ 와 시간 간격 $\tau$ 에 대해 정확히 어떻게 의존하는가?

주요 결과

• 시간 간격 크기 $\tau$ 에 대한 제약 없이도 최적의 $L^2$ 오차 추정 $O(h^{3/2})$ 를 무조건적으로 확보하였다.
• 시간 간격 제약 없이 최적의 $H^1$ 오차 추정 $O(h)$ 를 무조건적으로 확립하였다.
• $L^2$ 오차 경계 $\|e_h^n\|_{L^2} \leq Ch^{3/2}$ 는 귀납법과 그론발의 부등식을 통해 증명되었으며, 오직 $h$-의존 경계에 의존한다.
• 시간 이산 시스템과 역불등식을 사용함으로써 $L^\infty$-노름 제어가 필요 없어지며, 이는 시간 간격 조건이 필요 없음을 의미한다.
• 분석 프레임워크는 일반적이며 다른 비선형 포아송 시스템과 고차 시간 스킴으로의 확장이 가능하다.
• 핵심 혁신은 오차 분리 전략과 시간 이산 시스템을 통한 시간적 오차와 공간적 오차 기여의 분리로, 이는 무조건적 안정성과 최적성 제어를 가능하게 한다.