![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Marine fishes experiencing high-velocity range shifts may not be climate change winners
Climate change is driving the global redistribution of species. A common assumption is that rapid range shifts occur in tandem with overall stable or positive abundance trends throughout the range and thus the...
-
Article
Toward Computational Morse–Floer Homology: Forcing Results for Connecting Orbits by Computing Relative Indices of Critical Points
To make progress toward better computability of Morse–Floer homology and thus enhance the applicability of Floer theory, it is essential to have tools to determine the relative index of equilibria. Since even ...
-
Article
Open AccessSaddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature
In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining...
-
Article
Periodic orbits in Hořava–Lifshitz cosmologies
We consider spatially homogeneous Hořava–Lifshitz models that perturb General Relativity (GR) by a parameter \(v\in (0,1)\) ...
-
Article
Open AccessCorrection to: Rigorous numerics for nonlinear heat equations in the complex plane of time
-
Article
Open AccessRigorous numerics for nonlinear heat equations in the complex plane of time
In this paper, we introduce a method for computing rigorous local inclusions of solutions of Cauchy problems for nonlinear heat equations for complex time values. The proof is constructive and provides explici...
-
Article
A General Method for Computer-Assisted Proofs of Periodic Solutions in Delay Differential Problems
In this paper we develop a general computer-assisted proof method for periodic solutions to delay differential equations. The class of problems considered includes systems of delay differential equations with ...
-
Article
Parameterization of Unstable Manifolds for DDEs: Formal Series Solutions and Validated Error Bounds
This paper studies the local unstable manifold attached to an equilibrium solution of a system of delay differential equations (DDEs). Two main results are developed. The first is a general method for computin...
-
Article
A Rigorous Implicit \(C^1\) Chebyshev Integrator for Delay Equations
We present a new approach to validated numerical integration for systems of delay differential equations. We focus on the case of a single constant delay though the method generalizes to systems with multiple ...
-
Article
Spatial Relative Equilibria and Periodic Solutions of the Coulomb \((n+1)\) -Body Problem
We study a classical model for the atom that considers the movement of n charged particles of charge \(-1\) ...
-
Article
Spontaneous Periodic Orbits in the Navier–Stokes Flow
In this paper, a general method to obtain constructive proofs of existence of periodic orbits in the forced autonomous Navier–Stokes equations on the three-torus is proposed. After introducing a zero finding p...
-
Article
From the Lagrange polygon to the figure eight I
The present work studies the continuation class of the regular n-gon solution of the n-body problem. For odd numbers of bodies between $$n = 3...
-
Article
Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
We use validated numerical methods to prove the existence of spatial periodic orbits in the equilateral restricted four-body problem. We study each of the vertical Lyapunov families (up to symmetry) in the tri...
-
Article
Parameterization of Invariant Manifolds for Periodic Orbits (II): A Posteriori Analysis and Computer Assisted Error Bounds
In this paper we develop mathematically rigorous computer assisted techniques for studying high order Fourier–Taylor parameterizations of local stable/unstable manifolds for hyperbolic periodic orbits of analy...
-
Article
Computing Discrete Convolutions with Verified Accuracy Via Banach Algebras and the FFT
We introduce a method to compute rigorous component-wise enclosures of discrete convolutions using the fast Fourier transform, the properties of Banach algebras, and interval arithmetic. The purpose of this ne...
-
Article
Rigorous Numerics for ill-posed PDEs: Periodic Orbits in the Boussinesq Equation
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 equatio...
-
Article
Rapidly and Slowly Oscillating Periodic Solutions of a Delayed Van der Pol Oscillator
In this paper, we introduce a method to prove existence of several rapidly and slowly oscillating periodic solutions of a delayed Van der Pol oscillator. The proof is a combination of pen and paper analytic es...
-
Article
Computation of Smooth Manifolds Via Rigorous Multi-parameter Continuation in Infinite Dimensions
In this paper, we introduce a constructive rigorous numerical method to compute smooth manifolds implicitly defined by infinite-dimensional nonlinear operators. We compute a simplicial triangulation of the man...
-
Article
Analytic enclosure of the fundamental matrix solution
This work describes a method to rigorously compute the real Floquet normal form decomposition of the fundamental matrix solution of a system of linear ODEs having periodic coefficients. The Floquet normal form...
-
Article
Computer Assisted Proof of Transverse Saddle-to-Saddle Connecting Orbits for First Order Vector Fields
In this paper we introduce a computational method for proving the existence of generic saddle-to-saddle connections between equilibria of first order vector fields. The first step consists of rigorously comput...