[论文解读] On the universality of the incompressible Euler equation on compact manifolds

Terence Tao|arXiv (Cornell University)|Jul 25, 2017

Navier-Stokes equation solutions参考文献 7被引用 3

一句话总结

本文建立了对形如 $\partial_t y = B(y,y)$ 的二次常微分方程（ODE），其中 $B$ 为对称双线性映射，在紧致黎曼流形上可线性嵌入不可压缩欧拉方程的完整刻画。关键结果是：此类嵌入成立当且仅当 $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。

提出的方法

• 利用霍奇理论将非线性项 $-\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 动力学与流体方程。
• 证明所得到的向量场 $U(y)$ 满足不可压缩性条件 $\mathrm{div}_g U(y) = 0$，这是由于其在哈尔测度下的不变性。
• 通过利用 $S(y)$ 的斜自伴性与取消条件，验证欧拉方程成立，即恒等式 $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$ 等价于存在线性映射 $S: \mathbb{R}^n \to \mathfrak{so}(n)$，使得对所有 $y \in \mathbb{R}^n$ 都有 $B(y,y) = S(y)(y)$，从而为二次型提供了几何实现。
• 该嵌入在流形 $M = SO(n)$ 上显式构造，其中速度场 $U(y)$ 是由 $S(y)$ 生成的右不变向量场，确保了不可压缩性与正确动力学。
• 压强场 $P(y)$ 通过霍奇投影以 $u$ 的二次函数形式构造，所得到的系统在 ODE 解存在的整个时间区间内精确满足欧拉方程。
• 该构造表明，紧致流形上的欧拉方程可模拟任意具有能量守恒的有限维二次 ODE，包括准周期与状态间过渡的动力学。
• 该方法通过利用李群 $SO(n)$ 的对称性，避免了超定性问题，仅用 $n r$ 个独立函数即实现了对 $n^2 r$ 个方程的非平凡解。