What Topological Analysis is ?


- Chaotic Attractors

A trajectory that satisfies a deterministic set of equations and that starts from a prescribed initial conditon can exhibit bizarre behavior. Plots of such trajectories in the phase space are called strange attractors or chaotic attractors. A useful working definition of chaotic motion is motion that is:

  • deterministic
  • bounded
  • recurrent but not periodic
  • sensitive to initial conditions

Figs. 1 and 2 show two examples of chaotic attractors.

JPG - 40 kb
Fig. 1: Folded Chaos solution to the Rössler system
PNG - 340.7 kb
Fig. 2: A chaotic attractor produced by a tearing mechanism

Sensitivity to initial conditions is shown in Fig. 3. In this figure two trajectories are shown that emerge from nearby initial conditions for (a) the Rössler attractor and (b) the Lorenz attractor. The initial conditions differ by 0.000001 in the coordinate plotted. For short times the two trajectories follow each other so closely they cannot be distinguished, but after sufficiently long times the trajectories are wildly different. Long term prediction is clearly impossible.

GIF - 59.8 kb
Fig. 3: Sensitivity to initial conditions for two different chaotic dynamics.

Chaotic attractors are built up by the endless repetition of two fundamental processes: stretching and squeezing. Stretching is responsible for sensitivity to initial conditions and is measured quantitatively by positive Lyapunov exponents. Squeezing is responsible for building up the layered structure, like a millefeuille. The rate at which squeezing occurs is measured by the negative Lyapunov exponents. The layered structure is called a fractal. The quantitative properties of fractals are measured by their dimensions D, which are real numbers rather than integers. In Fig. 1 the Rössler attractor (D=1.98) is built up by repetition of stretching and folding. The folded parts of the attractor are squeezed together to build up a fractal. In Fig. 2 the Lorenz attractor (D=2.02) is built up by repetition of tearing and squeezing. In this case the separated parts of the attractor are squeezed together to build up a fractal. Other attractors are built up by combinations of these processes.

These two chaotic attractors "look different". Is there any way to show that they really "are different"? Obviously, their dimensions are too close to provide any useful indication about their structure [1] [2]. The only sensible way to define "different" is in a topological sense. More precisely, two chaotic attractors are ’’equivalent’’ (or ’’isotopic’’) if one can be deformed continuously into the the other simply by deforming the space in which they live: discontinuous processes such as tearing, gluing, or surgery (tearing and gluing) are not allowed. If two attractors are not equivalent in this topological sense, they are "different".

- Periodic orbits and Topological Invariants

How to determine the equivalence or inequivalence of two chaotic attractors is yet another miracle of topology. Associated with every chaotic attractor there are periodic orbits. There is an infinity of such orbits; they are countable and are all unstable. This follows from a simple intuitive argument. If you follow a chaotic trajectory long enough it will come back to the neighborhood of its initial position (Poincaré’s "recurrent but not periodic" property). If you perturb the initial condition just the right way, the perturbed trajectory will close up to form a periodic orbit. This periodic orbit is not stable; otherwise the initial condition would have relaxed to this orbit.

In three dimensional space an integer invariant can be associated to each pair of closed orbits. This invariant is the Gauss Linking Number. It is defined by an integral

Lk(\vec{x},\vec{y}) = \frac{1}{4 \pi}\oint \oint
\frac{(\vec{x} - \vec{y}) \cdot d\vec{x} \wedge d\vec{y}}{|\vec{x}-\vec{y}|^3}

This integral expression is applied to two closed orbits \vec{x}(s) = (x_1(s),x_2(s),x_3(s)) and \vec{y}(t) = (y_1(t),y_2(t),y_3(t)) with 0 \le s,t \le 1, \vec{x}(0)=\vec{x}(1), and \vec{y}(0)=\vec{y}(1), with the condition that the two closed orbits share no point in common: \vec{x}(s)\ne \vec{y}(t) for any values of s,t. It is remarkable that this integral, which appears to be of geometric origin, always has integer values - which is a signature of topological origins.

In practice, it is often simpler to compute Lk({\vec{x},\vec{y}}) by projecting the two closed curves onto a planar surface and counting the number of times their projections cross. The crossings carry a sign, \pm 1, depending on which segment is closer to the observer in the projection and the directions in which the projected segments cross. This will be made explicit below.

The Gauss Linking Number between two orbits remains unchanged while the orbits are disjoint: it can only change when a segment of one orbit crosses through a segment of the other orbit. At such points  | \vec{x}-\vec{y}|=0 and the integral fails to exist. Such crossings cannot occur for the orbits "in" chaotic attractors because the crossing point would then have two futures, one associated with each periodic orbit. This violates determinism.

