Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration
- 42 Downloads
Using the numerical verification method, we analyze a nonlinear vibration system with friction described by a wave equation related to the Duffing equation. We present a complete proof of the existence of a symmetry-breaking bifurcation point, which was first found in the numerical simulation. Our method is based on some general theorems established by the author in another paper  and is applicable to various systems described by semilinear partial differential equations including elliptic and parabolic ones. All of the numerical results in the proof can be accurately reproduced, though some of them are comparatively large scale. This reproducibility is realized by introducing a method for completely controlling the numerical calculations.
Key wordsnonlinear vibration bifurcation computer assisted proof almost diagonal operator complete reproducibility
Unable to display preview. Download preview PDF.
- T. Kawanago, Approximation of linear differential operators by almost diagonal operators and its applications. Preprint.Google Scholar
- O.A. Ladyzenskaja, V.A. Solonnikov and N.N. Ural’ceva, Linear and Quasilinear Equations of Parabolic Type. American Mathematical Society, 1968.Google Scholar
- A. Matsumura, Bifurcation phenomena for the Duffing equation. Advances in Nonlinear Partial Differential Equations and Stochastics (eds. Kawashima and Yanagisawa), World Scientific, 1998.Google Scholar
- S. Oishi, Introduction to Nonlinear Analysis (in Japanese). Corona-sha, 1997.Google Scholar
- M. Plum, Enclosures for two-point boundary value problems near bifurcation points. Scientific Computing and Validated Numerics (Wuppertal, 1995), Math. Res.90, Akademie Verlag, Berlin, 1996, 265–279.Google Scholar