[논문 리뷰] Error analysis of the SAV-MAC scheme for the Navier-Stokes equations

Xiaoli Li, Jie Shen|arXiv (Cornell University)|2019. 09. 08.

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

한 줄 요약

이 논문은 비압축성 유체의 나비에-스토크스 방정식에 대해 비선형 항을 명시적으로 다루면서도 무조건적인 에너지 안정성을 유지하는 새로운 SAV-MAC 스킴을 제안한다. 스칼라 보조변수(SAV) 방법과 마커 및 셀(MAC) 유한차분 방법을 조합함으로써, 시간과 공간에서 둘 다 2차 수준의 정확도를 확보하였으며, 부스팅(bootstrap) 추론과 세밀한 이산적 추정을 통해 속도와 압력에 대한 최적 수렴 속도를 엄밀히 증명한 오차 분석을 수행하였다.

ABSTRACT

An efficient numerical scheme based on the scalar auxiliary variable (SAV) and marker and cell scheme (MAC) is constructed for the Navier-Stokes equations. A particular feature of the scheme is that the nonlinear term is treated explicitly while being unconditionally energy stable. A rigorous error analysis is carried out to show that both velocity and pressure approximations are second-order accurate in time and space. Numerical experiments are presented to verify the theoretical results.

연구 동기 및 목표

• 나비에-스토크스 방정식에 대해 스칼라 보조변수(SAV) 방법과 마커 및 셀(MAC) 유한차분 방법을 융합한 완전 이산화된 SAV-MAC 스킴을 개발한다.
• 비선형 항을 명시적으로 처리함에도 불구하고 제안된 SAV-MAC 스킴의 무조건적 에너지 안정성을 확립한다.
• 속도와 압력 근사에 대해 시간과 공간에서 모두 2차 수렴 속도를 보장하는 엄밀한 오차 분석을 수행한다.
• 보조변수에 대한 비선형 대수 방정식을 해결하는 데서 발생하는 문제를 해결하기 위해, 적어도 하나의 해가 정확한 해로 수렴함을 증명한다.
• SAV 프레임워크의 적용 가능성을 나비에-스토크스 방정식으로 확장하여, 엄밀한 2차 정확도와 안정성을 보장한다.

제안 방법

• SAV-MAC 스킴은 스칼라 보조변수(SAV) 접근법을 사용하여 나비에-스토크스 방정식을 재구성함으로써, 비선형 항을 명시적으로 다룰 수 있도록 하면서도 에너지 안정성을 유지한다.
• 공간 이산화에는 마커 및 셀(MAC) 유한차분 방법을 사용하여 이산적 비압축성 조건을 보장하고 질량, 운동량, 운동에너지의 보존을 확보한다.
• 각 시간 단계에서, 일정 계수를 가진 두 개의 일반화된 스토크스 문제를 표준 MAC 기법으로 풀며, 보조변수에 대한 이차 대수 방정식을 추가로 풀게 된다.
• 비선형 보조변수 방정식을 다룰 수 있도록, 수치 해에 대한 균일한 $L^∞$ 유계를 확보하기 위해 부스팅(bootstrap) 추론 기법을 사용한다.
• 이산적 인프-스터프(LBB) 조건을 활용하여, 속도와 압력에 대한 이산 $L^2$ 노름에서 최적의 오차 추정을 유도한다.
• 비선형 항을 제어하고 2차 수렴을 달성하기 위해, 세밀한 이산 에너지 추정과 합성적 부분적 적분 기법을 연속적으로 사용한다.

실험 결과

연구 질문

• RQ1 비선형 항을 명시적으로 다루는 나비에-스토크스 방정식에 대해, 완전 이산화된 SAV-MAC 스킴을 구성할 수 있는가? 이 스킴은 무조건적 에너지 안정성을 유지하는가?
• RQ2 속도와 압력 근사에 대해 시간과 공간에서 SAV-MAC 스킴의 최적 수렴 속도는 무엇인가?
• RQ3 보조변수에 대한 비선형 대수 방정식을 어떻게 분석하여 정확한 해로 수렴함을 보장할 수 있는가?
• RQ4 비선형 항이 명시적으로 다뤄지고 보조변수가 비선형인 상황에서, 비표준적인 접근법을 통해 속도와 압력에 대해 2차 오차 추정을 엄밀히 증명할 수 있는가?
• RQ5 제안된 스킴은 MAC 방법이 지닌 이산적 비압축성 제약 조건과 질량/운동량 보존 성질을 유지하는가?

주요 결과

• 엄밀한 오차 추정을 통해 SAV-MAC 스킴이 속도와 압력 근사에 대해 시간과 공간에서 모두 2차 정확도를 확보함을 입증하였다.
• 비선형 항을 명시적으로 처리함에도 불구하고 스킴은 무조건적 에너지 안정성을 유지하며, 이는 기존의 표준 명시적 스킴에 비해 뚜렷한 이점이다.
• 부스팅 추론 기법을 통해 수치 해에 대한 균일한 $L^∞$ 유계를 확립하였으며, 이는 오차 분석에서 비선형 항을 제어하는 데 필수적이다.
• 보조변수에 대한 이차 대수 방정식의 해 중 적어도 하나가 정확한 해로 수렴함을 증명하여, 해의 유일성에 대한 핵심적 우려를 해결하였다.
• 속도와 압력에 대한 이산 $L^2$ 오차 추정은 최적이며, 스토크스 방정식에 대해 알려진 최고의 결과와 일치한다. 이를 비선형 나비에-스토크스 경우로 확장하였다.
• 이 연구는 나비에-스토크스 방정식에 대해 무조건적 에너지 안정성, 2차 정확도, 완전 명시적 스킴에 대한 첫 번째 엄밀한 오차 분석을 제시한다.