A Lichnerowicz – Obata – Cheng Type Theorem on Finsler Manifolds

Let (M, F, dμ) be a Finsler manifold with the Ricci curvature bounded below by a positive number and constant S-curvature. We prove that, if the first eigenvalue of the Finsler–Laplacian attains its lower bound, then M is isometric to a Finsler sphere. Moreover, we establish a comparison result on the Hessian trace of the distance function.


Introduction
Lichnerowicz [1] proved if (M, g) is a complete connected Riemannian n-manifold such that Ric ≥ (n − 1)k > 0, then the first closed eigenvalue of the Laplacian is not less than nk.Soon after, the Obata rigidity theorem [2] further shows that if the first closed eigenvalue attains its lower bound, then the manifold is isometric to the Euclidean sphere S n ( 1

√ k
).Under the same curvature condition, Cheng's maximum diameter theorem [3] states that, if the diameter Diam(M) = π √ k , then the manifold is isometric to S n ( 1

√ k
).Therefore, the first closed eigenvalue attaining its lower bound and the diameter attaining its maximum characterize the standard sphere.
A Finsler structure F on a manifold M is called reversible if F(x, y) = F(x, −y) for all x ∈ M and all y ∈ T x M. Kim-Yim [4] proved Cheng's maximum diameter theorem for reversible Finsler manifolds.Based on this work, the author [5] obtained a Lichnerowicz-Obata type theorem.On the general Finsler manifolds, Cheng's maximum diameter theorem and the Obata type rigidity theorem were given in [6] recently.
To obtain such theorems, it is assumed that the weighted Ricci curvature satisfies Ric N ≥ K for some positive constant K and N ∈ [n, +∞) in the above articles.See [5,6] for details.In this paper, we change the conditions and obtain a Lichnerowicz-Obata-Cheng type result in the following.Theorem 1.Let (M, F, dµ) be a complete Finsler n-manifold with the Busemann-Hausdorff volume form.Assume that the Ricci curvature Ric ≥ (n − 1)k > 0 and the S-curvature S = (n + 1)cF for some constant c.Then, the first eigenvalue of the Finsler-Laplacian satisfies Moreover, the diameter of M attains its maximum π √ k and the S-curvature vanishes if the equality holds.In this case, (M, F, dµ) is isometric to a standard Finsler sphere.

