Abstract
Many models in mathematical physics are given as non-linear partial differential equation of hydrodynamic type; the incompressible Euler, KdV, and Camassa–Holm equations are well-studied examples. A beautiful approach to well-posedness is to go from the Eulerian to a Lagrangian description. Geometrically it corresponds to a geodesic initial value problem on the infinite-dimensional group of diffeomorphisms with a right invariant Riemannian metric. By establishing regularity properties of the Riemannian spray one can then obtain local, and sometimes global, existence and uniqueness results. There are, however, many hydrodynamic-type equations, notably shallow water models and compressible Euler equations, where the underlying infinite-dimensional Riemannian structure is not fully right invariant, but still semi-invariant with respect to the subgroup of volume preserving diffeomorphisms. Here we study such metrics. For semi-invariant metrics of Sobolev \(H^k\)-type we give local and some global well-posedness results for the geodesic initial value problem. We also give results in the presence of a potential functional (corresponding to the fluid’s internal energy). Our study reveals many pitfalls in going from fully right invariant to semi-invariant Sobolev metrics; the regularity requirements, for example, are higher. Nevertheless the key results, such as no loss or gain in regularity along geodesics, can be adopted.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 1966 Arnold [2] discovered that the Euler equations of an incompressible perfect fluid can be interpreted as a geodesic equation on the space of volume-preserving diffeomorphisms. Based on this Ebin and Marsden [15] initiated a new approach to local (short time) existence and uniqueness of hydrodynamic PDEs. This approach has since then been extended to many other PDEs of mathematical physics, such as the KdV [40], Camassa–Holm [10, 28, 32, 33], Hunter–Saxton [22, 31], Constantin–Lax–Majda [8, 14, 18] and Landau–Lifschitz equations [3]. The same analysis sometimes lends itself to global existence results [6, 9, 16, 34, 37].
The common setting is a group of diffeomorphisms, thought of as an infinite-dimensional manifold, equipped with a right invariant Riemannian metric. The pressing issue is to obtain this setting rigorously in the category of Banach manifolds (by Sobolev completion of the diffeomorphism group), and then prove that the PDE becomes an ODE on the Banach manifold with a smooth (or at least Lipschitz continuous) infinite-dimensional vector field. After that, local existence, uniqueness, and smooth dependence on initial conditions follows from standard results for ODEs on Banach manifolds (the Picard–Lindelöff theorem). Global results are aquired if the Riemannian structure is strong in the Sobolev topology.
Although Ebin and Marsden did work with the semi-invariant \(L^2\) metric on the group of diffeomorphisms, much of their analysis relies on full right invariance of the restricted metric on the subgroup of volume preserving diffeomorphisms. What happens in general if the Riemannian structure is only semi-invariant?
Here we address this question for the group of diffeomorphisms \({\mathrm {Diff}}(M)\) (where M is a closed manifold) equipped with a Riemannian metric that is right invariant only with respect to the sub-group of volume-preserving diffeomorphisms \({{\mathrm {Diff}}_{\mu }}(M)\). We call such metrics semi-invariant. Our study connects to several lines of research.
Optimal transport: In Otto’s [39] geometric approach to optimal mass transportation the \(L^2\)-Wasserstein distance between two probability densities is (formally) obtained as a Riemannian boundary value problem. The underlying Riemannian structure on the space \(P^\infty (M)\) of smooth probability densities stems from a semi-invariant (but not fully invariant) \(L^2\)-type Riemannian metric on \({\mathrm {Diff}}(M)\). Indeed, through Moser’s [36] result
the \(L^2\)-type Riemannian structure on \({\mathrm {Diff}}(M)\) induces, due to the \({{\mathrm {Diff}}_{\mu }}(M)\)-invariance, a Riemannian structure on \(P^\infty (M)\). This structure has low regularity: only Sobolev \(H^{-1}\). The search for higher order Otto metrics is advocated in the optimal transport community, see Villani [44, Ch. 15] and Schachter [43]. Furthermore, in applications higher regularity than \(H^{-1}\) is often desired, for example in imaging to sustain sharp corners. Higher order Sobolev type Riemannian metrics on \(P^\infty (M)\) induced by fully right invariant metrics on \({\mathrm {Diff}}(M)\) were studied in [7]. However, the full invariance imposes restrictions that, for example, excludes Otto’s metric. This motivates the study of semi-invariant Riemannian metrics on \({\mathrm {Diff}}(M)\) of higher regularity than \(L^2\).
Information geometry: In the field of information geometry (cf. Amari and Nagaoka [1]) the principal Riemannian structure on \(P^\infty (M)\) is the Fisher–Rao metric which induces the (spherical) Hellinger distance. The Fisher–Rao metric is canonical in the sense that it is the only Riemannian metric on the space of smooth densities that is invariant under the action of \({\mathrm {Diff}}(M)\), cf. [4, 5, 11]. It has a similar geometric interpretation as the semi-invariant \(L^2\) metric on \({\mathrm {Diff}}(M)\), only its regularity is higher: \(H^1\) instead of \(L^2\) [25, 35]. Thus, our study also contributes towards new Riemannian structures in information geometry. Furthermore, we can treat the Wasserstein–Otto metric and the Fisher–Rao metric in the same geometric transport framework, allowing mixed order models such as proposed in [12, 41, 42].
Shallow water equations: In the field of shallow water equations, the full Euler equations are approximated in the regime where the wave-length is large in comparison to the depth. The standard shallow water equations for waves evolving on a Riemannian manifold M are
where u is a vector field on M describing the horizontal velocity at the surface and h(x) is the water depth at \(x\in M\). By an analogue to Arnold’s interpretation of the incompressible Euler equations, the shallow water equations (1) constitute Newton’s equations on \({\mathrm {Diff}}(M)\), with kinetic energy given by the aforementioned semi-invariant \(L^2\) metric and potential energy given by \(V(h) = \frac{1}{2}\Vert h\Vert ^2_{L^2}\) (see [26] for details). A prevailing theme in shallow water research is to modify the equations (1) to obtain more accurate models, for example the Serre–Green–Naghdi (SGN) equations
where \(\nabla ^*\) denotes the \(L^2\)-adjoint of the covariant derivative. Following the work of Ionescu-Kruse [24], these equations correspond to Newton’s equations on \({\mathrm {Diff}}(M)\), with the same potential energy as for the classical shallow water equations, but with the modified \(H^1\)-type kinetic energy
Since this kinetic energy is quadratic in the vector field u, and since h is transported by u as a volume density, it follows that (3) corresponds to a semi-invariant \(H^1\)-type Riemannian metric of \({\mathrm {Diff}}(M)\). From a geometric viewpoint, new shallow water models are thus obtained by higher order semi-invariant modifications of the standard \(L^2\)-type metric on \({\mathrm {Diff}}(M)\). This further motivates our study. One might of course also modify the potential energy as suggested in [13].
PDE analysis: From a more mathematical point-of-view, to investigate the degree to which Ebin and Marsden techniques can be extended to the semi-invariant case yields new theoretical insights. As we shall see, the extension is non-trivial, with some unexpected pitfalls. The results of Ebin and Marsden are based on extending Arnold’s Riemannian metric on \({\mathrm {Diff}}_\mu (M)\) to a Sobolev completion \({\mathcal {D}}_\mu ^s(M)\) of the diffeomorphisms. If \(s>{\text {dim}}(M)/2 + 1\) then \({\mathcal {D}}_\mu ^s(M)\) is a Banach manifold. Remarkably, the associated (infinite-dimensional) Riemannian spray on \({\mathcal {D}}_\mu ^s(M)\) is then smooth, so local well-posedness follows from standard ODE-theory on Banach manifolds (see e.g. [29]). The Ebin and Marsden approach has successfully been extended to the Sobolev completion \({\mathcal {D}}^s(M)\) of all diffeomorphisms for right invariant Sobolev \(H^k\)-metric for \(k\ge 1\) [27, 34]. Furthermore, for strong Riemannian metrics, i.e., where \(k=s\), the right invariance of the metric yields global well-posedness [19]. In contrast, our study shows that not every smooth semi-invariant \(H^1\)-metric yields a smooth spray (the SGN metric (3) is an example) and global results are not readily available without additional assumptions. Even more, for local results the Sobolev completion \({\mathcal {D}}^s(M)\) of \({\mathrm {Diff}}(M)\) requires a higher Sobolev index s than in the fully right invariant case. Nevertheless, with modifications the key components of the Ebin and Marsden technique can be adopted to the semi-invariant case, for example the no-loss-no-gain result (see Appendix A below).
1.1 Main results
Let (M, g) be a closed (compact and without boundary) oriented Riemannian manifold of finite dimension d. Associated with the metric g is the Riemannian volume form \(\mu \), and the Levi–Civita covariant derivative \(\nabla \) (acting on tensor fields). We denote time derivatives by subscript t, for example \(u_t = \partial u/\partial t\).
The Riemannian metric g can be extended to arbitrary r-q-tensors via
To simplify the notation we write g also for this extended metric. For tensor fields \(X,Y\in C^{\infty }(M,{\mathcal {T}}^q_r(M))\) we use vector calculus notation \(X\cdot Y :=g(X,Y)\) and \(|X| :=\sqrt{g(X,X)}\). The \(L^2\) inner product on tensor fields is given by
The space of smooth vector fields on M is denoted \({\mathfrak {X}}(M)\). Furthermore, the space of smooth probability densities is given by
Consider the following family of Lagrangian functionals on the hydrodynamic phase space \({\mathrm {Dens}}(M)\times {\mathfrak {X}}(M)\)
where \(V:P^\infty (M)\rightarrow {{\mathbb {R}}}\) is a potential functional, and \(a_i:{{\mathbb {R}}}_{>0}\rightarrow {{\mathbb {R}}}_{\ge 0}\) are smooth coefficient functions that specify how the kinetic energy depends on the density variable \(\rho \). Since the kinetic energy is quadratic on the vector field u, the variational derivative of L (with respect to the \(L^2\) inner product) is a family of differential operators \(A:P^\infty (M)\times {\mathfrak {X}}(M)\rightarrow {\mathfrak {X}}(M)\) that is linear in the vector field component u
The other variational derivative, with respect to \(\rho \), is
From these derivatives we obtain a corresponding family of hydrodynamic-type PDEs in the time-dependent vector fields u and m and density \(\rho \)
From the point of view of analytical mechanics, the variable m is the momentum associated with the fluid velocity u, and \(A(\rho )\) is the inertia operator.
Before formulating the main result we list some special cases of the Eq. (4).
Example 1
If \(V=0\) and the coefficient functions \(a_i\) are constants, so that \(B(\rho ,u)\equiv 0\), we obtain the EPDiff equation [21]. This corresponds to a fully right invariant Riemannian structure on \({\mathrm {Diff}}(M)\). For \(M=S^1\) we obtain as special cases the Camassa–Holm [28], the Constantin–Lax–Majda [18] and the Hunter–Saxton equation [31].
Example 2
If \(V=0\) and \(k=0\) with \(a_0(r) = r\) we obtain Burgers’ equation
which is the simplest hydrodynamic model (fluid particles are moving along geodesics on M without interacting with each other). This corresponds to the semi-invariant \(L^2\)-metric whose distance is the classical \(L^2\)-Wasserstein distance (also called ‘earth-movers distance’).
Example 3
If the potential functional is
for some internal energy function \(e(\rho )\), and \(k=0\) with \(a_0(r) = r\), we obtain the (barotropic) compressible Euler equations
The choice \(e(\rho ) = \rho /2\) coincides with the classical shallow water equations (1), where the density \(\rho \) then is the water depth (denoted h in (1)).
Example 4
If the potential functional is
and \(k=1\) with \(a_0(r) = r\) and \(a_1(r) = r^3/3\), we obtain the SGN equations (2), again with \(\rho \) as the depth function h.
Theorem
Consider the Eq. (4) with \(\rho _0\in P^\infty (M)\) and \(u_0\in {\mathfrak {X}}(M)\), and a potential functional V such that
is a smooth (nonlinear) differential operator of order \(2k-2\) or less.
If \(k=1\) with \(a_0(\cdot )>0\) and \(a_1(\cdot ) = \text {const} > 0\), or
if \(k>2\) with \(a_0(\cdot )>0\) and \(a_k(\cdot )>0\),
then there exists a unique solution defined on a maximal time-interval of existence \(J\subset {{\mathbb {R}}}\), which is open and contains zero. The solution \(u=u(t,x)\) and \(\rho =\rho (t,x)\) depends smoothly (in the Fréchet topology of smooth functions) on the initial conditions.
Furthermore, if \(k>d/2+1\) and \(V=0\), and if \(a_0(\cdot ) > C_1\) and \(a_k(\cdot ) > C_2\) for constants \(C_1,C_2>0\), then \(J={{\mathbb {R}}}\), i.e., we have global existence.
In the remainder of the paper we prove this and other related results in the more general setting when \(A(\rho )\) is an elliptic differential operator fulfilling certain assumptions. The proof of local wellposedness follows the Ebin and Marsden approach, aiming to rewrite the PDE as a smooth ODE on a Hilbert manifold. In comparison to the results for fully invariant metrics new difficulties arise from the dependence of the inertia operator \(A(\rho )\) on the volume density \(\rho \). This dependence gives rise to new terms for which smoothness has to be established. Furthermore, in contrast to the fully invariant setting, even smoothness of the inertia operator \(A(\rho )\) is a non-trivial question. We solve these problems by a careful term-by-term investigation, thereby establishing smoothness. For our global wellposedness results, the proof is based on estimating semi-invariant metrics in terms of fully right-invariant metrics of the same order, thereby allowing us to utilize results from the fully right-invariant setting. Finally, we are able to show that our existence results are valid also in the smooth category by applying a no-loss-no-gain result where the original arguments of Ebin and Marsden have been translated to the situation of semi-invariant metrics on the full diffeomorphism group.
2 Semi-invariant Riemannian metrics on diffeomorphisms
2.1 Background on diffeomorphism groups
The group \({\mathrm {Diff}}(M)\) of all smooth diffeomorphisms is an infinite-dimensional Fréchet Lie group, i.e., it is a Fréchet manifold and the group operations (composition and inversion) are smooth maps [20, § I.4.6]. The corresponding Fréchet Lie algebra is the space \({\mathfrak {X}}(M)\) of smooth vector fields equipped with minus the vector field bracket.
To obtain results on existence of geodesics on \({\mathrm {Diff}}(M)\), the standard approach is to work in the Banach topology of Sobolev completions, and then use a ‘no-loss-no-gain’ in regularity result by Ebin and Marsden [15]. Therefore we introduce
which is a Hilbert manifold and a topological group. It is, however, not a Lie group, since left multiplication is not smooth (only continuous). The corresponding set of Sobolev vector fields is denoted \({\mathfrak {X}}^s(M)\). For a detailed treatment we refer to the research monograph by Inci, Kappeler, and Topalov [23].
2.2 Geodesic equation
In the following let G be a Riemannian metric on \({\mathrm {Diff}}(M)\) that is invariant with respect to the right action of the volume preserving diffeomorphism group \({\text {Diff}}_\mu (M)\), but not necessary with respect to arbitrary diffeomorphisms in \({\mathrm {Diff}}(M)\), i.e.,
for all \(\varphi \in {\mathrm {Diff}}(M), h,k\in T_{\varphi }{\mathrm {Diff}}(M)\) and \(\psi \in {\text {Diff}}_\mu (M)\). We refer to such a metric as semi-invariant.
Let \(\rho =\det (D\varphi ^{-1})\). Then any Riemannian metric of the form
is semi-invariant, i.e., satisfies the invariance property (5). Here, the inertia operator
is a field of operators that are self-adjoint (with respect to the \(L^2\) inner product) and positive.
Assumption 1
The inertia operator \(A(\rho )\) fulfills these conditions:
- (1)
For a fixed integer \(k\ge 1\) the map
$$\begin{aligned} (\rho ,u)\mapsto A(\rho )u \end{aligned}$$is a smooth differential operator \(P^{\infty }(M)\times {\mathfrak {X}}(M)\rightarrow {\mathfrak {X}}(M)\) of order \(2k-2\) in its first argument and of order 2k in its second argument.
- (2)
For any \(\rho \in P^{\infty }(M)\) the map
$$\begin{aligned} u\mapsto A(\rho )u \end{aligned}$$is a linear positive elliptic differential operator which is self-adjoint with respect to the \(L^2\) inner product.
- (3)
Let \(v\mapsto A'(\rho )^*(u,v)\) be the \(L^2\) adjoint of the \(\rho \)-derivative \(\dot{\rho }\mapsto A'(\rho )(u,\dot{\rho })\), i.e.,
$$\begin{aligned} \int _M A'(\rho )^*(u,v) \cdot w\; \mu =\int _M v \cdot \left( A'(\rho )(u,w \right) \mu \;. \end{aligned}$$(7)Then the mapping
$$\begin{aligned} (\rho ,u,v) \mapsto A'(\rho )^*(u,v) \end{aligned}$$is a smooth differential operator \(P^{\infty }(M)\times {\mathfrak {X}}(M)\times {\mathfrak {X}}(M)\rightarrow C^\infty (M)\) of order \(2k-2\) in its first argument and of order \(2k-1\) in its second and third arguments.
Example 5
An important family of inertia operators is given by
where \(a_i\) are smooth coefficient functions depending on \(\rho \). This class of inertia operators stems from semi-invariant Riemannian metrics of the form
Such metrics are common in shallow water equations and in regularized compressible fluid equations. We study metrics of this type in §2.3 and we show in Lemma 9 below that they satisfy Assumption 1 under mild conditions on the coefficient functions \(a_i\).
We now give the geodesic equation.
Theorem 6
The geodesic equation of an \({{\mathrm {Diff}}_{\mu }}(M)\)-invariant Riemannian metric on the group of smooth diffeomorphisms whose inertia operator fulfills Assumption 1 is given by the PDE
where \(v\mapsto A'(\rho )^*(u,v)\) is the adjoint of the \(\rho \)-derivative \(\dot{\rho }\mapsto A'(\rho )(u,\dot{\rho })\) as in (7).
The geodesic \(t\mapsto \varphi (t,\cdot )\) on \({\mathrm {Diff}}(M)\) is reconstructed from a solution \((\rho ,u)\) by
As before, the probability function \(\rho \) is related to \(\varphi \) via \(\rho = \det (D\varphi ^{-1})\).
Using the notation \(A(\rho )u=m\) one can rewrite (8) to obtain:
From here, one can easily deduce the similarities to the EPDiff equation: the last term in (10) is new.
Proof of Theorem 6
The energy of a path of diffeomorphisms \( \varphi = \varphi (t,x)\) is given by
Varying \(\varphi \) in the direction \(h = h(t, x)\) with \(h(0,\cdot ) = h(1,\cdot ) = 0\) we calculate
Thus we obtain for the variation of the energy functional:
Using the notation \(u=\varphi _t\circ \varphi ^{-1}\) we can rewrite this to obtain:
It remains to separate all terms involving the variation h. In the following we will treat the two terms separately. For the first term (11) we use
Thus we obtain for the first term
Using integration by parts and writing \(m=A(\rho )u\) we can rewrite this to obtain
For the second term (12) we use the variation formula of \(\rho \) in direction h (see e.g. [7])
Thus, for the second term we have
The conbination of the first and second term now gives Eq. (8). Using that
we also obtain Eq. (9). \(\square \)
The following theorem on local well-posedness is our first main result.
Theorem 7
(Local well-posedness) Let G be the \({\mathrm {Diff}}_{\mu }(M)\)-invariant metric (6) with inertia operator \(A(\rho )\) satisfying Assumption 1. Then, given any \((\varphi _0,v_0)\in T{\mathrm {Diff}}(M)\), there exists a unique non-extendable geodesic \((\varphi (t),v(t))\in C^{\infty }(J,T{\mathrm {Diff}}(M))\) on the maximal interval of existence J, which is open and contains zero.
We postpone the details of the proof to the end of §2.4. In essence, the main idea is to extend the metric and the geodesic spray to the Sobolev completion \({\mathcal {D}}^s(M)\). This allows us to interpret the geodesic equation as an ODE on a Hilbert manifold and thus to use the theorem of Picard–Lindelöff to prove local well-posedness on the completion. The statement in the smooth category then follows by a no-loss-no-gain result. By a small modification of the proof one also obtains the corresponding result with a potential.
Corollary 8
Let G be as in Theorem 7 and let \(V:P^\infty (M)\rightarrow {{\mathbb {R}}}\) be a potential functional such that its variational derivative \(\delta V/\delta \rho \) is a smooth (non-linear) differential operator of order \(2k-2\) or less. Then the statement of Theorem 7 is valid also for the flow of the Lagrangian on \(T{\mathrm {Diff}}\) given by
In the following section we discuss geodesic completeness, i.e., the question of global in time existence of solutions to the geodesic initial value problem.
2.3 Geodesic completeness
For geodesic completeness we will focus on the class of operators introduced in Example 5, i.e.,
where \(a_i\in C^{\infty }({\mathbb {R}}_{>0},{\mathbb {R}}_{\ge 0})\) are smooth coefficient functions depending on \(\rho \). For this class we are able to prove geodesic completeness—the second of our main results. First we show that the class satisfies Assumption 1:
Lemma 9
The operator (13) satisfies Assumption 1 if one of the conditions
- (1)
\(k=1\), \(a_0(\rho )>0\) and \(a_1(\rho )={\text {const}}>0\);
- (2)
\(k\ge 2\), \(a_0(\rho )>0\) and \(a_k(\rho )>0\);
is satisfied.
Proof
It is straight-forward to see that \(A(\rho )\) satisfies item (1) and (2) of Assumption 1. Note, that we use here that \(a_1\) does not depend on \(\rho \) for the case of an operator with \(k=1\). To see that it satisfies item (3) we calculate an explicit expression of the \(L^2\) adjoint:
Thus we have:
Counting derivatives we obtain that this is a smooth differential operator \(P^{\infty }(M)\times {\mathfrak {X}}(M)\times {\mathfrak {X}}(M)\rightarrow C^\infty (M)\) of order one in its first argument and of order \(k+1\) in its second and third argument. Thus all assumptions are satisfied. \(\square \)
Using this lemma we can directly apply the local well-posedness result of the previous section to obtain the result:
Corollary 10
Let A be an inertia operator of the form (13) that satisfies either condition (1) or (2) of Lemma 9. Then the geodesic equation of the corresponding \({{\mathrm {Diff}}_{\mu }}(M)\)-invariant Riemannian metric on the group of smooth diffeomorphisms
is locally well-posed in the sense of Theorem 7.
The particular form of this initial operator allows in addition to obtain a global well-posedness result and to characterize the metric completion:
Theorem 11
(Global well-posedness) Let G be a \({\mathrm {Diff}}_{\mu }(M)\)-invariant metric (6) of order \(k> \frac{d}{2}+1\) with inertia operator \(A(\rho )\) of the form (13) with \(a_1(\cdot )>C_1\) and \(a_k(\cdot )>C_2\) for some constants \(C_1,C_2>0\). We have:
- (1)
The space \(\left( {\mathrm {Diff}}(M),G\right) \) is geodesically complete, i.e., for any initial condition \((\varphi _0,v_0)\in T{\mathrm {Diff}}(M)\), the unique geodesic \((\varphi (t),v(t))\in C^{\infty }({\mathbb {R}},T{\mathrm {Diff}}(M))\) with \((\varphi (0),v(0)) = (\varphi _0,v_0)\) exist for all time t.
- (2)
The metric completion of the space \(\left( {\mathrm {Diff}}(M),{\text {dist}}^G\right) \) is the space of all Sobolev diffeomorphisms \(\mathcal {D}^k(M)\) of regularity k, as defined in § 2.1. Here \({\text {dist}}^G\) denote the induced geodesic distance function.
The proof is postponed to the end of §2.4.
2.4 Sobolev completion
We shall now extend the metric and the geodesic spray to the Sobolev completion \({\mathcal {D}}^s(M)\) of \({\mathrm {Diff}}(M)\) and establish smoothness results. The theorem of Picard and Lindelöff then gives local well-posedness of the geodesic initial value problem. From smoothness of the extended metric and additional conditions on the inertia operator we also obtain global well-posedness.
Theorem 12
Let G be a \({\mathrm {Diff}}_{\mu }(M)\)-invariant metric of the form (6).
- (1)
If the inertia operator \(A(\rho )\) satisfies Assumption 1 then G extends to a smooth \({\mathcal {D}}^s_{\mu }(M)\)-invariant metric on \({\mathcal {D}}^s(M)\) for every \(s>\frac{d}{2}+2k\).
- (2)
If the inertia operator \(A(\rho )\) is of the form (13) with \(k>\frac{d}{2}+1\) then G extends to a a smooth \({\mathcal {D}}^s_{\mu }(M)\)-invariant metric on \({\mathcal {D}}^s(M)\) for every \(s>\frac{d}{2}+1\) and \(s-k\ge 0\). If in addition \(a_0(\cdot )>C_1\) and \(a_k(\cdot )>C_2\) for some constants \(C_1,C_2>0\) then it extends to a strong Riemannian metric on the Sobolev completion \({\mathcal {D}}^k(M)\).
Remark 13
For right invariant metrics on \({\mathrm {Diff}}(M)\) it is easy to show that the theorem holds if the inertia operator A is a differential operator, cf. [15]. For more general inertia operators the situation is more complicated: for pseudodifferential operators that are represented as a Fourier multipliers the statement has been proven on the diffeomorphism group of the circle and of \({\mathbb {R}}^d\), see [6, 17]. For arbitrary compact manifolds no results beyond the class of differential operators are known.
Proof
The metric in terms of \(h,k\in T_{\varphi }{\mathcal {D}}^s(M)\) is given by
Since inversion \(\varphi \mapsto \varphi ^{-1}\) is only continous, but not \(C^1\), the smoothness of the metric is not clear a priori.
To show the smoothness of the metric we adopt the strategy devised for \({\mathrm {Diff}}(M)\)-invariant metrics on \({\mathcal {D}}^s(M)\): by a change of coordinates we write the metric as
Since the mapping \(\varphi \mapsto \varphi ^*\mu = \det (D\varphi )\mu \) is smooth for \(s>\frac{d}{2}+1\) the smoothness of the metric reduces to the smoothness of the bundle operator
where \(T^{s-2k}{\mathcal {D}}^s(M)\) denotes the bundle above \({\mathcal {D}}^s(M)\) whose fiber vectors belong to \(H^{s-2k}(M,TM)\) (see Ebin and Marsden [15] for details on this infinite dimensional vector bundle). Now the smoothness statement follows directly from Lemma 27 using Assumption 1. Note that we need only a slightly weaker condition to get smoothness of the metric, namely A can be of one order higher in \(\rho \) as compared to the assumptions.
Using the particular form of the inertia operator in item (2) of the theorem we are able to significantly weaken the assumptions on the Sobolev order s. Therefore we decompose A as
with the \(M_{a_i(\rho )}\) operator being multiplication by \(a_i(\rho )\). We then have
We can thus show the desired smoothness result by analyzing the components. The operators \(\nabla ^i\) and its adjoint are constant coefficient differential operators, thus we can use the results for fully right invariant metric to obtain that the mappings
are smooth for \(1\le i\le k\), see e.g. [15]. It remains to study the conjugation of the multiplication operator. Here we use that
Thus, using the proof of Lemma 27, the smoothness of the mapping
follows for \(0\le q\le s-1\). Here we used the Sobolev embedding theorem. It remains to show that G is a strong metric on the Sobolev completion \({\mathcal {D}}^{k}(M)\). Since we assumed that \(a_k(\rho )>C_2>0\) and \(a_0(\rho )>C_1>0\) it follows that the metric is uniformly stronger than the \({\mathrm {Diff}}(M)\)-right invariant Sobolev metric \({\bar{G}}\) with inertia operator \(1+\Delta ^k\). Thus the metric G is a strong Riemannian metric on \({\mathcal {D}}^{k}(M)\) as this statement holds for the metric \({\bar{G}}\), cf. [9]. \(\square \)
We are now in position to prove local well-posedness of the geodesic equation on the Sobolev completions.
Theorem 14
Let G be the \({{\mathrm {Diff}}_{\mu }}(M)\)-invariant metric with inertia operator \(A(\rho )\) fulfilling Assumption 1. Let \(s>\frac{d}{2}+2k\) . Then, given any \((\varphi _0,v_0)\in T{\mathcal {D}}^{s}(M)\), there exists a unique non-extendable geodesic \((\varphi (t),v(t))\in C^{\infty }(J^s,T{\mathcal {D}}^{s}(M))\) on the maximal interval of existence \(J^s\), which is open and contains zero.
Proof
We prove that the geodesic equation is an ODE on the Banach manifold \(T{\mathcal {D}}^s(M)\) for a smooth vector field F on \(T{\mathcal {D}}^s(M)\) of the form
where \(S_{\varphi } = R_{\varphi }\circ S \circ R_{\varphi ^{-1}}\) with
Note the new term \(\nabla _u u\) as compared to the geodesic equation (8) expressed in u. Incorporating this term we get
To simplify the presentation, we introduce the notation
Then
where
It is immediate that \(Q^2,\ldots ,Q^4\) are smooth differential operators \(P^\infty (M)\times {\mathfrak {X}}(M) \rightarrow {\mathfrak {X}}(M)\) of order \(2k-1\) in their first argument and order 2k in their second argument. Thus, for \(i=2,3,4\) it follows from Lemma 27 (see Appendix B below) that \((\varphi ,h)\mapsto Q^i_\varphi (h)\) are smooth as maps \(T{\mathcal {D}}^s(M)\rightarrow T^{s-2k}{\mathcal {D}}^s(M)\).
The proof that \(Q^1\) is a smooth differential operator of order 2k is more intricate. For this, we use that the differentiating part of the differential operator \(u\mapsto \nabla _v u\) acts diagonally on u and is tensorial (takes no derivatives) in v. Indeed, it is of the form \(\nabla _v u = K_1(v)u + \sum _{i}(K_2(v) u^i) \frac{\partial }{\partial x^i}\), where \((u,v)\mapsto K_1(v)u\) is a bilinear tensorial map and \(K_2(v)\) is tensorial in v and a scalar differential operator of order 1 in \(u^i\) (see, e.g., [35, p. 1317] for details). Consequently, the commutator is of the form
where \((\rho ,f)\mapsto \alpha ^i_j(\rho )f\) are differential operators of order \(2k-2\) in \(\rho \) and 2k in f. The first commutator term is of order \(2k-2\) in \(\rho \) and 2k in u since \(K_1\) is tensorial. The other commutators are also of order 2k in u, since the commutator between two scalar differential operators of order 2k and 1 gives a differential operator of order 2k (the \(2k+1\) order derivatives cancel). However, we loose one derivative in \(\rho \), so the remaining commutators are of order \(2k-1\) in \(\rho \). Using Lemma 27 this proves that \((\varphi ,h)\mapsto Q^1_\varphi (h)\) is smooth as a mapping \(T{\mathcal {D}}^s(M)\rightarrow T^{s-2k}{\mathcal {D}}^s(M)\).
It remains to show that \(A_\varphi ^{-1}\) is a smooth mapping \(T^{s-2k}{\mathcal {D}}^s(M)\rightarrow T{\mathcal {D}}^s(M)\). Using that \(A(\rho )\) is a 2k-safe operator in the terminology of [38] allows us to use elliptic regularity theory for differential operators with non-smooth coefficients see [38]. Thus we obtain that the operator \(A(\rho ):{\mathfrak {X}}^s(M)\rightarrow {\mathfrak {X}}^{s-2k}(M)\) is invertible with inverse \(A(\rho ):{\mathfrak {X}}^{s-2k}(M)\rightarrow {\mathfrak {X}}^{s}(M)\) by Assumption 1. From here it follows that \(A_\varphi :{\mathfrak {X}}^s(M)\rightarrow {\mathfrak {X}}^{s-2k}(M)\) is invertible as well since
Since the map
is smooth, cf. the proof of Theorem 12, the smoothness of the map
follows, which concludes the proof. \(\square \)
The proof of Theorem 14 can easily be modified to handle also a potential functional as in the Main Theorem in the introduction.
Corollary 15
Let G be as in Theorem 14 and let \(V:P^{s-1}(M)\rightarrow {{\mathbb {R}}}\) be a potential functional such that its variational derivative \(\delta V/\delta \rho \) is a smooth (non-linear) differential operator of order \(2k-2\) or less. Then the statement of Theorem 14 is valid also for the flow of the Lagrangian on \(T\mathcal {D}^{s}\) given by
Proof
What changes in the equations when introducing the potential is the operator \(Q^4\) in the proof of Theorem 14. It becomes
If \(\delta V/\delta \rho \) is a smooth differential operator of order \(2k-2\) then \(Q^4\) remains of order \(2k-1\) in \(\rho \), as needed in the proof of Theorem 14. \(\square \)
With stronger assumptions on the inertia operator A we are able to prove metric and geodesic completeness.
Theorem 16
Let G be a \({\mathrm {Diff}}_{\mu }(M)\)-invariant metric of order \(k> \frac{d}{2}+1\) with inertia operator \(A(\rho )\) of the form (13) with \(a_1(\cdot )>C_1\) and \(a_k(\cdot )>C_2\) for some constants \(C_1,C_2>0\). We have:
- (1)
The space \(\left( {\mathcal {D}}^{k}(M),{\text {dist}}^G\right) \) is a complete metric space, where \({\text {dist}}^G\) denotes the induced geodesic distance function.
- (2)
For any \(s\ge k\) and any \((\varphi _0,v_0)\in T {\mathcal {D}}^{s}(M)\), the unique geodesic \((\varphi (t),v(t))\in C^{\infty }({\mathbb {R}},T {\mathcal {D}}^{s}(M))\) exist for all time \(t\in {\mathbb {R}}\), i.e., the space \(\left( {\mathcal {D}}^{s}(M), G\right) \) is geodesically complete.
Proof
By Theorem 12 the metric G extends to a smooth Riemannian metric on the Sobolev completion \({\mathcal {D}}^{s}(M)\), for \(s\ge k\) and to a smooth and strong Riemannian metric for \(s=k\). Since we assumed that \(a_k(\rho )>0\) and \(a_0(\rho )>0\) it follows that the metric is uniformly stronger than the \({\mathrm {Diff}}(M)\) right invariant Sobolev metric \({\bar{G}}\) with inertia operator \(1+\Delta ^k\). This implies that the space \(\left( {\mathcal {D}}^{s}(M),d^{G}\right) \) is a complete metric space. Here we used that this statement holds for the metric \({\bar{G}}\), cf. [9]. By [29] metric completeness of strong Riemannian metrics implies geodesic completeness.Footnote 1 Thus the geodesic initial value problem on the space \({\mathcal {D}}^{k}(M)\) is globally (in time) well-posed. The result for \({\mathcal {D}}^{s}(M)\) with \(s\ge k\) follows by the no-loss-no-gain result Lemma 26 (as in Ebin and Marsden [15]). \(\square \)
The proof of our main results (local and global well-posedness in the smooth category) now follows from a no-loss-no-gain result in Appendix A.
Proof of Theorem 7 and Theorem 11
The proof of this result is now an immediate consequence of Theorem 16, Theorem 14 and Lemma 26 in Appendix A below. \(\square \)
2.5 Outlook for semi-invariant metrics
The results in this section point toward a systematic study of semi-invariant Riemannian metrics on \({\mathrm {Diff}}(M)\). Indeed, inspired by developments for right invariant metrics, there are several follow-ups. For example:
A study of sectional curvature and Fredholm properties of the Riemannian exponential, such as carried out for fully right invariant metrics by Misiołek and Preston [34]. This has direct implications on the stability of perturbations.
Stronger results on geodesic completeness. It is likely that our result can be extended to a much larger class of semi-invariant metrics. In particular, a setting of Theorem 12 that replaces the condition \(a_k(\cdot )>C_2\) with the more natural one \(a_k(\cdot ) > 0\). Our result now is based on domination by a right invariant metric for which geodesic completeness holds.
A study of gradient flows on \(P^\infty (M)\), as Otto [39] did for the \(L^2\) metric, for general semi-invariant metrics.
An investigation of vanishing geodesic distance. There is a general result that fully right invariant metrics always have positive geodesic distance if the order is high enough. The right invariant \(L^2\) metric is known to have vanishing geodesic distance (that is, any two points can be joined by a geodesic that can be made arbitrarily short). Are there corresponding results for semi-invariant metrics?
In light of the geometric interpretation of shallow water equations as Newton-type systems on \({\mathrm {Diff}}(M)\), one could consider higher-order metrics as a way to obtain more accurate shallow water models.
3 Application: Riemannian metrics on probability densities
We mentioned already in the introduction that an important application of semi-invariant metric on \({\mathrm {Diff}}(M)\) is that they induce new Riemannian structures on the space \(P^\infty (M)\) of probability densities. Indeed, the resulting geometry on \(P^\infty (M)\) can be interpreted as a generalized optimal transport model. In this section we give formulas for the induced metric, and we give existence results based on the theorems of §2. The difficulty from the point-of-view of analysis is that one cannot directly work with Sobolev completions of \(P^\infty (M)\); one has to work on \({\mathrm {Diff}}^s(M)\), then let \(s\rightarrow \infty \), and then project to \(P^\infty (M)\). Thus, the no-loss-no-gain theorem in Appendix A is essential here.
The results we present here, for semi-invariant metric, are straightforward adaptations of the results for right invariant metrics presented in [7].
3.1 Background on probability densities
An extended version of this subsection, containing all proofs, can be found in [7]. Here we will only present the results needed in the remainder.
The space \(P^\infty (M)\) of smooth probability densities is naturally equipped with an infinite-dimensional Fréchet topology, making it a Fréchet manifold [20, § III.4.5]. Its tangent bundle is thereby also a Fréchet manifold, and the tangent spaces are given by
Notice that \(T_\rho P^\infty (M)\) is independent of \(\rho \); this is because \(P^\infty (M)\) is an open subset of an affine space.
Analogous to the situation for the group of diffeomorphisms, the space of Sobolev probability densities
is a Banach manifold. From the point-of-view of the Sobolev embedding theorem, we need \(s>\frac{d}{2}\) to ensure that the condition \(\rho >0\) is well-defined point-wise.
The group of diffeomorphisms \({\mathrm {Diff}}(M)\) acts on \(P^\infty (M)\) from the left by pushforward of densities
By a result of Moser [36] this actions is transitive. Thus, the action on the unit dentity \(\rho \equiv 1\) yields a projection \({\mathrm {Diff}}(M)\rightarrow P^\infty (M)\). We shall need the following result of Hamilton.
Theorem 17
The set of volume preserving diffeomorphisms
is a closed Fréchet Lie subgroup. Furthermore, the projection
is a smooth principal \({{\mathrm {Diff}}_{\mu }}(M)\)-bundles over \(P^\infty (M)\) with respect to the left action of \({{\mathrm {Diff}}_{\mu }}(M)\) on \({\mathrm {Diff}}(M)\). Hence, the set of left cosets
is identified with \(P^\infty (M)\) by \(\pi \).
For the projections \(\pi \) we can calculate the corresponding vertical bundles, defined by the kernel of the tangent mapping.
Lemma 18
The vertical bundle of the projection \(\pi \) is given by
As the proof of this lemma contains an important calculation for the remainder we repeat it here.
Proof
To calculate the differential of the projection mapping let \(\phi (t,\cdot )\) be a path of diffeomorphisms with
We then use
to obtain
where \(\rho =\det (D\varphi ^{-1})\). \(\square \)
The projection \(\pi \) can also be extended to the Sobolev category. It turns out, however, that this extension is continous but not smooth:
Lemma 19
Let \(s>\frac{d}{2}+1\) and let \(\pi \) be the projection as defined in Theorem 17. Then \(\pi \) extends to a surjective mapping
This mapping is \(C^0\) but not \(C^1\).
3.2 Induced metric
We shall now calculate the induced metric on \(P^\infty (M)\) for a semi-invariant metric on \({\mathrm {Diff}}(M)\) corresponding to an operator \(A(\rho )\) as in (6).
We first address the question of existence of the horizontal bundle.
Lemma 20
Let G be an \({\text {Diff}}_\mu (M)\)-invariant metric on \({\mathrm {Diff}}(M)\) of the form (6). Then the horizontal bundle with respect to the projection \(\pi \) exists in the Fréchet topology as a complement of the vertical bundle \({\text {Ver}}^l\). It is given by
where \(\rho =\det (D\varphi ^{-1})\). Thus, every vector \(X\in T_\varphi {\mathrm {Diff}}(M)\) has a unique decomposition \(X=X^{{\text {Ver}}}+X^{{\text {Hor}}}\) with \(X^{{\text {Ver}}}\in {\text {Ver}}_{\varphi }(\pi )\) and \(X^{{\text {Ver}}}\in {\text {Hor}}_{\varphi }(\pi )\).
Proof
Let \(h=u\circ \varphi \in T_{\varphi }{\mathrm {Diff}}(M)\). Then \(h\in {\text {Hor}}_{\varphi }(\pi )\) if and only if
Let \(k=v\circ \varphi \) and \(\rho = \det (D\varphi ^{-1})\). Using the characterization of \({\text {Ver}}_{\varphi }(\pi )\) in Lemma 18 this yields
Consider now the vector field \(w=\frac{1}{\rho }A({\rho })u\). The Hodge decomposition for w yields
with unique components \(p\in C^{\infty }(M)/{{\mathbb {R}}}\) and \({\tilde{w}}\in {{\mathfrak {X}}_{\mu }}(M) = \{u\in {\mathfrak {X}}(M)\mid {{\,\mathrm{div}\,}}u =0 \}\). Thus, we can decompose u as
with both \(A(\rho )^{-1}(\rho \nabla p)\) and \(A(\rho )^{-1}(\rho {\tilde{w}})\) in \({\mathfrak {X}}(M)\). Plugging (15) into (14) then yields
Using integration by parts, the first term vanishes
Thus, \(k=u\circ \varphi \) is horizontal if u is of the form \(A(\rho )^{-1}(\rho \nabla f)\). It remains to show that if \({\tilde{w}}\ne 0\), then \(u\circ \varphi \) is not horizontal. For this, we note that \(v=\frac{1}{\rho }{\tilde{w}}\) satisfies \({\text {div}}(\rho v)=0\) and
This concludes the characterization of the horizontal bundle. \(\square \)
A consequence of Lemma 20 is that the Riemannian metric G induces a Riemannian metric on \(P^\infty (M)\). To see what the induced metric is, we need to calculate the horizontal lift of a tangent vector \({\dot{\rho }}\in T_\rho P^\infty (M)\). To this end we introduce a field of pseudo differential operators over \(P^\infty (M)\) given by
Geometrically, one should think of the field \({\bar{A}}({\rho })^{-1}\) as the inverse of a Legendre transform (we shall see later that it actually is), identifying (the smooth part of) the cotangent bundle \(T^* P^\infty (M)\simeq P^\infty (M)\times C^\infty (M)/{{\mathbb {R}}}\) with the tangent bundle \(T P^\infty (M)\simeq P^\infty (M)\times C^\infty _0(M)\).
Lemma 21
Let \(A(\rho )\) be a field of positive elliptic differential operators of order 2k, self-adjoint with respect to the \(L^2\) inner product. For any \(\rho \in P^\infty (M)\) the pseudo differential operator operator \({\bar{A}}({\rho })^{-1}\) of order \(-2k+2\) defined in (16) is an isomorphism.
Proof
Using integration by parts, \({\bar{A}}({\rho })^{-1}\) is self adjoint since \(A(\rho )^{-1}\) is. For any q in \({\mathbb {N}} \cup \infty \) we can extend \({\bar{A}}({\rho })^{-1}\) to a bounded linear operator \(H^q(M)/{\mathbb {R}}\rightarrow H^{q+2k-2}_0(M)\). To prove that \({\bar{A}}({\rho })^{-1}\) is an elliptic operator, we decompose it in its components
where \(M_{\rho }\) is the multiplication operator with \(\rho \). \(M_{\rho }\) is elliptic since \(\rho (x)>0\) for all \(x\in M\). Thus, \({\bar{A}}({\rho })^{-1}\) is weakly elliptic as it is a composition of weakly elliptic operators; here one uses the fact that the principal symbol is multiplicative, see [30, Sect. 4]. As a next step, we want to determine the kernel of \({\bar{A}}({\rho })^{-1}\).
for all \(p\ne [0] \in H^q(M)/{{\mathbb {R}}}\). Here we use that
for all \(u\in {\mathfrak {X}}(M)\backslash \{ 0\}\). Thus \({\bar{A}}({\rho })^{-1}\) is injective, as it is strictly positive on \(H^q(M)/{\mathbb {R}}\). Since it is Fredholm with index zero it is also surjective. The isomorphism result is valid for smooth functions due to elliptic regularity, see [30, Sect. 5]. \(\square \)
We now obtain an isomorphism between \({\text {Hor}}_\varphi \) and \(T_{\pi (\varphi )}P^\infty (M)\).
Lemma 22
Let G be a \({\text {Diff}}_\mu \)-invariant metric on \({\mathrm {Diff}}(M)\) of the form (6). Then
is an isomorphism. The inverse is given by
where
Proof
The horizontal lift of a tangent vector \({\dot{\rho }} \in T_{\rho }P^\infty (M) \) is the unique horizontal vector field u such that
where \(\varphi \) is some diffeomorphism with \(\pi (\varphi )=\rho \). Using the characterization of the horizontal bundle and the formula for \(T\pi \) this yields the equation
The above lifting equation can be rewritten as
Applying \({\bar{A}}({\rho })\) to the above equation yields the desired result. \(\square \)
Using Lemma 22 we obtain the formula for the induced metric on \(P^\infty (M)\).
Proposition 23
Let G be a \({\text {Diff}}_\mu \)-invariant metric on \({\mathrm {Diff}}(M)\) of the form (6), with inertia operator \(A({\rho })\) as in Lemma 21 of order 2k. Then the induced metric on \(P^\infty (M)\) is given by
The pseudo-differential operator \({\bar{A}}({\rho })\) is of order \(2k-2\), so \({\bar{G}}\) is of order \(k-1\).
Proof
From Lemma 22 for the horizontal lift of a tangent vector we get
Using integration by parts and that A is self-adjoint we obtain
Since \({\bar{A}}_{\rho }^{-1}={\text {div}} \rho A^{-1} \rho \nabla \) this equals
The order of the pseudodifferential operator \({\bar{A}}_\rho \) follows by counting derivatives. \(\square \)
The following lemma connects (local and global) well-posedness of the geodesic initial value problem on \({\mathrm {Diff}}(M)\) to well-posedness on \(P^\infty (M)\) equipped with the induced quotient metric.
Lemma 24
Let G be a \({\text {Diff}}_\mu \)-invariant metric on \({\mathrm {Diff}}(M)\) of the form (6). Assume that given any \((\varphi _0,v_0)\in T{\mathrm {Diff}}(M)\), there exists a unique non-extendable geodesic \((\varphi (t),v(t))\in C^{\infty }(J,T{\mathrm {Diff}}(M))\) defined on the maximal interval of existence J, which is open and contains zero.
Let \({\bar{G}}\) be the induced metric on \(P^\infty (M)\). Then, given any \((\rho _0,\dot{p}_0)\in T P^\infty (M)\), there exists a unique non-extendable geodesic \((\rho (t),p(t))\in C^{\infty }(J,T P^\infty (M))\) defined on the same maximal interval of existence J.
Proof
To prove this result, we need, for any choice of initial data \((\rho _0,p_0)\), to construct a solution \((\rho ,p) \in C^{\infty }(J,T P^\infty (M))\) to the geodesic initial value problem with \(\rho (0)=\rho _0\) and \(p(0) = p_0\). To this end, let \(\varphi _0\) be an arbitrary diffeomorphism such that \(\varphi _{0*}\mu = \rho _0\mu \). Let \(\dot{\rho }_0 = {\bar{A}}({\rho _0})^{-1}p_0\). Using Lemma 22 we can lift \((\rho _0,\dot{\rho }_0)\) to a unique horizontal vector \(u_0\circ \varphi _0 \in T_{\varphi _0}{\mathrm {Diff}}(M)\). Thus, using the assumptions, we obtain a unique solution \((\varphi ,v)\) with \(\varphi (0) = \varphi _0\) and \(v(0) = \dot{\varphi }_0\circ \varphi _0^{-1}=v_0\) on a non-empty maximal existence interval J containing 0. Since \(\dot{\varphi }(0) \in {\text {Hor}}_{\varphi (0)}\) it follows that \(\dot{\varphi }(t) \in {\text {Hor}}_{\varphi (t)}\) for every \(t\in J\) and thus it projects to a geodesic on \(P^\infty (M)\), since the two metrics are related by a Riemannian submersion. From here the result follows. \(\square \)
As an immediate consequence is the following theorem on local and global well-posedness on the space of densities.
Theorem 25
Let G be a \({\text {Diff}}_\mu \)-invariant metric on \({\mathrm {Diff}}(M)\) of the form (6) and let \({\bar{G}}\) be the induced metric on \(P^\infty (M)\). We have:
- (1)
If the inertia operator \(A(\rho )\) satisfies Assumption 1 then the geodesic initial value problem on \( P^\infty (M)\) is locally well-posed, i.e, given any \((\rho _0,\dot{p}_0)\in T P^\infty (M)\) there exists a unique non-extendable geodesic \((\rho (t),p(t))\in C^{\infty }(J,T P^\infty (M))\) defined on the maximal interval of existence J, which is open and contains zero.
- (2)
Let \(A(\rho )\) be of the form (13) with \(a_1(\cdot )>C_1\) and \(a_k(\cdot )>C_2\) for some constants \(C_1,C_2>0\) and with \(k> \frac{d}{2}+1\). Then the space \(\left( P^\infty (M),{\bar{G}}\right) \) is geodesically complete, i.e., for any initial condition \((\rho _0,\dot{p}_0)\in T P^\infty (M)\) there exists a unique geodesic \((\rho (t),p(t))\in C^{\infty }(J,T P^\infty (M))\) with interval of existence \(J={\mathbb {R}}\).
Notes
This is the only statement of the Hopf–Rinow theorem that holds in infinite dimensions.
References
Amari, S., Nagaoka, H.: Methods of information geometry, vol. 191 of Translations of Mathematical Monographs, American Mathematical Society, Providence, RI, translated from the 1993 Japanese original by Daishi Harada, (2000)
Arnold, V.I.: Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l’hydrodynamique des fluides parfaits. Ann. Inst. Fourier (Grenoble) 16, 319–361 (1966)
Arnold, V.I., Khesin, B.A.: Topological Methods in Hydrodynamics, Applied Mathematical Sciences, vol. 125. Springer, New York (1998)
Ay, N., Jost, J., Lê, H.V., Schwachhöfer, L.: Information geometry and sufficient statistics. Probab. Theory Relat. Fields 162, 327–364 (2015)
Bauer, M., Bruveris, M., Michor, P.W.: Uniqueness of the Fisher-Rao metric on the space of smooth densities. Bull. Lond. Math. Soc. 48, 499–506 (2016a)
Bauer, M., Escher, J., Kolev, B.: Local and global well-posedness of the fractional order EPDiff equation on \(\mathbb{R}^d\). J. Differ. Equ. 258, 2010–2053 (2015)
Bauer, M., Joshi, S., Modin, K.: On geodesic completeness for Riemannian metrics on smooth probability densities. Calc. Var. Partial Differ. Equ. 56, Art. 113, 18 (2017)
Bauer, M., Kolev, B., Preston, S.C.: Geometric investigations of a vorticity model equation. J. Differ. Equ. 260, 478–516 (2016b)
Bruveris, M., Vialard, F.-X.: On completeness of groups of diffeomorphisms. J. Eur. Math. Soc. (JEMS) 19, 1507–1544 (2017)
Camassa, R., Holm, D.D.: An integrable shallow water equation with peaked solitons. Phys. Rev. Lett. 71, 1661 (1993)
Cencov, N.N.: Statistical Decision Rules and Optimal Inference, 53rd edn. American Mathematical Society, Rhode Island (2000)
Chizat, L., Peyré, G., Schmitzer, B., Vialard, F.-X.: An interpolating distance between optimal transport and Fisher-Rao metrics. Found. Comput. Math. 18, 1–44 (2018)
Clamond, D., Dutykh, D., Mitsotakis, D.: Conservative modified Serre–Green–Naghdi equations with improved dispersion characteristics. Commun. Nonlinear Sci. Numer. Simul. 45, 245–257 (2017)
Constantin, P., Lax, P.D., Majda, A.: A simple one-dimensional model for the three-dimensional vorticity equation. Commun. Pure Appl. Anal. 38, 715–724 (1985)
Ebin, D.G., Marsden, J.E.: Groups of diffeomorphisms and the notion of an incompressible fluid. Ann. Math. 92, 102–163 (1970)
Escher, J., Kolev, B.: Geodesic completeness for Sobolev \({H}^s\)-metrics on the diffeomorphisms group of the circle. J. Evol. Equ., 1308.3570 (2014)
Escher, J., Kolev, B.: Right-invariant Sobolev metrics of fractional order on the diffeomorphism group of the circle. J. Geom. Mech. 6, 335–372 (2014)
Escher, J., Kolev, B., Wunsch, M.: The geometry of a vorticity model equation. Commun. Pure Appl. Anal. 11, 1407–1419 (2012)
Gay-Balmaz, F., Ratiu, T.S.: The geometry of the universal Teichmüller space and the Euler–Weil–Petersson equation. Adv. Math. 279, 717–778 (2015)
Hamilton, R.S.: The inverse function theorem of Nash and Moser. Bull. Am. Math. Soc. (N.S.) 7, 65–222 (1982)
Holm, D.D., Marsden, J.E.: Momentum maps and measure-valued solutions (peakons, filaments, and sheets) for the EPDiff equation. In: Marsden, J.E., Ratiu, T.S. (eds.) The Breadth of Symplectic and Poisson Geometry, pp. 203–235. Springer, Berlin (2005)
Hunter, J.K., Saxton, R.: Dynamics of director fields. SIAM J. Appl. Math. 51, 1498–1521 (1991)
Inci, H., Kappeler, T., Topalov, P.: On the Regularity of the Composition of Diffeomorphisms, vol. 226 of Memoirs of the American Mathematical Society, 1st edn. American Mathematical Society, Providence (2013)
Ionescu-Kruse, D.: Variational derivation of the Green-Naghdi shallow-water equations. J. Nonlinear Math. Phys. 19, 1–12 (2012)
Khesin, B., Lenells, J., Misiołek, G., Preston, S.C.: Geometry of diffeomorphism groups, complete integrability and geometric statistics. Geom. Funct. Anal. 23, 334–366 (2013)
Khesin, B., Misiolek, G., Modin, K.: Geometric hydrodynamics via Madelung transform. Proc. Natl. Acad. Sci. USA 115, 6165–6170 (2018)
Kolev, B.: Local well-posedness of the EPDiff equation: a survey. J. Geom. Mech. 9, 167–189 (2017)
Kouranbaeva, S.: The Camassa-Holm equation as a geodesic flow on the diffeomorphism group. J. Math. Phys. 40, 857–868 (1999)
Lang, S.: Fundamentals of differential geometry. Graduate Texts in Mathematics, 191st edn. Springer, New York (1999)
Lawson Jr., H.B., Michelsohn, M.-L.: Spin Geometry. Princeton Mathematical Series, vol. 38. Princeton University Press, Princeton (1989)
Lenells, J.: The Hunter–Saxton equation: a geometric approach. SIAM J. Math. Anal. 40, 266–277 (2008)
Misiołek, G.: A shallow water equation as a geodesic flow on the Bott-Virasoro group. J. Geom. Phys. 24, 203–208 (1998)
Misiolek, G.: Classical solutions of the periodic Camassa–Holm equation. Geom. Funct. Anal. 12, 1080–1104 (2002)
Misiołek, G., Preston, S.C.: Fredholm properties of Riemannian exponential maps on diffeomorphism groups. Invent. Math. 179, 191–227 (2010)
Modin, K.: Generalized Hunter-Saxton equations, optimal information transport, and factorization of diffeomorphisms. J. Geom. Anal. 25, 1306–1334 (2015)
Moser, J.: On the volume elements on a manifold. Trans. Am. Math. Soc. 120, 286–294 (1965)
Mumford, D., Michor, P.W.: On Euler’s equation and ’EPDiff’. J. Geom. Mech. 5, 319–344 (2013)
Müller, O.: Applying the index theorem to non-smooth operators. J. Geom. Phys. 116, 140–145 (2017)
Otto, F.: The geometry of dissipative evolution equations: the porous medium equation. Commun. Partial Differ. Equ. 26, 101–174 (2001)
Ovsienko, V.Y., Khesin, B.: The super Korteweg-de Vries equation as an Euler equation. Funktsional. Anal. i Prilozhen 21, 81–82 (1987)
Piccoli, B., Rossi, F.: Generalized Wasserstein distance and its application to transport equations with source. Arch. Ration. Mech. Anal. 211, 335–358 (2014)
Piccoli, B., Rossi, F.: On properties of the generalized Wasserstein distance. Arch. Ration. Mech. Anal. 222, 1339–1365 (2016)
Schachter, B.: A new class of first order displacement convex functionals. SIAM J. Math. Anal. 50, 1779–1789 (2018)
Villani, C.: Optimal Transport: Old and New. Grundlehren der Mathematischen Wissenschaften, vol. 338. Springer, Berlin (2009)
Acknowledgements
Open access funding provided by Chalmers University of Technology. We are grateful to Dimitrios Mitsotakis who pointed us to the geometric interpretation of the Serre–Green–Naghdi equation. We would also like to thank Sarang Joshi and François-Xavier Vialard for helpful discussions. The first author was supported by NSF-grant 1912037 (collaborative research in connection with NSF-grant 1912030). The second author was supported by the Swedish Foundation for International Cooperation in Research and Higher Eduction (STINT) grant No PT2014-5823, and by the Swedish Research Council (VR) grant No 2017-05040.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Jost.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. No-loss-no-gain for semi-invariant flows
In the following we will show that the class of \({\text {Diff}}_\mu \)-invariant metrics possesses a remarkable geometric property: there is no loss or gain of regularity during the geodesic evolution. Our result is a generalization of the classical no-loss-no-gain result for fully right invariant metrics, first proved by Ebin and Marsden [15].
Lemma 26
(no-loss-no-gain) Let \(F:T{\mathrm {Diff}}(M)\rightarrow TT{\mathrm {Diff}}(M)\) be a \({\text {Diff}}_\mu \)-equivariant vector field on \(T{\mathrm {Diff}}(M)\). Assume that F extends to a smooth vector field \(F^s\) on \(T{\mathcal {D}}^{s}(M)\) for all \(s \ge s_0\) for some \(s_0 > \frac{d}{2}+1\) and let \(J_s\) denote the maximal interval of existence of the solution to the corresponding initial value problem on \(T{\mathcal {D}}^{s}(M))\) with initial conditions \((\varphi _0,v_0)\in T{\mathcal {D}}^{s}(M)\).
If \((\varphi _0,v_0)\in T{\mathcal {D}}^{s+1}(M)\) then \(J_{s+1}(\varphi _0,v_0)=J_s(\varphi _0,v_0)\), i.e., the flow of the vector field F has no loss or gain in regularity on its maximal interval of existence.
The proof of this result follows the lines of the proof for geodesic sprays of right invariant metrics in [15, Thm. 12.1 and Lem. 12.2] with only minor adaptations. In fact [15, Lem. 12.2] is already formulated for all of \({\mathcal {D}}^{s}(M)\) and uses only the invariance with respect to divergence free vector fields.
Proof
We start by proving the following claim, which is essentially [15, Lem. 12.2].
Claim A ( [15, Lem. 12.2]): Let \(\varphi \in {\mathcal {D}}^{s}(M)\). If \(T\varphi .X: M\rightarrow TM\) is an \(H^s\)-map for all \(X\in T_{{\text {id}}} {\mathcal {D}}^{s}_{\mu }(M)\) then \(\varphi \in {\mathcal {D}}^{s+1}(M)\).
Let \(p\in M\). We choose an open neighborhood U of p and coordinates \(x^i\) such that \(\mu |_{U}=dx^1\wedge \ldots \wedge dx^d\). The idea of the proof is to construct divergence free vector fields X, that are locally acting as the i-th derivative, i.e., \(T\varphi .X=\frac{\partial }{\partial _{x_i}}\varphi \). Therefore let \(\lambda \) be a smooth function with support in U, that is constant one on a smaller neighborhood \(V\subset U\). Consider the vector field X on U via
where \(\lambda _{x_i}\) denotes the i-th partial derivative of \(\lambda \). Since X has compact support in U, it can be extended to a smooth vector field to all of M by letting it zero outside of U. A direct calculation shows that \({\text {div}} X=0\) and thus \(X\in T_{{\text {id}}} {\mathcal {D}}^{s}_{\mu }(M)\). On the smaller neighborhood V the vector field X is \((1,0,\ldots ,0)\) and thus
Here we used that \(T\varphi .X|_V=\sum _{i=1}^d \frac{\partial }{\partial _{x_i}}(\varphi ) X^i\) on U. Using (17) it follows that \(T\varphi .X\) is \(H^s(V)\) if and only if \(\frac{\partial }{\partial _{x_i}}\varphi \) is of class \(H^s\). Now the statement follows by iterating the argument for all other coordinates.
Let \({\text {Flow}}^s_t(\varphi _0,v_0)\) be the vector flow of the smooth vector field \(F^s\) on \(T{\mathcal {D}}^{s}(M))\) with initial conditions \((\varphi _0,v_0)\in T{\mathcal {D}}^{s}(M)\). Recall that \({\text {Flow}}^s_t(\varphi _0,v_0)\) is defined for \(t\in J_s(\varphi _0,v_0)\). We need to prove that for initial conditions \((\varphi _0,v_0)\in T{\mathcal {D}}^{s+1}(M)\) the flow \({\text {Flow}}^s_t(\varphi _0,v_0) \in {\mathcal {D}}^{s+1}(M)\) for all \(t\in J_s(\varphi _0,v_0)\). The strategy is to prove that \(T\varphi .X\) for \(\varphi ={\text {Flow}}^s_t(\varphi _0,v_0)\) is an \(H^s\)-map for each \(X\in {\mathfrak {X}}_\mu (M)\) and then use Claim A.
Let \(\eta (\tau )\) be the one parameter subgroup generated by some divergence free vector field \(X\in T_{{\text {id}}} {\mathcal {D}}^s_{\mu }(M)\). Using the invariance of the vector field (flow resp.) under volume preserving diffeomorphisms we have
Differentiating this equation at \(\tau =0\) we obtain
Now, the right-hand side is an \(H^s\)-map since \(T{\text {Flow}}^s_t:TT{\mathcal {D}}^s(M)\rightarrow T{\mathcal {D}}^s(M)\) is smooth and
since \((\varphi _0,v_0)\in T{\mathcal {D}}^{s+1}(M)\). Thus, the left-hand side \(T\varphi .X\) also has to be an \(H^s\)-map and the result follows from Claim A. We have now shown that \(J_{s}(\varphi _0,v_0)\subset J_{s+1}(\varphi _0,v_0)\). By definition \(J_{s+1}(\varphi _0,v_0)\subset J_s(\varphi _0,v_0)\) and thus the result follows. \(\square \)
Appendix B. Smoothness lemma
The following lemma is fundamental in the proof of smoothness of the metric and spray on the Sobolev completion \({\mathcal {D}}^s(M)\). Let, as before, \(T^{q}{\mathcal {D}}^s(M)\) denote the vector bundle above \({\mathcal {D}}^s(M)\) whose fibres are tangent vectors in the \(H^q\) Sobolev class.
Lemma 27
Let \(F:P^\infty (M)\times {\mathfrak {X}}(M)\rightarrow {\mathfrak {X}}(M)\) be a smooth, possibly nonlinear, differential operator of order \(l-1\) in its first argument and l in its second argument (\(l\ge 1\)).
If \(s>\frac{d}{2}+l\) then F extends to a smooth operator \(P^{s-1}(M)\times {\mathfrak {X}}^s(M)\rightarrow {\mathfrak {X}}^{s-l}(M)\) and the mapping
is smooth.
Proof
The definition of \(\rho \) is
Calculating the derivative of the identity \(x=(\varphi ^{-1}\circ \varphi )(x)\) yields
Composing by \(\varphi ^{-1}\) and taking the determinant and we get
so
Smoothness of the mapping \(r:\varphi \mapsto \rho \circ \varphi \) follows directly from the Banach algebra property of \(H^{s-1}(M)\) and the positivity of \(\det (D\varphi )\).
Denoting by \(\partial _i\) partial differentiation with respect to a choice of local coordinates, we want to show that \(\varphi \mapsto (\partial _i \rho )\circ \varphi \) is smooth as a mapping \({\mathcal {D}}^s(M)\rightarrow H^{s-2}(M)\). For this, we write the mapping as
where \(r:\mathcal {D}^s \rightarrow H^{s-1}(M)\) is smooth. Differentiating through we get
Clearly, \(\varphi \mapsto \partial _i r(\varphi )\) is smooth as a mapping \({\mathcal {D}}^s(M) \rightarrow H^{s-2}(M)\). That \((\partial _i \varphi ^{-1})\circ \varphi \) is smooth follows since \(D(\varphi ^{-1})\circ \varphi = (D\varphi )^{-1}\) and since inversion of an invertible matrix is a smooth operation due to the Banach algebra property of \(H^s\). It also follows that the product (18) is smooth. By iterating this process with \(r:\varphi \rightarrow (\partial ^{k-1}_{i_1,\ldots ,i_{k-1}}\rho ) \circ \varphi \) we get that \(\varphi \mapsto (\partial ^k_{i_1\cdots i_k}\rho )\circ \varphi \) is smooth as a mapping \({\mathcal {D}}^s(M)\rightarrow H^{s-k-1}(M)\).
That \((\varphi ,h)\mapsto (\partial _{i_1,\ldots ,i_k} (h\circ \varphi ^{-1}))\circ \varphi \) is smooth as a mapping \(T{\mathcal {D}}^s(M)\rightarrow T^{s-k}{\mathcal {D}}^s(M)\) is well known (see [15, App. 2]).
Notice that so far we have only used the Banach algebra property of \(H^{s-1}\), but not of \(H^{s-2}\), \(H^{s-3}\), etc.
Finally, the differential operator F can locally be written
for some finite-dimensional smooth mapping \(f:{{\mathbb {R}}}_{>0}\times {{\mathbb {R}}}^{m-1}\times (TM)^m \rightarrow TM\) of all the partial derivatives. Thus, locally, we have
Since each term plugged into f is (at least) in \(H^{s-l}\), and \(s-l>d/2\), it follows from the \(\omega \)-Lemma (see, e.g., [15, Sec. 2]) that F is smooth. \(\square \)
Remark 28
The condition \(s>d/2+l\) cannot be weakened. Take, for example,
If \(\rho \in P^{s-1}(M)\) then \(\nabla ^{l-1}\rho \) belongs to \(H^{s-l}\). Although \(\rho \mapsto \nabla ^l\rho \) is smooth as a mapping \(H^{s-1}\rightarrow H^{s-l}\), unless \(s-l>d/2\) the product \(\nabla ^{l-1}\rho \mapsto |\nabla ^{l}\rho |^2\) is not smooth as a mapping \(H^{s-l}\rightarrow H^{s-l}\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.