[논문 리뷰] On Triangle Inequality Based Approximation Error Estimation

A. K. Alekseev, А. Е. Бондарев외 1명|arXiv (Cornell University)|2017. 08. 15.

Computational Fluid Dynamics and Aerodynamics참고 문헌 19인용 수 9

한 줄 요약

이 논문은 편미분방정식의 수치해에 대한 이산화 오차를 추정하기 위해 삼각부등식 기반 방법을 제안한다. 다양한 정확도 순서의 해들 간의 거리를 이용하여 진짜 해를 둘러싸는 경계를 설정한다. 2차원 초음속 유동에 대한 2D 오일러 방정식에 적용한 결과, 메트릭으로 정의된 영역 내에서 정확한 해를 성공적으로 봉쇄하였으며, 성능은 노름의 선택에 매우 민감하다.

ABSTRACT

The distance between the true and numerical solutions in some metric is considered as the discretization error magnitude. If error magnitude ranging is known, the triangle inequality enables the estimation of the vicinity of the approximate solution that contains the exact one (exact solution enclosure). The analysis of distances between the numerical solutions enables discretization error ranging, if solutions errors are significantly different. Numerical tests conducted using the steady supersonic flows, governed by the two dimensional Euler equations, demonstrate the properties of the exact solution enclosure. The set of solutions generated by solvers of different orders of approximation is used. The success of this approach depends on the choice of metric.

연구 동기 및 목표

• 정확한 해에 대한 접근이 없는 조건에서 편미분방정식의 수치해에 대한 이산화 오차를 정량화하는 데 도전한다.
• 다양한 정확도의 수치해들만을 이용하여 진짜 해의 위치를 추정하는 방법을 개발한다.
• 여러 수치해가 이용 가능한 경우 삼각부등식을 통해 엄밀한 오차 봉쇄를 제공한다.
• 다양한 노름(메트릭)이 오차 봉쇄의 날카움과 신뢰성에 미치는 영향을 조사한다.
• 이 방법의 타당성과 정확도를 벤치마크 유체역학 문제에 대해 시연한다.

제안 방법

• 삼각부등식을 사용하여 수치해 간의 거리가 진짜 해와 임의의 근사해 사이의 거리와 관련이 있음을 설명한다.
• 선택한 메트릭 공간에서 진짜 해와 수치해 사이의 거리로 이산화 오차의 크기를 정의한다.
• 다른 근사 순서를 가진 솔버를 사용하여 다수의 수치해를 생성하여 오차 범위를 추정한다.
• 삼각부등식을 적용하여 정확한 해를 근사해들로 정의된 영역 내에 봉쇄한다.
• 오차 봉쇄의 크기를 최소화하고 정확도를 향상시키기 위해 적절한 노름(메트릭)을 선택한다.
• 2D 오일러 방정식에 의해 지배되는 정 steady 초음속 유동에 대한 수치 실험을 통해 방법을 검증한다.

실험 결과

연구 질문

• RQ1 삼각부등식이 다양한 정확도의 수치해들만을 이용하여 진짜 해의 위치를 효과적으로 추정하는 데 사용될 수 있는가?
• RQ2 메트릭(노름)의 선택이 오차 봉쇄의 날카움과 신뢰성에 어떤 영향을 미치는가?
• RQ3 이 방법은 초음속 흐름을 포함한 실제 유체역학 시뮬레이션에서 어떤 성능을 보이는가?
• RQ4 다른 근사 순서 간의 해의 정확도 차이가 오차 범위 추정에 어떻게 기여하는가?
• RQ5 이 접근법은 기존의 오차 추정 기법들에 대한 신뢰할 수 있고 계산 비용이 낮은 대안이 될 수 있는가?

주요 결과

• 삼각부등식을 통해 정확한 해를 엄밀히 포함하는 해 봉쇄 영역을 구성할 수 있으며, 이는 수치해가 충분히 정확할 경우에만 성립한다.
• 정확한 해가 2D 오일러 방정식에 의해 지배되는 정 steady 초음속 유동을 다루는 수치 실험에서 성공적으로 봉쇄되었다.
• 오차 봉쇄의 크기는 노름의 선택에 매우 민감하며, 일부 메트릭은 다른 것들보다 훨씬 날카운 오차 범위를 제공한다.
• 수치 실험 결과, 다양한 근사 순서의 해들이 존재하고 그 오차가 상당히 다를 경우, 이 방법이 효과적임을 확인하였다.
• 정확한 해를 알지 못하는 상황에서 후행 오차 추정을 위한 실용적인 프레임워크를 제공한다.
• 이 방법의 성공은 충분히 넓은 오차 범위를 가진 해들이 존재하는 데에 달려 있으며, 이는 신뢰할 수 있는 거리 기반 오차 추정을 가능하게 한다.