I have just uploaded to the arXiv my paper “On the universality of the incompressible Euler equation on compact manifolds, II. Non-rigidity of Euler flows“, submitted to Pure and Applied Functional Analysis. This paper continues my attempts to establish “universality” properties of the Euler equations on Riemannian manifolds ${(M,g)}$, as I conjecture that the freedom to set the metric ${g}$ ought to allow one to “program” such Euler flows to exhibit a wide range of behaviour, and in particular to achieve finite time blowup (if the dimension is sufficiently large, at least).

In coordinates, the Euler equations read

$\displaystyle \partial_t u^k + u^j \nabla_j u^k = - \nabla^k p \ \ \ \ \ (1)$

$\displaystyle \nabla_k u^k = 0$

where ${p: [0,T] \rightarrow C^\infty(M)}$ is the pressure field and ${u: [0,T] \rightarrow \Gamma(TM)}$ is the velocity field, and ${\nabla}$ denotes the Levi-Civita connection with the usual Penrose abstract index notation conventions; we restrict attention here to the case where ${u,p}$ are smooth and ${M}$ is compact, smooth, orientable, connected, and without boundary. Let’s call ${u}$ an Euler flow on ${M}$ (for the time interval ${[0,T]}$) if it solves the above system of equations for some pressure ${p}$, and an incompressible flow if it just obeys the divergence-free relation ${\nabla_k u^k=0}$. Thus every Euler flow is an incompressible flow, but the converse is certainly not true; for instance the various conservation laws of the Euler equation, such as conservation of energy, will already block most incompressible flows from being an Euler flow, or even being approximated in a reasonably strong topology by such Euler flows.

However, one can ask if an incompressible flow can be extended to an Euler flow by adding some additional dimensions to ${M}$. In my paper, I formalise this by considering warped products ${\tilde M}$ of ${M}$ which (as a smooth manifold) are products ${\tilde M = M \times ({\bf R}/{\bf Z})^m}$ of ${M}$ with a torus, with a metric ${\tilde g}$ given by

$\displaystyle d \tilde g^2 = g_{ij}(x) dx^i dx^j + \sum_{s=1}^m \tilde g_{ss}(x) (d\theta^s)^2$

for ${(x,\theta) \in \tilde M}$, where ${\theta^1,\dots,\theta^m}$ are the coordinates of the torus ${({\bf R}/{\bf Z})^m}$, and ${\tilde g_{ss}: M \rightarrow {\bf R}^+}$ are smooth positive coefficients for ${s=1,\dots,m}$; in order to preserve the incompressibility condition, we also require the volume preservation property

$\displaystyle \prod_{s=1}^m \tilde g_{ss}(x) = 1 \ \ \ \ \ (2)$

though in practice we can quickly dispose of this condition by adding one further “dummy” dimension to the torus ${({\bf R}/{\bf Z})^m}$. We say that an incompressible flow ${u}$ is extendible to an Euler flow if there exists a warped product ${\tilde M}$ extending ${M}$, and an Euler flow ${\tilde u}$ on ${\tilde M}$ of the form

$\displaystyle \tilde u(t,(x,\theta)) = u^i(t,x) \frac{d}{dx^i} + \sum_{s=1}^m \tilde u^s(t,x) \frac{d}{d\theta^s}$

for some “swirl” fields ${\tilde u^s: [0,T] \times M \rightarrow {\bf R}}$. The situation here is motivated by the familiar situation of studying axisymmetric Euler flows ${\tilde u}$ on ${{\bf R}^3}$, which in cylindrical coordinates take the form

$\displaystyle \tilde u(t,(r,z,\theta)) = u^r(t,r,z) \frac{d}{dr} + u^z(t,r,z) \frac{d}{dz} + \tilde u^\theta(t,r,z) \frac{d}{d\theta}.$

The base component

$\displaystyle u^r(t,r,z) \frac{d}{dr} + u^z(t,r,z) \frac{d}{dz}$

