Source author record

David G. Ebin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
5topics
2close collaborators

Published work

4 publications

preprint2014arXiv

Riemannian geometry of the contactomorphism group

We define a right-invariant Riemannian metric on the group of contactomorphisms and study its Euler-Arnold equation. If the metric is associated to the contact form, the Euler-Arnold equation reduces to mt+u(m)+(n+2)mE(f)=0m_t + u(m) + (n+2) mE(f) = 0, in terms of the Reeb field EE, a stream function ff, the contact vector field uu defined by ff, and the momentum m=f−Δfm = f - Δf. Here the equation is considered on a compact manifold MM of dimension 2n+12n+1. When n=0n=0 this reduces to the Camassa-Holm equation, and we emphasize the analogy with the higher-order equation. We use the usual momentum conservation law for Euler-Arnold equations to rewrite the geodesic equation as a smooth first-order equation on the contactomorphism group of Sobolev class HsH^s, and thus obtain local existence in time of solutions which depend smoothly on initial data. In addition we prove a global existence criterion analogous to the Beale-Kato-Majda criterion in fluid mechanics, and show how this criterion is automatically satisfied on the totally geodesic subgroup of quantomorphisms. Finally we briefly discuss singular solutions and conservation laws of the Euler-Arnold equation.

preprint2013arXiv

Riemannian geometry on the quantomorphism group

We are interested in the geometry of the group Dq(M)\mathcal{D}_q(M) of diffeomorphisms preserving a contact form θθ on a manifold MM. We define a Riemannian metric on Dq(M)\mathcal{D}_q(M), compute the corresponding geodesic equation, and show that solutions exist for all time and depend smoothly on initial conditions. In certain special cases (such as on the 3-sphere), the geodesic equation is a simplified version of the quasigeostrophic equation, so we obtain a new geodesic interpretation of this geophysical system. We also show that the genuine quasigeostrophic equation on S2S^2 can be obtained as an Euler-Arnold equation on a one-dimensional central extension of $T_{\id}\mathcal{D}_q(M)$, and that our global existence result extends to this case. If EE is the Reeb field of θθ and μμ is the volume form, assumed compatible in the sense that divE=0\text{div} E=0, we show that Dq(M)\mathcal{D}_q(M) is a smooth submanifold of DE,μ(M)\mathcal{D}_{E,μ}(M), the space of diffeomorphisms preserving the vector field EE and the volume form μμ, in the sense of HsH^s Sobolev completions. The latter manifold is related to symmetric motion of ideal fluids. We further prove that the corresponding geodesic equations and projections are C∞C^{\infty} objects in the Sobolev topology.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.