Open Access

Some comparison theorems and their applications in Finsler geometry

Journal of Inequalities and Applications20142014:107

https://doi.org/10.1186/1029-242X-2014-107

Received: 1 December 2013

Accepted: 20 February 2014

Published: 4 March 2014

Abstract

By using arbitrary volume forms, we establish Laplacian comparison theorems for Finsler manifolds under certain curvature conditions. As applications, some volume comparison theorems and Mckean type eigenvalue estimates of Finsler manifolds are obtained. Moreover, we also generalize Calabi-Yau’s linear volume growth theorem, and Milnor’s results on curvature and the fundamental group to the Finsler setting.

MSC: 53C60, 53B40.

Keywords

comparison theorem Finsler-Laplacian weighted Ricci curvature

1 Introduction

In recent years, Finsler geometry has developed rapidly in its global and analytic aspects. The present main work is to generalize and improve some famous theorems of the Riemann geometry to the Finsler setting. Among these issues, the Finsler-Laplacian is one of the most important and interesting projects. As is well known, there are several definitions of the Finsler-Laplacian, including the nonlinear Laplacian, the mean-value Laplacian and so on, in Finsler geometry. With regard to the nonlinear Finsler-Laplacian, some Laplacian comparison theorems, volume comparison theorems, and various estimations on the first eigenvalue have been established [15].

In [2], Shen first generalized comparison theorems to the Finsler geometry. Afterwards, Wu and Xin [3] proved Laplacian comparison theorems, volume comparison theorems under various flags, and Ricci and S-curvature conditions. Recently, using the Ricci curvature condition, and the distortion τ instead of S-curvature, Wu [4] and Zhao and Shen [5] further generalized volume comparison theorems in [2] and [3], respectively. It should be noted here that by utilizing the weighted Ricci curvature condition Ric N c , Ohta and Sturm [1] and Ohta [6] gave another version of these theorems, which are more concise than the corresponding ones in [2] and [3].

