![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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
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
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
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
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
Rigorous computation of smooth branches of equilibria for the three dimensional Cahn–Hilliard equation
In this paper, we propose a new general method to compute rigorously global smooth branches of equilibria of higher-dimensional partial differential equations. The theoretical framework is based on a combinati...