1: \begin{definition}

2: Assume Assumption \ref{assumption:general_ones_on_R_and_CW}.

3: %Assume either Assumption \ref{assumption:R_space_theory} and $I_0 \in C^{1,\partial}(\R)$ or Assumption \ref{assumption:interval_space_theory} and $I_0 \in C^{1,\partial}[-1,1]$.

4: %Assume that $V$ is $C^1$ (in either model $\R$-space-model or $\pm 1$-space-model).

5: \begin{enumerate}

6: \item We write

7: \begin{align*}

8: \cG:=\{(x, I_0'(x)) : x\in \K^\circ\},

9: \end{align*}

10: for the graph of the derivative of $I_0$.

11: \item For all $(x,p)\in \K \times \bR$ let 

12:  $(X^{x,p}_t, P^{x,p}_t)$  be the solution of the Hamilton equations \eqref{eqn:hamilton_equations} with initial conditions  $(X_0^{x,p},P_0^{x,p})=(x,p)$  and up to the maximal time of existence $t_{x,p}$. 

13:  (See \cite[Theorem 2.4.1]{Pe01}, which by Assumption \ref{assumption:Hamiltonian_for_domain_extension}(a) can also be applied in the case that $\K$ equals $[-1,1]$.)

14: \item For all $t>0$ we define the \emph{push-forward of} $\cG$ to be the set 

15: \begin{equation*}

16: \cG_t := \left\{(X^{x,p}_t, P^{x,p}_t) : (x,p) \in \cG, \, t < t_{x,p} \right\}.

17: \end{equation*}

18: %$\cG_t$ is il called the \emph{push-forward of }$\cG$il  under the Hamiltonian flow.

19: \item 		Fix $t > 0$. We say that $\cG_t$ has an \textit{overhang} at $x \in \K^\circ$, if there exist $y_1, y_2 \in \bR$ with $y_1 \neq y_2$ such that $(x,y_1),(x,y_2) \in \cG_t$. 

20: Hence if $\cG_t$ has an overhang, then it is not a graph (of a function). 

21: \end{enumerate}

22: \end{definition}

23: