The geometry of axisymmetric ideal fluid flows with swirl (Q1707590)

The authors consider a Riemannian manifold \((M,g)\) of dimension at least two with Riemannian volume form \(\mu \) and they especially take \( M=D^{2}\times S^{1}\) where \(D^{2}\) is the unit disk in \(\mathbb{R}^{2}\) and \( S^{1}\) is the unit circle. They introduce the collection \(\mathcal{D}_{\mu }(M)\) of smooth volume-preserving diffeomorphisms (volumorphisms) on \(M\) and the group \(\mathcal{D}_{\mu ,E}(M)\) of volumorphisms which commute with the flow of a Killing field \(E\). This is linked to axisymmetric fluid flows with swirl. The purpose of the paper is to derive properties of the sectional curvature defined as \(\overline{K}(X,Y)=\int_{M}\left\langle R(Y,X)X, \overline{Y}\right\rangle \mu \) where \(R\) is the curvature tensor defined as \(R(Y,X)Y=P(\nabla _{Y}P(\nabla _{X}X)-\nabla _{X}P(\nabla _{Y}X)+\nabla _{ \left[ X,Y\right] }X)\), \(P(X)\) being the projection onto the divergence-free part of the smooth vector field \(X\). The main tool consists introducing the Fourier series of a smooth vector field \(Y\) tangent to \(\mathcal{D}_{\mu ,E}(M)\) at the identity \(Y(r,z)=-\frac{g_{z}(r,z)}{r}\partial _{r}+\frac{ g_{r}(r,z)}{r}\partial _{z}+f(r,z)\partial _{\theta }\) with \(f(0,z)=g(0,z)=0\) and \(g(1,z)\) constant in z: \(Y(r,z)=\sum_{n\in \mathbb{Z}}Y_{n}(r,z)=\sum_{n \in \mathbb{Z}}e^{inz}\left[ -\frac{in}{r}g_{n}(r)\partial _{r}+\frac{ g_{n}^{\prime }(r)}{r}\partial _{z}+f_{n}(r)\partial _{\theta }\right] \). The main result of the paper computes \(\overline{K}(X,Y_{n})\) when \( X=u(r)\partial _{\theta }\) and proves that the curvature is positive. The authors then derive a stability property of inviscid and incompressible fluid flows on \(M\). They finally prove the existence of conjugate points on \( \mathcal{D}_{\mu ,E}(M)\) along the geodesic defined by \(X\) considering a Jacobi equation and a Bessel-type Sturm-Liouville problem.