A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
From MaRDI portal
Publication:2493092
The authors give a computer-assisted proof of the existence at least 36 travelling wave solutions for a beam equation with exponential nonlinearity and specific wave speed \(c=1.3\). They start from numerical approximations and use a fixed-point argument to prove the existence of solutions close to the approximations computed.
Recommendations
- Travelling waves in a nonlinearly supported beam: a computer-assisted existence and multiplicity proof
- Traveling waves of a generalized nonlinear beam equation
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- Traveling waves in a nonlinearly suspended beam: Theoretical results and numerical observations
- Global existence of periodic travelling waves of an infinite non-linearly supported beam
Cites work
- A mountain pass method for the numerical solution of semilinear elliptic problems
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Bounds for eigenvalues of second-order elliptic differential operators
- Computer-assisted existence proofs for two-point boundary value problems
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Homoclinic solutions for Swift-Hohenberg and suspension bridge type equations
- scientific article; zbMATH DE number 4084854 (Why is no real title available?)
- scientific article; zbMATH DE number 3755327 (Why is no real title available?)
- scientific article; zbMATH DE number 3521417 (Why is no real title available?)
- scientific article; zbMATH DE number 488523 (Why is no real title available?)
- scientific article; zbMATH DE number 524105 (Why is no real title available?)
- scientific article; zbMATH DE number 714520 (Why is no real title available?)
- scientific article; zbMATH DE number 1055003 (Why is no real title available?)
- scientific article; zbMATH DE number 2019814 (Why is no real title available?)
- scientific article; zbMATH DE number 226866 (Why is no real title available?)
- scientific article; zbMATH DE number 3239038 (Why is no real title available?)
- Hunting for homoclinic orbits in reversible systems: A shooting technique
- Methods of intermediate problems for eigenvalues. Theory and ramifications
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- New solutions of the Gelfand problem
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- On solitary waves of a piecewise linear suspended beam model
- Optimale Eigenwerteinschließungen
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Solitary waves in nonlinear beam equations: Stability, fission and fusion
- Traveling waves in a nonlinearly suspended beam: Theoretical results and numerical observations
- Travelling Waves in a Suspension Bridge
- Variational bounds to eigenvalues of selfadjoint eigenvalue problems with arbitrary spectrum
Cited in
(34)- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Traveling wave solutions to beam equation with fast-increasing nonlinear restoring forces
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Global existence of periodic travelling waves of an infinite non-linearly supported beam
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- Rigorous validation of stochastic transition paths
- A mountain pass algorithm with projector
- Dynamics of waves and patterns. Abstracts from the workshop held August 8--14, 2021 (hybrid meeting)
- Existence and stability results of a plate equation with nonlinear damping and source term
- On the Lazer-McKenna conjecture and its applications
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- Global smooth solution curves using rigorous branch following
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Existence of travelling wave front solutions of a two-dimensional anisotropic model
- On travelling waves in a suspension bridge model as the wave speed goes to zero
- Travelling waves in a nonlinearly supported beam: a computer-assisted existence and multiplicity proof
- Travelling wave solutions of the beam equation with jumping nonlinearity
- Qualitative behavior of global solutions to some nonlinear fourth order differential equations
- Validated integration of semilinear parabolic PDEs
- On the energy decay of a coupled nonlinear suspension bridge problem with nonlinear feedback
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- Computer-assisted proofs of gap solitons in Bose-Einstein condensates
- Notes on number of one-troughed travelling waves in asymmetrically supported bending beam.
- Computer assisted existence proofs for parameterized cycle-to-cycle connections
- Asymptotic stability of sharp fronts: analysis and rigorous computation
- Existence and orbital stability proofs of traveling wave solutions on an infinite strip for the suspension bridge equation
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Computation of maximal local (un)stable manifold patches by the parameterization method
- The existence of ground states for fourth-order wave equations
This page was built for publication: A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2493092)
