[논문 리뷰] Finite-time Singularity formation for Strong Solutions to the axi-symmetric $3D$ Euler Equations

Tarek M. Elgindi, In‐Jee Jeong|arXiv (Cornell University)|2018. 02. 26.

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

한 줄 요약

이 논문은 비스케일 불변성과 비등방성을 갖는 도메인 $(1 + \epsilon|z|)^2 \leq x^2 + y^2$ 상에서 축대칭 3D 오일러 방정식의 유한에너지 강해에 대해 유한시간 내에 특이점이 형성됨을 증명한다. 이는 임계 정칙 수준에서의 근사해를 새로운 방식으로 구성하여 1D 파losion 해를 갖는 시스템으로 감소시키는 것으로 이루어지며, 이는 실제로 3D 오일러 시스템에서 임계 설정에서 처음으로 이뤄진 구성이다. 또한, 소용루가 없는 해는 항상 전역적으로 정칙함을 입증하여, 소용루가 있는 흐름과의 핵심적 차이를 드러낸다.

ABSTRACT

For all $ε>0$, we prove the existence of finite-energy strong solutions to the axi-symmetric $3D$ Euler equations on the domains $ \{(x,y,z)\in\mathbb{R}^3: (1+ε|z|)^2\leq x^2+y^2\}$ which become singular in finite time. We further show that solutions with 0 swirl are necessarily globally regular. The proof of singularity formation relies on the use of approximate solutions at exactly the critical regularity level which satisfy a $1D$ system which has solutions which blow-up in finite time. The construction bears similarity to our previous result on the Boussinesq system \cite{EJB} though a number of modifications must be made due to anisotropy and since our domains are not scale-invariant. This seems to be the first construction of singularity formation for finite-energy strong solutions to the actual $3D$ Euler system.

연구 동기 및 목표

• 3D 오일러 방정식의 유한에너지 강해에 대해 유한시간 내 특이점 형성이 발생하는 오랜 동안 열려 있던 문제를 해결하기 위해.
• 스케일 불변성이 없고 비등방성을 띠는 도메인에서 파괴되는 유한시간 내의 명시적 해를 구성하기 위해.
• 소용루가 없는 경우가 전역 정칙성을 보장함을 입증하여, 소용루가 있는 흐름과의 핵심적 차이를 부각하기 위해.
• 3D 문제를 파열해가 알려진 1D 시스템으로 감소시켜 특이점 형성의 새로운 방법을 확립하기 위해.
• 정칙성과 대칭성이 3D 오일러 방정식의 전역 잘 정의성에 미치는 역할을 명확히 하기 위해.

제안 방법

• 임계 정칙 수준에서 유한시간 파열을 보이는 1D 시스템을 만족하는 근사해를 구성하기 위해.
• 오차 항의 진화를 추적하고 하올더 노름을 통해 그 성장률을 제어하기 위해 라그랑주 유동 지도를 사용하기 위해.
• 허용 가능한 도메인 $\Omega_\epsilon$ 상에서 타원형 추정을 적용하여 비에이트-사바르 법칙과 속도 재구성의 제어를 위해.
• 축대칭 설정에서의 운반 및 소용루 늘리기 역학을 분석하여 오차 항에 대한 사전 추정을 유도하기 위해.
• 축대칭 오일러 방정식의 구조를 활용하여 문제를 비틀림 및 속도 성분에 대한 1D 시스템으로 분리하기 위해.
• 소용루가 없는 경우의 전역 잘 정의성을 증명하기 위해 $\nabla u$와 $\omega$가 $C^{0,\alpha}$ 노름에서 유계임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 비스케일 불변성과 비등방성을 갖는 도메인에서 3D 오일러 방정식의 유한에너지 강해가 유한시간 내에 특이점에 도달할 수 있는가?
• RQ2 소용루가 없는 경우가 축대칭 3D 오일러 방정식에서 전역 정칙성을 보장하는 데 충분한가?
• RQ3 축대칭 3D 오일러 시스템의 1D 감소가 유한시간 파열로 이어지는 본질적 역학을 포괄할 수 있는가?
• RQ4 특히 비등방성과 스케일 불변성의 부재가 특이점 형성에 어떤 역할을 하는가?
• RQ5 임계 정칙 수준은 $W^{1,\infty}$에 머물면서도 파열해를 갖는 해를 구성하는 데 허용하는가?

주요 결과

• 모든 $\epsilon > 0$에 대해, 도메인 $\{(x,y,z) : (1 + \epsilon|z|)^2 \leq x^2 + y^2\}$ 상에서 축대칭 3D 오일러 방정식의 유한에너지 강해가 존재하며, 이는 유한시간 내에 특이점에 도달한다.
• 소용루가 없는 해는 전역적으로 정칙이며, 모든 시간에 대해 $\nabla u$가 $L^\infty$에서 유계이므로 성립한다.
• 파열 메커니즘은 알려진 유한시간 파열을 보이는 1D 시스템으로 감소시키는 데 기반하며, 이는 근사해를 통해 3D 설정으로 올리기 위해 사용된다.
• 구성된 해는 $u \in C^\infty([0,1) \times \Omega_\epsilon)$를 만족하며, $\partial_t u$, $u \cdot \nabla u$, $\nabla p$는 시공간에서 하올더 연속성이다.
• 해는 $\limsup_{t \to 1} \|\nabla u(t, \cdot)\|_{L^\infty} = +\infty$를 보이며, 이는 유한시간 내의 기울기 파열을 확인한다.
• 이 방법은 임계 정칙 수준 $W^{1,\infty}$가 특이점 형성에 대해 날카로운 경계임을 입증하며, 3D 오일러 시스템이 2D 경우와의 핵심적 차이를 드러낸다.