Finite time blowup for Lagrangian modifications of the three-dimensional Euler equation
Tao · math.AP · 2016-11-14 · 原文
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 &= δ\tilde η^{-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 \tilde η^{-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 \tilde η^{-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
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
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 &= δ\tilde η^{-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 \tilde η^{-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 \tilde η^{-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.
2. 领域脉络
本文类目：math.AP，属于其所在研究脉络的最新进展。
3. 机制拆解
This indicates a barrier to establishing global regularity for the three
4. 证据与数字
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.
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。