Randers metrics on two-spheres of revolution with simple cut locus

In the present paper, we study the Randers metric on two-spheres of revolution in order to obtain new families of Finsler of Randers type metrics with simple cut locus. We determine the geodesics behavior, conjugate and cut loci of some families of Finsler metrics of Randers type whose navigation data is not a Killing field and without sectional or flag curvature restrictions. Several examples of Randers metrics whose cut locus is simple are shown.


Introduction
A two-sphere of revolution is a compact Riemannian surface (M, h), which is homeomorphic to the sphere S 2 ⊂ R 3 .If this manifold is endowed with a Randers metric F = α + β, or more generally, with an arbitrary positive defined Finsler metric F , then (M, F ) is called a Randers or Finsler two-sphere of revolution, respectively.
One of the major problems in Differential Geometry (see [14], [15]) and Optimal Control (see [5]) is the study of geodesics, conjugate points and cut points of Riemannian or Finsler manifolds.We recall that a vector field J along a unit speed geodesic γ : [0, a] → M is said to be a Jacobi field if it satisfies the well-known Jacobi equation (see for instance [3], Chapter 7 for details).A point p is said to be conjugate to q := γ(0) along γ if there exists a non-zero Jacobi field J along γ which vanishes at p and q.The set of conjugate points of q along all curves γ starting at q is called the conjugate locus of q.
If γ : [0, l] → M is a minimal geodesic on a such manifold, then its end point γ(l) ∈ M is called the cut point of the initial point q = γ(0) ∈ M , in the sense that any extension of γ beyond γ(l) is not a minimizing geodesic from q anymore.The cut locus Cut(q) is defined as the set of cut points of q, and on Riemannian or Finslerian surfaces, it has the structure of a local tree.Moreover, the cut points p ∈ Cut(q) of q are characterized by the property that the distance d(q, •) from q is not smooth any more at p (see [12] for details).The cut points p along a geodesic γ emanating from the point q = γ(0) can appear either before or at the first conjugate point of q along γ, but not after that (see [3]).
To determine the precise structure of the cut locus on a Riemannian or Finsler manifold is not an easy task.The majority of known results concern Riemannian or Randers surfaces of revolution (see [15], [16] for the Riemannian, and [7], [8] for the Randers case).
A Randers metric F = α + β is a special Finsler metric obtained by the deformation of a Riemannian metric α by a one-form β whose Riemannian α-length is less than one in order to assure that F is positively defined ( [10]).These Finsler metrics are intuitive generalizations of the Riemannian ones having most of the geometrical objects relatively easy to compute (see [3]).
An equivalent characterization of Randers metrics is through the Zermelo's navigation problem.We recall that a Finsler metric F is characterized by its indicatrix {(x, y) ∈ T M : F (x, y) = 1} (see [3]).In particular, a Randers metric indicatrix is obtained as the rigid translation of the unit sphere {y ∈ T x M : h(x, y) = 1} of a Riemannian metric (M, h) by a vector field W ∈ X (M ) whose Riemannian length is less than one.The pair (h, W ) will be called the navigation data of the Randers metric F = α + β.Conversely, the Randers metric F = α + β will be called the solution of Zermelo's navigation problem (h, W ). In the case when W is an h-Killing field, provided h is not flat, the geodesics, conjugate points and cut points of the Randers metric F = α + β can be obtained by the translation of the corresponding geodesics, conjugate points and cut points, of the Riemannian metric h by the flow of W , respectively (see [8], [11]).More generally, new Finsler metrics F can be obtained by the rigid translation of the indicatrix of a given Finsler metric F 0 by a vector field W , such that F 0 (−W ) < 1 (see [6], [13]).In this case, the pair (F 0 , W ) will be called the general navigation data of F .
Another case when the Randers geodesics can be easily related to the Riemannian ones is when the deformation one-form β is closed.Indeed, the Randers metric F = α + β is projectively equivalent to the underlying Riemannian metric α if and only if dβ = 0.In this case, the α-geodesics, conjugate points and cut points coincide with the F -geodesics, cut points and conjugate points, respectively (see [3]).
We combine these two cases of Randers metrics in order to obtain new families of Finsler of Randers type with simple cut locus (see Section 2 for the definition).The originality of our paper lies in the followings: (i) We determine the geodesics behavior, conjugate and cut loci of some families of Finsler metrics of Randers type whose navigation data do not necessarily include a Killing field.
(ii) We show that the structure of the cut locus of these families can be determined without any sectional or flag curvature restrictions.These are generalizations of the results in [16] to the Randers case.
(iii) We construct a sequence of Randers metrics whose cut locus structure is simple.
(iv) We extend some classical results from the case of Randers metrics to β-changes of Finsler metrics and give new proofs to some known results.
If we start with a Riemannian two-sphere of revolution (M ≃ S 2 , h) and the vector fields V 0 , V, W ∈ X (M ).Then the following construction gives the Randers metric F 0 , F 1 and F 2 as solutions of the Zermelo's navigation problem with data (h, V 0 ), (F 0 , V ) and (F 1 , W ), respectively, If we impose conditions that V 0 and V to be h-and F 0 -Killing fields, respectively, and dβ 2 = 0, then the geodesics, conjugate and cut loci of F 2 can be determined.
Remarkably, a shortcut of this construction would be to simply impose ∥V 0 +V +W ∥ h < 1, that guarantees F 2 is positively defined, and V 0 +V +W to be h-Killing.In this case, F 2 is also with simple cut locus having the same structure with the cut locus of h.Obviously, the cut loci of these metrics are slightly different as set of points on M .
This construction can be extended to a sequence of Randers metrics {F i = α i + β i } i=1...,n whose cut loci are simple (see Remark 3.10).
Here is the structure of our paper.
In Section 2, we review the geometry of Riemannian two-spheres of revolution from [15] and [16].
In Section 3, we describe the geometry of some families of Randers metrics obtained as generalizations to the Finslerian case of the Riemannian metrics in [16].We use the Hamiltonian formalism for giving and proving some basic results to be used later in the section.Lemma 3.1 is an important result that generalizes a well-known result ( [9]) for Randers metrics to more general Finsler metrics obtained by β-changes.The relation with F -Killing fields are given in Lemma 3.2 and the basic properties of our family of Randers metrics are in Lemma 3.3.Some of these results are indirectly suggested in [6], but here we clarify all the basic aspects and prove them in our specific formalism.Lemma 3.4 gives the concrete expressions of α and β in the families of our Randers metric, formulas that provide a better understanding of the positive definiteness of these metrics.Lemma 3.6 gives the behavior of geodesics, conjugate and cut points of the β-change of a Randers metric generalizing the results in [11].Lemma 3.7 gives the conditions for the one-form β to be closed in terms of the navigation data.Finally, we sum up the results in all these lemmas in Theorem 3.8, which is the main result of the present paper.In Remark 3.10, we show how an infinite sequence of such Randers metrics can be obtained.
In Section 4, we construct one example of the Randers metric on the two-sphere of revolution that satisfies the conditions in Theorem 3.8.

