BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Stephen C. Preston

Stephen C. Preston appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DGmath.AP

Catalog footprint

What is connected

18works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

18 published item(s)

preprint2022arXiv

Conjugate point criteria on the area-preserving diffeomorphism group

This paper answers some questions about conjugate points along the geodesics corresponding to steady 2D Euler flows, posed by a paper of Drivas-Misiolek-Shi-Yoneda. We present a new sufficient criterion for the existence of conjugate points, which improves on the criterion of Misiolek. It applies in any rotational cell of a steady 2D Euler flow, and in case of rotational symmetry it captures all known conjugate points. We give a general construction of the surfaces that admit a steady fluid with given area form, velocity profile, and vorticity profile, and from this we show how to detect conjugate points in a single rotational cell of a steady flow. When the velocity profile has a local extremum, the criterion becomes particularly simple. Several examples are provided, and in an appendix we use the Misiołek criterion to give some new examples of conjugate points along Kolmogorov flows on the torus.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Solar models and McKean's breakdown theorem for the $μ$CH and $μ$DP equations

We study the breakdown for $μ$CH and $μ$DP equations on the circle, given by $$m_t + u m_θ + λu_θ m = 0,$$ for $m = μ(u) - u_{θθ}$, where $μ$ is the mean and $λ=2$ or $λ=3$ respectively. It is already known that if the initial momentum $m_0$ never changes sign, then smooth solutions exist globally. We prove the converse: if the initial momentum changes sign, then $C^2$ solutions $u$ must break down in finite time. The technique is similar to that of McKean, who proved the same for the Camassa-Holm equation, but we introduce a new perspective involving a change of variables to treat the equation as a family of planar systems with central force for which the conserved angular momentum is precisely the conserved vorticity. We also demonstrate how this perspective can apply to give some insights for other PDEs of continuum mechanics, such as the Okamoto-Sakajo-Wunsch equation (and in particular the De Gregorio equation).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A diffeomorphism-invariant metric on the space of vector-valued one-forms

In this article we introduce a diffeomorphism-invariant Riemannian metric on the space of vector valued one-forms. The particular choice of metric is motivated by potential future applications in the field of functional data and shape analysis and by connections to the Ebin metric on the space of all Riemannian metrics. In the present work we calculate the geodesic equations and obtain an explicit formula for the solutions to the corresponding initial value problem. Using this we show that it is a geodesically and metrically incomplete space and study the existence of totally geodesic subspaces. Furthermore, we calculate the sectional curvature and observe that, depending on the dimension of the base manifold and the target space, it either has a semidefinite sign or admits both signs.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Global Existence and Blowup for Geodesics in Universal Teichmüller Spaces

In this paper we prove that all initially-smooth solutions of the Euler-Weil-Petersson equation, which describes geodesics on the universal Teichmüller space under the Weil-Petersson metric, will remain smooth for all time. This extends the work of Escher-Kolev for strong Riemannian metrics to the borderline case of $H^{3/2}$ metrics. In addition we show that all initially-smooth solutions of the Wunsch equation, which describes geodesics on the universal Teichmüller curve under the Velling-Kirillov metric, must blow up in finite time due to wave breaking, extending work of Castro-Córdoba and Bauer-Kolev-Preston. Finally we illustrate these phenomena in terms of conformal maps of the unit disc, using the conformal welding representation of circle diffeomorphisms which is natural in Teichmüller theory.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Local well-posedness of the Camassa-Holm equation on the real line

In this paper we prove the local well-posedness of the Camassa-Holm equation on the real line in the space of continuously differentiable diffeomorphisms with an appropriate decaying condition. This work was motivated by G. Misiolek who proved the same result for the Camassa-Holm equation on the periodic domain. We use the Lagrangian approach and rewrite the equation as an ODE on the Banach space. Then by using the standard ODE technique, we prove existence and uniqueness. Finally, we show the continuous depdendence of the solution on the initial data by using the topological group property of the diffeomorphism group.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Geometry of the contactomorphism group

In this paper we examine the Riemannian geometry of the group of contactomorphisms of a compact contact manifold. We compute the sectional curvature of $\mathcal{D}_θ(M)$ in the sections containing the Reeb field and show that it is non-negative. We also solve explicitly the Jacobi equation along the geodesic corresponding to the flow of the Reeb field and determine the conjugate points. Finally, we show that the Riemannian exponential map is a non-linear Fredholm map of index zero.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lagrangian aspects of the axisymmetric Euler equation

