Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration



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 [3] 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 words

nonlinear vibration bifurcation computer assisted proof almost diagonal operator complete reproducibility 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    V. Barbu and N.H. Pavel, Periodic solutions to nonlinear one dimensional wave equation with X-dependent coefficients. Trans. Amer. Math. Soc.,349 (1997), 2035–2048.MATHCrossRefMathSciNetGoogle Scholar
  2. [2]
    J.G. Heywood, W. Nagata and W. Xie, A numerically based existence theorem for the Navier-Stokes equations. J. Math. Fluid. Mech.,1 (1999), 5–23.MATHCrossRefMathSciNetGoogle Scholar
  3. [3]
    T. Kawanago, A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives. Japan J. Indust. Appl. Math.,21 (2004), 57–74.MATHMathSciNetCrossRefGoogle Scholar
  4. [4]
    T. Kawanago, Analysis for bifurcation phenomena of nonlinear vibrations. Numerical Solution of Partial Differential Equations and Related Topics II, RIMS Kokyuroku1198 (2001), 13–20.MATHMathSciNetGoogle Scholar
  5. [5]
    T. Kawanago, Applications of computer algebra to some bifurcation problems in nonlinear vibrations. Computer Algebra — Algorithms, Implementations and Applications, RIMS Kokyuroku1295 (2002), 137–143.MathSciNetGoogle Scholar
  6. [6]
    T. Kawanago, Approximation of linear differential operators by almost diagonal operators and its applications. Preprint.Google Scholar
  7. [7]
    Y. Komatsu, A bifurcation phenomenon for the periodic solutions of a semilinear dissipative wave equation. J. Math. Kyoto Univ.,41 (2001), 669–692.MATHMathSciNetGoogle Scholar
  8. [8]
    O.A. Ladyzenskaja, V.A. Solonnikov and N.N. Ural’ceva, Linear and Quasilinear Equations of Parabolic Type. American Mathematical Society, 1968.Google Scholar
  9. [9]
    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
  10. [10]
    S. Oishi, Introduction to Nonlinear Analysis (in Japanese). Corona-sha, 1997.Google Scholar
  11. [11]
    T. Nishida, Y. Teramoto and H. Yoshihara, Bifurcation problems for equations of fluid dynamics and computer aided proof. Lecture Notes in Numer. Appl. Anal.14, Springer, 1995, 145–157.MathSciNetGoogle Scholar
  12. [12]
    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
  13. [13]
    T. Tsuchiya, Numerical verification of simple bifurcation points. RIMS Kokyuroku831 (1993), 129–140.MathSciNetGoogle Scholar
  14. [14]
    T. Tsuchiya and M.T. Nakao, Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points. Japan J. Indust. Appl. Math.,14 (1997), 357–372.MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© JJIAM Publishing Committee 2004

Authors and Affiliations

  1. 1.Department of MathematicsTokyo Institute of TechnologyTokyoJapan

Personalised recommendations