相关论文: Computer-Assisted Proofs in Dynamical Systems: A C…

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…

In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of…

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 present numerical results and computer assisted proofs of the existence of periodic orbits for the Kuramoto-Sivashinky equation. These two results are based on writing down the existence of periodic orbits as zeros of functionals. This…

We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular…

This work presents a framework for a-posteriori error-estimating algorithms for differential equations which combines the radii polynomial approach with Haar wavelets. By using Haar wavelets, we obtain recursive structures for the matrix…

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…

This paper outlines an approach for proving existence of hyperbolic quasi-periodic invariant tori using computer assisted methods based on an a posteriori KAM-like theorem. We implement it for the dissipative standard map following the…

We present a methodology for computer assisted proofs of Shil'nikov homoclinic intersections. It is based on geometric bounds on the invariant manifolds using rate conditions, and on propagating the bounds by an interval arithmetic…

Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…

This paper develops a robust angles-only IROD method based on polynomial optimization for arbitrary nonlinear dynamics. First, the relative motion is approximated by high-order Taylor polynomials within the differential algebra framework,…

We extend our previous algorithm computing the minimum orbital intersection distance (MOID) to include hyperbolic orbits, and mixed combinations ellipse--hyperbola. The MOID is computed by finding all stationary points of the distance…

In this paper, we consider the dynamics of solutions to complex-valued evolutionary partial differential equations (PDEs) and show existence of heteroclinic orbits from nontrivial equilibria to zero via computer-assisted proofs. We also…

Periodic orbits are important objects of discrete dynamical systems, but finding them is not always easy. We present a self-contained introductory account, aimed at non-experts, to prove their existence and study their stability using the…

Classical chaotic systems with symbolic dynamics but strong pruning present a particular challenge for the application of semiclassical quantization methods. In the present study we show that the technique of periodic orbit quantization by…

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…

Block copolymers play an important role in materials sciences and have found widespread use in many applications. From a mathematical perspective, they are governed by a nonlinear fourth-order partial differential equation which is a…

In this work, we obtain an a-posteriori theorem for the existence of partly hyperbolic invariant tori in analytic Hamiltonian systems: autonomous, periodic, and quasi-periodic. The method of proof is based on the convergence of a KAM…

An a posteriori verification method is proposed for the generalized real-symmetric eigenvalue problem and is applied to densely clustered eigenvalue problems in large-scale electronic state calculations. The proposed method is realized by 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…