1: \begin{definition}Let $0\le a_0 < M$ and let $\omega_{\rm high} = \omega_{\rm high}(a_0,M)$ and $\epsilon_{\rm width} = \epsilon_{\rm width}(a_0,M)$ be the parameters

2: from Theorem~\ref{phaseSpaceILED}. We define the trapping parameters $s_{\pm}$ by

3: \begin{equation}\label{sminus}

4: s_-\left(a_0,M\right) \doteq 3M - \inf_{0\le a \leq a_0,(\omega,m,\Lambda) \in \mathcal{G}_{\mbox{$\natural$}}, r_{\rm trap}\ne 0}r_{\rm trap}\left(\omega,m,\Lambda\right) - \varepsilon\left(a_0\right),

5: \end{equation}

6: \begin{equation}\label{splus}

7: s_+\left(a_0,M\right) \doteq \sup_{0\le a \leq a_0,(\omega,m,\Lambda) \in \mathcal{G}_{\mbox{$\natural$}}r_{\rm trap}\ne 0}r_{\rm trap}\left(\omega,m,\Lambda\right) - 3M + \varepsilon\left(a_0\right).

8: \end{equation}

9: where

10: $\varepsilon\left(a_0\right)$ is

11: a fixed choice of continuous function such  that $\varepsilon(0)=0$ and

12: $\varepsilon\left(a_0\right) > 0$ for $a_0>0$,

13: and such that $s_\pm$ satisfy for all $0\le a\le a_0$ the relations

14: \[

15: r_+(a,M)<3M-s_-(a_0,M)

16: <3M + s_+\left(a_0,M\right) < \infty.

17: \]

18: 

19: \end{definition}

20: