Related papers: Validated Computation of Heteroclinic Sets

We present a topological proof of the existence of invariant manifolds for maps with normally hyperbolic-like properties. The proof is conducted in the phase space of the system. In our approach we do not require that the map is a…

In this paper, we prove existence of symmetric homoclinic orbits for the suspension bridge equation $u""+\beta u" + e^u-1=0$ for all parameter values $\beta \in [0.5,1.9]$. For each $\beta$, a parameterization of the stable manifold is…

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…

In this work we propose a novel method to ensure important entropy inequalities are satisfied semi-discretely when constructing reduced order models (ROMs) on nonlinear reduced manifolds. We are in particular interested in ROMs of systems…

We give a concrete method to explicitly compute the rational cohomology of the unordered configuration spaces of connected, oriented, closed, even-dimensional manifolds of finite type which we have implemented in Sage [S+09]. As an…

In this paper we study the existence and regularity of stable manifolds associated to fixed points of parabolic type in the differentiable and analytic cases, using the parametrization method. The parametrization method relies on a suitable…

We provide a rigorous numerical computation method to validate periodic, homoclinic and heteroclinic orbits as the continuation of singular limit orbits for the fast-slow system $x' = f(x,y,\epsilon), y' = \epsilon g(x,y,\epsilon)$ with…

We study the existence of homoclic solutions for reversible Hamiltonian systems taking the family of differential equations u^4+au^2-u+f(u,b)=0 as a model. Here f is an analytic function and a, b real parameters. These equations are…

In this work, we introduce a method based on piecewise polynomial interpolation to enclose rigorously solutions of nonlinear ODEs. Using a technique which we call a priori bootstrap, we transform the problem of solving the ODE into one of…

We study the computation of local approximations of invariant manifolds of parabolic fixed points and parabolic periodic orbits of periodic vector fields. If the dimension of these manifolds is two or greater, in general, it is not possible…

We apply set-valued numerical methods to compute an accurate enclosure of the rotation number. The described algorithm is supplemented with a method of proving the existence of periodic points, which is used to check the rationality of the…

We give a sufficient condition for the abstract basin of attraction of a sequence of holomorphic self-maps of balls in \mathbb{C}^{d} to be biholomorphic to \mathbb{C}^{d}. As a consequence, we get a sufficient condition for the stable…

This work presents a method for constructing online-efficient reduced models of large-scale systems governed by parametrized nonlinear scalar conservation laws. The solution manifolds induced by transport-dominated problems such as…

We present a characterisation of blenders based on mapping properties of certain sets of curves that can be rigorously verified by computer-assisted methods. We develop an algorithm to construct these sets of curves that requires only a…

Homoclinic and heteroclinic orbits provide a skeleton of the full dynamics of a chaotic dynamical system and are the foundation of semiclassical sums for quantum wave packet, coherent state, and transport quantities. Here, the homoclinic…

We establish a homotopy-theoretic description of the homology of stable moduli spaces of $(2n+1)$-dimensional manifold triads $(N, \partial^h N, \partial^v N)$ with fixed $\partial^v N$, whenever $n \geq 3$ and $(N, \partial^h N)$ is…

The high energy physics unfolding problem is an important statistical inverse problem in data analysis at the Large Hadron Collider (LHC) at CERN. The goal of unfolding is to make nonparametric inferences about a particle spectrum from…

In this paper, we address the problem of stabilizing a system around a desired manifold determined by virtual nonlinear nonholonomic constraints. Virtual constraints are relationships imposed on a control system that are rendered invariant…

A six-dimensional reversible normal form system occurs in B{\'e}nard-Rayleigh convection between parallel planes, when we look for domain walls intersecting orthogonally (see Buffoni et al [1]). On the truncated system, we prove…

We introduce a nonlinear stochastic model reduction technique for high-dimensional stochastic dynamical systems that have a low-dimensional invariant effective manifold with slow dynamics, and high-dimensional, large fast modes. Given only…