[논문 리뷰] Finite time singularity formation for the modified SQG patch equation

Alexander Kiselev, Lenya Ryzhik외 2명|arXiv (Cornell University)|2015. 08. 30.

Navier-Stokes equation solutions참고 문헌 37인용 수 15

한 줄 요약

이 논문은 $α \in (0, \frac{1}{24})$로 매개변수화된 Biot-Savart 법칙을 가진 수정된 표면 수렴지구적(SQG) 패치 방정식에 대해 유한 시간 내에 특이점이 발생함을 규명한다. 이는 2D Euler($\alpha = 0$)에서의 전역 정칙성에서 유한 시간 폭발로의 날카로운 전이를 보여주며, 임의로 작은 $\alpha > 0$일지라도 특이점 형성이 발생함을 증명한다. 이 결과는 2D Euler 방정식이 엄밀한 역학적 의미에서 임계임을 입증한다.

ABSTRACT

It is well known that the incompressible Euler equations in two dimensions have globally regular solutions. The inviscid surface quasi-geostrophic (SQG) equation has a Biot-Savart law which is one derivative less regular than in the Euler case, and the question of global regularity for its solutions is still open. We study here the patch dynamics in the half-plane for a family of active scalars which interpolates between these two equations, via a parameter $α\in[0,\frac 12]$ appearing in the kernels of their Biot-Savart laws. The values $α=0$ and $α=\frac 12$ correspond to the 2D Euler and SQG cases, respectively. We prove global in time regularity for the 2D Euler patch model, even if the patches initially touch the boundary of the half-plane. On the other hand, for any sufficiently small $α>0$, we exhibit initial data which lead to a singularity in finite time. Thus, these results show a phase transition in the behavior of solutions to these equations, and provide a rigorous foundation for classifying the 2D Euler equations as critical.

연구 동기 및 목표

• 2D 비압축성 Euler 방정식과 표면 수렴지구적(SQG) 방정식 사이의 정칙성 행동 전이를 $\alpha \in [0, \frac{1}{2}]$로 매개변수화된 활성 스칼라 방정식의 가족을 통해 조사하기.
• 수정된 SQG 방정식에 대해 $\alpha > 0$일 때 해가 전역 정칙성을 유지하는지 아니면 유한 시간 특이점이 발생하는지 규명하기.
• 2D Euler 방정식의 임계성이 Biot-Savart 법칙의 소규모 변형에 대해 어떻게 붕괴되는지에 대한 날카로운 임계값을 설정하기.
• 임의의 충분히 작은 $\alpha > 0$에 대해 유한 시간 특이점 형성을 유도하는 명시적 초기 패치 데이터를 구성하기.

제안 방법

• 저자들은 Biot-Savart 법칙 $u = \nabla^\perp (-\Delta)^{-1+\alpha} \omega$를 가진 수정된 SQG 패치 방정식을 분석하며, $\alpha \in (0, \frac{1}{2})$는 2D Euler($\alpha = 0$)와 SQG($\alpha = \frac{1}{2}$) 사이를 보간한다.
• 상반평면 내에서 $x_1$에 대해 홀함수인 복소패치 초기 자료를 고려하며, 초기에 경계에서 분리되어 있고 특정 기하학적 제약 조건을 만족한다.
• 모순에 기반한 증명 기법을 사용한다: 시간 $T' > 50(3\epsilon)^{2\alpha}$ 이후에도 $C^{1,\gamma}$ 홀함수 패치 해가 존재한다고 가정할 경우, 해가 경계에서의 비침투 조건을 위반함을 보인다.
• 증명는 유한한 집합 $K(t)$를 구성함으로써 이루어지며, 이 집합은 패치 영역 $\Omega(t)$ 내부에 있어야 하지만, 속도장 추정에 의해 보완 영역의 경계에 닿게 된다.
• 핵심 추정은 시간에 관계없이 속도장의 $L^\infty$ 노름을 균일하게 유 bounds하고, 흐름 하에서 패치 경계의 연속성을 이용한다.
• 제4.5조는 경계 근처에서 법선 속도 성분에 대한 점별 하한을 제공하며, 이는 패치 경계가 유한 시간 내에 집합 $K(t)$를 가로질러야 하며, 전역 존재 가정에 모순됨을 보여준다.

실험 결과

연구 질문

• RQ1 수정된 SQG 방정식에 대해 $\alpha > 0$일 때, 모든 초기 자료에 대해 전역 $C^{1,\gamma}$ 패치 해가 존재하는가, 아니면 유한 시간 특이점이 발생할 수 있는가?
• RQ2 2D Euler에서의 전역 정칙성에서 유한 시간 특이점으로의 전이가 발생하는 임계값 $\alpha$는 무엇인가?
• RQ3 임의로 작은 $\alpha > 0$에 대해 수정된 SQG 방정식에 대해 유한 시간 특이점을 엄밀히 구성할 수 있는가?
• RQ4 분수계수 $-1+\alpha$를 가진 비국소적 Biot-Savart 법칙이 복소패치 해의 장기적 행동과 정칙성에 어떤 영향을 미치는가?

주요 결과

• 모든 $\alpha \in (0, \frac{1}{24})$에 대해, 반평면 내에서 초기 패치 자료가 존재하여 해당 $C^{1,\gamma}$ 패치 해가 시간 $T' > 50(3\epsilon)^{2\alpha}$를 초과할 수 없다.
• 모든 $t \in [0,T]$에 대해 속도장의 $L^\infty$ 노름이 100 이하로 균일하게 유 bounds되며, 이는 흐름 하에서 패치 경계의 연속성을 보장한다.
• 모순은 속도장이 패치 경계가 집합 $K(t)$를 가로질러야 하도록 유도함으로써 발생하며, 이는 패치가 원점에서 만남을 의미하며 비침투 조건을 위반함을 시사한다.
• 결과는 2D Euler 방정식($\alpha = 0$)이 임계임을 증명한다: Biot-Savart 법칙의 특이성에 대한 소규모 증가($\alpha > 0$)는 유한 시간 폭발로 이어진다.
• 이 구성은 $\gamma > \frac{2\alpha}{1-2\alpha}$일 경우에 강건하며, $H^3$ 해는 홀함수이자 $\gamma \in (0,1]$에 대해 $C^{1,\gamma}$임이 보여지며, 이는 모순 증명에 대한 유일성과 일致성을 보장한다.