
Nonlinear Dynamics at the Free University Berlin  
Organization
Welcome Activities
Publications Research Group
Prof. Dr. A. Azouani 
Bifurcations without parameters(Bernold Fiedler, Stefan Liebscher, James C. Alexander) See also the Picture Gallery of the Dynamical Systems Web. AbstractThe following pictures illustrate some elements of the nonlinear dynamics near equilibrium manifolds. Denoting the equilibrium manifold by x=0, in local coordinates (x, y) in R^{n} x R^{k}, we consider systems
and assume
for all y. For simplicity we will only address the cases k=1 of lines of equilibria. Sufficient smoothness of f and g is assumed. The occurrence of equilibrium manifolds is infinitely degenerate, of course, in the space of all vector fields (f, g)  quite like many mathematical structures are: equivariance under symmetry groups, conservation laws, integrability, symplectic structures, and many others. The special case identically vanishing g in fact amounts to standard bifurcation theory, in the presence of a trivial solution x=0. Note that this condition, which turns the kdimensional variable y into a preserved constant parameter, is infinitely degenerate even in our present setting of equilibrium manifolds. Due to the analogies of our results and methods with bifurcation theory, we call our emerging theory bifurcation without parameters. This terminology emphasizes the intricate dynamics which arises when normal hyperbolicity of the equilibrium manifold fails. Applications include coupled oscillators, viscous profiles in systems of hyperbolic balance laws, populations dynamics, contact structures, fluid mechanics, and many more. Normal hyperbolicityNormally hyperbolic equilibrium manifolds admit a transverse C^{0}foliation with hyperbolic linear flows in the leaves.
Simple zero eigenvalueThe simplest bifurcation szenario is imposed by the loss of normal hyperbolicity at x=y=0, due to a nontrivial transverse eigenvalue zero of the linearization. A normal form is given by
Clearly dx/dy=y, and the resulting flow lines are parabolas. For comparison with standard bifurcation theory, we draw the yaxis of equilibria horizontally.
Simple zero eigenvalue with reflection symmetryThis time with an additional reflection symmetry (x is mapped to x), we obtain a normal form
The Euler multiplier 1/x transforms the reflection into a time reversibility. Note the resulting integrable, harmonic oscillator case which originates from the elliptic sign y'=x^{2} with identically coinciding strong stable (green) and strong unstable (red) manifolds.
AndronovHopf pointIncreasing the dimension, we consider x=(x_{1}, x_{2}) in R^{2}, y in R with a line x=0 of equilibria and a purely imaginary nonzero eigenvalue iw at y=0. Normalform theory then generates an additional S^{1}symmetry by the action of exp(iw t) in the xeigenspace. This equivariance can be achieved, successively, up to Taylor expansions of any finite order. In polar coordinates (r, φ) for x, an example of leading order terms is given by
Since the first two equations coincide with the previous case, the dynamics is then obtained by simply rotating the previous figures around the yaxis at speed w. However, higher order terms typically do not respect the S^{1}symmetry of the normal forms. Therefore, in the elliptic case, the twodimensional strong stable (green) and strong unstable (red) manifolds of the trivial equilibria will split, generically, to permit transverse intersections.
The final picture shows in the hyperbolic case a stable (green) and an unstable (red) cone of the bifuctation point at the origin. They separate the three regions of different behaviour. In the elliptic case, all nonstationary orbits are heteroclinic from the unstable foci, at y>0, to stable foci at y<0. In the picture, the splitting of the twodimensional strong stable (green) and strong unstable (red) manifolds is shown.
BogdanovTakens pointWe call a singularity with a algebraically double and geometrically simple eigenvalue zero in the cross directions a BogdanovTakens point, in analogy to classical bifurcation theory. This first codimensiontwo bifurcation requires a plane of equilibria. Alternatively, a line of equilibria with an additional scalar parameter (which does not destroy the line of equilibria) could be considiered. It turns out that, for BogdanovTakens points, both viewpoints lead to similar results. In suitable rescaled form a general flow near a BogdanovTakens point on a plane of equilibria reads
with fixed parameters b, λ and ε. The λy plane is the original plane of equilibria, b depends on the nonlinearity, ε is a rescaling (or blowup) parameter. Note the algebraically triple zero eigenvalue, double in the transverse directions x=(y', y''), for λ=y=0. For ε=0 the system becomes completely integrable. Two first integrals are then given by
For fixed Θ we obtain a Hamiltonian system. The perturbation by ε>0 imposes a slow drift of these first integrals. Aiming for bounded solutions, we describe the resulting Poincaré map in a section transverse to all periodic orbits of the integrable case.
As coordinates in the section we choose τ=log Θ and ~H=Θ^{3/2}H, not drawn to scale. Parameters are ε,λ>0 and, for the hyperbolic case, 17/12<b<1. For the elliptic case we consider b>1. The equilibrium yaxis, a cusp in (Θ, H) coordinates, transforms to the top (saddles) and bottom (foci) horizontal boundaries, with y=0 relegated to τ=infinity. Since τ and ~H are constants of the flow, for ε=0, they represent slow drifts on the unperturbed periodic motion, for small ε>0 and ~H between the top and bottom boundaries, ~H^{2}<8/9. The top boundary also represents homoclinics to the saddles, for ε=0. Along the bottom focus line we observe Hopf bifurcations without parameters, corresponding to y=λ>0. The value of b distinguishes elliptic and hyperbolic cases. In addition, lines of saddlefocus heteroclinic orbits and isolated saddlesaddle heteroclinics are generated, for ε>0, by breaking the homoclinic sheets of the integrable case. Note in particular the infinite swarm of saddlesaddle heteroclinics, in the hyperbolic case.
References
 
Last change: Dec. 18, 2012 
