[논문 리뷰] On the universality of the incompressible Euler equation on compact manifolds, II. Non-rigidity of Euler flows

Terence Tao|arXiv (Cornell University)|2019. 02. 17.

Navier-Stokes equation solutions참고 문헌 11인용 수 10

한 줄 요약

이 논문은, 토러스를 포함한 와핑 곱을 통해 컴act 리만다이언 군의 확장을 통해, 스무스 비압축성 올러 방정식의 흐름 공간이 비강성성을 띠게 된다는 것을 보여준다. 즉, 이러한 흐름의 비어 있지 않은 열린 집합은 스무스하게 올러 방정식의 해로 근사화될 수 있다. 이는 올러 흐름이 컴 pact 다각형에서 보편적이라는 추측을 지지한다.

ABSTRACT

The incompressible Euler equations on a compact Riemannian manifold $(M,g)$ take the form \begin{align*} \partial_t u + abla_u u &= - \mathrm{grad}_g p \\ \mathrm{div}_g u &= 0, \end{align*} where $u: [0,T] o Γ(T M)$ is the velocity field and $p: [0,T] o C^\infty(M)$ is the pressure field. In this paper we show that if one is permitted to extend the base manifold $M$ by taking an arbitrary warped product with a torus, then the space of solutions to this equation becomes "non-rigid'"in the sense that a non-empty open set of smooth incompressible flows $u: [0,T] o Γ(T M)$ can be approximated in the smooth topology by (the horizontal component of) a solution to these equations. We view this as further evidence towards the "universal" nature of Euler flows.

연구 동기 및 목표

• 컴 pact 리만다이언 군에서 비압축성 올러 방정식이 임의의 스무스 비압축성 흐름을 해로 근사화할 수 있도록 허용함으로써, 보편성의 형태를 갖는지 조사한다.
• 기저 다각형이 토러스와의 와핑 곱을 통해 확장될 때 올러 흐름의 구조적 탄력성(비강성성)을 분석한다.
• 올러 흐름이 임의의 유한차원 역학을 시뮬레이션할 수 있다는 추측에 대한 증거를 제공하며, 이는 3차원에서의 유한시간 폭발 가능성을 시사한다.
• 수정된 다각형 위에서 주어진 임의의 스무스 비압축성 벡터장에 대해 스무스 올러 방정식 해를 구성하여 그 흐름에 근사시킬 수 있음을 확립한다.

제안 방법

• 기저 다각형 $M$을 토러스 $\mathbb{T}^k$와의 와핑 곱을 취해 확장함으로써, 해 공간 내 추가 자유도를 부여한다.
• 펜로즈의 추상 색인 표기법과 국소 좌표를 사용하여 올러 방정식을 코바리언트 형태로 표현한다: $\partial_t u^k + u^j \nabla_j u^k = -\nabla^k p$ 및 $\nabla_k u^k = 0$.
• 소볼레프 노름 $E_s^{(N)}$ 를 사용하여 근사 해 $v^{(N)}$ 의 고차 도함수를 제어하기 위해 에너지 추정을 적용한다.
• 기본 정리와 파아 다 브루의 공식을 사용하여 $H^{(N)}(t,x,B^{(N)})$ 와 같은 복합 함수의 도함수를 극복한다.
• 타원적 정규성과 헬더 부등식을 적용하여, 수동 방정식의 발산으로부터 유도된 파oisson 방정식을 통해 압력 관련 항 $q^{(N)}$ 을 제어한다.
• 연속성 추론을 적용하여 에너지 $E_s^{(N)}(t)$ 가 시간에 따라 균일하게 작게 유지됨을 보이며, 이는 근사 해가 목표 흐름으로 스무스 수렴함을 의미한다.

실험 결과

연구 질문

• RQ1 컴 pact 다각형 위의 임의의 스무스 비압축성 벡터장은 토러스로 다각형을 확장한 후 올러 비압축성 방정식의 해로 근사화될 수 있는가?
• RQ2 올러 방정식 시스템의 어떤 구조적 성질이 이러한 근사화를 가능하게 하는가? 그리고 와핑 곱 구조는 이러한 탄력성을 어떻게 가능하게 하는가?
• RQ3 확장된 다각형에서 올러 흐름의 비강성성은 올러 역학이 유한차원 시스템에서 보편적임을 지지하는가?
• RQ4 기저 다각형의 기하학적 수정을 통해 올러 방정식이 얼마나 넓은 범위의 스무스 흐름을 시뮬레이션할 수 있는가?
• RQ5 에너지 방법과 소볼레프 추정은 이 비강성 설정에서 근사 해의 스무스 해법성과 수렴성을 증명하는 데 사용될 수 있는가?

주요 결과

• 컴 pact 리만다이언 군에서 스무스 비압축성 흐름의 비어 있지 않은 열린 집합은 다각형을 토러스로 확장한 후 올러 비압축성 방정식의 해의 수평 성분으로 스무스하게 근사화될 수 있다.
• 근사 해의 에너지 $E_s^{(N)}(t)$ 는 시간에 따라 균일하게 유계이면서 $N \to \infty$ 일 때 0으로 수렴함을 보이며, 이는 목표 흐름으로의 스무스 수렴을 의미한다.
• 근사 해는 시간 $T$ 까지 균일하게 유지되며, 초기값 문제의 해는 모든 $t \in [0,T]$ 에서 스무스하고 유일하게 존재한다.
• 비강성 결과는 에너지 추정에 연속성 추론을 적용하여 도출되며, 이는 근사 오차가 시간이 지남에 따라 증가하지 않음을 보여준다.
• 핵심 기술 단계는 소볼레프 포함과 헬더 부등식을 사용하여 에너지 부등식 내 비선형 항을 제어하는 것으로, 이는 $O((E_s^{(N)})^{3/2})$ 와 $O((E_s^{(N)})^{s/2} E_s^{(N)})$ 의 순서로 유계가 된다.
• 결과는 비압축성 올러 방정식이 보편적임이라는 보다 광범위한 추측을 지지하며, 이는 컴 pact 다각형에서 임의의 유한차원 역학을 코딩할 수 있음을 시사한다.