Related papers: Rigorous numerics for a singular perturbation prob…
We present an algorithm for the rapid numerical integration of smooth, time-periodic differential equations with small nonlinearity, particularly suited to problems with small dissipation. The emphasis is on speed without compromising…
In this paper the existence and unicity of a stable periodic orbit is proven, for a class of piecewise affine differential equations in dimension 3 or more, provided their interaction structure is a negative feedback loop. It is also shown…
An analytic reversible Hamiltonian system with two degrees of freedom is studied in a neighborhood of its symmetric heteroclinic connection made up of a symmetric saddle-center, a symmetric orientable saddle periodic orbit lying in the same…
Rotating spiral waves are a form of self-organization observed in spatially extended systems of physical, chemical, and biological nature. A small perturbation causes gradual change in spatial location of spiral's rotation center and…
We consider Kirchhoff equations for vibrating bodies in any dimension in presence of a time-periodic external forcing with period 2pi/omega and amplitude epsilon, both for Dirichlet and for space-periodic boundary conditions. We prove…
We consider a stochastic perturbation of a FitzHugh-Nagumo system. We show that it is possible to generate oscillations for values of parameters which do not allow oscillations for the deterministic system. We also study the appearance of a…
Regular convergence, together with various other types of convergence, has been studied since the 1970s for the discrete approximations of linear operators. In this paper, we consider the eigenvalue approximation of compact operators whose…
This note presents a method to study center families of periodic orbits of complex holomorphic differential equations near singularities, based on some iteration properties of fixed point indices. As an application of this method, we will…
An algorithm is proposed to calculate traveling dissipative solitons for the FitzHugh-Nagumo equations. It is based on the application of the steepest descent method to a certain functional. This approach can be used to find solitons…
The Cahn-Hilliard equation is a fundamental model for describing phase separation phenomena in binary mixtures. Traditional numerical methods, such as finite difference and finite element methods, often incur substantial computational cost,…
We consider the design of structure-preserving discretization methods for the solution of systems of boundary controlled Partial Differential Equations (PDEs) thanks to the port-Hamiltonian formalism. We first provide a novel general…
We demonstrate exponential convergence of Reduced Order Model (ROM) approximations for mixed boundary value problems of the stationary, incompressible Navier-Stokes equations in plane, polygonal domains $\Omega$. Admissible boundary…
In this paper we propose a computational approach to proving the Birkhoff conjecture on the restricted three-body problem, which asserts the existence of a disk-like global surface of section. Birkhoff had conjectured this surface of…
Hybrid dynamical systems have proven to be a powerful modeling abstraction, yet fundamental questions regarding the dynamical properties of these systems remain. In this paper, we develop a novel class of relaxations which we use to recover…
This paper is about the existence of periodic orbits near an equilibrium point of a two-degree-of-freedom Hamiltonian system. The equilibrium is supposed to be a nondegenerate minimum of the Hamiltonian. Every sphere-like component of the…
Integrating evolutionary partial differential equations (PDEs) is an essential ingredient for studying the dynamics of the solutions. Indeed, simulations are at the core of scientific computing, but their mathematical reliability is often…
We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…
The slow dynamics of nearly stationary patterns in a FitzHugh-Nagumo model are studied using a phase dynamics approach. A Cross-Newell phase equation describing slow and weak modulations of periodic stationary solutions is derived. The…
We prove, under suitable non-resonance and non-degeneracy ``twist'' conditions, a Birkhoff-Lewis type result showing the existence of infinitely many periodic solutions, with larger and larger minimal period, accumulating onto elliptic…
This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a-posteriori framework for computer assisted existence proofs. Our framework is applied to the…