[Paper Review] Stability of closed characteristics on symmetric compact convex hypersurfaces in $\R^{2n}$

Wei Wang|ArXiv.org|Nov 29, 2008

advanced mathematical theories23 references3 citations

TL;DR

This paper establishes stability results for closed characteristics on symmetric compact convex hypersurfaces in $ ^{2n}$: if there are finitely many geometrically distinct closed characteristics, at least $n-1$ must be non-hyperbolic; if exactly $n$ exist, at least two must be elliptic. The proof uses index iteration theory and symplectic topology to analyze the Floquet multipliers of the linearized Hamiltonian system along closed orbits.

ABSTRACT

In this article, let $Σ\subset\R^{2n}$ be a compact convex hypersurface which is symmetric with respect to the origin. We prove that if $\Sg$ carries finitely many geometrically distinct closed characteristics, then at least $n-1$ of them must be non-hyperbolic; if $\Sg$ carries exactly $n$ geometrically distinct closed characteristics, then at least two of them must be elliptic.

Motivation & Objective

• To establish sharp stability constraints on closed characteristics on symmetric compact convex hypersurfaces in $ ^{2n}$.
• To determine the minimal number of non-hyperbolic or elliptic closed characteristics under finiteness assumptions.
• To extend prior results on elliptic and non-hyperbolic closed characteristics using index iteration and symplectic invariants.
• To resolve the structure of closed characteristics on symmetric hypersurfaces when the number of geometrically distinct orbits is finite.
• To prove that under $n$ geometrically distinct closed characteristics, at least two must be elliptic, generalizing earlier results for $n=2$.

Proposed method

• Analyzes closed characteristics as solutions to Hamiltonian systems on the energy level $H_{\alpha}(x) = 1$, where $H_{\alpha}(x) = j(x)^\alpha$ and $j$ is the gauge function of the hypersurface.
• Uses the $S^1$-action to identify geometrically distinct closed characteristics as orbits in the quotient space $\tilde{\mathcal{J}}(\Sigma)$.
• Applies index iteration theory to compute the Maslov-type index and nullity of iterated closed characteristics.
• Classifies closed characteristics into three disjoint index-based classes $\Theta_1$, $\Theta_2$, $\Theta_3$ based on the parity and multiplicity of the index and nullity.
• Employs the $\varrho_n(\Sigma)$ functional from Long and Zhang (2002) to bound the number of variationally visible closed characteristics.
• Uses $\mathbb{Z}_2$-symmetry of the functional $\Phi$ to relate critical points of $y$ and $-y$, ensuring identical index and nullity data.

Experimental results

Research questions

• RQ1 What is the minimal number of non-hyperbolic closed characteristics on a symmetric compact convex hypersurface in $\r^{2n}$ with finitely many geometrically distinct closed characteristics?
• RQ2 Under what conditions must at least two of the $n$ geometrically distinct closed characteristics be elliptic?
• RQ3 How does the index iteration theory constrain the stability types (elliptic, hyperbolic, non-hyperbolic) of closed characteristics on symmetric hypersurfaces?
• RQ4 Can the number of non-hyperbolic closed characteristics be bounded below in terms of the total number of geometrically distinct orbits?
• RQ5 How does the $\mathbb{Z}_2$-symmetry of the system affect the classification and stability of closed characteristics?

Key findings

• If a symmetric compact convex hypersurface $\Sigma \subset \r^{2n}$ has finitely many geometrically distinct closed characteristics, then at least $n-1$ of them are non-hyperbolic.
• If $\Sigma$ carries exactly $n$ geometrically distinct closed characteristics, then at least two of them must be elliptic.
• The classification of closed characteristics into $\Theta_1$, $\Theta_2$, and $\Theta_3$ based on index and nullity yields $2^{\#\Theta_1} + 2^{\#\Theta_2} + \#\Theta_3 - 1 \geq n-1$ non-hyperbolic closed characteristics.
• The proof relies on index iteration theory and the invariance of the functional $\Phi$ under the $\mathbb{Z}_2$-action $u \mapsto -u$, which ensures identical index and nullity for $y$ and $-y$.
• For odd $n$, the result is established by removing a symmetric pair of orbits and applying Theorem 1.4 of Long and Zhang (2002) to the remaining $n-1$ orbits.
• The stability results are independent of the choice of $\alpha \in (1,2)$, as the Floquet multipliers and stability types are invariant under such reparametrization.