Presentation on theme: "Hamiltonian Chaos and the standard map Poincare section and twist maps. Area preserving mappings. Standard map as time sections of kicked oscillator (link."— Presentation transcript:
Hamiltonian Chaos and the standard map Poincare section and twist maps. Area preserving mappings. Standard map as time sections of kicked oscillator (link with quantum chaos). Phase portraits of the standard map. Fixed points in two dimensions. Fixed points of standard map. Poincare-Birkhoff theorem and destruction of rational tori Homoclinic tangle or why chaos begins at hyperbolic fixed points. Rational approximants and the KAM theorem. Outline: What happens for small perturbation? Questions of long time stability?
Poincare section and twist maps Area preserving maps describe Hamiltonian system intersecting with Poincare section
Area preserving property of twist maps Poincare-Cartan invarient This can be generalised to the case of several variables and shows that the Poincare sections generate a “sympleptic mapping”. Conserving system Poincare section Can be derived most elegantly from notions of sympleptic geometry.
Discrete Hamiltonian approach to twist maps Map is area perserving
Phase portraits of the standard map With no “kicking” the action variables are constants of motion; all tori are unperturbed. = 0.00
Phase portraits of the standard map No (apparent) chaotic behaviour but appearance of elliptic and hyperbolic fixed points. = 0.05 Elliptic fixed point. Hyperbolic fixed point
Phase portraits of the standard map Many fixed points of the mapping appear in elliptic/hyperbolic pairs. = 0.47
Phase portraits of the standard map At a critical value of the non-linearity parameter (or “kicking parameter”), orbits can traverse in all directions; this is the point at which the last tori is destroyed. Chaotic layer clearly seen at seperatrix. = 0.97
Phase portraits of the standard map Chaotic “sea” now dominates phase space; the system is globally chaotic. Momentum is unbounded by any tori. = 2.00
Analysis of fixed point types for two dimensional maps Tangent map at fixed point; can prove there is an invertable diffeomorphism connecting tangent map with local phase space.
T Elliptic fixed point Hyperbolic fixed point Parabolic fixed point
Analysis of the elliptic fixed point Since these vectors are linearly independent they completely describe the motion near the fixed point.
Analysis of the hyperbolic fixed point Hyperbolic Hyperbolic with reflection
Hyperbolic fixed point Elliptic fixed point Fixed points of the standard map Eigenvectors of hyperbolic point real; elliptic point complex.
Note the change in the orientation of the “elliptic island” as the perturbation increases. Fixed points of the standard map
Poincare-Birkhoff theorem Standard map Perturbed map
Poincare-Birkhoff theorem Perturbed map Elliptic Hyperbolic Standard map
Rational tori in the standard map 2 3 4 5 1 Destruction of rational tori can clearly be seen in the standard map. Note that as the theorem predicts hyperbolic and elliptic fixed points come in pairs.
Motion near a hyperbolic fixed point: The homoclinic tangle Intuition suggests this is not the generic case! – a simple “homoclinic connection” between the stable and unstable branches of the hyperbolic fixed point. Since the map has inversion stable and unstable branches cannot cross: could construct a many-one map if this was the case. BUT: which point does X map to? Unstable manifold Stable manifold May also have “heteroclinic connection”
Motion near a hyperbolic fixed point: The homoclinic tangle Intuition suggests this is not the generic case! – a simple “homoclinic connection” between the stable and unstable branches of the hyperbolic fixed point. Only possibility is a loop! Unstable manifold Stable manifold
Motion near a hyperbolic fixed point: The homoclinic tangle Intuition suggests this is not the generic case! – a simple “homoclinic connection” between the stable and unstable branches of the hyperbolic fixed point. Which must then be repeated infinitely many times!. Unstable manifold Stable manifold
Branches from different hyperbolic fixed points can also cross – “heteroclinic tangle” Area preservation implies that oscillations increase in amplitude near fixed point. Chaotic behaviour has its origin near the hyperbolic fixed points; as seen in the standard map. Motion near a hyperbolic fixed point: The homoclinic tangle
Iterate a line section; used 40,000 points online indicated by red line in graphs for hyperbolic fixed point 23 iterations, for elliptic fixed point 811 and 2000 iterations Hyperbolic fixed pointElliptic fixed point Initial line section just visible here
Tori generated by action with simple rational frequency are destoryed first by perturbation. However in general this phase space structure will be self-similar! Motion near a hyperbolic fixed point: The homoclinic tangle
Chaos in rational tori can be seen in the solar system in asteroid belt, and also rings of Saturn: leads to gaps in the distribution of matter. Motion near a hyperbolic fixed point: The homoclinic tangle
KAM tori: or why some tori last longer than others 5/8 3/2 Tori which survives the onset of chaos in phase space the longest has action given by the “golden mean”. Cantorous
Continued fractions and rational approximants (Known to Zu Congzhi in 5 th centuary China)
Continued fractions and rational approximants Golden mean is the “most irrational number”; torus destroyed last by chaos.
The shortest KAM theorem slide ever Preserved tori sattisfy: Sufficiently irrational tori (i.e., winding number is irrational) are perserved for small enough perturbations.
Summary of classical chaos Topologically transitive (mixing) Initial trajectories diverge rapidily, but the attractor of motion is fractal and has dimension greater than that of non-chaotic attractor Dynamics are unpredicatble. Universality in the standard map and different routes to chaos: period doubling route to chaos, intermittency, crisis. Fine structure of phase space near hyperbolic fixed points plays a crucial role in chaos. So what happens in quantum systems?