In this paper we are interested in geometric aspects of blowup in the axisymmetric 3D Euler equations with swirl on a cylinder. Writing the equations in Lagrangian form for the flow derivative along either the axis or the boundary and imposing oddness on the vertical component of the flow, we extend some blowup criteria due to Chae, Constantin, and Wu related to assumptions on the sign of the pressure Hessian. In addition we give a geometric interpretation of the results, both in terms of the local geometry along trajectories and in terms of the Riemannian geometry of the volume-preserving diffeomorphism group.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

One-parameter solutions of the Euler-Arnold equation on the contactomorphism group

We study solutions of the equation $$ g_t-g_{tyy} + 4g^2 - 4gg_{yy} = y gg_{yyy}-yg_yg_{yy}, \qquad y\in\mathbb{R},$$ which arises by considering solutions of the Euler-Arnold equation on a contactomorphism group when the stream function is of the form $f(t,x,y,z) = zg(t,y)$. The equation is analogous to both the Camassa-Holm equation and the Proudman-Johnson equation. We write the equation as an ODE in a Banach space to establish local existence, and we describe conditions leading to global existence and conditions leading to blowup in finite time.

0 citations0 reviewsNo code linkedOpen access
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 $m_t + u(m) + (n+2) mE(f) = 0$, in terms of the Reeb field $E$, a stream function $f$, the contact vector field $u$ defined by $f$, and the momentum $m = f - Δf$. Here the equation is considered on a compact manifold $M$ of dimension $2n+1$. When $n=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 $H^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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Geometry of Axisymmetric Ideal Fluid Flows with Swirl

The sectional curvature of the volume preserving diffeomorphism group of a Riemannian manifold $M$ can give information about the stability of inviscid, incompressible fluid flows on $M$. We demonstrate that the submanifold of the volumorphism group of the solid flat torus generated by axisymmetric fluid flows with swirl, denoted by $\mathcal{D}_{μ,E}(M)$, has positive sectional curvature in every section containing the field $X = u(r)\partial_θ$ iff $\partial_r(ru^2)>0$. This is in sharp contrast to the situation on $\mathcal{D}_μ(M)$, where only Killing fields $X$ have nonnegative sectional curvature in all sections containing it. We also show that this criterion guarantees the existence of conjugate points on $\mathcal{D}_{μ,E}(M)$ along the geodesic defined by $X$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Riemannian geometry on the quantomorphism group

We are interested in the geometry of the group $\mathcal{D}_q(M)$ of diffeomorphisms preserving a contact form $θ$ on a manifold $M$. We define a Riemannian metric on $\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 $S^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 $E$ is the Reeb field of $θ$ and $μ$ is the volume form, assumed compatible in the sense that $\text{div} E=0$, we show that $\mathcal{D}_q(M)$ is a smooth submanifold of $\mathcal{D}_{E,μ}(M)$, the space of diffeomorphisms preserving the vector field $E$ and the volume form $μ$, in the sense of $H^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^{\infty}$ objects in the Sobolev topology.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The geometry of barotropic flow

In this article we write the equations of barotropic compressible fluid mechanics as a geodesic equation on an infinite-dimensional manifold. The equations are given by \begin{align} u_t + \nabla_uu = -\frac{1}ρ \grad p \\ ρ_t + \diver{(ρu)} = 0, \end{align} where the fluid fills up a compact manifold $M$, $u$ is a time-dependent velocity field on $M$, and $ρ$ is the density, a positive function on $M$. The barotropic assumption is that the pressure $p$ is some given function of the density, although our methods also extend to certain more general isentropic flows. Our infinite-dimensional manifold is the product $\mathcal{D}(M)\times C^{\infty}(M,\mathbb{R})$. This is a group using the semidirect product (which is sometimes incorporated in other treatments), but the Riemannian metric we use is neither left- nor right-invariant. Hence our geodesic equation is \emph{not} an Euler-Arnold equation. We compute the sectional curvature and show that at least when $M=S^1$, the curvature is always nonnegative. We also establish some results on the Lagrangian linear stability of solutions of this system, for certain nonsteady solutions in one dimension and steady solutions in two dimensions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Curvatures of Sobolev metrics on diffeomorphism groups

