Related papers: Computer-assisteed proof of a periodic solution in…
We consider methods based on the topological degree theory to compute periodic orbits of area preserving maps. Numerical approximations of the Kronecker integral and the application of Stenger's method allows us to compute the value of the…
In this work we provide conditions for the existence of periodic solutions to nonlinear, second-order difference equations of the form \begin{equation*} y(t+2)+by(t+1)+cy(t)=g(t,y(t)) \end{equation*} where $c\neq 0$, and…
We consider the nonlinear Schr\"{o}dinger equation of degree five on the circle $\mathbb{S}^1 = \mathbb{R}/2\pi$. We prove the existence of quasi-periodic solutions which bifurcate from "resonant" solutions (studied in [14]) of the system…
We study the existence of non-trivial, non-negative periodic solutions for systems of singular-degenerate parabolic equations with nonlocal terms and satisfying Dirichlet boundary conditions. The method employed in this paper is based on…
We prove the existence of periodic solutions in a class of nonlinear partial differential equations, including the nonlinear Schroedinger equation, the nonlinear wave equation, and the nonlinear beam equation, in higher dimension. Our…
In this article, we enforce space group symmetries in Fourier series to rigorously prove the existence of smooth, periodic solutions in partial differential equations (PDEs) with hexagonal and triangular symmetries. In particular, we…
In this article we present a general method to rigorously prove existence of strong solutions to a large class of autonomous semi-linear PDEs in a Hilbert space $H^{l}\subset H^{s}(\mathbb{R}^{m})$ ($s\geq1$) via computer-assisted proofs.…
This paper focuses on the construction of periodic solutions of nonlinear beam equations on the $d$-dimensional tori. For a large set of frequencies, we demonstrate that an equivalent form of the nonlinear equations can be obtained by a…
We present an algorithm for the rapid numerical integration of smooth, time-periodic differential equations with small nonlinearity, particularly suited to problems with small dissipation. The emphasis is on speed without compromising…
For a class of polynomial non-autonomous differential equations of degree n, we use phase plane analysis to show that each equation in this class has n periodic solutions. The result implies that certain rigid two-dimensional systems have…
In this letter we apply a method recently devised in \cite{aapla03} to find precise approximate solutions to a certain class of nonlinear differential equations. The analysis carried out in \cite{aapla03} is refined and results of much…
We consider the scalar delay differential equation $$ \dot{x}(t)=-x(t)+f_{K}(x(t-1)) $$ with a nondecreasing feedback function $f_{K}$ depending on a parameter $K$, and we verify that a saddle-node bifurcation of periodic orbits takes place…
The paper investigates a generalization of the classical Sitnikov problem, concentrating on the movement of a satellite along the Z-axis as it interacts with $n$ primary bodies in periodic motion. It establishes the existence of an infinite…
We analyse and compare several algorithms to compute numerically periodic solutions of high-dimensional dynamical systems and investigate their Floquet stability without building the monodromy matrix. The solution and its perturbation are…
In this paper we give an extension of the Birkhoff--Lewis theorem to some semilinear PDEs. Accordingly we prove existence of infinitely many periodic orbits with large period accumulating at the origin. Such periodic orbits bifurcate from…
We prove a necessary and sufficient condition for the existence of a $T$-periodic solution for the time-periodic second order differential equation $\ddot{x}+f(t,x)+p(t,x,\dot x)=0$, where $f$ grows superlinearly in $x$ uniformly in time,…
In this work the existence of periodic solutions is studied for the Hamiltonian functions (Formula presented.) where the first term consist of a harmonic oscillator and the second term are homogeneous polynomials of degree 5 defined by two…
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…
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…
Bloch theorem for a periodic operator is being revisited here, and we notice extra orthogonality relationships. It is shown that solutions are bi-periodic, in the sense that eigenfunctions are periodic with respect to one argument, and…