Undecidable Hopf bifurcation with undecidable fixed point

DOI10.1007/BF00671031MaRDI QIDQ1893895zbMATH OpenOpenAlexFDO

Authors Francisco Antonio Doria, N. C. A. da Costa

Publication date 5 March 1996

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00671031

zbMATH Keywords

Fermat's Last TheoremHilbert's sixth problemHopf bifurcationlimit cycleundecidable dynamical systemsvector field

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Applications of set theory (03E75) Stability theory for smooth dynamical systems (37C75)

Review text

Motivated by Hilbert's sixth problem and its contemporary revisions by V. I. Arnold [\textit{F. E. Browder}: ``Problems of present day mathematics, Math. developments arising from Hilbert problems, Proc. Symp. Pure Math. 28, 35-79 (1976; Zbl 0326.00002), p. 59] on the recursive decidability of the stability problem for stationary points, the authors give an example of a polynomial dynamical system whose origin is a fixed point, but such that one cannot decide recursively whether bifurcation related to the usual Hopf bifurcation occurs. In addition, the authors investigate several other physico-metamathematical problems; e.g., does there exist an algorithm to decide whether a plane polynomial vector field has a limit cycle? Finally there is a brief discussion relating Fermat's Last Theorem (FLT) and the Hopf bifurcation. A proof of FLT by elementary methods alone still does not exist.

Recommendations

• Poincaré-Andronov-Hopf bifurcation and the local Hilbert's 16th problem
• scientific article; zbMATH DE number 510308
• Degenerate Hopf Bifurcation Formulas and Hilbert’s 16th Problem
• scientific article; zbMATH DE number 67112
• On the geometry of polynomial dynamical systems

Cites work

• Bifurcations in reaction-diffusion problems
• Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
• scientific article; zbMATH DE number 50180 (Why is no real title available?)
• scientific article; zbMATH DE number 517071 (Why is no real title available?)
• scientific article; zbMATH DE number 895222 (Why is no real title available?)
• On Canonical Forms and Simplification
• On the nature of turbulence
• Some undecidable problems involving elementary functions of a real variable
• The Hopf bifurcation and its applications. With contributions by P. Chernoff, G. Childs, S. Chow, J. R. Dorroh, J. Guckenheimer, L. Howard, N. Kopell, O. Lanford, J. Mallet-Paret, G. Oster, O. Ruiz, S. Schecter, D. Schmidt, and S. Smale
• Undecidability and incompleteness in classical mechanics

Cited in

(2)

• Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
• A Survey on Analog Models of Computation

This page was built for publication: Undecidable Hopf bifurcation with undecidable fixed point

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1893895)