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, survey of the related literature, and introducing the main results of the dissertation. A list of important open problems in integral geometry is given.
The four articles of the dissertation (arXiv:1705.10126, arXiv:1901.03525, arXiv:1906.05046, arXiv:1909.00495) are now published in various journals and the content of the document has not been updated since November 11, 2019. These four articles are omitted from this document which contains only the introductory part. Extended abstracts are given in the document in English and Finnish.
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.
The Virasoro-Bott group endowed with the right-invariant $L^2$-metric (which is a weak Riemannian metric) has the KdV-equation as geodesic equation. We prove that this metric space has vanishing geodesic distance.
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.
We develop a variational theory of geodesics for the canonical variation of the metric of a totally geodesic foliation. As a consequence, we obtain comparison theorems for the horizontal and vertical Laplacians. In the case of Sasakian foliations, we show that sharp horizontal and vertical comparison theorems for the sub-Riemannian distance may be obtained as a limit of horizontal and vertical comparison theorems for the Riemannian distances approximations.
A geodesic flower is a finite collection of geodesic loops based at the same point $p$ that satisfy the following balancing condition: The sum of all unit tangent vectors to all geodesic arcs meeting at $p$ is equal to the zero vector. In particular, a geodesic flower is a stationary geodesic net. We prove that in every complete non-compact manifold with locally convex ends there exists a non-trivial geodesic flower.
These notes are the basis of a course given at the Institut Henri Poincare in September 2014. We survey some recent results related to the geometric analysis of hypoelliptic diffusion operators on totally geodesic Riemannian foliations. We also give new applications to the study of hypocoercive estimates for Kolmogorov type operators.
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 construct examples of compact and one-ended constant mean curvature surfaces with large mean curvature in Riemannian manifolds with axial symmetry by gluing together small spheres positioned end-to-end along a geodesic. Such surfaces cannot exist in Euclidean space, but we show that the gradient of the ambient scalar curvature acts as a `friction term' which permits the usual analytic gluing construction to be carried out.
We give a functional analytical proof of the equality between the Maslov index of a semi-Riemannian geodesic and the spectral flow of the path of self-adjoint Fredholm operators obtained from the index form. This fact, together with recent results on the bifurcation for critical points of strongly indefinite functionals (see P. M. Fitzpatrick, J. Pejsachowicz, L. Recht, Spectral Flow and Bifurcation of Strongly Indefinite Functionals Part I. General Theory, J. Funct. Anal. 162 (1) (1999), 52-95.) imply that each non degenerate and non null conjugate (or $P$-focal) point along a semi-Riemannian…
This note proves that any locally extremal non-self-conjugate geodesic loop in a Riemannian manifold is a closed geodesic. As a consequence, any complete and non-contractible Riemannian manifold with diverging injectivity radii along diverging sequences and without points conjugate to themselves, possesses a minimizing closed geodesic.
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.…
Let $(M_1,g_1)$ and $(M_2,g_2)$ be two $C^\infty$--differentiable connected, complete Riemannian manifolds, $k:M_1\to\mathbb R$ a $C^\infty$--differentiable function, having $0<k_0<k(x)\leq K_0$, for any $x\in M_1$ and $g:=g_1-kg_2$ the semi Riemannian metric on the product manifold $M:=M_1\times M_2$. We associate to $g$ a suitable family of Riemannian metrics $G_r+g_2$, with $r>-K_0^{-1}$, on $M$ and we call Riemannian geodesics of $g$ the geodesics of $g$ which are geodesics of a metric of the previous family, via a suitable reparametrization. Among the properties of these geodesics, we quo…
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…
Two metrics $g $ and $\bar g$ are geodesically equivalent, if they share the same (unparameterized) geodesics. We introduce two constructions that allow one to reduce many natural problems related to geodesically equivalent metrics, such as the classification of local normal forms and the Lie problem (the description of projective vector fields), to the case when the (1,1)-tensor $G^i_j:= g^{ik} \bar g_{kj}$ has one real eigenvalue, or two complex conjugate eigenvalues, and give first applications. As a part of the proof of the main result, we generalize Topalov-Sinjukov (hierarchy) Theorem fo…
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.
We introduce the notion of spectral flow along a periodic semi-Riemannian geodesic, as a suitable substitute of the Morse index in the Riemannian case. We study the growth of the spectral flow along a closed geodesic under iteration, determining its asymptotic behavior.
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.
We show that on a two-dimensional compact nontrapping manifold with strictly convex boundary, a piecewise constant function is determined by its integrals over geodesics. In higher dimensions, we obtain a similar result if the manifold satisfies a foliation condition. These theorems are based on iterating a local uniqueness result. Our proofs are elementary.
We give a full description of totally geodesic submanifolds in the tangent bundle of a Riemannian 2-manifold of constant curvature and present a new class of a cylinder-type totally geodesic submanifolds in the general case.
We classify pseudo-Riemannian submersions with connected totally geodesic fibres from a real pseudo-hyperbolic space onto a pseudo-Riemannian manifold. Also, we obtain the classification of the pseudo-Riemannian submersions with (para-)complex connected totally geodesic fibres from a (para-)complex pseudo-hyperbolic space onto a pseudo-Riemannian manifold.
The paper is devoted to the study of geodesic orbit Riemannian spaces that could be characterize by the property that any geodesic is an orbit of a 1-parameter group of isometries. The main result is the classification of compact simply connected geodesic orbit Riemannian spaces $G/H$ with two irreducible submodules in the isotropy representation.
A geodesic orbit manifold is a complete Riemannian manifold all of whose geodesics are orbits of one-parameter groups of isometries. We give both a geometric and an algebraic characterization of geodesic orbit manifolds that are diffeomorphic to $\mathbf{R}^n$. Along the way, we establish various structural properties of more general geodesic orbit manifolds.
The paper is devoted to the study of geodesic orbit Riemannian spaces that could be characterize by the property that any geodesic is an orbit of a 1-parameter group of isometries. In particular, we discuss some important totally geodesic submanifolds that inherit the property to be geodesic orbit. For a given geodesic orbit Riemannian space, we describe the structure of the nilradical and the radical of the Lie algebra of the isometry group. In the final part, we discuss some new tools to study geodesic orbit Riemannian spaces, related to compact Lie group representations with non-trivial pri…
We present an example of a complete Riemannian plane with precisely two injective geodesics - up to reparameterization. The example arises as a perturbation of a surface of revolution with contracting end. The last section is devoted to open problems.
Perturbed geodesics are trajectories of particles moving on a semi-Riemannian manifold in the presence of a potential. Our purpose here is to extend to perturbed geodesics on semi-Riemannian manifolds the well known Morse Index Theorem. When the metric is indefinite, the Morse index of the energy functional becomes infinite and hence, in order to obtain a meaningful statement, we substitute the Morse index by its relative form, given by the spectral flow of an associated family of index forms. We also introduce a new counting for conjugate points, which need not to be isolated in this context,…
We study the geodesic X-ray transform $X$ on compact Riemannian surfaces with conjugate points. Regardless of the type of the conjugate points, we show that we cannot recover the singularities and therefore, this transform is always unstable (ill-posed). We describe the microlocal kernel of $X$ and relate it to the conjugate locus. We present numerical examples illustrating the cancellation of singularities. We also show that the attenuated X-ray transform is well posed if the attenuation is positive and there are no more than two conjugate points along each geodesic; but still ill-posed, if t…
We investigate under which assumptions an orientable pseudo-Riemannian geodesic foliations by circles is generated by an $S^1$-action. We construct examples showing that, contrary to the Riemannian case, it is not always true. However, we prove that such an action always exists when the foliation does not contain lightlike leaves, i.e. a pseudo-Riemannian Wadsley's Theorem. As an application, we show that every Lorentzian surface all of whose spacelike/timelike geodesics are closed, is finitely covered by $S^1\times \R$. It follows that every Lorentzian surface contains a non-closed geodesic.
In this paper, we define and study sub-Riemannian structures on Banach manifolds. We obtain extensions of the Chow-Rashevski theorem for exact controllability, and give conditions for the existence of a Hamiltonian geodesic flow despite the lack of a Pontryagin Maximum Principle in the infinite dimensional setting.
In this article, we have introduced the concept of \textit{geodesic $(α,E)$-invex set} and by using this concept the notion of \textit{geodesic $(α,E)$-preinvex functions} and \textit{geodesic $(α,E)$-invex functions} are developed on a Riemannian manifold. Moreover, several properties and results are deduced within aforesaid functions. An example is also constructed to illustrate the definition of geodesic $(α,E)$-invex set. We have also established an important relation between geodesic $(α,E)$-preinvex function and geodesic $(α,E)$-invex function in a complete Riemannian manifold.
We give a definition of weak geodesics on prox-regular subsets of Riemannian manifolds as continuous curves with some weak regularities. Then obtaining a suitable Lipschitz constant of the projection map, we characterize weak geodesics on a prox-regular set with assigned end points as viscosity critical points of the energy functional.
In this note we prove that the Heisenberg group with a left-invariant pseudo-Riemannian metric admits a completely integrable totally geodesic distribution of codimension 1. This is on the contrary to the Riemannian case, as it was proved by T. Hangan.
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…
In the first part of this expository article, the most important constructions and classification results concerning totally geodesic submanifolds in Riemannian symmetric spaces are summarized. In the second part, I describe the results of my classification of the totally geodesic submanifolds in the Riemannian symmetric spaces of rank 2.
We give a full geometrical description of local totally geodesic unit vector field on Riemannian 2-manifold, considering the field as a local imbedding of the manifold into its unit tangent bundle with the Sasaki metric.
The geometric approach to optimal transport and information theory has triggered the interpretation of probability densities as an infinite-dimensional Riemannian manifold. The most studied Riemannian structures are Otto's metric, yielding the $L^2$-Wasserstein distance of optimal mass transport, and the Fisher--Rao metric, predominant in the theory of information geometry. On the space of smooth probability densities, none of these Riemannian metrics are geodesically complete---a property desirable for example in imaging applications. That is, the existence interval for solutions to the geode…
We provide an easy approach to the geodesic distance on the general linear group GL(n) for left-invariant Riemannian metrics which are also right-O(n)-invariant. The parametrization of geodesic curves and the global existence of length minimizing geodesics are deduced using simple methods based on the calculus of variations and classical analysis only. The geodesic distance is discussed for some special cases and applications towards the theory of nonlinear elasticity are indicated.
We prove the integrability of geodesic flows on the Riemannian g.o. spaces of compact Lie groups, as well as on a related class of Riemannian homogeneous spaces having an additional principal bundle structure.
The authors found geodesics, shortest arcs, cut loci, and conjugate sets for left-invariant sub-Riemannian matric on the Lie group $SL(2)$, which is right-invariant relative to the Lie subgroup $SO(2)\subset SL(2)$ (in other words, for invariant sub-Riemannian metric on weakly symmetric space $(SL(2)\times SO(2))/SO(2)$).
We prove the existence of immersed closed curves of constant geodesic curvature in an arbitrary Riemannian 2-sphere for almost every prescribed curvature. To achieve this, we develop a min-max scheme for a weighted length functional.
We prove a family of new Weitzenböck formulas on a Riemannian foliation with totally geodesic leaves. These Weitzenböck formulas are naturally parametrized by the canonical variation of the metric. As a consequence, under natural geometric conditions, the horizontal Laplacian satisfies a generalized curvature dimension inequality. Among other things, this curvature dimension inequality implies Li-Yau estimates for positive solutions of the horizontal heat equation and a sub-Riemannian Bonnet-Myers compactness theorem whose assumptions only rely on the intrinsic geometry of the horizontal distr…
We give a natural definition of geodesics on a Riemannian supermanifold and extend the usual geodesic flow defined on the cotangent bundle of the body of the supermanifold, associated to the induced Riemannian structure on the body, to a geodesic "superflow" on the cotangent bundle of the supermanifold. Integral curves of this flow turn out to be in natural bijection with geodesics on the Riemannian supermanifold. We also construct the corresponding exponential map and generalize the well-known faithful linearization of isometries to Riemannian supermanifolds.
The usual notion of set-convexity, valid in the classical Euclidean context, metamorphoses into several distinct convexity types in the more general Riemannian setting. By studying this phenomenon in reverse, we characterize complete manifolds for which certain convexity types are assumed a priori to coincide.
The unit sphere $\mathbb S^3$ can be identified with the unitary group SU(2). Under this identification the unit sphere can be considered as a non-commutative Lie group. The commutation relations for the vector fields of the corresponding Lie algebra define a 2-step sub-Riemannian manifold. We study sub-Riemannian geodesics on this sub-Riemannian manifold making use of the Hamiltonian formalism and solving the corresponding Hamiltonian system.
In this paper we prove that geodesic mappings of (pseudo-) Riemannian manifolds preserve the class of differentiability \hbox{$(C^r, r\geq1)$}. Also, if the Einstein space $V_n$ admits a non trivial geodesic mapping onto a \hbox{(pseudo-)} Riemannian manifold $\bar V_n\in C^1$, then $\bar V_n$ is an Einstein space. If a four-dimensional Einstein space with non constant curvature globally admits a geodesic mapping onto a (pseudo-) Riemannian manifold $\bar V_4\in C^1$, then the mapping is affine and, moreover, if the scalar curvature is non vanishing, then the mapping is homothetic, i.e. $\bar …
Considering Riemannian submersions, we find necessary and sufficient conditions for when sub-Riemannian normal geodesics project to curves of constant first geodesic curvature or constant first and vanishing second geodesic curvatures. We describe a canonical extension of the sub-Riemannian metric and study geometric properties of the obtained Riemannian manifold. This work contains several examples illustrating the results.
Fix a smooth closed manifold $M$. Let $R_M$ denote the space of all pairs $(g,L)$ such that $g$ is a $C^3$ Riemannian metric on $M$ and the real number $L$ is not the length of any closed $g$-geodesics. A locally constant geodesic count function $π_M:R_M\rightarrow Z$ is constructed. For this purpose, the weight of compact open subsets of the space of closed $g$-geodesics is defined and investigated for an arbitrary Riemannian metric $g$.
We discuss some geometric aspects of PSL(2,C), SL(2,C), and the space G of the geodesics of H^3 equipped with some suitable structures of Riemannian holomorphic manifolds of constant sectional curvature. We also observe that G is a symmetric space for the group PSL(2,C) and use it to deduce some correlations between their holomorphic Riemannian metrics.
We consider a pseudo-Riemannian metric that changes signature along a smooth curve on a surface, called the discriminant curve. The discriminant curve separates the surface locally into a Riemannian and a Lorentzian domain. We study the local behaviour and properties of geodesics at a point on the discriminant where the isotropic direction is tangent to the discriminant curve.
The paper is a study of geodesic in two-dimensional pseudo-Riemannian metrics. Firstly, the local properties of geodesics in a neighborhood of generic parabolic points are investigated. The equation of the geodesic flow has singularities at such points that leads to a curious phenomenon: geodesics cannot pass through such a point in arbitrary tangential directions, but only in certain directions said to be admissible (the number of admissible directions is generically 1 or 3). Secondly, we study the global properties of geodesics in pseudo-Riemannian metrics possessing differentiable groups of…
We explicitly describe the length minimizing geodesics for a sub-Riemannian structure of the elliptic type defined on $SL(2, \mathbb{R})$. Our method uses a symmetry reduction which translates the problem into a Riemannian problem on a two dimensional quotient space, on which projections of geodesics can be easily visualized. As a byproduct, we obtain an alternative derivation of the characterization of the cut-locus obtained in \cite{BoscaRossi}. We use classification results for three dimensional right invariant sub-Riemannian structures on Lie groups \cite{AGBD}, \cite{Biggs}, \cite{HB2} to…
Many classical facts in Riemannian geometry have their pseudo-Riemannian analogs. For instance, the spaces of space-like and time-like geodesics on a pseudo-Riemannian manifold have natural symplectic structures (just like in the Riemannian case), while the space of light-like geodesics has a natural contact structure. We discuss the geometry of these structures in detail, as well as introduce and study pseudo-Euclidean billiards. In particular, we prove pseudo-Euclidean analogs of the Jacobi-Chasles theorems and show the integrability of the billiard in the ellipsoid and the geodesic flow on …
We define the notion of a smooth pseudo-Riemannian algebraic variety $(X,g)$ over a field $k$ of characteristic $0$, which is an algebraic analogue of the notion of Riemannian manifold and we study, from a model-theoretic perspective, the algebraic differential equation describing the geodesics on $(X,g)$. When $k$ is the field of real numbers, we prove that if the real points of $X$ are Zariski-dense in $X$ and if the real analytification of $(X,g)$ is a compact Riemannian manifold with negative curvature, then the algebraic differential equation describing the geodesics on $(X,g)$ is absolut…
We studied rules of transformations of Christoffel symbols under third type almost geodesic mappings in this paper. From this research, we obtained some new invariants of these mappings. These invariants are analogies of Thomas projective parameter and Weyl projective tensor.
