[논문 리뷰] On the Navier-Stokes equation perturbed by rough transport noise

Martina Hofmanová, James-Michael Leahy외 1명|arXiv (Cornell University)|2017. 10. 23.

Stability and Controllability of Differential Equations인용 수 2

한 줄 요약

이 논문은 비선형성과 스케일이 큰 소음이 존재하는 2차원 및 3차원 나비에-스토크스 방정식의 약한 해가 존재하고, 두 차원에서는 유일성과 안정성도 확립한다. 이는 비유계 난류 드라이버 이론을 활용한 것으로, 난류 경로 프레임워크 내에서 경로에 따라 결정되는 해의 개념을 정의함으로써, 변분 방법을 통해 사전 추정과 해의 존재성 및 유일성을 입증한다. 이는 선형 또는 스칼라 경우를 초월하는 난류 편미분방정식에 에너지 기반 분석을 확장한 것이다.

ABSTRACT

We consider the Navier-Stokes system in two and three space dimensions perturbed by transport noise and subject to periodic boundary conditions. The noise arises from perturbing the advecting velocity field by space-time dependent noise that is smooth in space and rough in time. We study the system within the framework of rough path theory and, in particular, the recently developed theory of unbounded rough drivers. We introduce an intrinsic notion of a weak solution of the Navier-Stokes system, establish suitable a priori estimates and prove existence. In two dimensions, we prove that the solution is unique and stable with respect to the driving noise.

연구 동기 및 목표

• 난류 경로 이론을 활용하여 난류 운반 소음이 가해진 나비에-스토크스 방정식을 경로에 따라 결정되는 결정론적 프레임워크로 해결하는 것.
• 기존의 확률적 분석이 부족한 상황에서, 변분 방법과 에너지 추정을 난류 편미분방정식, 특히 나비에-스토크스 시스템에까지 확장하는 것.
• 소음이 시간에 대해 매끄럽을 경우 고전적 정의로 내려가는 내재적 약한 해의 정의를 제시하는 것.
• 주기적 경계 조건과 유한한 p-변형 소음 하에서 2차원 및 3차원 모두에서 해의 존재성을 입증하는 것.
• 주행 소음 경로에 대해 2차원에서의 해의 유일성과 안정성을 확립하는 것.

제안 방법

• 유한한 p-변형(p ∈ [2, 3))을 가지는 시간에 대한 난류 경로에 의해 구동되는 난류 편미분방정식으로서, 난류 운반 소음이 가해진 나비에-스토크스 시스템을 설정한다.
• 비유계 난류 드라이버 이론을 적용하여, 고전적 약한 해를 일반화하는 경로 기반 해 개념을 정의한다.
• 비유계 난류 드라이버 프레임워크에서 유도된 에너지 추정과 난류 그론발 렘마를 사용하여 해의 성장률을 통제한다.
• 소볼레프 공간에서의 변분 방법을 활용하여 사전 추정과 컴팩턴스 추론을 통해 해를 구성한다.
• 세잉 렘마와 반복적 적분을 사용하여, 분포적 의미에서 난류 소음 항의 시간 적분을 정의한다.
• 해 공간의 컴팩트 임베딩을 허드러진 호일더 공간과 약한 연속 공간에 적용하여 수렴하는 부분수열을 추출한다.

실험 결과

연구 질문

• RQ1 난류 운반 소음이 가해진 나비에-스토크스 시스템은 결정론적 경로 기반 접근을 통해 해결될 수 있는가?
• RQ2 비유계 난류 드라이버 이론은 난류 편미분방정식 설정에서 에너지 추정과 약한 해의 존재성을 도출할 수 있는가?
• RQ3 2차원에서 난류 운반 소음 하에 해는 유일하고 안정적인가?
• RQ4 해와 소음의 정규성 수준이 낮을 경우, 난류 소음 항의 시간 적분을 엄밀하게 어떻게 정의할 수 있는가?
• RQ5 선형 또는 스칼라 방정식을 초월하는 난류 편미분방정식에 대해 변분 방법을 확장할 수 있는가?

주요 결과

• 논문은 비유계 난류 드라이버 기반의 경로 기반 해 개념을 활용하여, 난류 운반 소음이 가해진 2차원 및 3차원 나비에-스토크스 방정식에 대해 약한 해의 존재성을 입증한다.
• 두 차원에서는 주행 소음 경로에 대해 해가 유일하고 안정적이며, 고전적 결과를 난류 경로 설정으로까지 확장한다.
• 저자들은 소음이 시간에 대해 매끄러울 경우 고전적 정의로 내려가는 내재적 약한 해의 새로운 정의를 제안한다.
• 난류 그론발 렘마와 난류 경로 프레임워크에 적응된 에너지 방법을 사용하여 사전 추정을 도출한다.
• 해 공간은 C_T H^{-1} 및 L^2_T H^0_w에 컴팩트하게 임베딩되어 있으며, 일반화된 아르체라-아스콜리 추론을 통해 수렴하는 부분수열을 추출할 수 있다.
• 시간 적분 ∫₀ᵗ (ȧ_s · ∇)u_s ds는 반복적 적분과 세잉 렘마를 사용하여 분포적 극한으로 엄밀하게 정의되며, p ∈ [2,3)일 경우 영 연산자의 실패를 극복한다.