I have used one-dimensional centre manifolds in my research on several occasions. I now see that I always did this in quite an ad hoc way. I did not exercise due diligence in the sense that I did not take the time to get a general picture of what was going on, so as to be able to use this technique more efficiently in the future. Now I want to do so. I start with the two ODE and . This example is general enough to illustrate several important ideas. Here and are supposed to be smooth and vanish at least quadratically near the origin. The linearization of this system has the eigenvalues and zero. Its kernel is spanned by the vector with components . It follows that there exists a centre manifold of the form , where has any desired finite degree of differentiability. By definition this manifold is invariant under the flow of the system, it passes through the origin and its tangent space there is the axis. Consider the Taylor expansion . Substituting this into the evolution equation for gives . This is a leading order approximation to the flow on the centre manifold. If we can use it to read off the stability of the origin within the centre manifold. This argument uses no information about the way the centre manifold deviates from the centre subspace, i.e. how fast grows near zero. If we need to go further.
Differentiating the defining equation with respect to time and substituting the evolution equations into the result gives . Call this equation (*). It can be analysed with the help of the Taylor expansions and . Substituting these into (*) we see that the left hand side is of order three. Thus the same must be true of the right hand side and we get and . Substituting this back into the evolution equation for gives . Thus if the stability of the origin is determined by the sign of . If it is zero we can do another loop of the same kind. Looking at the third order terms in the equation (*) we get . This allows the fourth order term in the evolution equation for to be determined. This procedure can be repeated as often as desired to get higher order approximations for the centre manifold and the restriction of the system to that manifold.
We can now sum up the steps involved in doing a stability analysis. First look at the coefficient of in the equation for . If it is non-zero we are done. If it is zero use the equation (*) to determine the leading term in the expansion of the centre manifold. Put this information into the equation for . If the leading term is non-zero we are done. If it is zero we can repeat the process as long as is necessary to get a case in which the leading order coefficient is non-zero. As long as this point has not been reached we cycle between using (*) and the equation for . The system I have discussed here was special. The codimension of the centre manifold was one and the system was in a form which usually could only be achieved by a preliminary linear transformation of the coordinates. The special case nevertheless exhibits the essential structure of the general case and can serve as a compass when treating examples.
These ideas can be extended to give information about bifurcations. The equations are replaced by and , where is a parameter. This can be made into a three-dimensional extended system by adding the equation . The origin is a steady state of the extended system and the centre manifold at that point is of dimension two. It is of the form . Suppose that we are in the case . Then this looks very much like the case of a generic fold bifurcation. We are just missing one condition on the parameter dependence. The dynamics on the centre manifold is given by . Of course the equation remains unchanged. We can now check the conditions for a generic fold bifurcation in the system reduced to the centre manifold. The first is . The second is . Hence is equivalent to . The third involves . We see that is equivalent to . The fourth involves . We see that is equivalent to . The first three conditions for a generic fold bifurcation of the system on the centre manifold are already satisfied and the fourth is equivalent to . In this way the bifurcation conditions can be expressed directly in terms of the coefficients of the original system. This is an illustration in a relatively simple example of a relationship discussed in much more general cases in the book of Kuznetsov.
April 11, 2024 at 11:41 am |
When this was originally posted some important terms were omitted. This problem has now been corrected.
April 18, 2024 at 7:20 am |
The above discussion can be made more concrete with the help of a good example, such as Example 5.1 in Kuznetsov’s book. In that case , and the steady state is stable. A phase portrait in the book shows what is going on.