A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam

From MaRDI portal
Publication:2493092

DOI10.1016/j.jde.2005.07.016zbMath1104.34034OpenAlexW2056504720MaRDI QIDQ2493092

Yanyan Li

Publication date: 9 June 2006

Published in: Journal of Differential Equations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jde.2005.07.016




Related Items (22)

Computer-assisted proofs for semilinear elliptic boundary value problemsIntroduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaosOn the Lazer-McKenna conjecture and its applicationsContinuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proofTravelling wave solutions of the beam equation with jumping nonlinearityA mountain pass algorithm with projectorComputation of maximal local (un)stable manifold patches by the parameterization methodDynamics of waves and patterns. Abstracts from the workshop held August 8--14, 2021 (hybrid meeting)Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equationQualitative behavior of global solutions to some nonlinear fourth order differential equationsExistence and stability results of a plate equation with nonlinear damping and source termA computer-assisted existence proof for Emden's equation on an unbounded L-shaped domainComputer-assisted proofs for radially symmetric solutions of PDEsRigorous numerics for ODEs using Chebyshev series and domain decompositionExistence of travelling wave front solutions of a two-dimensional anisotropic modelVerified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluationOn travelling waves in a suspension bridge model as the wave speed goes to zeroGlobal smooth solution curves using rigorous branch followingThe existence of ground states for fourth-order wave equationsA uniqueness result for a semilinear elliptic problem: a computer-assisted proofOrbital stability investigations for travelling waves in a nonlinearly supported beamRigorous validation of stochastic transition paths


Uses Software


Cites Work


This page was built for publication: A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam