Related papers: Rigorous numerics for a singular perturbation prob…
This work deals with a parametric linear interpolation between an autonomous FitzHugh-Nagumo model and a nonautonomous skewed-problem with the same fundamental structure. This paradigmatic example allows to construct a family of…
We set up a methodology for computer assisted proofs of the existence and the KAM stability of an arbitrary periodic orbit for Hamiltonian systems. We give two examples of application for systems with 2 and 3 degrees of freedom. The first…
Despite rapid progress in live-imaging techniques, many complex biophysical and biochemical systems remain only partially observable, thus posing the challenge to identify valid theoretical models and estimate their parameters from an…
For a coupled slow--fast FitzHugh--Nagumo(FHN) equation derived from a reaction-diffusion-mechanics (RDM) model, Holzer, Doelman and Kaper in 2013 studied existence and stability of the travelling pulse, which consists of two fast orbit…
We develop algorithms and techniques to compute rigorous bounds for finite pieces of orbits of the critical points, for intervals of parameter values, in the quadratic family of one-dimensional maps $f_a (x) = a - x^2$. We illustrate the…
We consider a class of three-dimensional systems having an equilibrium point at the origin, whose principal part is of the form (-Dy h(x, y), Dx h(x,y), f(x,y))^T . This principal part, which has zero divergence and does not depend on the…
We consider the singularly perturbed limit of periodically excited two-dimensional FitzHugh-Nagumo systems. We show that the dynamics of such systems are essentially governed by an one-dimensional map and present a numerical scheme to…
In a previous paper we have proposed a new method for proving the existence of "canard solutions" for three and four-dimensional singularly perturbed systems with only one fast variable which improves the methods used until now. The aim of…
We establish sharp nonlinear stability results for fronts that describe the creation of a periodic pattern through the invasion of an unstable state. The fronts we consider are critical, in the sense that they are expected to mediate…
We present an illustrative application of the two famous mathematical theorems in differential topology in order to show the existence of periodic orbits with arbitrary given period for a class of hamiltonians .This result point out for a…
This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a…
This paper aims at providing rigorous numerical computation procedure for finite-time singularities in dynamical systems. Combination of time-scale desingularization as well as Lyapunov functions validation on stable manifolds of invariant…
We investigate the impact of spatial-temporal discretisation schemes on the dynamics of a class of reaction-diffusion equations that includes the FitzHugh-Nagumo system. For the temporal discretisation we consider the family of six backward…
In this paper, we develop computer-assisted techniques for the analysis of periodic orbits of ill-posed partial differential equations. As a case study, our proposed method is applied to the Boussinesq equation, which has been investigated…
We study the quadratic family of one-dimensional maps $f_a (x) = a - x^2$. We conduct comprehensive numerical analysis of collections of finite orbits of the critical point, computed for intervals of parameter values using rigorous…
We investigate the convergence towards periodic orbits in discrete dynamical systems. We examine the probability that a randomly chosen point converges to a particular neighborhood of a periodic orbit in a fixed number of iterations, and we…
We study invasion fronts in the FitzHugh--Nagumo equation in the oscillatory regime using singular perturbation techniques. Phenomenologically, localized perturbations of the unstable steady-state grow and spread, creating temporal…
We calculate numerically the periodic orbits of pseudointegrable systems of low genus numbers $g$ that arise from rectangular systems with one or two salient corners. From the periodic orbits, we calculate the spectral rigidity…
In this work, we explore the global existence of strong solutions for a class of partially diffusive hyperbolic systems within the framework of critical homogeneous Besov spaces. Our objective is twofold: first, to extend our recent…
We develop a method for computing the stochastic wave speed of pulse solutions in kinematic equations subject to small stochastic forcing based on the isochronal phase reduction. These kinematic equations arise as the singular limit of…