[논문 리뷰] On monotonicity, stability, and construction of central schemes for hyperbolic conservation laws with source terms

V. S. Borisov, M. Mond|arXiv (Cornell University)|2007. 05. 08.

Computational Fluid Dynamics and Aerodynamics인용 수 4

한 줄 요약

이 논문은 원천항을 포함한 타원형 보존법칙에 대한 중심차분 스킴의 안정성과 단조성 분석 프레임워크를 제안한다. 변분 스킴 접근법을 사용하여, 비대칭 행렬에 대한 프리드리히스 정리의 일반화와 단조성 있는 조각별 삼차 보간법을 도입함으로써, 저자들은 고정밀도, 높은 견고성, 무조건적 안정성을 확보한 수정된 라크스-프리드리히스 스킴을 개발하였다. 이 스킴은 다양한 보존법칙에서 수치 실험을 통해 검증되었다.

ABSTRACT

The monotonicity and stability of difference schemes for, in general, hyperbolic systems of conservation laws with source terms are studied. The basic approach is to investigate the stability and monotonicity of a non-linear scheme in terms of its corresponding scheme in variations. Such an approach leads to application of the stability theory for linear equation systems to establish stability of the corresponding non-linear scheme. The main methodological innovation is the theorems establishing the notion that a non-linear scheme is stable (and monotone) if the corresponding scheme in variations is stable (and, respectively, monotone). Criteria are developed for monotonicity and stability of difference schemes associated with the numerical analysis of systems of partial differential equations. The theorem of Friedrichs (1954) is generalized to be applicable to variational schemes with non-symmetric matrices. A new modification of the central Lax-Friedrichs (LxF) scheme for the accurate solution of hyperbolic conservation laws is presented. A monotone piecewise cubic interpolation is used to modify LxF scheme to give an accurate approximation for the model in question. The stability and monotonicity of the modified scheme are investigated. Some versions of the modified scheme are tested on several conservation laws, and the scheme is found to be accurate and robust.

연구 동기 및 목표

• 원천항을 포함한 타원형 보존법칙에 대한 비선형 차분 스킴의 단조성과 안정성 분석을 위한 이론적 기반을 확립하기 위해.
• 변분 스킴의 맥락에서 비대칭 행렬을 다룰 수 있도록 프리드리히스의 안정성 정리를 일반화하여, 더 넓은 범위의 비선형 시스템에 적용 가능하게 하기 위해.
• 고차 보간을 통해 정확도를 향상시키면서도 단조성과 안정성을 유지하는 수정된 라크스-프리드리히스 스킴을 개발하기 위해.
• 다양한 타원형 보존법칙에 대해 제안된 스킴을 검증하고, 수치 실험을 통해 그 견고성과 정확도를 입증하기 위해.

제안 방법

• 비선형 스킴의 변분에 대응하는 스킴을 분석하여 비선형 분석을 선형 안정성 이론으로 환원함으로써, 비선형 스킴의 안정성과 단조성을 분석함.
• 변분 스킴의 맥락에서 비대칭 행렬을 다룰 수 있도록 프리드리히스(1954)의 정리를 일반화함으로써, 더 넓은 범위의 시스템에 대한 안정성 분석이 가능하게 함.
• 라크스-프리드리히스 스킴의 정확도를 향상시키기 위해 단조성 있는 조각별 삼차 보간법을 도입함.
• 유도된 이론적 조건을 만족하는 수정된 중심형 라크스-프리드리히스 스킴을 제작함으로써, 단조성과 안정성을 유지함.
• 수정된 스킴을 다양한 타원형 보존법칙에 적용하고, 수치 실험을 통해 성능을 평가함.

실험 결과

연구 질문

• RQ1 원천항을 포함한 타원형 보존법칙에 대한 비선형 차분 스킴이 안정적이고 단조적인 조건은 무엇인가?
• RQ2 변분 스킴의 맥락에서 프리드리히스의 안정성 정리는 비대칭 행렬로 어떻게 일반화될 수 있는가?
• RQ3 수정된 라크스-프리드리히스 스킴은 단조성과 안정성을 유지하면서도 정확도를 향상시킬 수 있는가?
• RQ4 단조성 있는 조각별 삼차 보간법은 타원형 시스템에 대한 중심 스킴의 성능 향상에 어떤 역할을 하는가?
• RQ5 다양한 타원형 보존법칙에서 수정된 스킴은 정확도와 견고성 측면에서 어떻게 성능을 발휘하는가?

주요 결과

• 제안된 프레임워크는 비선형 스킴이 안정적이고 단조적일 조건이 그에 대응하는 변분 스킴이 각각 안정적이고 단조적일 경우에 성립함을 입증하였다.
• 비대칭 행렬을 다룰 수 있도록 프리드리히스 정리를 일반화함으로써, 원천항을 포함한 더 넓은 범위의 타원형 시스템에 대한 안정성 분석이 가능해졌다.
• 단조성 있는 조각별 삼차 보간법을 적용한 수정된 라크스-프리드리히스 스킴은 표준 LxF 스킴보다 더 높은 정확도를 확보하였다.
• 수치 실험 결과, 수정된 스킴이 여러 보존법칙에서 안정성과 단조성을 유지하는 것으로 확인되었다.
• 어려운 테스트 케이스에서도 원천항을 포함한 타원형 보존법칙을 해결하는 데 있어 높은 정확도와 견고성을 보였으며, 뛰어난 성능을 발휘하였다.