[논문 리뷰] Enhancing stability of correction procedure via reconstruction using summation-by-parts operators I: Artificial dissipation

Hendrik Ranocha, Jan Glaubitz외 2명|arXiv (Cornell University)|2016. 06. 03.

Medical Imaging Techniques and Applications참고 문헌 13인용 수 6

한 줄 요약

이 논문은 초순수 보존법에 대한 수정 절차(CPR) 체계의 안정성을 향상시키기 위해, 합성-통합(SBP) 및 동시 approximation 항(SATs) 프레임워크 내에서 인위적 소산항을 도입함으로써 초순수 보존법에 대한 CPR 체계의 안정성을 향상시킨다. 명시적 오일러 시간 이산화를 사용하여 완전 이산 안정성을 증명하고, 충분히 작은 시간 단계에서 안정성을 보장하는 적응형 소산 전략을 제안한다.

ABSTRACT

The correction procedure via reconstruction (CPR, also known as flux reconstruction) is a framework of high order semidiscretisations used for the numerical solution of hyperbolic conservation laws. Using a reformulation of these schemes relying on summation-by-parts (SBP) operators and simultaneous approximation terms (SATs), artificial dissipation / spectral viscosity operators are investigated in this first part of a series. Semidiscrete stability results for linear advection and Burgers' equation as model problems are extended to fully discrete stability by an explicit Euler method. As second part of this series, Glaubitz, Ranocha, Öffner, and Sonar (Enhancing stability of correction procedure via reconstruction using summation-by-parts operators II: Modal filtering, 2016) investigate connections to modal filters and their application instead of artificial dissipation.

연구 동기 및 목표

• 초순수 보존법에 대한 고차 CPR 체계에서의 비선형 안정성 부족 문제를 해결한다.
• 반연속 SBP-SAT 안정성 결과를 명시적 시간 이산화를 사용한 완전 이산 체계로 확장한다.
• 명시적 시간 적분에서 안정성을 유지할 수 있는 적응형 인위적 소산 전략을 개발한다.
• SBP 연산자를 사용한 CPR 체계에서 인위적 소산의 이론적 기초를 구축한다.
• 후속 논문에서 모드 필터링과의 관계를 탐색하는 데 필요한 기반을 마련한다.

제안 방법

• 증명 가능한 안정성을 확보하기 위해 CPR 체계를 합성-통합(SBP) 연산자와 동시 approximation 항(SATs)으로 재구성한다.
• 연속 영역에서 인위적 소산 연산자를 도입한 후, SBP 연산자를 사용하여 이들을 이산화하여 보존성과 안정성을 유지한다.
• 반연속 설정에서 소산 연산자의 특수한 표현을 사용하여 안정성을 유지하고 적분 by parts를 모방한다.
• 완전 이산 체계를 얻기 위해 명시적 오일러 시간 이산화를 적용한다.
• 시간 단계 크기에 따라 인위적 소산의 강도를 조정하는 적응형 알고리즘을 제안한다.
• 소산 연산자의 이산 고유값을 연속 레지나 다항식에 대응하는 것으로 비교하여 안정성 특성을 검증한다.

실험 결과

연구 질문

• RQ1 SBP-SAT 프레임워크를 사용하여 CPR 체계에 인위적 소산을 효과적으로 통합할 수 있는가? 이는 완전 이산 안정성을 보장하는가?
• RQ2 인위적 소산 강도의 선택이 명시적 시간 적분을 사용한 완전 이산 CPR 체계의 안정성에 미치는 영향는 어떠한가?
• RQ3 소산 연산자의 이산 고유값과 연속 레지나 다항식 스펙트럼 사이의 관계는 무엇인가?
• RQ4 작은 시간 단계에서 안정성을 유지할 수 있는 적응형 소산 전략을 설계할 수 있는가?
• RQ5 SBP 기반 인위적 소산 연산자는 버거스 방정식과 같은 비선형 문제에서 보존성과 안정성을 어떻게 유지하는가?

주요 결과

• 제안된 인위적 소산 연산자는 CPR 체계에서 SBP-SAT 프레임워크 내에서 보존성과 안정성을 유지한다.
• 선형 이동 및 버거스 방정식에 대한 반연속 안정성 결과가 명시적 오일러 방법을 사용하여 완전 이산 체계로 확장된다.
• 소산 연산자의 이산 고유값은 연속 레지나 다항식 스펙트럼과 밀도적으로 일치하여 연산자의 설계가 검증된다.
• 적응형 소산 전략은 시간 단계가 충분히 작을 경우 완전 이산 안정성을 보장한다.
• 암시적 시간 적분이 필요 없이도 안정성이 확보되어 고차 시뮬레이션을 효율적으로 수행할 수 있다.
• 이론적 프레임워크는 후속 논문에서 모드 필터링과의 관계를 탐색하는 데 필요한 기반을 마련한다.