In the Riemannian case, Ding [7] obtained a new Laplacian comparison theorem by the Ricci curvature condition Ric c < 0 . Later, this result was generalized to Finsler manifolds in [3]. For a Finsler n-manifold with nonpositive flag curvature, if its Ricci curvature satisfies Ric c < 0 , then the following holds whenever the distance function ρ is smooth:
Δ ρ ct c ( ρ ) S .
Here
ct c ( ρ ) = { c cot ( c ρ ) c > 0 , 1 ρ c = 0 , c coth ( c ρ ) c < 0 , S x : = sup X T x M 0 | S ( X ) | F ( X ) .
(1.1)

In this paper, we shall further improve this theorem by using the weighted Ricci curvature condition and remove the term of the S-curvature. To be precise, we will give the following result.

Theorem 1.1 Let ( M , F , d μ ) be a Finsler n-manifold with nonpositive flag curvature and nonpositive S-curvature. If the weighted Ricci curvature satisfies Ric n + 1 c , then the following holds whenever the distance function ρ is smooth:
Δ ρ ct c ( ρ ) ,

where ct c ( ρ ) is defined by (1.1).

In addition to this, the Laplacian comparison theorem under the flag curvature and S-curvature condition is also obtained. As applications, we give some volume comparison theorems under the above-described conditions. It is worth mentioning that all the results we obtained are more concise than those in the related literature [3, 4] and more similar to the Riemannian case in form.

In [8, 9], Calabi and Yau stated that the volume of any complete noncompact Riemannian manifold with nonnegative Ricci curvature has at least linear growth. In [4], Wu has established the Finsler version of Calabi-Yau’s linear volume growth theorem by using an extreme volume form. His result is
vol max ( B p ( R ) ) C ( p ) R ,

where volmax denotes the volume with respect to the maximal volume form. In the present paper, we will further claim that for an arbitrary volume form Calabi-Yau’s result still holds.

Theorem 1.2 Let ( M , F , d μ ) be a complete noncompact Finsler n-manifold with finite reversibility λ. If the weighted Ricci curvature satisfies Ric N 0 , N ( n , ) , then
vol F d μ ( B p + ( R ) ) C ( N , λ , vol F d μ ( B p + ( 1 ) ) ) R , vol F d μ ( B p ( R ) ) C ( N , λ , vol F d μ ( B p ( 1 ) ) ) R ,

where B p + ( R ) (resp. B p ( R ) ) denotes the forward (resp. backward) geodesic ball of radius R centered at p and C denotes the constant depending on N, λ, and vol F d μ ( B p + ( 1 ) ) (resp. vol F d μ ( B p ( 1 ) ) ).

In Riemannian geometry, Mckean [10] proved that if ( M , g ) is a complete and simply connected Riemannian n-manifold with sectional curvature K a 2 , then the first eigenvalue λ 1 ( M ) ( n 1 ) 2 a 2 4 . Afterwards, this result was extended by Ding in [7], stating that for a complete noncompact and simply connected Cartan-Hadamard manifold satisfying Ric a 2 the first eigenvalue λ 1 can be estimated below by a 2 4 . A few years ago, these results were generalized to the Finsler setting by Wu and Xin [3]. In their paper, some conditions such as ‘finite reversibility’ and some restrictions on S-curvature should be satisfied, which are natural conditions in Finsler geometry and satisfied automatically in the Riemannian case.

In the present paper, we further generalize the Mckean type estimations to Finsler manifolds. We note that our results are as neat and simple as in the Riemannian case.

Theorem 1.3 Let ( M , F , d μ ) be a complete noncompact and simply connected Finsler n-manifold with finite reversibility λ and nonpositive S-curvature. If the flag curvature satisfies K a 2 , then
λ 1 ( M ) ( n 1 ) 2 a 2 4 λ 2 .
Theorem 1.4 Let ( M , F , d μ ) be a complete noncompact and simply connected Finsler n-manifold with finite reversibility λ, nonpositive flag curvature and nonpositive S-curvature. If the weighted Ricci curvature satisfies Ric n + 1 a 2 , then
λ 1 ( M ) a 2 4 λ 2 .

Remark 1.5 In Theorem 1.4, the condition ‘nonpositive flag curvature’ is necessary and it is a substitute for the condition ‘Cartan-Hadamard manifold’ in [7]. Since in the Riemannian case flag curvature is just sectional curvature, this condition is a natural condition.

Remark 1.6 The definitions of the reversibility λ and S-curvature will be given in Sections 2, 4 below. When ( M , F ) is a Riemannian manifold, λ = 1 , S = 0 , and the above two results coincide with [10] and [7], respectively. Further, when ( M , F ) is a Finsler manifold, the corresponding lower bounds obtained in [3] are λ 1 ( M ) ( ( n 1 ) a sup M S ) 2 4 λ 2 and λ 1 ( M ) ( a sup M S ) 2 4 λ 2 , respectively.

This paper is organized as follows. In Section 2, the related fundamentals of Finsler geometry such as Finsler metric, weighted Ricci curvature, gradient vector, Finsler-Laplacian, and some lemmas are briefly introduced. The main results will be proved in Sections 3, 4, 5, respectively.

2 Preliminaries

Let M be an n-dimensional smooth manifold and π : T M 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 : T M [ 0 , + ) satisfying the following properties:
  1. (i)

    Regularity: F ( x , y ) is smooth in T M 0 .

     
  2. (ii)

    Positive homogeneity: F ( x , λ y ) = λ F ( x , y ) for λ > 0 .

     
  3. (iii)
    Strong convexity: The fundamental quadratic form
    g : = g i j ( x , y ) d x i d x j , g i j : = 1 2 [ F 2 ] y i y j
     

is positively definite.

Let U M be an open set and V = v i x i be a nonzero vector field on . Define
g V ( X , Y ) : = X i Y j g i j ( x , V ) , X = X i x i , Y = Y i x i , D x i V x j : = Γ i j k ( x , V ) x k ,
where Γ i j k ( x , V ) are Chern connection coefficients. Then
D X V Y D Y V X = [ X , Y ] ,
(2.1)
X g V ( Y , Z ) = g V ( D X V Y , Z ) + g V ( Y , D X V Z ) + 2 C V ( D X V V , Y , Z ) ,
(2.2)
where C V satisfies
C V ( V , X , Y ) = 0 .
(2.3)
Given two linearly independent vectors V , W T x M 0 , the flag curvature is defined by
K ( V , W ) : = g V ( R V ( V , W ) W , V ) g V ( V , V ) g V ( W , W ) g V ( V , W ) 2 ,
where R V is the Chern curvature
R V ( X , Y ) Z = D X V D Y V Z D Y V D X V Z D [ X , Y ] V Z .
Then the Ricci curvature for ( M , F ) is defined as
Ric ( V ) = i = 1 n 1 K ( V , e i ) ,

where e 1 , , e n 1 , V F ( V ) form an orthonormal basis of T x M with respect to g V .

For a given volume form d μ = σ ( x ) d x and a vector y T x M 0 , the distortion of ( M , F , d μ ) is defined by
τ ( y ) : = ln det ( g i j ( y ) ) σ .
To measure the rate of changes of the distortion along geodesics, we define
S ( y ) : = d d t [ τ ( c ˙ ( t ) ) ] t = 0 ,

where c ( t ) is the geodesic with c ˙ ( 0 ) = y . S is called the S-curvature.

Now we can introduce the weighted Ricci curvature on the Finsler manifolds, which was defined by Ohta in [6]. In the present paper, we reform it as follows.

Definition 2.1 [6]

Let ( M , F , d μ ) be a Finsler n-manifold. Given a vector V T x M , let γ : ( ε , ε ) M be a geodesic with γ ( 0 ) = x , γ ˙ ( 0 ) = V . Define
S ˙ ( V ) : = F 2 ( V ) t [ S ( γ ( t ) , γ ˙ ( t ) ) ] t = 0 ,
where S ( V ) denotes the S-curvature at ( x , V ) . The weighted Ricci curvature of ( M , F , d μ ) is defined by
{ Ric n ( V ) : = { Ric ( V ) + S ˙ ( V ) , for  S ( V ) = 0 , , otherwise , Ric N ( V ) : = Ric ( V ) + S ˙ ( V ) S ( V ) 2 ( N n ) F ( V ) 2 , N ( n , ) , Ric ( V ) : = Ric ( V ) + S ˙ ( V ) .
Here we will spend some words about the assumption of the nonpositive S-curvature in this paper. If the Finsler metric F is reversible, then the S-curvature is homogeneous S ( y ) = S ( y ) and hence S 0 only if S = 0 . If S = 0 , then Ric N = Ric for all N. For instance, the Busemann-Hausdorff measures on Berwald spaces satisfy S = 0 . Express a Rander metric F = α + β in terms of a Riemannian metric h = h i j y i y j and a vector W = W i x i by
F = λ h 2 + W 0 2 λ W 0 λ , W 0 : = W i y i ,
where W i : = h i j W j and λ : = 1 W i W i = 1 h ( x , W ) 2 . Set
h = | y | = i = 1 n ( y i ) 2 , W = 2 c x + x Q + b ,

where c < 0 is a constant, Q = ( q j i ) is an anti-symmetric matrix and b R n is a constant vector. In [11], we know that F has constant flag curvature K = c 2 and W 0 ; 0 = 2 c h 2 . From [12], we further get S = ( n + 1 ) c F < 0 by using the Busemann-Hausdorff measures. For more examples, we can refer to [13].

For a smooth function u and a smooth vector field V on M, we set M u : = { x M | d u ( x ) 0 } and M V : = { x M | V ( x ) 0 } . If V 0 on M u , then the weighted gradient vector of u on the weighted Riemannian manifold ( M , g V ) is defined by
V u : = { g i j ( V ) u x j x i on  M V , 0 on  M M V .
The divergence of V = V i x i on M with respect to an arbitrary volume form d μ = e Φ d x and the Finsler weighted Laplacian of u on ( M , g V ) are defined by
div V : = i = 1 n ( V i x i + V i Φ x i ) , Δ V u : = div ( V u ) ,

respectively.

Let L : T M T M be the Legendre transform. For a smooth function u on M, the gradient vector and the Finsler-Laplacian of u is defined by
u : = L 1 ( d u ) , Δ u : = div ( u ) .
In particular, on M u we have
u = u u , Δ u = Δ u u .
Let X = X i x i be a differential vector field. Then the covariant derivative of X by v T x M with reference vector w T x M 0 is defined by
D v w X ( x ) : = { v j X i x j ( x ) + Γ j k i ( w ) v j X k ( x ) } x i ,

where Γ j k i denotes the coefficients of the Chern connection.

For a smooth vector field V on M and x M V , we define V ( x ) T x M T x M by using the covariant derivative as
V ( v ) : = D v V V ( x ) T x M , v T x M .
We also set 2 u ( x ) : = ( u ) ( x ) for the smooth function u and x M u . Then
2 u ( X , Y ) = X Y ( u ) D X u Y ( u ) = g u ( D X u u , Y ) , X , Y T M | M u .
(2.4)
Let { e a } a = 1 n be a local orthonormal basis with respect to g u on M u . Write u a b : = g u ( 2 u ( e a ) , e b ) , then we have
u a b = u b a .
Let ( M , F ) be a Finsler manifold. Define the distance function by
d ( p , q ) : = inf γ 0 1 F ( γ , γ ˙ ( t ) ) d t ,

where the infimum is taken over all differentiable curves γ : [ 0 , 1 ] M with γ ( 0 ) = p and γ ( 1 ) = q .

Lemma 2.2 [3]

Let ( M , F ) be a Finsler n-manifold and u : M R a smooth function. Then on M u we have
Δ u = tr g u ( 2 u ) S ( u ) = a u a a S ( u ) ,

where u a a = g u ( 2 u ( e a ) , e a ) and { e a } a = 1 n is a local g u -orthonormal basis on M u .

Lemma 2.3 [1]

Assume that Ric N 0 for N ( n , ) . Then the Laplacian of the distance function ρ ( x ) = d ( p , x ) from any given point p M can be estimated as follows:
Δ ρ N 1 ρ

in the sense of distributions on M { p } .

Lemma 2.4 [3]

Let ( M , F ) be a Finsler n-manifold and ρ = d ( p , ) be the distance function from a fixed point p. Suppose that the flag curvature of M satisfies K c . Then for any vector X on M, the following inequality holds whenever ρ is smooth:
2 ρ ( X , X ) ct c ( ρ ) ( g ρ ( X , X ) g ρ ( ρ , X ) 2 ) ,

where ct c ( ρ ) is defined by (1.1).

3 Laplacian comparison theorems

Theorem 3.1 Let ( M , F , d μ ) be a Finsler n-manifold with nonpositive flag curvature and nonpositive S-curvature. If the weighted Ricci curvature satisfies Ric n + 1 c , then the following holds whenever the distance function ρ is smooth:
Δ ρ ct c ( ρ ) .
Proof Let ρ ( x ) = d ( p , x ) be the distance function. If ρ is smooth at q M , then it is also smooth near q. Let S p ( ρ ( q ) ) be the forward geodesic sphere of radius ρ ( q ) centered at p. Choosing the local g ρ -orthonormal frame E 1 , , E n 1 of S p ( ρ ( q ) ) near q, we get local vector fields E 1 , , E n 1 , E n = ρ by parallel transport along geodesic rays. Using (2.1)-(2.4), we have
d d ρ [ 2 ρ ( E i , E j ) ] = d d ρ g ρ ( D E i ρ ρ , E j ) = g ρ ( D ρ ρ D E i ρ ρ , E j ) = g ρ ( R ρ ( ρ , E i ) ρ , E j ) + g ρ ( D [ ρ , E i ] ρ ρ , E j ) = g ρ ( R ρ ( E i , ρ ) ρ , E j ) g ρ ( D D E i ρ ρ ρ ρ , E j ) = g ρ ( R ρ ( E i , ρ ) ρ , E j ) k g ρ ( D E i ρ ρ , E k ) g ρ ( D E k ρ ρ , E j ) .
Consequently,
d d ρ ( tr ρ ( 2 ρ ) ) = Ric ( ρ ) 2 ρ H S ( ρ ) 2 .
(3.1)

Here H S ( ρ ) denotes the Hilbert-Schmidt norm with respect to g ρ . We refer to [14] for details.

Since M has nonpositive flag curvature, from Lemma 2.4 we see that the eigenvalues of 2 ρ are nonnegative. This yields
2 ρ H S ( ρ ) 2 ( tr ρ ( 2 ρ ) ) 2 .
(3.2)
Note that Ric N = Ric + S ˙ S 2 N n and Ric N c for N n + 1 , from (3.1) and (3.2) we have
d d ρ ( tr ρ ( 2 ρ ) ) = Ric N ( ρ ) + S ˙ ( ρ ) S ( ρ ) 2 N n 2 ρ H S ( ρ ) 2 c + S ˙ ( ρ ) S ( ρ ) 2 N n ( tr ρ ( 2 ρ ) ) 2 .
(3.3)
Notice that S 0 and 2 ρ has nonnegative eigenvalues; from Lemma 2.2 we have
( Δ ρ ) 2 = ( tr ρ ( 2 ρ ) S ) 2 = ( tr ρ ( 2 ρ ) ) 2 + S 2 2 S tr ρ ( 2 ρ ) ( tr ρ ( 2 ρ ) ) 2 + S 2 ( tr ρ ( 2 ρ ) ) 2 + S 2 N n
(3.4)
for N n 1 . On the other hand, it is easy to see that d d ρ S = S ˙ since F ( ρ ) = 1 . Combining (3.3) and (3.4), and using Lemma 2.2 again, we obtain
d d ρ ( Δ ρ ) ( Δ ρ ) 2 c .
(3.5)
By a simple argument, (3.5) can be rewritten as
d d ρ ( Δ ρ ct c ( ρ ) ) ( ct c ( ρ ) ) 2 ( Δ ρ ) 2 .
(3.6)
Set A = Δ ρ ct c ( ρ ) , B = Δ ρ + ct c ( ρ ) , then (3.6) becomes
d A d ρ + A B 0 .
(3.7)
Since M has nonpositive flag curvature and nonpositive S-curvature, from Lemma 2.4 we get
Δ ρ Δ ρ + S = tr ρ ( 2 ρ ) n 1 ρ ,
which implies that there exists ε > 0 such that
A ( ρ ) n 1 ρ ct c ( ρ ) 0 , ρ ( 0 , ε ] .
From (3.7) we have
d d ρ ( A ( ρ ) exp ( ε ρ B ( t ) d t ) ) 0 ,

which yields A ( ρ ) 0 , i.e., Δ ρ ct c ( ρ ) . □

If M has nonpositive S-curvature, then
Δ ρ = tr ρ ( 2 ρ ) S tr ρ ( 2 ρ ) .

Thus from Lemma 2.4, we get the following.

Proposition 3.2 Let ( M , F , d μ ) be a Finsler n-manifold with nonpositive S-curvature. If the flag curvature satisfies K c , then the following holds whenever the distance function ρ is smooth:
Δ ρ ( n 1 ) ct c ( ρ ) .

4 Volume comparison theorems

Let ( M , F , d μ ) be a Finsler n-manifold. For a fixed point p M , define
I p : = { v T p M | F ( v ) = 1 } , c ( v ) : = sup { t > 0 | d F ( p , exp ( t v ) ) = t } , C ( p ) : = { c ( v ) v | c ( v ) < , v I p } , C ( p ) : = exp C ( p ) , i p : = inf { c ( v ) | v I p } , D ( p ) : = { t v | 0 t < c ( v ) , v I p } , D ( p ) : = exp D ( p ) .
Then D ( p ) = M C ( p ) . Let { θ α | α = 1 , , n 1 } be the local coordinates that are intrinsic to I p . For any q D ( p ) , the polar coordinates of q are defined by ( ρ , θ ) = ( ρ ( q ) , θ 1 ( q ) , , θ n 1 ( q ) ) , where ρ ( q ) = F ( v ) , θ α ( q ) = θ α ( v F ( v ) ) and v = exp p 1 ( q ) . Since ρ = ρ , we conclude
g ρ ( ρ , θ α ) = 0 , α , g ρ ( ρ , ρ ) = 1
in view of the Gauss lemma. Therefore, if d μ = σ ( ρ , θ ) d ρ d θ , then from the definition of the Finsler-Laplacian of a function we have
Δ ρ = ρ log σ .
(4.1)
Proposition 4.1 Let ( M , F , d μ ) be a complete Finsler n-manifold with nonpositive S-curvature. If the flag curvature satisfies K c , then the function
vol F d μ ( B p + ( ρ ) ) vol ( B c n ( ρ ) )
is monotone increasing for 0 < ρ < i p , where i p is the injectivity radius of p and B c n ( ρ ) denotes the geodesic ball of radius ρ in a space form of constant sectional curvature c. In particular, for the Busemann-Hausdorff volume form d μ = σ B H d x , one has
vol F d μ ( B p + ( ρ ) ) vol ( B c n ( ρ ) ) , ρ i p .
(4.2)
Proof By (4.1), Proposition 3.2 and the assumption of Proposition 4.1, we have
ρ log σ ( n 1 ) ct c ( ρ ) = d d ρ log ( s c ( ρ ) n 1 ) ,
which implies that the function
σ ( ρ , θ ) s c ( ρ ) n 1
is monotone increasing with respect to ρ, where
s c ( ρ ) : = { sin ( c ρ ) c , c > 0 ; ρ , c = 0 ; sinh ( c ρ ) c , c < 0 .
(4.3)
Let D p ( ρ ) : = { v I p | ρ v D p } . It is easy to see that D p ( ρ ) = I p for ρ < i p . Set
σ p ( ρ ) : = D p ( ρ ) σ ( ρ , θ ) d θ , σ c , n ( ρ ) : = vol ( S n 1 ( 1 ) ) s c ( ρ ) n 1 .
Then for ρ < i p ,
vol F d μ ( B p + ( ρ ) ) = 0 ρ σ p ( ρ ) d ρ , vol ( B c n ( ρ ) ) = 0 ρ σ c , n ( ρ ) d ρ .
For two positive integrable functions f and g, if f g is monotone increasing, then the function
0 r f ( t ) d t 0 r g ( t ) d t
is also monotone increasing (see Lemma 5.1 in [4] for details). From this statement, one finds that σ p ( ρ ) σ c , n ( ρ ) is monotone increasing, and also the function
0 ρ D p ( ρ ) σ ( ρ , θ ) d θ d ρ vol ( S n 1 ( 1 ) ) 0 ρ s c ( ρ ) n 1 d ρ = vol F d μ ( B p + ( ρ ) ) vol ( B c n ( ρ ) )

is monotone increasing for ρ < i p .

To prove (4.2), we only need to show
lim ρ 0 vol F d μ ( B p + ( ρ ) ) vol ( B c n ( ρ ) ) = 1
when d μ = σ B H d x . Since
lim ρ 0 vol ( B c n ( ρ ) ) vol ( B 0 n ( ρ ) ) = lim ρ 0 0 ρ s c ( t ) n 1 d t 0 ρ t n 1 d t = 1 ,
it is sufficient to prove
lim ρ 0 vol F d μ ( B p + ( ρ ) ) vol ( B 0 n ( ρ ) ) = 1 ,

which can be directly obtained from [2]. □

By using Theorem 3.1, we can get the following result similarly.

Proposition 4.2 Let ( M , F , d μ ) be a complete and simply connected Finsler n-manifold with nonpositive flag curvature and nonpositive S-curvature. If the weighted Ricci curvature satisfies Ric n + 1 c < 0 , then the function
vol F d μ ( B p + ( ρ ) ) vol ( B c 2 ( ρ ) )
is monotone increasing. In particular, for the Busemann-Hausdorff volume form d μ = σ B H d x , one has
vol F d μ ( B p + ( ρ ) ) vol F d μ ( B p + ( 1 ) ) vol F d μ ( B c 2 ( 1 ) ) vol ( B c 2 ( ρ ) ) , ρ 1 .
Define reversibility λ = λ ( M , F ) as follows:
λ : = sup X T M 0 F ( X ) F ( X ) .

Obviously, λ [ 1 , ] , and λ = 1 if and only if ( M , F ) is reversible.

In what follows, we shall generalize Calabi-Yau’s linear volume growth theorem to Finsler manifolds with an arbitrary volume form.

Theorem 4.3 Let ( M , F , d μ ) be a complete noncompact Finsler n-manifold with finite reversibility λ. If the weighted Ricci curvature satisfies Ric N 0 , N ( n , ) , then
vol F d μ ( B p + ( R ) ) C ( N , λ , vol F d μ ( B p + ( 1 ) ) ) R , vol F d μ ( B p ( R ) ) C ( N , λ , vol F d μ ( B p ( 1 ) ) ) R ,

where B p + ( R ) (resp. B p ( R ) ) denotes the forward (resp. backward) geodesic ball of radius R centered at p and C denotes the constant depending on N, λ, and vol F d μ ( B p + ( 1 ) ) (resp. vol F d μ ( B p ( 1 ) ) ).

Proof Let x 0 B p ( R ) be a given point. Namely, d ( x 0 , p ) = R . Let ρ be the distance function ρ ( x ) = d ( x 0 , x ) . Then F ( ρ ) : = ρ = 1 . From Lemma 2.3 we have
Δ ρ N 1 ρ ,
which yields
Δ ρ ρ 2 = 2 ρ Δ ρ + 2 ρ 2 2 ( N 1 ) + 2 = 2 N .
Therefore, for any nonnegative function φ C 0 ( M ) , one obtains
M φ Δ ρ ρ 2 d μ 2 N M φ d μ .
(4.4)
Set
ψ ( t ) : = { 1 , 0 t R λ ; R + 1 t 1 + λ , R λ t R + 1 ; 0 , t R + 1 ,
(4.5)
for any R > λ . If φ ( x ) = ψ ( ρ ( x ) ) , then φ ( x ) is a Lipschitz continuous function and supp φ B x 0 + ( R + 1 ) . Since the Stokes formula still holds for Lipschitz continuous functions, we have
M φ Δ ρ ρ 2 d μ = B x 0 + ( R + 1 ) g ρ ( ρ φ , ρ ρ 2 ) d μ = 2 B x 0 + ( R + 1 ) ψ ( ρ ( x ) ) ρ ρ 2 d μ = 2 1 + λ B x 0 + ( R + 1 ) B x 0 + ( R λ ) ρ d μ 2 ( R λ ) 1 + λ vol F d μ ( B x 0 + ( R + 1 ) B x 0 + ( R λ ) ) .
(4.6)
It follows from (4.4) that
2 ( R λ ) 1 + λ vol F d μ ( B x 0 + ( R + 1 ) B x 0 + ( R λ ) ) 2 N M φ d μ = 2 N B x 0 + ( R + 1 ) φ d μ 2 N B x 0 + ( R + 1 ) d μ = 2 N vol F d μ ( B x 0 + ( R + 1 ) ) .
(4.7)
Notice that d ( p , q ) λ d ( q , p ) , p , q M , it is easy to find from the triangle inequality that
B p + ( 1 ) B x 0 + ( R + 1 ) B x 0 + ( R λ ) , R > λ .
(4.8)
Therefore, from (4.7) and (4.8) we have
2 N vol F d μ ( B x 0 + ( R + 1 ) ) 2 ( R λ ) 1 + λ vol F d μ ( B x 0 + ( R + 1 ) B x 0 + ( R λ ) ) 2 ( R λ ) 1 + λ vol F d μ B p + ( 1 ) .
(4.9)
On the other hand, it is not hard to see that B x 0 + ( R + 1 ) B p + ( ( λ + 1 ) ( R + 1 ) ) . Combining this and (4.9) one obtains
vol F d μ ( B p + ( ( λ + 1 ) ( R + 1 ) ) ) ( R λ ) N ( 1 + λ ) vol F d μ B p + ( 1 ) .
Replacing ( λ + 1 ) ( R + 1 ) by R, we have
vol F d μ ( B p + ( R ) ) ( R λ + 1 ( 1 + λ ) ) N ( 1 + λ ) vol F d μ B p + ( 1 ) C ( N , λ , vol F d μ ( B p + ( 1 ) ) ) R .
Next, we consider the second part of Theorem 4.3. Let F ( v ) : = F ( v ) be the reverse Finsler metric of F. If F reversible, then F = F . We put an arrow ← on those quantities associated with F . For example,
d ( x , y ) = d ( y , x ) , u = ( u ) , Δ u = Δ ( u ) , Ric N ( v ) = Ric N ( v ) .

If the weighted Ricci curvature of F satisfies Ric N 0 , then for the reverse Finsler metric F , Ric N 0 . Moreover, the corresponding Laplacian comparison theorem still holds [6]. Since the curvature condition is common between F and F , the assertion for B w.r.t. F follows from that for B + w.r.t. F . So the proof is omitted here. □

Corollary 4.4 A complete noncompact Finsler n-manifold with nonnegative weighted Ricci curvature and finite reversibility must have infinite volume.

Theorem 4.5 Let ( M , F , d μ ) be a complete and simply connected Finsler n-manifold, with nonpositive flag curvature and nonpositive S-curvature. If the weighted Ricci curvature satisfies Ric n + 1 ( n 1 ) b 2 ( b > 0 ), then for any fixed ε > 0 , there exists a positive constant c ( n , b , ε ) such that when ρ ε , one has
vol F d μ ( B p + ( ρ ) ) c ( n , b , ε ) e b ρ ,

where vol F d μ ( B p + ( ρ ) ) is the volume of the forward geodesic ball centered at p M with radius ρ.

Proof Using (3.1), Lemma 2.2, and Definition 2.1, we have
d d ρ ( Δ ρ ) = Ric ( ρ ) 2 ρ H S ( ρ ) 2 .
Combining (4.1) one gets
2 σ ( ρ , θ ) ρ 2 = σ ( Δ ρ ) 2 σ Ric ( ρ ) σ 2 ρ H S ( ρ ) 2 ,
(4.10)
which together with (3.2) and (3.4) yields
2 σ ρ 2 σ Ric N ( ρ )
(4.11)

for N [ n + 1 , ] .

On the other hand, for a Riemannian manifold ( M ¯ , g ¯ ) with constant sectional curvature b 2 , we have σ ¯ = g ¯ and
( Δ ¯ ρ ) 2 = ( n 1 ) ¯ 2 ρ 2 ,
(4.12)
2 σ ¯ ρ 2 = σ ¯ Ric ¯ ( ¯ ρ ) + n 2 n 1 σ ¯ 2 σ ¯ ( σ ¯ : = σ ¯ ρ ) .
(4.13)
Set Ω = : σ σ ¯ 1 n 1 . Then
Ω = Ω ( σ σ 1 n 1 σ ¯ σ ¯ ) = Ω ( Δ ρ 1 n 1 Δ ¯ ρ ) .
(4.14)
By (4.11) and (4.13), and the assumption of Theorem 4.5, we have
Ω = Ω ( σ σ 1 n 1 σ ¯ σ ¯ ) 2 + Ω [ σ σ ( σ σ ) 2 1 n 1 σ ¯ σ ¯ + 1 n 1 ( σ ¯ σ ¯ ) 2 ] Ω ( σ σ 1 n 1 σ ¯ σ ¯ ) 2 + Ω [ Ric N ( ρ ) ( σ σ ) 2 + 1 n 1 Ric ¯ ( ¯ ρ ) + 1 ( n 1 ) 2 ( σ ¯ σ ¯ ) 2 ] 2 n 1 σ ¯ σ ¯ Ω ( σ σ 1 n 1 σ ¯ σ ¯ ) = 2 n 1 σ ¯ σ ¯ Ω ,
(4.15)
which implies
( σ ¯ 2 n 1 Ω ) = σ ¯ 2 n 1 ( Ω + 2 n 1 σ ¯ σ ¯ Ω ) 0 .
Therefore σ ¯ 2 n 1 Ω is increasing in ρ. Hence when ρ ε ,
Ω ( ρ ) σ ¯ 2 n 1 ( ρ ) σ ¯ 2 n 1 ( ε ) Ω ( ε ) lim ε 0 σ ¯ 2 n 1 ( ρ ) σ ¯ 2 n 1 ( ε ) σ ( ε ) σ ¯ 1 n 1 ( ε ) ( σ σ ( ε ) 1 n 1 σ ¯ σ ¯ ( ε ) ) .
Notice that σ ( ε , θ ) ε n 1 , σ ¯ ( ε , θ ) ε n 1 ( ε 0 ). We obtain Ω ( ρ ) 0 , which means that Ω = σ σ ¯ 1 n 1 is also increasing in ρ. It is well known that
σ ¯ ( ρ ) = ( sinh ( b ρ ) b ) n 1 .
Thus when ρ ε , one has
b σ ( ρ , θ ) sinh ( b ρ ) b σ ( ε , θ ) sinh ( b ε ) ε n 2
as ε 0 , which shows that there exists c = c ( n , b ) such that
σ ( ρ , θ ) c ε n 2 sinh ( b ρ ) .
Consequently,
vol F d μ ( B p + ( ρ ) ) = 0 ρ d t D p ( ρ ) σ ( t , θ ) d θ c ω n 1 ε n 2 0 ρ sinh ( b t ) d t c ( n , b , ε ) e b ρ ,

where ω n 1 denotes the volume of the unit sphere S n 1 . □

By similar argument, we also have the following result.

Proposition 4.6 Let ( M , F , d μ ) be a complete and simply connected Finsler n-manifold with nonpositive S-curvature. If the flag curvature satisfies K b 2 < 0 , then the volume of the forward geodesic ball of M grows at least exponentially.

Remark 4.7 Theorem 4.5 and Proposition 4.6 can also be deduced from Proposition 4.1 and Proposition 4.2.

In [15], Milnor proved that the fundamental group of a compact Riemannian manifold of negative sectional curvature has exponential growth. Then this result was generalized to the case of negative Ricci curvature and nonpositive sectional curvature in [16] and [17]. The key point of the proof is to give a lower bound estimate for the volume of the geodesic balls of the universal covering space. In [3] and [4], the results were also generalized to the Finsler setting. By using the same method, we get another version of Milnor’s results in Finsler geometry.

Theorem 4.8 Let ( M , F , d μ ) be a compact Finsler n-manifold with nonpositive S-curvature. Suppose that one of the following two conditions holds:
  1. (i)

    the flag curvature satisfies K b 2 < 0 ;

     
  2. (ii)

    M has nonpositive flag curvature and Ric n + 1 ( n 1 ) b 2 < 0 .

     

Then the fundamental group of M grows at least exponentially.

5 Mckean type eigenvalue estimates

Let ( M , F , d μ ) be a Finsler manifold, Ω M be a domain with compact closure and nonempty boundary Ω. The first eigenvalue λ 1 ( Ω ) is defined by
λ 1 ( Ω ) = inf u W 0 1 , 2 ( Ω ) { 0 } { Ω ( F ( d u ) ) 2 d μ Ω u 2 d μ } ,
where W 0 1 , 2 ( Ω ) is the completion of C 0 ( Ω ) . If Ω 1 Ω 2 are bounded domains, then λ 1 ( Ω 1 ) λ 1 ( Ω 2 ) 0 . Thus, if Ω 1 Ω 2 M are bounded domains such that Ω i = M , then the limit
λ 1 ( M ) = lim i λ 1 , p ( Ω i ) 0

exists, and it is independent of the choice of { Ω i } .

Theorem 5.1 Let ( M , F , d μ ) be a complete noncompact and simply connected Finsler n-manifold with finite reversibility λ and nonpositive S-curvature. If the flag curvature satisfies K a 2 ( a > 0 ), then
λ 1 ( M ) ( n 1 ) 2 a 2 4 λ 2 .
Proof For R > δ > 0 , set Ω δ = B p ( R ) B p ( δ ) , where B p ( R ) denotes the forward geodesic ball of radius R centered at p. Then ρ ( x ) = d ( p , x ) is differentiable in Ω δ and ρ is a smooth vector field in Ω δ . Let f C 0 ( Ω δ ) . Notice that F ( ρ ) = 1 , and we have
div ( f 2 ρ ) = f 2 Δ ρ + 2 f ρ ( f ) f 2 Δ ρ 2 λ | f | F ( d f ) F ( ρ ) = f 2 Δ ρ 2 λ | f | F ( d f ) ,
where F is the dual Finsler metric of F. Since K a 2 , it is known from Proposition 3.2 that Δ ρ ( n 1 ) a coth ( a ρ ) . Hence
div ( f 2 ρ ) f 2 ( n 1 ) a coth ( a ρ ) 2 λ | f | F ( d f ) f 2 ( n 1 ) a coth ( a R ) λ ( ε f 2 + 1 ε F ( d f ) 2 )
(5.1)
holds for any ε > 0 . Integrating both sides of (5.1) over Ω δ and using the divergence theorem, we obtain
0 = Ω δ div ( f 2 ρ ) d μ ( n 1 ) a coth ( a R ) Ω δ f 2 d μ λ Ω δ ( ε f 2 + 1 ε F ( d f ) 2 ) d μ .
Therefore,
Ω δ F ( d f ) 2 d μ ε λ ( ( n 1 ) a coth ( a R ) ε λ ) Ω δ f 2 d μ .
Choosing ε = ( n 1 ) a coth ( a R ) 2 λ , one has
Ω δ F ( d f ) 2 d μ [ ( n 1 ) a coth ( a R ) 2 λ ] 2 Ω δ f 2 d μ .
Letting δ 0 , we get
B p ( R ) F ( d f ) 2 d μ [ ( n 1 ) a coth ( a R ) 2 λ ] 2 B p ( R ) f 2 d μ .
Since f is arbitrary, the formula above means
λ 1 ( B p ( R ) ) [ ( n 1 ) a coth ( a R ) 2 λ ] 2 .
Note that ( M , F , d μ ) is a complete noncompact and simply connected Finsler manifold. Letting R , we have
λ 1 ( M ) [ ( n 1 ) a 2 λ ] 2 .

 □

By using Theorem 3.1 and a similar argument, we can also prove the following result.

Theorem 5.2 Let ( M , F , d μ ) be a complete noncompact and simply connected Finsler n-manifold with finite reversibility λ, nonpositive flag curvature and nonpositive S-curvature. If the weighted Ricci curvature satisfies Ric n + 1 a 2 ( a > 0 ), then
λ 1 ( M ) a 2 4 λ 2 .

Declarations

Acknowledgements

This work is supported partly by NNSFC (no. 10971239, 11171253) and NSFHE (KJ2012B197). The authors would like to thank the referees for their useful comments on the manuscript.

Authors’ Affiliations

(1)
Department of Mathematics, Tongji University
(2)
Department of Mathematics and Computer Science, Tongling University

References

  1. Ohta S, Sturm KT: Heat flow on Finsler manifolds. Commun. Pure Appl. Math. 2009, 62: 1386-1433. 10.1002/cpa.20273MATHMathSciNetView ArticleGoogle Scholar
  2. Shen ZM: Volume comparison and its applications in Riemann-Finsler geometry. Adv. Math. 1997, 128: 306-328. 10.1006/aima.1997.1630MATHMathSciNetView ArticleGoogle Scholar
  3. Wu BY, Xin YL: Comparison theorems in Finsler geometry and their applications. Math. Ann. 2007, 337: 177-196.MATHMathSciNetView ArticleGoogle Scholar
  4. Wu BY: Volume form and its applications in Finsler geometry. Publ. Math. (Debr.) 2011,78(3-4):723-741.MATHView ArticleGoogle Scholar
  5. Zhao W, Shen YB: A universal volume comparison theorem for Finsler manifolds and related results. Can. J. Math. 2013, 65: 1401-1435. 10.4153/CJM-2012-053-4MATHMathSciNetView ArticleGoogle Scholar
  6. Ohta S: Finsler interpolation inequalities. Calc. Var. Partial Differ. Equ. 2009, 36: 211-249. 10.1007/s00526-009-0227-4MATHView ArticleGoogle Scholar
  7. Ding Q: A new Laplacian comparison theorem and the estimate of eigenvalues. Chin. Ann. Math., Ser. B 1994, 15: 35-42.MATHGoogle Scholar
  8. Calabi E: On manifolds with nonnegative Ricci curvature II. Not. Am. Math. Soc. 1975., 22: Article ID A-205. Abstract No. 720-53-6Google Scholar
  9. Yau ST: Some function-theoretic properties of complete Riemannian manifold and their applications to geometry. Indiana Univ. Math. J. 1976, 25: 659-670. 10.1512/iumj.1976.25.25051MATHMathSciNetView ArticleGoogle Scholar
  10. Mckean HP: An upper bound for spectrum of Δ on a manifold of negative curvature. J. Differ. Geom. 1970, 4: 359-366.MATHMathSciNetGoogle Scholar
  11. Bao DW, Robles C, Shen ZM: Zermelo navigation on Riemannian manifolds. J. Differ. Geom. 2004, 66: 391-449.MathSciNetGoogle Scholar
  12. Xing H: The geometric meaning of Randers metrics with isotropic S -curvature. Adv. Math. 2005,34(6):717-730.MathSciNetGoogle Scholar
  13. Shen ZM, Xing H: On Randers metrics with isotropic S -curvature. Acta Math. Sin. 2008, 24: 789-796. 10.1007/s10114-007-5194-0MATHMathSciNetView ArticleGoogle Scholar
  14. Ohta S, Sturm KT: Bochner-Weitzenbock formula and Li-Yau estimates on Finsler manifolds. Adv. Math. 2014, 252: 429-448.MATHMathSciNetView ArticleGoogle Scholar
  15. Milnor J: A note on curvature and fundamental group. J. Differ. Geom. 1968, 2: 1-7.MATHMathSciNetGoogle Scholar
  16. Yang YH: On the growth of the fundamental groups on nonpositive curvature manifolds. Bull. Aust. Math. Soc. 1996, 54: 483-487. 10.1017/S0004972700021894MATHView ArticleGoogle Scholar
  17. Xin YL: Ricci curvature and fundamental group. Chin. Ann. Math., Ser. B 2006,27(2):113-120. 10.1007/s11401-005-0253-2MATHView ArticleGoogle Scholar

Copyright

© Yin et al.; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.