Remark 1.
The result shows that both the Ricci curvature and the S-curvature have some influence on the first eigenvalue.However, the lower bound can not be attained unless S-curvature vanishes and the flag curvature is constant.A Finsler sphere is defined to be a complete Finsler manifold with Busemann Hausdorff volume form, constant flag curvature k and vanishing S-curvature (see [6]).We remark that there are infinitely many Finsler spheres, and, if F is reversible, the sphere is just the Euclidean sphere S n ( 1
The paper is organized as follows.In Section 2, some fundamental concepts and formulas which are necessary for the present paper are given.The main theorem and the comparison theorem are then proved in Sections 3 and 4, respectively.

Preliminaries
Let M be an n-dimensional smooth manifold and π : TM → M be the natural projection from the tangent bundle TM.Let (x, y) be a point of TM with x ∈ M, y ∈ T x M, and let (x i , y i ) be the local coordinates on TM with y = y i ∂/∂x i .A Finsler metric on M is a function F : TM → [0, +∞) satisfying the following properties: (i) Regularity: F(x, y) is smooth in TM \ 0; (ii) Positive homogeneity: F(x, λy) = λF(x, y) for λ > 0; (iii) Strong convexity: The fundamental quadratic form Given two linearly independent vectors V, W ∈ T x M\0, the flag curvature is defined by where R V is the Chern curvature: Then, the Ricci curvature for (M, F) is defined as , where S(V) denotes the S-curvature at (x, V).The weighted Ricci curvature of (M, F, dµ) is defined by (see [7]) For a smooth function f , the gradient vector of f at x is defined by ∇ f (x) := L −1 (d f ), where L : x M is the Legendre transform.Let V = V i ∂ ∂x i be a smooth vector field on M. The divergence of V with respect to an arbitrary volume form dµ = σ(x)dx is defined by Then, the Finsler-Laplacian of f can be defined by The Hessian of f is defined by (see [8]) We also denote H( f ) ∇ 2 f .

The Proof of the Main Theorem
In this section, we shall prove the main result of the paper.Let us first give the following theorem.
Theorem 2. Let (M, F, dµ) be a complete Finsler n-manifold with Ricci curvature Ric ≥ (n − 1)k > 0 and constant S-curvature S = (n + 1)cF.Then, the first eigenvalue of the Finsler-Laplacian satisfies Moreover, the diameter of M attains its maximum π √ k and the S-curvature vanishes if the equality holds.
Proof.Recall that, for a smooth function f , the following equation (see [9]) holds pointwise on U Since S-curvature is constant, Ṡ = 0 and Ric ∞ (∇ f ) = Ric(∇ f ), and thus Now, let f be a first eigenfunction of the Finsler-Laplacian with the first eigenvalue λ 1 , namely ∆ f = −λ 1 f .Integrating Equation (1) and using the divergence lemma on M, we obtain ) is a diagonal matrix.If the S-curvature is constant, it follows from [8] that Then, by Equation (3), we have From the fact we get and thus, by using (4), we have Therefore, Equation (2) and Equation ( 5) and the assumption of Theorem 2 yield which means that Here, we use for a first eigenfunction, f .If the equality holds, then all of the relevant inequalities should become the equalities.Particularly, from (4), we have S = 0.In addition, Write and thus which implies that ϕ is constant on U .Now, if M\U has zero measure, then, by continuity, we conclude that ϕ is constant on M. If there is an open set V ⊂ M\U , then f is constant on V and so is ϕ.In this case, we can expand V such that M\{U ∪ V } is of zero measure.Then, by continuity, again we obtain that ϕ is constant on M.
Next, we suppose that f takes its maximum and minimum at p and q, respectively.Then, ∇ f (p) = ∇ f (q) = 0, and thus ϕ(p) = k f 2 (p) = ϕ(q) = k f 2 (q).Notice that f is not constant on M. Therefore, we have f (p) = − f (q).Without loss of generality, we assume f (p) = 1 and f (q) = −1.In this case, ϕ ≡ k on M. Let γ(s) be the minimal regular geodesic of (M, F) from p to q with the tangent vector γ(s).Then, we have We then obtain . On the other hand, by Myers' Lemma, If we remove the assumption on the S-curvature, and strengthen the other condition, the diameter can also attain its maximum π √ k . This means that the restriction on the S-curvature is not a necessary condition.Proposition 1.Let (M, F) be a complete Finsler n-manifold with the Ricci curvature Ric ≥ (n − 1)k > 0. If there exists a nonzero differential function f such that for any X ∈ T U M, then the diameter of (M, F) attains its maximum π √ k .
Proof.Using the condition, we get f ii = −k f by a straightforward computation.The remaining proof is the same as above.
Remark 2. In a Finsler manifold with constant flag curvature k, we choose f = − cos( , then (M, F) is isometric to a standard Finsler sphere (Ref.[6]).

A Comparison Theorem on the Hessian
Under different curvature conditions, the Laplacian comparison theorem in Finsler geometry was obtained by Wu-Xin [8], Ohta [10] and other geometers; however, none of these geometers have studied the rigidity phenomenon if the equality holds.
In this section, we will make a study of comparison theorem on the Hessian trace because it has important relationship with the Laplacian.We not only give an estimate on the Hessian trace of the distance function, but we also characterize the properties when the equality holds.Theorem 3. Let (M, F) be a Finsler n-manifold.If the Ricci curvature satisfies Ric ≥ (n − 1)k, then the Hessian trace of the distance function r(x) = d F (p, x) from any given point p ∈ M can be estimated as follows, whenever r is smooth: tr ∇r H(r) ≤ (n − 1)ct k (r).
The equality holds if and only if the radial flag curvature K( γ(t); •) ≡ k along the geodesic γ(t), satisfying γ(0) = p.In this case, any Jacobi field J(t) orthogonal to γ(t) can be written as J(t) = s k (t)E(t), where E(t)⊥ γ is a parallel vector field along γ.
Remark 3. To get such a comparison result, we do not need to choose any volume form.If (M, F) is a Riemannian manifold or a Finsler manifold with vanishing S-curvature, then tr ∇r H(r) = ∆r.In this situation, Theorem 3 is nothing but the Laplacian comparison theorem.Here, Proof.The first part follows the classical proof.See also [8] in the Finsler setting.Suppose that r(x) = d F (p, x) is smooth at q, and e 1 , e 2 , • • • , e n = ∇r(q) is a g ∇r -orthogonal frame at q.Then, we get local vector fields E 1 , • • • , E n−1 , E n = ∇r by parallel transport along the geodesic γ such that E i (q) = e i for any 1 ≤ i ≤ n.Let J i be the unique Jacobi field satisfying J i (0) = 0, J i (r(q)) = E i (q).Set Then, W i (0) = J i (0) = 0, W i (q) = J i (r(q)).
If the equality holds, then I γ (J i , J i ) = I γ (W i , W i ) for any 1 ≤ i ≤ n − 1, which means that J i = W i .Thus, any Jacobi field orthogonal to γ(t) can be written as a i E i (t) =: s k (t)E(t).
This gives that for any E ⊥ γ(t).
From Theorem 3, it is easy to obtain the following result.

Lemma 1 .
Proposition 1, the diameter attains its maximum π √ k .Proof of Theorem 1.It follows from Theorem 2 and the following lemma directly.Let (M, F, dµ) be a complete connected Finsler n-manifold with the Busemann-Hausdorff volume form.If the weighted Ricci curvature satisfies Ric n ≥ (n − 1)k > 0 and Diam(M) = π √ k

Corollary 1 .
The conditions are the same as in Theorem 3. Let f : [a, b] → R be a smooth function with f ≥ 0. Then,tr ∇r H( f (r)) ≤ f (r) + (n − 1) f (r)ct k (r).