79a61b0e534b9b88.tex
1: \begin{definition}[Induced semi-flow -- Dynamical thickening]
2: \label{def:induced-semi-flow}
3: By Theorem~\ref{thm:inv-fol} each $z\in N=N^{\eps,\tau}$ lies on a leaf
4: $N(\alpha^T)$ for some $T\ge\tau$ and some $\alpha$ in the ascending
5: disk $S^u_\eps$ and where $\alpha^T:=\phi_{-T}\alpha$.
6: Then the continuous map $\theta:[0,\infty]\times N\to X$ defined by
7: \begin{equation}\label{eq:str-def-retract}
8:      \theta_t z
9:      :=\Gg_\alpha^T\circ\pi_+\circ \phi_t\circ\Gg^\infty\circ \pi_+(z)
10:      =\Gg_\alpha^T\circ\phi_t\circ\pi_+(z),
11: \end{equation}
12: is called the {\bf induced semi-flow on \boldmath $N$}; see Figure~\ref{fig:fig-induced-flow}.
13: It is of class $C^r$ away from the stable manifold. Here~(\ref{eq:str-def-retract})
14: simplifies as $\Gg^\infty=(0,id)$ and $\pi_+|_{E^+}=\1$.
15: \end{definition}
16: