The geodesics for a sub-Riemannian metric on a three-dimensional contact manifold $M$ form a 1-parameter family of curves along each contact direction. However, a collection of such contact curves on $M$, locally equivalent to the solutions of a fourth-order ODE, are the geodesics of a sub-Riemannian metric only if a sequence of invariants vanish. The first of these, which was earlier identified by Fels, determines if the differential equation is variational. The next two determine if there is a well-defined metric on $M$ and if the given paths are its geodesics.
We show that the travel time difference functions, measured on the boundary, determine a compact Riemannian manifold with smooth boundary up to Riemannian isometry, if boundary satisfies a certain visibility condition. This corresponds with the inverse microseismicity problem. The novelty of our paper is a new type of a proof and a weaker assumption for the boundary than it has been presented in the literature before. We also construct an explicit smooth atlas from the travel time difference functions.
We provide new proofs based on the Myers-Steenrod theorem to confirm that travel time data, travel time difference data and the broken scattering relations determine a simple Riemannian metric on a disc up to the natural gauge of a boundary fixing diffeomorphism. Our method of the proof leads to a Lipschitz-type stability estimate for the first two data sets in the class of simple metrics.
In this paper we consider determining a minimal surface embedded in a Riemannian manifold $Σ\times \mathbb{R}$. We show that if $Σ$ is a two dimensional Riemannian manifold with boundary, then the knowledge of the associated Dirichlet-to-Neumann map for the minimal surface equation determine $Σ$ up to an isometry.
With respect to the Dirac operator and the conformally invariant Laplacian, an explicit description of the inverse Penrose transform on Riemannian twistor spaces is given. A Dolbeault representative of cohomology on the twistor space is constructed from a solution of the field equation on the base manifold.
We consider a fixed angle inverse scattering problem in the presence of a known Riemannian metric. First, assuming a no caustics condition, we study the direct problem by utilizing the progressing wave expansion. Under a symmetry assumption on the metric, we obtain uniqueness and stability results in the inverse scattering problem for a potential with data generated by two incident waves from opposite directions. Further, similar results are given using one measurement provided the potential also satisfies a symmetry assumption. This work extends the results of [23,24] from the Euclidean case …
The long-time existence and umbilicity estimates for compact, graphical solutions to expanding curvature flows are deduced in Riemannian warped products of a real interval with a compact fibre. Notably we do not assume the ambient manifold to be rotationally symmetric, nor the radial curvature to converge, nor a lower bound on the ambient sectional curvature. The inverse speeds are given by powers $p\leq 1$ of a curvature function satisfying few common properties.
Given a compact manifold with boundary with unknown Riemannian metric. The problem is to reconstruct the metric in a class of conformal metrics from knowledge of lengths of all closed geodesics (kinematic data). An integral inequality is stated which implies uniqueness and stability for this problem. If the conformal class is not known a unique reconstruction is not possible since of shortage of information. It is proved that the list of all geodesic lengths is sufficient for unique determination of a Riemannian metric in a compact surface with boundary up to an automorphism which fix the boun…
We define a formal Riemannian metric on a given conformal class of metrics on a closed Riemann surface. We show interesting formal properties for this metric, in particular the curvature is nonpositive and the Liouville energy is geodesically convex. The geodesic equation for this metric corresponds to a degenerate elliptic fully nonlinear PDE, and we prove that any two points are connected by a $C^{1,1}$ geodesic. Using this we can define a length space structure on the given conformal class. We present a different approach to the uniformization theorem by studying the negative gradient flow …
Gel'fand's inverse problem under Ricci curvature bounds
Graduate School of Mathematical Sciences, The University of Tokyo（东京大学大学院数理科学研究科）；Department of Mathematics and Statistics, University of Helsinki（赫尔辛基大学数学与统计系）
We study the stability of the Positive Mass Theorem (PMT) and the Riemannian Penrose Inequality (RPI) in the case where a region of an asymptotically flat manifold $M^3$ can be foliated by a smooth solution of Inverse Mean Curvature Flow (IMCF) which is uniformly controlled. We consider a sequence of regions of asymptotically flat manifolds $U_T^i\subset M_i^3$, foliated by a smooth solution to IMCF which is uniformly controlled, and if $\partial U_T^i = Σ_0^i \cup Σ_T^i$ and $m_H(Σ_T^i) \rightarrow 0$ then $U_T^i$ converges to a flat annulus with respect to $L^2$ metric convergence. If instea…
We consider the warped product manifold, $\mathbb{R}_+ \times_{\bf{Id}} M^n$, with Riemannian metric $γ\equiv \mathrm{d} r^2 \oplus r^2 σ$, where $(M^n, σ)$ is a smooth closed Riemannian $n$-manifold. We investigate what sufficient curvature condition is required of $σ$ to ensure that a solution to the inverse mean curvature flow - commencing with a star-shaped surface - exists for all times $t>0$.
In this paper, we discuss the uniqueness in an integral geometry problem in a strongly convex domain. Our problem is related to the problem of finding a Riemannian metric by the distances between all pairs of the boundary points. For the proof, the problem is reduced to an inverse source problem for a kinetic equation on a Riemannian manifold and then the uniqueness theorem is proved in semi-geodesic coordinates by using the tools of Fourier analysis.
We study the stability of the Positive Mass Theorem (PMT) and the Riemannian Penrose Inequality (RPI) in the case where a region of an asymptotically hyperbolic manifold $M^3$ can be foliated by a smooth solution of Inverse Mean Curvature Flow (IMCF) which is uniformly controlled. We consider a sequence of regions of asymptotically hyperbolic manifolds $U_T^i\subset M_i^3$, foliated by a smooth solution to IMCF which is uniformly controlled, and if $\partial U_T^i = Σ_0^i \cup Σ_T^i$ and $m_H(Σ_T^i) \rightarrow 0$ then $U_T^i$ converges to a topological annulus portion of hyperbolic space with…
We consider the evolution by inverse mean curvature flow of a closed, mean convex and star-shaped hypersurface in the complex hyperbolic space. We prove that the flow is defined for any positive time, the evolving hypersurface stays star-shaped and mean convex. Moreover the induced metric converges, after rescaling, to a conformal multiple of the standard sub- Riemannian metric on the sphere. Finally we show that there exists a family of examples such that the Webster curvature of this sub-Riemannian limit is not constant.
We summarize the proofs for the s-injectivity of the tensor tomography problem on compact Riemannian manifolds with boundaries in [Dairbekov, Inverse Problems, 22: 431, 2006] and [Paternain-Salo-Uhlmann, Math. Ann., 363: 305-362, 2015] under certain geometric assumptions.
In this paper, using the structures of cone and bicone fields on vector bundles, the author introduces a ILB (inverse limit of Banach)- manifold structure on $\mathcal M$ the space of Riemannian metrics on a noncompact manifold $M$. In the last section, it is proven that, this way, on the open submanifold $\mathcal{M}_{finite}$ of finite volume metrics, the canonical Riemannian metric is defined.
Grosjean proved that the $(1/p)$-th power of the first eigenvalue of the $p$-Laplacian on a closed Riemannian manifold converges to the twice of the inverse of the diameter of the space, as $p \to \infty$. Before this, a corresponding result for the Dirichlet first eigenvalues was also obtained by Juutinen, Lindqvist and Manfredi. We extend those results for certain $k$-th min-max value related to the $p$-energy, where the corresponding limits are packing radii introduced by Grove-Markvorsen or its variant. Furthermore, we remark that our result holds for more singular setting.
In this paper we construct smooth Riemannian metrics on the sphere which admit smooth Zoll families of minimal hypersurfaces. This generalizes a theorem of Guillemin for the case of geodesics. The proof uses the Nash-Moser Inverse Function Theorem in the tame maps setting of Hamilton. This answers a question of Yau on perturbations of minimal hypersurfaces in positive Ricci curvature. We also consider the case of the projective space and characterize those metrics on the sphere with minimal equators.
The paper studies the harmonic maps on a direction between a Riemannian space and a generalized Lagrange space. Also, it is proved there that the solutions of C^2 class of certain ODEs or PDEs are harmonic maps, in the sense of this paper.
The nonlinear equations describing all the nonsingular pencils of metrics of constant Riemannian curvature are derived and the integrability of these nonlinear equations by the method of inverse scattering problem is proved. It is proved that all the nonsingular pairs of compatible metrics of constant Riemannian curvature are described by special integrable reductions of nonlinear equations defining orthogonal curvilinear coordinate systems in the spaces of constant curvature.
We consider an inverse problem for a hyperbolic partial differential equation on a compact Riemannian manifold. Assuming that $Γ_1$ and $Γ_2$ are two disjoint open subsets of the boundary of the manifold we define the restricted Dirichlet-to-Neumann operator $Λ_{Γ_1,Γ_2}$. This operator corresponds the boundary measurements when we have smooth sources supported on $Γ_1$ and the fields produced by these sources are observed on $Γ_2$. We show that when $Γ_1$ and $Γ_2$ are disjoint but their closures intersect at least at one point, then the restricted Dirichlet-to-Neumann operator $Λ_{Γ_1,Γ_2}$ …
Assume that $M$ is a compact Riemannian manifold of bounded geometry given by restrictions on its diameter, Ricci curvature and injectivity radius. Assume we are given, with some error, the first eigenvalues of the Laplacian $Δ_g$ on $M$ as well as the corresponding eigenfunctions restricted on an open set in $M$. We then construct a stable approximation to the manifold $(M,g)$. Namely, we construct a metric space and a Riemannian manifold which differ, in a proper sense, just a little from $M$ when the above data are given with a small error. We give an explicit $\log\log$-type stability esti…
Let $(N,g)$ be a Riemannian manifold with the distance function $d(x,y)$ and an open subset $M\subset N$. For $x\in M$ we denote by $D_x$ the distance difference function $D_x:F\times F\to \mathbb R$, given by $D_x(z_1,z_2)=d(x,z_1)-d(x,z_2)$, $z_1,z_2\in F=N\setminus M$. We consider the inverse problem of determining the topological and the differentiable structure of the manifold $M$ and the metric $g|_M$ on it when we are given the distance difference data, that is, the set $F$, the metric $g|_F$, and the collection $\mathcal D(M)=\{D_x;\ x\in M\}$. Moreover, we consider the embedded image …
We survey recent results on inverse problems for geodesic X-ray transforms and other linear and non-linear geometric inverse problems for Riemannian metrics, connections and Higgs fields defined on manifolds with boundary.
We reconstruct a Riemannian manifold and a Hermitian vector bundle with compatible connection from the hyperbolic Dirichlet-to-Neumann operator associated with the wave equation of the connection Laplacian. The boundary data is local and the reconstruction is up to the natural gauge transformations of the problem. As a corollary we derive an elliptic analogue of the main result which solves a Calderon problem for connections on a cylinder.
We use techniques from nonsmooth analysis and geometric measure theory to provide new examples of complete sub-Riemannian structures satisfying the Minimizing Sard conjecture. In particular, we show that complete sub-Riemannian structures associated with distributions of co-rank 2 or generic distributions of rank $\ge$ 2 satisfy the Minimizing Sard conjecture.
The authors first in this paper define a semi-symmetric metric non-holonomic connection (called in briefly a semi-sub-Riemannian connection) on sub-Riemannian manifolds, and study the relations between sub-Riemannian connections and semi-sub-Riemannian connections. An invariant under a connection transformation $\nabla\rightarrow D$ is obtained. The authors then further deduce a sufficient and necessary condition that a sub-Riemannian manifold associated with a semi-sub-Riemannian connection is flat, and derive that a sub-Riemannian manifold with vanishing curvature with respect to semi-sub-Ri…
In the present paper we show that the geodesic flows of a sub-Riemannian metric and that of a Riemannian extension commute if and only if the extended metric is parallel with respect to a certain connection. This helps us to describe the geodesic flow of sub-Riemannian metrics on totally geodesic Riemannian submersions. As a consequence we can characterize sub-Riemannian geodesics as the horizontal lifts of projections of Riemannian geodesics.
Consider a fractional operator $P^s$, $0<s<1$, for connection Laplacian $P:=\nabla^*\nabla+A$ on a smooth Hermitian vector bundle over a closed, connected Riemannian manifold of dimension $n\geq 2$. We show that local knowledge of the metric, Hermitian bundle, connection, potential, and source-to-solution map associated with $P^s$ determines these structures globally. This extends a result known for the fractional Laplace-Beltrami operator.
The authors define a SNS (semi-nearly-sub)-Riemannian connection on nearly sub-Riemannian manifolds and study the geometric properties of such a connection, and obtain the natures of horizontal curvature tensors between horizontal sub-Riemannian connection and SNS-Riemannian connection. The authors further investigate the geometric characteristics of the projective SNS-Riemannian connection, and obtain a necessary and sufficient condition for a nearly sub-Riemannian manifold being projectively flat.
Sub-Riemannian cubics are a generalisation of Riemannian cubics to a sub-Riemannian manifold. Cubics are curves which minimise the integral of the norm squared of the covariant acceleration. Sub-Riemannian cubics are cubics which are restricted to move in a horizontal subspace of the tangent space. When the sub-Riemannian manifold is also a Lie group, sub-Riemannian cubics correspond to what we call a sub-Riemannian Lie quadratic in the Lie algebra. The present article studies sub-Riemannian Lie quadratics in the case of $\mathfrak{su}(2)$, focusing on the long term dynamics.
We study some sub-Riemannian objects (such as horizontal connectivity, horizontal connection, horizontal tangent plane, horizontal mean curvature) in hypersurfaces of sub-Riemannian manifolds. We prove that if a connected hypersurface in a contact manifold of dimension more than three is noncharacteristic or with isolated characteristic points, then given two points, there exists at least one piecewise smooth horizontal curve in this hypersurface connecting them. In any sub-Riemannian manifold, we obtain the sub-Riemannian version of the fundamental theorem of Riemannian geometry. We use this …
In this article we consider the anisotropic Calderon problem and related inverse problems. The approach is based on limiting Carleman weights, introduced in Kenig-Sjoestrand-Uhlmann (Ann. of Math. 2007) in the Euclidean case. We characterize those Riemannian manifolds which admit limiting Carleman weights, and give a complex geometrical optics construction for a class of such manifolds. This is used to prove uniqueness results for anisotropic inverse problems, via the attenuated geodesic X-ray transform. Earlier results in dimension $n \geq 3$ were restricted to real-analytic metrics.
In this note we address a notion of sublaplacians of sub-Riemannian manifolds. In particular for fat sub-Riemannian manifolds we answered the sublaplacian question proposed by R. Montgomery.
We study generic Riemannian submersions from nearly Kaehler manifolds onto Riemannian manifolds. We investigate conditions for the integrability of various distributions arising for generic Riemannian submersions and also obtain conditions for leaves to be totally geodesic foliations. We obtain conditions for a generic Riemannian submersion to be a totally geodesic map and also study generic Riemannian submersions with totally umbilical fibers. Finally, we derive conditions for generic Riemannian submersions to be harmonic map.
In those lecture notes, we review some applications of heat semigroups methods in Riemannian and sub-Riemannian geometry. The notes contain parts of courses taught at Purdue University, Institut Henri Poincaré, Levico Summer School and Tata Institute.
This PhD dissertation is concerned with integral geometric inverse problems. The geodesic ray transform is an operator that encodes the line integrals of a function along geodesics. The dissertation establishes many conditions when such information determines a function uniquely and stably. A new numerical model for computed tomography imaging is created as a part of the dissertation. The introductory part of the dissertation contains an introduction to inverse problems and mathematical models associated to computed tomography. The main focus is in definitions of integral geometry problems, su…
Radial Compensation: The Inverse Base-Distribution Problem for Chart-Based Generative Models on Riemannian Manifolds
Human Nature Lab, Yale University（耶鲁大学人类自然实验室）；Department of Statistics and Data Science, The Wharton School, University of Pennsylvania（宾夕法尼亚大学统计与数据科学系、沃顿商学院）
We give a generalized curvature-dimension inequality connecting the geometry of sub-Riemannian manifolds with the properties of its sub-Laplacian. This inequality is valid on a large class of sub-Riemannian manifolds obtained from Riemannian foliations. We give a geometric interpretation of the invariants involved in the inequality. Using this inequality, we obtain a lower bound for the eigenvalues of the sub-Laplacian. This inequality also lays the foundation for proving several powerful results in Part~II.
In this paper, we consider critical maps of a horizontal energy functional for maps from a sub-Riemannian manifold to a Riemannian manifold. These critical maps are referred to as subelliptic harmonic maps. In terms of the subelliptic harmonic map heat flow, we investigate the existence problem for subelliptic harmonic maps. Under the assumption that the target Riemannian manifold has non-positive sectional curvature, we prove some Eells-Sampson type existence results for this flow when the source manifold is either a step-2 sub-Riemannian manifold or a step-r sub-Riemannian manifold whose sub…
The present paper is devoted to the problem of (local) geodesic equivalence of Riemannian metrics and sub-Riemannian metrics on generic corank 1 distributions. Using Pontryagin Maximum Principle, we treat Riemannian and sub-Riemannian cases in an unified way and obtain some algebraic necessary conditions for the geodesic equivalence of (sub-)Riemannian metrics. In this way first we obtain a new elementary proof of classical Levi-Civita's Theorem about the classification of all Riemannian geodesically equivalent metrics in a neighborhood of so-called regular (stable) point w.r.t. these metrics.…
In the present paper we study pseudo-Riemannian submanifolds which have 3-planar geodesic normal sections.We consider W-curves (helices) on pseudo-Riemannian submanifolds. Finally, we give neccessary and sufficient condition for a normal section to be a W-curve on pseudo-Riemannian submanifolds.
In this paper, we define and study CR-lightlike submanifolds of a golden semi-Riemannian manifold. We investigate some properties of geodesic CR-submanifolds of a golden semi-Riemannian manifold. Moreover, we obtain many interesting results for totally geodesic and totally umbilical CR-submanifolds on a golden Riemannian manifold. A non-trivial example of CR-lightlike submanifold of a golden semi-Riemannian manifold is also constructed.
There are many equivalent definitions of Riemannian geodesics. They are naturally generalised to sub-Riemannian manifold, but become non-equivalent. We give a review of different definitions of geodesics of a sub-Riemannian manifold and interrelation between them. We recall three variational definitions of geodesics as (locally) shortest curves (Euler-Lagrange, Pontyagin and Hamilton) and three definitions of geodesics as straightest curves (d'Alembert , Levi-Civita-Schouten and Cartan-Tanaka ), used in nonholonomic mechanics and discuss their interrelations. We consider a big class of sub-Rie…
We analyze the inverse problem, originally formulated by Dix in geophysics, of reconstructing the wave speed inside a domain from boundary measurements associated with the single scattering of seismic waves. We consider a domain $\tilde M$ with a varying and possibly anisotropic wave speed which we model as a Riemannian metric $g$. For our data, we assume that $\tilde M$ contains a dense set of point scatterers and that in a subset $U\subset \tilde M$, modeling a region containing measurement devices, we can measure the wave fronts of the single scattered waves diffracted from the point scatte…
This paper is concerned with the study of the Monge optimal transport problem in sub-Riemannian manifolds where the cost is given by the square of the sub-Riemannian distance. Our aim is to extend previous results on existence and uniqueness of optimal transport maps to cases of sub-Riemannian structures which admit many singular minimizing geodesics. We treat here the case of sub-Riemannian structures of rank two in dimension four.
In this letter we exhibit the relation between the isometries of a Riemannian contraction of a sub-Riemannian manifold and those of the sub-Riemannian metric, for to use this relation with two goals: establishing a result about the existence of fixed points of isometries groups; and the other, defining a Multiresolution Analysis (MRA) on sub-Riemannian manifolds that it will permit to obtain Haar's bases on the manifolds before mentioned. Keywords: Sub-Riemannian geometry, minimizing geodesic, Haar functions, self-similarity.
In this paper we study geodesics of left-invariant sub-Riemannian metrics on SO(3) and almost-Riemannian metrics on $S^2$. These structures are connected with each other, and it is possible to use information about one of them to obtain results about another one. We give an explicit parameterization of sub-Riemannian geodesics on SO(3) and use it to get a parameterization of almost-Riemannian geodesics on $S^2$. We use symmetries of the exponential map to obtain some necessary optimality conditions. We present some upper bounds on the cut time in both cases and describe periodic geodesics on S…
Let $M$ be a surface with a Riemannian metric and $UM$ the unit tangent bundle over $M$ with the canonical contact sub-Riemannian structure $D$ on $UM$. In this paper, the complete local classification of singularities, under the Legendre fibration $UM$ over $M$, is given for sub-Riemannian geodesics of $(UM, D)$. Legendre singularities of sub-Riemannian geodesics are classified completely also for another Legendre fibration from $UM$ to the space of Riemannian geodesics on $M$. The duality on Legendre singularities is observed related to the pendulum motion.
