\section{Introduction and main results

There are three goals in this paper. The first one is to generalize the common index jump theorem (CIJT for short
below). This theorem is the first result which exhibits certain common index property of iterates of more than one
but finitely many symplectic matrix paths. This theorem was discovered and proved by Y. Long and C. Zhu in 2002
(Theorems 4.1 and 4.3 of \cite{LoZ}, cf. also Theorems 11.1.1 and 11.2.1 of \cite{Lon4}), and yields a breakthrough
in the study of the multiplicity and stability of closed characteristics on compact convex hypersurfaces in ${\bf R}^{2n}$.
In the last twenty years, this theorem has been applied to study various problems, provides an important method in
the studies of the multiplicity and stability of closed characteristics in symplectic and contact dynamics. Specially
it is one of the few methods which work effectively for such studies when the dimension of the symplectic manifold is
not only $4$. In \cite{Wan2} and \cite{Wan3} of 2016, W. Wang found certain useful symmetric property in CIJT.
In 2016 also, an important extension of this CIJT was established by H. Duan, Y. Long and W. Wang (Theorem 3.5 of \cite{DLW}),
which gives an enhanced version of the CIJT by giving precise indices for iterates of related symplectic paths near the
carefully chosen iterates in the study. This enhanced CIJT has been used to establish sharp estimates on the
multiplicity and stability of prime closed geodesics on compact simply-connected bumpy Finsler manifolds whose loop
spaces possess bounded Betti number sequences, provided the number of prime closed geodesics is finite and each of them
possesses non-zero Morse index, which implies the positivity of their mean indices in \cite{DLW}. This enhanced CIJT
has also been applied to the studies of closed characteristics on star-shaped hypersurfaces in ${\bf R}^{2n}$ by H. Duan,
H. Liu, Y. Long and W. Wang in \cite{DLLW} and on other contact manifolds by V. Ginzburg, B. Z. G\"urel and L. Macarini
in \cite{GGM} for example, under the assumption that all the prime closed characteristics possess positive (or negative)
mean indices. Note that in Theorems 5.1 and 5.2 as well as Corollaries 5.3 and 5.4 of \cite{GGu}, V. Ginzburg and B. Z.
G\"urel extended the enhanced CIJT of \cite{DLW} to the case admitting the mean indices of all symplectic paths being
nonzero via a new index recurrence arguments. Subsequently, based on \cite{GGu}, V. Ginzburg, B. Z. G\"urel and L.
Macarini in Theorem 4.1 of \cite{GGM} further studied the enhanced CIJT of \cite{DLW} for strongly non-degenerate
symplectic paths with positive mean indices. Note that based on the theorems these authors gave interesting results about
Reeb orbits on contact manifolds. But their extensions of the enhanced CIJT missed the precise values of indices of some
crucial iterates as those listed in Theorem 3.6 below, and missed the symmetric property of the CIJT produced by the
vertices in the cube $[0,1]^l$ in the proof of CIJT discovered first in \cite{LoZ} and then in \cite{DLW} as those in the
Step 2 of the proof of Theorem 1.2 below where the two opposite vertices are used. Note that such missing might be due
to the index recurrence arguments. Note also that these missing properties are very crucial in our study in the current
paper and for the future study, more precisely in order to get sharp estimates on multiplicities of periodic orbits, we do
need to compute Morse type number quantities accurately and to apply the mentioned symmetric property of CIJM. Thus the
first goal of this paper is to further extend this enhanced CIJT of \cite{DLW} to the case that there exist prime
symplectic paths possessing positive as well as negative mean indices simultaneously and the above mentioned information
can be reserved at the same time by generalizing the method of \cite{DLW}.

The main idea in the proof of the CIJT in \cite{LoZ} is to show that there exist large suitable iterate of each
path among the given finitely many prime symplectic paths such that the corresponding enlarged index intervals
at their these iterates possess a non-empty common intersection interval which is sufficiently large to contain
certain integers, and the number of these integers yields a lower bound estimate for the number of these prime
symplectic paths, provided all of these paths possess positive mean indices. Note that when prime closed characteristics
on a compact star-shaped hypersurface in ${\bf R}^{2n}$ are considered, in general some of them may possess positive mean
indices and the others possess negative mean indices. Then the iterated index sequences of them may tend to positive
infinity as well as negative infinity simultaneously, and consequently it seems impossible to apply the CIJT to get a
common intersection interval of the iterated enlarged index intervals of all the prime symplectic paths. To overcome
this difficulty, suggested by the resonance identity for a star-shaped hypersurface in ${\bf R}^{2n}$ with only finitely
many prime closed characteristics which was proved by H. Liu, Y. Long and W. Wang in \cite{LLW} of 2014 (cf. Theorem 2.3
below), we can consider iterates of all these prime symplectic paths together by adding some $-1$ parameter to the
negative mean indices, and we have improved the common index jump theorem (Theorems 4.1 and 4.3 of \cite{LoZ}
as well as Theorems 11.1.1 and 11.2.1 of \cite{Lon4}) to the new enhanced common index jump Theorems 3.4 and 3.6 below to
deal with mixed mean indices. This improvement allows our Theorem 1.2 below to deal with closed characteristics on
non-degenerate star-shaped hypersurfaces when their mean indices are non-zero.

The second goal of this paper is to apply this generalized enhanced common index jump Theorem to study the multiplicity
and stability of closed characteristics on compact star-shaped hypersurfaces in ${\bf R}^{2n}$. In this paper, we let
$\Sigma$ be always a $C^3$ compact hypersurface in ${\bf R}^{2n}$ strictly star-shaped with respect to the origin, i.e.,
the tangent hyperplane at any $x\in\Sigma$ does not intersect the origin. We denote the set of all such hypersurfaces
by ${\cal H}_{st}(2n)$, and denote by ${\cal H}_{con}(2n)$ the subset of ${\cal H}_{st}(2n)$ which consists of all strictly convex
hypersurfaces. We consider closed characteristics $(\tau, y)$ on $\Sigma$, which are solutions of the following
problem
\begin{equation}
\left\{\matrix{\dot{y}=JN_\Sigma(y), \cr
               y(\tau)=y(0), \cr }\right. \label{1.1}\end{equation}
where $J=\left(\matrix{0 &-I_n\cr
        I_n  & 0\cr}\right)$, $I_n$ is the identity matrix in ${\bf R}^n$, $\tau>0$, $N_\Sigma(y)$ is the outward
normal vector of $\Sigma$ at $y$ normalized by the condition $N_\Sigma(y)\cdot y=1$. Here $a\cdot b$ denotes
the standard inner product of $a, b\in{\bf R}^{2n}$. A closed characteristic $(\tau, y)$ is {\it prime}, if $\tau$
is the minimal period of $y$. Two closed characteristics $(\tau, y)$ and $(\sigma, z)$ are {\it geometrically
distinct}, if $y({\bf R})\not= z({\bf R})$. We denote by ${\cal T}(\Sigma)$ the set of geometrically distinct
closed characteristics $(\tau, y)$ on $\Sigma\in\mathcal{H}_{st}(2n)$. A closed characteristic
$(\tau,y)$ is {\it non-degenerate} if $1$ is a Floquet multiplier of $y$ of precisely algebraic multiplicity
$2$; {\it hyperbolic} if $1$ is a double Floquet multiplier of it and all the other Floquet multipliers
are not on ${\bf U}=\{z\in {\bf C}\mid |z|=1\}$, i.e., the unit circle in the complex plane; {\it elliptic}
if all the Floquet multipliers of $y$ are on ${\bf U}$. We call a $\Sigma\in \mathcal{H}_{st}(2n)$ {\it
non-degenerate} if all the closed characteristics on $\Sigma$, together with all of their iterations, are
non-degenerate.

The study on closed characteristics in the global sense started in 1978, when the existence of at least one
closed characteristic was first established on any ${\Sigma}\in{\cal H}_{st}(2n)$ by P. Rabinowitz in \cite{Rab1}
and on any ${\Sigma}\in{\cal H}_{con}(2n)$ by A. Weinstein in \cite{Wei1} independently. Since then the existence of
multiple closed characteristics on ${\Sigma}\in{\cal H}_{con}(2n)$ has been deeply studied by many mathematicians, for
example, studies in \cite{EkL1}, \cite{EkH1}, \cite{HWZ1}, \cite{Szu1}, \cite{LoZ}, \cite{LLZ}, \cite{Wan2},
\cite{Wan3}, \cite{WHL} as well as \cite{Lon4} and references therein.

For the star-shaped hypersurfaces, We are only aware of a few papers about the multiplicity of closed
characteristics. In \cite{Gir1} of 1984 and \cite{BLMR} of 1985, $\;^{\#}{\cal T}({\Sigma})\ge n$ for ${\Sigma}\in{\cal H}_{st}(2n)$
was proved under some pinching conditions. In \cite{Vit2} of 1989, C. Viterbo proved a generic existence
result for infinitely many closed characteristics on star-shaped hypersurfaces. In \cite{HuL} of 2002, X. Hu
and Y. Long proved that $\;^{\#}{\cal T}({\Sigma})\ge 2$ for non-degenerate ${\Sigma}\in {\cal H}_{st}(2n)$. In \cite{HWZ2} of 2003,
H. Hofer, K. Wysocki, and E. Zehnder proved that $\,^{\#}{\cal T}({\Sigma})=2$ or $\infty$ holds for every non-degenerate
${\Sigma}\in{\cal H}_{st}(4)$ provided that all stable and unstable manifolds of the hyperbolic closed characteristics
on ${\Sigma}$ intersect transversally. Furthermore, recently this alternative result was proved to be true for every
non-denernerate ${\Sigma}\in{\cal H}_{st}(4)$ without the above transversal condition by D. Cristofaro-Gardiner, M.
Hutchings and D. Pomerleano in \cite{CGHP}. In \cite{CGH1} of 2016, D. Cristofaro-Gardiner and M. Hutchings
proved that $\;^{\#}{\cal T}({\Sigma})\ge 2$ for every contact manifold ${\Sigma}$ of dimension three. Later various proofs of
this result for star-shaped hypersurfaces have been given in \cite{GHHM}, \cite{LLo1} and \cite{GiG1}. There
are also some multiplicity results for closed orbits of dynamically convex Reeb flows, cf., \cite{GuK} and
\cite{AbM}.

On the stability problem, we refer the readers to \cite{Eke1}, \cite{DDE1}, \cite{Lon1}-\cite{Lon3}, \cite{LoZ},
\cite{WHL}, \cite{Wan1} for convex hypersurfaces and \cite{LiL}, \cite{LLo2}, \cite{CGHHL} for star-shaped
hypersurfaces. The following index perfect condition was first introduced by H. Duan, H. Liu, Y. Long and W. Wang
in \cite{DLLW} of 2018, for the star-shaped hypersurfaces in ${\bf R}^{2n}$ which is much weaker than the dynamically
convexity condition introduced by H. Hofer, K. Wysocki, and E. Zehnder in \cite{HWZ1} of 1998 (cf. also \cite{HWZ2}
in 2003).

\medskip

{\bf Definition 1.1.} {\it We call a compact star-shaped hypersurface $\Sigma$ in ${\bf R}^{2n}$ {\rm perfect}, if
for every prime closed characteristic $(\tau,y)$ on $\Sigma$, the Maslov-type index of each {\rm good} $m$-th
iterate $(m\tau,y)$ of $(\tau,y)$ with some $m\in{\bf N}$ satisfies $i(y,m)\not= -1$ if $n$ is even, or
$i(y,m)\not\in \{-2,-1,0\}$ if $n$ is odd. }

\medskip

Here an iterate $(m\tau, y)$ of a prime closed characteristic $(\tau,y)$ on $\Sigma$ with $m\in{\bf N}$ is called
{\it good}, if its Maslov-type index has the same parity as that of $(\tau,y)$, otherwise it is called {\it bad}.
Note that for a bad closed characteristic $(m\tau,y)$, the element $x^m$ corresponding to $(m\tau,y)$ satisfies
${\beta}(x^m)=-1$ in Lemma 2.2 below, and consequently the equivariant critical module of the functional $F_{a,K}$
at $S^1\cdot x^m$ must be trivial, i.e., $x^m$ is homologically invisible and thus can be ignored in the Morse
theory study. This property was used first in Definition 4.8 and Remark 4.9 via Proposition 4.2 of \cite{LLW} to
compute the Euler characteristic $\hat{\chi}(y)$. Then this property was used in Section 3 of \cite{GGM} to
compute the local equivariant symplectic homology. (cf. also the condition (A) below Theorem 1.2). Here in the
current paper, we shall use this property in the computations of the Morse type numbers in Section 4 below.

In \cite{DLLW}, the authors proved specially the existence of at least $n$ closed characteristics on every
non-degenerate perfect star-shaped hypersurfaces in ${\bf R}^{2n}$ when every closed characteristic possesses positive
mean index. Then V. Ginzburg, B.Z. G\"{u}rel and L. Macarini in \cite{GGM} obtained the same multiplicity result
of closed Reeb orbits on contact manifolds under non-degenerate condition and the index perfect condition
introduced in \cite{DLLW} (i.e., the perfect condition given in Definition 1.1), provided the contact form ${\alpha}$
is index-positive (or index-negative), i.e., all contractible periodic orbit $\gamma$ of
${\alpha}$ possess positive (or negative) mean index. Most recently V. Ginzburg and L. Macarini in \cite{GM} obtained
some optimal multiplicity results of closed Reeb orbits on symmetric contact spheres under the so called strong
dynamical convexity which extended results of C. Liu, Y. Long and C. Zhu in \cite{LLZ} of 2002.

When we consider prime closed characteristics on a compact star-shaped hypersurface in ${\bf R}^{2n}$, a priori the
mean indices of some of them can be non-positive. By the resonance identity for a star-shaped hypersurface in
${\bf R}^{2n}$ with only finitely many prime closed characteristics proved by H. Liu, Y. Long and W. Wang in
\cite{LLW} of 2014 (cf. Theorem 2.3 below), at least one of these prime closed characteristics must possess
positive mean index, but some of the others may possess zero or negative mean indices. Thus even if we assume
that every prime closed characteristic possesses nonzero mean index, their iterated index sequences may still tend
to positive infinity as well as negative infinity simultaneously as we mentioned before. To overcome this difficulty,
by Theorem 2.3 below, we notice that the existence of some prime closed characteristics possessing positive mean
index can be crucially used to construct actually the mentioned common index intersection interval, and that the
prime closed characteristics with negative mean indices make no contributions to it and thus can be ignored in some
sense. This understanding is rigorously realized by applying our new generalized enhanced common index jump Theorem
3.6 together with the mentioned existence of prime closed characteristics possessing positive mean indices so that
we can deal with positive and negative mean indices simultaneously, and establish the following more general
existence result, provided the mean indices of all the prime closed characteristics are non-zero. Note that another key
observation in our proof is that the Morse inequalities still hold under non-zero mean index condition when the degrees
of Morse-type numbers and Betti numbers are carefully chosen (cf. (\ref{2.16}) and (\ref{2.17}) below).

\medskip

{\bf Theorem 1.2.} {\it Let $\Sigma$ be a compact non-degenerate perfect star-shaped hypersurface in ${\bf R}^{2n}$.
If every prime closed characteristic on $\Sigma$ possesses nonzero mean index, then there exist at least $n$
geometrically distinct closed characteristics. Furthermore, if the total number of prime closed characteristics on
$\Sigma$ is finite, then $\Sigma$ carries at least $n$ non-hyperbolic closed characteristics with even Maslov-type
indices when $n$ is even, and at least $n$ closed characteristics with odd Maslov-type indices and at least $(n-1)$
of them are non-hyperbolic when $n$ is odd.}

\medskip

Based on Theorem 3.6 below, we can generalize Theorem 1.2 about closed characteristics on star-shaped hypersurfaces to
closed Reeb orbits of contact forms on a broad class of prequantization bundles, which improves Theorem 2.1 and
Theorem 2.10 of \cite{GGM}. To clarify it, we review some terminologies from contact geometry, following Section 2
of \cite{GGM}.

Let $(M^{2n+1}, \xi)$ be a closed contact manifold satisfying $c_1(\xi)|_{\pi_2(M)} = 0$ and $\alpha$ be the contact form
supporting the contact structure $\xi$. A non-degenerate periodic orbit $\gamma$ is called {\it good} if its Conley-Zehnder
index $\mu(\gamma)$ has the same parity as that of the underlying simple closed orbit. Note that the Maslov-type index of
$\gamma$ equals to $\mu(\gamma)-1$. In the following, let
$(M^{2n+1}, \xi)$ be a prequantization circle bundle over closed integral symplectic manifolds
$(B^{2n}, \omega)$, i.e., the first Chern class of the principle bundle $M \rightarrow B$ is $-[\omega]$.
Denote by $\chi(B)$ the Euler characteristic of $B$ and by
\[c_B :=\mathrm{ inf}\{k \in{\bf N} ~| ~\exists S \in  \pi_2(B) ~\mathrm{with}~ \langle c_1(TB), S\rangle     = k\}\]
its minimal Chern number. We impose the following condition which is weaker than the condition (F) in Section 2 of \cite{GGM}:
\medskip

($\mathbf{A}$) (i) The manifold $(M^{2n+1}, \xi)$ admits a strong symplectic filling $(W, \Omega)$ which is symplectically
aspherical, i.e., $\Omega|_{\pi_2(W)} = 0$ and $c_1(TW)|_{\pi_2(W)} = 0$, and the map $\pi_1(M)\rightarrow \pi_1(W)$ induced
by the inclusion is injective.

(ii) The contact form $\alpha$ is non-degenerate, the mean index $\hat{\mu}(\gamma)$ is nonzero for every contractible
periodic orbit $\gamma$ of $\alpha$ and has no contractible good periodic orbits $\gamma$ such that $\mu(\gamma)=0$ if $n$
is odd or $\mu(\gamma)\in \{0,\pm 1\}$ if $n$ is even.

\medskip

{\bf Theorem 1.3.} {\it Let $(M^{2n+1}, \xi)$ be a prequantization $S^1$-bundle of a closed symplectic
manifold $(B, \omega)$ such that $\omega|_{\pi_2(B)}= 0$ and $c_B > n/2$ and, furthermore,
$H_k(B;{\bf Q}) = 0$ for every odd $k$ or $c_B > n$. Let $\alpha$ be a contact form supporting
$\xi$ and assume that $M$ and $\alpha$ satisfy condition $(\mathbf{A})$. Then $\alpha$ carries at
least $r_B$ geometrically distinct contractible periodic orbits. Furthermore, if there exist finitely many geometrically
distinct contractible closed orbits, Then $\alpha$ carries at least $r^{non-hyp}_B$ geometrically distinct contractible
non-hyperbolic periodic orbits, where $r^{non-hyp}_B:=r_B-\mathrm{dim}H_n(B;{\bf Q})$ and
\begin{equation} r_B:=\left\{\matrix{
    \chi(B)+ 2~\mathrm{dim}H_n(B;{\bf Q}), &\quad {\it if}\;\;n ~\mathrm{is}~ \mathrm{odd}, \cr
     \chi(B)+ 4~\mathrm{dim}H_{n-1}(B;{\bf Q}), &\quad {\it if}\;\;n ~\mathrm{is}~ \mathrm{even}. \cr}\right. \nonumber\end{equation}}

\medskip

{\bf Remark 1.4.} (1) The proof of Theorem 1.3 follows the proofs of Theorems 2.1 and 2.10 of \cite{GGM} via replacing the enhanced
common jump theorem of H. Duan, Y. Long and W. Wang by our Theorem 3.6 and the proof of Theorem 1.2 below. We should emphasize that
under nonzero mean index condition, there are similar Morse inequalities in the setting of equivariant symplectic homology to
(\ref{2.16})-(\ref{2.17}) below, cf., (68) in p.221 of \cite{HM}.

(2) Note that we are unable to weaken the condition (NF) in Section 2 of \cite{GGM} as ($\mathbf{A}$), since the proof in \cite{GGM}
relies on the machinery of positive equivariant symplectic homology. A remarkable observation by F. Bourgeois and A. Oancea in
Section 4.1.2 of \cite{BO} is that under suitable additional assumptions that all closed contractible Reeb orbits on $M$ are
non-degenerate and have Conley-Zehnder index strictly greater than $3-n$, the positive equivariant symplectic homology is defined
and well-defined even when $M$ does not have a symplectic filling. But the existence of closed contractible Reeb orbit with negative
mean index will destroy this assumption and then the positive equivariant symplectic homology is not well defined, thus we are unable to
weaken the index-positive condition in (NF) of \cite{GGM} to the nonzero mean index condition.

\medskip

An important result of V. Bangert and W. Klingenberg in \cite{BK1983} implies that if $c$ is a closed geodesic on a compact Riemannian
(or Finsler) manifold $M$ such that it possesses zero mean index and $c$ is neither homologically invisible nor an absolute minimum of
the energy functional, then there exist infinitely many closed geodesics on $M$. In fact, we tend to believe that when the number of
prime closed geodesics on a compact Finsler manifold or prime closed characteristics on a compact star-shaped hypersurface in
${\bf R}^{2n}$ is finite, then each one of them must be homologically visible as well as variationally visible (cf. \cite{BK1983} and
\cite{Lon4} for definitions). Motivated by the result in \cite{BK1983} and the well-known weakly non-resonant ellipsoids, we tend to
believe that the following conjecture for closed characteristics should hold:

\medskip

{\bf Conjecture 1.5.} {\it If there exist only finitely many geometrically distinct closed characteristics on a compact star-shaped
hypersurface ${\Sigma}$ in ${\bf R}^{2n}$, then no one of them possesses zero mean index.}

\medskip

Our third goal of this paper is to give a positive answer to this conjecture below in the case of $n=3$ for
non-degenerate star-shaped hypersurfaces. But up to our knowledge, this conjecture seems to be rather challenging in its
full generality.

\medskip

{\bf Theorem 1.6.} {\it If there exist only finitely many geometrically distinct closed characteristics on a compact non-degenerate
star-shaped hypersurface ${\Sigma}$ in ${\bf R}^{6}$, then every prime closed characteristic possesses nonzero mean
index.}
\medskip

Using Theorem 1.6, we can remove the nonzero mean index condition in Theorem 1.2 in the case of $n=3$:

\medskip

{\bf Corollary 1.7.} {\it If $\Sigma$ is a compact non-degenerate perfect star-shaped hypersurface in ${\bf R}^{6}$,
then there exist at least three geometrically distinct closed characteristics. Furthermore, if the total number of prime
closed characteristics on $\Sigma$ is finite, then $\Sigma$ carries at least three geometrically distinct closed
characteristics with odd Maslov-type indices and at least two of them are non-hyperbolic.}

\medskip

Note that one may generalize our Theorem 1.6 to contact manifolds by the idea of our proof of Theorem 1.6, especially the
key observation in our Lemma 5.1 that the Viterbo index $i(y^m)$ always equals to $-4$ for every closed characteristic
$(\tau, y)$ with zero mean index and all $m\in{\bf N}$.

\medskip

In this paper, let ${\bf N}$, ${\bf N}_0$, ${\bf Z}$, ${\bf Q}$, ${\bf R}$, ${\bf C}$ and ${\bf R}^+$ denote the sets of natural integers,
non-negative integers, integers, rational numbers, real numbers, complex numbers and positive real
numbers respectively. We define the functions
\begin{equation} [a]=\max{\{k\in {\bf Z}\mid k\leq a\}},\  \{a\}=a-[a],\ \ E(a)=\min{\{k\in{\bf Z}\mid k\geq a\}},\  \varphi(a)=E(a)-[a].\label{1.2}\end{equation}
Denote by $a\cdot b$ and $|a|$ the standard inner product and norm in ${\bf R}^{2n}$. Denote by $\langle\cdot,\cdot\rangle$ and $\|\cdot\|$
the standard $L^2$ inner product and $L^2$ norm. For an $S^1$-space $X$, we denote by
$X_{S^1}$ the homotopy quotient of $X$ by $S^1$, i.e., $X_{S^1}=S^\infty\times_{S^1}X$,
where $S^\infty$ is the unit sphere in an infinite dimensional {\it complex} Hilbert space.
In this paper we use ${\bf Q}$ coefficients for all homological and cohomological modules. By $t\to a^+$, we
mean $t>a$ and $t\to a$.

\setcounter{figure}{0}
\setcounter{equation}{0}
\section{Mean index identities for closed characteristics on compact star-shaped hypersurfaces in ${\bf R}^{2n}$}

In this section, we briefly review the mean index identities for
closed characteristics on ${\Sigma}\in{\cal H}_{st}(2n)$ developed in \cite{LLW} which will be needed in Section 4. All
the details of proofs can be found in \cite{LLW}.
Now we fix a ${\Sigma}\in{\cal H}_{st}(2n)$ and assume the following condition on ${\cal T}({\Sigma})$:

\medskip

(F) {\bf There exist only finitely many geometrically distinct prime closed characteristics\\
$\qquad\qquad \{(\tau_j, y_j)\}_{1\le j\le k}$ on $\Sigma$.}

\medskip

Let $j: {\bf R}^{2n}\rightarrow{\bf R}$ be the gauge function of $\Sigma$, i.e., $j(\lambda x)=\lambda$ for $x\in\Sigma$
and $\lambda\ge0$, then $j\in C^3({\bf R}^{2n}\setminus\{0\}, {\bf R})\cap C^0({\bf R}^{2n}, {\bf R})$ and $\Sigma=j^{-1}(1)$.
Let $\hat{\tau}=\inf_{1\leq j\leq k}{\tau_j}$ and $T$ be a fixed positive constant. Then following \cite{Vit1}
and Section 2 of \cite{LLW}, for any $a>\frac{\hat{\tau}}{T}$, we can construct a function
$\varphi_a\in C^{\infty}({\bf R}, {\bf R}^+)$ which has $0$ as its unique critical point in $[0, +\infty)$. Moreover,
$\frac{\varphi_a^{\prime}(t)}{t}$ is strictly decreasing for $t>0$ together with $\varphi_a(0)=0=\varphi_a^{\prime}(0)$
and $\varphi_a^{\prime\prime}(0)=1=\lim_{t\rightarrow 0^+}\frac{\varphi_a^{\prime}(t)}{t}$. The precise definition of
$\varphi_a$ and the dependence of $\varphi_a$ on $a$ are given in Lemma 2.2 and Remark 2.3 of \cite{LLW} respectively.
As in \cite{LLW}, we define a Hamiltonian function
$H_a\in C^{3}({\bf R}^{2n} \setminus\{0\},{\bf R})\cap C^{1}({\bf R}^{2n},{\bf R})$ satisfying $H_a(x)=a{\varphi}_a(j(x))$
on $U_A=\{x\mid a{\varphi}_a(j(x))\leq A\}$ for some large $A$, and $H_a(x)=\frac{1}{2}{\epsilon}_a|x|^2$ outside some even larger
ball with ${\epsilon}_a>0$ small enough such that outside $U_A$ both $\nabla H_a(x)\not= 0$ and $H_a^{\prime\prime}(x)<{\epsilon}_a$
hold as in Lemmas 2.2, 2.4 and Proposition 2.5 of \cite{LLW}.

We consider the following fixed period problem
\begin{equation}  \dot{x}(t)=JH_a^\prime(x(t)),\quad x(0)=x(T).  \label{2.1}\end{equation}
Then solutions of (\ref{2.1}) are $x\equiv 0$ and $x=\rho y(\tau t/T)$ with
$\frac{{\varphi}_a^\prime(\rho)}{\rho}=\frac{\tau}{aT}$, where $(\tau, y)$ is a solution of (\ref{1.1}). In particular,
non-zero solutions of (\ref{2.1}) are in one to one correspondence with solutions of (\ref{1.1}) with period
$\tau<aT$.

For any $a>\frac{\hat{\tau}}{T}$, we can choose some large constant $K=K(a)$ such that
\begin{equation} H_{a,K}(x) = H_a(x)+\frac{1}{2}K|x|^2   \label{2.2}\end{equation}
is a strictly convex function, that is,
\begin{equation} (\nabla H_{a, K}(x)-\nabla H_{a, K}(y), x-y) \geq \frac{{\epsilon}}{2}|x-y|^2,  \label{2.3}\end{equation}
for all $x, y\in {\bf R}^{2n}$, and some positive ${\epsilon}$. Let $H_{a,K}^*$ be the Fenchel dual of $H_{a,K}$
defined by
$$  H_{a,K}^\ast (y) = \sup\{x\cdot y-H_{a,K}(x)\;|\; x\in {\bf R}^{2n}\}.   $$
The dual action functional on $X=W^{1, 2}({\bf R}/{T {\bf Z}}, {\bf R}^{2n})$ is defined by
\begin{equation} F_{a,K}(x) = \int_0^T{\left[\frac{1}{2}(J\dot{x}-K x,x)+H_{a,K}^*(-J\dot{x}+K x)\right]dt}. \label{2.4}\end{equation}
Then $F_{a,K}\in C^{1,1}(X, {\bf R})$ and for $KT\not\in 2\pi{\bf Z}$, $F_{a,K}$ satisfies the
Palais-Smale condition and $x$ is a critical point of $F_{a, K}$ if and only if it is a solution of (\ref{2.1}). Moreover,
$F_{a, K}(x_a)<0$ and it is independent of $K$ for every critical point $x_a\neq 0$ of $F_{a, K}$.

When $KT\notin 2\pi{\bf Z}$, the map $x\mapsto -J\dot{x}+Kx$ is a Hilbert space isomorphism between
$X=W^{1, 2}({\bf R}/({T {\bf Z}}); {\bf R}^{2n})$ and $E=L^{2}({\bf R}/(T {\bf Z}),{\bf R}^{2n})$. We denote its inverse
by $M_K$ and the functional
\begin{equation} \Psi_{a,K}(u)=\int_0^T{\left[-\frac{1}{2}(M_{K}u, u)+H_{a,K}^*(u)\right]dt}, \qquad \forall\,u\in E. \label{2.5}\end{equation}
Then $x\in X$ is a critical point of $F_{a,K}$ if and only if $u=-J\dot{x}+Kx$ is a critical point of $\Psi_{a, K}$.

Suppose $u$ is a nonzero critical point of $\Psi_{a, K}$.
Then the formal Hessian of $\Psi_{a, K}$ at $u$ is defined by
\begin{equation} Q_{a,K}(v)=\int_0^T(-M_K v\cdot v+H_{a,K}^{*\prime\prime}(u)v\cdot v)dt,  \label{2.6}\end{equation}
which defines an orthogonal splitting $E=E_-\oplus E_0\oplus E_+$ of $E$ into negative, zero and positive subspaces.
The index and nullity of $u$ are defined by $i_K(u)=\dim E_-$ and $\nu_K(u)=\dim E_0$ respectively.
Similarly, we define the index and nullity of $x=M_Ku$ for $F_{a, K}$, we denote them by $i_K(x)$ and
$\nu_K(x)$. Then we have
\begin{equation}  i_K(u)=i_K(x),\quad \nu_K(u)=\nu_K(x),  \label{2.7}\end{equation}
which follow from the definitions (\ref{2.4}) and (\ref{2.5}). The following important formula was proved in
Lemma 6.4 of \cite{Vit2}:
\begin{equation}  i_K(x) = 2n([KT/{2\pi}]+1)+i^v(x) \equiv d(K)+i^v(x),   \label{2.8}\end{equation}
where the Viterbo index $i^v(x)$ does not depend on K, but only on $H_a$.

By the proof of Proposition 2 of \cite{Vit1}, we have that $v\in E$ belongs to the null space of $Q_{a, K}$
if and only if $z=M_K v$ is a solution of the linearized system
\begin{equation}  \dot{z}(t) = JH_a''(x(t))z(t).  \label{2.9}\end{equation}
Thus the nullity in (\ref{2.7}) is independent of $K$, which we denote by $\nu^v(x)\equiv \nu_K(u)= \nu_K(x)$.

By Proposition 2.11 of \cite{LLW}, the index $i^v(x)$ and nullity $\nu^v(x)$ coincide with those defined for
the Hamiltonian $H(x)=j(x)^\alpha$ for all $x\in{\bf R}^{2n}$ and some ${\alpha}\in (1,2)$. Especially
$1\le \nu^v(x)\le 2n-1$ always holds.

For every closed characteristic $(\tau, y)$ on $\Sigma$, let $aT>\tau$ and choose ${\varphi}_a$ as above.
Determine $\rho$ uniquely by $\frac{{\varphi}_a'(\rho)}{\rho}=\frac{\tau}{aT}$. Let $x=\rho y(\frac{\tau t}{T})$.
Then we define the index $i(\tau,y)$ and nullity $\nu(\tau,y)$ of $(\tau,y)$ by
$$ i(\tau,y)=i^v(x), \qquad \nu(\tau,y)=\nu^v(x). $$
Then the mean index of $(\tau,y)$ is defined by
\begin{eqnarray} \hat i(\tau,y) = \lim_{m\rightarrow\infty}\frac{i(m\tau,y)}{m}.  \nonumber\end{eqnarray}
Note that by Proposition 2.11 of \cite{LLW}, the index and nullity are well defined and are independent of the
choice of $a$. For a closed characteristic $(\tau,y)$ on $\Sigma$, we simply denote by $y^m\equiv(m\tau,y)$
the m-th iteration of $y$ for $m\in{\bf N}$.

We have a natural $S^1$-action on $X$ or $E$ defined by
$$  \theta\cdot u(t)=u(\theta+t),\quad\forall\, \theta\in S^1, \, t\in{\bf R}.  $$
Clearly both of $F_{a, K}$ and $\Psi_{a, K}$ are $S^1$-invariant. For any $\kappa\in{\bf R}$, we denote by
\begin{eqnarray}
\Lambda_{a, K}^\kappa &=& \{u\in L^{2}({\bf R}/({T {\bf Z}}); {\bf R}^{2n})\;|\;\Psi_{a,K}(u)\le\kappa\},  \nonumber\\
X_{a, K}^\kappa &=& \{x\in W^{1, 2}({\bf R}/(T {\bf Z}),{\bf R}^{2n})\;|\;F_{a, K}(x)\le\kappa\}.  \nonumber\end{eqnarray}
For a critical point $u$ of $\Psi_{a, K}$ and the corresponding $x=M_K u$ of $F_{a, K}$, let
\begin{eqnarray}
{\Lambda}_{a,K}(u) &=& {\Lambda}_{a,K}^{\Psi_{a, K}(u)}
   = \{w\in L^{2}({\bf R}/(T{\bf Z}), {\bf R}^{2n}) \;|\; \Psi_{a, K}(w)\le\Psi_{a,K}(u)\},  \nonumber\\
X_{a,K}(x) &=& X_{a,K}^{F_{a,K}(x)} = \{y\in W^{1, 2}({\bf R}/(T{\bf Z}), {\bf R}^{2n}) \;|\; F_{a,K}(y)\le F_{a,K}(x)\}. \nonumber\end{eqnarray}
Clearly, both sets are $S^1$-invariant. Denote by ${\rm crit}(\Psi_{a, K})$ the set of critical points of $\Psi_{a, K}$.
Because $\Psi_{a,K}$ is $S^1$-invariant, $S^1\cdot u$ becomes a critical orbit if $u\in {\rm crit}(\Psi_{a, K})$.
Note that by the condition (F), the number of critical orbits of $\Psi_{a, K}$
is finite. Hence as usual we can make the following definition.

\medskip

{\bf Definition 2.1.} {\it Suppose $u$ is a nonzero critical point of $\Psi_{a, K}$, and ${\cal N}$ is an $S^1$-invariant
open neighborhood of $S^1\cdot u$ such that ${\rm crit}(\Psi_{a,K})\cap ({\Lambda}_{a,K}(u)\cap {\cal N}) = S^1\cdot u$.
Then the $S^1$-critical module of $S^1\cdot u$ is defined by
$$ C_{S^1,\; q}(\Psi_{a, K}, \;S^1\cdot u)
=H_{q}((\Lambda_{a, K}(u)\cap{\cal N})_{S^1},\; ((\Lambda_{a,K}(u)\setminus S^1\cdot u)\cap{\cal N})_{S^1}). $$
Similarly, we define the $S^1$-critical module $C_{S^1,\; q}(F_{a, K}, \;S^1\cdot x)$ of $S^1\cdot x$
for $F_{a, K}$.}

\medskip

We fix $a$ and let $u_K\neq 0$ be a critical point of $\Psi_{a, K}$ with multiplicity ${\rm mul}(u_K)=m$,
that is, $u_K$ corresponds to a closed characteristic $(\tau, y)\subset\Sigma$ with $(\tau, y)$
being $m$-iteration of
some prime closed characteristic. Precisely, we have $u_K=-J\dot x+Kx$ with $x$
being a solution of (\ref{2.1}) and $x=\rho y(\frac{\tau t}{T})$ with
$\frac{{\varphi}_a^\prime(\rho)}{\rho}=\frac{\tau}{aT}$.
Moreover, $(\tau, y)$ is a closed characteristic on $\Sigma$ with minimal period $\frac{\tau}{m}$.
For any $p\in{\bf N}$ satisfying $p\tau<aT$, we choose $K$
such that $pK\notin \frac{2\pi}{T}{\bf Z}$, then the $p$th iteration $u_{pK}^p$ of $u_K$ is given by $-J\dot x^p+pKx^p$,
where $x^p$ is the unique solution of (\ref{2.1}) corresponding to $(p\tau, y)$
and is a critical point of $F_{a, pK}$, that
is, $u_{pK}^p$ is the critical point of $\Psi_{a, pK}$ corresponding to $x^p$.

\medskip

{\bf Lemma 2.2.} (cf. Proposition 4.2 and Remark 4.4 of \cite{LLW} ) {\it If $u_{pK}^p$ is non-degenerate,
i.e., $\nu_{pK}(u_{pK}^p)=1$, let
${\beta}(x^p)=(-1)^{i_{pK}(u_{pK}^p)-i_{K}(u_{K})}=(-1)^{i^v(x^p)-i^v(x)}$, then}
\begin{eqnarray} C_{S^1,q-d(pK)+d(K)}(F_{a,K},S^1\cdot x^p)
&=& C_{S^1,q}(F_{a,pK},S^1\cdot x^p)\nonumber\\
&=& C_{S^1,q}(\Psi_{a,pK},S^1\cdot u^p_{pK}) \nonumber\\
&=& \left\{\matrix{
     {\bf Q}, &\quad {\it if}\;\; q=i_{pK}(u_{pK}^p)\;\;{\it and}\;\;{\beta}(x^p)=1, \cr
     0, &\quad {\it otherwise}. \cr}\right.  \label{2.10}\end{eqnarray}

\medskip

{\bf Theorem 2.3.} (cf. Theorem 1.1 of \cite{LLW} and Theorem 1.2 of \cite{Vit2}) {\it Suppose that
${\Sigma}\in{\cal H}_{st}(2n)$ satisfying $^\#{\cal T}({\Sigma})<+\infty$. Denote by $\{(\tau_j,y_j)\}_{1\le j\le k}$ all the
geometrically distinct prime closed characteristics. Then the following identities hold
\begin{eqnarray} \sum_{1\le j\le k \atop \hat{i}(y_j)>0}\frac{\hat{\chi}(y_j)}{\hat{i}(y_j)}=\frac{1}{2},\qquad
\sum_{1\le j\le k \atop \hat{i}(y_j)<0}\frac{\hat{\chi}(y_j)}{\hat{i}(y_j)}=0,\label{2.11}\end{eqnarray}
where $\hat{\chi}(y)\in{\bf Q}$ is the average Euler characteristic given by Definition 4.8 and Remark 4.9 of \cite{LLW}.

In particular, if all $y^m$'s are non-degenerate for $m\ge 1$, then
\begin{eqnarray} \hat{\chi}(y)=\left\{\matrix{
     (-1)^{i(y)}, &\quad {\it if}\;\; i(y^2)-i(y)\in 2{\bf Z}, \cr
     \frac{(-1)^{i(y)}}{2}, &\quad {\it otherwise}. \cr}\right.  \label{2.12}\end{eqnarray}}

\medskip

Let $F_{a, K}$ be a functional defined by (\ref{2.4}) for some $a, K\in{\bf R}$ large enough and let ${\epsilon}>0$ be
small enough such that $[-{\epsilon}, 0)$ contains no critical values of $F_{a, K}$. For $b$ large enough,
The normalized Morse series of $F_{a, K}$ in $ X^{-{\epsilon}}\setminus X^{-b}$
is defined, as usual, by
\begin{equation}  M_a(t)=\sum_{q\ge 0,\;1\le j\le p} \dim C_{S^1,\;q}(F_{a, K}, \;S^1\cdot v_j)t^{q-d(K)},  \label{2.13}\end{equation}
where we denote by $\{S^1\cdot v_1, \ldots, S^1\cdot v_p\}$ the critical orbits of $F_{a, K}$ with critical
values less than $-{\epsilon}$. The Poincar\'e series of $H_{S^1, *}( X, X^{-{\epsilon}})$ is $t^{d(K)}Q_a(t)$, according
to Theorem 5.1 of \cite{LLW}, if we set $Q_a(t)=\sum_{k\in {\bf Z}}{q_kt^k}$, then
$$   q_k=0 \qquad \forall\;k\in \mathring {I},  $$
where $I$ is an interval of ${\bf Z}$ such that $I \cap [i(\tau, y), i(\tau, y)+\nu(\tau, y)-1]=\emptyset$ for all
closed characteristics $(\tau,\, y)$ on $\Sigma$ with $\tau\ge aT$. Then by Section 6 of \cite{LLW}, we have
$$  M_a(t)-\frac{1}{1-t^2}+Q_a(t) = (1+t)U_a(t),   $$
where $U_a(t)=\sum_{i\in {\bf Z}}{u_it^i}$ is a Laurent series with nonnegative coefficients.
If there is no closed characteristic with $\hat{i}=0$, then
\begin{equation}   M(t)-\frac{1}{1-t^2}=(1+t)U(t),    \label{2.14}\end{equation}
where $M(t)=\sum_{p\in {\bf Z}}{M_pt^p}$ denotes $M_a(t)$ as $a$ tends to infinity. In addition, we also denote by
$b_p$ the coefficient of $t^p$ of $\frac{1}{1-t^2}=\sum_{p\in {\bf Z}}{b_pt^p}$, i.e. there holds $b_p=1$, for all
$p\in 2{\bf N}_0$, and $b_p=0$ for all $p \not\in 2{\bf N}_0$.

For any two positive integers $n_1$ and $n_2$, it follows from (\ref{2.14}) that
\begin{eqnarray} \sum_{p=-2n_1+1}^{2n_2+1}{M_pt^p}-\sum_{p=-2n_1+1}^{2n_2+1}b_pt^p
           =  (1+t)\sum_{p=-2n_1}^{2n_2+1}u_pt^p-u_{2n_2+1}t^{2n_2+2}-u_{-2n_1}t^{-2n_1}, \end{eqnarray}
which, through letting $t=-1$, yields the following Morse inequality
\begin{eqnarray} \sum_{p=-2n_1+1}^{2n_2+1}{(-1)^pM_p} \le \sum_{p=-2n_1+1}^{2n_2+1}(-1)^pb_p.\label{2.16}\end{eqnarray}

Similarly we have
\begin{eqnarray} \sum_{p=-2n_1}^{2n_2}{(-1)^pM_p} \ge \sum_{p=-2n_1}^{2n_2}(-1)^pb_p.\label{2.17}\end{eqnarray}

\setcounter{figure}{0}
\setcounter{equation}{0}
\section{The generalized common index jump theorem for symplectic paths

In \cite{Lon2} of 1999, Y. Long established the basic normal form
decomposition of symplectic matrices. Based on this result he
further established the precise iteration formulae of indices of
symplectic paths in \cite{Lon3} of 2000.

As in \cite{Lon3}, denote by
\begin{eqnarray}
N_1({\lambda}, b) &=& \left(\matrix{{\lambda} & b\cr
                                0 & {\lambda}\cr}\right), \qquad {\rm for\;}{\lambda}=\pm 1, \; b\in{\bf R}, \label{3.1}\\
D({\lambda}) &=& \left(\matrix{{\lambda} & 0\cr
                      0 & {\lambda}^{-1}\cr}\right), \qquad {\rm for\;}{\lambda}\in{\bf R}\setminus\{0, \pm 1\}, \label{3.2}\\
R({\theta}) &=& \left(\matrix{\cos{\theta} & -\sin{\theta} \cr
                           \sin{\theta} & \cos{\theta}\cr}\right), \qquad {\rm for\;}{\theta}\in (0,\pi)\cup (\pi,2\pi), \label{3.3}\\
N_2(e^{{\theta}\sqrt{-1}}, B) &=& \left(\matrix{ R({\theta}) & B \cr
                  0 & R({\theta})\cr}\right), \qquad {\rm for\;}{\theta}\in (0,\pi)\cup (\pi,2\pi)\;\; {\rm and}\; \nonumber\\
        && \qquad B=\left(\matrix{b_1 & b_2\cr
                                  b_3 & b_4\cr}\right)\; {\rm with}\; b_j\in{\bf R}, \;\;
                                         {\rm and}\;\; b_2\not= b_3. \label{3.4}\end{eqnarray}
Here $N_2(e^{{\theta}\sqrt{-1}}, B)$ is non-trivial if $(b_2-b_3)\sin\theta<0$, and trivial
if $(b_2-b_3)\sin\theta>0$.

As in \cite{Lon3}, the $\diamond$-sum (direct sum) of any two real matrices is defined by
$$ \left(\matrix{A_1 & B_1\cr C_1 & D_1\cr}\right)_{2i\times 2i}\diamond
      \left(\matrix{A_2 & B_2\cr C_2 & D_2\cr}\right)_{2j\times 2j}
=\left(\matrix{A_1 & 0 & B_1 & 0 \cr
                                   0 & A_2 & 0& B_2\cr
                                   C_1 & 0 & D_1 & 0 \cr
                                   0 & C_2 & 0 & D_2}\right). $$

For every $M\in{\rm Sp}(2n)$, the homotopy set $\Omega(M)$ of $M$ in ${\rm Sp}(2n)$ is defined by
$$ {\Omega}(M)=\{N\in{\rm Sp}(2n)\,|\,{\sigma}(N)\cap{\bf U}={\sigma}(M)\cap{\bf U}\equiv\Gamma\;\mbox{and}
                    \;\nu_{{\omega}}(N)=\nu_{{\omega}}(M)\, \forall{\omega}\in\Gamma\}, $$
where ${\sigma}(M)$ denotes the spectrum of $M$,
$\nu_{{\omega}}(M)\equiv\dim_{{\bf C}}\ker_{{\bf C}}(M-{\omega} I)$ for ${\omega}\in{\bf U}$.
The component ${\Omega}^0(M)$ of $P$ in ${\rm Sp}(2n)$ is defined by
the path connected component of ${\Omega}(M)$ containing $M$.

\medskip

{\bf Lemma 3.1.} (cf. \cite{Lon3}, Lemma 9.1.5 and List 9.1.12 of \cite{Lon4})
{\it For $M\in{\rm Sp}(2n)$ and ${\omega}\in{\bf U}$, the splitting number $S_M^\pm({\omega})$ (cf. Definition 9.1.4 of \cite{Lon4}) satisfies
\begin{eqnarray}
S_M^{\pm}({\omega}) &=& 0, \qquad {\it if}\;\;{\omega}\not\in{\sigma}(M).  \label{3.5}\\
S_{N_1(1,a)}^+(1) &=& \left\{\matrix{1, &\quad {\rm if}\;\; a\ge 0, \cr
0, &\quad {\rm if}\;\; a< 0. \cr}\right. \label{3.6}\end{eqnarray}

For any $M_i\in{\rm Sp}(2n_i)$ with $i=0$ and $1$, there holds }
\begin{equation} S^{\pm}_{M_0\diamond M_1}({\omega}) = S^{\pm}_{M_0}({\omega}) + S^{\pm}_{M_1}({\omega}),
    \qquad \forall\;{\omega}\in{\bf U}. \label{3.7}\end{equation}

We have the following decomposition theorem

\medskip

{\bf Theorem 3.2.} (cf. \cite{Lon3} and Theorem 1.8.10 of \cite{Lon4}) {\it For
any $M\in{\rm Sp}(2n)$, there is a path $f:[0,1]\to{\Omega}^0(M)$ such that $f(0)=M$ and
\begin{equation} f(1) = M_1\diamond\cdots\diamond M_k,  \label{3.8}\end{equation}
where each $M_i$ is a basic normal form listed in (\ref{3.1})-(\ref{3.4})
for $1\leq i\leq k$.}

\medskip

For every ${\gamma}\in\mathcal{P}_\tau(2n)\equiv\{{\gamma}\in C([0,\tau],Sp(2n))\ |\ {\gamma}(0)=I_{2n}\}$, we extend
${\gamma}(t)$ to $t\in [0,m\tau]$ for every $m\in{\bf N}$ by
\begin{eqnarray} {\gamma}^m(t)={\gamma}(t-j\tau){\gamma}(\tau)^j \qquad \forall\;j\tau\le t\le (j+1)\tau \;\;
               {\rm and}\;\;j=0, 1, \ldots, m-1, \label{3.9}\end{eqnarray}
as in p.114 of \cite{Lon2}. As in \cite{LoZ} and \cite{Lon4}, we denote the Maslov-type indices of
${\gamma}^m$ by $(i({\gamma},m),\nu({\gamma},m))$.

Then the following iteration formula from \cite{LoZ} and \cite{Lon4} can be obtained.

\medskip

{\bf Theorem 3.3.} (cf. Theorem 9.3.1 of \cite{Lon4}) {\it For any path ${\gamma}\in\mathcal{P}_\tau(2n)$,
let $M={\gamma}(\tau)$ and $C(M)=\sum_{0<{\theta}<2\pi}S_M^-(e^{\sqrt{-1}{\theta}})$. We extend ${\gamma}$ to $[0,+\infty)$
by its iterates. Then for any $m\in{\bf N}$ we have
\begin{eqnarray} i({\gamma},m)
&=& m(i({\gamma},1)+S^+_{M}(1)-C(M))\nonumber\\
& & + 2\sum_{{\theta}\in(0,2\pi)}E\left(\frac{m{\theta}}{2\pi}\right)S^-_{M}(e^{\sqrt{-1}{\theta}}) - (S_M^+(1)+C(M)), \label{3.10}\end{eqnarray}
and
\begin{equation} \hat{i}({\gamma},1) = i({\gamma},1) + S^+_{M}(1) - C(M) + \sum_{{\theta}\in(0,2\pi)}\frac{{\theta}}{\pi}S^-_{M}(e^{\sqrt{-1}{\theta}}). \label{3.11}\end{equation}}

\medskip

{\bf Theorem 3.4.} {\it Fix an integer $q>0$. Let $\mu_i\ge 0$ and ${\beta}_i$ be integers for all $i=1,\cdots,q$. Let ${\alpha}_{i,j}$
be positive numbers for $j=1,\cdots,\mu_i$ and $i=1,\cdots,q$. Let ${\delta}\in(0,\frac{1}{2})$ satisfying
${\delta}\max\limits_{1\le i\le q}\mu_i<\frac{1}{2}$. Suppose $D_i \equiv {\beta}_i+\sum\limits_{j=1}^{\mu_i}{\alpha}_{i,j}\neq 0$ for
$i=1,\cdots,q$. Then there exist infinitely many $(N, m_1,\cdots,m_q)\in{\bf N}^{q+1}$ such that
\begin{eqnarray}
&& m_i{\beta}_i+\sum_{j=1}^{\mu_i}E(m_i{\alpha}_{i,j}) =
      \varrho_i N+\Delta_i, \qquad \forall\ 1\le i\le q.  \label{3.12}\\
&& \min\{\{m_i{\alpha}_{i,j}\}, 1-\{m_i{\alpha}_{i,j}\}\} < {\delta},\qquad \forall\ j=1,\cdots,\mu_i,\quad 1\le i\le q, \label{3.13}\\
&& m_i{\alpha}_{i,j}\in{\bf N},\qquad {\rm if} \  {\alpha}_{i,j}\in{\bf Q},   \label{3.14}\end{eqnarray}
where
\begin{eqnarray} \varrho_i=\left\{\begin{array}{cc}1, &{\rm if}\ D_i>0, \cr
                                     -1, &{\rm if}\  D_i<0, \end{array}\right.\qquad \Delta_i=\sum_{0<\{m_i{\alpha}_{i,j}\}<{\delta}}1,\quad \forall\ 1\le i\le q.\label{3.15}\end{eqnarray}}

\medskip

{\bf Remark 3.5.} When $D_i>0$ for all $1\le i\le q$, this is precisely the Theorem 4.1 of \cite{LoZ} (also cf.
Theorem 11.1.1 of \cite{Lon4}).

\medskip

{\bf Proof of Theorem 3.4.}  By assumption $D_i\neq 0$, $\forall\ 1\le i\le q$, we further assume that there exists some
integer $0\le q_0\le q$ with $D_i<0$ for $0\le i\le q_0$ and $D_i>0$ for $q_0+1\le i\le q$. Next we will do with both of
these two cases simultaneously. In fact we only need to use $\varrho_i N$ and
$m_i=\left(\left[\frac{\varrho_i N}{M D_i}\right]+\chi_i\right)M$ to replace the corresponding $N$ and $m_i$s in the
proof of Theorem 4.1 of \cite{LoZ} (cf. Theorem 11.1.1 of \cite{Lon4}). For reader's convenience and because the proof is
almost self-contained, in the following we only give some different points and details.

In order to get (\ref{3.12}), we consider
\begin{eqnarray} m_i D_i&=&\frac{\varrho_i N}{MD_i}MD_i-\left\{\frac{\varrho_i N}{M D_i}\right\}MD_i+\chi_i MD_i\nonumber\\
&=&\varrho_i N+\left(\chi_i-\left\{\frac{\varrho_i N}{M D_i}\right\}\right)MD_i,\quad \forall\ 1\le i\le q,\label{3.16}\end{eqnarray}
where, to get (\ref{3.14}), we require $M\in{\bf N}$ to satisfy $M{\alpha}_{i,j}\in{\bf N}$ when ${\alpha}_{i,j}\in{\bf Q}$ for $j=1,\cdots,\mu_i$,
and $\chi_i\in\{0,1\}$ will be determined later.

Set \begin{eqnarray} m_i=\left(\left[\frac{\varrho_i N}{M D_i}\right]+\chi_i\right)M.\label{3.17}\end{eqnarray}

Then by (\ref{1.2}) and (\ref{3.16}), following the proofs from (4.11) and (4.13) of \cite{LoZ} (or (11.1.11) to (11.1.13) of
\cite{Lon4}) and using $\Delta_i$ and $\delta$ defined there, it yields
\begin{eqnarray} m_i{\beta}_i+\sum_{j=1}^{\mu_i}E(m_i{\alpha}_{i,j}) &=& m_i D_i+\sum_{j=1}^{\mu_i}(\varphi(m_i\alpha_{i,j})-\{m_i\alpha_{i,j}\}) \nonumber\\
&=& \varrho_i N+\left(\chi_i-\left\{\frac{\varrho_i N}{M D_i}\right\}\right)MD_i+\sum_{j=1}^{\mu_i}(\varphi(m_i\alpha_{i,j})-\{m_i\alpha_{i,j}\})\nonumber\\
  &=& \varrho_i N+\left(\chi_i-\left\{\frac{\varrho_i N}{M D_i}\right\}\right)MD_i+\Delta_i \nonumber\\
  &&-\sum_{0<\{m_i\alpha_{i,j}\}<{\delta}}\{m_i\alpha_{i,j}\}+\sum_{0<1-\{m_i{\alpha}_{i,j}\}<\delta}(1-\{m_i\alpha_{i,j}\}),\label{3.18}\end{eqnarray}
which, together with requiring (\ref{3.16}) and (\ref{3.18}) simultaneously, implies that
\begin{eqnarray} \left|m_i{\beta}_i+\sum_{j=1}^{\mu_i}E(m_i{\alpha}_{i,j})-\varrho_i N-\Delta_i\right|
          \le \left|\left\{\frac{\varrho_i N}{M D_k}\right\}-\chi_i\right|M|D_i|+\mu_i\delta,\quad 1\le i\le q.\label{3.19}\end{eqnarray}

Notice that ${\delta}\max\limits_{1\le i\le q}\mu_i<\frac{1}{2}$ holds by assumption. So by (\ref{3.19}), in order to obtain (\ref{3.12})
we need to choose $M,N\in{\bf N}$ and $\chi_i$s such that the following estimate holds
\begin{eqnarray} \left|\left\{\frac{\varrho_i N}{M D_i}\right\}-\chi_i\right|M|D_i|<\frac{1}{2}.\label{3.20}\end{eqnarray}

On the other hand, by the choice (\ref{3.17}) of $m_i$, we have
\begin{eqnarray} \{m_i\alpha_{i,j}\}&=&\left\{\left(\left[\frac{\varrho_i N}{M D_i}\right]+\chi_i\right)M\alpha_{i,j}\right\}\nonumber\\
&=&\left\{\frac{\varrho_i N\alpha_{i,j}}{D_i}+\left(\chi_i-\left\{\frac{\varrho_i N}{M D_i}\right\}\right)M\alpha_{i,j}\right\}\nonumber\\
&\equiv&\{A_{i,j}(\varrho_i N)+B_{i,j}(\varrho_i N)\},\qquad j=1,\cdots,\mu_i,\ 1\le i\le q,\label{3.21}\end{eqnarray}
where
\begin{eqnarray} A_{i,j}(\varrho_i N)=\left\{\frac{\varrho_i N\alpha_{i,j}}{D_i}\right\}-\chi_{i,j},\quad
B_{i,j}(\varrho_i N)=\left(\chi_{i}-\left\{\frac{\varrho_i N}{M D_i}\right\}\right)M\alpha_{i,j},\label{3.22}\end{eqnarray}
and $\chi_{i,j}\in\{0,1\}$ will be determined later.

Following the arguments between (4.18) and (4.20) of \cite{LoZ}, it can be easily shown that $\{m_i\alpha_{i,j}\}$ must be close
enough to $0$ or $1$, i.e., satisfying (\ref{3.13}), if
\begin{eqnarray} \max\left\{|A_{i,j}(\varrho_i N)|,\ |B_{i,j}(\varrho_i N)|\right\}<\frac{\delta_1}{3},\qquad {\rm for}\ 0<\delta_1<\delta.\label{3.23}\end{eqnarray}

By (\ref{3.20}) and (\ref{3.23}), in order to get (\ref{3.12})-(\ref{3.14}) we only need to choose integers
$\chi_i,\chi_{i,j}\in\{0,1\}$ and infinitely many integers $N\in{\bf N}$ such that all the quantities
\begin{eqnarray} \left|\left\{\frac{\varrho_i N\alpha_{i,j}}{D_i}\right\}-\chi_{i,j}\right|,\qquad \left|\left\{\frac{\varrho_i N}{M D_i}\right\}-\chi_i\right| \label{3.24}\end{eqnarray}
can be made simultaneously to be small enough, which can be reduced to a dynamical problem on a torus (cf. pages 233-234
of \cite{Lon4}). Here we omit rest of details in \cite{Lon4}. \hfill\vrule height0.18cm width0.14cm $\,$

\vspace{2mm}

In 2002, Y. Long and C. Zhu \cite{LoZ} has established the common index jump theorem for symplectic paths, which has become one
of the main tools to study the periodic orbit problem in Hamiltonian and symplectic dynamics. In \cite{DLW} of 2016, H. Duan,
Y. Long and W. Wang further improved this theorem to an enhanced version which gives more precise index properties of
${\gamma}_k^{2m_k}$ and ${\gamma}_k^{2m_k\pm m}$ with $1\le m \le \bar{m}$ for any fixed $\bar{m}$. Under the help of Theorem 3.4, following
the proofs of Theorem 3.5 in \cite{DLW}, next we further generalize this theorem to the case of admitting the existence of
symplectic paths with negative mean indices.

\medskip

{\bf Theorem 3.6.} ({\bf Generalized common index jump theorem for symplectic paths})
{\it Let $\gamma_i\in\mathcal{P}_{\tau_i}(2n)$ for $i=1,\cdots,q$ be a finite collection of symplectic paths with nonzero mean
indices $\hat{i}({\gamma}_i,1)$. Let $M_i={\gamma}_i(\tau_i)$. We extend ${\gamma}_i$ to $[0,+\infty)$ by (\ref{3.9}) inductively.

Then for any fixed $\bar{m}\in {\bf N}$, there exist infinitely many $(q+1)$-tuples
$(N, m_1,\cdots,m_q) \in {\bf N}^{q+1}$ such that the following hold for all $1\le i\le q$ and $1\le m\le \bar{m}$,
\begin{eqnarray}
\nu({\gamma}_i,2m_i-m) &=& \nu({\gamma}_i,2m_i+m) = \nu({\gamma}_i, m),   \label{3.25}\\
i({\gamma}_i,2m_i+m) &=& 2\varrho_i N+i({\gamma}_i,m),                         \label{3.26}\\
i({\gamma}_i,2m_i-m) &=&  2\varrho_i N-i({\gamma}_i,m)-2(S^+_{M_i}(1)+Q_i(m)),  \label{3.27}\\
i({\gamma}_i, 2m_i)&=& 2\varrho_i N -(S^+_{M_i}(1)+C(M_i)-2\Delta_i),     \label{3.28}\end{eqnarray}
where \begin{equation} \varrho_i=\left\{\begin{array}{cc}1, &{\rm if}\ \hat{i}({\gamma}_i,1)>0, \cr
                                     -1, &{\rm if}\  \hat{i}({\gamma}_i,1)<0, \end{array}\right.
\Delta_i = \sum_{0<\{m_i{\theta}/\pi\}<\delta}S^-_{M_i}(e^{\sqrt{-1}{\theta}}),\ Q_i(m) = \sum_{e^{\sqrt{-1}{\theta}}\in{\sigma}(M_i),\atop \{\frac{m_i{\theta}}{\pi}\}
                   = \{\frac{m{\theta}}{2\pi}\}=0}S^-_{M_i}(e^{\sqrt{-1}{\theta}}). \label{3.29}\end{equation}

More precisely, by (\ref{3.17}) and (4.40), (4.41) in \cite{LoZ} , we have
\begin{eqnarray} m_i=\left(\left[\frac{N}{M|\hat i(\gamma_i, 1)|}\right]+\chi_i\right)M,\quad\forall\  1\le i\le q,\label{3.30}\end{eqnarray}
where $\chi_i=0$ or $1$ for $1\le i\le q$ and $\frac{M\theta}{\pi}\in{\bf Z}$
whenever $e^{\sqrt{-1}\theta}\in\sigma(M_i)$ and $\frac{\theta}{\pi}\in{\bf Q}$
for some $1\le i\le q$.  Furthermore, by (\ref{3.24}),
for any $\epsilon>0$, we can choose $N$ and $\{\chi_i\}_{1\le i\le q}$ such that}
\begin{eqnarray} \left|\left\{\frac{ N}{M|\hat i(\gamma_i, 1)|}\right\}-\chi_i\right|<\epsilon,\quad\forall\  1\le i\le q.\label{3.31}\end{eqnarray}

\medskip

{\bf Proof.} For $1\le i\le q$, let $\mu_i=\sum_{0<{\theta}<2\pi}S_{M_i}^-(e^{\sqrt{-1}{\theta}})$, $\alpha_{i,j}=\frac{{\theta}_j}{\pi}$
where $e^{\sqrt{-1}{\theta}_j}\in\sigma(M_i)$ for $1\le j\le\mu_i$, and
$D_i=i({\gamma}_i,1) + S^+_{M_i}(1) - C(M_i) + \sum_{{\theta}\in(0,2\pi)}\frac{{\theta}}{\pi}S^-_{M_i}(e^{\sqrt{-1}{\theta}})$. Then Theorem
3.6 can be proved by Theorem 3.4 and using $\varrho_kN$ and $m_i=\left(\left[\frac{\varrho_i N}{M D_i}\right]+\chi_i\right)M$
to replace the corresponding $N$ and $m_i$s in the proof of Theorem 3.5 of \cite{DLW}. Here we omit all details.\hfill\vrule height0.18cm width0.14cm $\,$

\medskip

{\bf Remark 3.7.} Let $l=q+\sum_{k=1}^q \mu_k$, and
\begin{eqnarray} v=\left(\frac{1}{M|\hat{i}(\gamma_1,1)|},\cdots,\frac{1}{M|\hat{i}(\gamma_1,1)|},\frac{{\alpha}_{1,1}}{|\hat{i}(\gamma_1,1)|},\cdots,
\frac{{\alpha}_{1,\mu_1}}{|\hat{i}(\gamma_1,1)|},\cdots,\frac{{\alpha}_{q,1}}{|\hat{i}(\gamma_q,1)|},\cdots,
\frac{{\alpha}_{q,\mu_q}}{|\hat{i}(\gamma_q,1)|}\right)\in{\bf R}^l.\nonumber\end{eqnarray}
Theorem 3.6 also shows that for any given small $\epsilon>0$ one can find a vertex
\begin{eqnarray*} \chi=(\chi_1,\cdots,\chi_q,\chi_{1,1},\cdots,\chi_{1,\mu_1},\cdots,\chi_{q,1},\cdots,\chi_{q,\mu_q})\end{eqnarray*}
of the cube $[0,1]^l$ and infinitely many $N\in{\bf N}$ such that $|\{Nv\}-\chi|<\epsilon$.

\medskip

{\bf Theorem 3.8.} (cf. Theorem 2.1 of \cite{HuL} and Theorem 6.1 of \cite{LLo2}) {\it Suppose ${\Sigma}\in {\cal H}_{st}(2n)$ and
$(\tau,y)\in {\cal T}(\Sigma)$. Then we have
\begin{equation} i(y^m)\equiv i(m\tau,y)=i(y, m)-n,\quad \nu(y^m)\equiv\nu(m\tau, y)=\nu(y, m),
       \qquad \forall m\in{\bf N}, \label{3.32}\end{equation}
where $i(y^m)$ and $\nu(y^m)$ are the index and nullity of $(m\tau,y)$ defined in Section 2, $i(y, m)$ and $\nu(y, m)$
are the Maslov-type index and nullity of $(m\tau,y)$ (cf. Section 5.4 of \cite{Lon3}). In particular, we have
$\hat{i}(\tau,y)=\hat{i}(y,1)$, where $\hat{i}(\tau ,y)$ is given in Section 2, $\hat{i}(y,1)$
is the mean Maslov-type index (cf. Definition 8.1 of \cite{Lon4}). Hence we denote it simply by $\hat{i}(y)$.}

\setcounter{figure}{0}
\setcounter{equation}{0}
\section{Proof of Theorem 1.2

In order to prove Theorem 1.2, let $\Sigma\in \mathcal{H}_{st}(2n)$ be a non-degenerate perfect star-shaped hypersurface
which possesses only finitely many prime closed characteristics $\{(\tau_k,y_k)\}_{k=1}^q$ with $\hat{i}(y_k,1)\neq 0$.
Note that there exist at least one closed characteristic on ${\Sigma}$ with positive mean index by the first identity of
(\ref{2.11}) in Theorem 2.3. So without loss of generality, the following mixed mean index condition holds:

\medskip

{\bf (MMI)} {\it There exists an integer $q_0\in[1,q]$ such that $\hat{i}(y_k,1)>0$ for $1\leq k\leq q_0$ and $\hat{i}(y_k,1)<0$ for $q_0+1\leq k\leq q$.}

\medskip

Denote by ${\gamma}_k\equiv {\gamma}_{y_k}$ the associated symplectic path of $(\tau_k,y_k)$ for $1\le k\le q$. Then by Lemma 3.3 of \cite{HuL} and Lemma 3.2 of \cite{Lon1},
there exists $P_k\in Sp(2n)$ and $U_k\in Sp(2n-2)$ such that
\begin{eqnarray} M_k\equiv{\gamma}_k(\tau_k)=P_k^{-1}(N_1(1,1){\diamond} U_k)P_k,\qquad\forall\  1\le k\le q,\label{4.1}\end{eqnarray}
where every $U_k$ has the following form:
\begin{eqnarray}
&& R({\theta}_1)\,{\diamond}\,\cdots\,{\diamond}\,R({\theta}_r)\,{\diamond}\,D(\pm 2)^{{\diamond} s} \nonumber\\
&& {\diamond}\,N_2(e^{{\alpha}_{1}\sqrt{-1}},A_{1})\,{\diamond}\,\cdots\,{\diamond}\,N_2(e^{{\alpha}_{r_{\ast}}\sqrt{-1}},A_{r_{\ast}})
  \,{\diamond}\,N_2(e^{{\beta}_{1}\sqrt{-1}},B_{1})\,{\diamond}\,\cdots\,{\diamond}\,N_2(e^{{\beta}_{r_{0}}\sqrt{-1}},B_{r_{0}}), \nonumber\end{eqnarray}
where $\frac{{\theta}_{j}}{2\pi}\not\in{\bf Q}$ for $1\le j\le r$; $\frac{{\alpha}_{j}}{2\pi}\not\in{\bf Q}$ for $1\le j\le r_{\ast}$;
$\frac{{\beta}_{j}}{2\pi}\not\in{\bf Q}$ for $1\le j\le r_0$ and
\begin{equation} r+ s +2r_{\ast} + 2r_0 = n-1. \label{4.2}\end{equation}

{\bf Proof of Theorem 1.2.}

\medskip

We prove Theorem 1.2 in two cases:

\medskip

{\bf Case 1.} {\it $n$ is even.}

\medskip

We continue the proof in three steps.

{\bf Step 1.} {\it The first set of iterates for the choice of the vertex $\chi$ in the cube $[0,1]^l$.}

By (MMI), we have $\hat{i}(y_k)=\hat{i}(y_k,1)>0$ for $1\le k\le q_0$ and $\hat{i}(y_k)=\hat{i}(y_k,1)<0$ for $q_0+1\le k\le q$,
which implies that $i(y_k,m)\rightarrow +\infty$ for $1\le k\le q_0$ and $i(y_k,m)\rightarrow -\infty$ for $q_0+1\le k\le q$ as $m\rightarrow +\infty$.
So the positive integer
$\bar{m}$ defined by
\begin{eqnarray} &&\bar{m}_1=\max_{1\le k\le q_0}\left\{\min\{m_0\in{\bf N}\ |\ i(y_k,m+l)\ge i(y_k,l)+n+1, \quad
    \forall\ l\ge 1, m\geq m_0\}\right\}\nonumber\\ &&\bar{m}_2=\max_{q_0+1\le k\le q}\left\{\min\{m_0\in{\bf N}\ |\ i(y_k,m+l)\leq i(y_k,l)-n-1, \quad
    \forall\ l\ge 1, m\geq m_0\}\right\}\nonumber\\
    &&\bar{m}=\max\{\bar{m}_1, \bar{m}_2\}\label{4.3}\end{eqnarray}
is well-defined and finite.

For the integer $\bar{m}$ defined in (\ref{4.3}), it follows from Theorem 3.6 and Remark 3.7
that there exist a vertex $\chi$ of $[0,1]^l$ and infinitely many $(q+1)$-tuples $(N, m_1, \cdots, m_q)\in{\bf N}^{q+1}$ such that for any
$1\le k\le q$, there holds
\begin{eqnarray}
\bar{m}+2 &\le& \min\{2m_k,\ 1\le k\le q\},\label{4.4}\\
i(y_k,{2m_k-m}) &=& 2\varrho_k N-2-i(y_k,m),\quad\forall\  1\le m\le\bar{m}, \label{4.5}\\
i(y_k,{2m_k}) &=& 2\varrho_k N-1-C(M_k)+2\Delta_k,\label{4.6}\\
i(y_k,{2m_k+m})&=& 2\varrho_k N+i(y_k,m),\quad \forall\ 1\le m\le\bar{m},\label{4.7}\end{eqnarray}
where note that $S^+_{M_k}(1)=1,Q_k(m)=0$, $\forall\ m\ge 1$ by (\ref{4.1})-(\ref{4.2}).

By the definition (\ref{4.3}) of $\bar{m}$ and (\ref{4.6}), for any $m\ge \bar{m}+1$, we obtain
\begin{eqnarray}
 i(y_k,2m_k-m)&\le& i(y_k,2m_k)-n-1\nonumber\\&=&2N-n-2+2\Delta_k-C(M_k)\nonumber\\&\le& 2N-3,\quad 1\le k\le q_0, \label{4.8}\\
 i(y_k,2m_k-m)&\ge& i(y_k,2m_k)+n+1\nonumber\\&=&-2N+n+2\Delta_k-C(M_k)\nonumber\\&\ge& -2N+1,\quad q_0+1\le k\le q, \label{4.8'}\\
 i(y_k,2m_k+m)&\ge& i(y_k,2m_k)+n+1\nonumber\\&=&2N+n-C(M_k)+2\Delta_k\nonumber\\ &\ge& 2N+1,\quad 1\le k\le q_0, \label{4.9}\\
  i(y_k,2m_k+m)&\le& i(y_k,2m_k)-n-1\nonumber\\&=&-2N-n-2-C(M_k)+2\Delta_k\nonumber\\ &\le& -2N-3,\quad q_0+1\le k\le q, \label{4.9'}\end{eqnarray}
where we use the facts $2\Delta_k-C(M_k)\le n-1$ and $C(M_k)\le n-1$.

Then by (\ref{4.5})-(\ref{4.9'}) and Theorem 3.8, we obtain
\begin{eqnarray}  i(y_k^{2m_k-m})&\le& 2N-n-3,\qquad \forall\ \bar{m}+1\le m\le 2m_k-1,\ 1\le k\le q_0,\label{4.10} \\
 i(y_k^{2m_k-m}) &\ge& -2N-n+1,\qquad \forall\ \bar{m}+1\le m\le 2m_k-1,\ q_0+1\le k\le q,\label{4.10'} \\
 i(y_k^{2m_k-m}) &=& 2\varrho_k N-2n-2-i(y_k^m),\qquad \forall\ 1\le m\le \bar{m}, \label{4.11}\\
 i(y_k^{2m_k}) &=& 2\varrho_k N-C(M_k)+2\Delta_k-n-1,\label{4.12}\\
 i(y_k^{2m_k+m}) &=& 2\varrho_k N+i(y_k^m),\qquad \forall\ 1\le m\le \bar{m},\label{4.13}\\
 i(y_k^{2m_k+m}) &\ge& 2N-n+1,\qquad \forall\ m\ge \bar{m}+1,\ 1\le k\le q_0,\label{4.14} \\
i(y_k^{2m_k+m})&\le& -2N-n-3,\qquad \forall\ m\ge \bar{m}+1,\ q_0+1\le k\le q.\label{4.14'}\end{eqnarray}

{\bf Claim 1:} {\it For $N\in{\bf N}$ in Theorem 3.6 satisfying (\ref{4.10})-(\ref{4.14'}), we have
\begin{eqnarray} \sum_{k=1}^q 2m_k\hat{\chi}(y_k)=N.\label{4.15}\end{eqnarray}}

In fact, let ${\epsilon}<\frac{1}{1+2M\sum_{1\le k\le q}|\hat{\chi}(y_k)|}$, by Theorem 2.3 and (MMI) we have
\begin{eqnarray} \sum_{k=1}^q\frac{\hat{\chi}(y_k)}{|\hat{i}(y_k)|}=\sum_{\hat{i}(y_k)>0}\frac{\hat{\chi}(y_k)}{\hat{i}(y_k)}-
\sum_{\hat{i}(y_k)<0}\frac{\hat{\chi}(y_k)}{\hat{i}(y_k)}=\frac{1}{2},\nonumber\end{eqnarray}
which, together with (\ref{3.30})-(\ref{3.31}), yields
\begin{eqnarray} \left|N-\sum_{k=1}^q 2m_k\hat{\chi}(y_k)\right|
&=& \left|\sum_{k=1}^q\frac{2N\hat{\chi}(y_k)}{|\hat{i}(y_k)|}-\sum_{k=1}^q 2\hat{\chi}(y_k)
    \left(\left[\frac{N}{M|\hat{i}(y_k)|}\right]+\chi_k\right)M\right|\nonumber\\
&\le& 2M\sum_{k=1}^q |\hat{\chi}(y_k)|\left|\left\{\frac{N}{M|\hat{i}(y_k)|}\right\}-\chi_k\right|.\nonumber\\
&<& 2M{\epsilon}\sum_{k=1}^q|\hat{\chi}(y_k)|\nonumber\\
&<& 1.\label{4.16}\end{eqnarray}
It proves Claim 1 since each $2m_k\hat{\chi}(y_k)$ is an integer.

\medskip

Now by Lemma 2.2, it yields
\begin{eqnarray}
&& \sum_{m=1}^{2m_k} (-1)^{d(K)+i(y_k^m)}\dim C_{S^1,d(K)+i(y_k^{m})}(F_{a, K},S^1\cdot x_k^m)\nonumber\\
&& = \sum_{m=1}^{2m_k} (-1)^{i(y_k^m)}\dim C_{S^1,d(K)+i(y_k^{m})}(F_{a, K},S^1\cdot x_k^m)\nonumber\\
&& = \sum_{i=0}^{m_k-1} \sum_{m=2i+1}^{2i+2} (-1)^{i(y_k^m)} \dim C_{S^1,d(K)+i(y_k^{m})}(F_{a, K},S^1\cdot x_k^m)\nonumber\\
&& = \sum_{i=0}^{m_k-1} \sum_{m=1}^{2} (-1)^{i(y_k^m)} \dim C_{S^1,d(K)+i(y_k^{m})}(F_{a, K},S^1\cdot x_k^m)\nonumber\\
&& = m_k \sum_{m=1}^{2} (-1)^{i(y_k^m)} \dim C_{S^1,d(K)+i(y_k^{m})}(F_{a, K},S^1\cdot x_k^m)\nonumber\\
&& = 2m_k\hat{\chi}(y_k),\qquad \forall\ 1\le k\le q, \label{4.17}\end{eqnarray}
where $x_k$ is the critical point of $F_{a, K}$ corresponding to $y_k$, and we choose large enough $K$ such that
$d(K)=2n([KT/{2\pi}]+1)\ge -i(y_k^{m})$ for $1\le m\le 2m_k$ and $1\le k\le q$.

For $1\le k\le q$, by (\ref{4.14})-(\ref{4.14'}) and Lemma 2.2, we know that all $y_k^{2m_k+m}$'s with $m\ge\bar{m}+1$
have no contribution to the alternative sum $\sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p$, where the Morse-type number $M_p$
is defined in (\ref{2.14}). Similarly again by
Lemma 2.2 and (\ref{4.10})-(\ref{4.10'}), all $y_k^{2m_k-m}$'s with $\bar{m}+1\le m\le 2m_k-1$ only have contribution to
$\sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p$.

For $1\le m\le\bar{m}$, by (\ref{4.13}) and Lemma 2.2, we know that all $y_k^{2m_k+m}$'s with $-n\le i(y_k^m)$
for $1\le k\le q_0$, or $ i(y_k^m)\leq -n-2$
for $q_0+1\le k\le q$, have no contribution to the alternative sum $\sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p$.
Similarly again by Lemma 2.2 and (\ref{4.11}), for $1\le m\le\bar{m}$, all $y_k^{2m_k-m}$'s with $-n\le i(y_k^m)$ and
$1\le k\le q_0$, or $ i(y_k^m)\leq -n-2$
for $q_0+1\le k\le q$, only have contribution to $\sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p$.

Since $i(y_k^{m})\neq -n-1$ when $(m\tau_k, y_k)$ is good, by (MMI), Definition 1.1 and Theorem 3.8, we set
\begin{eqnarray}
M_+^e(k)=\left\{\matrix{^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\le -n-2,\ i(y_k^{2m_k+m})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\}, ~{\rm if}~ 1\le k\le q_0, \cr
              ^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\geq -n,\ i(y_k^{2m_k+m})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\},~{\rm if}~q_0+1\le k\le q, \cr }\right. \nonumber\end{eqnarray}
\begin{eqnarray}
M_+^o(k)=\left\{\matrix{^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\le -n-2,\ i(y_k^{2m_k+m})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}, ~{\rm if}~ 1\le k\le q_0, \cr
              ^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\geq -n,\ i(y_k^{2m_k+m})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\},~{\rm if}~ q_0+1\le k\le q, \cr }\right. \nonumber\end{eqnarray}
\begin{eqnarray}
M_-^e(k)=\left\{\matrix{^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\le -n-2,\ i(y_k^{2m_k-m})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\}, ~{\rm if}~ 1\le k\le q_0, \cr
              ^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\geq -n,\ i(y_k^{2m_k-m})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\},~{\rm if}~q_0+1\le k\le q, \cr }\right. \nonumber\end{eqnarray}
\begin{eqnarray}
M_-^o(k)=\left\{\matrix{^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\le -n-2,\ i(y_k^{2m_k-m})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}, ~{\rm if}~ 1\le k\le q_0, \cr
              ^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\geq -n,\ i(y_k^{2m_k-m})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\},~{\rm if}~q_0+1\le k\le q, \cr }\right. \nonumber\end{eqnarray}
which, together with $i(y_k^{2m_k+m})-i(y_k^{2m_k-m})\in 2{\bf Z}$ by (\ref{4.11}) and (\ref{4.13}), yields
\begin{equation} M_+^{e}(k)=M_-^{e}(k),\quad M_+^{o}(k)=M_-^{o}(k),\qquad\forall\  1\le k\le q.\label{4.18}\end{equation}

For $1\le k\le q_0$ and $1\le m\le \bar{m}$ satisfying $i(y_k^{m})\le -n-2$, and for
$q_0+1\le k\le q$ and $1\le m\le \bar{m}$ satisfying $i(y_k^{m})\geq -n$, by (\ref{4.11}) and (\ref{4.13})
it yields
\begin{eqnarray} i(y_k^{2m_k-m})&\ge& 2N-n,\quad i(y_k^{2m_k+m})\le 2N-n-2, \quad \forall\ 1\le k\le q_0,\label{4.19}\\
i(y_k^{2m_k-m})&\le& -2N-n-2,\quad i(y_k^{2m_k+m})\ge -2N-n, \quad \forall\  q_0+1\le k\le q.\label{4.19'}\end{eqnarray}

So, for $1\le m\le\bar{m}$, by (\ref{4.19})-(\ref{4.19'}) and Lemma 2.2, we know that all $y_k^{2m_k+m}$'s with $i(y_k^m)\le -n-2$
and $1\le k\le q_0$, or $i(y_k^{m})\geq -n$ and $q_0+1\le k\le q$, only have contribution to the alternative
sum $\sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p$, and
all $y_k^{2m_k-m}$'s with $i(y_k^m)\le -n-2$ and $1\le k\le q_0$, or  $i(y_k^{m})\geq -n$ and $q_0+1\le k\le q$, have no contribution to
$\sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p$.

Thus for the Morse-type numbers $M_p$'s in (\ref{2.14}), by (\ref{4.17})-(\ref{4.19'}) we have
\begin{eqnarray} \sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p
&=& \sum_{k=1}^{q}\ \sum_{1\le m\le 2m_k+\bar{m} \atop -2N-n-1\le i(y_k^{m})\le 2N-n-1}
    (-1)^{d(K)+i(y_k^m)}\dim C_{S^1,d(K)+i(y_k^{m})}(F_{a, K},S^1\cdot x_k^m)\nonumber\\
&=& \sum_{k=1}^{q}\ \sum_{m=1}^{2m_k} (-1)^{d(K)+i(y_k^m)}\dim C_{S^1,d(K)+i(y_k^{m})}(F_{a, K},S^1\cdot x_k^m)\nonumber\\
& & +\sum_{k=1}^q \left[M_+^e(k)-M_+^o(k)\right]-\sum_{k=1}^q \left[M_-^e(k)-M_-^o(k)\right]\nonumber\\
& & -\sum_{1\le k\le q_0 \atop i(y_k^{2m_k})\ge 2N-n} (-1)^{i(y_k^{2m_k})}
              \dim C_{S^1,d(K)+i(y_k^{2m_k})}(F_{a, K},S^1\cdot x_k^{2m_k})\nonumber\\
& & -\sum_{q_0+1\le k\le q \atop i(y_k^{2m_k})\le -2N-n-2} (-1)^{i(y_k^{2m_k})}
              \dim C_{S^1,d(K)+i(y_k^{2m_k})}(F_{a, K},S^1\cdot x_k^{2m_k})\nonumber\\
&=& \sum_{k=1}^{q} 2m_k\hat{\chi}(y_k)\nonumber\\
& &-\sum_{1\le k\le q_0 \atop i(y_k^{2m_k})\ge 2N-n} (-1)^{i(y_k^{2m_k})}
              \dim C_{S^1,d(K)+i(y_k^{2m_k})}(F_{a, K},S^1\cdot x_k^{2m_k})\nonumber\\
& & -\sum_{q_0+1\le k\le q \atop i(y_k^{2m_k})\le -2N-n-2} (-1)^{i(y_k^{2m_k})}
              \dim C_{S^1,d(K)+i(y_k^{2m_k})}(F_{a, K},S^1\cdot x_k^{2m_k}). \label{4.20}\end{eqnarray}

In order to exactly know whether the iterate $y_k^{2m_k}$ of $y_k$ has contribution to the alternative sum
$\sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p$,  $1\le k\le q$, we set
\begin{eqnarray}
N_+^e &=& ^{\#}\{q_0+1\le k\le q\ |\ i(y_k^{2m_k})\le -2N-n-2,\ i(y_k^{2m_k})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\}\nonumber\\
& &+ ~^{\#}\{1\le k\le q_0\ |\ i(y_k^{2m_k})\ge 2N-n,\ i(y_k^{2m_k})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\},\label{4.21}\\
N_+^o &=& ^{\#}\{q_0+1\le k\le q\ |\ i(y_k^{2m_k})\le -2N-n-2,\ i(y_k^{2m_k})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}\nonumber\\
&&+~ ^{\#}\{1\le k\le q_0\ |\ i(y_k^{2m_k})\ge 2N-n,\ i(y_k^{2m_k})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\},\label{4.22}\\
N_-^e &=& ^{\#}\{q_0+1\le k\le q\ |\ i(y_k^{2m_k})\ge -2N-n,\ i(y_k^{2m_k})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\}\nonumber\\
&&+~^{\#}\{1\le k\le q_0\ |\ i(y_k^{2m_k})\le 2N-n-2,\ i(y_k^{2m_k})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\},\label{4.23}\\
N_-^o &=& ^{\#}\{q_0+1\le k\le q\ |\ i(y_k^{2m_k})\ge -2N-n,\ i(y_k^{2m_k})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}\nonumber\\
&&+~^{\#}\{1\le k\le q_0\ |\ i(y_k^{2m_k})\le 2N-n-2,\ i(y_k^{2m_k})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}.\label{4.24}\end{eqnarray}

Thus by Claim 1, (\ref{4.20}), the definitions of $N^{e}_+$ and $N_+^o$ and (\ref{2.16}), we have
\begin{eqnarray} N+N_+^o-N_+^e
&=& \sum_{k=1}^q 2m_k\hat{\chi}(y_k)+N_+^o-N_+^e  \nonumber\\
&=& \sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p \nonumber\\
&\le& \sum_{p=-2N-n-1}^{2N-n-1}(-1)^p b_p=\sum_{p=0}^{2N-n-2}b_p \nonumber\\
&=& N-\frac{n}{2},\label{4.25}\end{eqnarray}
where the first equality holds by Claim 1, the second equality follows from (4.25) and the definitions of $N^{e}_+$
and $N_+^o$, and the last equality follows from $b_{2j}=1$ and $b_{2j-1}=0$ for $0\le j\le N-\frac{n-2}{2}$ by
(\ref{2.16}) where $n$ is even.

So (\ref{4.25}) give the following estimate
\begin{equation} N_+^e\ge \frac{n}{2}.\label{4.26}\end{equation}

{\bf Step 2.} {\it The second set of iterates for the choice of the dual vertex $\hat{\chi}=1-\chi$ in the cube $[0,1]^l$.}

Similar to (\ref{4.10})-(\ref{4.14'}), for $\hat{\chi}=\hat{1}-\chi$ of the cube $[0,1]^l$ with $\chi$ chosen below
(\ref{4.3}) where $\hat{1}=(1,\cdots,1)$, it follows from Theorem 3.6 (also cf. Theorem 2.8 of \cite{HaW} and Theorem
4.2 of \cite{LoZ}) and Remark 3.7 that there exist also infinitely many $(q+1)$-tuples
$(N', m_1', \cdots, m_q')\in{\bf N}^{q+1}$ such that for any $1\le k\le q$, there holds
\begin{eqnarray}
i(y_k^{2m_k'-m})&\le& 2N'-n-3,\qquad \forall\ \bar{m}+1\le m\le 2m_k'-1,\ 1\le k\le q_0,\label{4.27} \\
i(y_k^{2m_k'-m})&\ge& -2N'-n+1,\qquad \forall\ \bar{m}+1\le m\le 2m_k'-1,\ q_0+1\le k\le q,\label{4.27'} \\
i(y_k^{2m_k'-m}) &=& 2\varrho_k N'-2n-2-i(y_k^m),\qquad \forall\ 1\le m\le \bar{m}, \label{4.28}\\
i(y_k^{2m_k'}) &=& 2\varrho_k N'-C(M_k)+2\Delta_k'-n-1,\label{4.29}\\
i(y_k^{2m_k'+m}) &=& 2\varrho_k N'+i(y_k^m),\qquad \forall\ 1\le m\le \bar{m},\label{4.30}\\
i(y_k^{2m_k'+m}) &\ge& 2N'-n+1,\qquad \forall\ m\ge \bar{m}+1,\ 1\le k\le q_0,\label{4.31}\\
i(y_k^{2m_k'+m}) &\le& -2N'-n-3,\qquad \forall\ m\ge \bar{m}+1,\ q_0+1\le k\le q,\label{4.31'} \end{eqnarray}
where, furthermore, $\Delta_k$ and $\Delta_k'$ satisfy the following relationship
\begin{eqnarray} \Delta_k' + \Delta_k = C(M_k),\qquad\forall\ 1\le k\le q,\label{4.32}\end{eqnarray}
by the fact $\hat{\chi}=\hat{1}-\chi$ and the proof of Claim 4 in the proof of Theorem 1.1 of \cite{DLW} or (42) in Theorem 2.8 of \cite{HaW}.

Similarly, we define
\begin{eqnarray}
N_+^{'e} &=& ^{\#}\{q_0+1\le k\le q\ |\ i(y_k^{2m_k'})\le -2N'-n-2,\ i(y_k^{2m_k'})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\}\nonumber\\
&&+~^{\#}\{1\le k\le q_0\ |\ i(y_k^{2m_k'})\ge 2N'-n,\ i(y_k^{2m_k'})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\},   \label{4.33}\\
N_+^{'o} &=& ^{\#}\{q_0+1\le k\le q\ |\ i(y_k^{2m_k'})\le -2N'-n-2,\ i(y_k^{2m_k'})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}\nonumber\\
&&+~^{\#}\{1\le k\le q_0\ |\ i(y_k^{2m_k'})\ge 2N'-n,\ i(y_k^{2m_k'})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}, \label{4.34}\\
N_-^{'e} &=&^{\#}\{q_0+1\le k\le q\ |\ i(y_k^{2m_k'})\ge -2N'-n,\ i(y_k^{2m_k'})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\}\nonumber\\
 &&+~^{\#}\{1\le k\le q_0\ |\ i(y_k^{2m_k'})\le 2N'-n-2,\ i(y_k^{2m_k'})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\},   \label{4.35}\\
N_-^{'o} &=& ^{\#}\{q_0+1\le k\le q\ |\ i(y_k^{2m_k'})\ge -2N'-n,\ i(y_k^{2m_k'})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}\nonumber\\
&&+~^{\#}\{1\le k\le q_0\ |\ i(y_k^{2m_k'})\le 2N'-n-2,\ i(y_k^{2m_k'})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}. \label{4.36}\end{eqnarray}

So by (\ref{4.29}) and (\ref{4.32}) it yields
\begin{equation} i(y_k^{2m_k'}) = 2\varrho_k N'-C(M_k)+2(C(M_k)-\Delta_k)-n-1=2\varrho_k N'+C(M_k)-2\Delta_k-n-1. \label{4.37}\end{equation}

So by definitions (\ref{4.21})-(\ref{4.24}) and (\ref{4.33})-(\ref{4.36}) we have
\begin{equation} N_{\pm}^e=N_{\mp}^{'e},\qquad N_{\pm}^o=N_{\mp}^{'o}. \label{4.38}\end{equation}

Thus, carrying out the arguments similar to (\ref{4.25})-(\ref{4.26}), by Claim 1, the definitions of
$N^{'e}_+$ and $N^{'o}_+$  and (\ref{2.16}), we have
\begin{eqnarray} N'+N_+^{'o}-N_+^{'e}&=&\sum_{k=1}^q 2m'_k\hat{\chi}(y_k)+N_+^{'o}-N_+^{'e}\nonumber\\
&=&\sum_{p=-2N'-n-1}^{2N'-n-1}(-1)^p M_p\nonumber\\
&\le&\sum_{p=-2N'-n-1}^{2N'-n-1}(-1)^p b_p=\sum_{p=0}^{2N'-n-2}b_p\nonumber\\
&=& N'-\frac{n}{2},\label{4.39}\end{eqnarray}
which, together with (\ref{4.38}), implies
\begin{eqnarray} N_-^{e}=N_+^{'e}\ge\frac{n}{2}.\label{4.40}\end{eqnarray}

{\bf Step 3.} {\it The summary.}

So by (\ref{4.26}) and (\ref{4.40}) it yields
\begin{equation} q\ge N_+^{e}+N_-^{e}\ge n. \label{4.41}\end{equation}

In addition, any hyperbolic closed characteristic $y_k$ must have $i(y_k^{2m_k})=2\varrho_k N-n-1$ since there holds
$C(M_k)=0$ in the hyperbolic case. However, by (\ref{4.21}) and (\ref{4.23}), there exist at least
$(N_+^{e}+N_-^{e})$ closed characteristics with even indices $i(y_k^{2m_k})$. So all these
$(N_+^{e}+N_-^{e})$ closed characteristics are non-hyperbolic. Then (\ref{4.41}) shows that there exist
at least $n$ distinct non-hyperbolic closed characteristics. Now (\ref{4.21}), (\ref{4.23}) and (\ref{4.41})
show that all these non-hyperbolic closed characteristics and their iterations have even Maslov-type indices.
This completes the proof of Case 1.

\medskip

{\bf Case 2.} {\it $n$ is odd.}

\medskip

In this case, (MMI) still holds. Here the arguments are similar to those in the proof of Case 1. So we
only give some different parts in the proof and omit other details.

\medskip

{\bf Claim 2:} {\it There exist at least $(n-1)$ geometrically distinct non-hyperbolic closed characteristics
denoted by $\{y_k\}_{k=1}^{n-1}$ with odd Maslov-type indices on such hypersurface ${\Sigma}$.}

\medskip

Here one crucial and different point from the proof of Case 1 is that we need to consider the alternative sum
$\sum_{p=-2N-n}^{2N-n}(-1)^p M_p$ (cf. (\ref{4.44})) instead of $\sum_{p=-2N-n-1}^{2N-n-1}(-1)^p M_p$
(cf. (\ref{4.20})). This difference is mainly due to the different parity of $n$. Since the method is similar
to that in proof of Case 1, we only list some necessary parts.

At first, there holds $i(y_k^m)\notin\{ -n-2,-n-1,-n\}$ when $(m\tau_k, y_k)$ is good, by (MMI), Definition 1.1 and Theorem 3.8, we set
\begin{eqnarray}
\bar{M}_+^e(k)=\left\{\matrix{^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\le -n-3,\ i(y_k^{2m_k+m})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\}, ~{\rm if}~ 1\le k\le q_0, \cr
              ^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\geq -n+1,\ i(y_k^{2m_k+m})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\},~{\rm if}~q_0+1\le k\le q, \cr }\right. \nonumber\end{eqnarray}
\begin{eqnarray}
\bar{M}_+^o(k)=\left\{\matrix{^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\le -n-3,\ i(y_k^{2m_k+m})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}, ~{\rm if}~ 1\le k\le q_0, \cr
              ^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\geq -n+1,\ i(y_k^{2m_k+m})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\},~{\rm if}~q_0+1\le k\le q, \cr }\right. \nonumber\end{eqnarray}
\begin{eqnarray}
\bar{M}_-^e(k)=\left\{\matrix{^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\le -n-3,\ i(y_k^{2m_k-m})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\}, ~{\rm if}~ 1\le k\le q_0, \cr
              ^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\geq -n+1,\ i(y_k^{2m_k-m})\in 2{\bf Z},\ i(y_k)\in 2{\bf Z}\},~{\rm if}~q_0+1\le k\le q, \cr }\right. \nonumber\end{eqnarray}
\begin{eqnarray}
\bar{M}_-^o(k)=\left\{\matrix{^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\le -n-3,\ i(y_k^{2m_k-m})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\}, ~{\rm if}~ 1\le k\le q_0, \cr
              ^{\#}\{1\le m\le \bar{m}\ |\ i(y_k^{m})\geq -n+1,\ i(y_k^{2m_k-m})\in 2{\bf Z}-1,\ i(y_k)\in 2{\bf Z}-1\},~{\rm if}~q_0+1\le k\le q, \cr }\right. \nonumber\end{eqnarray}
which, together with $i(y_k^{2m_k+m})-i(y_k^{2m_k-m})\in 2{\bf Z}$ by (\ref{4.11}) and (\ref{4.13}), yields
\begin{eqnarray} \bar{M}_+^{e}(k)=\bar{M}_-^{e}(k),\quad \bar{M}_+^{o}(k)=\bar{M}_-^{o}(k),\qquad\forall\  1\le k\le q.\label{4.42}\end{eqnarray}

For $1\le k\le q_0$ and $1\le m\le \bar{m}$ satisfying $i(y_k^{m})\le -n-3$, and for
$q_0+1\le k\le q$ and $1\le m\le \bar{m}$ satisfying $i(y_k^{m})\geq -n+1$, by (\ref{4.11}) and (\ref{4.13})
it yields
\begin{eqnarray} i(y_k^{2m_k-m})&\ge& 2N-n+1,\quad i(y_k^{2m_k+m})\le 2N-n-3,\quad \forall\  1\le k\le q_0,\label{4.43}\\
i(y_k^{2m_k-m})&\le& -2N-n-3,\quad i(y_k^{2m_k+m})\ge -2N-n+1, \quad\forall \ q_0+1\le k\le q,\label{4.43'}\end{eqnarray}

Then, similarly to the equation (\ref{4.20}), we have
\begin{eqnarray} \sum_{p=-2N-n}^{2N-n}(-1)^p M_p
&=& \sum_{k=1}^{q} 2m_k\hat{\chi}(y_k)\nonumber\\
& -&\sum_{1\le k\le q_0 \atop i(y_k^{2m_k}) \ge 2N-n+1} (-1)^{i(y_k^{2m_k})}
      \dim C_{S^1,d(K)+i(y_k^{2m_k})}(F_{a, K},S^1\cdot x_k^{2m_k})\nonumber\\
& -&\sum_{q_0+1\le k\le q \atop i(y_k^{2m_k}) \le -2N-n-3} (-1)^{i(y_k^{2m_k})}
      \dim C_{S^1,d(K)+i(y_k^{2m_k})}(F_{a, K},S^1\cdot x_k^{2m_k})      . \label{4.44}\end{eqnarray}

Denote by $H_+^e,H_+^o,H_-^e,H_-^o$ the numbers similarly defined by (\ref{4.21})-(\ref{4.24}) where $\pm2N-n$ and
$\pm2N-n-2$ are replaced by $\pm2N-n+1$ and $\pm2N-n-3$, respectively.

Then by Claim 1, (\ref{4.44}), the definitions of $H^{e}_+$ and $H_+^o$, and (\ref{2.16}), we have
\begin{eqnarray} N+H_+^o-H_+^e&=&\sum_{k=1}^q 2m_k\hat{\chi}(y_k)+H_+^o-H_+^e\nonumber\\
&=&\sum_{p=-2N-n}^{2N-n}(-1)^p M_p \nonumber\\
&\le&\sum_{p=-2N-n}^{2N-n}(-1)^p b_p\nonumber\\
&=&\sum_{p=0}^{2N-n-1} b_p=\frac{2N-n-1}{2}+1\nonumber\\
&=& N-\frac{n-1}{2},\label{4.45}\end{eqnarray}
which yields
\begin{eqnarray} H_+^e\ge H_+^e-H_+^o\ge \frac{n-1}{2}.\label{4.46}\end{eqnarray}

Similarly, denote by $H_+^{'e},H_+^{'o},H_-^{'e},H_-^{'o}$ the numbers similarly defined by
(\ref{4.33})-(\ref{4.36}) where $\pm2N'-n$ and $\pm2N'-n-2$ are replaced by $\pm2N'-n+1$ and $\pm2N'-n-3$, respectively,
and these numbers satisfy the following relationship
\begin{equation} H_{\pm}^e=H_{\mp}^{'e},\qquad H_{\pm}^o=H_{\mp}^{'o}. \label{4.47}\end{equation}

Similarly to the inequality (\ref{4.39}), by the same arguments above and (\ref{4.47}) we can obtain
\begin{eqnarray} H_-^e=H_+^{'e}\ge H_+^{'e}-H_+^{'o}\ge \frac{n-1}{2}.\label{4.48}\end{eqnarray}

Therefore it follows from (\ref{4.46}) and (\ref{4.48}) that
\begin{eqnarray} q\ge H_+^e+H_-^e\ge \frac{n-1}{2}+\frac{n-1}{2}=n-1.\label{4.49}\end{eqnarray}

By the same arguments in the proof of Case 1, it follows from the definitions of $H_+^e$ and $H_-^e$ that
these $(n-1)$ distinct closed geodesics are non-hyperbolic, and the Viterbo indices of them and their iterations
are even, and thus the Maslov-type indices of them and their iterations are odd. This completes the proof of
Claim 2.

\medskip

{\bf Claim 3:} {\it There exist at least another geometrically distinct closed characteristic different from
those found in Claim 2 with odd Maslov-type indices on such hypersurface ${\Sigma}$.}

\medskip

In fact, for those $(n-1)$ distinct closed characteristics $\{y_k\}_{k=1}^{n-1}$ found in Claim 2, there holds
$i(y_k^{2m_k})\neq \pm2N-n-1$ by  the definitions of $H_+^e$ and $H_-^e$, which, together with
(\ref{4.10})-(\ref{4.14'}) and (MMI), yields
\begin{eqnarray} i(y_k^m)\neq 2N-n-1,\qquad\forall\  m\ge 1,\quad k=1,\cdots,n-1.\label{4.50}\end{eqnarray}
Then by Lemma 2.2 it yields
\begin{eqnarray} \sum_{1\le k\le n-1 \atop m\ge 1} \dim C_{S^1,d(K)+2N-n-1}(F_{a, K},S^1\cdot x_k^m)=0.\label{4.51} \end{eqnarray}

By (\ref{4.10})-(\ref{4.11}), (\ref{4.13})-(\ref{4.14}) and (MMI), it yields $i(y_k^m)\neq 2N-n-1$
for any $m\neq 2m_k$ and $1\le k\le q$. Therefore, by (\ref{4.51}) and (\ref{2.14}) we obtain
\begin{eqnarray} \sum_{n\le k\le q}\dim C_{S^1,d(K)+2N-n-1}(F_{a, K},S^1\cdot x_k^{2m_k})
&=& \sum_{n\le k\le q,\ m\ge 1}\dim C_{S^1,d(K)+2N-n-1}(F_{a, K},S^1\cdot x_k^m) \nonumber\\
&=& \sum_{1\le k\le q,\ m\ge 1}\dim C_{S^1,d(K)+2N-n-1}(F_{a, K},S^1\cdot x_k^m)\nonumber\\
&=& M_{2N-n-1}\ge b_{2N-n-1}=1.\label{4.52}\end{eqnarray}

Now by (\ref{4.52}) and Lemma 2.2, it yields that there exist at least another closed characteristic $y_n$
with $i(y_n^{2m_n})=2N-n-1$ and $i(y_n^{2m_n})-i(y_n)\in 2{\bf Z}$. Thus $y_n$ and its iterations have odd
Maslov-type indices. This completes the proof of Claim 3.

\medskip

Now for Case 2, Theorem 1.2 follows from Claim 2 and Claim 3. The proof of Theorem 1.2 is finished. \hfill\vrule height0.18cm width0.14cm $\,$

\setcounter{figure}{0}
\setcounter{equation}{0}
\section{Proof of Theorem 1.6}

In this section, we prove Conjecture 1.5 for the case of $n=3$, i.e., Theorem 1.6, by contradiction. We assume first
the following condition (C):

\medskip

{\bf (C)} {\it There are finitely many prime closed characteristics $\{(\tau_k, y_k)\}_{1\leq k\leq q}$ on ${\Sigma}\in {\cal H}_{st}(6)$,
and $\hat{i}(y_k)=0$ for $1\leq k\leq q_0$ with some integers $q_0\in [1,q]$ and $q\in {\bf N}$. }

\medskip

Let $P_{{\Sigma}} = \{m\tau_k\;|\;1\le k\le q, m\in{\bf N}\}$ be the period set of all closed characteristics on ${\Sigma}$.

Denote by ${\gamma}_k\equiv {\gamma}_{y_k}$ the associated symplectic path of $(\tau_k,y_k)$ for $1\le k\le q$.
Then by Lemma 3.3 of \cite{HuL} and Lemma 3.2 of \cite{Lon1}, there exists $P_k\in Sp(6)$ and $U_k\in Sp(4)$
such that
\begin{eqnarray} M_k\equiv{\gamma}_k(\tau_k)=P_k^{-1}(N_1(1,1){\diamond} U_k)P_k,\qquad \forall\ 1\le k\le q,\label{5.1}\end{eqnarray}
where every $U_k$ has the following form by Theorem 3.2:
\begin{eqnarray}
&& R({\theta}_1)\,{\diamond}\,\cdots\,{\diamond}\,R({\theta}_r)\,{\diamond}\,D(\pm 2)^{{\diamond} s} \nonumber\\
&& {\diamond}\,N_2(e^{{\alpha}_{1}\sqrt{-1}},A_{1})\,{\diamond}\,\cdots\,{\diamond}\,N_2(e^{{\alpha}_{r_{\ast}}\sqrt{-1}},A_{r_{\ast}})
  \,{\diamond}\,N_2(e^{{\beta}_{1}\sqrt{-1}},B_{1})\,{\diamond}\,\cdots\,{\diamond}\,N_2(e^{{\beta}_{r_{0}}\sqrt{-1}},B_{r_{0}}), \nonumber\end{eqnarray}
where $\frac{{\theta}_{j}}{2\pi}\not\in{\bf Q}$ for $1\le j\le r$; $\frac{{\alpha}_{j}}{2\pi}\not\in{\bf Q}$ for $1\le j\le r_{\ast}$;
$\frac{{\beta}_{j}}{2\pi}\not\in{\bf Q}$ for $1\le j\le r_0$ and
\begin{equation} r+ s +2r_{\ast} + 2r_0 = 2. \label{5.2}\end{equation}
Hence by (\ref{5.1}), Theorem 3.8 and the precise index iteration formulae for symplectic paths due to Y. Long
(cf. \cite{Lon3} or Chapter 8 of \cite{Lon4}), we have
\begin{eqnarray}  i(y_k^m)
&=& m(i(y_k)+n+1-r)+2\sum_{j=1}^r \left[\frac{m\theta_j}{2\pi}\right]+r-1-n  \nonumber\\
&=& m(i(y_k)+4-r)+2\sum_{j=1}^r \left[\frac{m\theta_j}{2\pi}\right]+r-4,\quad\forall\  m\ge 1,\ 1\le k\le q, \label{5.3}\end{eqnarray}
where in (\ref{5.3}), we have used $E(a)=[a]+1$ for $a\in {\bf R}\setminus{\bf Z}$. Thus
\begin{equation} \hat{i}(y_k)=i(y_k)+4-r+\sum_{j=1}^r\frac{\theta_j}{\pi}, \quad\forall\ 1\le k\le q. \label{5.4}\end{equation}

\medskip

{\bf Lemma 5.1.} {\it When $\hat{i}(y_k)=0$ with $1\le k\le q_0$, we have $i(y_k^m)=-4$ for any $m\in{\bf N}$.}

\medskip

{\bf Proof.} By (\ref{5.4}) we have
\begin{equation} i(y_k)+4-r+\sum_{j=1}^r\frac{\theta_j}{\pi}=0,\quad \forall\ 1\le k\le q_0. \label{5.5}\end{equation}
Note that $\frac{\theta_j}{\pi}\notin {\bf Q}$ and $0\leq r\leq 2$ by (\ref{5.2}), and then it yields $r=0$ or 2.

If $r=0$, then $i(y_k)=-4$ by (\ref{5.5}). Together with (\ref{5.3}), it yields $i(y_k^m)=-4$ for all $m\in{\bf N}$.

If $r=2$, note that $\sum_{j=1}^2\frac{\theta_j}{\pi}\in (0,4)$ and $i(y_k)\in 2{\bf Z}$ by (8.1.8) of Theorem 8.1.4
and (8.1.29) of Theorem 8.1.7 of \cite{Lon4}, then by (\ref{5.5}) we have $\sum_{j=1}^2\frac{\theta_j}{\pi}=2$
and $i(y_k)=-4$. Since $\sum_{j=1}^2\frac{m\theta_j}{2\pi}=m$ implies that $\sum_{j=1}^2[\frac{m\theta_j}{2\pi}]=m-1$,
so by (\ref{5.3}) we have
\begin{equation} i(y_k^m)=-2m+2\sum_{j=1}^r\left[\frac{m\theta_j}{2\pi}\right]-2=-2m+2(m-1)-2=-4,\quad \forall\ m\ge 1. \label{5.6}\end{equation}

The proof of Lemma 5.1 is finished. \hfill\vrule height0.18cm width0.14cm $\,$

\medskip

{\bf Remark 5.2.} In our proof of Theorem 1.6 below, we shall apply results in Section 7 of \cite{Vit2} frequently.
Note that in the Theorem 7.1 of \cite{Vit2} and its proof, the two end points of the index interval $I$ were carefully
avoided (cf. Theorem 7.1 on p.637, (7.24) and (7.25) in p.647, and the top part on p.648 of \cite{Vit2}), which are due to
the effect of the $S^1$-action on the homologies with two adjacent dimensions (cf. Corollary in Appendix 1 on p.653 of
\cite{Vit2}). In our proof of Theorem 1.6 we are dealing with only non-degenerate critical orbits. Note that because in our
case the critical orbit $S^1\cdot y_k^m$ studied below is always orientable on the star-shaped hypersurface ${\Sigma}$, by the
homological correspondence of the Theorem I.7.5 and the comments below it on pp.78-79 of \cite{Cha}, only the homology with
dimension to be precisely equal to the Morse index of the critical orbit survives. Therefore in our case, all the results
in (7.24) and (7.25) of \cite{Vit2} work for all $k\in I$, not only for $k\in I^o$. Specially, by (\ref{5.7}) below,
whenever the dimension of the related homology is $d(K)-3$ or $d(K)-5$, i.e., the Viterbo index of the corresponding closed
characteristic is $-3$ or $-5$, results in (7.24) and (7.25) of  \cite{Vit2} can be applied. Such arguments have no
requirement on those Viterbo index near and is not $-3$ and $-5$ of the related closed characteristics, and thus can be
applied to the case in the current paper. This understanding is applied below, whenever we apply Theorem 7.1 of \cite{Vit2}.
We refer readers also to Theorem 5.1 and its proof in \cite{LLW} which generalized Theorem 7.1 of \cite{Vit2} to the
degenerate case.

\medskip

{\bf Proof of Theorem 1.6.}

\medskip

Based on Lemma 5.1, we carry out the proof of Theorem 1.6 in several steps below.

\medskip

{\bf Step 1.} On one hand, by Lemma 5.1, there always holds $i(y_k^m)=-4$ for any $1\le k\le q_0$ and $m\in{\bf N}$. On the
other hand, note that $\hat{i}(y_k)>0$ (respectively $<0$) implies $i(y_k^m)\to +\infty$ (respectively $-\infty$) as
$m\to +\infty$. Thus iterates $y_k^m$ of every $y_k$ for $q_0+1\le k\le q$ have indices satisfying $i(y_k^m)\neq -3$ and
$-5$ for any large enough $m\in{\bf N}$. Therefore for large enough $a$, all the closed characteristics $y_k^m$ for
$1\le k\le q$ with period larger than $aT$, which implies that the iterate number $m$ is very large, will have their
Viterbo indices:
\begin{equation} \left\{\matrix{
& \mbox{either (i) equal to} -4, \quad \mbox{when}\; \hat{i}(y_k)=0,  \cr
& \mbox{or (ii) different from} -3,\ -4\ \mbox{and} -5, \quad \mbox{when}\; \hat{i}(y_k)\not= 0.\cr}\right. \label{5.7}\end{equation}

\medskip

{\bf Step 2.} For $a\in{\bf R}$, let $X^-(a,K)=\{x\in X\mid F_{a,K}(x)<0\}$ with $K=K(a)$ as defined in the above (\ref{2.2})
as well as in Section 7 of \cite{Vit2}. Note also that the origin $0$ of $X$ is not contained in $X^-(a,K)$ by definition.
Because the Hamiltonian function $H_{a,K}$ is quadratic homogeneous as assumed at the beginning of Section 7 of
\cite{Vit2} due to the study there being near the origin, the functional $F_{a,K}$ is homogeneous too.

For any large enough positive $a<a'$, we fix the same constant $K>0$ in (\ref{2.2}) to be sufficiently large such that
the Hamiltonian function $H_{t,K}(x)$ is strictly convex for every $t\in [a,a']$. Now let $A=X^-(a,K)$ and $A'=X^-(a',K)$.
Because the period set $P_{{\Sigma}}$ defined at the beginning of this section is discrete, we choose the above constants $a$
and $a'$ carefully such that $aT$ and $a'T$ do not belong to $P_{{\Sigma}}$. Note that for $t\in [a,a']$ because every
critical orbit $S^1\cdot x$ of the functional $F_{t,K}$ always possesses the critical value $F_{t,K}(S^1\cdot x) = 0$ as
mentioned in p.639 of \cite{Vit2} and by (2.7) of \cite{LLW}, the boundary sets of $A$ and $A'$, i.e.,
$\{x\,|\,F_{t,K}(x)=0\}$ with $t=a$ or $a'$, possess no critical orbits, and specially the origin $0$ of $X$ is not
contained in $A$ and $A'$. Therefore by the homogeneity mentioned above we have
\begin{eqnarray}   H_{S^1, d(K)+i}(A',A) \;=\; H_{S^1, d(K)+i}(A'\cap S(X),A\cap S(X)), \qquad \forall\;i\in {\bf Z}, \label{5.8}\end{eqnarray}
where $S(X)$ is the unit sphere of $X$.

Because each critical orbit $S^1\cdot x$ of the functional $F_{t,K}$ for some $t\in [a,a']$ corresponds to an iterate
$y_k^m$ for some $1\le k\le q$ and $m\in{\bf N}$, we denote this critical orbit by $S^1\cdot x_{t,k,m}$. Thus by the definition
of $F_{t,K}$ we have the period $T_{t,k,m}$ of $x_{t,k,m}$ satisfies $T_{t,k,m}= tT$. Consequently every critical orbit
$S^1\cdot x_{t,k,m}$ of $F_{t,K}$ for some $t\in [a,a']$ contained in $(A'\setminus A)\cap S(X)$ must satisfy
\begin{eqnarray}    aT \le T_{t,k,m} \le a'T.   \label{5.9}\end{eqnarray}
Thus the period of the corresponding $y_k^m$ is also $T_{t,k,m}$ and satisfies (\ref{5.9}) too. Consequently the total
number of such critical orbits contained in $(A'\setminus A)\cap S(X)$ is finite, which is denoted by $\hat{j}$. That is,
there exist precisely $\hat{j}$ times of $t\in (a,a')$ which we denote by $t_j$ with $1\le j\le \hat{j}$ satisfying
$a<t_1<\ldots t_{\hat{j}}<a'$, such that $F_{t_j,K}$ with $1\le j\le \hat{j}$ possesses critical orbits in
$(A'\setminus A)\cap S(X)$, and any other $F_{t,K}$ with $t\in [a,a']\setminus \{t_j\,|\,1\le j\le \hat{j}\}$ possesses no any
critical orbit in $(A'\setminus A)\cap S(X)$.

In order to compute the homology in (\ref{5.8}), we introduce below a new functional $\hat{t}$, which is motivated by
the proof of Proposition 3 in Appendix 1 of \cite{Vit2}.

\medskip

{\bf Claim 4.} {\it The partial derivative $\frac{\partial}{\partial t}F_{t,K}(x)$ of $F_{t,K}(x)$ with respect to $t\in [a,a']$
satisfies $\frac{\partial}{\partial t}F_{t,K}(x)<0$ for all $(x,t)\in S(X)\times [a,a']$.}

\medskip

In fact, by the definition of $H_t(x)$ in Section 2, it is strictly increasing in $t$ when $x\neq0$, and then so is
$H_{t,K}(x)$. Then the Fenchel dual function $H_{t,K}^{\ast}(y)$ is strictly decreasing in $t$ when $y\neq0$.
Consequently $F_{t,K}(x)$ is strictly decreasing in $t$ too. Thus Claim 4 is proved.

Now based on Claim 4 and the well-known implicity function theorem, there exists a unique smooth function
$\hat{t}: S(X)\to {\bf R}$ given by the equation
\begin{equation} F_{\hat{t}(x),K}(x)=0, \qquad \forall\ x\in S(X).  \label{5.10}\end{equation}
It further implies
\begin{equation} \frac{\partial}{\partial t}F_{\hat{t}(x),K}(x)\hat{t}'(x) + F'_{\hat{t}(x),K}(x) = 0, \qquad \forall\ x\in S(X). \label{5.11}\end{equation}
Then for $(x_0,t_0)\in S(X)\times {\bf R}$, we have that $x_0$ is a critical point of $\hat{t}$ with critical value $t_0$
if and only if $F'_{t_0,K}(x_0)=0$ by (\ref{5.11}). Note that $\hat{t}$ is $S^1$-invariant since so is $F_{t,K}$.

\medskip

{\bf Claim 5.} {\it At any critical point $x_0$ of $\hat{t}$ with critical value $t_0$, we have}
\begin{equation} C_{S^1, *}(\hat{t}, x_0)\cong C_{S^1, *}(F_{t_0,K}|_{S(X)}, x_0).\label{5.12}\end{equation}

\medskip

In fact, let $U$ be a small enough $S^1$-invariant open neighborhood of $S^1\cdot x_0$ in $S(X)$. Since
$\partial F_{t,K}(x_0)/{\partial t}<0$ by Claim 4, we obtain that $\hat{t}(x)\leq t_0$ for $x\in U$ if and only if $F_{t_0,K}(x)\leq 0$
by (\ref{5.10}). Thus we obtain
\begin{equation} \left\{\matrix{
&\{x\in U\mid\hat{t}(x)\leq t_0 \}=\{x\in U\mid F_{t_0,K}(x)\leq 0\},& \cr
&\{x\in U\mid \hat{t}(x)\leq t_0\}\setminus\{S^1\cdot x_0\}=\{x\in U\mid F_{t_0,K}(x)\leq 0\}\setminus\{S^1\cdot x_0\}. &\cr}\right. \label{5.13}\end{equation}
Then by the definition of $S^1$-critical module in Sections I.4 and I.7 of \cite{Cha}, the two $S^1$-critical
modules in (\ref{5.12}) are isomorphic to each other at every dimension. Thus Claim 5 holds.

\medskip

{\bf Remark 5.3.} Note that the isomorphic identity (\ref{5.12}) holds without further showing that functional
$\hat{t}(x)$ is $C^2$ and its Morse index and nullity at its critical point $x_0$ with critical value $t_0$ are
the same as those of the functional $F_{t_0,K}(x_0)$ at its critical point $x_0$, although these can be proved by
using the implicity function theorem and (\ref{5.11}). Here the Hessian matrices of these two functionals differ
by only a positive constant which can be obtained by differentiating both sides of (\ref{5.11}) with respect to $x$,
and then evaluating at the critical points respectively.

\medskip

By Claim 4 and (\ref{5.10}), we then obtain
$$  \left\{\matrix{
& A'\cap S(X)=\{x\in S(X)\mid F_{a',K}(x)< 0\}=\{x\in S(X)\mid \hat{t}(x)< a'\}, \cr
& A\cap S(X)=\{x\in S(X)\mid F_{a,K}(x)< 0\}=\{x\in S(X)\mid \hat{t}(x)< a\}. \cr}\right. $$
Note that both $a$ and $a'$ are regular values of $\hat{t}$ since $aT$ and $a'T$ do not belong to $P_{{\Sigma}}$. Then for small enough
$\epsilon>0$, $A'\cap S(X)$ and $A\cap S(X)$ are $S^1$-homotopy equivalent with $\hat{t}^{a'-\epsilon}$ and $\hat{t}^{a+\epsilon}$
respectively, where  $\hat{t}^{\kappa}$ denotes the level set $\hat{t}^{\kappa}=\{x\in S(X)\mid \hat{t}(x)\leq \kappa\}$. Thus by
the homotopy invariance of the homology, we obtain
\begin{equation} H_{S^1, d(K)+i}(A'\cap S(X),A\cap S(X))\;=\; H_{S^1, d(K)+i}(\hat{t}^{a'-\epsilon},\hat{t}^{a+\epsilon}),
             \qquad \forall\;i\in {\bf Z}. \label{5.14}\end{equation}

\medskip

{\bf Step 3.} Now for the chosen large enough $a$ and $a'$ with $a<a'$, by (\ref{5.7}) there exists no any closed
characteristic whose period locates between $aT$ and $a'T$ possessing Viterbo index $-3$ or $-5$. Therefore by the
discussion in pp.78-79 of \cite{Cha}, we obtain
$$  C_{S^1, d(K)-3}(F_{t_j,K}|_{S(X)}, S^1\cdot x_{t_j,k,m}) = C_{S^1, d(K)-5}(F_{t_j,K}|_{S(X)}, S^1\cdot x_{t_j,k,m}) = 0. $$
which together with (\ref{5.12}) yields
\begin{equation}  C_{S^1, d(K)-3}(\hat{t}, S^1\cdot x_{t_j,k,m}) = C_{S^1, d(K)-5}(\hat{t}, S^1\cdot x_{t_j,k,m}) = 0.   \label{5.15}\end{equation}
Combining (\ref{5.15}) with an equivariant version of Theorem I.4.3 of \cite{Cha}, i.e., the Morse inequality, we obtain
\begin{equation} H_{S^1, d(K)-3}(\hat{t}^{a'-\epsilon},\hat{t}^{a+\epsilon})\;=\; H_{S^1, d(K)-5}(\hat{t}^{a'-\epsilon},\hat{t}^{a+\epsilon})\;=\;0. \label{5.16}\end{equation}
Therefore, combining (\ref{5.16}) with (\ref{5.8}) and (\ref{5.14}), we obtain
\begin{equation}  H_{S^1, d(K)-3}(A',A) \;=\; H_{S^1, d(K)-5}(A',A) \;=\; 0.   \label{5.17}\end{equation}

\medskip

{\bf Step 4.} Now we consider the following exact sequence of the triple $(X,A',A)$
\begin{eqnarray}
&&\cdots\longrightarrow H_{S^1, d(K)-3}(A',A)\stackrel{i_{3*}}{\longrightarrow} H_{S^1, d(K)-3}(X,A)
     \stackrel{j_{3*}}{\longrightarrow}H_{S^1, d(K)-3}(X,A')\nonumber\\
&&\quad\qquad\stackrel{\partial_{3*}}{\longrightarrow} H_{S^1, d(K)-4}(A',A)\stackrel{i_{4*}}{\longrightarrow} H_{S^1, d(K)-4}(X,A)
                         \stackrel{j_{4*}}{\longrightarrow}H_{S^1, d(K)-4}(X,A')\nonumber\\
&&\qquad\qquad\stackrel{\partial_{4*}}{\longrightarrow} H_{S^1, d(K)-5}(A',A)\longrightarrow\cdots. \label{5.18}\end{eqnarray}

It follows from (7.4) on p.639 of \cite{Vit2} that the homomorphisms $j_{3*}$ in (\ref{5.18}) is a zero map. Thus
(\ref{5.17}) and (\ref{5.18}) yield
\begin{equation}  H_{S^1, d(K)-3}(X,A) = \mbox{Ker}(j_{3*}) = \mbox{Im}(i_{3*}) = H_{S^1, d(K)-3}(A',A) = 0.  \label{5.19}\end{equation}

Now we fix the above chosen $a'>0$ and choose another large enough $a''>a'$, and enlarge the constant $K$ in (\ref{2.2})
chosen above (\ref{5.8}) so that the conclusions between (\ref{5.7}) and (\ref{5.8}) hold when we replace $(a,a')$ by
$(a',a'')$. Then repeating the above proof with the long exact sequence of the triple
$(X,A'',A')$ instead of $(X,A',A)$ in the above arguments with $A''=X^-(a'',K)$, similarly we obtain
\begin{equation}  H_{S^1, d(K)-3}(X,A') =0.  \label{5.20}\end{equation}

Together with (\ref{5.19}) and (\ref{5.20}), (\ref{5.18}) yields
\begin{equation} 0\stackrel{\partial_{3*}}{\longrightarrow} H_{S^1, d(K)-4}(A',A)\stackrel{i_{4*}}{\longrightarrow}
   H_{S^1, d(K)-4}(X,A)\stackrel{j_{4*}}{\longrightarrow}H_{S^1, d(K)-4}(X,A')
    \stackrel{\partial_{4*}}{\longrightarrow} 0.  \label{5.21}\end{equation}

\medskip

{\bf Step 5.} When $a$ increases, we always meet infinitely many closed characteristics with Viterbo index $-4$ due to the
existence of $y_k$ with $\hat{i}(y_k)=0$ for $1\le k\le q_0$ by Lemma 5.1. For the above chosen large enough $a < a'$,
there exist only finitely many closed characteristics among $\{y_k^m\ |\ 1\le k\le q_0, m\ge 1\}$ such that their periods
locate between $aT$ and $a'T$. Therefore for the corresponding critical orbits $S^1\cdot x_{t_j,k,m}$ of $F_{t_j,K}$, all of
them possess Morse index $d(K)-4$. Then by the equivariant version of Theorem I.4.2 as well as the discussions there on
pp.78-79 of \cite{Cha}, when the condition (C) holds, i.e., $q_0\ge 1$ here, we obtain
\begin{eqnarray}  H_{S^1, d(K)-4}(A',A)
&=& H_{S^1, d(K)-4}(A'\cap S(X),A\cap S(X))\nonumber\\&=& H_{S^1, d(K)-4}(\hat{t}^{a'-\epsilon},\hat{t}^{a+\epsilon})\nonumber\\
&=&\bigoplus_{aT\le T_{t_j,k,m}\le a'T\atop 1\le k\le q_0}C_{S^1,d(K)-4}(\hat{t},\;S^1\cdot x_{t_j,k,m})  \nonumber\\
&=&\bigoplus_{aT\le T_{t_j,k,m}\le a'T\atop 1\le k\le q_0}C_{S^1,d(K)-4}(F_{t_j,K}|_{S(X)},\;S^1\cdot x_{t_j,k,m})  \nonumber\\
&=& \bigoplus_{aT\le T_{t_j,k,m}\le a'T\atop 1\le k\le q_0}{\bf Q} \not= 0, \label{5.22}\end{eqnarray}
where the first equality follows from (\ref{5.8}), the second equality follows from (\ref{5.14}), the fourth equality follows
from (\ref{5.12}), and for the third equality we give more explanations as follows:

Denote by
\begin{eqnarray}
M_q(a,a') &=& \bigoplus_{aT\le T_{t_j,k,m}\le a'T\atop 1\le k\le q}\mathrm{rank}~C_{S^1,q}(\hat{t},\;S^1\cdot x_{t_j,k,m}), \nonumber\\
\beta_q(a,a') &=& \mathrm{rank}~H_{S^1, q}(\hat{t}^{a'-\epsilon},\hat{t}^{a+\epsilon}). \nonumber\end{eqnarray}
Then $M_{d(K)-3}(a,a')=M_{d(K)-5}(a,a')=0$ and $\beta_{d(K)-3}(a,a')=\beta_{d(K)-5}(a,a')=0$ hold by (\ref{5.15}) and
(\ref{5.16}) respectively, which together with an equivariant version of Theorem I.4.3 of \cite{Cha} yield
$M_{d(K)-4}(a,a')=\beta_{d(K)-4}(a,a')$. Then the third equality in (\ref{5.22}) holds.

\medskip

{\bf Step 6.} By the exactness of the sequence (\ref{5.21}) and (\ref{5.22}), we obtain
$$   H_{S^1, d(K)-4}(X,A)=H_{S^1, d(K)-4}(A',A)\bigoplus H_{S^1, d(K)-4}(X,A')\neq 0.  $$
Then, by our choice of $a$, $a'$ and $a''$, and replacing $(X,A',A)$ by $(X,A'',A')$ in the above arguments, similarly
we obtain
\begin{equation} H_{S^1, d(K)-4}(X,A')\neq 0. \label{5.23}\end{equation}

Now on one hand, if $j_{4*}$ in (\ref{5.21}) is a trivial homomorphism, then by the exactness of the sequence
(\ref{5.21}) it yields
$$   H_{S^1, d(K)-4}(X,A') = \mbox{Ker}(\partial_{4*}) = \mbox{Im}(j_{4*})=0,   $$
which contradicts to (\ref{5.23}). Therefore $j_{4*}$ in (\ref{5.21}) is a non-trivial homomorphism.

However, on the other hand, by (7.4) of \cite{Vit2}, $j_{4*}$ in (\ref{5.21}) is a zero homomorphism. This
contradiction completes the proof of Theorem 1.6. \hfill\vrule height0.18cm width0.14cm $\,$

\bibliographystyle{abbrv}