skip to main content
10.1145/3452143.3465519acmconferencesArticle/Chapter ViewAbstractPublication PagesissacConference Proceedingsconference-collections
research-article

Criteria for Hopf Bifurcations with Fixed Multiplicities

Published: 18 July 2021 Publication History

Abstract

The Hopf bifurcation theorem gives us a sufficient condition for that there is a Poincaré-Andronov-Hopf bifurcation by using prior assumptions on special coordinates. In 2020, Kruff and Walcher introduced a useful method to compute sufficient conditions for simple Poincaré-Andronov-Hopf bifurcations without such prior assumptions. In the paper, for multiple Hopf bifurcations, we generalize the method. The author has implemented the generalized method on the computer algebra system SageMath. The usefulness of the generalized method is illustrated by the implementation.

References

[1]
N. Y. Bibikov. Local theory of nonlinear analytic ordinary differential equations. Berlin; New York: Springer-Verlag, 1979.
[2]
A quantifier elimination package on maple. www2.math.kyushu-u.ac.jp/ fukasaku/software/CGSQE-2018/.
[3]
C. Chen and M. Maza, M. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. In Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC), pages 91--98, 2014.
[4]
C. Chicone. Ordinary differential equations with applications, 2nd edition. Springer, 2006.
[5]
R. FitzHugh. Impulses and physiological states in theoretical models of nerve membrane. Biophysical Journal, 1:445--466, 1961.
[6]
R. Fukasaku, H. Iwane, and Y. Sato. Real quantifier elimination by computation of comprehensive Gröbner systems. In Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC), pages 173--180, 2015.
[7]
J. Guckenheimer and P. Holmes. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer New York, 1983.
[8]
N. Kruff and S. Walcher. Coordinate-independent criteria for Hopf bifurcations. Discrete and Continuous Dynamical Systems - S, 13(4):1319--1340, 2020.
[9]
W. M. Liu. Criterion of Hopf bifurcations without using eigenvalues. Journal of Mathematical Analysis and Applications, 182(1):250--256, 1994.
[10]
J. E Marsden and M McCracken. The Hopf Bifurcation and Its Applications. Springer New York, 1976.
[11]
S. Mayer, T. Scheurle, and S. Walcher. Practical normal form computations for vector fields. Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)., 84(7):472--482, 2004.
[12]
J. D. Murray. Mathematical Biology I, An Introduction, 3rd Edition. Springer, New York, 2002.
[13]
J. S. Nagumo, S. Arimoto, and S. Yoshizawa. An active pulse transmission line simulating nerve axon. In Proceedings of the Institute of Radio Engineers (IRE), Volume 50, pages 2061--2071, 1962.
[14]
Y. Sato, R. Fukasaku, and H. Sekigawa. On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal. In Proceedings of International Symposium on Symbolic and Algebraic Computation, pages 359--365, 2018.
[15]
J. Scheurle and S. Walcher. On normal form computations. In Geometry, Mechanics, and Dynamics: Volume in Honor of the 60th Birthday of J. E. Marsden, pages 309--325, 2002.
[16]
A quantifier elimination package on working maple. www.fujitsu.com/jp/group/labs/en/about/resources/tech/announced-tools/synrac/.
[17]
V. Weispfenning. A new approach to quantifier elimination for real algebra. In Quantifier Elimination and Cylindrical Algebraic Decomposition, pages 376--392. Springer, 1998.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ISSAC '21: Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation
July 2021
379 pages
ISBN:9781450383820
DOI:10.1145/3452143
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 July 2021

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. comprehensive gr"obner system
  2. cylindrical algebraic decomposition
  3. dynamical system
  4. lyapunov quantity
  5. multiple hopf bifurcation
  6. quantifier elimination

Qualifiers

  • Research-article

Conference

ISSAC '21
Sponsor:
ISSAC '21: International Symposium on Symbolic and Algebraic Computation
July 18 - 23, 2021
Virtual Event, Russian Federation

Acceptance Rates

Overall Acceptance Rate 395 of 838 submissions, 47%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 37
    Total Downloads
  • Downloads (Last 12 months)5
  • Downloads (Last 6 weeks)0
Reflects downloads up to 05 Mar 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media