-
Rolled Gaussian process models for curves on manifolds
Authors:
Simon Preston,
Karthik Bharath,
Pablo Lopez-Custodio,
Alfred Kume
Abstract:
Given a planar curve, imagine rolling a sphere along that curve without slipping or twisting, and by this means tracing out a curve on the sphere. It is well known that such a rolling operation induces a local isometry between the sphere and the plane so that the two curves uniquely determine each other, and moreover, the operation extends to a general class of manifolds in any dimension. We use r…
▽ More
Given a planar curve, imagine rolling a sphere along that curve without slipping or twisting, and by this means tracing out a curve on the sphere. It is well known that such a rolling operation induces a local isometry between the sphere and the plane so that the two curves uniquely determine each other, and moreover, the operation extends to a general class of manifolds in any dimension. We use rolling to construct an analogue of a Gaussian process on a manifold starting from a Euclidean Gaussian process. The resulting model is generative, and is amenable to statistical inference given data as curves on a manifold. We illustrate with examples on the unit sphere, symmetric positive-definite matrices, and with a robotics application involving 3D orientations.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
Breakdown of smooth solutions to the subcritical EPDiff equation
Authors:
Martin Bauer,
Stephen C. Preston,
Justin Valletta
Abstract:
We consider the EPDiff equation on $\mathbb{R}^n$ with the integer-order homogeneous Sobolev inertia operator $A=(-Δ)^k$. We prove that for arbitrary radial initial data and a sign condition on the initial momentum, the corresponding radial velocity solution has $C^1$ norm that blows up in finite time whenever $0\le k<n/2+1.$ Our approach is to use Lagrangian coordinates to formulate EPDiff as an…
▽ More
We consider the EPDiff equation on $\mathbb{R}^n$ with the integer-order homogeneous Sobolev inertia operator $A=(-Δ)^k$. We prove that for arbitrary radial initial data and a sign condition on the initial momentum, the corresponding radial velocity solution has $C^1$ norm that blows up in finite time whenever $0\le k<n/2+1.$ Our approach is to use Lagrangian coordinates to formulate EPDiff as an ODE on a Banach space, enabling us to use a comparison estimate with the Liouville equation. Along the way we derive the Green function in terms of hypergeometric functions and discuss their properties. This is a step toward proving the general conjecture that the EPDiff equation is globally well-posed for any Sobolev inertia operator of any real order $k$ if and only if $k\ge n/2+1$.
△ Less
Submitted 25 March, 2025;
originally announced March 2025.
-
Characterization of geodesic completeness for landmark space
Authors:
Karen Habermann,
Stephen C. Preston,
Stefan Sommer
Abstract:
We provide a full characterization of geodesic completeness for spaces of configurations of landmarks with smooth Riemannian metrics that satisfy a rotational and translation invariance and which are induced from metrics on subgroups of the diffeomorphism group for the shape domain. These spaces are widely used for applications in shape analysis, for example, for measuring shape changes in medical…
▽ More
We provide a full characterization of geodesic completeness for spaces of configurations of landmarks with smooth Riemannian metrics that satisfy a rotational and translation invariance and which are induced from metrics on subgroups of the diffeomorphism group for the shape domain. These spaces are widely used for applications in shape analysis, for example, for measuring shape changes in medical imaging and morphometrics in biology. For statistics of such data to be well-defined, it is imperative to know if geodesics exist for all times. We extend previously known sufficient conditions for geodesic completeness based on the regularity of the metric to give a full characterization for smooth Riemannian metrics with a rotational and translation invariance by means of an integrability criterion that involves only the behavior of the cometric kernel as landmarks approach collision. We further use the integrability criterion for geodesic completeness and previous work on stochastic completeness to construct a family of Riemannian landmark manifolds that are geodesically complete but stochastically incomplete.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Zeitlin's model for axisymmetric 3-D Euler equations
Authors:
Klas Modin,
Stephen C. Preston
Abstract:
Zeitlin's model is a spatial discretization for the 2-D Euler equations on the flat 2-torus or the 2-sphere. Contrary to other discretizations, it preserves the underlying geometric structure, namely that the Euler equations describe Riemannian geodesics on a Lie group. Here we show how to extend Zeitlin's approach to the axisymmetric Euler equations on the 3-sphere. It is the first discretization…
▽ More
Zeitlin's model is a spatial discretization for the 2-D Euler equations on the flat 2-torus or the 2-sphere. Contrary to other discretizations, it preserves the underlying geometric structure, namely that the Euler equations describe Riemannian geodesics on a Lie group. Here we show how to extend Zeitlin's approach to the axisymmetric Euler equations on the 3-sphere. It is the first discretization of the 3-D Euler equations that fully preserves the geometric structure, albeit restricted to axisymmetric solutions. Thus, this finite-dimensional model admits Riemannian curvature and Jacobi equations, which are discussed.
△ Less
Submitted 26 November, 2024; v1 submitted 20 August, 2024;
originally announced August 2024.
-
Geodesics, curvature, and conjugate points on Lie groups
Authors:
Alice Le Brigant,
Leandro Lichtenfelz,
Stephen C. Preston
Abstract:
In this paper, we study Ricci curvature and conjugate points on Lie groups equipped with left-invariant metrics: both general Lie groups and a particular class known as quadratic Lie groups (which includes all semisimple ones). We give general results on conjugate points along geodesics in Lie groups, both in the steady and nonsteady cases. We focus particularly on two prominent families of exampl…
▽ More
In this paper, we study Ricci curvature and conjugate points on Lie groups equipped with left-invariant metrics: both general Lie groups and a particular class known as quadratic Lie groups (which includes all semisimple ones). We give general results on conjugate points along geodesics in Lie groups, both in the steady and nonsteady cases. We focus particularly on two prominent families of examples coming from physics: first, $SO(n)$ with metrics that model $n$-dimensional rigid body dynamics for $n\ge 3$, for which we show that the Ricci curvature is diagonal and positive-definite; second, $SU(n)$ under the Zeitlin metric, which serves as a model for fluid dynamics on a sphere. Notably, we identify $SU(3)$ as an instance of a Berger-Cheeger group - Lie groups whose metrics are a deformation of a bi-invariant form along a subgroup. For Berger-Cheeger groups, we establish that their Ricci curvature admits a block decomposition and find explicit solutions to their geodesic equations.
△ Less
Submitted 27 January, 2025; v1 submitted 7 August, 2024;
originally announced August 2024.
-
Geometric Analysis of the Generalized Surface Quasi-Geostrophic Equations
Authors:
Martin Bauer,
Patrick Heslin,
Gerard Misiołek,
Stephen C. Preston
Abstract:
We investigate the geometry of a family of equations in two dimensions which interpolate between the Euler equations of ideal hydrodynamics and the inviscid surface quasi-geostrophic equation. This family can be realised as geodesic equations on groups of diffeomorphisms. We show precisely when the corresponding Riemannian exponential map is non-linear Fredholm of index 0. We further illustrate th…
▽ More
We investigate the geometry of a family of equations in two dimensions which interpolate between the Euler equations of ideal hydrodynamics and the inviscid surface quasi-geostrophic equation. This family can be realised as geodesic equations on groups of diffeomorphisms. We show precisely when the corresponding Riemannian exponential map is non-linear Fredholm of index 0. We further illustrate this by examining the distribution of conjugate points in these settings via a Morse theoretic approach.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Liouville comparison theory for blowup of Euler-Arnold equations
Authors:
Martin Bauer,
Stephen C. Preston,
Justin Valletta
Abstract:
In this article we introduce a new blowup criterion for (generalized) Euler-Arnold equations on $\mathbb R^n$. Our method is based on treating the equation in Lagrangian coordinates, where it is an ODE on the diffeomorphism group, and comparison with the Liouville equation; in contrast to the usual comparison approach at a single point, we apply comparison in an infinite dimensional function space…
▽ More
In this article we introduce a new blowup criterion for (generalized) Euler-Arnold equations on $\mathbb R^n$. Our method is based on treating the equation in Lagrangian coordinates, where it is an ODE on the diffeomorphism group, and comparison with the Liouville equation; in contrast to the usual comparison approach at a single point, we apply comparison in an infinite dimensional function space. We thereby show that the Jacobian of the Lagrangian flow map of the solution reaches zero in finite time, which corresponds to $C^1$-blowup of the velocity field solution. We demonstrate the applicability of our result by proving blowup of smooth solutions to some higher-order versions of the EPDiff equation in all dimensions $n\geq 3$. Previous results on blowup of higher dimensional EPDiff equations were only for versions where the geometric description corresponds to a Sobolev metric of order zero or one. In these situations the behavior does not depend on the dimension and thus already solutions to the one-dimensional version were exhibiting blowup. In the present paper blowup is proved even in situations where the one-dimensional equation has global solutions, such as the EPDiff equation corresponding to a Sobolev metric of order two.
△ Less
Submitted 20 June, 2024; v1 submitted 16 June, 2023;
originally announced June 2023.
-
Conjugate points along Kolmogorov flows on the torus
Authors:
Alice Le Brigant,
Stephen C. Preston
Abstract:
The geodesics in the group of volume-preserving diffeomorphisms (volumorphisms) of a manifold $M$, for a Riemannian metric defined by the kinetic energy, can be used to model the movement of ideal fluids in that manifold. The existence of conjugate points along such geodesics reveal that these cease to be infinitesimally length-minimizing between their endpoints. In this work, we focus on the case…
▽ More
The geodesics in the group of volume-preserving diffeomorphisms (volumorphisms) of a manifold $M$, for a Riemannian metric defined by the kinetic energy, can be used to model the movement of ideal fluids in that manifold. The existence of conjugate points along such geodesics reveal that these cease to be infinitesimally length-minimizing between their endpoints. In this work, we focus on the case of the torus $M=\T^2$ and on geodesics corresponding to steady solutions of the Euler equation generated by stream functions $ψ=-\cos(mx)\cos(ny)$ for integers $m$ and $n$, called Kolmogorov flows. We show the existence of conjugate points along these geodesics for all pairs of strictly positive integers $(m,n)$, thereby completing the characterization of all pairs $(m,n)$ such that the associated Kolmogorov flow generates a geodesic with conjugate points.
△ Less
Submitted 5 December, 2023; v1 submitted 12 April, 2023;
originally announced April 2023.
-
3 methods to put a Riemannian metric on Shape Space
Authors:
Alice Barbora Tumpach,
Stephen C. Preston
Abstract:
In many applications, one is interested in the shape of an object, like the contour of a bone or the trajectory of joints of a tennis player, irrespective of the way these shapes are parameterized. However for analysis of these shape spaces, it is sometimes useful to have a parameterization at hand, in particular if one is interested in deforming shapes. The purpose of the paper is to examine thre…
▽ More
In many applications, one is interested in the shape of an object, like the contour of a bone or the trajectory of joints of a tennis player, irrespective of the way these shapes are parameterized. However for analysis of these shape spaces, it is sometimes useful to have a parameterization at hand, in particular if one is interested in deforming shapes. The purpose of the paper is to examine three different methods that one can follow to endow shape spaces with a Riemannian metric that is measuring deformations in a parameterization independent way.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Empirical quantification of predictive uncertainty due to model discrepancy by training with an ensemble of experimental designs: an application to ion channel kinetics
Authors:
Joseph G. Shuttleworth,
Chon Lok Lei,
Dominic G. Whittaker,
Monique J. Windley,
Adam P. Hill,
Simon P. Preston,
Gary R. Mirams
Abstract:
When mathematical biology models are used to make quantitative predictions for clinical or industrial use, it is important that these predictions come with a reliable estimate of their accuracy (uncertainty quantification). Because models of complex biological systems are always large simplifications, model discrepancy arises - where a mathematical model fails to recapitulate the true data generat…
▽ More
When mathematical biology models are used to make quantitative predictions for clinical or industrial use, it is important that these predictions come with a reliable estimate of their accuracy (uncertainty quantification). Because models of complex biological systems are always large simplifications, model discrepancy arises - where a mathematical model fails to recapitulate the true data generating process. This presents a particular challenge for making accurate predictions, and especially for making accurate estimates of uncertainty in these predictions. Experimentalists and modellers must choose which experimental procedures (protocols) are used to produce data to train their models. We propose to characterise uncertainty owing to model discrepancy with an ensemble of parameter sets, each of which results from training to data from a different protocol. The variability in predictions from this ensemble provides an empirical estimate of predictive uncertainty owing to model discrepancy, even for unseen protocols. We use the example of electrophysiology experiments, which are used to investigate the kinetics of the hERG potassium ion channel. Here, 'information-rich' protocols allow mathematical models to be trained using numerous short experiments performed on the same cell. Typically, assuming independent observational errors and training a model to an individual experiment results in parameter estimates with very little dependence on observational noise. Moreover, parameter sets arising from the same model applied to different experiments often conflict - indicative of model discrepancy. Our methods will help select more suitable mathematical models of hERG for future studies, and will be widely applicable to a range of biological modelling problems.
△ Less
Submitted 19 February, 2024; v1 submitted 6 February, 2023;
originally announced February 2023.
-
Conjugate point criteria on the area-preserving diffeomorphism group
Authors:
Stephen C. Preston
Abstract:
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 k…
▽ More
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.
△ Less
Submitted 19 June, 2022;
originally announced June 2022.
-
Solar models and McKean's breakdown theorem for the $μ$CH and $μ$DP equations
Authors:
Stephen C. Preston
Abstract:
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 dow…
▽ More
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).
△ Less
Submitted 1 February, 2022; v1 submitted 25 July, 2021;
originally announced July 2021.
-
Fisher-Rao geometry of Dirichlet distributions
Authors:
Alice Le Brigant,
Stephen Preston,
Stéphane Puechmorel
Abstract:
In this paper, we study the geometry induced by the Fisher-Rao metric on the parameter space of Dirichlet distributions. We show that this space is geodesically complete and has everywhere negative sectional curvature. An important consequence of this negative curvature for applications is that the Fr{é}chet mean of a set of Dirichlet distributions is uniquely defined in this geometry.
In this paper, we study the geometry induced by the Fisher-Rao metric on the parameter space of Dirichlet distributions. We show that this space is geodesically complete and has everywhere negative sectional curvature. An important consequence of this negative curvature for applications is that the Fr{é}chet mean of a set of Dirichlet distributions is uniquely defined in this geometry.
△ Less
Submitted 19 November, 2020; v1 submitted 12 May, 2020;
originally announced May 2020.
-
Axisymmetric diffeomorphisms and ideal fluids on Riemannian 3-manifolds
Authors:
Leandro Lichtenfelz,
Gerard Misiolek,
Stephen C. Preston
Abstract:
We study the Riemannian geometry of 3D axisymmetric ideal fluids. We prove that the $L^2$ exponential map on the group of volume-preserving diffeomorphisms of a $3$-manifold is Fredholm along axisymmetric flows with sufficiently small swirl. Along the way, we define the notions of axisymmetric and swirl-free diffeomorphisms of any manifold with suitable symmetries and show that such diffeomorphism…
▽ More
We study the Riemannian geometry of 3D axisymmetric ideal fluids. We prove that the $L^2$ exponential map on the group of volume-preserving diffeomorphisms of a $3$-manifold is Fredholm along axisymmetric flows with sufficiently small swirl. Along the way, we define the notions of axisymmetric and swirl-free diffeomorphisms of any manifold with suitable symmetries and show that such diffeomorphisms form a totally geodesic submanifold of infinite $L^2$ diameter inside the space of volume-preserving diffeomorphisms whose diameter is known to be finite. As examples we derive the axisymmetric Euler equations on $3$-manifolds equipped with each of Thurston's eight model geometries.
△ Less
Submitted 22 November, 2019;
originally announced November 2019.
-
Shape Analysis of Surfaces Using General Elastic Metrics
Authors:
Zhe Su,
Martin Bauer,
Stephen C. Preston,
Hamid Laga,
Eric Klassen
Abstract:
In this article we introduce a family of elastic metrics on the space of parametrized surfaces in 3D space using a corresponding family of metrics on the space of vector valued one-forms. We provide a numerical framework for the computation of geodesics with respect to these metrics. The family of metrics is invariant under rigid motions and reparametrizations; hence it induces a metric on the "sh…
▽ More
In this article we introduce a family of elastic metrics on the space of parametrized surfaces in 3D space using a corresponding family of metrics on the space of vector valued one-forms. We provide a numerical framework for the computation of geodesics with respect to these metrics. The family of metrics is invariant under rigid motions and reparametrizations; hence it induces a metric on the "shape space" of surfaces. This new class of metrics generalizes a previously studied family of elastic metrics and includes in particular the Square Root Normal Function (SRNF) metric, which has been proven successful in various applications. We demonstrate our framework by showing several examples of geodesics and compare our results with earlier results obtained from the SRNF framework.
△ Less
Submitted 7 October, 2019; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Nonpositive Curvature of the quantomorphism group and quasigeostrophic motion
Authors:
Jae Min Lee,
Stephen C. Preston
Abstract:
In this paper, we compute the sectional curvature of the quantomorphism group $\mathcal{D}_q(M)$ whose geodesic equation is the quasi-geostrophic (QG) equation in geophysics and oceanography, for flows with a stream function depending on only one variable. Using this explicit formula, we will also derive a criterion for the curvature operator to be nonpositive and discuss the role of the Froude nu…
▽ More
In this paper, we compute the sectional curvature of the quantomorphism group $\mathcal{D}_q(M)$ whose geodesic equation is the quasi-geostrophic (QG) equation in geophysics and oceanography, for flows with a stream function depending on only one variable. Using this explicit formula, we will also derive a criterion for the curvature operator to be nonpositive and discuss the role of the Froude number and the Rossby number on curvature. The main technique to obtain a usable formula is a simplification of Arnold's general formula in the case where a vector field is close to a Killing field, and then use the Green's function explicitly. We show that nonzero Froude number and Rossby numbers both tend to stabilize flows in the Lagrangian sense.
△ Less
Submitted 25 July, 2019; v1 submitted 24 July, 2019;
originally announced July 2019.
-
Isometric Immersions and the Waving of Flags
Authors:
Martin Bauer,
Jakob Møller-Andersen,
Stephen C. Preston
Abstract:
In this article we propose a novel geometric model to study the motion of a physical flag. In our approach a flag is viewed as an isometric immersion from the square with values in $\mathbb R^3$ satisfying certain boundary conditions at the flag pole. Under additional regularity constraints we show that the space of all such flags carries the structure of an infinite dimensional manifold and can b…
▽ More
In this article we propose a novel geometric model to study the motion of a physical flag. In our approach a flag is viewed as an isometric immersion from the square with values in $\mathbb R^3$ satisfying certain boundary conditions at the flag pole. Under additional regularity constraints we show that the space of all such flags carries the structure of an infinite dimensional manifold and can be viewed as a submanifold of the space of all immersions. In the second part of the article we equip the space of isometric immersions with its natural kinetic energy and derive the corresponding equations of motion. This approach can be viewed in a similar spirit as Arnold's geometric picture for the motion of an incompressible fluid.
△ Less
Submitted 15 October, 2023; v1 submitted 15 May, 2019;
originally announced May 2019.
-
Geodesic completeness of the $H^{3/2}$ metric on $\mathrm{Diff}(S^{1})$
Authors:
Martin Bauer,
Boris Kolev,
Stephen Preston
Abstract:
Of concern is the study of the long-time existence of solutions to the Euler--Arnold equation of the right-invariant $H^{3/2}$-metric on the diffeomorphism group of the circle. In previous work by Escher and Kolev it has been shown that this equation admits long-time solutions if the order $s$ of the metric is greater than $3/2$, the behaviour for the critical Sobolev index $s=3/2$ has been left…
▽ More
Of concern is the study of the long-time existence of solutions to the Euler--Arnold equation of the right-invariant $H^{3/2}$-metric on the diffeomorphism group of the circle. In previous work by Escher and Kolev it has been shown that this equation admits long-time solutions if the order $s$ of the metric is greater than $3/2$, the behaviour for the critical Sobolev index $s=3/2$ has been left open. In this article we fill this gap by proving the analogous result also for the boundary case. The behaviour of the $H^{3/2}$-metric is, however, still different from its higher order counter parts, as it does not induce a complete Riemannian metric on any group of Sobolev diffeomorphisms.
△ Less
Submitted 20 March, 2020; v1 submitted 29 April, 2019;
originally announced April 2019.
-
A diffeomorphism-invariant metric on the space of vector-valued one-forms
Authors:
Martin Bauer,
Eric Klassen,
Stephen C. Preston,
Zhe Su
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 September, 2020; v1 submitted 27 December, 2018;
originally announced December 2018.
-
Math in the Black Forest: Workshop on New Directions in Shape Analysis
Authors:
Martin Bauer,
Nicolas Charon,
Philipp Harms,
Boris Khesin,
Alice Le Brigant,
Elodie Maignant,
Stephen Marsland,
Peter Michor,
Xavier Pennec,
Stephen Preston,
Stefan Sommer,
François-Xavier Vialard
Abstract:
These are the proceedings of the workshop "Math in the Black Forest", which brought together researchers in shape analysis to discuss promising new directions. Shape analysis is an inter-disciplinary area of research with theoretical foundations in infinite-dimensional Riemannian geometry, geometric statistics, and geometric stochastics, and with applications in medical imaging, evolutionary devel…
▽ More
These are the proceedings of the workshop "Math in the Black Forest", which brought together researchers in shape analysis to discuss promising new directions. Shape analysis is an inter-disciplinary area of research with theoretical foundations in infinite-dimensional Riemannian geometry, geometric statistics, and geometric stochastics, and with applications in medical imaging, evolutionary development, and fluid dynamics. The workshop is the 6th instance of a series of workshops on the same topic.
△ Less
Submitted 4 November, 2018;
originally announced November 2018.
-
Vanishing distance phenomena and the geometric approach to SQG
Authors:
Martin Bauer,
Philipp Harms,
Stephen C. Preston
Abstract:
In this article we study the induced geodesic distance of fractional order Sobolev metrics on the groups of (volume preserving) diffeomorphisms and symplectomorphisms. The interest in these geometries is fueled by the observation that they allow for a geometric interpretation for prominent partial differential equations in the field of fluid dynamics. These include in particular the modified Const…
▽ More
In this article we study the induced geodesic distance of fractional order Sobolev metrics on the groups of (volume preserving) diffeomorphisms and symplectomorphisms. The interest in these geometries is fueled by the observation that they allow for a geometric interpretation for prominent partial differential equations in the field of fluid dynamics. These include in particular the modified Constantin-Lax-Majda and surface quasi-geostrophic equations. The main result of this article shows that both of these equations stem from a Riemannian metric with vanishing geodesic distance.
△ Less
Submitted 19 March, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Local well-posedness of the Camassa-Holm equation on the real line
Authors:
Jae Min Lee,
Stephen C. Preston
Abstract:
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.…
▽ More
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.
△ Less
Submitted 2 December, 2016;
originally announced December 2016.
-
The exponential map of the group of area-preserving diffeomorphisms of a surface with boundary
Authors:
James Benn,
Gerard Misiolek,
Stephen C. Preston
Abstract:
We prove that the Riemannian exponential map of the right-invariant $L^2$ metric on the group of volume-preserving diffeomorphisms of a two-dimensional manifold with a nonempty boundary is a nonlinear Fredholm map of index zero.
We prove that the Riemannian exponential map of the right-invariant $L^2$ metric on the group of volume-preserving diffeomorphisms of a two-dimensional manifold with a nonempty boundary is a nonlinear Fredholm map of index zero.
△ Less
Submitted 29 November, 2016;
originally announced November 2016.
-
Global Existence and Blowup for Geodesics in Universal Teichmüller Spaces
Authors:
Stephen C. Preston,
Pearce Washabaugh
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 March, 2016;
originally announced March 2016.
-
Quotient elastic metrics on the manifold of arc-length parameterized plane loops
Authors:
Alice Barbara Tumpach,
Stephen C. Preston
Abstract:
We study the pull-back of the 2-parameter family of quotient elastic metrics introduced in Mio-Srivastava-Joshi on the space of arc-length parameterized loops. This point of view has the advantage of concentrating on the manifold of arc-length parameterized curves, which is a very natural manifold when the analysis of un-parameterized curves is concerned, pushing aside the tricky quotient procedur…
▽ More
We study the pull-back of the 2-parameter family of quotient elastic metrics introduced in Mio-Srivastava-Joshi on the space of arc-length parameterized loops. This point of view has the advantage of concentrating on the manifold of arc-length parameterized curves, which is a very natural manifold when the analysis of un-parameterized curves is concerned, pushing aside the tricky quotient procedure detailed in Lahiri-Robinson-Klassen of the preshape space of parameterized curves by the reparameterization (semi-)group. In order to study the problem of finding geodesics between two given arc-length parameterized loops under these quotient elastic metrics, we give a precise computation of the gradient of the energy functional in the smooth case as well as a discretization of it, and implement a path-straightening method. This allows us to have a better understanding of how the landscape of the energy functional varies with respect to the parameters.
△ Less
Submitted 8 July, 2017; v1 submitted 22 January, 2016;
originally announced January 2016.
-
Lagrangian aspects of the axisymmetric Euler equation
Authors:
Stephen C. Preston,
Alejandro Sarria
Abstract:
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 pres…
▽ More
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.
△ Less
Submitted 2 December, 2015; v1 submitted 20 May, 2015;
originally announced May 2015.
-
Geometric investigations of a vorticity model equation
Authors:
Martin Bauer,
Boris Kolev,
Stephen C. Preston
Abstract:
This article consists of a detailed geometric study of the one-dimensional vorticity model equation $$ω_{t} + uω_{x} + 2ωu_{x} = 0, \qquad ω= H u_{x}, \qquad t\in\mathbb{R},\; x\in S^{1}\,,$$ which is a particular case of the generalized Constantin-Lax-Majda equation. Wunsch showed that this equation is the Euler-Arnold equation on $\operatorname{Diff}(S^{1})$ when the latter is endowed with the r…
▽ More
This article consists of a detailed geometric study of the one-dimensional vorticity model equation $$ω_{t} + uω_{x} + 2ωu_{x} = 0, \qquad ω= H u_{x}, \qquad t\in\mathbb{R},\; x\in S^{1}\,,$$ which is a particular case of the generalized Constantin-Lax-Majda equation. Wunsch showed that this equation is the Euler-Arnold equation on $\operatorname{Diff}(S^{1})$ when the latter is endowed with the right-invariant homogeneous $\dot{H}^{1/2}$-metric. In this article we prove that the exponential map of this Riemannian metric is not Fredholm and that the sectional curvature is locally unbounded. Furthermore, we prove a Beale-Kato-Majda-type blow-up criterion, which we then use to demonstrate a link to our non-Fredholmness result. Finally, we extend a blow-up result of Castro-Córdoba to the periodic case and to a much wider class of initial conditions, using a new generalization of an inequality for Hilbert transforms due to Córdoba-Córdoba.
△ Less
Submitted 14 August, 2015; v1 submitted 29 April, 2015;
originally announced April 2015.
-
Geometry of the contactomorphism group
Authors:
Boramey Chhay,
Stephen C. Preston
Abstract:
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,…
▽ More
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.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.
-
Riemannian geometry of the contactomorphism group
Authors:
David G. Ebin,
Stephen C. Preston
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 September, 2014;
originally announced September 2014.
-
The Geometry of Axisymmetric Ideal Fluid Flows with Swirl
Authors:
Pearce Washabaugh,
Stephen C. Preston
Abstract:
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…
▽ More
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$.
△ Less
Submitted 7 September, 2014;
originally announced September 2014.
-
One-parameter solutions of the Euler-Arnold equation on the contactomorphism group
Authors:
Stephen C. Preston,
Alejandro Sarria
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 May, 2014;
originally announced May 2014.
-
Riemannian geometry on the quantomorphism group
Authors:
David G. Ebin,
Stephen C. Preston
Abstract:
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 sim…
▽ More
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.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
The geometry of barotropic flow
Authors:
Stephen C. Preston
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
Curvatures of Sobolev metrics on diffeomorphism groups
Authors:
Boris Khesin,
Jonatan Lenells,
Gerard Misiolek,
Stephen C. Preston
Abstract:
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 surv…
▽ More
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.
△ Less
Submitted 9 September, 2011; v1 submitted 8 September, 2011;
originally announced September 2011.
-
The motion of whips and chains
Authors:
Stephen C. Preston
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 May, 2011;
originally announced May 2011.
-
The geometry of whips
Authors:
Stephen C. Preston
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 May, 2011;
originally announced May 2011.
-
Geometry of diffeomorphism groups, complete integrability and optimal transport
Authors:
Boris Khesin,
Jonatan Lenells,
Gerard Misiolek,
Stephen C. Preston
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 May, 2011;
originally announced May 2011.
-
Balance Systems and the Variational Bicomplex
Authors:
Serge Preston
Abstract:
In this work we show that the systems of balance equations (balance systems) of continuum thermodynamics occupy a natural place in the variational bicomplex formalism. We apply the vertical homotopy decomposition to get a local splitting (in a convenient domain) of a general balance system as the sum of a Lagrangian part and a complemental "pure non-Lagrangian" balance system. In the case when der…
▽ More
In this work we show that the systems of balance equations (balance systems) of continuum thermodynamics occupy a natural place in the variational bicomplex formalism. We apply the vertical homotopy decomposition to get a local splitting (in a convenient domain) of a general balance system as the sum of a Lagrangian part and a complemental "pure non-Lagrangian" balance system. In the case when derivatives of the dynamical fields do not enter the constitutive relations of the balance system, the "pure non-Lagrangian" systems coincide with the systems introduced by S. Godunov [Soviet Math. Dokl. 2 (1961), 947-948] and, later, asserted as the canonical hyperbolic form of balance systems in [Müller I., Ruggeri T., Rational extended thermodynamics, 2nd ed., Springer Tracts in Natural Philosophy, Vol. 37, Springer-Verlag, New York, 1998].
△ Less
Submitted 8 July, 2011; v1 submitted 27 January, 2011;
originally announced January 2011.
-
Variational Theory of Balance Systems
Authors:
Serge Preston
Abstract:
In this work we apply the Poincare-Cartan formalism of the Classical Field Theory to study the systems of balance equations (balance systems). We introduce the partial k-jet bundles of the configurational bundle and study their basic properties: partial Cartan structure, prolongation of vector fields, etc. A constitutive relation C of a balance system is realized as a mapping between a (partial)…
▽ More
In this work we apply the Poincare-Cartan formalism of the Classical Field Theory to study the systems of balance equations (balance systems). We introduce the partial k-jet bundles of the configurational bundle and study their basic properties: partial Cartan structure, prolongation of vector fields, etc. A constitutive relation C of a balance system is realized as a mapping between a (partial) k-jet bundle and the extended dual bundle similar to the Legendre mapping of the Lagrangian Field Theory. Invariant (variational) form of the balance system corresponding to a constitutive relation C is studied. Special cases of balance systems -Lagrangian systems of order 1 with arbitrary sources and RET (Rational Extended Ther- modynamics) systems are characterized in geometrical terms. Action of auto- morphisms of the configurational bundle on the constitutive mappings C is studied and it is shown that the symmetry group Sym(C) of C acts on the sheaf of solutions Sol(C) of he balance system. Suitable version of Noether Theorem for an action of a symmetry group is presented together with the special forms for semi- Lagrangian and RET balance systems and examples of energy momentum and gauge symmetries balance laws.
△ Less
Submitted 23 July, 2009; v1 submitted 27 June, 2008;
originally announced June 2008.
-
Geometry of whips and chains
Authors:
Stephen C. Preston
Abstract:
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 an…
▽ More
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.
△ Less
Submitted 9 May, 2011; v1 submitted 9 April, 2008;
originally announced April 2008.
-
The WKB method for conjugate points in the volumorphism group
Authors:
Stephen C. Preston
Abstract:
In this paper, we are interested in the location of conjugate points along a geodesic in the volumorphism group of a compact three-dimensional manifold without boundary (the configuration space of an ideal fluid). As shown in the author's previous work, these are typically pathological, i.e., they can occur in clusters along a geodesic, unlike on finite-dimensional Riemannian manifolds. (This ph…
▽ More
In this paper, we are interested in the location of conjugate points along a geodesic in the volumorphism group of a compact three-dimensional manifold without boundary (the configuration space of an ideal fluid). As shown in the author's previous work, these are typically pathological, i.e., they can occur in clusters along a geodesic, unlike on finite-dimensional Riemannian manifolds. (This phenomenon does not occur for the volumorphism groups of two-dimensional manifolds, which are known to have discrete conjugate points along any geodesic by Ebin-Misiolek-Preston.) We give an explicit algorithm for finding them in terms of a certain ordinary differential equation, derived via the WKB-approximation methods of Lifschitz-Hameiri and Friedlander-Vishik. We prove that for a typical geodesic in the volumorphism group, there will be pathological conjugate point locations filling up closed intervals; hence typically the zeroes of Jacobi fields on the volumorphism group are dense in intervals.
△ Less
Submitted 20 October, 2007;
originally announced October 2007.
-
A 4D geometrical modeling of a material aging
Authors:
A. Chudnovsky,
S. Preston
Abstract:
4-dim intrinsic (material) Riemannian metric $G$ of the material 4-D space-time continuum $P$ is utilized as the characteristic of the aging processes developing in the material. Manifested through variation of basic material characteristics such as density, moduli of elasticity, yield stress, strength, and toughness., the aging process is modeled as the evolution of the metric $G$ (most importa…
▽ More
4-dim intrinsic (material) Riemannian metric $G$ of the material 4-D space-time continuum $P$ is utilized as the characteristic of the aging processes developing in the material. Manifested through variation of basic material characteristics such as density, moduli of elasticity, yield stress, strength, and toughness., the aging process is modeled as the evolution of the metric $G$ (most importantly of its time component $G_{00}$) of the material space-time $P$ embedded into 4-D Newtonian space-time with Euclidean metric.\par
The evolutional equation for metric $G$ is derived by the classical variational approach. Construction of a Lagrangian for an aging elastic media and the derivation of a system of coupled elastostatic and aging equations constitute the central part of the work. The external and internal balance laws associated with symmetries of material and physical space-time geometries are briefly reviewed from a new viewpoint presented in the paper. Examples of the stress relaxation and creep of a homogeneous rod, cold drawing, and chemical degradation in a tubing are discussed.
△ Less
Submitted 16 April, 2006;
originally announced April 2006.
-
The indefinite metric of R. Mrugala and the geometry of the thermodynamical phase space
Authors:
Serge Preston,
James Vargo
Abstract:
We study the indefinite metric $G$ in the contact phase space $(P,θ)$ of a homogeneous thermodynamical system introduced by R. Mrugala. We calculate the curvature tensor, Killing vector fields, second fundamental form of Legendre submanifolds of $P$ - constitutive surfaces of different homogeneous thermodynamical systems. We established an isomorphism of the space $(P,θ,G)$ with the Heisenberg L…
▽ More
We study the indefinite metric $G$ in the contact phase space $(P,θ)$ of a homogeneous thermodynamical system introduced by R. Mrugala. We calculate the curvature tensor, Killing vector fields, second fundamental form of Legendre submanifolds of $P$ - constitutive surfaces of different homogeneous thermodynamical systems. We established an isomorphism of the space $(P,θ,G)$ with the Heisenberg Lie group $H_{n}$ endowed with the right invariant contact structure and the right invariant indefinite metric. The lift $\tG$ of the metric $G$ to the symplectization $\tP$ of contact space $(P,θ)$, its curvature properties, and its Killing vector fields are studied. Finally we introduce the "hyperbolic projectivization" of the space $(\tP,{\tilde θ}, \tG)$ that can be considered as the natural {\bf compactification} of the thermodynamical phase space $(P,θ, G).$
△ Less
Submitted 12 September, 2005;
originally announced September 2005.
-
On the Integrability of Orthogonal Distributions in Poisson Manifolds
Authors:
Dan Fish,
Serge Preston
Abstract:
We study conditions for the integrability of the distribution defined on a regular Poisson manifold as the orthogonal complement (with respect to some (pseudo)-Riemannian metric) to the tangent spaces of the leaves of a symplectic foliation. Examples of integrability and non-integrability of this distribution are provided.
We study conditions for the integrability of the distribution defined on a regular Poisson manifold as the orthogonal complement (with respect to some (pseudo)-Riemannian metric) to the tangent spaces of the leaves of a symplectic foliation. Examples of integrability and non-integrability of this distribution are provided.
△ Less
Submitted 3 May, 2005; v1 submitted 8 May, 2004;
originally announced May 2004.
-
Conformal Laplacian and Conical Singularities
Authors:
Boris Botvinnik,
Serge Preston
Abstract:
We study a behavior of the conformal Laplacian operator $Ł_g$ on a manifold with \emph{tame conical singularities}: when each singularity is given as a cone over a product of the standard spheres. We study the spectral properties of the operator $Ł_g$ on such manifolds. We describe the asymptotic of a general solution of the equation $Ł_g u = Q u^α$ with $1\leq α\leq \frac{n+2}{n-2}$ near each s…
▽ More
We study a behavior of the conformal Laplacian operator $Ł_g$ on a manifold with \emph{tame conical singularities}: when each singularity is given as a cone over a product of the standard spheres. We study the spectral properties of the operator $Ł_g$ on such manifolds. We describe the asymptotic of a general solution of the equation $Ł_g u = Q u^α$ with $1\leq α\leq \frac{n+2}{n-2}$ near each singular point. In particular, we derive the asymptotic of the Yamabe metric near such singularity.
△ Less
Submitted 10 December, 2002; v1 submitted 8 January, 2002;
originally announced January 2002.
