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

In this paper we propose some continuation theorems for the periodic problem \begin{equation*} \begin{cases} \, x_{i}' = g_{i}(t,x_{i+1}), &i=1,\ldots,n-1, \\ \, x_{n}' = h(t,x_{1},\ldots,x_{n}), \\ \, x_{i}(0)=x_{i}(T), &i=1,\ldots,n,…

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…

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 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…

In this paper, we study the existence and uniqueness of periodic solutions of the differential equation of the form . Here, we obtain some sufficient conditions which guarantee the existence of periodic solutions. This equation is a quite…

The nonlinear Schroedinger equation has several families of quasi-periodic travelling waves, each of which can be parametrized up to symmetries by two real numbers: the period of the modulus of the wave profile, and the variation of its…

For controlling periodic orbits with delayed feedback methods the periodicity has to be known a priori. We propose a simple scheme, how to detect the period of orbits from properties of the control signal, at least if a periodic but…

In this study, we focus on the existence of a periodic solution for the neutral nonlinear dynamic systems with delay% \[ x^{\Delta}(t)=A(t)x(t)+Q^{\Delta}\left(t,x\left(\delta_{-}(s,t)\right) \right)…

We use computer-assisted proof techniques to prove that a branch of non-trivial equilibrium solutions in the Kuramoto-Sivashinsky partial differential equation undergoes a Hopf bifurcation. Furthermore, we obtain an essentially constructive…

In this article we study the existence and the continuation of periodic solutions of autonomous Newtonian systems. To prove the results we apply the infinite-dimensional version of the degree for SO(2)-equivariant gradient operators. Using…

We consider the prototype equation x'(t) = f(x(t-1)) for delayed negative feedback. We review known results on uniqueness and nonuniqueness of slowly oscillating periodic solutions, and present some new results and examples.

The nonlinear pseudo-oscillator recently tackled by Gadella and Lara is mapped to an Emden-Fowler (EF) equation that is written as an autonomous two-dimensional ODE system for which we provide the phase-space analysis and the parametric…

Inspired by the classical Poincar\'e criterion about the instability of orientation preserving minimizing closed geodesics on surfaces, we investigate the relation intertwining the instability and the variational properties of periodic…

The periodic solutions of a type of nonlinear hyperbolic partial differential equations with a localized nonlinearity are investigated. For instance, these equations are known to describe several acoustical systems with fluid-structure…

We present a spectrally accurate numerical method for finding non-trivial time-periodic solutions of non-linear partial differential equations. The method is based on minimizing a functional (of the initial condition and the period) that is…

The aim of this work is to study the existence of a periodic solutions of integro-differential equations d dt [x(t)-- L(x t)] = A[x(t)-- L(x t)]+ G(x t)+ t --$\infty$ a(t-- s)x(s)ds+ f (t), (0 $\le$ t $\le$ 2$\pi$) with the periodic…

In this paper, we present a computer-assisted approach for constructively proving the existence of traveling wave solutions of the suspension bridge equation on the infinite strip $\Omega = \mathbb{R} \times (-d_2,d_2)$. Using a meticulous…

We study the existence of a periodic solution for a differential equation with distributed delay. It is shown that, for a class of distributed delay diferential quations, a symmetric period 2 solution, where the period is twice the maximum…

In this paper we prove that the following delay differential equation \[ \frac{d}{dt}x(t)=rx(t)\left(1-\int_{0}^{1}x(t-s)ds\right), \] has a periodic solution of period two for $r>\frac{\pi^{2}}{2}$ (when the steady state, $x=1$, is…

We present algorithms and their implementation to compute limit cycles and their isochrons for state-dependent delay equations (SDDE's) which are perturbed from a planar differential equation with a limit cycle. Note that the space of…