[논문 리뷰] Inviscid Large deviation principle and the 2D Navier Stokes equations with a free boundary condition

Hakima Bessaih, Annie Millet|arXiv (Cornell University)|2010. 11. 19.

Stochastic processes and financial applications참고 문헌 22인용 수 13

한 줄 요약

이 논문은 점성 ν → 0일 때 2차원 스토케스틱 나비에-스토크스 방정식에 대해 자유 경계 조건을 갖는다. 이 경우 소음 강도는 √ν 비례로 스케일링되며, 대칭성 원리(LDP)를 설정한다. 소볼레프 공간과 레베그 공간에서 약한 수렴 방법과 코herent성 증명을 사용하여, 점성계수의 극한에서 LDP가 성립함을 증명한다. 이는 프리드린-웬츠 이론을 점성계수와 다중성 소음이 함께 사라지는 유체역학 모델로 확장한다.

ABSTRACT

Using a weak convergence approach, we prove a LPD for the solution of 2D stochastic Navier Stokes equations when the viscosity converges to 0 and the noise intensity is multiplied by the square root of the viscosity. Unlike previous results on LDP for hydrodynamical models, the weak convergence is proven by tightness properties of the distribution of the solution in appropriate functional spaces.

연구 동기 및 목표

• 점성 ν → 0일 때 유한 도메인에서 자유 경계 조건을 갖는 2차원 스토케스틱 나비에-스토크스 방정식에 대해 대편차 원리(LDP)를 설정하는 것.
• 점성계수와 소음 강도가 모두 사라지는 상황에서, 특히 소음 강도가 √ν 비례로 스케일링되는 프리드린-웬츠 스케일링 하에서 스토케스틱 유체역학의 점성계수 극한을 분석하는 것.
• 경계층 형성과 특이 극한으로 인한 기술적 과제를 극복하여, 점성계수가 사라지는 모델에 대해 LDP에 대한 약한 수렴 방법을 확장하는 것.
• 라플라스 원리 수렴을 보장하기 위해 적절한 소볼레프 공간과 레베그 공간에서 해의 분포의 코herent성 증명.
• 이전의 유체역학 모델에 대한 LDP 결과를 일반화하기 위해 점성계수에 의존하는 소음 연산자와 관련된 불변 측도의 수렴을 증명하는 것.

제안 방법

• 듀푸아와 엘리스가 개발한 라플라스 원리에 기반한, 대편차에 대한 약한 수렴 방법을 적용한다.
• 소음 강도의 점성계수 의존성을 모델링하기 위해 스케일링 $ G_ u = u^{1/2} ilde{ u} $ 를 사용하며, $ ilde{ u} o ilde{0} $ 일 때 $ u o 0 $ 이다.
• 해와 그 모멘트에 대한 사전 추정치를 도출하기 위해 $ L^q $ 및 $ H^{k,q} $ 공간에서 이토의 공식을 활용한다.
• $ L^q $-값을 갖는 과정에 대해 이토 공식의 확률적 적분 항을 제어하기 위해 버크홀더-데이비스-건디 부등식을 적용한다.
• 함수 공간에서의 코herent성 가진 법의 가족에서 약하게 수렴하는 부분수열을 추출하기 위해 스코로호드-자쿠브스키 표현 정리를 활용한다.
• U(D,q) 또는 U(D,∞) 클래스 계수에서 유도된 네미츠키 연산자가 LDP에 필요한 정규성 및 유계성 조건(C1–C3qBis)을 만족함을 확인한다. 이는 SPDE의 잘 정의됨을 보장한다.

실험 결과

연구 질문

• RQ1 자유 경계 조건을 갖는 2차원 스토케스틱 나비에-스토크스 방정식이 점성계수 극한에서 대편차 원리가 성립하는가?
• RQ2 점성계수와 소음 강도가 모두 사라지는 상황에서, 특히 소음이 √ν 비례로 스케일링되는 경우, LDP에 대한 약한 수렴 방법을 확장할 수 있는가?
• RQ3 해의 분포가 대편차 원리를 만족하기 위해 소음 연산자 $ G_ u $ 와 초기 자료에 필요한 충분조건은 무엇인가?
• RQ4 경계에서 법선 및 접선 속도가 0인 자유 경계 조건의 존재가 소볼레프 공간과 레베그 공간에서 해의 코herent성과 수렴성에 어떤 영향을 미치는가?
• RQ5 경계층 형성이 발생하더라도, 유한 도메인에서 스토케스틱 나비에-스토크스 방정식의 점성계수 극한에서 LDP를 확립할 수 있는가?

주요 결과

• 점성 ν → 0일 때 자유 경계 조건을 갖는 2차원 스토케스틱 나비에-스토크스 방정식에 대해 소음 강도가 √ν 비례하는 스케일링 하에서 대편차 원리가 성립함을 증명하였다.
• 라플라스 원리 수렴을 보장하기 위해 $ L^2(0,T;H^{1,2}) \times L^\rho(0,T;L^q) $ 공간에서 해 가족의 코herent성 증명이 이루어졌으며, 적절한 $ \rho, q $ 에 대해 성립한다.
• 점성계수가 사라지는 다중성 소음이 있는 모델에 대해 약한 수렴 방법이 성공적으로 적용되었으며, 이는 이전 연구에서 고정된 양의 점성계수를 요구했던 결과를 확장한다.
• U(D,∞) 클래스 계수에서 유도된 네미츠키 연산자가 필요한 정규성 및 유계성 조건(C1–C3qBis)을 만족함을 입증하여, SPDE의 잘 정의됨을 보장한다.
• 스코로호드-자쿠브스키 표현 정리를 사용하여 경로의 위상공간에서 거의 확실히 수렴하는 법의 부분수열을 추출함으로써 라플라스 원리의 증명이 가능해졌다.
• 이 결과는 소음계수가 작을 때 해의 분포가 점성계수 극한에서의 비점성(Euler) 해 근처로 지수적으로 집중되는 것을 엄밀히 분석할 수 있는 프레임워크를 제공한다.