[논문 리뷰] On the universality of the incompressible Euler equation on compact manifolds

Terence Tao|arXiv (Cornell University)|2017. 07. 25.

Navier-Stokes equation solutions참고 문헌 7인용 수 3

한 줄 요약

이 논문은 대칭 이차형 비선형 연립미분방정식 $\partial_t y = B(y,y)$의 형태를 가진 이차 ODE가 컴acts한 리만다이내어 맨포이드 위의 비압축성 오일러 방정식에 선형적으로 통합될 수 있는 조건을 완전히 규명한다. 핵심 결과는 $B$가 어떤 정부호 내적에 대해 $\langle B(y,y), y \rangle = 0$ 를 만족할 때에만 이러한 통합이 가능하다는 것이며, 이 조건은 에너지 보존을 보장하고, 준주기적 또는 안정 상태 간 전이 해를 포함한 복잡한 유체역학적 동역학을 구성할 수 있게 한다.

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*} We show that any quadratic ODE $\partial_t y = B(y,y)$, where $B : {\bf R}^n imes {\bf R}^n o {\bf R}^n$ is a symmetric bilinear map, can be linearly embedded into the incompressible Euler equations for some manifold $M$ if and only if $B$ obeys the cancellation condition $\langle B(y,y), y angle = 0$ for some positive definite inner product $\langle, angle$ on $ {\bf R}^n$. This allows one to construct explicit solutions to the Euler equations with various dynamical features, such as quasiperiodic solutions, or solutions that transition from one steady state to another, and provides evidence for the "Turing universality" of such Euler flows.

연구 동기 및 목표

• 유한 차원의 이차 ODE가 컴팩트 리만다이내어 맨포이드 위의 비압축성 오일러 방정식에 통합될 수 있는 필요 및 충분 조건을 규명하는 것.
• 에너지 보존 조건을 만족하는 모든 이러한 ODE가 오일러 흐름의 유한 차원 불변 부분공간으로 실현될 수 있음을 보여주는, 비압축성 오일러 방정식의 보편성 결과를 수립하는 것.
• 기하학적 및 리 이론적 방법을 활용하여, 준주기적 또는 안정 상태 간 전이와 같은 복잡한 동역학적 특성을 지닌 오일러 방정식의 명시적 해를 구성하는 것.
• 오일러 방정식이 에너지 보존을 갖는 이차 비선형성을 지닌 임의의 유한 차원 ODE를 시뮬레이션할 수 있음을 보여주어, 이는 '튜링 보편성'의 의미에서 오일러 흐름이 '튜링 보편적'임을 입증하는 것.

제안 방법

• Hodge 이론을 활용하여 비선형 항 $-\frac{1}{2}(\nabla_u u_2 + \nabla_u u_1)$를 수렴하지 않는 벡터장 위로 투영함으로써 대칭 이차형 연산자 $B_E(u_1, u_2)$를 도출하는 것.
• 이차형 연산자 $B$에서 유도된 반대칭 자기수반 사상 $S(y) \in \mathfrak{so}(n)$를 이용해 특수직교군 $SO(n)$ 위에서 오른쪽 불변 벡터장 $U(y)$를 구성하는 것.
• 다양체 $SO(n)$ 위에서 스칼라 함수 $F(y,z)(Q) = \langle y, Qz \rangle_{\mathbb{R}^n}$를 정의하여 ODE의 동역학과 유체 방정식 간의 관계를 설정하는 것.
• Haar 측도에 대한 불변성에 기반해, 결과적으로 유도된 벡터장 $U(y)$가 수렴하지 않음을 보장하는 비압축성 조건 $\mathrm{div}_g U(y) = 0$ 를 만족함을 증명하는 것.
• 반대칭 자기수반성과 취소 조건을 이용해 항등식 $U(B(y,y)) + \nabla_{U(y)} U(y) = -\mathrm{grad}_g P(y)$ 를 통해 오일러 방정식이 성립함을 검증하는 것.
• 특히 $SO(n)$의 군 구조를 통해 고도로 대칭된 구조를 활용하여, $n^2 r$개의 과다정의된 방정식을 $n r$개의 독립 함수로 축소하는 것.

실험 결과

연구 질문

• RQ1 대칭 이차 ODE $\partial_t y = B(y,y)$ 가 컴팩트 리만다이내어 맨포이드 위의 비압축성 오일러 방정식에 통합될 수 있는 조건은 무엇인가?
• RQ2 취소 조건 $\langle B(y,y), y \rangle = 0$ 는 이러한 통합이 존재하기 위해 필수적이며 충분한가?
• RQ3 컴팩트 다양체 위의 오일러 방정식은 에너지 보존을 갖는 이차 비선형성을 지닌 임의의 유한 차원 동역학계를 시뮬레이션할 수 있는가?
• RQ4 이러한 통합의 존재는 오일러 흐름에 대해 어떤 형태의 '튜링 보편성'을 암시하는가?
• RQ5 주어진 ODE를 오일러 프레임워크 내에서 실현하기 위해 다양체, 벡터장, 압력 함수를 어떻게 명시적으로 구성할 수 있는가?

주요 결과

• 대칭 이차형 연산자 $B: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}^n$ 는, $\mathbb{R}^n$ 위에 정부호 내적이 존재하여 모든 $y \in \mathbb{R}^n$ 에 대해 $\langle B(y,y), y \rangle = 0$ 를 만족할 때에만 어떤 컴팩트 리만다이내어 맨포이드 위의 비압축성 오일러 방정식에 통합될 수 있다.
• 취소 조건 $\langle B(y,y), y \rangle = 0$ 는 모든 $y \in \mathbb{R}^n$ 에 대해 $B(y,y) = S(y)(y)$ 를 만족하는 선형 사상 $S: \mathbb{R}^n \to \mathfrak{so}(n)$ 의 존재성과 동치이며, 이는 이차형의 기하학적 실현을 제공한다.
• 통합은 다양체 $M = SO(n)$ 위에서 명시적으로 구성되며, 여기서 속도장 $U(y)$ 는 $S(y)$ 에 의해 생성된 오른쪽 불변 벡터장이 되어 비압축성과 정확한 동역학을 보장한다.
• 압력장 $P(y)$ 는 Hodge 투영을 통해 $u$ 에 대한 이차 함수로 구성되며, 결과적으로 오일러 방정식이 ODE 해의 존재 시간 간격 내에서 정확히 만족된다.
• 이 구성은 컴팩트 다양체 위의 오일러 방정식이 에너지 보존을 갖는 모든 유한 차원 이차 ODE를 시뮬레이션할 수 있음을 보여주며, 준주기적 또는 전이 동역학을 포함한 복잡한 동역학도 포함한다.
• 이 방법은 $SO(n)$ 의 대칭성을 활용하여 과다정의된 $n^2 r$ 개의 방정식 시스템을 $n r$ 개의 독립 함수로 축소함으로써 과다정의 문제를 회피한다.