Many conservative partial differential equations correspond to geodesic equations on groups of diffeomorphisms. Stability of their solutions can be studied by examining sectional curvature of these groups: negative curvature in all sections implies exponential growth of perturbations and hence suggests instability, while positive curvature suggests stability. In the first part of the paper we survey what we currently know about the curvature-stability relation in this context and provide detailed calculations for several equations of continuum mechanics associated to Sobolev $H^0$ and $H^1$ energies. In the second part we prove that in most cases (with some notable exceptions) the sectional curvature assumes both signs.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Geometry of diffeomorphism groups, complete integrability and optimal transport

We study the geometry of the space of densities $\VolM$, which is the quotient space $\Diff(M)/\Diff_μ(M)$ of the diffeomorphism group of a compact manifold $M$ by the subgroup of volume-preserving diffemorphisms, endowed with a right-invariant homogeneous Sobolev $\dot{H}^1$-metric. We construct an explicit isometry from this space to (a subset of) an infinite-dimensional sphere and show that the associated Euler-Arnold equation is a completely integrable system in any space dimension. We also prove that its smooth solutions break down in finite time. Furthermore, we show that the $\dot{H}^1$-metric induces the Fisher-Rao (information) metric on the space of probability distributions, and thus its Riemannian distance is the spherical version of Hellinger distance. We compare it to the Wasserstein distance in optimal transport which is induced by an $L^2$-metric on $\Diff(M)$. The $\dot{H}^1$ geometry we introduce in this paper can be seen as an infinite-dimensional version of the geometric theory of statistical manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Geometry of whips and chains

We study the geometry of the inextensible string (the whip) and its discrete approximation (the chain). In the absence of gravity, both motions represent geodesic motions on certain manifolds. We show how the motion of the chain converges to that of a whip, and how the curvature of the chain's configuration space converges to that of the whip's configuration space. Finally we speculate on the analogous approximation of an incompressible fluid by a discrete system.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The geometry of whips

In this paper we study geometric aspects of the space of arcs parametrized by unit speed in the $L^2$ metric. Physically this corresponds to the motion of a whip, and it also arises in studying shape recognition. The geodesic equation is the nonlinear, nonlocal wave equation $η_{tt} = \partial_s(ση_s)$, with $\lvert η_s\rvert\equiv 1$ and $σ$ given by $σ_{ss}- \lvert η_{ss}\rvert^2 σ= -\lvert η_{st}\rvert^2$, with boundary conditions $σ(t,1)=σ(t,-1)=0$ and $η(t,0)=0$. We prove that the space of arcs is a submanifold of the space of all curves, that the orthogonal projection exists but is not smooth, and as a consequence we get a Riemannian exponential map that it continuous and even differentiable but not $C^1$. This is related to the fact that the curvature is positive but unbounded above, so that there are conjugate points at arbitrarily short times along any geodesic. We also compare this metric to an $L^2$ metric introduced by Michor and Mumford for shape recognition on the homogeneous space $\text{Imm}(I, \mathbb{R}^2)/\mathcal{D}(I)$ of immersed curves modulo reparametrizations; we show it has some similar properties (such as nonnegative but unbounded curvature and a nonsmooth exponential map), but that the $L^2$ metric on the arc space yields a genuine Riemannian distance.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The motion of whips and chains

We study the motion of an inextensible string (a whip) fixed at one point in the absence of gravity, satisfying the equations $$ η_{tt} = \partial_s(ση_s), \qquad σ_{ss}-\lvert η_{ss}\rvert^2 = -\lvert η_{st}\rvert^2, \qquad \lvert η_s\rvert^2 \equiv 1 $$ with boundary conditions $η(t,1)=0$ and $σ(t,0)=0$. We prove local existence and uniqueness in the space defined by the weighted Sobolev energy $$ \sum_{\ell=0}^m \int_0^1 s^{\ell} \lvert \partial_s^{\ell}η_t\rvert^2 \, ds + \int_0^1 s^{\ell+1} \lvert \partial_s^{\ell+1}η\rvert^2 \, ds, $$ when $m\ge 3$. In addition we show persistence of smooth solutions as long as the energy for $m=3$ remains bounded. We do this via the method of lines, approximating with a discrete system of coupled pendula (a chain) for which the same estimates hold.

0 citations0 reviewsNo code linkedOpen access