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

Xijun Hu, Yuwei Ou|arXiv (Cornell University)|May 16, 2014

Geometry and complex manifolds21 references3 citations

TL;DR

This paper establishes the existence of at least two geometrically distinct elliptic closed characteristics on any $ C^2 $ compact convex hypersurface $ \Sigma \subset \mathbb{R}^{2n} $ with finitely many geometrically distinct closed characteristics, using index iteration methods from Long and Zhu. It further proves the existence of at least $ \varrho_n(\Sigma) \geq \left[\frac{n}{2}\right] + 1 $ geometrically distinct closed characteristics whose mean indices have pairwise irrational ratios, confirming strong stability and non-degeneracy properties in convex Hamiltonian systems.

ABSTRACT

Let $Σ\subset \R^{2n}$ with $n\geq2$ be any $C^2$ compact convex hypersurface and only has finitely geometrically distinct closed characteristics. Based on Y.Long and C.Zhu 's index jump methods \cite{LoZ1}, we prove that there are at least two geometrically distinct elliptic closed characteristics, and moreover, there exist at least $\varrho_{n} (Σ)$ ($\varrho_{n}(Σ)\geq[\frac{n}{2}]+1$) geometrically distinct closed characteristics such that for any two elements among them, the ratio of their mean indices is irrational number.

Motivation & Objective

• To establish the existence of at least two geometrically distinct elliptic closed characteristics on any $ C^2 $ compact convex hypersurface $ \Sigma \subset \mathbb{R}^{2n} $ with finitely many geometrically distinct closed characteristics.
• To prove the existence of at least $ \varrho_n(\Sigma) \geq \left[\frac{n}{2}\right] + 1 $ geometrically distinct closed characteristics on $ \Sigma $ such that the ratio of any two of their mean indices is irrational.
• To extend and apply the index jump method of Long and Zhu to analyze the stability and spectral properties of closed characteristics on convex hypersurfaces.
• To characterize the structure of symplectic paths associated with closed characteristics via normal form decomposition and Maslov-type index iteration formulas.

Proposed method

• Utilizes the Maslov-type index iteration theory for symplectic paths, particularly the formulae from Long and Zhu (2002) to analyze the spectral properties of the linearized Hamiltonian system along closed characteristics.
• Applies the decomposition of symplectic matrices into basic normal forms (e.g., $ N_1(1,1), R(\theta), N_2(\omega,b) $) to classify the Floquet multipliers and compute the index and nullity functions.
• Employs the index iteration formula (Theorem 4.6) to compute the Maslov-type index $ i(\gamma, m) $ and nullity $ \nu(\gamma, m) $ for iterates of the symplectic path $ \gamma $, using the decomposition in Theorem 4.7.
• Uses the function $ \varphi(x) = \left\lfloor x \right\rfloor + \left\lfloor -x \right\rfloor $ to compute the sum of fractional parts in the index iteration, crucial for detecting irrational mean index ratios.
• Applies the stability condition via the non-degeneracy of the linearized Poincaré map and the structure of $ S_M^+(1) $ and $ C(M) $ to classify elliptic and non-hyperbolic closed characteristics.
• Relies on the equivalence between the Hamiltonian flow on $ H_\alpha^{-1}(1) $ and the geodesic-type flow on $ \Sigma $, with $ H_\alpha(x) = j(x)^\alpha $, to reduce the problem to a standard Hamiltonian system on the energy surface.

Experimental results

Research questions

• RQ1 Does every compact convex hypersurface in $ \mathbb{R}^{2n} $ with finitely many geometrically distinct closed characteristics admit at least two elliptic closed characteristics?
• RQ2 Can one guarantee the existence of at least $ \left[\frac{n}{2}\right] + 1 $ geometrically distinct closed characteristics on such hypersurfaces whose mean indices have pairwise irrational ratios?
• RQ3 What is the role of the Maslov-type index iteration formula in detecting irrational mean index ratios and ensuring non-hyperbolicity?
• RQ4 How do the normal form decompositions of symplectic matrices influence the classification of closed characteristics as elliptic or non-hyperbolic?
• RQ5 To what extent do the index jump techniques of Long and Zhu extend to proving stability and multiplicity results in higher-dimensional convex hypersurfaces?

Key findings

• There exist at least two geometrically distinct elliptic closed characteristics on any $ C^2 $ compact convex hypersurface $ \Sigma \subset \mathbb{R}^{2n} $ with $ n \geq 2 $ and finitely many geometrically distinct closed characteristics.
• There exist at least $ \varrho_n(\Sigma) \geq \left[\frac{n}{2}\right] + 1 $ geometrically distinct closed characteristics on $ \Sigma $ such that the ratio of any two of their mean Maslov-type indices is irrational.
• The mean Maslov-type index $ \hat{i}(x) $ of each such characteristic satisfies $ \hat{i}(x) \in \mathbb{R} \setminus \mathbb{Q} $, implying non-hyperbolicity and spectral stability.
• The index iteration formula (Theorem 4.6) allows precise computation of $ i(\gamma, m) $ and $ \nu(\gamma, m) $, enabling the detection of irrational mean index ratios via the sum $ \sum_{j=1}^r \varphi\left(\frac{m\theta_j}{2\pi}\right) $.
• The decomposition of the monodromy matrix into basic normal forms (Theorem 4.7) uniquely determines the index and nullity functions, providing a complete classification of the spectral type of each closed characteristic.
• For the non-resonant ellipsoid defined by $ \sum_{i=1}^n \frac{\alpha_i}{2}(p_i^2 + q_i^2) = 1 $ with $ \alpha_i/\alpha_j \in \mathbb{R} \setminus \mathbb{Q} $, there are exactly $ n $ closed characteristics, all with irrational mean index ratios, confirming the sharpness of the main result.