Codimension-m Bifurcation Theorems Applicable to the Numerical Verification Methods

الملخص EN

We establish codimension-m bifurcation theorems applicable to the numerical verification methods.

They are generalization of codimension-1 bifurcation theorems established by (Kawanago, 2004).

As a numerical example, we treat Hopf bifurcation, which is codimension-2 bifurcation.