[논문 리뷰] Finite time blowup for an averaged three-dimensional Navier-Stokes equation

Terence Tao|arXiv (Cornell University)|2014. 02. 03.

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

한 줄 요약

이 논문은 3D 나비에-스토크스 방정식의 평균화된 버전에 대해 유한 시간 내 폭발 해법을 구축한다. 비선형 이항 연산자를 회전, 확장, 푸리에 변환자 평균화를 포함하도록 수정하면서 에너지 상쇄 성질을 유지한다. 주요 결과는 이러한 평균화된 모델이 부드러운 초기 조건을 가질 수 있으며, 이는 유한 시간 내에 특이점으로 이르게 하며, 진짜 나비에-스토크스 방정식의 전역 정칙성에 대한 증명은 조화 분석과 에너지 보존을 넘어서 더 세밀한 비선형 구조를 활용해야 한다는 것을 보여준다.

ABSTRACT

The Navier-Stokes equation on the Euclidean space $\mathbf{R}^3$ can be expressed in the form $\partial_t u = Δu + B(u,u)$, where $B$ is a certain bilinear operator on divergence-free vector fields $u$ obeying the cancellation property $\langle B(u,u), u angle=0$ (which is equivalent to the energy identity for the Navier-Stokes equation). In this paper, we consider a modification $\partial_t u = Δu + ilde B(u,u)$ of this equation, where $ ilde B$ is an averaged version of the bilinear operator $B$ (where the average involves rotations and Fourier multipliers of order zero), and which also obeys the cancellation condition $\langle ilde B(u,u), u angle = 0$ (so that it obeys the usual energy identity). By analysing a system of ODE related to (but more complicated than) a dyadic Navier-Stokes model of Katz and Pavlovic, we construct an example of a smooth solution to such a averaged Navier-Stokes equation which blows up in finite time. This demonstrates that any attempt to positively resolve the Navier-Stokes global regularity problem in three dimensions has to use finer structure on the nonlinear portion $B(u,u)$ of the equation than is provided by harmonic analysis estimates and the energy identity. We also propose a program for adapting these blowup results to the true Navier-Stokes equations.

연구 동기 및 목표

• 3D 나비에-스토크스 방정식의 전역 정칙성 문제에서 '초임계성 장벽'을 수식화하기 위해.
• 에너지 보존과 조화 분석 추정치만으로는 3D 나비에-스토크스 방정식에서 폭발을 제거할 수 없다는 것을 입증하기 위해.
• 에너지 항등식을 유지하는 평균화된 나비에-스토크스 방정식의 모델에서 부드럽고 유한 시간 내 폭발 해법을 구성하기 위해.
• 진짜 나비에-스토크스 방정식으로의 이러한 폭발 결과 확장을 위한 프로그램을 제안하기 위해.

제안 방법

• 에너지 항등식을 모방하면서도 상쇄 성질 $\langle \tilde{B}(u,u), u \rangle = 0$를 유지하는 평균화된 이항 연산자 $\tilde{B}$를 정의한다.
• 카츠-파블로비치 모델을 영감으로 삼아 평균화된 방정식의 비선형 상호작용을 모델링하는 이진 ODE 시스템을 구성한다.
• 모드 $a_0, d_0, c_0, a_1$ 간의 결합 항을 포함한 수정된 에너지 함수 $E_*$를 사용하여 에너지 이행과 감쇠를 추적한다.
• 그론월의 부등식을 적용하여 핵심 변수의 진화를 통제하고, 저주파수 모드의 에너지에 대해 지수 감쇠 추정치를 유도한다.
• 모순 증명을 통해 고주파수 모드 $a_1$가 양의 하한으로 성장해야 하며, 이는 폭발을 유도함을 증명한다.
• ODE 시스템의 구조와 에너지 균형을 이용하여 $a_0, d_0$에서 $a_1$로 에너지가 유출됨을 보여주며, 이는 유한 시간 특이점의 가능성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 에너지 항등식을 유지하는 평균화된 3D 나비에-스토크스 방정식의 부드러운 해가 유한 시간 내에 폭발할 수 있는가?
• RQ2 에너지와 조화 분석 추정치가 폭발을 방지하지 못하는 것은 전역 정칙성 증명에 근본적인 장벽을 의미하는가?
• RQ3 상쇄 법칙을 유지하는 수정된 비선형 연산자 $\tilde{B}$가 여전히 초임계성 정칙성 조건을 만족하면서도 유한 시간 내 폭발을 초래할 수 있는가?
• RQ4 폭발 메커니즘이 충분히 강건하여 실제 나비에-스토크스 방정식에서 폭발을 구성하는 데로 이어질 수 있는가?
• RQ5 비선형성의 더 세밀한 구조는 유한 시간 특이점의 발생을 방지하거나 허용하는 데 어떤 역할을 하는가?

주요 결과

• 에너지 항등식을 유지하는 평균화된 3D 나비에-스토크스 방정식의 부드러운 해는 $\tilde{B}$를 통해 유한 시간 내에 폭발한다.
• 폭발은 저주파수에서 고주파수로의 에너지 이행으로 인해 발생하며, 이는 $a_1$을 양의 임계값을 초월해 증폭시키는 비선형 결합에 의해 주도된다.
• 수정된 에너지 $E_*$는 지수적으로 감쇠하며, $\tilde{E}_0(t) \lesssim \exp\left(-K\int_{t_c+K^{-9}}^t a(t') dt'\right) + O(K^{-28})$로 표현되며, 이는 급격한 에너지 손실을 나타낸다.
• 고주파수 모드 $a_1(t)$는 $t \in [t_c + K^{-1}, \tau_1]$ 동안 $a_1(t) \geq 0.05$를 만족하여 지속적인 성장을 확인한다.
• $\tilde{E}_0(\tau_1) \lesssim K^{-28}$의 추정치는 저주파수 에너지가 억제됨을 확인하며, 이는 폭발을 가능하게 한다.
• 모순 증명을 통해 $a_1(t_c + 1/K) \geq 0.1$이 성립해야 하며, 이는 폭발 메커니즘이 작동하기 위해 필수적이다.