[논문 리뷰] Tamed 3D Navier-Stokes Equation: Existence, Uniqueness and Regularity

Michael Röckner, Xicheng Zhang|ArXiv.org|2007. 03. 09.

Navier-Stokes equation solutions참고 문헌 5인용 수 5

한 줄 요약

이 논문은 평균 속도가 큰 값을 가질 경우를 억제하는 비선형 감쇠 항 $ g_N(|\mathbf{u}|^2)\mathbf{u} $를 포함한 다듬어진 3차원 나비에-스토크스 방정식을 제안한다. 이는 매끄러운 초기 자료와 외력에 대해 해의 전역 존재성, 유일성, 해의 매끄러움을 보장한다. 주요 결과는 고전적 3차원 나비에-스토크스 방정식의 유계 매끄러운 해가 이 다듬어진 형태를 만족하며, 다듬어진 시스템이 적합한 약한 해를 위한 새로운 구성법을 제공한다는 것이다.

ABSTRACT

In this paper, we prove the existence and uniqueness of a smooth solution to a tamed 3D Navier-Stokes equation in the whole space. In particular, if there exists a bounded smooth solution to the classical 3D Navier-Stokes equation, then this solution satisfies our tamed equation. Moreover, using this renormalized equation we can give a new construction for a suitable weak solution of the classical 3D Navier-Stokes equation introduced in [Scheffer: Hausdorff measure and the Navier-Stokes equations. Comm. Math. Phys., 1977] and [Caffarelli, Kohn, Nirenberg: Partial regularity of suitable weak solutions of the Navier-Stokes equations. Comm. Pure Appl. Math., 1982].

연구 동기 및 목표

• 고전적 3차원 나비에-스토크스 방정식에 대한 전역 존재성과 정칙성 문제에 장기적으로 열려 있는 문제를 해결하기 위해.
• 물리적 직관을 유지하면서도 수학적으로 잘 정의된 정규화된 3차원 나비에-스토크스 방정식을 구성하기 위해.
• 고전적 방정식에 대한 적합한 약한 해를 구성하기 위한 새로운 변분적 및 분석적 프레임워크를 제공하기 위해.
• 유계 매끄러운 해가 고전적 방정식에서 유도된 다듬어진 방정식을 만족함을 입증하여 두 시스템을 직접적으로 연결하기 위해.

제안 방법

• 다듬는 함수 $ g_N(r) $ 를 도입하여, $ r \leq N $ 일 때는 0이 되고, $ r \geq N+1 $ 일 때는 선형적으로 증가하도록 하여, 속도에 따라 변하는 감쇠 항으로 작용하도록 한다.
• 비선형 성장 억제를 위해 고전적 나비에-스토크스 방정식에 $ -g_N(|\mathbf{u}|^2)\mathbf{u} $ 를 운동량 방정식에 추가한다.
• 에너지 추정과 $ \mathbb{H}^m $ 공간에서의 소볼레프 공간 기법을 사용하여, 매끄러운 해의 국소 존재성과 유일성을 증명한다.
• 블로우업이 발생하지 않도록 하는 다항식적 의존성에 기반한 $ \|\mathbf{u}\|_{\mathbb{H}^m} $ 에 대한 사전 추정을 유도함으로써 전역 존재성을 확립한다.
• 다듬어진 시스템에서 $ N \to \infty $ 일 때의 극한을 취하기 위해 컴팩턴스 추론과 약한 수렴을 활용하여 해의 극한을 추출하고, 이로부터 적합한 약한 해를 얻는다.
• 에너지 추정을 통한 $ \partial_t \mathbf{u} $ 의 제어를 활용하여 $ \mathbb{H}^1 $ 과 $ \mathbb{H}^2 $ 에서 균일한 추정을 이끌어내며, 이는 극한의 존재성에 기여한다.

실험 결과

연구 질문

• RQ1 3차원 나비에-스토크스 방정식의 정규화된 형태를 구성할 수 있는가? 이 경우, 임의의 매끄러운 초기 자료에 대해 해의 전역 존재성과 매끄러움을 보장할 수 있는가?
• RQ2 유속이 균일하게 유계일 경우, 다듬어진 방정식이 고전적 3차원 나비에-스토크스 방정식의 유계 매끄러운 해를 유지하는가?
• RQ3 다듬어진 방정식을 사용하여 극한 과정을 통해 고전적 3차원 나비에-스토크스 방정식의 적합한 약한 해를 구성할 수 있는가?
• RQ4 소볼레프 공간 $ \mathbb{H}^m $ 에서 다듬어진 시스템의 해 노름에 대한 균일한 사전 추정은 무엇이며, 다듬는 매개수 $ N $ 에 따라 어떻게 의존하는가?
• RQ5 다듬어진 시스템의 해 $ \mathbf{u}_N $ 이 $ N \to \infty $ 일 때의 극한이 고전적 방정식의 적합한 약한 해와 유일하게 일치하는가?

주요 결과

• 모수 $ \nu = 1 $ 이고, 매끄러운 初기 자료 $ \mathbf{u}_0 \in \mathbb{H}^\infty $ 와 매끄러운 외력 $ \mathbf{f} $ 가 주어지면, 다듬어진 방정식은 유일한 전역 매끄러운 해 $ \mathbf{u}_N \in C^\infty([0,T]; \mathbb{H}^\infty) $ 를 가진다.
• 해는 사전 추정 $ \sup_{t \in [0,T]} \|\mathbf{u}(t)\|_{\mathbb{H}^2} \leq C(1+N^2)(T+1)(\|\mathbf{u}_0\|_{\mathbb{H}^1}^2 + \|\mathbf{u}_0\|_{\mathbb{H}^1}^4 + \int_0^T \|\mathbf{f}(s)\|_{\mathbb{H}^0}^2 ds) + C(\|\mathbf{u}_0\|_{\mathbb{H}^2}^6 + \|\mathbf{f}(0)\|_{\mathbb{H}^0}^2 + \int_0^T \|\partial_s \mathbf{f}(s)\|_{\mathbb{H}^0}^2 ds) $ 를 만족하며, 이는 $ N $ 에 대해 다항식적 의존성을 보여준다.
• 고전적 3차원 나비에-스토크스 방정식에서 유계 매끄러운 해가 존재할 경우(즉, $ \|\mathbf{u}\|_{L^\infty} \leq \sqrt{N} $), 이는 다듬어진 방정식을 만족한다.
• 다듬어진 해 $ \mathbf{u}_N $ 이 $ N \to \infty $ 일 때, $ L^2_{\text{loc}}([0,T) \times \mathbb{R}^3) $ 에서 강한 수렴을 보이며, 고전적 방정식의 적합한 약한 해로 수렴한다.
• 다듬어진 시스템은 고전적 레일리-호프 프레임워크에 의존하지 않는 새로운 변분적 구성법을 제공한다.
• 다듬는 메커니즘은 $ \|\partial_t \mathbf{u}\|_{L^2} $ 가 시간과 $ N $ 에 대해 균일하게 유계임을 보장하여, 극한에 대한 컴팩턴스 추론을 가능하게 한다.