Two-spheres of revolution
Classically, surfaces of revolution are obtained by rotating a curve (c) in the xz plane around the z axis.More precisely, if the profile curve (c) is given parametrically (c) : then, in the case (φ ′ (u)) 2 + (ψ ′ (u)) 2 ̸ = 0, for all u ∈ I, the curve can be written explicitly x = f (z) or implicitly by Φ(x, z) = 0, where ′ is the derivative with respect to u.
In the case of the parametric representation (2.1) one obtains an R 3 -immersed surface of revolution ψ : Ω ⊂ R 2 → R 3 , given by (2.2) Remark 2.1 The immersed surface of revolution (2.2) is called of elliptic type, while is called a hyperbolic type.Since we are interested in compact surfaces of revolution, only the elliptic case will be considered hereafter, leaving the hyperbolic type for a future research.
Even though the representation (2.2) is quite intuitive, it has two major disadvantages: (1) it leads to quite complicated formulas for the induced Riemannian metric, geodesic equations, Gauss curvature, etc., (2) it excludes the case of abstract surfaces of revolution which cannot be embedded in R 3 .
The first disadvantage can be easily fixed by taking the curve (c) to be unit speed parameterized in the Euclidean plane xz, i.e., which leads to the warped Riemannian metric This simplification suggests the following definition (which also fixes the second disadvantage).

