Next Article in Journal
A Critical Analysis of Behavioural Crowd Dynamics—From a Modelling Strategy to Kinetic Theory Methods
Next Article in Special Issue
Multivariate Optimal Control with Payoffs Defined by Submanifold Integrals
Previous Article in Journal
Evolutionary Algorithm for Aerospace Shell Product Digital Production Line Scheduling Problem
Previous Article in Special Issue
Slant Curves and Contact Magnetic Curves in Sasakian Lorentzian 3-Manifolds
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Existence of Two Homogeneous Geodesics in Finsler Geometry

Institute of Technology and Business in České Budějovice, Okružní 517/10, 370 01 České Budějovice, Czech Republic
Symmetry 2019, 11(7), 850; https://doi.org/10.3390/sym11070850
Submission received: 31 May 2019 / Revised: 21 June 2019 / Accepted: 24 June 2019 / Published: 1 July 2019
(This article belongs to the Special Issue Geometry of Submanifolds and Homogeneous Spaces)

Abstract

:
The existence of a homogeneous geodesic in homogeneous Finsler manifolds was positively answered in previous papers. However, the result is not optimal. In the present paper, this result is refined and the existence of at least two homogeneous geodesics in any homogeneous Finsler manifold is proved. In a previous paper, examples of Randers metrics which admit just two homogeneous geodesics were constructed, which shows that the present result is the best possible.

1. Introduction

Homogeneous spaces are a natural generalization of symmetric spaces and they keep many of their nice properties. One of them is the existence of a transitive group of transformations, which are sometimes called symmetries. The importance of geodesic curves is well known in mathematics and also in physics and homogeneous geodesics are, moreover, orbits of these symmetries. In physics, they are related with relative equilibria. In Riemannian geometry, homogeneous geodesics were studied by many authors and many results were obtained, see the recent survey paper [1] by the author. In recent years, homogeneous geodesics attained interest in Finsler geometry. In the present paper, we shall focus on the existence of homogeneous geodesics in homogeneous Finsler manifolds and on an interesting phenomenon related with nonreversibility of general Finsler metrics and consequent nonreversibility of homogeneous geodesics.
The existence of at least one homogeneous geodesic in arbitrary homogeneous Riemannian manifold was proved by O. Kowalski and J. Szenthe in [2]. In the papers [3,4], it was proved that this result is optimal, namely, examples of homogeneous Riemannian metrics on solvable Lie groups were constructed which admit just one homogeneous geodesic through any point. Generalization of this existence result to pseudo-Riemannian geometry was proved by the author using a different approach in the broader context of homogeneous affine manifolds in [5]. This affine approach was used by the author also in [6] to prove that an even-dimensional Lorentzian manifold admits a light-like homogeneous geodesic.
Generalization of this existence result to Finsler geometry was proved in the series of papers [7] by Z. Yan and S. Deng for Randers metrics, [8] by the author for odd-dimensional Finsler metrics, [9] by the author for Berwald or reversible Finsler metrics, [10] by Z. Yan and L. Huang in general. In this last paper, an original approach by O. Kowalski and J. Szenthe is modified and a purely Finslerian construction is used. However, due to the nonreversibility of general Finsler metrics, it was conjectured by the author in [11] that the result and its proofs in the nonreversible situation are not optimal. In comparison with Riemannian geometry, the situation is rather delicate. In the context of Finsler geometry, the trajectory of the unique homogeneous geodesic in a Riemannian manifold should be regarded as two geodesics—they have the same trajectory, their initial vectors are X and X and they have opposite parametrizations. For a general homogeneous Finsler manifold, the initial vectors of the two homogeneous geodesics may be non-opposite. In the paper [11], examples of invariant Randers metrics which admit just two homogeneous geodesics were constructed. The initial vectors of these geodesics are X + Y and X + Y , for certain vectors X , Y T p M .
In the present paper, the mentioned proofs are revised and refined. The complete and selfcontained proof of the existence of two homogeneous geodesics through an arbitrary point in arbitrary homogeneous Finsler manifold is given. Some constructions from [2,10,12] are used.

2. Basic Settings

A Minkowski norm on the vector space V is a nonnegative function F : V R which is smooth on V \ { 0 } , positively homogeneous ( F ( λ y ) = λ F ( y ) for any λ > 0 ) and whose Hessian g i j = ( 1 2 F 2 ) y i y j is positively definite on V \ { 0 } . Variables ( y i ) are the components of a vector y V with respect to a basis B of V and putting y i to a subscript refers to the partial derivative. The pair ( V , F ) is called a Minkowski space. The tensor g y whose components are g i j ( y ) is the fundamental tensor. We recall the well known formulas
g y ( y , u ) = 1 2 d F 2 ( y + s u ) d s | s = 0 , y , u V , g y ( y , y ) = F 2 ( y ) , y V .
A Finsler metric on a differentiable manifold M is a function F on T M which is differentiable on T M \ { 0 } and such that its restriction to any tangent space T x M is a Minkowski norm. The pair ( M , F ) is called a Finsler manifold. On a Finsler manifold, functions g i j depend differentiably on x M and on o y T x M .
Let M be a Finsler manifold ( M , F ) . If some connected Lie group G acts transitively on M by isometries, then M is called a homogeneous manifold. We remark that a homogeneous manifold ( M , F ) may admit more presentations as a homogeneous space in the form G / H , corresponding to various transitive isometry groups.
Homogeneous manifold M can be identified with the homogeneous space G / H . Here H is the isotropy group of the origin p M . A homogeneous Finsler space ( G / H , F ) is a reductive homogeneous space in the following sense: Denote by g and h the Lie algebras of the groups G and H, respectively, and consider the representation Ad : H × g g of H on g . There exists a reductive decomposition g = m + h where m g is a vector subspace with the property Ad ( H ) ( m ) m . For a fixed reductive decomposition g = m + h it is natural to identify m g = T e G with the tangent space T p M via the projection π : G G / H = M . Using this identification, from the Minkovski norm and its fundamental tensor on T p M , we obtain the Ad ( H ) -invariant Minkowski norm and the Ad ( H ) -invariant fundamental tensor on m .
We further recall the slit tangent bundle T M 0 , which is defined as T M 0 = T M \ { 0 } . Using the restriction of the projection π : T M M to T M 0 , we construct the pullback vector bundle π * T M over T M 0 . The Chern connection is the unique linear connection on π * T M which is torsion free and almost g-compatible. See some monograph, for example [13] by D. Bao, S.-S. Chern and Z. Shen or [14] by S. Deng for details. Using the Chern connection, the derivative along a curve γ ( t ) can be defined. A regular differentiable curve γ with tangent vector field T is a geodesic if it holds D T ( T F ( T ) ) = 0 . In particular, for a geodesic of constant speed it holds D T T = 0 .
A geodesic γ ( s ) through the point p is homogeneous if it is an orbit of a one-parameter group of isometries. Explicitly, if there exists a nonzero vector X g such that γ ( t ) = exp ( t X ) ( p ) for all t R . Such a vector X is called a geodesic vector. Geodesic vectors are characterized by the geodesic lemma, proved in Riemannian geometry by O. Kowalski and L. Vanhecke in [15] and generalized to Finsler geometry by D. Latifi in [16].
Lemma 1 
([16]). Let ( G / H , F ) be a homogeneous Finsler space with a reductive decomposition g = m + h . A nonzero vector y g is geodesic if and only if it holds
g y m ( y m , [ y , u ] m ) = 0 u m ,
where the subscript m indicates the projection of a vector from g to m .

3. The Main Result

