[논문 리뷰] Second order perturbation theory of two-scale systems in fluid dynamics

Arnaud Debussche, Umberto Pappalettera|arXiv (Cornell University)|2022. 06. 15.

Navier-Stokes equation solutions인용 수 8

한 줄 요약

이 논문은 두 스케일 시스템에서 유체역학의 운동 방정식에 대해 2차 섭동 이론을 사용하여 운반 노이즈와 이토-스트로크 항을 갖는 스토케스스틱 유체 모델을 엄밀하게 유도한다. 일반화된 섭동된 시험 함수 방법을 적용하여, 느린 성분이 운반 노이즈와 빠른 성분의 불변 측도로부터 유도되는 항력 항을 갖는 스토케스틱 PDE의 해로 법적 수렴함을 증명한다. 이는 2차원 및 3차원에서 나비에-스토크스, 표면 준지구학적, 프리미티브 방정식에 대해 유효하다.

ABSTRACT

In the present paper we study slow-fast systems of coupled equations from fluid dynamics, where the fast component is perturbed by additive noise. We prove that, under a suitable limit of infinite separation of scales, the slow component of the system converges in law to a solution of the initial equation perturbed with transport noise, and subject to the influence of an additional Itō-Stokes drift. The obtained limit equation is very similar to turbulent models derived heuristically. Our results apply to the Navier-Stokes equations in dimension $d=2,3$; the Surface Quasi-Geostrophic equations in dimension $d=2$; and the Primitive equations in dimension $d=2,3$.

연구 동기 및 목표

• 무한한 시간 스케일 분리 조건 하에서 느린-빠른 유체 시스템에서 운반 노이즈와 이토-스트로크 항이 어떻게 나타나는지를 엄밀히 정당화하는 것.
• 유체역학 모델을 위한 편미분방정식에 대해 섭동된 시험 함수 방법을 확장하는 것.
• 느린 성분이 빠른 동역학의 불변 측도로부터 유도된 항력 항을 갖는 스토케스틱 PDE로의 법적 수렴을 확립하는 것.
• 메민 등이 제안한 히우리스틱 스토케스틱 유체 모델을 수학적으로 엄밀한 프레임워크를 통해 검증하는 것.

제안 방법

• 저자들은 추가 노이즈가 있는 추상 힐버트 공간에서 결합된 느린-빠른 시스템을 분석하기 위해 2차 섭동 이론을 사용한다.
• SPDE에 특화된 일반화된 섭동된 시험 함수 방법을 적용하여, 고전적 동질화 기법을 PDE로 확장한다.
• 이 방법은 운반 노이즈(확산 근사로부터 유도됨)와 이토-스트로크 항(빠른 동역학에 대한 평균화로부터 유도됨)을 동시에 다룰 수 있다.
• 한계 방정식은 법의 약한 수렴을 통해 유도되며, 적절한 함수 공간에서의 유계성(타이트니스)이 확립된다.
• 이토-스트로크 항은 선형화된 빠른 방정식의 불변 측도에 대한 적분으로 명시적으로 계산된다: $ r = \int (-C)^{-1} b(w,w) \, d\mu(w) $.
• 분석은 나비에-스토크스, 표면 준지구학적, 프리미티브 방정식을 포함한 광범위한 유체 모델 클래스에 적용 가능하며, 2차원 및 3차원 모두에 적용된다.

실험 결과

연구 질문

• RQ1 무한한 스케일 분리 조건 하에서 두 스케일 유체 시스템의 느린 성분이 운반 노이즈와 이토-스트로크 항을 갖는 스토케스틱 PDE로 수렴하는가?
• RQ2 섭동된 시험 함수 방법을 스토케스틱 PDE에 적용하여 빠른-느린 분리 조건에서 2차 보정항을 도출할 수 있는가?
• RQ3 추가 노이즈가 있는 빠른-느린 시스템에서 파생된 유체 모델에서 이토-스트로크 항의 정확한 수학적 표현은 무엇인가?
• RQ4 운반 노이즈와 항력 항은 빠른 성분의 불변 측도의 통계적 성질로부터 어떻게 유도되는가?
• RQ5 이 프레임워크는 프리미티브 방정식이나 표면 준지구학적 방정식과 같은 복잡한 유체 모델에 적용 가능한가?

주요 결과

• 느린 성분 $ u^\epsilon $ 는 $ \epsilon \to 0 $ 일 때 운반 노이즈와 이토-스트로크 항 속도 $ r $ 를 갖는 스토케스틱 PDE의 해로 법적 수렴한다.
• 이토-스트로크 항은 빠른 선형화된 방정식의 불변 측도 $ \mu $ 를 기반으로 엄밀하게 유도되며, $ r = \int (-C)^{-1} b(w,w) \, d\mu(w) $ 로 표현된다.
• 한계 방정식은 메민 등이 제안한 히우리스틱 모델과 일치하여, 이들의 스토케스틱 유체역학에서의 사용에 엄밀한 기반을 제공한다.
• 이 방법은 2차원 및 3차원에서 나비에-스토크스, 표면 준지구학적, 프리미티브 방정식에 적용 가능하며, 광범위한 적용 가능성을 보여준다.
• 경로 유일성 조건 하에서 전체 수열 $ u^\epsilon $ 가 확률적으로 한계로 수렴함을 보장한다.
• 유계성과 약한 위상에서의 강한 수렴이 확립되어, $ C([0,T]; H_w) \cap L^2([0,T]; H^1) $ 에서 잘 정의된 한계 과정의 존재를 확인한다.