of this flow is then a flow on the two-dimensional ${r,z}$ plane which is not quite incompressible (due to the failure of the volume preservation condition (2) in this case) but still satisfies a system of equations (coupled with a passive scalar field ${\rho}$ that is basically the square of the swirl ${\tilde u^\rho}$) that is reminiscent of the Boussinesq equations.

On a fixed ${d}$-dimensional manifold ${(M,g)}$, let ${{\mathcal F}}$ denote the space of incompressible flows ${u: [0,T] \rightarrow \Gamma(TM)}$, equipped with the smooth topology (in spacetime), and let ${{\mathcal E} \subset {\mathcal F}}$ denote the space of such flows that are extendible to Euler flows. Our main theorem is

Theorem 1

• (i) (Generic inextendibility) Assume ${d \geq 3}$. Then ${{\mathcal E}}$ is of the first category in ${{\mathcal F}}$ (the countable union of nowhere dense sets in ${{\mathcal F}}$).
• (ii) (Non-rigidity) Assume ${M = ({\bf R}/{\bf Z})^d}$ (with an arbitrary metric ${g}$). Then ${{\mathcal E}}$ is somewhere dense in ${{\mathcal F}}$ (that is, the closure of ${{\mathcal E}}$ has non-empty interior).

More informally, starting with an incompressible flow ${u}$, one usually cannot extend it to an Euler flow just by extending the manifold, warping the metric, and adding swirl coefficients, even if one is allowed to select the dimension of the extension, as well as the metric and coefficients, arbitrarily. However, many such flows can be perturbed to be extendible in such a manner (though different perturbations will require different extensions, in particular the dimension of the extension will not be fixed). Among other things, this means that conservation laws such as energy (or momentum, helicity, or circulation) no longer present an obstruction when one is allowed to perform an extension (basically this is because the swirl components of the extension can exchange energy (or momentum, etc.) with the base components in a basically arbitrary fashion.

These results fall short of my hopes to use the ability to extend the manifold to create universal behaviour in Euler flows, because of the fact that each flow requires a different extension in order to achieve the desired dynamics. Still it does seem to provide a little bit of support to the idea that high-dimensional Euler flows are quite “flexible” in their behaviour, though not completely so due to the generic inextendibility phenomenon. This flexibility reminds me a little bit of the flexibility of weak solutions to equations such as the Euler equations provided by the “${h}$-principle” of Gromov and its variants (as discussed in these recent notes), although in this case the flexibility comes from adding additional dimensions, rather than by repeatedly adding high-frequency corrections to the solution.

The proof of part (i) of the theorem basically proceeds by a dimension counting argument (similar to that in the proof of Proposition 9 of these recent lecture notes of mine). Heuristically, the point is that an arbitrary incompressible flow ${u}$ is essentially determined by ${d-1}$ independent functions of space and time, whereas the warping factors ${\tilde g_{ss}}$ are functions of space only, the pressure field is one function of space and time, and the swirl fields ${u^s}$ are technically functions of both space and time, but have the same number of degrees of freedom as a function just of space, because they solve an evolution equation. When ${d>2}$, this means that there are fewer unknown functions of space and time than prescribed functions of space and time, which is the source of the generic inextendibility. This simple argument breaks down when ${d=2}$, but we do not know whether the claim is actually false in this case.

The proof of part (ii) proceeds by direct calculation of the effect of the warping factors and swirl velocities, which effectively create a forcing term (of Boussinesq type) in the first equation of (1) that is a combination of functions of the Eulerian spatial coordinates ${x^i}$ (coming from the warping factors) and the Lagrangian spatial coordinates ${a^\beta}$ (which arise from the swirl velocities, which are passively transported by the flow). In a non-empty open subset of ${{\mathcal F}}$, the combination of these coordinates becomes a non-degenerate set of coordinates for spacetime, and one can then use the Stone-Weierstrass theorem to conclude. The requirement that ${M}$ be topologically a torus is a technical hypothesis in order to avoid topological obstructions such as the hairy ball theorem, but it may be that the hypothesis can be dropped (and it may in fact be true, in the ${M = ({\bf R}/{\bf Z})^d}$ case at least, that ${{\mathcal E}}$ is dense in all of ${{\mathcal F}}$, not just in a non-empty open subset).