Definition 2.2 ([15]
) Let (M, h) be a compact Riemannian surface homeomorphic to S 2 .If M admits a pole p ∈ M , and for any two points q 1 , q 2 ∈ M , such that d h (p, q 1 ) = d h (p, q 2 ), there exists an Riemannian isometry i : M → M for which i(q 1 ) = q 2 , i(p) = p, then (M, h) is called a two-sphere of revolution.Here d h is the distance function associated to the Riemannian metric h.Remark 2.3 One example of compact surface of revolution that cannot be embedded in R 3 is the real projective space RP 2 .It is compact being homeomorphic to S 2 / ∼ , where S 2 is the unit sphere in R 3 and ∼ is the equivalence relation x ∼ −x, for all x ∈ S 2 .It is a surface of revolution because it can be obtained by rotating the Möbius strip along its center line.
Finally, it cannot be embedded in R 3 because it is non-orientable.More generally, it is known that any embedding of a non-orientable surface in R 3 must create self-intersections and this is not allowed.Nevertheless, RP 2 can be immersed in R 3 , and therefore can be locally embedded in R 3 , but not globally (see [4] for properties of projective spaces).
Another example is the so-called Lorentz surface, obtained by rotating the hyperbola x 2 − y 2 = 1 around the x-axis.This surface is orientable but cannot embedded in R 3 because it has a self-intersection at origin.This definition allows to introduce the geodesic polar coordinates (r, θ) ∈ (0, 2a) × [0, 2π) around p, such that the Riemannian metric is given as on M \ {p, q}, where q is the unique cut point of p and (see [14] or [15] for details).Moreover, the functions m(r) and m(2a − r) can be extended to smooth odd function around r = 0, where It is well-known that any pole p ∈ M must have a unique cut point q ∈ M , and that any geodesic starting from p contains q.
Lemma 2.4 (The Clairaut relation) Let γ(s) = (r(s), θ(s)) be an h-unit speed geodesic on (M, h).There exists a constant ν such that m(r(s)) cos Φ(s) = ν holds for any s, where Φ(s) denotes the angle between the tangent vector of γ(s) and profile curve.
The constant ν is called the Clairaut constant of γ.
We recall the following important result from [16].
Proposition 2.5 Let h : [0, π] → R be a smooth function that can be extended to an odd smooth function on R.
given by m(r) := a sin h(r), where a = 1 h ′ (0) , is the warp function of a two-sphere of revolution M .
Moreover, if (c3) holds good, then it can be proved that the half period function is decreasing, where ν is the Clairaut constant, hence the conclusion follows (see Lemma 1 and Proposition 1 in [16]).Definition 2.7 A Riemannian (or Finsler) two-sphere of revolution whose cut locus is a subarc of a parallel will be called with simple cut locus.
Remark 2.8 This naming is related to graph theory in the sense that simple cut locus means that the cut locus is a simple graph with 2 vertices and one edge.

It follows that
Observe that the Gaussian curvature is which clearly is not monotone on [0, π], see Figure 3. On the other hand, it is easy to check that this h satisfies conditions (c1), (c2), (c3) in Proposition 2.5, hence it results that the Riemannian surface of revolution with the warp function m has simple cut locus.(ii) If h(r) = arcsin sin r √ 1+λ cos 2 r , for any λ ≥ 0, it follows that We obtain the Gaussian curvature as follows which again is not monotone on [0, π], see Figure 4.This second example also satisfies the conditions (c1), (c2), (c3) in Proposition 2.5.Hence it provides a two-sphere of revolution with simple cut locus.
Remark 2.10 A more complicated sequence of functions h n (r) with simple cut locus is constructed in [16], Theorem 1.

Randers two-spheres of revolution
We will show the existence of Randers two-spheres of revolution with simple cut locus using the following basic construction: where (M, h) is a Riemannian manifold, and V 0 , V, W ∈ X (M ) are vector fields on M .It is known that in general, the navigation data (h, V ), where (M, h) is a Riemannian metric and V a vector field on M such that ∥V ∥ h < 1, induces the Randers metric Here λ := 1 − ∥V ∥ 2 h and h(y, V ) = h ij V i y j is the h-inner product of the vectors V and y.
We recall some definitions for later use.
A vector field X on T * M is called Hamiltonian vector field if there exists a smooth function f : For instance, we can consider the Hamiltonian vector fields of the lift , or of the Hamiltonian K(x, p), the Legendre dual of any Finsler metric F (x, y) on M (see [9]).
Indeed, on a Finsler manifold (M, F ), for any y ∈ T x M \ {0} one can define and obtain in this way the map called the Legendre transformation of F .The curve γ(t) = (x(t), p(t)) : [a, b] → T * M is called the integral curve (or sometimes the flow) of a Hamiltonian vector field More precisely, the mapping ϕ : R × T * M → T * M , (t, (x, p)) → ϕ(t, (x, p)), denoted also by ϕ t (x, p) or ϕ (x,p) t, satisfying the properties (i) ϕ(0, (x, p)) = (x, p), for any (x, p) ∈ T * M ; (ii) ϕ s • ϕ t = ϕ s+t , for all s, t ∈ R; is called the one-parametric group, or simply the flow, of the vector field X ∈ X (T * M ).
A given one-parametric group always induces a vector field X ∈ X (T * M ).Conversely, a given vector field X ∈ X (T * M ) induces only locally a one-parametric group, sometimes called the local flow of X.
A smooth vector field X ∈ X (M ) on a Finsler manifold (M, F ) is called F-Killing field if every local one-parameter transformation group {φ t } of M generated by X consists of local isometries of F .The vector field X is F-Killing if and only if L X F = 0, where L is the Lie derivative, and X := X i ∂ ∂x i + y j ∂X i ∂x j ∂ ∂y i is the canonical lift of X to T M , or, locally X i|j + X j|i + 2C p ij X p|q y q = 0, where " | " is the h-covariant derivative with respect to the Chern connection.
Moreover, in the Hamiltonian formalism, the vector field X on M is Killing field with respect to F if and only if {K, W * } = 0, where K is the Legendre dual of F (see [9]), W * = W i (x)p i and {•, •} is the Poisson bracket.
Lemma 3.1 (Generalization of Hrimiuc-Shimada's result, see [9]) Let (M, F = α + β) be a Randers metric with general navigation data Then the Legendre dual of F is K : Proof.Indeed, let F = α + β be a positive defined Randers metric on a differentiable manifold M with indicatrix F (x) = {y ∈ T x M : F (x, y) = 1} ⊂ T x M , and let W ∈ X (M ) be a vector field such that F (−W ) < 1.
Let us denote by (x) := F (x) + W (x) the rigid translation of Σ F (x) by W (x), i.e., (x) : Firstly, observe that by rigid translation, the tangent vectors to F and remain parallel, i.e., there exists a smooth function c(u) ̸ = 0 such that where Y u+Wx is the tangent vector to at u + W x , and (F x ) * ,y : The solution of the Zermelo's navigation problem with data (F, W ) is a Finsler metric F such that where u ∈ T x M , F (x, u) = 1, and F x is the restriction of F to T x M .Since is the rigid translation of such a Finsler metric must exist.Second, with these notations, observe that in T * x M we have where L F and L F are the Legendre transformations of F and F , respectively.This formula follows directly from (3.1) and the definition of the Legendre transformation.Since relation (3.2) is between one-forms, actually this is a relation between linear transformations of the tangent space T x M .If we pair (3.2) with W x and u, we get respectively, where we have used the fact that F (u) = 1 is equivalent to ⟨L F (u), u⟩ = 1.
Here, ⟨•, •⟩ denotes the usual pairing of a one-form with a vector field.Therefore, by the same reason, since F (u + W ) = 1 we have where we use (3.3), (3.4).By the way, observe that , Next, let us denote by K and K the Legendre dual metrics of F and F , respectively.It follows that and thus where Therefore, if F is the solution of the Zermelo's navigation (i.e. it is the rigid translation of the indicatrix F by W ) with navigation data (F, W ), then where K and K are the Hamiltonians of F and F , respectively, and Lemma 3.2 Let (M, F = α + β) be a Randers metric, the vector field W ∈ X (M ) with flow ψ t .Then the Hamiltonian vector field X K on T * M is invariant under the flow ψ t, * of X W * if and only if W is an F -Killing field, where K is the Legendre dual of F .
Proof.Indeed, the invariance condition ψ (ii) The Randers metric F = α + β is positive defined if and only if F (−W ) < 1.

Proof.
(i) Recall that (see [11], [2]) the indicatrix of F is obtained by a rigid translation of the h-unit sphere h (x) by V , i.e. for any x ∈ M Then, if F is the solution of the Zermelo's navigation problem for (F, W ), we have (ii) If we use (i), then F is positive defined Randers metric if and only if ∥V + W ∥ h < 1.
Observe that where λ = 1 − ∥V ∥ 2 h > 0, and It follows that where we use λ > 0 due to the fact that F is positive defined Randers metric.Therefore, we successively obtain which is equivalent to ∥V + W ∥ < 1, hence F is positive defined.The converse implication is trivial. 2 Lemma 3.4 If F = α + β is the Randers metric obtained in Lemma 3.3, then we have where and Proof.Since the Zermelo's navigation data for F is (h, U := V +W ), as shown in Lemma 3.3, it follows (see [11], [1]) where Recall that the navigation data (h, V ) of a Randers metric F = α+β can be computed by where i.e., where Moreover, we have With these results, we compute hence the conclusion follows. 2 Remark 3.5 We observe that F = α + β is positive defined if and only if since ε > 0 due to the fact that F is assumed positive defined and F (W ) > 0.
In other words, we have shown that that is another proof and more a intuitive explanation of positive definiteness condition F (−W ) < 1 (compare to [6]).
We will show a generic result on geodesics, conjugate and cut loci of a Randers metric.
Lemma 3.6 Let (M, F = α + β) be a not flat Randers metric, let W ∈ X (M ) be a vector field on M such that F (−W ) < 1 and let F = α + β be the solution of navigation problem for (F, W ). If W is F -Killing field, then (i) the F -unit speed geodesics P are given by where P is an F -unit speed geodesic and ψ t is the flow of W ; (ii) the point P(l) is conjugate to q = P(0) along the F -geodesic P : [0, l] → M if and only if the point P(l) is conjugate to q = P(0) along the corresponding F -geodesic P(t) = ψ −t ( P(t)), for t ∈ [0, l]; (iii) the point p is an F -cut point of q if and only if p = ψ −l (p) is an F -cut point of q, where l = d F (q, p).
Proof.We will prove (i).
For simplicity, if we also denote by ψ t : where we have used that the Legendre dual of F is K = K + W * , and ψ t, * X K = X K (see Lemmas 3.1 and 3.2), hence (i) is proved.
Next, we will prove (ii).
If we denote by P s : [0, l] → M , −ε < s < ε a geodesic variation of the F -geodesic P, such that all curves in the variation are F -geodesics, then we obtain the variation vector field J := ∂P s ∂s s=0 , which clearly is an F -Jacobi field.Taking now into account (i), which shows that is a Jacobi vector field along P, hence the conjugate points along P and P correspond each other under the flow ψ t of W , hence (ii) is proved.Finally, we will prove (iii).From (ii) it is easy to see that since W is F -Killing field, the arclength parameter of the F -geodesic P and of the F -geodesic P coincide.
It can be seen, like in the Riemannian case, that the points where the distance function d F (p, •) looses its differentiability coinciding by the flow ψ t to the points where the distance function d F (p, •) looses its differentiability (see [12], Theorem A for the characterization of cut points in terms of differentiability of distance function).Hence, (iii) follows. 2 Lemma 3.7 Let (M, F = α + β) be a Randers metric with navigation data (h, W ). The followings are equivalent where the one-form W # is the h-Legendre transformation of W and λ = 1 − ∥W ∥ 2 h .
Proof.Indeed, observe that from the Zermelo's navigation formulas we get (see for instance (3.7), or [11], [1], [2]) we get where W # = L h W . Here, L h is the Legendre transform with respect to h.By differentiation, we get hence the desired equivalence follows. 2 Summing up, here is our main result.
Theorem 3.8 Let (M, h) be a Riemannian manifold and let V 0 , V, W ∈ X (M ) be vector fields on M .If ∥V 0 ∥ h < 1, we denote by F 0 = α 0 + β 0 the positive defined Randers metric obtained as solution of the Zermelo's navigation problem (h, V 0 ).
, where F 2 is the solution of Zermelo's navigation problem (F 1 , W ).
(iii) If the following conditions are satisfied where (V 0 +V +W ) # = L h (V 0 +V +W ) is the Legendre transformation of V 0 +V +W with respect to h, and λ := 1 − ∥V 0 + V + W ∥ 2 h , then (iii.1)The F 0 -unit speed geodesics P 0 , and the F 1 -unit speed geodesics P 1 are given by where ρ(t) is an h-unit speed geodesic and φ t and ψ t are the flows of V 0 , and V , respectively.The F 2 -unit speed geodesic P 2 (t) coincides as points set with P 1 (t). (iii. 2) The conjugate points of q = P 2 (0) along the F 2 -geodesic P 2 coincide to the conjugate points of q = P 1 (0) along the F 1 -geodesic P 1 , up to parameterization.The point P 1 (l) is conjugate to q = P 1 (0) along the F 1 -geodesic P 1 : [0, l] → M if and only if the point P 0 (l) is conjugate to q = P 0 (0) along the corresponding F 0 -geodesic P 0 (t) = ψ −t (P 1 (t)), for t ∈ [0, l].The point P 0 (l) is conjugate to q = P 0 (0) along the F 0 -geodesic P 0 : [0, l] → M if and only if the point ρ(l) is conjugate to q = ρ(0) along the corresponding h-geodesic ρ(t) = φ −t (P 0 (t)), for t ∈ [0, l], where φ t , and ψ t are the flows of V 0 , and V , respectively. (iii. 3) The F 2 -cut locus of q coincide as points set with the F 1 cut locus of q, up to parameterization.The point p1 is an F 1 -cut point of q, if and only if p0 = ψ −l (p 1 ) is an F 1 -cut point of q, where l = d F 1 (q, p1 ).The point p0 is an F 0 -cut point of q, if and only if p 0 = φ −l (p 0 ) is an h-cut point of q, where l = d F 0 (q, p0 ).
Step 1. (Properties of F 0 , F 1 ) With the notations in hypothesis, conditions (C0), (C1) imply that the geodesics, conjugate points and cut points of the Randers metrics F 0 , F 1 have the properties in (iii) due to Lemma 3.6.

Remark 3.10
The construction presented here can now be extended to a sequence of Finsler metrics.
Our sequence construction has two steps.Let (M, h) be a Riemannian two-sphere of revolution, and V 0 , V 1 , . . ., V k−1 , W k , . . ., W n ∈ X (M ), n = k − l, a sequence of vector fields on M .

Figure 1 :
Figure 1: A two-sphere of revolution.

2 Figure 2 :
Figure 2: The outline of the graph of h.

Figure 5 :
Figure 5: The rigid translation of the indicatrix.

2 Lemma 3 . 3
e. X {W * ,K} = 0.This shows that W is actually F -Killing field.Let (M, F ) be a Randers metric and W ∈ T M a vector field on M .Then (i) The navigation data of F is (h, V + W ), where (h, V ) is the navigation data of F = α + β, and F is the solution of Zermelo's navigation problem for (F, W ).
the flow of X W * , then for a curve P(t) on T * M we denote P(t) = ψ t (P(t)),i.e., we map P(t) → P(t) by the flow ψ t .