[논문 리뷰] Convergence of the Finite Volume Method for scalar conservation laws with multiplicative noise: an approach by kinetic formulation

Sylvain Dotti, Julien Vovelle|arXiv (Cornell University)|2016. 11. 03.

Gas Dynamics and Kinetic Theory참고 문헌 24인용 수 4

한 줄 요약

이 논문은 다중성, 유한지지된 소음을 가진 스칼라 보존법칙에 대해 시간에 대해 명시적인 유한 체적 방법과 단조성 흐름을 사용하여 수렴성을 확립한다. 운동 방정식의 형태와 에너지 추정을 활용하여, 수치적 스킴이 적절한 안정성 및 일致 조건과 함께 소음의 구조를 만족할 경우, 스토케스틱 보존법칙의 유일한 엔트로피 해로의 법적 수렴을 증명한다.

ABSTRACT

We prove the convergence of the explicit-in-time Finite Volume method with monotone fluxes for the approximation of scalar first-order conservation laws with multiplicative, compactly supported noise.

연구 동기 및 목표

• 시간에 대해 명시적인 유한 체적 스킴과 단조성 흐름을 사용하여 다중성, 유한지지된 소음에 의해 영향을 받는 스칼라 보존법칙의 수렴성을 확립한다.
• 수치적 스킴의 운동 방정식 형태를 개발하여 에너지 추정과 컴팩트니스 추론을 가능하게 하여 수렴 분석을 수행한다.
• 외부 존재 증명 없이도 수치적 스킴의 수렴을 통해 스토케스틱 보존법칙의 해의 존재성과 유일성을 직접 증명한다.
• 소음 계수의 유한지지성과 정규성 가정을 활용하여 보존법칙의 확률적 성격과 비선형성에 기인하는 도전 과제를 다룬다.
• 운동 기반 분석을 통해 스토케스틱 보존법칙의 수치적 근사에 대한 통합된 프레임워크를 제공하여, 결정론적 방법을 스토케스틱 환경으로 확장한다.

제안 방법

• 다중성 소음이 있는 토러스 상에서 스칼라 보존법칙을 설정하며, 해 공간에서의 유한지지성과 흐름 및 소음 계수의 다항식 성장 경계를 가정한다.
• 카르테시안 격자 위에 단조성 흐름(예: 고두노프 유형)을 갖는 유한 체적 스킴을 구성하여 일치성과 보존 대칭성을 확보한다.
• 이산 스킴의 운동 방정식 형태를 유도하여 수치적 해를 운동 함수 $ f_{ u} $ 를 통해 표현함으로써 운동 기반 에너지 추정을 가능하게 한다.
• 소음 계수의 유한지지성과 유계성에 기반하여 이산 운동 측도 $ u^{ u} $ 에 대한 균일한 에너지 추정과 소산 경계를 확립한다.
• 모멘트 경계와 확률적 추정을 통해 이산 운동 측도 $ ( u^{ u}) $ 와 이산 해 $ (m_{ u}) $ 가 적절한 함수 공간에서 컴팩트니스를 확보한다.
• 스토케스틱 버전의 운동 방정식 형태와 컴팩트니스 추론을 적용하여 극한으로의 전이를 수행하고, 연속 문제의 엔트로피 해로의 수치적 해의 법적 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 모나르성 흐름을 갖는 유한 체적 방법이 다중성, 유한지지된 소음을 가진 스칼라 보존법칙의 유일한 엔트로피 해로 수렴하는가?
• RQ2 운동 방정식 형태가 스토케스틱 유한 체적 스킴에 대해 에너지 추정과 수렴성을 입증하는 데 효과적으로 활용될 수 있는가?
• RQ3 다중성 소음 존재 하에서 수치적 스킴이 안정성과 수렴성을 유지하기 위한 소음 및 흐름 함수에 대한 조건은 무엇인가?
• RQ4 스토케스틱 보존법칙의 해의 존재성과 유일성은 수치적 스킴의 수렴을 통해 직접 증명될 수 있는가?
• RQ5 소음의 유한지지성과 유계성은 수렴 분석과 그 결과로 얻어지는 오차 추정에 어떤 영향을 미치는가?

주요 결과

• 모나르성 흐름을 갖는 유한 체적 스킴은 다중성, 유한지지된 소음을 가진 스토케스틱 보존법칙의 유일한 엔트로피 해로 법적 수렴한다.
• 유한 체적 스킴의 운동 방정식 형태는 컴팩트니스 추론에 필수적인 균일한 에너지 추정과 소산 경계를 도출하는 데 기여한다.
• 소음 계수의 유한지지성과 유계성 조건 하에서 이산 운동 측도 $ ( u^{ u}) $ 와 이산 해 $ (m_{ u}) $ 의 컴팩트니스가 확립된다.
• 모든 $ p \neq 2 $ 에 대해 수렴이 성립하며, $ p \neq 2 $ 에서는 보간과 균일한 경계를 통해 $ L^p $-노름 수렴을 확보하여 $ L^2 $ 에서의 강한 수렴을 보장한다.
• 스킴은 $ \triangle t = \frac{1}{2} \frac{\rho_N^2}{2L_A} h_m $ 인 CFL 유사 조건을 만족할 경우 안정하다. 여기서 $ \rho_N = 2^{-N} $ 이며, 일치성과 안정성을 보장한다.
• 연속 문제의 해 $ u $ 는 거의 확실히 $ C([0,T]; L^p(\bT^N)) $ 에 속함을 보여주어 극한의 정규성을 확인한다.