next up previous contents
Next: Suspension of a Map Up: Flows and Maps Previous: Flows

Poincaré Map

  A continuous flow can generate a discrete map in at least two ways: by a time-T map and by a Poincaré map. A time-T  map results when a flow is sampled at a fixed time interval T. That is, the flow is sampled whenever t = nT for n = 0, 1, 2, 3, and so on.

The more important way (as described, for instance, in Guckenheimer and Holmes [1]) in which a continuous flow generates a discrete map is via a Poincaré map . Let tex2html_wrap_inline13718 be an orbit of a flow in tex2html_wrap_inline14567 . As illustrated in Figure 4.2, it is often possible to find a local cross section  tex2html_wrap_inline14656 about tex2html_wrap_inline13718 , which is of dimension n-1.

   figure4381
Figure 4.2: Construction of a Poincaré map from a local cross section.

The cross section need not be planar; however, it must be transverse to the flow. All the orbits in the neighborhood of tex2html_wrap_inline13718 must pass through tex2html_wrap_inline14664 . The technical requirement is that for all tex2html_wrap_inline14668 , where tex2html_wrap_inline14670 is the unit normal vector to tex2html_wrap_inline14664 at tex2html_wrap_inline14520 . Let tex2html_wrap_inline14676 be a point where tex2html_wrap_inline13718 intersects tex2html_wrap_inline14664 , and let tex2html_wrap_inline14682 be a point in the neighborhood of tex2html_wrap_inline14676 . Then the Poincaré map (or first return map ) is defined by

  equation4403

where tex2html_wrap_inline14686 is the time taken for an orbit starting at tex2html_wrap_inline14688 to return to tex2html_wrap_inline14664 . It is useful to define a Poincaré map in the neighborhood of a periodic orbit. If the orbit tex2html_wrap_inline13718 is periodic of period T, then tex2html_wrap_inline14696 . A periodic orbit that returns directly to itself is a fixed point of the Poincaré map. Moreover, an orbit starting at q close to p will have a return time close to T.

For forced systems, such as the Duffing oscillator studied in section 3.4, a global cross section and Poincaré map are easy to define since the phase space topology is tex2html_wrap_inline14048 . All periodic orbits of a forced system have a period that is an integer multiple of the forcing period. In this situation, it is sensible to pick a planar global cross section that is transverse to tex2html_wrap_inline12574 (see Fig. 3.8). The return time for this cross section is independent of position and equals the forcing period. In this special case, the Poincaré map is equivalent to a time-T map.

The Poincaré map for the example of the rotational flow generated by tex2html_wrap_inline14706 is particularly trivial. A good cross section is defined by the positive half of the x-axis, tex2html_wrap_inline14710 . All the orbits of the flow are fixed points in the cross section, so the Poincaré map is just the identity map, P(x) = x.

See Appendix E, Hénon's Trick, for a discussion of the numerical calculation of a Poincaré map from a cross section.


next up previous contents
Next: Suspension of a Map Up: Flows and Maps Previous: Flows

Nicholas B. Tufillaro
Mon Mar 3 01:58:02 PST 1997