From each chaotic attractor we can extract the unstable periodic orbits, and for each distinct pair we can compute the Gauss Linking Number. To be equivalent, two chaotic attractors must have not only a 1:1 correspondence between their unstable periodic orbits, but the Linking Numbers of corresponding orbits must be the same. These ideas are illustrated in Figs. 1 and 4. These figures show the projections of two chaotic attractors onto the x-y planes in their respective phase spaces. Chaotic behavior is produced by stretching and folding in both cases. This is confirmed by the shape of the first return map onto a Poincaré section for each of the attractors.

PNG - 217.1 kb
Fig. 4: Chaotic attractor solution to the Sprott D system.

A Poincaré section is a surface that the trajectory intersects "each time around". For the Rossler attractor the surface is the half plane parallel to the x-z plane  y = cst. with one edge going through the hole in the middle of the attractor. For the other attractor the Poincaré section is defined similarly. The Poincaré sections are indicated by the red line segments in Figs rossatt and sprottD. For plotting them, both the x and  z coordinates are recorded each time the trajectory intersects the Poincaré section.

In the cases shown in Figs. 1b and 4b the first-return map is a plot of the next value of x as a function of the previous value:  x_{n+1} vs.  x_n . Although these curves have a fractal structure, the fractals are so thin they look like simple one-dimensional curves. The parabolic nature of the maximum of the first return map is a signature that the mechanism that produces chaotic behavior is stretching and folding, not tearing and squeezing.

Segments of trajectories in the chaotic attractor that are good approximations to unstable periodic orbits can be located using first return maps. The sequence of value  x_i is searched to find the value of the index k that minimizes  |x_{k+p}-x_k| . The coordinate values (x,y,z)_k are used as initial conditions for a trajectory that comes very close to closing after  p times around the attractor. If this trajectory does not almost close up before p periods, the segment of the chatoic trajectory starting at  (x,y,z)_k and ending at  (x,y,z)_{k+p} is used as an approximation for an unstable orbit of period  p . This is a simple way to locate unstable periodic orbits in a chaotic attractor. The intersection of the first return map with the diagonals  x_{n+1}=x_n in Figs 1b and 4b easily locates the period one orbit(s). Two unstable periodic orbits are plotted in Figs 1c and 4c for each of the two attractors.

- Symbolic Dynamics

Each orbit has been given a name. The name is determined by the order in which the orbits occur in the first return map. That is, each of the two branches of the first return map has been given a name: 0 for the ascending branch with slope >0 and 1 for the descending branch with slope <0. The two branches are separated by a maximum where the slope is zero. The assignment of a discrete sequence of a small number of symbols to a continuous trajectory is called ’’symbolic dynamics’’. Symbol sequences related by cyclic permutations describe the same orbit: for example the symbol sequences 1011, 0111, 1110, and 1101 describe the four different periodic points of a single period-four orbit. Periodic orbits of the Rössler attractor are described using a symbolic dynamics in [3].

Linking numbers are computed by counting signed crossings and dividing by two. At each crossing the tangent vector at the upper segment is rotated through the smallest angle into the tangent vector to the lower segment. If the rotation is right-handed the crossing is assigned the index +1 ; if it is left-handed the crossing is assigned the index -1. The Gauss Linking Number of the two orbits is half the sum of the signed crossing indices.

The orbits labeled 10 and 1011 exhibit 6 negative crossings for the Rossler attractor. In the Sprott D attractor the two orbits with the same symbolic names have 8 negative crossings and two positive crossings. In both cases, Lk(10,1011)=-3. The linking numbers for three corresponding orbits in each of the two attractors is shown in Tab. 1.

PNG - 1.4 kb
Tab. 1: Linking numbers estimated for few periodic orbits extracted from the two attractors.

- Further readings

PDF - 5.7 Mb
Ph.D. Thesis (DOI: 10.13140/RG.2.1.1280.5281)

An extended version of this article written with Robert Gilmore & Marc Lefranc is available at Scholarpedia. Many details about topological characterization can be found in [4] or in my Ph’D thesis (in French).

[1] I. Moroz, C. Letellier & R. Gilmore, When are projections also embeddings ?, Physical Review E, 75, 046201, 2007.

[2] C. Letellier, I. Moroz & R. Gilmore, A comparison of test for embeddings, Physical Review E, in press.

[3] C. Letellier, P. Dutertre & B. Maheu, Unstable periodic orbits and templates of the Rössler system : toward a systematic topological characterization, Chaos, 5 (1), 271-281, 1995.

[4] R. Gilmore & M. Lefranc, The topology of Chaos, Wiley, 2005.

ATOMOSYD © 2007-2024 |  Follow-up of the site's activity  |  SPIP  |  scoty  |  MàJ . 04/02/2024