BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Celia Ferreira contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we contribute to the generic theory of Hamiltonians by proving that there is a C2-residual R in the set of C2 Hamiltonians on a closed symplectic manifold M, such that, for any H in R, there is a full measure subset of energies e in H(M) such that the Hamiltonian level (H,e) is topologically mixing; moreover these level sets are homoclinic classes.
A Hamiltonian level, say a pair $(H,e)$ of a Hamiltonian $H$ and an energy $e \in \mathbb{R}$, is said to be Anosov if there exists a connected component $\mathcal{E}_{H,e}$ of $H^{-1}({e})$ which is uniformly hyperbolic for the Hamiltonian flow $X_H^t$. The pair $(H,e)$ is said to be a Hamiltonian star system if there exists a connected component $\mathcal{E}^\star_{H,e}$ of the energy level $H^{-1}({e})$ such that all the closed orbits and all the critical points of $\mathcal{E}^\star_{H,e}$ are hyperbolic, and the same holds for a connected component of the energy level $\tilde{H}^{-1}({\tilde{e}})$, close to $\mathcal{E}^\star_{H,e}$, for any Hamiltonian $\tilde{H}$, in some $C^2$-neighbourhood of $H$, and $\tilde{e}$ in some neighbourhood of $e$. In this article we prove that for any four-dimensional Hamiltonian star level $(H,e)$ if the surface $\mathcal{E}^\star_{H,e}$ does not contain critical points, then $X_H^t|_{\mathcal{E}^\star_{H,e}}$ is Anosov; if $\mathcal{E}^\star_{H,e}$ has critical points, then there exists $\tilde{e}$, arbitrarily close to $e$, such that $X_H^t|_{\mathcal{E}^\star_{H,\tilde{e}}}$ is Anosov.