[논문 리뷰] Finite time blowup for Lagrangian modifications of the three-dimensional Euler equation

Terence Tao|arXiv (Cornell University)|2016. 06. 27.

Navier-Stokes equation solutions참고 문헌 44인용 수 6

한 줄 요약

이 논문은 원래의 3D 올레르 방정식의 기하학적 및 보존 성질을 유지하는 순서 -2의 일반화된 벡터 포텐셜 연산자 A를 구성함으로써, 라그랑주 구조를 가진 3차원 올레르 방정식의 매끄러운 해에서 유한 시간 내 폭발이 발생함을 보여준다. 이는 전형적인 보존 법칙과 기하학적 성질만으로는 전역 정칙성을 증명할 수 없음을 시사한다.

ABSTRACT

In the language of differential geometry, the incompressible inviscid Euler equations can be written in vorticity-vector potential form as \begin{align*} \partial_t ω+ {\mathcal L}_u ω&= 0\\ u &= δ ilde η^{-1} Δ^{-1} ω\end{align*} where $ω$ is the vorticity $2$-form, ${\mathcal L}_u$ denotes the Lie derivative with respect to the velocity field $u$, $Δ$ is the Hodge Laplacian, $δ$ is the codifferential (the negative of the divergence operator), and $ ilde η^{-1}$ is the canonical map from $2$-forms to $2$-vector fields induced by the Euclidean metric $η$. In this paper we consider a generalisation of these Euler equations in three spatial dimensions, in which the vector potential operator $ ilde η^{-1} Δ^{-1}$ is replaced by a more general operator $A$ of order $-2$; this retains the Lagrangian structure of the Euler equations, as well as most of its conservation laws and local existence theory. Despite this, we give three different constructions of such an operator $A$ which admits smooth solutions that blow up in finite time, including an example on ${\bf R}^3$ which is self-adjoint and positive definite. This indicates a barrier to establishing global regularity for the three-dimensional Euler equations, in that any such method must use some property of those equations that is not shared by the generalised Euler equations considered here.

연구 동기 및 목표

• 라그랑주 구조와 3D 올레르 방정식의 보존 법칙이 전역 정칙성을 보장하는 데 충분한가를 조사하는 것.
• 원래 시스템의 기하학적 및 보존 성질을 유지하는 순서 -2의 수정된 벡터 포텐셜 연산자 A를 가진 일반화된 올레르형 방정식을 구성하는 것.
• 자기수반성과 양의 정부호성과 같은 강력한 구조적 제약 조건이 존재하더라도 이러한 일반화된 시스템에서 유한 시간 내 폭발이 발생함을 보여주는 것.
• 고전적 3D 올레르 방정식에 대한 전역 정칙성 증명의 기본 장벽을 규명하여, 이러한 증명이 이 일반화된 모델들과 공유하지 않는 성질에 의존해야 한다는 것을 밝혀내는 것.

제안 방법

• 微분기하학을 이용한 일반화된 올레르 방정식의 형식적 제시로, 일반적인 순서 -2의 연산자 A를 사용하여 소용돌이-포텐셜 형태로 시스템을 표현하는 것.
• 원래 올레르 방정식의 라그랑주 구조를 유지하기 위해 Lie 미분 L_u를 사용하는 것.
• Biot-Savart 법칙의 수정을 통한 세 가지 서로 다른 A 연산자의 구성으로, 그 중 하나는 ℝ³에서 자기수반성과 양의 정부호성을 가지는 것.
• 소용돌이 ω와 보조 함수의 에너지 추정과 운반 방정식을 적용하여 폭발의 진화를 추적하는 것.
• 실수 좌표계와 국소 좌표계(예: (w¹,w²,w³)_{rsc})를 사용하여 해의 지지 집합과 전파를 분석하는 것.
• 콤���터성과 연속성 추론을 적용하여 해가 확장되는 영역 내에서 지지되지 않음을 보이고, 이로 인해 모순이 발생하며 폭발이 발생함을 보이는 것.

실험 결과

연구 질문

• RQ1 원래 올레르 방정식의 라그랑주 구조와 보존 법칙을 유지하는 일반화된 3D 올레르 방정식에서 유한 시간 내 폭발이 발생할 수 있는가?
• RQ2 순서 -2의 자기수반성과 양의 정부호성을 가지는 연산자 A를 구성할 수 있으며, 여전히 매끄러운 해에서 유한 시간 내 폭발을 유도할 수 있는가?
• RQ3 올레르 방정식의 보존 법칙과 기하학적 구조만으로는 폭발을 방지할 수 있는가, 아니면 더 구체적인 추가 성질이 필요한가?
• RQ4 고전적 3D 올레르 방정식의 전역 정칙성에 필수적인 구조적 특성들은 무엇이며, 이는 일반화된 모델들에선 결여되어 있는가?

주요 결과

• 라그랑주 구조를 가진 일반화된 3D 올레르 방정식에서, 조건 -2의 연산자 A가 자기수반성과 양의 정부호성을 가지더라도 매끄러운 해에서 유한 시간 내 폭발이 발생함을 입증하였다.
• 세 가지 서로 다른 A 연산자 구성 방법을 제공하였으며, 각각이 유한 시간 내 폭발을 유도하며, 경계나 주기적 구조가 없는 ℝ³에서도 성립한다.
• 폭발 메커니즘은 해의 지지 집합이 확장되는 공간 영역 내에 유지되지 못하는 데 기인하며, 이는 운반 및 지지 집합 전파 추론을 통해 모순을 초래한다.
• 소용돌이 ω는 컴팩트하게 지지되며 운반 방정식을 통해 진화하지만, 수정된 벡터 포텐셜 A로 인해 속도장 u가 유한 시간 내에 유계가 아니게 된다.
• 이 구성은 고전적 3D 올레르 방정식이 보존 법칙과 기하학적 구조만으로는 전역 정칙성을 증명할 수 없음을 보여주며, 이러한 성질은 폭발 모델들과 공유된다.
• 결과적으로 3D 올레르 방정식의 전역 정칙성 증명을 위해서는 이러한 일반화된 모델들과 공유하지 않는 성질, 예를 들어 Biot-Savart 법칙의 구체적 형태가 필요하다는 것을 시사한다.