English
Related papers

Related papers: Computer Assisted Proof for Normally Hyperbolic In…

200 papers

A smooth curve in the real projective plane is hyperbolic if its ovals are maximally nested. By the Helton-Vinnikov Theorem, any such curve admits a definite symmetric determinantal representation. We use polynomial homotopy continuation to…

Algebraic Geometry · Mathematics 2016-07-05 Anton Leykin , Daniel Plaumann

Invariant manifolds are the skeleton of the chaotic dynamics in Hamiltonian systems. In Celestial Mechanics, for instance, these geometrical structures are applied to a multitude of physical and practical problems, such as to the…

Chaotic Dynamics · Physics 2022-05-10 Vitor Martins de Oliveira

For a system of ODEs defined on an open, convex domain $U$ containing a positively invariant set $\Gamma$, we prove that under appropriate hypotheses, $\Gamma$ is the graph of a $C^r$ function and thus a $C^r$ manifold. Because the…

Dynamical Systems · Mathematics 2009-09-08 Dennis Guang Yang

We study the problem of persistence of attractors with smooth boundary for a class of set-valued dynamical systems that naturally arise in the context of random and control dynamical systems, as well as in systems modeling the dynamical…

Dynamical Systems · Mathematics 2025-11-18 K. Kourliouros , J. S. W. Lamb , M. Rasmussen , W. H. Tey , K. G. Timperi , D. Turaev

We show that the classic example of quasiperiodically forced maps with strange nonchaotic attractors described by Grebogi et al and Herman in the mid-1980s have some chaotic properties. More precisely, we show that these systems exhibit…

Dynamical Systems · Mathematics 2009-11-11 Paul Glendinning , Tobias Jaeger , Gerhard Keller

It is conjectured that every cusped hyperbolic 3-manifold has a decomposition into positive volume ideal hyperbolic tetrahedra (a "geometric" triangulation of the manifold). Under a mild homology assumption on the manifold we construct…

Geometric Topology · Mathematics 2014-02-26 Craig D. Hodgson , J. Hyam Rubinstein , Henry Segerman

Generalizing the result of Li and Tam for the hyperbolic spaces, we prove an existence theorem on the Dirichlet problem for harmonic maps with $C^1$ boundary conditions at infinity between asymptotically hyperbolic manifolds.

Differential Geometry · Mathematics 2014-12-01 Kazuo Akutagawa , Yoshihiko Matsumoto

The aim of this work is to establish the existence of invariant manifolds in complex systems. Considering trajectory curves integral of multiple time scales dynamical systems of dimension two and three (predator-prey models, neuronal…

Dynamical Systems · Mathematics 2014-08-19 Jean-Marc Ginoux , Bruno Rossetto

Let N be a topologically finite, orientable 3-manifold with ideal triangulation. We show that if there is a solution to the hyperbolic gluing equations, then all edges in the triangulation are essential. This result is extended to a…

Geometric Topology · Mathematics 2011-07-07 Henry Segerman , Stephan Tillmann

The key result of this article is key lemma: if a Jordan curve $\gamma$ is invariant by a given C 1+$\alpha$ -diffeomorphism f of a surface and if $\gamma$ carries an ergodic hyperbolic probability $\mu$, then $\mu$ is supported on a…

Dynamical Systems · Mathematics 2014-11-27 M. -C Arnaud , P Berger

We prove that any diffeomorphism of a compact manifold can be approximated in topology C1 by another diffeomorphism exhibiting a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by one which is essentially…

Dynamical Systems · Mathematics 2010-11-18 Sylvain Crovisier , Enrique R. Pujals

Random invariant manifolds are geometric objects useful for understanding complex dynamics under stochastic influences. Under a nonuniform hyperbolicity or a nonuniform exponential dichotomy condition, the existence of random pseudo-stable…

Dynamical Systems · Mathematics 2009-01-06 Tomas Caraballo , Jinqiao Duan , Kening Lu , Bjorn Schmalfuss

In this paper, we prove a rigidity theorem of asymptotically hyperbolic manifolds only under the assumptions on curvature. Its proof is based on analyzing asymptotic structures of such manifolds at infinity and a volume comparison theorem.

Differential Geometry · Mathematics 2009-11-10 Yuguang Shi , Gang Tian

We propose a general algorithm for computer assisted verification of uniform hyperbolicity for maps which exhibit a robust attractor. The method has been successfully applied to a Poincare map for a system of coupled non-autonomous van der…

Dynamical Systems · Mathematics 2016-02-29 Daniel Wilczak

We prove microlocal estimates at the trapped set of asymptotically Kerr spacetimes: these are spacetimes whose metrics decay inverse polynomially in time to a stationary subextremal Kerr metric. This combines two independent results. The…

Analysis of PDEs · Mathematics 2021-03-17 Peter Hintz

A multiarc and curve graph is a simplicial graph whose vertices are arc and curve systems on a compact, connected, orientable surface S. We show that all connected, non-trivial multiarc and curve graphs preserved by the natural action of…

Geometric Topology · Mathematics 2024-05-27 Michael C. Kopreski

The bending map of a hyperbolic 3-manifold with boundary maps a geometrically hyperbolic metric to its bending measured geodesic lamination. We show that the bending map is proper. As a byproduct of the proof we show that the group of…

Geometric Topology · Mathematics 2025-10-09 Cyril Lecuire

For any complete hyperbolic three-manifold of finite volume, we construct a mixed Tate motive defined over the invariant trace field whose image under Beilinson regulator equals the PSL2(C)-Chern-Simons invariant, thus equals the complex…

Algebraic Geometry · Mathematics 2025-02-18 Dong Uk Lee

In this paper we prove the persistence of hyperbolic invariant tori in generalized Hamiltonian systems, which may admit a distinct number of action and angle variables. The systems under consideration can be odd dimensional in tangent…

Dynamical Systems · Mathematics 2007-05-23 Zhenxin Liu , Dalai Yihe , Qingdao Huang

Consider a holomorphic automorphism acting hyperbolically on an invariant compact set. It has been conjectured that the arising stable manifolds are all biholomorphic to Euclidean space. Such a stable manifold is always equivalent to the…

Complex Variables · Mathematics 2014-08-05 Han Peters , Iris Marjan Smit