[논문 리뷰] A posteriori error estimates for space-time IgA approximations to parabolic initial boundary value problems

Ulrich Langer, Svetlana Matculevich외 1명|arXiv (Cornell University)|2016. 12. 28.

Advanced Numerical Methods in Computational Mathematics참고 문헌 41인용 수 5

한 줄 요약

이 논문은 함수적 후행 추정 기법을 사용하여 포물형 초기경계치 문제에 대한 공간-시간 이소지오메트릭 해석(IgA) 근사에 대해 후행 오차 추정을 개발한다. 추정치는 메시에 의존하는 상수를 포함하지 않으며, 에너지 오차 노름에 대해 신뢰성 있고 효율적인 경계를 제공하며, 다양한 오차 노름을 고려하기 위해 자유 매개변수를 통해 유연하게 최적화 가능하다.

ABSTRACT

This work is concerned with a posteriori error estimates of the functional type for approximations constructed by space-time IgA scheme presented in paper by Langer, Neumueller, and Moore (2016). We consider approxima- tions in the corresponding IgA spaces based on elliptic and bounded bilinear form (associated with the spatial part). It is proved that the approximations satisfy classic a priori error estimates. Also, we deduce a posteriori error estimates for a stabilized weak formulation of the considered parabolic initial boundary value problem (I-BVP). They are derived by a general functional method and do not contain mesh dependent constants. The estimates are valid for a wide class of approximations. In particular, they imply estimates for the discrete norm of IgA approximations. Moreover, we introduce different forms of a posteriori error estimates (error majorants) and establish equivalence of majorants and energy error norm. This property justifies efficiency and reliability of a posteriori error estimates. Another important property of the estimates is their flexibility with respect to a certain amount of free parameters. Using these parameters we can obtain estimates for different error norms and minimize the respective majorant in order to find the best possible bound of the error.

연구 동기 및 목표

• 포물형 초기경계치 문제에 대한 공간-시간 IgA 근사에 대해 후행 오차 추정을 유도한다.
• 추정치가 메시에 의존하는 상수를 포함하지 않으며, 에너지 클래스에 속하는 임의의 근사에 대해 유효하도록 보장한다.
• 오차 주요량과 에너지 오차 노름 사이의 동치성을 확립하여 신뢰성과 효율성을 보장한다.
• 자유 매개변수를 통해 오차 경계를 최소화하고 특정 오차 노름을 목표로 할 수 있는 민감한 프레임워크를 제공한다.
• 기능적 후행 추정 기법을 공간-시간 IgA 스킴으로 확장하여 적응형 및 병렬 계산에의 적용 가능성을 높인다.

제안 방법

• 메시에 의존하는 상수를 피하기 위해 함수해석학과 쌍대성 원리를 활용해 후행 오차 주요량을 유도한다.
• 고정밀도를 확보하기 위해 B-스플라인, NURBS 또는 국소화된 스플라인을 기반으로 한 공간-시간 IgA 근사를 활용한다.
• 자유 매개변수 $ \gamma, \alpha_i, \rho_i, \beta_i, \epsilon $ 를 포함한 두 가지 형태의 오차 주요량 $ \overline{\rm M}^{\rm I} $ 및 $ \overline{\rm M}^{\rm II} $ 을 구성한다.
• 적절한 함수 공간에서 주요량의 하한값과 에너지 오차 노름 사이의 동치성을 확립한다.
• 변분 항등식과 코시-슈바르츠 유형의 추정을 사용하여 오차를 잔여항과 일致성 항의 함수로 경계한다.
• 주요량이 계산 가능하며, 매개변수에 대해 최소화 가능하여 가능한 한 낮은 오차 경계를 도출할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 공간-시간 IgA 근사에 대해 포물형 문제에 대해 신뢰성 있고 효율적인 후행 오차 추정을 도출할 수 있는가?
• RQ2 메시에 의존하는 상수에 영향을 받지 않으면서 IgA 근사에 적용 가능한 추정치를 어떻게 확보할 수 있는가?
• RQ3 제안된 오차 주요량과 진짜 에너지 오차 노름 사이의 관계는 무엇인가?
• RQ4 주요량에 포함된 자유 매개변수는 오차 경계의 품질과 그 최소화에 어떤 영향을 미치는가?
• RQ5 이 프레임워크를 통해 매개변수 조정을 통해 다양한 오차 노름에 대한 경계를 도출할 수 있는가?

주요 결과

• 제안된 후행 오차 주요량은 에너지 오차 노름과 동치이며, 이는 신뢰성과 효율성 보장을 의미한다.
• 동치 상수 $ C^{ m I}_{ m eq} $ 와 $ C^{ m II}_{ m eq} $ 는 명시적으로 계산 가능하며, 자유 매개변수에만 의존한다.
• 추정치는 메시에 의존하는 가정 없이도 적합한 에너지 클래스에 속하는 임의의 근사에 대해 유효하다.
• 주요량 $ \overline{\rm M}^{\rm I} $ 와 $ \overline{\rm M}^{\rm II} $ 는 매개변수에 대해 최소화되어 에너지 오차의 가능한 한 낮은 상한 경계를 제공한다.
• 계산 가능한 매개변수 조절이 가능한 오차 지표를 제공함으로써 적응형 메쉬 개선과 병렬 계산을 가능하게 한다.
• 자유 매개변수 $ \gamma, \rho_1, \rho_2, \epsilon $ 등의 조정을 통해 다양한 오차 노름을 지원할 수 있어 목표 오차 추정이 가능하다.