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
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
Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Boundary value problems on infinite intervals for ordinary differential equations (34B40)
Related Items (22)
Computer-assisted proofs for semilinear elliptic boundary value problems ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ On the Lazer-McKenna conjecture and its applications ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Travelling wave solutions of the beam equation with jumping nonlinearity ⋮ A mountain pass algorithm with projector ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Dynamics 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 equation ⋮ Qualitative behavior of global solutions to some nonlinear fourth order differential equations ⋮ Existence and stability results of a plate equation with nonlinear damping and source term ⋮ A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Existence of travelling wave front solutions of a two-dimensional anisotropic model ⋮ Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation ⋮ On travelling waves in a suspension bridge model as the wave speed goes to zero ⋮ Global smooth solution curves using rigorous branch following ⋮ The existence of ground states for fourth-order wave equations ⋮ A uniqueness result for a semilinear elliptic problem: a computer-assisted proof ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ Rigorous validation of stochastic transition paths
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Homoclinic solutions for Swift-Hohenberg and suspension bridge type equations
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Computer-assisted existence proofs for two-point boundary value problems
- Bounds for eigenvalues of second-order elliptic differential operators
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Methods of intermediate problems for eigenvalues. Theory and ramifications
- Traveling waves in a nonlinearly suspended beam: Theoretical results and numerical observations
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Solitary waves in nonlinear beam equations: Stability, fission and fusion
- New solutions of the Gelfand problem
- Variational bounds to eigenvalues of selfadjoint eigenvalue problems with arbitrary spectrum
- Hunting for homoclinic orbits in reversible systems: A shooting technique
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Optimale Eigenwerteinschließungen
- Travelling Waves in a Suspension Bridge
- On solitary waves of a piecewise linear suspended beam model
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- A mountain pass method for the numerical solution of semilinear elliptic problems
This page was built for publication: A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
