相关论文: Computer-assisteed proof of a periodic solution in…
We propose a distinct approach to solving linear and nonlinear differential equations (DEs) on quantum computers by encoding the problem into ground states of effective Hamiltonian operators. Our algorithm relies on constructing such…
The generalized Chazy differential equation corresponds to the following two-parameter family of differential equations \begin{equation*}\label{gcdeq} \dddot x+|x|^q \ddot x+\dfrac{k |x|^q}{x}\dot x^2=0, \end{equation*} which has its…
We present a proof of the existence of a periodic orbit for the Newtonian six-body problem with equal masses. This orbit has three double collisions each period and no multiple collisions. Our proof is based on the minimization of the…
We deal with a planar differential system of the form \begin{equation*} \begin{cases} \, u' = h(t,v), \\ \, v' = - \lambda a(t) g(u), \end{cases} \end{equation*} where $h$ is $T$-periodic in the first variable and strictly increasing in the…
In this paper, we introduce a nonresident computer virus model and prove the existence of at least one positive periodic solution. The proposed model is based on a biological approach and is obtained by considering that all rates (rates…
Existence and a priori estimates for real-valued periodic solutions to the modified Korteweg-de Vries equation with initial data in $H^s$ are established for $s>0$. The short-time Fourier restriction norm method is employed to overcome the…
We unify two different periodicity mechanisms: delayed self-regulation and planar predator-prey feedback. We consider scalar delay differential equations $\dot x(t) = rf(x(t), x(t - 1))$ where $f$ is monotone in the delayed component. Due…
In this paper we propose a computational approach to proving the Birkhoff conjecture on the restricted three-body problem, which asserts the existence of a disk-like global surface of section. Birkhoff had conjectured this surface of…
We consider an autonomous differential system in $\mathbb{R}^n$ with a periodic orbit and we give a new method for computing the characteristic multipliers associated to it. Our method works when the periodic orbit is given by the…
In this work, we develop a highly efficient representation of functions and differential operators based on Fourier analysis. Using this representation, we create a variational hybrid quantum algorithm to solve static, Schr\"odinger-type,…
We apply the synergetic elimination procedure for the stable modes in nonlinear delay systems close to a dynamical instability and derive the normal form for the delay-induced Hopf bifurcation in the Wright equation. The resulting periodic…
This article concerns the nonlinear Korteweg-de Vries equation with boundary time-delay feedback. Under appropriate assumption on the coefficients of the feedbacks (delayed or not), we first prove that this nonlinear infinite dimensional…
We propose a procedure for computing the direct scattering transform of the periodic sine-Gordon equation. This procedure, previously used within the periodic Korteweg-de Vries equation framework, is implemented for the case of the…
This paper formalize the existence's proof of first-integrals for any second order ODE, allowing to discriminate periodic orbits. Up to the author's knowledge, such a powerful result is not available in the literature providing a tool to…
We prove nonlinear modulational instability for both periodic and localized perturbations of periodic traveling waves for several dispersive PDEs, including the KDV type equations (e.g. the Whitham equation, the generalized KDV equation,…
In this work, a novel quantum Fourier ordinary differential equation (ODE) solver is proposed to solve both linear and nonlinear partial differential equations (PDEs). Traditional quantum ODE solvers transform a PDE into an ODE system via…
In this article we use linear algebra to improve the computational time for the obtaining of Green's functions of linear differential equations with reflection (DER). This is achieved by decomposing both the `reduced' equation (the ODE…
In this paper, a general method to obtain constructive proofs of existence of periodic orbits in the forced autonomous Navier-Stokes equations on the three-torus is proposed. After introducing a zero finding problem posed on a Banach space…
According to the Arnold conjectures and Floer's proofs, there are non-trivial lower bounds for the number of periodic solutions of Hamiltonian differential equations on a closed symplectic manifold whose symplectic form vanishes on spheres.…
A family of generalized Korteweg-de Vries-Burgers equations in one space dimension with a nonlinear source is considered. The purpose of this contribution is twofold. On one hand, the local well-posedness of the Cauchy problem on periodic…