Related papers: Rigorous numerics for ill-posed PDEs: periodic orb…
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,…
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…
New results concerning the orbital stability of periodic traveling wave solutions for the "abcd" Boussinesq model will be shown in this manuscript. For the existence of solutions, we use basic tools of ordinary differential equations to…
This study deals with higher-ordered asymptotic equations for the water-waves problem. We considered the higher-order/extended Boussinesq equations over a flat bottom topography in the well-known long wave regime. Providing an existence and…
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 of periodic travelling waves for the 2D $abcd$ Boussinesq type system related with the three-dimensional water-wave dynamics in the weakly nonlinear long-wave regime. We show that small solutions that…
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…
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…
In this paper a three-parameter family of Boussinesq systems is studied. The systems have been proposed as models of the propagation of long internal waves along the interface of a two-layer system of fluids with rigid-lid condition for the…
A variational principle for determining unstable periodic orbits of flows as well as unstable spatio-temporally periodic solutions of extended systems is proposed and implemented. An initial loop approximating a periodic solution is evolved…
Weakly-nonlinear waves in a layered waveguide with an imperfect interface (soft bonding between the layers) can be modelled using coupled Boussinesq equations. We assume that the materials of the layers have close mechanical properties, in…
We consider the Boussinesq PDE perturbed by a time-dependent forcing. Even though there is no smoothing effect for arbitrary smooth initial data, we are able to apply the method of self-consistent bounds to deduce the existence of smooth…
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…
Historically the finite volume methods have been developed for the numerical integration of conservation laws. In this study we present some recent results on the application of such schemes to dispersive PDEs. Namely, we solve numerically…
We provide a framework for turning a numerical simulation of a gap soliton in the one-dimensional Gross-Pitaevskii equation into a rigorous mathematical proof of its existence. These nonlinear localized solutions play a central role in the…
The aim of this paper is to present a survey and a detailed numerical study on a remarkable Boussinesq system describing weakly nonlinear, long surface water waves. In the one-dimensional case, this system can be viewed as a dispersive…
In this paper, a new rigorous numerical method to compute fundamental matrix solutions of non-autonomous linear differential equations with periodic coefficients is introduced. Decomposing the fundamental matrix solutions $\Phi(t)$ by their…
Periodic orbits are important objects of discrete dynamical systems, but finding them is not always easy. We present a self-contained introductory account, aimed at non-experts, to prove their existence and study their stability using the…
The numerical approximation of some Boussinesq systems in two spatial dimensions is here considered. The differential systems under study are proposed as asymptotic models for the propagation of waves along the interface of two layers of…
Consideration is given to three different full dispersion Boussinesq systems arising as asymptotic models in the bi-directional propagation of weakly nonlinear surface waves in shallow water. We prove that, under a non-cavitation condition…