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

Jiajie Chen, Thomas Y. Hou|arXiv (Cornell University)|2023. 05. 09.

Navier-Stokes equation solutions인용 수 4

한 줄 요약

이 논문은 부드러운 초기 데이터를 가진 2D 버세인스크 및 3D 축대칭 오일러 방정식에서 거의 자가유사적인 폭발 프로파일의 안정성을 철저히 검증한다. 컴퓨터 보조 엄밀 수치해석을 통해 안정성 상수들이 요구 조건을 만족함을 확인함으로써, 제1부에서 수립한 해석적 프레임워크 하에서 유한시간 폭발 형성의 증명을 완성하며, 비틀림에 의한 소용돌이의 폭발에 관한 오랫동안 제기된 추측을 확인한다.

ABSTRACT

This is Part II of our paper in which we prove finite time blowup of the 2D Boussinesq and 3D axisymmetric Euler equations with smooth initial data of finite energy and boundary. In Part I of our paper [ChenHou2023a], we establish an analytic framework to prove stability of an approximate self-similar blowup profile by a combination of a weighted $L^\infty$ norm and a weighted $C^{1/2}$ norm. Under the assumption that the stability constants, which depend on the approximate steady state, satisfy certain inequalities stated in our stability lemma, we prove stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth initial data and boundary. In Part II of our paper, we provide sharp stability estimates of the linearized operator by constructing space-time solutions with rigorous error control. We also obtain sharp estimates of the velocity in the regular case using computer assistance. These results enable us to verify that the stability constants obtained in Part I [ChenHou2023a] indeed satisfy the inequalities in our stability lemma. This completes the analysis of the finite time singularity of the axisymmetric Euler equations with smooth initial data and boundary.

연구 동기 및 목표

• 제1부에서 수립한 해석적 프레임워크에 따라, 부드러운 초기 및 경계 조건을 가진 2D 버세인스크 및 3D 축대칭 오일러 방정식에 대한 유한시간 폭발 증명을 완료한다.
• 제1부의 안정성 보조정리에서 유도된 안정성 상수가 요구 조건을 만족함을 확인함으로써, 거의 자가유사 폭발 프로파일의 안정성을 확인한다.
• 컴퓨터 보조 방법을 사용하여 선형화된 연산자 및 정상 케이스에서의 속도에 대해 날카운, 엄밀한 추정치를 제공한다.
• 공간-시간 해에 대한 엄밀한 오차 제어를 통해 분석의 간극을 메우며, 안정성 조건을 수치적으로 확인할 수 있도록 한다.

제안 방법

• 간격 산술과 검증된 수치해석을 사용하여 선형화된 연산자의 공간-시간 해를 구성하고 엄밀한 오차 제어를 수행한다.
• 근사 자가유사 프로파일 주변의 변화를 분석하기 위해 가중치가 붙은 $L^∞$ 및 $C^{1/2}$ 노름 프레임워크를 적용한다.
• 주요 동역학을 지배하는 주요 연산자 $\mathcal{L}_0$와 분리하기 위해 변화량을 주요 성분($\widetilde{W}_1$)과 결합 성분($\widetilde{W}_2$)으로 분해한다.
• 조각별 도함수 경계 및 보간 추정치를 사용하여 이산 격자 위에서 해의 호일더 유형 정규성(Holder-type regularity)을 제어한다.
• 선형 보간 및 코시-슈바르츠 부등식을 사용하여 컴퓨터 보조 증명을 통해 날카운 안정성 추정치를 검증하며, $|f(x) - f(z)| / |x - z|^{1/2}$의 경계를 확보한다.
• 주된 동역학과 보조 보정 항을 분리하기 위해 유한 랭크 변형 분해 $\mathcal{L} = \mathcal{L}_0 + \mathcal{K}$를 활용한다.

실험 결과

연구 질문

• RQ1 2D 버세인스크 및 3D 오일러 방정식에서 근사 정적 상태로부터 유도된 안정성 상수가 거의 자가유사 폭발의 안정성을 위해 요구하는 부등식을 만족하는가?
• RQ2 엄밀한 수치 방법을 통해 비국소 소용돌이 비틀림이 존재하는 상황에서 선형화된 연산자의 안정성 추정치의 날카운 정도를 검증할 수 있는가?
• RQ3 가중치가 붙은 $L^\infty$ 및 $C^{1/2}$ 노름에서 초기 자료의 소규모 변화에 대해 거의 자가유사 폭발 프로파일이 강건한가?
• RQ4 컴퓨터 보조 기법을 통해 정상 케이스에서 속도장과 변화량 역학에 대한 검증된 오차 경계를 제공할 수 있는가?
• RQ5 동적 스케일링 형태는 매끄러운 초기 자료로 유한시간 특이점 형성의 완전한 검증을 가능하게 하는가?

주요 결과

• 제1부의 안정성 보조정리에서 유도된 안정성 상수들이 컴퓨터 보조 수치해석을 통해 요구 조건을 만족함을 엄밀히 검증하였다.
• 오차 경계가 통제된 공간-시간 해를 사용하여 선형화된 연산자에 대해 날카운 검증 추정치를 확보하였다.
• 정상 케이스에서의 속도장에 대해 엄밀한 오차 제어를 수행하여 폭발 프레임워크의 일관성을 확인하였다.
• 2D 버세인스크 및 3D 축대칭 오일러 방정식에 대한 거의 자가유사 폭발 프로파일이 지정된 노름에서 소규모 변화에 대해 안정된 것으로 확인되었다.
• 부드러운 초기 자료와 유한 에너지를 가진 2D 버세인스크 및 3D 축대칭 오일러 방정식에 대한 유한시간 특이점 형성의 증명이 완성되었다.
• 결과는 루오-후의 수치적 증거를 검증하며, 3D 오일러 흐름에서 소용돌이 비틀림에 의한 폭발에 대한 엄밀한 해석적 기반을 마련한다.