相关论文: Computer-assisteed proof of a periodic solution in…

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 prove the existence of non-stationary periodic solutions of delay Lotka-Volterra equations. In the proofs we use the degree for $S^1$-equivariant maps.

We present an algorithm for the rigorous integration of Delay Differential Equations (DDEs) of the form $x'(t)=f(x(t-\tau),x(t))$. As an application, we give a computer assisted proof of the existence of two attracting periodic orbits…

Simple form scalar differential equation with delay and non-linear negative periodic feedback is considered. The existence of slowly oscillating periodic solutions with the same period as the feedback coefficient is shown numerically within…

A simple non-autonomous scalar differential equation with delay, exponential decay, nonlinear negative feedback and a periodic multiplicative coefficient is considered. It is shown that stable slowly oscillating periodic solutions with the…

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…

Simple form scalar differential equation with delay and nonlinear negative periodic feedback is considered. The existence of several types of slowly oscillating periodic solutions is shown with the same and double periods of the feedback…

We prove the existence of time-periodic solutions to non-linear massive Klein-Gordon equations in Anti-de Sitter as well as their orbital stability over exponentially long times for certain values of the mass corresponding to completely…

The aim of this work is to study the existence of a periodic solutions of nth-order differential equations with delay d dt x(t) + d 2 dt 2 x(t) + d 3 dt 3 x(t) + ... + d n dt n x(t) = Ax(t) + L(xt) + f (t). Our approach is based on the…

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…

We present a generalized notion of degree for rotating solutions of planar systems. We prove a formula for the relation of such degree with the classical use of Brouwer's degree and obtain a twist theorem for the existence of periodic…

In this paper, we prove existence results of a one-dimensional periodic solution to equations with the fractional Laplacian of order $s\in(1/2,1)$, singular nonlinearity, and gradient term under various situations, including nonlocal…

We develop a linear method for solving the nonlinear differential equations of a lumped-parameter thermal model of a spacecraft moving in a closed orbit. Our method, based on perturbation theory, is compared with heuristic linearizations of…

We study the periodic solutions of the delay equation $\dot{x}(t)=f(x(t),x(t-1))$, where $f$ scalar is strictly monotone in the delayed component and has even-odd symmetry. We completely describe the global bifurcation structure of periodic…

We consider delay differential equations of the form $ y'(t)=-ay(t)+bf(y(t-1)) $ with positive parameters $a,b$ and a unimodal $f:[0,\infty)\to [0,1]$. It is assumed that the nonlinear $f$ is close to a function $g:[0,\infty)\to [0,1]$ with…

Recently, the higher order averaging method for studying periodic solutions of both Lipschitz differential equations and discontinuous piecewise smooth differential equations was developed in terms of Brouwer degree theory. Between the…

We study a one-dimensional ordinary differential equation modelling optical conveyor belts, showing in particular cases of physical interest that periodic solutions exist. Moreover, under rather general assumptions it is proved that the set…

In this paper we prove that periodic boundary-value problems (BVPs) for delay differential equations are locally equivalent to finite-dimensional algebraic systems of equations. We rely only on regularity assumptions that follow those of…

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…

We construct stable periodic solutions for a simple form nonlinear delay differential equation (DDE) with a periodic coefficient. The equation involves one underlying nonlinearity with the multiplicative periodic coefficient. The well-known…