We consider geodesic nets (critical points of a length functional on the space of embedded graphs) on doubled polygons (topological 2-spheres endowed with a flat metric away from finitely many cone singularities). We use the theorem of Gauss-Bonnet to demonstrate the existence and non-existence of specific geodesic nets on regular doubled polygons.
In this paper we establish a relationship between geodesic nets and critical points of the distance function. We bound the number of balanced points for certain minimizing geodesic nets on manifolds homeomorphic to the $n$-sphere. We also bound the length of certain minimizing geodesic nets.
Geodesic nets on Riemannian manifolds form a natural class of stationary objects generalizing geodesics. Yet almost nothing is known about their classification or general properties even when the ambient Riemannian manifold is the Euclidean plane or the round $2$-sphere. In the first half of this paper we survey some results and open questions (old and new) about geodesic nets on Riemannian manifolds. Many of these open questions are about geodesic nets on the Euclidean plane. The second half contains a partial answer for one of these questions, namely, a description of a new infinite family o…
We prove that for a Baire-generic Riemannian metric on a closed smooth manifold, the union of the images of all stationary geodesic nets forms a dense set.
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.
We give an elaborated treatment of discrete isothermic surfaces and their analogs in different geometries (projective, Möbius, Laguerre, Lie). We find the core of the theory to be a novel projective characterization of discrete isothermic nets as Moutard nets. The latter belong to projective geometry and are nets with planar faces defined through a five-point property: a vertex and its four diagonal neighbors span a three dimensional space. Analytically this property is equivalent to the existence of representatives in the space of homogeneous coordinates satisfying the discrete Moutard equati…
An embedded cubic graph consisting of segments of geodesics such that the angles at any vertex are equal to $2π/3$ is a closed local minimal net. This net is regular if all segments of geodesics are equal. The problem of classification of closed local minimal nets on surfaces of constant negative curvature has been formulated in the context of the famous Plateau problem in the one-dimensional case. In this paper we prove an asymptotic for $\sharp (W^r(g))$ as $g\to +\infty$ where $g$ is genus and $W^r(g)$ is the set of the regular single-face minimal nets on surfaces of curvature -1. Then we c…
We define systems of pre-extremals for the energy functional of regular rheonomic Lagrange manifolds and show how they induce well-defined Hamilton orthogonal nets. Such nets have applications in the modelling of e.g. wildfire spread under time- and space-dependent conditions. The time function inherited from such a Hamilton net induces in turn a time-independent Finsler metric - we call it the associated frozen metric. It is simply obtained by inserting the time function from the net into the given Lagrangean. The energy pre-extremals then become ordinary Finsler geodesics of the frozen metri…
We prove that a geodesic net with three boundary (= unbalanced) vertices on a non-positively curved plane has at most one balanced vertex. We do not assume any a priori bound for the degrees of unbalanced vertices. The result seems to be new even in the Euclidean case. We demonstrate by examples that the result is not true for metrics of positive curvature on the plane, and that there are no immediate generalizations of this result for geodesic nets with four unbalanced vertices.
A half-geodesic is a closed geodesic realizing the distance between any pair of its points. All geodesics in a round sphere are half-geodesics. Conversely, this note establishes that Riemannian spheres with all geodesics closed and sufficiently many half-geodesics are round.
We show the existence of at least two geometrically distinct closed geodesics on an n-dimensional sphere with a bumpy and non-reversible Finsler metric for n>2.
The consideration of the so-called rotation minimizing frames allows for a simple and elegant characterization of plane and spherical curves in Euclidean space via a linear equation relating the coefficients that dictate the frame motion. In this work, we extend these investigations to characterize curves that lie on a geodesic sphere or totally geodesic hypersurface in a Riemannian manifold of constant curvature. Using that geodesic spherical curves are normal curves, i.e., they are the image of an Euclidean spherical curve under the exponential map, we are able to characterize geodesic spher…
We prove that for every $\Q$-homological Finsler 3-sphere $(M,F)$ with a bumpy and irreversible metric $F$, either there exist two non-hyperbolic prime closed geodesics, or there exist at least three prime closed geodesics.
In this paper we prove that for every bumpy Finsler metric $F$ on every rationally homological $n$-dimensional sphere $S^n$ with $n\ge 2$, there exist always at least two distinct prime closed geodesics.
We extend to higher dimensions earlier sharp bounds for the area of two dimensional free boundary minimal surfaces contained in a geodesic ball of the round sphere. This follows work of Brendle and Fraser-Schoen in the euclidean case.
In this paper, we generalize the classification of geodesic orbit spheres from Riemannian geometry to Finsler geometry. Then we further prove if a geodesic orbit Finsler sphere has constant flag curvature, it must be Randers. It provides an alternative proof for the classification of invariant Finsler metrics with $K\equiv1$ on homogeneous spheres other than $Sp(n)/Sp(n-1)$.
We show that the shortest closed geodesic on a 2-sphere with non-negative curvature has length bounded above by three times the diameter. We prove a new isoperimetric inequality for 2-spheres with pinched curvature; this allows us to improve our bound on the length of the shortest closed geodesic in the pinched curvature setting.
In this paper, we prove that on every Finsler $n$-sphere $(S^n, F)$ for $n\ge 6$ with reversibility $λ$ and flag curvature $K$ satisfying $(\fracλ{λ+1})^2<K\le 1$, either there exist infinitely many prime closed geodesics or there exist $[\frac{n}{2}]-2$ closed geodesics possessing irrational average indices. If in addition the metric is bumpy, then there exist $n-3$ closed geodesics possessing irrational average indices provided the number of closed geodesics is finite.
We show that for an open and dense set non-reversible Finsler metrics on a sphere of odd dimension $n=2m-1 \ge 3$ there is a second closed geodesic with Morse index $\le 4(m+2)(m-1)+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.
Recently, F. Balacheff proved that the Calabi-Croke sphere made of two flat 1-unit-side equilateral triangles glued along their boundaries is a local extremum for the length of the shortest closed geodesic among the Riemannian spheres with conical singularities of fixed area. We give an alternative proof of this theorem, which does not make use of the uniformization theorem, and extend the result to Finsler metrics.
In this paper, we prove that on every Finsler $n$-sphere $(S^n, F)$ with reversibility $λ$ satisfying $F^2<(\frac{λ+1}λ)^2g_0$ and $l(S^n, F)\ge π(1+\frac{1}λ)$, there always exist at least $n$ prime closed geodesics without self-intersections, where $g_0$ is the standard Riemannian metric on $S^n$ with constant curvature 1 and $l(S^n, F)$ is the length of a shortest geodesic loop on $(S^n, F)$. We also study the stability of these closed geodesics.
In this paper, we prove that for every Finsler $n$-sphere $(S^n, F)$ for $n\ge 3$ with reversibility $λ$ and flag curvature $K$ satisfying $(\fracλ{λ+1})^2<K\le 1$, either there exist infinitely many prime closed geodesics or there exists one elliptic closed geodesic whose linearized Poincaré map has at least one eigenvalue which is of the form $\exp(πi μ)$ with an irrational $μ$. Furthermore, there always exist three prime closed geodesics on any $(S^3, F)$ satisfying the above pinching condition.
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.
The question of whether a closed Riemannian manifold has infinitely many geometrically distinct closed geodesics has a long history. Though unsolved in general, it is well understood in the case of surfaces. For surfaces of revolution diffeomorphic to the sphere, a refinement of this problem was introduced by Borzellino, Jordan-Squire, Petrics, and Sullivan. In this article, we quantify their result by counting distinct geodesics of bounded length. In addition, we reframe these results to obtain a couple of characterizations of the round two-sphere.
We establish sharp universal upper bounds on the length of the shortest closed geodesic on a punctured sphere with three or four ends endowed with a complete Riemannian metric of finite area. These sharp curvature-free upper bounds are expressed in terms of the area of the punctured sphere. In both cases, we describe the extremal metrics, which are modeled on the Calabi-Croke sphere or the tetrahedral sphere. We also extend these optimal inequalities for reversible and non-necessarily reversible Finsler metrics. In this setting, we obtain optimal bounds for spheres with a larger number of punc…
In this paper, we prove that for every Finsler $n$-dimensional sphere $(S^{n},F)$ with reversibility $\lm$ and flag curvature $K$ satisfying $\left(\frac{\lm}{1+\lm}\right)^2<K\le 1$, either there exist infinitely many closed geodesics, or there exist at least two elliptic closed geodesics and each linearized Poincaré map has at least one eigenvalue of the form $e^{\sqrt{-1}þ}$ with $þ$ being an irrational multiple of $π$.
A Finsler space is said to be geodesically reversible if each oriented geodesic can be reparametrized as a geodesic with the reverse orientation. A reversible Finsler space is geodesically reversible, but the converse need not be true. In this note, building on recent work of LeBrun and Mason, it is shown that a geodesically reversible Finsler metric of constant flag curvature on the 2-sphere is necessarily projectively flat. As a corollary, using a previous result of the author, it is shown that a reversible Finsler metric of constant flag curvature on the 2-sphere is necessarily a Riemannian…
Let $M$ be a Riemannian $2$-sphere. A classical theorem of Lyusternik and Shnirelman asserts the existence of three distinct simple non-trivial periodic geodesics on $M$. In this paper we prove that there exist three simple periodic geodesics with lengths that do not exceed $20d$, where $d$ is the diameter of $M$. We also present an upper bound that depends only on the area and diameter for the lengths of the three simple periodic geodesics with positive indices that appear as minimax critical values in the classical proofs of the Lyusternik-Shnirelman theorem. Finally, we present better bound…
In this paper we study the Finsler sphere $(S^n,F)$ with $n>1$, which has constant flag curvature $K\equiv 1$ and only finite prime closed geodesics. In this case, the connected isometry group $I_0(S^n,F)$ must be a torus which dimension satisfies $0<\dim I(S^n,F) \leq[\frac{n+1}{2}]$. We will prove that the number of geometrically distinct reversible closed geodesics on $(S^n,F)$ is at least $\dim I(S^n,F)$. When $\dim I_0(S^n,F)=[\frac{n+1}{2}]$, the equality happens, and there are exactly $2[\frac{n+1}{2}]$ prime closed geodesics, which verifies Anosov conjecture in this special case.
In this paper, we consider a Finsler sphere $(M,F)=(S^n,F)$ with the dimension $n>1$ and the flag curvature $K\equiv 1$. The action of the connected isometry group $G=I_o(M,F)$ on $M$, together with the action of $T=S^1$ shifting the parameter $t\in \mathbb{R}/\mathbb{Z}$ of the closed curve $c(t)$, define an action of $\hat{G}=G\times T$ on the free loop space $λM$ of $M$. In particular, for each closed geodesic, we have a $\hat{G}$-orbit of closed geodesics. We assume the Finsler sphere $(M,F)$ described above has only finite orbits of prime closed geodesics. Our main theorem claims, if the …
We prove that a homogeneous Finsler sphere with constant flag curvature $K\equiv1$ and a prime closed geodesic of length $2π$ must be Riemannian. This observation provides the evidence for the non-existence of homogeneous Bryant spheres. It also helps us propose an alternative approach proving that a geodesic orbit Finsler sphere with $K\equiv1$ must be Randers. Then we discuss the behavior of geodesics on a homogeneous Finsler sphere with $K\equiv1$. We prove that many geodesic properties for homogeneous Randers spheres with $K\equiv1$ can be generalized to the non-Randers case.
This paper gives a new characterization of geodesic spheres in the hyperbolic space in terms of a ``weighted'' higher order mean curvature. Precisely, we show that a compact hypersurface $Σ^{n-1}$ embedded in $\H^n$ with $VH_k$ being constant for some $k=1,\cdots,n-1$ is a centered geodesic sphere. Here $H_k$ is the $k$-th normalized mean curvature of $Σ$ induced from $\H^n$ and $V=\cosh r$, where $r$ is a hyperbolic distance to a fixed point in $\H^n$. Moreover, this result can be generalized to a compact hypersurface $Σ$ embedded in $\H^n$ with the ratio $V\left(\frac{H_k}{H_j}\right)\equiv\…
In the present study we consider knotted spheres in Euclidean $4$-space $ \mathbb{E}^{4}$. Firstly, we give some basic curvature properties of knotted spheres in $ \mathbb{E}^{4}$. Further, we obtained some results related with the conjugate nets and Laplace transforms of these kind of surfaces.
Given a Riemmanian manifold, we provide a new method to compute a sharp upper bound for the first eigenvalue of the Laplacian for the Dirichlet problem on a geodesic ball of radius less than the injectivity radius of the manifold. This upper bound is obtained by transforming the metric tensor into a rotationally symmetric metric tensor that preserves the area of the geodesic spheres. The provided upper bound can be computed using only the area function of the geodesic spheres contained in the geodesic ball and it is sharp in the sense that the first eigenvalue of geodesic ball coincides with o…
We prove the absence of a universal diameter bound on lengths of curves in a sweep-out of a Riemannian 2-sphere. If such bound existed it would yield a simple proof of existence of short geodesic segments and closed geodesics on a sphere of small diameter.
We determine the lengths of all closed sub-Riemannian geodesics on the three-sphere. Our methods are elementary and allow us to avoid using explicit formulas for the sub-Riemannian geodesics.
Here we study geodesics connecting two given points on odd-dimensional spheres respecting the Hopf fibration. This geodesic boundary value problem is completely solved in the case of 3-dimensional sphere and some partial results are obtained in the general case. The Carnot-Carathéodory distance is calculated. We also present some motivations related to quantum mechanics.
The geodesic total curvature of rectifiable spherical curves is analyzed. We extend to the case of high dimension spheres the explicit formula that holds true for curves supported into the 2-sphere. For this purpose, we take advantage of some new integral-geometric formulas concerning both the Euclidean and geodesic total curvature of spherical curves.
We prove that a riemannian metric on the 2-sphere or the projective plane can be C2-approximated by a smooth metric whose geodesic flow has an elliptic closed geodesic.
Mannheim curves are defined for immersed curves in 3-dimensional sphere S^3 . The definition is given by considering the geodesics of S^3. First, two special geodesics, called principal normal geodesic and binormal geodesic, of S^3 are defined by using Frenet vectors of a curve immersed in S^3. Later, the curve alpha is called a Mannheim curve if there exits another curve beta in S^3 such that the principal normal geodesics of beta coincide with the binormal geodesics of S^3 . It is obtained that if alpha and beta form a Mannheim pair then there exist a constant lambda that is not equal 0 and …
The existence of two geometrically distinct closed geodesics on an $n$-dimensional sphere $S^n$ with a non-reversible and bumpy Finsler metric was shown independently by Duan--Long [7] and the author [27]. We simplify the proof of this statement by the following observation: If for some $N \in \mathbb{N}$ all closed geodesics of index $\le N$ of a non-reversible and bumpy Finsler metric on $S^n$ are geometrically equivalent to the closed geodesic $c$ then there is a covering $c^r$ of minimal index growth, i.e. $${\rm ind}(c^{rm})=m {\rm ind}(c^r)-(m-1)(n-1)$$ for all $m \ge 1$ with ${\rm ind}\…
In this paper, we give global expressions of geodesics and isoparametric functions on a Randers sphere by navigation. We obtain isoparametric families and focal submanifolds in (S^{n}; F; dμ_{BH}) by Cartan-Münzner polynomials. Further more, we construct some examples of closed and non-closed geodesics, isoparametric functions, isoparametric families and focal submanifolds.
Using the theory of geodesics on surfaces of revolution, we introduce the period function. We use this as our main tool in showing that any two-dimensional orbifold of revolution homeomorphic to S^2 must contain an infinite number of geometrically distinct closed geodesics. Since any such orbifold of revolution can be regarded as a topological two-sphere with metric singularities, we will have extended Bangert's theorem on the existence of infinitely many closed geodesics on any smooth Riemannian two-sphere. In addition, we give an example of a two-sphere cone-manifold of revolution which poss…
This paper applies the authors' forthcoming work, "Affine deformations of a three-holed sphere" in Lorentzian geometry to prove a result in hyperbolic geometry. Namely, an infinitesimal deformation of a hyperbolic structure of a three-holed sphere which infinitesimally lengthens the three boundary components infinitesimally lengthens every closed geodesic. The proof interprets the derivative of the geodesic length function as the Margulis invariant (signed marked Lorentzian length spectrum) of the corresponding affine deformation. The aforementioned results imply that the affine deformation is…
