The existence proof for Hopf bifurcations

In a Hopf bifurcation a pair of complex conjugate eigenvalues of the linearization of a dynamical system $\dot x=f(x,\alpha)$ at a stationary point pass through the imaginary axis. This has been discussed in a previous post. Often textbook results (e.g. Theorem 3.3 in Kuznetsov’s book) concentrate on the generic case where two additional conditions are satisfied. One of these is that the first Lyapunov coefficient is non-vanishing. The other is that the eigenvalues pass through the imaginary axis with non-zero velocity. The existence of periodic solutions can be obtained if only the second of these conditions are satisfied. This was already included in the original paper of Hopf in 1942. Hopf states his results only in the case of analytic systems but this should perhaps be seen as a historical accident. A similar result holds with mucher weaker regularity assumptions. It is proved under the assumption of $C^2$ dependence on $x$ and $C^1$ dependence on $\alpha$ in Hale’s book on ordinary differential equations. This has consequences for the case where the second genericity assumption is not satisfied. Let $\lambda$ be an eigenvalue which passes through the imaginary axis for $\alpha=0$ and suppose that the derivatives of ${{\rm Re}\lambda}$ with respect to $\alpha$ vanish up to order $2k$ for an integer $k$ but that the derivative of order $2k+1$ does not vanish. Then it is possible to replace $\alpha$ by $\alpha^{2k+1}$ as parameter and after this change the second genericity assumption is satisfied. Even if the original right hand side was analytic in $\alpha$ the transformed right hand side is in general not $C^2$ . It is, however, $C^1$ and so the version of the theorem in Hale’s book applies to give the existence of periodic solutions. This theorem applies to a two-dimensional system but it then also evidently applies in general by a centre manifold reduction.

The theorem is proved as follows. The problem is transformed to polar coordinates $(\rho,\theta)$ and then $\rho$ is written as a function of $\theta$ . In this way a non-autonomous scalar equation with $2\pi$ -periodic coefficients is obtained and the aim is to find a $2\pi$ -periodic solution. The first step is to reformulate the task as a fixed-point problem with the property that if a fixed point is periodic it will be a solution of the original problem. Then it is shown using the Banach fixed point theorem(in a minor variant of the local existence theorem for ODE using Picard iteration) that there always exists a fixed point depending on a certain new parameter. This fixed point is only periodic if the result of substituting it into the right hand side of the original equation has mean value zero. This condition can be written as $G(\alpha,a)=0$ . Applying the implicit function theorem to $G$ shows the existence of a solution of $G(\alpha(a),a)=0$ for $a$ small. This completes the proof.

Summing up, there are two types of theorem about Hopf bifurcation, a ‘coarse’ theorem of the type just sketched with weak hypotheses and a weak but still very interesting conclusion and a ‘fine’ theorem which gives stronger conclusions but needs a stronger hypothesis (non-vanishing of the Lyapunov coefficient and its sign). In his original paper Hopf proved both types. Are there also ‘rough’ versions of theorems about other bifurcations?

This entry was posted on September 22, 2014 at 3:46 pm and is filed under dynamical systems. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

2 Responses to “The existence proof for Hopf bifurcations”

hydrobates Says:
October 22, 2014 at 11:14 am | Reply
I noticed that one important part of what I wrote here is not correct. The transformed system need not be continuously differerentiable
in general. Thus the argument I sketched above with the transformation is not valid. The ‘coarse’ version of the theorem on Hopf bifurcations can nevertheless be useful in other ways.
Hopf bifurcations and Lyapunov-Schmidt theory | Hydrobates Says:
January 1, 2022 at 3:22 pm | Reply
[…] a previous post I wrote something about the existence proof for Hopf bifurcations. Here I want to explain another […]

Hydrobates

The existence proof for Hopf bifurcations

Share this:

Like this:

Related

2 Responses to “The existence proof for Hopf bifurcations”

Leave a Reply Cancel reply