[논문 리뷰] A Liouville Theorem for Axi-symmetric Navier-Stokes Equations on $\mathbb{R}^2 imes \mathbb{T}^1$

Zhen Lei, Xiao Ren외 1명|arXiv (Cornell University)|2019. 11. 05.

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

한 줄 요약

이 논문은 $\mathbb{R}^2 \times \mathbb{T}^1$에서 축대칭 나비에-스토크스 방정식의 유계 고전적 올드 해에 대한 리우빌 정리를 확립한다. 이는 스위르 양 $\Gamma = r v^\theta$가 유계이고 해가 $z$-방향으로 주기적일 경우, 그러한 해는 $z$-방향으로 반드시 상수여야 한다는 것을 증명한다. 이 결과는 [5]에서 제기된 추측을 주기적 경계 조건 하에서 확인하며, $\mathbb{T}^1$ 인자에 의한 컴팩턴스를 통해 허나크 추정과 진동 조절을 이용한다.

ABSTRACT

We establish a Liouville theorem for bounded mild ancient solutions to the axi-symmetric incompressible Navier-Stokes equations on $(-\infty, 0] imes (\mathbb{R}^2 imes \mathbb{T}^1)$. This is a step forward to completely solve the conjecture on $(-\infty, 0] imes \mathbb{R}^3$ which was made in \cite{KNSS} to describe the potential singularity structures of the Cauchy problem.

연구 동기 및 목표

• 축대칭 나비에-스토크스 방정식의 유계 올드 해의 구조에 관해 코크 등이 제기한 추측을 해결하는 것.
• 스위르 $\Gamma = r v^\theta$가 유계이고 $z$-방향으로 주기적일 경우, 경량 올드 해에 대해 리우빌 유형 결과를 확립하는 것.
• 3차원 나비에-스토크스 초기값 문제에서 잠재적 정점의 국소 구조를 블로우업 분석을 통해 이해하는 것.
• 컴팩턴스가 $\mathbb{T}^1$에 의해 보장되는 바, 스트림 함수의 진동을 제어할 수 있으며, 이는 해의 강성으로 이어진다는 것을 보여주는 것.

제안 방법

• $\Gamma = r v^\theta$가 만족하는 스칼라 방정식에 대해 허나크 추정을 적용하며, 이는 $\partial_t \Gamma + (\mathbf{b} \cdot \nabla)\Gamma + \frac{2}{r}\partial_r \Gamma = \Delta \Gamma$로 기술된다.
• 시간에 관계없이 일관되게 $L^\infty$ 노름을 제어하기 위해 포물선 최대원리의 적용.
• $\Gamma$로부터 유도된 비음수이고 $z$-주기적인 하위해 $\Phi$의 구성하여 허나크 유형 추정에 적용.
• 에너지 추정을 국소화하고 특이한 드리프트 항을 제어하기 위해, 원기둥형 영역 $P_R$ 위에 지지되는 컷오프 함수 $\psi_R$의 사용.
• 체비셰프 부등식과 $L^2$ 기반 에너지 추정을 활용하여 $\Phi$의 점별 하한을 도출하며, 이는 진동 감소를 암시한다.
• 진동 감소 추정을 반복 적용하여 $\Gamma$가 상수여야 함을 보이며, 이는 $v^\theta \equiv 0$임을 의미하고, 결과적으로 $\mathbf{v} = c \mathbf{e}_z$임을 이끌어낸다.

실험 결과

연구 질문

• RQ1 축대칭 나비에-스토크스 방정식의 유계 올드 해가 $\mathbb{R}^2 \times \mathbb{T}^1$에서 $\Gamma = r v^\theta$가 유계이고 $z$-방향으로 주기적일 경우, 상수일 수 없는가?
• RQ2 $z$-토러스 $\mathbb{T}^1$의 컴팩턴스는 전체 $\mathbb{R}^3$ 설정보다 해의 진동에 대해 더 강력한 제어를 가능하게 하는가?
• RQ3 스위르 방정식에 대한 허나크 추정을 통해 유계성과 주기성 조건 하에서 해의 강성을 증명할 수 있는가?
• RQ4 $\Gamma$의 유계성과 경량 해 구조는 속도장의 전역 정칙성과 상수성에 얼마나 깊이 영향을 미치는가?
• RQ5 3차원 나비에-스토크스 초기값 문제에서 잠재적 정점에 대한 블로우업 절차는 $z$-방향으로 주기적인 해를 도출하는가? 이는 이 설정을 사용하는 것이 정당화되는가?

주요 결과

• 축대칭 나비에-스토크스 방정식의 유계 올드 해 $\mathbf{v}$가 $\mathbb{R}^2 \times \mathbb{T}^1$에서 $\Gamma = r v^\theta$가 유계이고 $z$-주기적일 경우, 반드시 $z$-방향으로 상수여야 하며, 즉 어떤 상수 $c$에 대해 $\mathbf{v} \equiv c \mathbf{e}_z$이다.
• 이 증명은 $\Gamma$-방정식에 대한 허나크 추정과 $z$-주기성이 큰 포물형 원기둥에서 $\Phi = (\Gamma - \inf \Gamma)/(\sup \Gamma - \inf \Gamma)$의 $L^1$-노름에 대한 균일한 하한을 확보할 수 있음을 바탕으로 한다.
• 핵심 추정은 반경 $R$인 포물형 원기둥에서 $\Gamma$의 진동이 스케일링을 $\sqrt{\kappa}/4$로 줄였을 때 인자 $1 - \sigma$만큼 감소함을 보이며, 이는 반복적으로 적용 가능하다.
• 진동 감소는 $\Gamma$가 공간과 시간에 대해 상수임을 의미하며, $r=0$에서 $\Gamma \equiv 0$이므로 $\Gamma \equiv 0$임을 유도한다. 따라서 $v^\theta \equiv 0$이며, 결과적으로 $\mathbf{v} = c \mathbf{e}_z$이다.
• 이 결과는 [5]에서 제기된 추측을 $z$-주기성이라는 추가 가정 하에서 확인한다. 이 조건은 잠재적 정점의 블로우업 분석에서 자연스럽게 나타난다.
• 이 방법은 $\mathbb{T}^1$의 컴팩턴스가 스트림 함수의 진동을 제어하는 데 필수적임을 보여주며, 이는 비콤팩트인 $\mathbb{R}^3$의 경우에선 성립하지 않는 리우빌 유형 결론을 가능하게 한다.