A discrete-time return map obtained by intersecting trajectories of a continuous-time dynamical system with a chosen transversal section; the map sends each intersection point to the next intersection along the forward flow.

Principle

By reducing a continuous flow to the iterates of a section-to-section map, the stability and local dynamics of periodic orbits and recurrent behavior are captured by fixed points and their linearization of the return map.

Demonstration

For an oscillator, pick a plane transverse to the limit cycle; record where trajectories cross the plane and define the Poincaré map that takes one crossing to the next — a periodic orbit becomes a fixed point of that map.

Misapplication

Choosing a section tangential to the flow or one that is not transverse leads to ill-defined or degenerate returns; using the map outside a neighborhood where the section is transversal invalidates local conclusions about stability.

Consequence

Transforms questions about continuous-time orbit stability and bifurcation into discrete dynamical systems problems about fixed points and multipliers, often simplifying analysis and numerical computation.

Reversal

Analyzing the full continuous-time flow without reduction to a return map, which preserves all temporal information but can obscure discrete recurrence structure.

Boundary

Requires a smooth flow and a transverse section with return times; excludes systems without recurrence, nontransversal intersections, and purely discrete-time systems where a return section is not meaningful.

Semantic Tension

Poincaré map versus stroboscopic map: both produce discrete maps from flows, but a stroboscopic map uses fixed time intervals while a Poincaré map uses crossings of a geometric section and better captures phase relationships with periodic orbits.

Synthesis

A Poincaré map is the section-to-section return map that reduces a continuous flow to discrete iterates on a transversal section, encoding local orbit stability and recurrent dynamics as fixed points and their local linear behavior.