Related papers: Computer-assisteed proof of a periodic solution in…

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…

In this paper we consider a class of fourth order nonlinear integro-differential equations with Navier boundary conditions. By the reduction of the problem to operator equation we establish the existence and uniqueness of solution and…

Quantum computing holds the promise of solving computational mechanics problems in polylogarithmic time, meaning computational time scales as $\mathscr{O}((\log N)^c)$, where $N$ is the problem size and $c$ a constant. We propose a quantum…

A recent work by the authors on the existence of a periodic smooth finite-dimensional center manifold near a nonhyperbolic cycle in delay differential equations motivates the derivation of periodic normal forms. In this paper, we prove the…

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…

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 describe an algorithm for the numerical solution of second order linear differential equations in the highly-oscillatory regime. It is founded on the recent observation that the solutions of equations of this type can be accurately…

In this work we study a nonlinear Volterra equation with non-symmetric feedback that arises as a particular case of the Gurtin-MacCamy model in population dynamics. We are particularly interested in the existence of slowly oscillating…

For a family of $n$-dimensional periodic delay differential equations which encompasses a broad set of models used in structured population dynamics, the existence of a positive periodic solution is obtained under very mild conditions. The…

We investigate the scalar autonomous equation with two discrete delays $$ \dot{x}(t)=f(x(t),x(t-r),x(t-\sigma)), $$ where $f:\mathbb{R}^3\rightarrow \mathbb{R}$ is a continuously differentiable non-linear function such that $f(0,0,0)=0$. It…

In this paper we study the properties of the periodic orbits of \"x + V'_x(t, x) = 0 with x \in S1 and V(t, x) a T0 periodic potential. Called {\rho} \in (1/T0)Q the frequency of windings of an orbit in S1 we show that exists an infinite…

We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant…

This paper is devoted to the study of periodic (in time) solutions to an one-dimensional semilinear wave equation with $x$-dependent coefficients under various homogeneous boundary conditions. Such a model arises from the forced vibrations…

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…

The stability and the basin of attraction of a periodic orbit can be determined using a contraction metric, i.e., a Riemannian metric with respect to which adjacent solutions contract. A contraction metric does not require knowledge of the…

In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution $u_0$, we…

We consider differential delay equations of the form $\partial_tx(t) = X_{t}(x(t - \tau))$ in $\mathbb{R}^n$, where $(X_t)_{t\in S^1}$ is a time-dependent family of smooth vector fields on $\mathbb{R}^n$ and $\tau$ is a delay parameter. If…

In this note we prove an existence and uniqueness result of solution for multidimensional delay differential equations with normal reflection and driven by a H\"older continuous function of order $\beta \in (\frac13,\frac12)$. We also…

Topological degree theory is a useful tool for studying systems of differential equations. In this work, a biological model is considered. Specifically, we prove the existence of positive T-periodic solutions of a system of delay…

We present a computational method for studying transverse homoclinic orbits for periodic solutions of delay differential equations, a phenomenon that we refer to as the \emph{Poincar\'{e} scenario}. The strategy is geometric in nature, and…