[논문 리뷰] Guaranteed and computable bounds of approximation errors for the semi-discrete Biot problem

K. Suresh Kumar, Svetlana Matculevich외 2명|arXiv (Cornell University)|2018. 08. 24.

Advanced Numerical Methods in Computational Mathematics참고 문헌 31인용 수 6

한 줄 요약

이 논문은 암시적 오일러 시간 이산화를 사용한 준연속 Biot 문제에 대해 보장된, 완전히 계산 가능한 후행 오차 한계를 제시한다. 오스트로스키 유형의 추정과 기능적 오차 주요치를 조합하여, 메쉬에 의존하지 않는 에너지 노름 오차 통제를 달성하며, 이는 임의의 적합한 이산화에 적용 가능하다. 이는 적응형 메쉬 보정을 위한 신뢰할 수 있는 오차 지표를 가능하게 한다.

ABSTRACT

The paper is concerned with guaranteed and fully computable a posteriori error estimates for evolutionary problems associated with the poroelastic media governed by the quasi-static linear Biot equations (Biot, 1955). It addresses the question of approximation error control, which arises in the iterative and monolithic approaches used for semi-discrete approximations obtained by the implicit Euler time-discretization scheme. The derivation of the error bounds is based on a combination of the Ostrowski-type estimates (Ostrowski, 1972) derived for iterative schemes and a posteriori error estimates of the functional type for elliptic problems originally (also called error majorants and minorants) introduced in (Repin, 1997, 2000). The validity of the first estimates is based on the contraction property of the fixed stress splitting scheme (Mikelic and Wheeler, 2013, Mikelic, Wang, and Wheeler, 2014) used for decoupling. The error bounds are applicable for any approximation from the admissible functional space and independent of the discretisation method used. They are fully computable and do not contain mesh dependent constants. Functional estimates provide the reliable global estimates of the error measured in the terms of the energy norm and suggest efficient error indicators for the distribution of local errors that is advantageous for automated mesh adaptation algorithms.

연구 동기 및 목표

• 정적 선형 Biot 방정식에 의해 지배되는 다공성 탄성체 문제의 반복적이고 단일화된 방법에서 신뢰할 수 있는 오차 추정의 과제를 해결한다.
• 이산화 방법에 의존하지 않으며 메쉬에 의존하는 상수가 없는 계산 가능한 오차 한계를 개발한다.
• 오차 추정이 이산화된 해와 문제 데이터로부터 완전히 계산 가능하고, 알려지지 않은 상수가 필요로 하지 않도록 보장한다.
• 에너지 노름에서 신뢰할 수 있는 전역 오차 추정과 적응형 메쉬 보정을 위한 효율적인 국소 오차 지표를 제공한다.
• 고정 스트레스 분할 방법의 수렴성 성질을 통해 이론적 타당성을 확립한다.

제안 방법

• 반복적 방법에 대해 유도된 오스트로스키 유형 추정을 사용하여 고정 스트레스 분할 절차의 오차를 제한한다.
• 타원 문제에 대해 처음으로 개발된 기능적 후행 오차 추정(오차 주요치 및 하한치)을 통합한다.
• 고정 스트레스 분할 방법의 수축 성질을 활용하여 오차 한계의 수렴성과 신뢰성을 보장한다.
• 이산화된 해와 문제 데이터로부터 완전히 계산 가능한 오차 한계를 구축하며, 알려지지 않은 상수가 필요로 하지 않는다.
• 이러한 한계는 허용 가능한 함수 공간 내에 있는 임의의 적합한 유한요소 근사에 대해 유효하다.
• 에너지 노름에서의 전역 오차 추정과 적응형 메시의 전략을 위한 국소 오차 지표를 유도한다.

실험 결과

연구 질문

• RQ1 반복적 해법을 사용한 준연속 Biot 문제에 대해 보장된, 완전히 계산 가능한 후행 오차 한계를 도출할 수 있는가?
• RQ2 오차 추정을 어떻게 구성하여 이산화 방법에 의존하지 않고 메쉬에 의존하는 상수가 없는 형태로 만들 수 있는가?
• RQ3 기능적 오차 주요치가 다공성 탄성체 문제에서 에너지 노름에서 신뢰할 수 있는 전역 오차 통제를 얼마나 잘 제공하는가?
• RQ4 오차 한계가 정확한 국소 오차 지표를 통해 국소 메쉬 보정을 효과적으로 이끌 수 있는가?
• RQ5 고정 스트레스 분할 방법의 맥락에서 오차 추정의 타당성을 보장하는 이론적 조건은 무엇인가?

주요 결과

• 제안된 오차 한계는 완전히 계산 가능하며, 메쉬에 의존하는 상수가 전혀 포함되어 있지 않아 다양한 이산화 방법에 대해 강건하다.
• 오차 추정은 기초가 되는 유한요소 방법에 관계없이 허용 가능한 함수 공간 내의 임의의 근사에 대해 유효하다.
• 한계는 에너지 노름에서 오차의 신뢰할 수 있는 전역 추정을 제공하여 신뢰할 수 있는 오차 모니터링이 가능하다.
• 기능적 오차 주요치는 자동화된 메쉬 보정 알고리즘을 안내하는 데 적합한 효율적인 국소 오차 지표를 제공한다.
• 이론적 기초는 고정 스트레스 분할 방법의 수축 성질에 기반하며, 오차 추정 프레임워크의 수렴성과 안정성을 보장한다.
• 이 접근법은 오스트로스키 유형 분석과 기능적 후행 추정을 조합하여 진화적 다공성 탄성 문제에 대한 새로운 고도로 엄밀한 오차 통제 메커니즘을 제공한다.