ALEXANDRU KRIST ´ALY, ZHONGMIN SHEN, LIXIA YUAN, AND WEI ZHAO
Abstract. In this paper we investigate the spectral problem in Finsler geometry. Due to the nonlinearity of the Finsler-Laplacian operator, we introducefaithful dimension pairs by means of which the spectrum of a compact reversible Finsler metric measure manifold is defined. Various upper and lower bounds of such eigenvalues are provided in the spirit of Cheng, Buser and Gromov, which extend in several aspects the results of Hassannezhad, Kokarev and Polterovich. Moreover, we construct several faithful dimension pairs based on Lusternik-Schnirelmann category, Krasnoselskii genus and essential dimension, respectively;
however, we also show that the Lebesgue covering dimension pair is not faithful. As an application, we show that the Bakry- ´Emery spectrum of a closed weighted Riemannian manifold can be characterized by the faithful Lusternik-Schnirelmann dimension pair.
1. Introduction
According to S.-S. Chern [13], ’Finsler geometry is just Riemannian geometry without the quadratic restriction’. Chern’s statement is fairly confirmed as most of the well-known results from Riemannian geometry – by suitable modifications – have their Finslerian accompanying, e.g. Hopf-Rinow, Hadamard- Cartan and Bonnet-Myers theorems as well as Rauch and Bishop-Gromov comparison principle, see Bao, Chern and Shen [4]. However, genuine differences occur between the two geometries; let us recall just three of them. First, unlike the Hopf classification in Riemannian geometry, no full characterization is available for Finsler manifolds having constant flag curvature; in fact, various subclasses of Finsler manifolds seem to play a crucial role in such a description (as Minkowski, Berwald, Landberg, Randers spaces), see e.g. Shen [33,34]. Second, unlike in inner spaces, affine 2-disks in normed Minkowski spaces are not area-minimizing among rational rational chains having the same boundary, see Burago and Ivanov [5].
Another unexpected phenomenon arises in the theory of Sobolev spaces; indeed, while Sobolev spaces over complete Riemannian manifolds have the expected properties (separability, reflexivity, embeddings, etc), see Hebey [22], it turns out that Sobolev spaces over non-compact Finsler manifolds should not have even a vector space structure, see Krist´aly and Rudas [27].
The aim of the present paper is to investigate the spectral problem on compact reversible Finsler manifolds. The main difficulty relies on thenonlinearityof the Finsler-Laplace operator unless the Finsler manifold is Riemannian. To be more precise, let us consider a Finsler metric measure manifold (M, F, dm) (shortly, FMMM), i.e., (M, F) is a reversible Finsler manifold endowed with a smooth measuredm. Let (xi) be a local coordinate forM and (xi, ηi) be the induced coordinates forT∗M. Setdm=σ(x)dx1. . . dxn and g∗ij(x, η) := 12[F∗2]ηiηj(x, η), where F∗ is the co-Finsler metric on the cotangent bundle T∗M, see Section2. The Finsler-Laplace operator ∆ on (M, F, dm) is given by
∆u(x) = 1 σ(x)
∂
∂xi h
σ(x)g∗ij(x, du)∂u
∂xj(x)i
, ifdu(x)6= 0, u∈C0∞(M).
The dependence ofg∗ij(x, η) byηclearly implies the nonlinearity ofu7→∆u, unless (M, F) is Riemannian, see e.g. Shen [36, Example 3.2.1]. Thespectrum of (M, F, dm) is defined to be the set of numbersλsuch that the nonlinear equation
−∆u=λu, (1.1)
has a nontrivial solution; in such a case,λis aneigenvalueof ∆ or (M, F, dm). From the Morse-theoretical point of view of the spectrum, see e.g. Gromov [18], equation (1.1) is precisely the Euler-Lagrange equation
2010Mathematics Subject Classification. Primary 53B40, Secondary 58C40, 58E05.
Key words and phrases. Eigenvalue; eigenfunction; Finsler manifold; Sobolev space; Lusternik-Schnirelmann category;
Krasnoselskii genus; essential dimension; Lebesgue covering dimension.
1
arXiv:1907.01182v2 [math.DG] 27 Oct 2019
of the canonical energy functionalE given by
E(u) :=EF(u) = Z
M
[F∗(du)]2dm Z
M
u2dm
, ∀u∈X\{0},
where X is the Sobolev space consisting of H1 functions on M (with u|∂M = 0 if ∂M 6=∅); therefore, the spectrum of (M, F, dm) is the set of critical points of E. We notice that the spectral problem on Riemannian manifolds has been intensively studied, see e.g. Chavel [8]; in particular, the Beltrami- Laplace operatoru7→∆uin (1.1) is linear and the approach of Gromov [18] can be fully applied in order to state qualitative results for the spectrum of compact Riemannian manifolds.
Following the abstract idea of Gromov [18], the nonlinear character of the Finsler-Laplace operator ∆ on a generic compact FMMM (M, F, dm) heavily motivates the introduction of adimension-like function dimon a collectionC of certain subsets of
S :=
u∈X : Z
M
u2dm= 1
in order to capture an infinite sequence of eigenvalues of ∆. To do so, for every positive integer k, set λk:= supn
λ≥0 : dimE−1[0, λ]< ko
, (1.2)
where dimE−1[0, λ] := sup{dim(A) : A ∈ C, A ⊂ E−1[0, λ]}; the set {λk}∞k=1 is called the (C,dim)- spectrum. As expected, the set of eigenvalues{λk}∞k=1 defined by (1.2) might not be the set of all critical values ofE. Even more, a generic (C,dim)-spectrum may have a completely different behavior w.r.t. the spectrum of (M, F, dm), see e.g. Proposition3.33 for a nontrivial example where the (C,dim)-spectrum is a singleton. Accordingly, a challenging question is to identify dimension pairs (C,dim) whose spectrum inherits the expected features of the spectrum of (M, F, dm). A possible way is to introduce faithful dimension pairs (C,dim), see Definition3.9, which requires that the (C,dim)-spectrum and the Courant spectrum coincide for every (test) Riemannian metric g acting on M, the measure being the canonical onedvolg. It turns out that faithful dimension pairs occur quite often; we construct several ones based on Lusternik-Schnirelmann category, Krasnoselskii genus and essential dimension, respectively, see Section 3.2. Our first result establishes a close relationship between the spectrum of (M, F, dm) and the (C,dim)- spectrum of a faithful dimension pair; to state it, we consider the Sobolev space
X0=
u∈H1(M) :u|∂M = 0 if ∂M 6=∅ or Z
M
u dm= 0 if ∂M =∅
.
Theorem 1.1. Let (M, F, dm) be a compact FMMM. For any faithful dimension pair (C,dim), every number λk in its spectrum belongs to the spectrum of (M, F, dm), or equivalently, there existsu∈X0\{0}
or u= const.6= 0 with
−∆u=λku in the weak sense.
Moreover, the spectrum {λk}∞k=1 has the following properties:
0 =λ1 < λ2 ≤. . .≤λk≤. . .%+∞, if ∂M =∅;
0< λ1 ≤λ2 ≤. . .≤λk≤. . .%+∞, if ∂M 6=∅, where the first positive eigenvalue is given by
λ2= infu∈X0\{0}E(u), if ∂M =∅;
λ1= infu∈X0\{0}E(u), if ∂M 6=∅.
In the sequel, our interest is to provide upper and lower bound estimates for the eigenvalues associated with a fixed dimension pair. First, we provide a Cheng type estimate for generic dimension pairs, i.e., the eigenvaluesλk’s are bounded from above by a term involving bounds of the weighted Ricci curvature RicN (cf. Ohta and Sturm [29]) and diameter of the FMMM.
Theorem 1.2. Given N ∈ [n,∞)∩N, K ∈ R and d > 0, let (M, F, dm) be an n-dimensional closed FMMM with
RicN ≥(N −1)K, diam(M) =d.
Then there exists C1 =C1(N) > 0 depending only on N such that for any dimension pair (C,dim) the corresponding eigenvalues λk’s satisfy
λk≤ (N −1)2
4 |K|+C1(N) k
d 2
.
Theorem 1.2 extends the estimates of Cheng [12, Corollary 2.3] and Hassannezhad, Kokarev and Polterovich [21, Theorem 1.3.1] to Finsler manifolds. The above estimate is asymptotically optimal, i.e. one cannot replace kd2
by kd2−ε
for anyε >0; indeed, in then-dimensional unit sphereSnwith its canonical metric, for any faithful dimension pair we have λk =k(k+n−1), k∈N. Moreover, Theorem 1.2also handles the case in Proposition3.33, where the (C,dim)-spectrum contains only one element.
Unlike in the Riemannian setting, various measures can be introduced on a Finsler manifold whose behavior may be genuinely different. Two such frequently used measures are the Busemann-Hausdorff measuredmBHand Holmes-Thompson measuredmHT, see Alvarez-Paiva and Berck [2] and Alvarez-Paiva and Thompson [3]. These two measures become the canonical Riemannan measure whenever the Finsler metric is Riemannian. Let ΛF ≥1 be the uniformity constant of (M, F), with ΛF = 1 if and only if F is Riemannian (cf. Egloff [15]). The following result provides a Gromov type estimate, see [17,19].
Theorem 1.3. GivenK ∈Rand d >0, let(M, F, dm) be an n-dimensional closedFMMM with Ric≥(n−1)K, diam(M) =d,
wheredmis either the Busemann-Hausdorff measure or the Holmes-Thompson measure. Then there exists C2=C2(n)>0depending only on nsuch that for any faithful dimension pair(C,dim) the corresponding eigenvalues λk’s satisfy
λk+1 ≥ C1+d
√
|K|
2
Λ24nF d2 k2n, ∀k∈N.
We notice that the faitfulness of the dimension pair in Theorem1.3is indispensable; see again Proposi- tion3.33. For a closed Riemannian manifold (endowed with its canonical measure), Theorem1.3reduces to the estimate given by Gromov [19, Appendix C] and Hassannezhad, Kokarev and Polterovich [21, The- orem 1.2.1], while Weyl’s asymptotic law (see e.g. Chavel [8, p.9]) implies the asymptotic optimality of the latter estimate. Moreover, Theorem1.3 can be extended to arbitrary measures, see Theorem 5.8, where a weaker estimate is obtained on the right hand side of the above inequality containing quantitative information on the distortion of (M, F, dm). In addition, for some special faithful dimension pairs, we obtain better estimates which are not only independent of the uniformity constant ΛF but also valid for arbitrary measures, see Theorem5.17.
We also provide a Buser type estimate; hereafter,iM stands for the injectivity radius of (M, F).
Theorem 1.4. GivenK ∈Rand V >0, let (M, F, dm) be ann-dimensional closed FMMM with Ric≥(n−1)K, m(M) =V,
where dmis either the Busemann-Hausdorff measure or the Holmes-Thompson measure. Then there exist C3 =C3(n)>0 and C4 =C4(n)>0 both depending only on nsuch that for any faithful dimension pair (C,dim) the corresponding eigenvalues λk’s satisfy
λk+1≥ C3
Λ32nF k
V 2
n
, ∀k≥C4max n
i−nM ,|K|n2o Λ5nF 2V.
As an application, we show that for every closed weighted Riemannian manifold (M, g, e−fdvolg) the Lusternik-Schnirelmann spectrum is precisely the spectrum of the Bakry- ´Emery Laplacian, see Theorem 6.2; the proof is based on the fact that (M, g, e−fdvolg) can be viewed as an FMMM (M, F, dm) with the metric F =√
g and measure dm=e−fdvolg, respectively.
The paper is organized as follows. In Section 2 we recall/prove those notions/results which are indis- pensable in our study (Finsler geometry, Sobolev spaces, energy functionals). In Section 3 we introduce the spectrum of the dimension pairs and we construct several faithful dimension pairs. In Section 4 we prove the Cheng type upper estimate (proof of Theorem 4.3), while in Section 5 lower bound estimates are given for the eigenvalues (proofs of Theorems5.8,5.10and 5.17). In Section6we prove Theorem 6.2 by joining the Lusternik-Schnirelmann spectrum with the spectrum of the Bakry- ´Emery Laplacian (proof of Theorem 6.2). In Section A we prove some technical results which are used throughout the previous sections.
2. Preliminaries
2.1. Elements from Finsler geometry. In this section, we recall some definitions and properties about Finsler manifolds; see Bao, Chern and Shen [4] and Shen [36] for more details.
2.1.1. Finsler manifolds. Let M be a connected n-dimensional smooth manifold and T M =S
x∈MTxM be its tangent bundle. The pair (M, F) is areversible Finsler manifold ifF :T M →[0,+∞) satisfies the conditions:
(a)F ∈C+∞(T M\ {0});
(b)F(x, λy) =|λ|F(x, y) for all λ∈Rand (x, y)∈T M;
(c)gij(x, y) = [12F2]yiyj(x, y) is positive definite for all (x, y)∈T M\ {0}, whereF(x, y) :=F(yi ∂∂xi|x).
The Euler theorem yields F(x, y) = p
gij(x, y)yiyj for any y ∈ T M\{0}. Moreover, (gij(x, y)) can be defined aty = 0 if and only if it is independent ofy, in which case F is Riemannian.
Set SxM := {y ∈ TxM : F(x, y) = 1} and SM := ∪x∈MSxM. The uniformity constant ΛF (cf.
Egloff [15]) is defined by
ΛF := sup
X,Y,Z∈SM
gX(Y, Y)
gZ(Y, Y), where gX(Y, Y) =gij(x, X)YiYj. Clearly, ΛF ≥1 with equality if and only if F is Riemannian.
The average Riemannian metricgˆon M induced by F is defined as ˆ
g(X, Y) := 1 ν(SxM)
Z
SxM
gy(X, Y)dνx(y), ∀X, Y ∈TxM, (2.1) where ν(SxM) =
Z
SxM
dνx(y), and dνx is the canonical Riemannian measure on SxM induced by F.
Simple estimates yield
Λ−1F ·F2(X)≤g(X, X)ˆ ≤ΛF ·F2(X),∀X ∈T M. (2.2) The co-Finsler (dual) metricF∗ on M is defined by
F∗(η) := sup
X∈TxM\{0}
η(X)
F(X), ∀η∈Tx∗M,
which is a Finsler metric onT∗M. TheLegendre transformation L:T M →T∗M is defined by L(X) :=
gX(X,·), ifX 6= 0,
0, ifX = 0.
In particular,F∗(L(X)) =F(X). Givenf ∈C1(M), thegradientoff is defined as∇f =L−1(df). Thus, df(X) =g∇f(∇f, X). We remark that∇is usually nonlinear, i.e., ∇(f +h)6=∇f +∇h.
Letζ : [0,1]→M be a Lipschitz continuous path. The length ofζ is defined by LF(ζ) :=
Z 1
0
F( ˙ζ(t))dt.
Define the distance function dF :M ×M → [0,+∞) by dF(x1, x2) := infLF(σ), where the infimum is taken over all Lipschitz continuous pathsζ : [a, b]→ M withζ(a) =x1 and ζ(b) =x2. GivenR >0, the R-ballcentered atp is defined as Bp(R) :={x∈M : dF(p, x)< R}.
A smooth curvet7→γ(t) in M is called a (constant speed) geodesic if it satisfies d2γi
dt2 + 2Gi dγ
dt
= 0, where
Gi(y) := 1 4gil(y)
2∂gjl
∂xk(y)−∂gjk
∂xl (y)
yjyk (2.3)
is the geodesic coefficient. We always useγy(t) to denote the geodesic with ˙γy(0) =y.
A reversible Finsler manifold (M, F) is completeif every geodesic t7→γ(t), 0< t <1, can be extended to a geodesic defined on −∞< t <+∞. Thecut value iy of y∈SxM is defined by
iy := sup{t: the geodesic γy|[0,t] is globally minimizing}.
Theinjectivity radiusatxis defined asix:= infy∈SxMiy. According to Bao, Chern and Shen [4], if (M, F) is complete, then ix >0 for any pointx∈M. Theinjectivity radius of M is defined byiM := infx∈Mix; ifM is compact, then iM >0. The cut locus of x is defined as
Cutx :={γy(iy) : y∈SxM with iy <+∞}. In particular, Cutx is closed and has null measure.
2.1.2. Measures and curvatures. A triple (M, F, dm) is called an FMMM (i.e., Finsler metric measure manifold), if (M, F) is a reversible Finsler manifold endowed with a smooth measure dm. In a local coordinate system (xi), useσ(x) to denote the density function of dm, i.e.,
dm=:σ(x)dx1. . . dxn. (2.4)
In particular, the Busemann-Hausdorff measure dmBH and the Holmes-Thompson measure dmHT (cf.
[2,3]) are defined by
dmBH := vol(Bn)
vol(BxM)dx1. . . dxn, dmHT :=
1 vol(Bn)
Z
BxM
detgij(x, y)dy1. . . dyn
dx1. . . dxn,
whereBxM :={y∈TxM :F(x, y)<1} andBn is the usual Euclideann-dimensional unit ball.
Given aC2-function f, set U ={x∈M : df|x 6= 0}. The Laplacian of f ∈C2(M) is defined onU by
∆f := div(∇f) = 1 σ(x)
∂
∂xi
σ(x)g∗ij(df|x)∂f
∂xj
, (2.5)
where (g∗ij) is the fundamental tensor ofF∗ and σ(x) is defined in (2.4). As in Ohta and Sturm [29], we define thedistributional Laplacian of u∈Hloc1 (M) in the weak sense by
Z
M
v∆udm=− Z
M
h∇u, dvidmfor all v∈C0∞(M),
whereh∇u, dvi:=dv(∇u) at x∈M denotes the canonical pairing between Tx∗M and TxM.
Define the distortionτ and theS-curvatureS of (M, F, dm) as τ(y) := log
pdetgij(x, y)
σ(x) , S(y) := d dt t=0
[τ( ˙γy(t))], fory∈TxM\{0}, whereγy(t) is a geodesic with ˙γ(0) =y.
Lemma 2.1 (Yuan and Zhao [38]). Let (M, F, dm) be an n-dimensional FMMM with finite uniformity constant ΛF. If dmis the Busemann-Hausdorff measure or the Holmes-Thompson measure, then eτ(y)∈ [Λ−nF ,ΛnF] for anyy ∈T M\{0}.
The Riemannian curvature Ry of F is a family of linear transformations on tangent spaces. More precisely, set Ry :=Rki(y)∂x∂i ⊗dxk, where
Rik(y) := 2∂Gi
∂xk −yj ∂2Gi
∂xj∂yk + 2Gj ∂2Gi
∂yj∂yk −∂Gi
∂yj
∂Gj
∂yk,
where Gi’s are the geodesic coefficients defined in (2.3). The Ricci curvature of y 6= 0 is defined by Ric(y) := FR2ii(y)(y). According to Ohta and Sturm [29], given y ∈ SM, the weighted Ricci curvature is defined by
RicN(y) =
Ric(y) + dtd
t=0S(γy(t))−SN2−n(y), forN ∈(n,+∞),
limL↓nRicL(y), forN =n,
Ric(y) + dtd
t=0S(γy(t)), forN = +∞.
In particular, bounding Ricnfrom below makes sense only if S= 0.
2.1.3. Laplacian and volume comparison theorems. IfM is complete, then there exists a polar coordinate system at every point ofM (cf. Zhao and Shen [40]). Fixing an arbitrary point p ∈M, let (r, y) be the polar coordinate system atpand write
dm=: ˆσp(r, y)dr dνp(y), (2.6)
wherer is the distance frompand dνp(y) is the Riemannian measure onSpM induced by F. For any fixed y∈SpM, we have
∆r= ∂
∂rlog(ˆσp(r, y)), for 0< r < iy. (2.7) In particular,
r→0lim+ ˆ σp(r, y)
rn−1 =e−τ(y). (2.8)
In this paper, An,K(r) (resp. Vn,K(r)) denotes the area (resp., volume) of sphere (resp., ball) with radiusr in the Riemannian space form of constant curvatureK, that is,
An,K(r) = vol(Sn−1)sn−1K (r), Vn,K(r) = vol(Sn−1) Z r
0
sn−1K (t)dt, (2.9) where sK is the unique solution to f00+Kf = 0 with f(0) = 0 and f0(0) = 1. For the Ricci curvature, we have the following result; see Zhao and Shen [40, Theorem 1.2, Remark 3.5] for the proof.
Lemma 2.2. Let (M, F, dm) be an n-dimensional complete FMMM and let(r, y) be the polar coordinate system at p.
(i) If Ric≥(n−1)K, then for any y∈SpM, the function r7→fy(r) := σˆp(r, y)
e−τ( ˙γy(r))sn−1K (r) is monotonically non-increasing and converges to 1 as r→0+. (ii) If Ric≥(n−1)K and |τ| ≤log Θ, then
m(Bp(R))
m(Bp(r)) ≤Θ2Vn,K(R)
Vn,K(r), ∀0< r≤R.
For the weighted Ricci curvature, Ohta and Sturm [29] obtained the following result.
Lemma 2.3. Let (M, F, dm) be an n-dimensional complete FMMM. If for some N ∈ [n,+∞) and K ∈ R, the weighted Ricci curvature satisfies RicN ≥ (N −1)K, then the Laplacian of the distance functionr(x) =dF(p, x) from any given point p∈M can be estimated as
∆r ≤ d dr
logsNK−1(r)
,
which holds pointwisely on M\(Cutp∪ {p}) and in the sense of distributions on M\ {p}.
Hence, for anyx∈M and 0< r≤R, m(Bx(R))
m(Bx(r)) ≤ VN,K(R)
VN,K(r) ≤e(N−1)R
√
|K|
R r
N
.
Moreover, we have an extension of the so-called ”segment inequality” of Cheeger and Colding [11, Theorem 2.11]; see Zhao [41, Theorem 3.1, Remark 3.2] for its proof.
Theorem 2.4. Given N ∈ [n,+∞) and K ∈ R, let (M, F, dm) be an n-dimensional complete FMMM with RicN ≥(N −1)K. LetAi, i= 1,2 be two bounded open subsets and let W be an open subset such that for each two xi ∈Ai, a normal minimal geodesic γx1x2 from x1 to x2 is contained in W. Thus, for any non-negative integrable function f onW, we have
Z
A1×A2
Z dF(x1,x2) 0
f(γx1x2(s))ds
! dm×
≤C(N, K, d) [m(A1) diam(A2) +m(A2) diam(A1)]
Z
W
f dm, where dm× is the product measure induced by dm, d:= supx1∈A1, x2∈A2dF(x1, x2) and
C(N, K, d) = sup
0<12r≤s≤r≤d
sK(r) sK(s)
N−1
≤2N−1e(N−1)
√|K|d
2 .
2.2. Sobolev spaces and energy functionals. Let (M, F, dm) be a compact FMMM with or without boundary ∂M. Define a norm k · kH on C∞(M) with respect todmby
kukH:=kukL2 +kF∗(du)kL2 = Z
M
u2dm 12
+ Z
M
F∗2(du)dm 12
. Now set
H1(M) :=C∞(M)k·kH, X :=C0∞(M)k·kH, X0 :=
u∈X : Z
M
udm= 0 if ∂M =∅
.
Since M is compact, both H1(M) and X are independent of the choices of F and dm; in particular, H1(M) is the standard Sobolev space in the sense of Hebey [22, Definition 2.1]. However, whenM is not compact,H1(M) need not be even a vector space, see Krist´aly and Rudas [27].
The canonical energy functionalE (i.e., Rayleigh quotient) on X\{0} is defined as
E(u) :=
Z
M
F∗2(du)dm Z
M
u2dm
= kF∗(du)k2L2
kuk2L2 , ∀u∈X\{0}. (2.10) Givenu∈X\{0}, for anyv∈X, we have
DE(u)(v) :=hv, DE(u)i:= d dt t=0
E(u+tv) =−2 Z
M
v(∆u+E(u)u)dm Z
M
u2dm
.
Hence,DE(u) is a linear functional on X. In particular,DE(u) = 0 if and only if
−∆u=E(u)u in the weak sense.
Proposition 2.5. Let (M, F, dm) be a compact FMMM. Then for any u∈X\{0}, DE(u) is a bounded functional and u7→DE(u) is continuous; hence, E∈C1(X\{0}).
Sketch of the proof. Givenu∈X\{0}, H¨older’s inequality furnishes kDE(u)k= sup
v6=0
hv, DE(u)i kvkH
≤ 2kF∗(dv)kL2kF(∇u)kL2 +E(u)· kukL2kvkL2
kuk2L2kvkH
≤2max{p
E(u), E(u)}
kukL2
. (2.11)
Moreover, due to Ge and Shen [20, (11)], a partition of unity argument yields a constant C=C(M)>0 depending only onM such that
kF(∇u− ∇v)kL2 ≤C· kF∗(du−dv)kL2, ∀u, v∈H1(M). (2.12) Now a direct calculation together with (2.11) and (2.12) furnishes
k→∞lim kuk−ukH= 0 =⇒ lim
k→∞kDE(uk)−DE(u)k= 0,
whereuk6= 0. Thus DE(u) is continuous at u.
Recall the following (P.-S.) condition.
Proposition 2.6 (Ge and Shen [20]). Given any 0< δ <+∞, if {uk} is a sequence in X\{0} with kukkL2 = 1, E(uk)≤δ, kDE(uk)k →0, (P.-S.) then there exists a (strongly) convergent subsequence in X\{0}.
Definition 2.7. Given any eigenvalue λ≥0, the eigenset Kλ corresponding to λis defined as
Kλ:={u∈X : kukL2 = 1, E(u) =λ, DE(u) = 0}. (2.13) Lemma 2.8. Kλ is compact.
Proof. Given a sequence{uk} ⊂Kλ, the (P.-S.) condition yields that a subsequence{ukl}strongly converge tou∈X. Now Proposition 2.5yields that kukL2 = 1, E(u) =λ, DE(u) = 0, i.e., u∈Kλ. Hence,Kλ is
compact.
In the sequel,X is called aBanach-Finsler manifoldifX is a Finsler manifold in the sense of Palais (cf.
Palais [32, Definition 2.10, Definition 3.5] and Struwe [37, p. 77]); see also Definition A.1(see Appendix A.1).
Now let TX denote the tangent bundle of X and let k · k be the trivial metric structure on TX induced by k · kH. Thus, (X,k · k) is a C∞-Banach-Finsler manifold. Let us introduce the set
S :={u∈X : kukL2 = 1}.
In the sequel, the setSwill be our main object of study rather thanX orX0. First, we have the following important result, whose proof will be given in Appendix A.1.
Proposition 2.9. (S,k · k |TS) is a complete C∞-Banach-Finsler manifold and an AR (i.e., absolute retract). Moreover,i∗E is a C1-function onS, where i:S ,→X is the inclusion.
The following lemma is based on the homogeneity ofE.
Lemma 2.10. A function u∈ S is a critical point of E if and only if u is a critical point of i∗E, where i:S ,→X is the inclusion. In particular, either u=±(m(M))−12 or u∈X0\{0}.
Remark 2.11. Ge and Shen [20] proved that if DE(u) = 0, then u∈C1,α(M) for some 0< α <1.
According to Lemma2.10, there is no difference betweenE and i∗E from the point of view of critical points inS; so by abuse of notation, we will use E to denote i∗E in the rest of paper.
A standard argument concerning pseudo-gradient vector fields together with Propositions2.6 and 2.9 yields the following result; we omit its proof since it is the same as Struwe [37, Chapter II, Theorem 3.11].
Lemma 2.12 (Homotopy Lemma). Let (M, F, dm) be a compact FMMM. Let λ ≥ 0, > 0 and let O ⊂ S be any open neighborhood of the eigenset Kλ (see (2.13)). Then there exist a number 0 ∈ (0, ) and a continuous 1-parameter family of homeomorphisms Φ(·, t) of S, 0 ≤ t < +∞, with the following properties:
(i) Φ(u, t) =u, if one of the following conditions hold
(1)t= 0; (2)DE(u) = 0; (3)|E(u)−λ| ≥; (ii) t7→E(Φ(u, t)) is non-increasing for everyu∈ S;
(iii) Φ(Eλ+0\O,1)⊂Eλ−0, and Φ(Eλ+0,1)⊂Eλ−0∪O, where Eδ:={u∈ S : E(u)< δ}, δ >0;
(iv) Φ(−u, t) =−Φ(u, t) for everyt≥0 and u∈ S;
(v) Φ :S ×[0,∞)→ S has the semi-group property, i.e.,Φ(·, s)◦Φ(·, t) = Φ(·, s+t) for everys, t≥0.
3. dimension pairs and eigenvalues
3.1. Spectrum of a dimension pair. Since the Laplacian of a non-Riemannian Finsler manifold is nonlinear (cf. [20,36]), it is impossible to define the higher order eigenvalues by the traditional way.
Inspired by Gromov [18], we carry out a systematic study of eigenvalues by dimension-like functions. In addition, our results complement in several aspects those obtained in Riemannian geometry.
Notations. We will use the following notations throughout the paper:
(1) R+ := [0,∞),N:={0,1,2, . . .} andN+:={1,2, . . .};
(2) dimC(·) denotes the Lebesgue covering dimension (cf. Hurwicz and Wallman [23]);
(3) A homeomorphism h : S → S is called an APH (i.e., antipode preserving homeomorphism) wheneverh satisfies h(−u) =−h(u) for allu∈ S;
(4) Given a compact FMMM (M, F, dm), for anyu, v∈L2(M) we set (u, v)L2 :=
Z
M
u vdm, kukL2 :=
Z
M
u2dm. (3.1)
Now we introduce the notion of dimension pairs.
Definition 3.1. Anoptional family C is a collection of subsets of S satisfying the following conditions:
(i) ∅ ∈C;
(ii) Givenk∈N+, for anyk-dimensional vector subspace V ⊂X, one has V ∩ S ∈C; (iii) For every APH h:S → S, h(A)∈C for all A∈C.
Given an optional family C, a dimension-like function dim : C → N∪ {+∞} satisfies the following conditions:
(D1) dim(A)≥0 for any A∈C with equality if and only if A=∅;
(D2) For anyA1, A2 ∈C with A1⊂A2, dim(A1)≤dim(A2);
(D3) Givenk∈N+, for anyk-dimensional vector subspace V ⊂X, dim(V ∩ S)≥k;
(D4) For every APH h:S → S, dim(h(A)) =dim(A) for allA∈C.
(C,dim) is a dimension pair, ifC is an optional family and dimis a dimension-like function on C. Remark 3.2. Since the inverse of an APH is still an APH, (D4) is equivalent to the following:
(D4’) For every APHh:S → S,dim(h(A))≥dim(A) for all A∈C. The spectrum for a dimension pair is defined as follows.
Definition 3.3. Let(M, F, dm)be a compactFMMM. Given a dimension pair(C,dim), the corresponding eigenvalues are defined as
λk:= sup
λ∈R+∪ {+∞}: dimE−1[0, λ]< k , ∀k∈N+, where
dimE−1[0, λ] := sup
dim(A) : A∈C, A⊂E−1[0, λ] . The collection {λk}∞k=1 is called the (C,dim)-spectrum.
Remark 3.4. In [18], Gromov defined a dimension-like functiondimas a function on a collection of setsC only satisfying Property (D2). In this paper, we require that both an optional familyC and a dimension- like functiondimsatisfy further properties which provide qualitative properties of the (C,dim)-spectrum.
First we have the following min-max principle.
Theorem 3.5 (Min-max Principle). Let (M, F, dm) be a compact FMMM. Given a dimension pair (C,dim), set
Ck :={A∈C : dim(A)≥k}, ∀k∈N+. Then the corresponding eigenvalue satisfies the min-max principle, i.e.,
λk= inf
A∈Ck
sup
u∈A
E(u), ∀k∈N+. In particular, λk is finite for every k∈N+.
Proof. For anyk ∈ N+, Definition 3.1 implies Ck 6= ∅. Hence ˆλk := infA∈Cksupu∈AE(u) is well-defined.
We show first that λk = ˆλk. In fact, if λ∈ R+∪ {+∞} satisfies dimE−1[0, λ] ≥k, then Definition 3.3 yieldsλk≤λ, which implies
λk≤inf
λ∈R+∪ {+∞}: dimE−1[0, λ]≥k
= inf
λ∈R+∪ {+∞}: ∃A∈C withA⊂E−1[0, λ] and dim(A)≥k ≤λˆk.
If λk = +∞, then clearly λk ≥ λˆk. Now suppose λk < +∞. Thus, for any > 0, Definition 3.3 furnishes dimE−1[0, λk +] ≥ k, i.e., there exists A ⊂ E−1[0, λk +] with A ∈ Ck, which implies λˆk= infA∈Cksupu∈AE(u)≤λk+. The arbitrariness of >0 implies ˆλk≤λk, thusλk = ˆλk.
We now prove that λk is finite. Let ˆg be the average Riemannian metric induced by F, see (2.1).
Denote by (·,·) andk · k1 the standard inner product and norm onH1(M) induced by ˆg, respectively, i.e., (u, v) :=
Z
M
uv dvolgˆ+ Z
M
ˆ
g(du, dv)dvolˆg, kuk1:=p
(u, u). (3.2)
Since M is compact, the topology of (X,k · k1) coincides with the one of (X,k · kH); in particular,E is continuous in the topology of (X,k · k1).
Let {λ∆i gˆ}∞i=1 be the usual spectrum of the Beltrami-Laplacian ∆ˆg and {fi}∞i=1 be the corresponding eigenfunctions with kfikL2 = 1. According to Craioveanu, Puta and Rassias [7, p.134], for any u ∈ X, there exist a sequence of constants{ai} such thatu=P∞
i=1aifi with kuk2L2 =
∞
X
i=1
a2i, kuk21=
∞
X
i=1
(1 +λ∆i gˆ)a2i <+∞. (3.3) Now set V := Span{f1, . . . , fk}. Due to (3.3),V ∩ S ⊂X is compact in (X,k · k1). Since V ∩ S ∈Ck, see (D3), the min-max characterization furnishesλk= inf
A∈Ck
sup
u∈A
E(u)≤supu∈V∩SE(u)<+∞.
Remark 3.6. Ifdimdoes not satisfy (D3) in Definition3.1,Ck could be empty, in which caseλk= +∞.
Theorem 3.7. Let(M, F, dm)be a compactFMMM. Given a dimension pair(C,dim), the corresponding spectrum {λk}∞k=1 satisfy the following properties:
(i) (Monotonicity)
0 =λ1 ≤λ2≤. . .≤λk≤. . . , if ∂M =∅;
0< λ1 ≤λ2≤. . .≤λk≤. . . , if ∂M 6=∅.
In particular, the first eigenvalue is λ1 = inf
u∈SE(u) = inf
u∈X\{0}E(u).
(ii) (Riemannian case)If F is Riemannian and dmis the canonical Riemannian measure, then λk≤λ∆k, ∀k∈N+,
where λ∆k is the usual kth-eigenvalue of the Beltrami-Laplacian ∆in the Riemannian case.
(iii) (Existence of eigenfunction) For eachk∈N+, the eigenfunction ucorresponding to the eigen- value λk always exists, i.e., there exist u ∈ X\{0} with ∆u +λku = 0 in the weak sense. In particular, the eigenfunction u satisfies
u=const.6= 0, if λk= 0;
u∈X0\{0}, if λk>0.
Proof. (i) For convenience, set λ∗1 := infu∈SE(u) = infu∈X\{0}E(u).We claimλ1 =λ∗1. First, Theorem 3.5 implies λ∗1 ≤λ1. Furthermore, for each f ∈ S, we have A0 := {±f} ⊂Rf ∩ S ∈C1, which together with the min-max principle yieldsλ1= infA∈C1supu∈AE(u)≤supu∈A0E(u) =E(f). Taking the infimum of the right hand side when f ∈ S, it turns out that λ1 ≤λ∗1.
In the sequel, we study the positivity of λ1. If ∂M = ∅, set A = {±(m(M))−12} ∈ C1. Thus, 0≤λ1 ≤supu∈AE(u) = 0. Now suppose∂M 6=∅. Let ˆg be the average Riemannian metric induced by F. SinceM is compact, there exists a positive constant Cm≥1 such that
Cm−1·dvolgˆ≤dm≤Cm·dvolˆg, (3.4) which together with (2.2) and the spectral theory in Riemannian geometry yields
λ1 =λ∗1= inf
u∈X\{0}
Z
M
F∗2(du)dm Z
M
u2dm
≥ 1
ΛFCm2 inf
u∈X\{0}
Z
M
ˆ
g(du, du)dvolˆg Z
M
u2dvolˆg
>0.
Since Ck+1⊂Ck, the monotonicity of the eigenvalues follows by Theorem3.5.
(ii) If F is Riemannian, Courant’s minimax principle yields λ∆k = min
V∈Hk
u∈Vmax\{0}E(u), (3.5)
where Hk ={V ⊂ X : V is a linear subspace with dimC(V) = k}. In particular, for any > 0, there exists a linear spaceV withdimC(V) =kand maxu∈V\{0}E(u)< λ∆k +. SinceS ∩V ∈Ck, the min-max principle furnishesλk≤supu∈S∩V E(u)< λ∆k +. The arbitrariness of >0 implies that λk≤λ∆k.
(iii) We claim that eachλk is a critical value ofE. Assume the contrary thatλk is a regular value, i.e., if u ∈ S with E(u) =λk, then DE(u) 6= 0. Accordingly, the eigenset Kλk is empty (cf. (2.13)). Due to Lemma2.12 (O =∅ and= 1), there exists0 >0 and a family of APH’s Φ(·, t) :S → S,t∈[0,1],such that Φ(Eλk+0,1)⊂ Eλk−0. For this 0 > 0, Theorem 3.5 yields an element A ∈Ck with A ⊂ Eλk+0, therefore,E(Φ(w,1))< λk−0 for every w∈A.
By (D4) in Definition 3.1one has Φ(A,1)∈Ck which together with Theorem3.5 implies λk≤ sup
u∈Φ(A,1)
E(u)≤λk−0 <+∞,
a contradiction. Therefore, the eigenfunction u ∈ S corresponding to λk does exist; in particular, by
Lemma2.10 it follows that u= const.6= 0 or u∈X0\{0}.
Remark 3.8. According to Chavel [8, p.9], for a closed Riemannian manifold one has 0 =λ∆1 < λ∆2 ≤. . .≤λ∆k ≤. . . ,
in which casethe first eigenvaluein the classical literature usually means the firstpositive eigenvalue, i.e., λ∆2. On the other hand, it is easy to check that
λ∆1 = 0 = inf
u∈H1(M)\{0}
Z
M
g(∇u,∇u)dvolg Z
M
u2dvolg
= inf
u∈SE(u).
Therefore, Theorem 3.7/(i) holds in the Riemannian case.
Theorem3.7 implies in particular that for a compact Riemannian manifold equipped with the canon- ical Riemannian measure, each eigenvalue of a dimension pair (C,dim) is a standard eigenvalue of the Beltrami-Laplacian operator. However, (C,dim)-spectrum may not contain all the critical values of E, see subsection 3.2.4. It should be also remarked that there are dimension pairs such that 0 = λk < λ∆k, k ≥ 2, for every closed Riemannian manifold, see Proposition 3.33. In order to avoid such a case, we introduce a ”stronger” notion of dimension pairs.
Definition 3.9. A dimension pair (C,dim) is said to be faithful if λk=λ∆k, ∀k∈N+,
for any compact Riemannian manifold (M, g) endowed with its canonical Riemannian measure dvolg; here,λk is from Definition 3.3considered for the manifold (M,√
g, dvolg), while λ∆k stands for the usual eigenvalue of the Beltrami-Laplacian ∆in the Riemannian setting.
Theorem 3.10. Let (M, F, dm) be a compact FMMM. For a faithful dimension pair (C,dim), the corre- sponding spectrum satisfies:
(i) The first positive eigenvalue is equal to
λ2 = infu∈X0\{0}E(u), if ∂M =∅;
λ1 = infu∈X0\{0}E(u), if ∂M 6=∅;
(ii) lim
k→∞λk = +∞;
(iii) The multiplicity of eachλk is finite.
Proof. Let ˆg be the average Riemannian metric induced by F and k ∈ N+. Since (C,dim) is a faithful dimension pair, the usual eigenvalue λ∆kˆg of (M,√
ˆ
g, dvolgˆ) is equal to
λ˜gkˆ = inf
A∈Ck
sup
u∈A
Z
M
ˆ
g(du, du)dvolˆg
Z
M
u2dvolˆg .
The latter fact together with (2.2) and (3.4) implies that
λk= inf
A∈Ck
sup
u∈A
Z
M
F∗2(du)dm Z
M
u2dm
≥ 1
ΛF ·Cm2
˜λgkˆ = 1
ΛF ·Cm2λ∆kˆg. Hence,λk>0 fork≥2 and lim
k→∞λk= +∞follow from the spectral theory in Riemannian geometry. Since λk <+∞ for every k ∈N+ (see Theorem 3.5), the latter limit implies the finiteness of the multiplicity issue; thus properties (ii) and (iii) are verified.
Now we show (i). If∂M 6=∅, Theorem3.7/(i) together withX =X0 yields 0< λ1 = inf
u∈SE(u) = inf
u∈X\{0}E(u) = inf
u∈X0\{0}E(u).
When ∂M = ∅, we recall that λ2 > 0. Thus Theorem 3.7/(iii) yields an eigenfunction f ∈ X0\{0}
corresponding to λ2. In particular, λ2 = E(f) ≥ infu∈X0\{0}E(u). On the other hand, for each u ∈ X0\{0}, set Vu = Span{1, u}. SinceAu:=S ∩Vu∈C2 and
Z
M
udm= 0, it turns out that
λ2≤ sup
v∈Au
E(v) = sup
(a,b)6=(0,0)
Z
M
F∗2(d(a+bu))dm Z
M
(a+bu)2dm
= sup
(a,b)6=(0,0)
b2 Z
M
F∗2(du))dm a2m(M) +b2
Z
M
u2dm
=E(u).
Therefore, λ2 ≤infu∈X0\{0}E(u),which concludes the proof.
Proof of Theorem 1.1. Theorem1.1directly follows by Theorems 3.7and 3.10, respectively.
3.2. Examples of dimension pairs. In this subsection we present some faithful dimension pairs for which Theorem3.10 applies. First, we introduce some notions and notations.
LetP(X) be the quotient spaceS/Z2. Thus, p:S →P(X) is a 2-fold covering as Z2 acts freely and properly discontinuously onS; in particular,P(X) is a normal ANR (see PropositionA.5). The following result is trivial.
Proposition 3.11. P(X)is homeomorphic to the projective space(X\{0})/∼, whereu∼v if and only if there exists µ6= 0 such that u=µ·v.
Given ak-dimensional linear subspace V of X,P(V) :=p(V ∩ S) is also used to denote the projective space induced byV. All the maps in this subsection are assumed to be continuous.
3.2.1. Lusternik-Schnirelmann dimension pair.
In this subsection we construct two dimension pairs by means of the Lusternik-Schnirelmann category.
First, we recall the relative Lusternik-Schnirelmann (LS) category on P(X) (cf. [14,16,37]).
Definition 3.12. Given a subset A ⊂ P(X), the LS category of A relative to P(X), catP(X)(A), is the smallest possible integer value k such that A is covered by k closed sets Aj, 1 ≤ j ≤ k, which are contractible in P(X). If no such finite covering exists we write catP(X)(A) = +∞.
Definition 3.13. Define two optional familiesCα, α= 1,2 by
C1 :={A⊂ S :A is closed}, C2 :={A⊂ S :A is compact}.
Given a closed set A⊂ S, the Lusternik-Schnirelmann dimension of A is defined by dimLS(A) := catP(X)(p(A)),
where p:S →P(X) is the natural projection.
Remark 3.14. Since S is contractible (see Proposition A.4), it is unsuitable to use the LS category relative toS to define dimension pairs.
Proposition 3.15. For each α∈ {1,2}, (Cα,dimLS) is a dimension pair.
Proof. Given anyα ∈ {1,2}, we have to show that (Cα,dimLS) satisfies properties (D1)-(D4) in Definition 3.1. (D1) and (D2) clearly follow by Definitions 3.12 and 3.13. Given a k-dimensional linear space V, sincep(V ∩ S) =P(V), one hasdimLS(V ∩ S) = catP(X)(P(V)) =k, which implies (D3). Moreover, each APHh:S → S induces a homeomorphism H :P(X)→P(X), i.e., H([u]) :=p◦h(u). Since catP(X)(·) is invariant under homeomorphism (cf. Cornea, Lupton, Oprea and Tanr´e [14, Lemma 1.13/(5)]), one gets
dimLS(h(A)) = catP(X)(p(h(A))) = catP(X)(H(p(A))) = catP(X)(p(A)) =dimLS(A), ∀A∈Cα,
which proves property (D4).
Let (M, F, dm) be a compact FMMM and let α∈ {1,2}. According to Theorem3.5, the ktheigenvalue of (Cα,dimLS), denoted by λLS,αk , is
λLS,αk = inf
A∈CkLS,α
sup
u∈A
E(u),
whereCkLS,α:={A∈Cα: dimLS(A)≥k}. The collection{λLS,αk }∞k=1is called the (Cα,dimLS)-spectrum.
Lemma 3.16. Let (M, F, dm) be a compact FMMM. Given α∈ {1,2}, if for some k∈N+, 0≤λLS,αk =λLS,αk+1 =· · ·=λLS,αk+l−1 =λ,
i.e., the multiplicity of the eigenvalue λis l, then dimLS(Kλ)≥l (see (2.13)).In particular, there exist at least l linearly independent eigenfunctions corresponding to the eigenvalueλ. Moreover, if l >1, then Kλ is an infinite set.
The proof of Lemma 3.16 will be postponed after Theorem 3.22; this lemma furnishes the following important result.
Theorem 3.17. For each α ∈ {1,2}, (Cα,dimLS) is a faithful dimension pair.
Proof. Let (M, g, dvolg) be a compact Riemannian manifold endowed with its canonical measure. Fix α∈ {1,2} and k∈N+ arbitrarily. Due to Theorem3.7/(ii), it suffices to showλ∆k ≤λLS,αk .
Theorem 3.7/(iii) together with the spectral theory in Riemannian geometry implies that for each j with 1 ≤ j ≤k, there exists uj ∈ C∞(M) such that E(uj) = λLS,αj and −∆uj = λLS,αj uj in the weak sense. If λLS,αi 6=λLS,αj , then
Z
M
uiujdvolg = 0, Z
M
g(∇ui,∇uj)dvolg = 0. (3.6) If the multiplicity of the eigenvalueλisl, Lemma3.16provides at leastllinearly independent eigenfunc- tions {us}ls=1 corresponding to λ, which still satisfy (3.6) (since ∆ is linear). Accordingly, one always obtains k eigenfunctions {uj}kj=1 such that they are mutually orthogonal (in the sense of (3.6)) and E(uj) =λLS,αj .
Now let Vk := Span{u1, . . . , uk} ⊂ X. Thus, dimC(Vk) = k and then Courant’s minimax principle (3.5) together with (3.6) yields
λ∆k ≤ sup
u∈Vk\{0}
E(u) = sup
(a1,...,ak)6=0
Rk
k
X
i=1
a2i Z
M
g(∇ui,∇ui)dvolg
k
X
i=1
a2i Z
M
u2idvolg
= sup
(a1,...,ak)6=0
Rk
k
X
i=1
a2iλLS,αi Z
M
u2idvolg
k
X
i=1
a2i Z
M
u2idvolg
≤ λLS,αk ,
which concludes the proof.
3.2.2. Krasnoselskii dimension pair.
We now use the Krasnoselskii genus to construct dimension pairs. We also refer to Ambrosio, Honda and Portegies [1] for the spectrum defined onL2(M) by the Krasnoselskii genus where the Cheeger energy is used instead of the Rayleigh quotient. According to [26,37], we recall the Krasnoselskii genus.
Definition 3.18. Set G := {A⊂X : A is closed and A=−A}. The Krasnoselskii genus dimK :G → N∪ {+∞}is defined by
dimK(A) :=
inf{m∈N: ∃h∈C0(A;Rm\{0}), h(−u) =−h(u)},
+∞, if {m∈N: ∃h∈C0(A;Rm\{0}), h(−u) =−h(u)}=∅.
The Krasnoselskii genus satisfies the following properties; see Struwe [37, Charpter II, Proposition 5.2, Proposition 5.4, Observation 5.5].
Lemma 3.19. Let A, B ∈ G and h : X → X be a map with h(−u) = −h(u). Then the following properties hold:
(i) dimK(A)≥0 with equality if and only if A=∅;
(ii) A⊂B implies dimK(A)≤dimK(B);
(iii) If A is a finite collection of antipodal pairs ui,−ui, then dimK(A) = 1;
(iv) Givenk∈N+, for anyk-dimensional linear space V ⊂X, one has dimK(S ∩V) =k;
(v) dimK(A)≤dimK(h(A));
(vi) dimK(A∪B)≤dimK(A) +dimK(B);
(vii) If A is compact and 0∈/ A, then dimK(A)<+∞ and there is a symmetric neighborhood O of A in X such that O∈G and dimK(A) =dimK(O).
By Lemma3.19/(i)-(v) one easily gets the following result.
Proposition 3.20. Define two optional familiesDα, α= 1,2, by
D1:={A⊂ S :A is closed and A=−A}, D2:={A⊂ S :A is compact and A=−A}.
Then for each α∈ {1,2}, (Dα,dimK) is a dimension pair.
Let (M, F, dm) be a compact FMMM and letα ∈ {1,2}. In view of Theorem3.5, the kth eigenvalue of (Dα,dimK), denoted by λK,αk , is equal to
λK,αk = inf
A∈DkK,α
sup
u∈A
E(u),
whereDkK,α:={A∈Dα: dimK(A)≥k}. The collection{λK,αk }∞k=1 is called the (Dα,dimK)-spectrum.
We are going to point out an important relation between the (Cα,dimLS)-spectrum and the (Dα,dimK)- spectrum; to do this, we recall the following result.
Lemma 3.21 (Fadell [16, Theorem (3), p.34]). LetE be any contractible paracompact freeG-space, where G is a compact Lie group. LetΣ denote the collection of closed, invariant subsets ofE and set B=E/G.
Then for any A∈Σ, we have
catB(A/G) =G-genusA.
In particular, if G=Z2, the G-genus is precisely the Krasnoselskii genus.
Theorem 3.22. For any compact FMMM, one has
λLS,αk =λK,αk , ∀α∈ {1,2}, ∀k∈N+. In particular, dimLS(A) =dimK(A) for anyA∈Dα.
Proof. According to Propositions A.4 and 2.9, S is a contractible, paracompact and Z2-free space. Fix α ∈ {1,2} and k∈N+ arbitrarily. GivenA ∈DkK,α, A is Z2-invariant andp(A) =A/Z2. Thus, Lemma 3.21 yields (by settingE :=S and G:=Z2)
dimLS(A) = catP(X)(p(A)) =dimK(A)≥k, which impliesA∈CkLS,α and hence,λLS,αk ≤λK,αk .
On the other hand, for any A∈CkLS,α, set A0 :=A∪ −A. Lemma3.21 yields that dimK(A0) = catP(X)(A0/Z2) = catP(X)(p(A)) =dimLS(A)≥k, which impliesA0∈DkK,α. Since F is reversible, we have
λK,αk ≤ sup
u∈A0
E(u) = sup
u∈A
E(u).
Taking the infimum w.r.tA∈CkLS,α, it turns out thatλK,αk ≤λLS,αk ,which concludes the proof.
Theorems 3.22and 3.17immediately imply the following result.
Theorem 3.23. For each α ∈ {1,2}, (Dα,dimK) is a faithful dimension pair.
