The exponential map of the group of area-preserving diffeomorphisms of a surface with boundary
compact Riemannian manifoldexponential mapFredholm mapincompressible Euler equationsJacobi field solution operatorvolumorphism
Blow-up in context of PDEs (35B44) Euler equations (35Q31) Free boundary problems for PDEs (35R35) Hamiltonian systems on groups of diffeomorphisms and on manifolds of mappings and metrics (37K65) Global Riemannian geometry, including pinching (53C20) Groups of diffeomorphisms and homeomorphisms as manifolds (58D05)
The authors consider the compact Riemannian manifold \(M=S^{1}\times [ 0,L]\) with boundary \(\partial M=S^{1}\times \{0\}\cup S^{1}\times \{L\}\) and the volumorphism \(\mathcal{D}_{\mu }^{s}(M)\) of diffeomorphisms of \(M\) which preserve the Riemannian volume \(\mu \) and are of Sobolev class \(H^{s}\). They define the exponential map of the \(L^{2}\) metric given by \(\left\langle u,v\right\rangle _{L^{2}}=\int_{M}\left\langle u(x),v(x)\right\rangle d\mu (x)\) on \(\mathcal{D}_{\mu }^{s}(M)\) from \(T_{e}\mathcal{D}_{\mu }^{s}\) to \( \mathcal{D}_{\mu }^{s}\) through \(\exp _{e}(tv_{0})=\eta (t)\), where \(\eta \) is the unique geodesic issuing from the identity with initial velocity \( v_{0}\in T_{e}\mathcal{D}_{\mu }^{s}\). This is linked to the resolution of the incompressible Euler equations \(\partial _{t}v+\nabla _{\nu } v=- \operatorname{grad} p\), \(\operatorname{div}\;v=0\), \(\left\langle v,\nu \right\rangle =0\) on \(\partial M\), the solution starting from \(v_{0}\) at \(t=0\). The main result of the paper proves that the exponential map is a nonlinear Fredholm map of index 0. The authors first recall the definition of the Jacobi field solution operator \(\phi _{t}w_{0}=d\exp _{e}(tv_{0})tw_{0}\), that of the group adjoint operator \(Ad_{\eta }=dR_{\eta ^{-1}}dL_{\eta }\) where \(R_{\eta }\) and \(L_{\eta }\) are the right and left translations by \(\eta \). They introduce the operators \(\Omega _{t}=\int_{0}^{t}Ad_{\eta (\tau )^{-1}}Ad_{\eta (\tau )^{-1}}^{\ast }d\tau \) and \(\Gamma _{t}=\int_{0}^{t}Ad_{\eta (\tau )^{-1}}K_{v(\tau )}dR_{\eta (\tau )^{-1}}\phi (\tau )d\tau \) where \(K_{v}\) is a compact operator on \(T_{e} \mathcal{D}_{\mu }^{s}\) associated to the solution of the incompressible Euler equations. The authors prove that \(\phi _{t}\) is a family of bounded operators from \(T_{e}\mathcal{D}_{\mu }^{s}\) to \(T_{\eta (t)}\mathcal{D} _{\mu }^{s}\) and they recall properties of Fredholm mappings. The key tools of the proof of the main result are estimates on the invertible part of \( d\exp _{e}\), starting with a coercivity property of \(\Omega _{t}\).
- Surface groups of diffeomorphisms of the interval
- Singularities of the exponential map on the volume-preserving diffeomorphism group
- Metric properties of the group of area preserving diffeomorphisms
- Area-preserving diffeomorphisms of Riemann surfaces
- Differentiable conjugacy for groups of area-preserving circle diffeomorphisms
- On the group of almost periodic diffeomorphisms and its exponential map
- Area-preserving surface diffeomorphisms
- Riemannian exponential maps of the diffeomorphism group of \(\mathbb T^2\)
- The \(L^p\)-diameter of the group of area-preserving diffeomorphisms of \(S^2\)
- Area preserving group actions on surfaces
- An Infinite Dimensional Version of Sard's Theorem
- Conjugate points in $\mathcal {D}_{\mu }(T^2)$
- Conjugate points on the symplectomorphism group
- Fredholm properties of Riemannian exponential maps on diffeomorphism groups
- Generalized fluid flows, their approximation and applications
- Groups of diffeomorphisms and the motion of an incompressible fluid
- Hilbert Manifolds Without Epiconjugate Points
- scientific article; zbMATH DE number 597572 (Why is no real title available?)
- scientific article; zbMATH DE number 3239038 (Why is no real title available?)
- Microglobal analysis of the Euler equations
- On the volumorphism group, the first conjugate point is always the hardest
- Singularities of the exponential map on the volume-preserving diffeomorphism group
- Small scale creation for solutions of the incompressible two-dimensional Euler equation
- The coadjoint operator, conjugate points, and the stability of ideal fluids
- The geometry of axisymmetric ideal fluid flows with swirl
- The WKB method for conjugate points in the volumorphism group
- Topological methods in hydrodynamics
- Toward the finite-time blowup of the 3D axisymmetric Euler equations: a numerical investigation
- Riemannian exponential maps of the diffeomorphism group of \(\mathbb T^2\)
- Existence of a conjugate point in the incompressible Euler flow on an ellipsoid
- Conjugate points in \(\mathcal{D}_\mu^s(S^2)\)
- Singularities of the exponential map on the volume-preserving diffeomorphism group
- Fredholm properties of the L^2 exponential map on the symplectomorphism group
- Fredholm properties of Riemannian exponential maps on diffeomorphism groups
- A conjecture concerning the exponential map on D μ ( M )
- Microglobal analysis of the Euler equations
This page was built for publication: The exponential map of the group of area-preserving diffeomorphisms of a surface with boundary
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1661663)
