[논문 리뷰] Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis

Jiajie Chen, Thomas Y. Hou|arXiv (Cornell University)|2022. 10. 13.

Navier-Stokes equation solutions인용 수 8

한 줄 요약

이 논문은 매끄럽고 유한한 에너지를 가진 초기 조건을 가진 2차원 부시네스크 및 축대칭 3차원 오일러 방정식에서 안정적인 거의 자가유사 폭발의 첫 번째 엄밀한 증명을 제시한다. 가중치가 부여된 $L^\infty$ 및 $C^{1/2}$ 노름의 새로운 프레임워크, 정밀한 함수부등식, 그리고 엄밀한 오차 제어를 갖춘 수치적으로 구성된 근사해를 결합함으로써, 저자들은 근사 자가유사 프로파일의 비선형 안정성을 확립하였으며, 안정된 조건 하에서 유한 시간 내에 특이점 형성이 발생함을 확인하였다.

ABSTRACT

Inspired by the numerical evidence of a potential 3D Euler singularity \cite{luo2014potentially,luo2013potentially-2}, we prove finite time blowup of the 2D Boussinesq and 3D axisymmetric Euler equations with smooth initial data of finite energy and boundary. There are several essential difficulties in proving finite time blowup of the 3D Euler equations with smooth initial data. One of the essential difficulties is to control a number of nonlocal terms that do not seem to offer any damping effect. Another essential difficulty is that the strong advection normal to the boundary introduces a large growth factor for the perturbation if we use weighted $L^2$ or $H^k$ estimates. We overcome this difficulty by using a combination of a weighted $L^\infty$ norm and a weighted $C^{1/2}$ norm, and develop sharp functional inequalities using the symmetry properties of the kernels and some techniques from optimal transport. Moreover we decompose the linearized operator into a leading order operator plus a finite rank operator. The leading order operator is designed in such a way that we can obtain sharp stability estimates. The contribution from the finite rank operator to linear stability can be estimated by constructing approximate solutions in space-time. This enables us to establish nonlinear stability of the approximate self-similar profile and prove stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth initial data and boundary.

연구 동기 및 목표

• 매끄럽고 유한한 에너지를 가진 초기 조건을 가진 2D 부시네스크 및 3D 축대칭 오일러 방정식에 대해 유한 시간 내 폭발을 엄밀히 증명하는 것.
• 전통적인 $L^2$ 또는 $H^k$ 추정에서 장애가 되는 국소적이지 않은 항과 경계 근처의 강한 대류 효과를 극복하는 것.
• 정밀한 함수부등식, 에너지 추정, 그리고 엄밀한 오차 범위를 갖춘 수치적으로 구성된 근사해를 결합한 새로운 분석적 프레임워크를 개발하는 것.
• 근사 자가유사 프로파일의 비선형 안정성을 증명하여 안정적인 거의 자가유사 폭발을 가능하게 하는 것.
• 이전의 $C^{1,\alpha}$ 자료 기반 결과를 매끄러운 초기 자료의 경우로 확장하여 3D 오일러 특이성 이론에서 주요 격차를 메우는 것.

제안 방법

• 비국소적 및 대류 효과를 제어하기 위해 가중치가 부여된 $L^\infty$ 및 $C^{1/2}$ 노름을 조합하여 사용함.
• 핵의 대칭성과 최적 운반 이론 기법을 활용하여 비국소적 항을 관리하기 위한 정밀한 함수부등식을 개발함.
• 선형화된 연산자를 주요 항(정밀한 안정성 추정을 갖는 항)과 유한 차원의 교란으로 분해함.
• 유한 차원 연산자의 선형 안정성에 기여하는 바를 제어하기 위해 엄밀한 오차 제어를 갖춘 근사 공간-시간 해를 구성함.
• 동적 스케일링을 사용하여 폭발 문제를 스케일링된 방정식에서 근사 정적 상태의 안정성 문제로 변환함.
• 반타작한 장거리 행동의 半해석적 접근과 수치적으로 계산된 컴act 지지 성분을 조합하여 잔차 오차가 작은 근사 정적 상태를 구축함.

실험 결과

연구 질문

• RQ1 매끄럽고 유한한 에너지를 가진 초기 자료를 가진 2D 부시네스크 및 3D 오일러 방정식에서 유한 시간 내 폭발을 엄밀히 증명할 수 있는가?
• RQ2 비국소적 항에 감쇠가 없을 경우, 경계 근처의 강한 대류로 인한 불안정성을 어떻게 제어할 수 있는가?
• RQ3 초기 자료의 작은 변화에 대해 거의 자가유사 폭발 프로파일이 안정화될 수 있는가?
• RQ4 어떤 분석적 프레임워크가 비선형 비선형성의 비국소적 제곱항을 제어할 수 있는가?
• RQ5 이전의 $C^{1,\alpha}$ 폭발 결과를 매끄러운 초기 자료의 경우로 확장할 수 있는가?

주요 결과

• 2D 부시네스크 방정식은 매끄럽고 유한한 에너지를 가진 초기 자료로부터 유한 시간 내 특이점이 발생하며, 동적 스케일링 하에서 거의 자가유사적이다.
• 3D 축대칭 오일러 방정식은 축 방향에서 홀함과 주기성을 가지며 대칭축에서 컴팩트 지지를 가지는 매끄러운 초기 자료에 대해 안정적인 거의 자가유사 폭발을 보인다.
• 가중치가 부여된 $L^\infty$ 및 $C^{1/2}$ 노름에서의 작은 변화에 대해 폭발이 안정적이며, 특이점 형성 메커니즘이 강건함을 확인하였다.
• 가중치가 부여된 $L^\infty(\varphi_4)$ 추정에서 안정성 인자가 최소 $1.5E_*$ 이상을 확보하여 강력한 비선형 안정성을 나타낸다.
• 조각별 하한 수치 검증을 통해 도메인 전역에서 양의 안정성 인자가 확인되었으며, 모든 비선형 안정성 조건이 충족됨을 확인하였다.
• 이 프레임워크는 추가적인 근사가 필요 없이 전체 추정을 닫을 수 있었으며, 이는 방법의 강건성과 확장 가능성의 증거이다.