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

Journal of Differential Equations

Volumn 224, Issue 1, 2006, Pages 60-97

  Breuer, B ^a   Horak J ^b   McKenna, P J ^c   Plum, M ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF COLOGNE   (Germany)

^c UNIVERSITY OF CONNECTICUT   (United States)

Author keywords

Computer assisted proof; Existence; Multiplicity; Travelling waves

Indexed keywords

EID: 33645900267     PISSN: 00220396     EISSN: 10902732     Source Type: Journal    
DOI: 10.1016/j.jde.2005.07.016     Document Type: Article

References (32)

1. G. Alefeld, J. Herzberger, Einführung in die Intervallrechnung, Bibliographisches Institut (Reihe Informatik, Nr. 12), Mannheim, Wien, Zürich, 1974.
2. O.H. Amann, T. von Kármán, G.B. Woodruff, The Failure of the Tacoma Narrows Bridge, Federal Works Agency, 1941.
3. H. Behnke, Inclusion of eigenvalues of general eigenvalue problems for matrices, in: U. Kulisch, H.J. Stetter (Eds.), Scientific Computation with Automatic Result Verification, Computing 6 (Suppl.) (1987) 69-78.
4. Behnke H., and Goerisch F. Inclusions for eigenvalues of selfadjoint problems. In: Herzberger J. (Ed). Topics in Validated Computations (1994), Elsevier, North-Holland, Amsterdam 277-322
5. Breuer B., McKenna P.J., and Plum M. Multiple solutions for a semilinear boundary value problem. a computational multiplicity proof. J. Differential Equations 195 (2003) 243-269
6. Champneys A.R., and McKenna P.J. On solitary waves of a piecewise linear suspended beam model. Nonlinearity 10 (1997) 1763-1782
7. Champneys A.R., McKenna P.J., and Zegeling P.A. Solitary waves in nonlinear beam equations: stability, fission and fusion. The theme of solitary waves and localization phenomena in elastic structures. Nonlinear Dynam. 21 (2000) 31-53
8. Champneys A.R., and Spence A. Hunting for homoclinic orbits in reversible systems. a shooting technique. Adv. Comput. Math. 1 1 (1993) 81-108
9. Chen Y., and McKenna P.J. Travelling waves in a nonlinearly suspended beam. theoretical results and numerical observations. J. Differential Equations 136 (1997) 325-355
10. Choi Y.S., and McKenna P.J. A mountain pass method for the numerical solution of semilinear elliptic problems. Nonlinear Anal. 20 (1993) 417-437
11. Day S., Hiraoka Y., Mischaikow K., and Ogawa T. Rigorous numerics for global dynamics. a study of the Swift-Hohenberg equation. SIAM J. Appl. Dynamical Systems 4 (2005) 1-31
12. R. Hammer, M. Hocks, U. Kulisch, D. Ratz, Numerical toolbox for verified computing, Springer Series in Computational Mathematics, vol. 21, Springer, Berlin, 1993.
13. Y. Hiraoka, Topological verification in infinite dimensional dynamical systems, Doctoral Dissertation, Department of Informatics and Mathematical Science, Graduate School of Engineering Science, Osaka University, 2004.
14. J. Horák, P.J. McKenna, Travelling waves in nonlinearly supported beams and plates. Nonlinear Equations: Methods, Models and Applications (Bergamo, 2001), pp. 197-215, Progress of Nonlinear Differential Equations and Applications, vol. 54, Birkhäuser, Basel, 2003.
15. Kato T. Perturbation Theory for Linear Operators (1966), Springer, New York
16. Klatte R., Kulisch U., Wiethoff A., Lawo C., and Rauch M. C-XSC-A C++ Class Library for Extended Scientific Computing (1993), Springer, Heidelberg
17. Lehmann N.J. Optimale Eigenwerteinschließungen. Numer. Math. 5 (1963) 246-272
18. McKenna P.J., and Walter W. Travelling waves in a suspension bridge. SIAM J. Appl. Math. 50 (1990) 703-715
19. Nagatou K., Nakao M.T., and Yamamoto N. An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness. Numer. Funct. Anal. Optim. 20 (1999) 543-565
20. - 1 type residual iteration, Computing (Suppl. 9) (1993) 161-173.
21. Nakao M.T., and Yamamoto N. Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite elements. J. Comput. Appl. Math. 60 (1995) 271-279
22. Plum M. Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method. ZAMP 41 (1990) 205-226
23. Plum M. Bounds for eigenvalues of second-order elliptic differential operators. ZAMP 42 (1991) 848-863
24. Plum M. Computer-assisted existence proofs for two-point boundary value problems. Computing 46 (1991) 19-34
25. Plum M. Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems. Computing 49 (1992) 25-44
26. Plum M. Existence and enclosure results for continua of solutions of parameter-dependent nonlinear boundary value problems. J. Comput. Appl. Math. 60 (1995) 187-200
27. Plum M. Guaranteed numerical bounds for eigenvalues. In: Hinton D., and Schaefer P.W. (Eds). Spectral Theory and Computational Methods of Sturm-Liouville Problems (1997), Marcel Dekker, New York 313-332
28. Plum M., and Wieners Ch. New solutions of the Gelfand problem. J. Math. Anal. Appl. 269 (2002) 588-606
29. Rektorys K. Variational Methods in Mathematics, Science and Engineering. second ed. (1980), Reidel Publ. Co., Dordrecht
30. Smets D., and van den Berg J.B. Homoclinic solutions for Swift-Hohenberg and suspension bridge type equations. J. Differential Equations 184 (2002) 78-96
31. Weinstein A., and Stenger W. Methods of intermediate problems for eigenvalues (1972), Academic Press, New York
32. Zimmermann S., and Mertins U. Variational bounds to eigenvalues of self-adjoint eigenvalue problems with arbitrary spectrum. Z. Anal. Anwendungen 14 (1995) 327-345