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

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.