Theorem 1.
Let ( M , F ) be a homogeneous Finsler manifold. There exist at least two homogeneous geodesics through arbitrary point p M .
Proof. 
Let G be a transitive isometry group of M and let H be the isotropy group of a fixed point p M . We express M as the homogeneous space M = G / H . Let K be the Killing form on G and let Rad ( K ) be the null space of K. We choose m = h with respect to K. The decomposition in Ad ( H ) -invariant and the Finsler metric induces the invariant Minkowski norm and its fundamental tensor on m . We shall denote these again by F and g. The Killing form K is negatively semidefinite on g and negatively definite on h , because H is compact. Hence, Rad ( K ) m . We shall distinguish the two cases:
(Case 1) Rad ( K ) = m : we chose a hyperplane W m such that [ m , m ] W . We used the construction and notation from [12] to show that there exist two vectors n 1 , n 2 m such that
g n i ( n i , w ) = 0 w W , i = 1 , 2 .
Consider an arbitrary fixed vector v W . The function ϕ ( w ) : = F ( v w ) defined on W attains its minimum m at a unique point w 0 W . We put
n 1 = v w 0 m .
It can be proved that the definition of the vector n 1 does not depend on the choice of the vector v on the same side of the hyperplane W. If we start with a vector v on the other side of the hyperplane W, the same construction leads to the vector n 2 on the other side of the hyperplane W and it is in general not opposite to n 1 , unless F is reversible. We shall now write n for any of the two vectors n 1 , n 2 . For an arbitrary fixed vector w W , the equality
F 2 ( n + t w ) = 1 m 2 F 2 ( v w 0 + t m w ) = 1 m 2 ϕ 2 ( w 0 t m w ) ,
shows that the function F 2 ( n + t w ) attains its minimum at t = 0 and hence, using Formula (1), it holds
0 = 1 2 d d t F 2 ( n + t w ) | t = 0 = g n ( n , w ) , w W ,
which is the desired property. In particular, it is satisfied for any w [ m , m ] W . We obtain immediately, using Lemma 1, that n 1 and n 2 are geodesic vectors.
(Case 2) Rad ( K ) m : we started with the construction and notation as in [10], up to a sign. We shall investigate the function
f ( z ) = K ( z , z ) F 2 ( z ) ,
which is nonnegative on m \ { 0 } . This function is homogeneous and it is reasonable to restrict the definition domain to the indicatrix
I F = { z m ; F ( z ) = 1 } .
The function f ( z ) attains its maximum λ 1 at y 1 I F . To find the second vector is more delicate. Since the group H is compact and Rad ( K ) is an Ad ( H ) -invariant subspace, there exists an Ad ( H ) -invariant K-orthogonal complement W of Rad ( K ) in m . Each vector z m can be uniquely decomposed as z = z 1 + z 2 , where z 1 Rad ( K ) and z 2 W . Denote k = dim ( Rad ( K ) ) and let
D k = { z 1 Rad ( K ) , F ( z 1 ) < 1 }
be the open unit disc in Rad ( K ) . For each fixed z 1 D k , consider the set
S z 1 = { z 2 W , F ( z 1 + z 2 ) = 1 } ,
which has the topology of a sphere. From now on, if not stated otherwise, z 1 + z 2 means z 1 D k , z 2 S z 1 and z 1 + z 2 I F . Because K > 0 on W, the function f ( z 1 + z 2 ) is positive for any z 1 D k and lim z 1 D k f ( z 1 + z 2 ) = 0 . For fixed z 1 and with definition domain S z 1 , f ( z 1 + z 2 ) attains its minimum ε ( z 1 ) > 0 at some z ¯ 2 ( z 1 ) S z 1 . For each z 1 D k , we choose one such z ¯ 2 and consider the mapping φ : D k I F , z 1 z 1 + z ¯ 2 . The function f ( φ ( z 1 ) ) = ε ( z 1 ) is smooth on D k and it attains its maximum λ 2 at z ¯ 1 . Here z ¯ 1 can be chosen and the map φ can be defined in a way that there is a neighbourhood U D k of z ¯ 1 such that the mapping φ | U is smooth. We put y 2 = φ ( z ¯ 1 ) I F .
It remains to show that y 1 and y 2 are geodesic vectors. As to y 1 , the function
f ˜ ( z ) = K ( z , z ) + λ 1 F 2 ( z )
attains its minimum 0 at y 1 . For any fixed w m , the function f ^ ( t ) = f ˜ ( y 1 + t w ) attains its minimum 0 at t = 0 and hence f ^ ( 0 ) = 0 . Using Formula (1), it follows that
K ( y 1 , w ) = λ 1 · g y 1 ( y 1 , w ) , w m
and the formula
g y 1 ( y 1 , [ y 1 , z ] m ) = 1 λ K ( y 1 , [ y 1 , z ] m ) = 1 λ K ( [ y 1 , y 1 ] , z ) = 0 , z m
shows that y 1 is a geodesic vector. As to y 2 , we have to modify this approach. The function
f ˜ ( z ) = K ( z , z ) + λ 2 F 2 ( z )
attains value 0 at y 2 . For fixed u W , the function f ^ ( t ) = f ˜ ( y 2 + t u ) attains its maximum 0 at t = 0 and hence f ^ ( 0 ) = 0 . It follows that
K ( y 2 , u ) = λ 2 · g y 2 ( y 2 , u ) , u W .
Now, let v Rad ( K ) be arbitrary fixed vector. Recall that y 2 = z 1 + z 2 . Consider the line z 1 + t v in Rad ( K ) , the curve c ( t ) = φ ( z 1 + t v ) in I F and denote by v ¯ the tangent vector to c ( t ) at t = 0 . The function f ^ ( t ) = f ˜ ( c ( t ) ) attains its minimum 0 at t = 0 and hence f ^ ( 0 ) = 0 . It follows that
K ( y 2 , v ¯ ) = λ 2 · g y 2 ( y 2 , v ¯ ) .
Consider a basis { u i } of W, a basis { v j } of Rad ( K ) and construct vectors v ¯ j as above. It is easy to see that { u i , v ¯ j } is a basis of m and hence Formulas (2) and (3) for each vector v ¯ j imply
K ( y 2 , w ) = λ 2 · g y 2 ( y 2 , w ) , w m .
We finish the proof with the formula
g y 2 ( y 2 , [ y 2 , z ] m ) = 1 λ 2 K ( y 2 , [ y 2 , z ] m ) = 1 λ 2 K ( [ y 2 , y 2 ] , z ) = 0 , z m ,
which shows that y 2 is a geodesic vector. □

Funding

Research was funded by Internal Grant Agency of Institute of Technology and Business in České Budějovice grant number IGS 8210-009.

Conflicts of Interest

The author declares no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

References

  1. Dušek, Z. Homogeneous geodesics and g.o. manifolds. Note Mat. 2018, 38, 1–15. [Google Scholar]
  2. Kowalski, O.; Szenthe, J. On the existence of homogeneous geodesics in homogeneous Riemannian manifolds. Geom. Dedicata 2000, 81, 209–214, Erratum: Geom. Dedicata 2001, 84, 331–332. [Google Scholar] [CrossRef]
  3. Kowalski, O.; Nikčević, S.; Vlášek, Z. Homogeneous Geodesics in Homogeneous Riemannian Manifolds—Examples; Preprint Reihe Mathematik, TU Berlin, No. 665/2000; TU Berlin: Berlin, Germany, 2000. [Google Scholar]
  4. Kowalski, O.; Vlášek, Z. Homogeneous Riemannian manifolds with only one homogeneous geodesic. Publ. Math. Debrecen 2003, 62, 437–446. [Google Scholar]
  5. Dušek, Z. The existence of homogeneous geodesics in homogeneous pseudo-Riemannian and affine manifolds. J. Geom. Phys. 2010, 60, 687–689. [Google Scholar] [CrossRef]
  6. Dušek, Z. The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds. Math. Nachr. 2015, 288, 872–876. [Google Scholar] [CrossRef] [Green Version]
  7. Yan, Z.; Deng, S. Existence of homogeneous geodesics on homogeneous Randers spaces. Houston J. Math. 2018, 44, 481–493. [Google Scholar]
  8. Dušek, Z. The affine approach to homogeneous geodesics in homogeneous Finsler spaces. Archivum Mathematicum (Brno) 2018, 54, 127–133. [Google Scholar] [CrossRef]
  9. Dušek, Z. The existence of homogeneous geodesics in special homogeneous Finsler spaces. Matematički Vesnik 2019, 71, 16–22. [Google Scholar]
  10. Yan, Z.; Huang, L. On the existence of homogeneous geodesic in homogeneous Finsler spaces. J. Geom. Phys. 2018, 124, 264–267. [Google Scholar] [CrossRef]
  11. Dušek, Z. Homogeneous Randers spaces admitting just two homogeneous geodesics. Archivum Mathematicum (Brno) 2019, in press. [Google Scholar]
  12. Shen, Z. Lectures on Finsler Geometry; World Scientific: Singapore, 2001. [Google Scholar]
  13. Bao, D.; Chern, S.-S.; Shen, Z. An Introduction to Riemann-Finsler Geometry; Springer Science+Business Media: New York, NY, USA, 2000. [Google Scholar]
  14. Deng, S. Homogeneous Finsler Spaces; Springer Science+Business Media: New York, NY, USA, 2012. [Google Scholar]
  15. Kowalski, O.; Vanhecke, L. Riemannian manifolds with homogeneous geodesics. Boll. Un. Math. Ital. 1991, 5, 189–246. [Google Scholar]
  16. Latifi, D. Homogeneous geodesics in homogeneous Finsler spaces. J. Geom. Phys 2007, 57, 1421–1433. [Google Scholar] [CrossRef] [Green Version]

Share and Cite

MDPI and ACS Style

Dušek, Z. The Existence of Two Homogeneous Geodesics in Finsler Geometry. Symmetry 2019, 11, 850. https://doi.org/10.3390/sym11070850

AMA Style

Dušek Z. The Existence of Two Homogeneous Geodesics in Finsler Geometry. Symmetry. 2019; 11(7):850. https://doi.org/10.3390/sym11070850

Chicago/Turabian Style

Dušek, Zdeněk. 2019. "The Existence of Two Homogeneous Geodesics in Finsler Geometry" Symmetry 11, no. 7: 850. https://doi.org/10.3390/sym11070850

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop