Related papers: Computer-assisted validation of the existence of p…
The goal of this paper is to show how to produce a piece of rigorous bifurcation diagram of periodic orbits for an ODE. We study the Rossler system, one of the textbook examples of ODEs generating nontrivial dynamics, for the parameter…
We discuss an approach to the computer assisted proof of the existence of branches of stationary and periodic solutions for dissipative PDEs, using the Brussellator system with diffusion and Dirichlet boundary conditions as an example, We…
The numerical optimized shooting method for finding periodic orbits in nonlinear dynamical systems was employed to determine the existence of periodic orbits in the well-known R\"ossler system. By optimizing the period $T$ and the three…
We prove the existence of $n$-periodic orbits for almost all $n\in\mathbb{N}$ in the R\"ossler system with attracting periodic orbit, for two sets of parameters. The proofs are computer-assisted.
In this paper we consider a one dimensional liner piecewise-smooth discontinuous map. It is well known that stable periodic orbits exist in this type of map for a specific parameter region. It is also known that the corresponding…
We derive uniform approximations for contributions to Gutzwiller's periodic-orbit sum for the spectral density which are valid close to bifurcations of periodic orbits in systems with mixed phase space. There, orbits lie close together and…
A computer-assisted argument is given, which provides existence proofs for periodic orbits in state-dependent delayed perturbations of ordinary differential equations (ODEs). Assuming that the unperturbed ODE has an isolated periodic orbit,…
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…
An existence of an aperiodic point for outer billiard outside regular dodecagon is proved. Additionally, almost all orbits of such an outer billiard are proved to be periodic, and all possible periods are listed explicitly. The proof is…
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…
We prove the existence of periodic orbits of the two fixed centers problem bifurcating from the Kepler problem. We provide the analytical expressions of these periodic orbits when the mass parameter of the system is sufficiently small.
This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincar\'e--Bendixson regions by using transversal curves, that enables us to…
We propose a general framework for computer-assisted verification of the presence of symmetry breaking, period-tupling and touch-and-go bifurcations of symmetric periodic orbits for reversible maps. The framework is then adopted to…
The existence and bifurcation of homoclinic orbits in planar piecewise linear homogeneous systems with two regions separated by a discontinuity boundary are investigated in this paper. In addition, existence of periodic orbits and stability…
We track the secondary bifurcations of coherent states in plane Couette flow and show that they undergo an incomplete periodic doubling cascade that ends with a crisis bifurcation. We introduce a symbolic dynamics for the orbits and show…
While periodic responses of periodically forced dissipative nonlinear mechanical systems are commonly observed in experiments and numerics, their existence can rarely be concluded in rigorous mathematical terms. This lack of a priori…
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…
In this paper we describe a method to estimate a neighborhood containing a periodic orbit of a given system of two ordinary differential equations. By using the theory of integral averages, the system of differential equations can be…
Establishing the existence of periodic orbits is one of the crucial and most intricate topics in the study of dynamical systems, and over the years, many methods have been developed to this end. On the other hand, finding closed orbits in…
Based on the results about the invariant cones appeared in the literature this paper analyses the existence of periodic orbits in three-dimensional continuous piecewise linear homogeneous systems with two zones, and a necessary and…