It is well known that a hyperbolic equilibrium point of a finite dimensional dynamical system (the eigenvalues of the Jacobian are not on the imaginary axis) is an isolated solution in the space of bounded functions (cf. [8], [10]). Such an equilibrium point is "structurally stable", and bifurcations can occur only at those equilibrium points for which the eigenvalues have vanishing real part. Moreover, the natural question of bifurcation of oscillating solutions has been considered almost exclusively for the periodic case, very little being known about bifurcation of quasi-periodic solutions. In the linear case, quasi-periodic solutions can be obtained simply by superposition of periodic solutions with rationally independent frequencies. In the general non-linear case, however, their construction leads necessarily to the socalled problem of small divisors. In connection with the stability of an equilibrium point MOSER [17, pp. 21] and BIBIKOV [3, pp. 91] have treated analytic systems in R 2" which are either reversible or Hamiltonian. They assume that the origin is an elliptic equilibrium point (the Jacobian has only imaginary eigenvalues). Under certain conditions on the terms of order less than four of the Birkhoff normal form, they show that in every neighborhood of the origin there are quasiperiodic solutions with n independent frequencies. This set of solutions is in general not connected, but the relative measure of the points of these trajectories tends to one when the neighborhood shrinks to zero. In [1] the existence of such solutions has been extended to the more general case where eigenvalues with nonvanishing real part are allowed. In recent papers BROER [5], and BRAAKSMA and BROER [4], have constructed quasi-periodic bifurcating solutions for divergence free C l vector fields in R 3 and R 4 involving a single real parameter. We consider here reversible analytic systems in R q, which depend on a pdimensional parameter r/
Read full abstract