1: \begin{definition}\label{definition:limiting_upper_lower_hamiltonians}

2: Suppose we are either in the setting of Theorem~\ref{thm:MD:paramagnetic:critical} with $\nu=2$ or in the setting of Theorem~\ref{thm:MD:paramagnetic:tricritical} with $\nu=4$. Let $H \subseteq C_b(\bR) \times C_b(\bR)$, with domain $\cD(H) = C_c^\infty(\bR)$, be defined as 

3: \begin{itemize}

4: \item

5: in the setting of Theorem~\ref{thm:MD:paramagnetic:critical} with $\nu=2$:

6: %

7: \begin{equation}\label{eqn:fixed_parameter_case_Hamiltonian_nu=2}

8: H(x,p) = \frac{2}{\cosh(\beta B)} p^2 + \frac{2}{3} \beta (2 \beta - 3) \cosh (\beta B) x^3 p;

9: \end{equation}

10: %

11: 

12: \item

13: in the setting of Theorem~\ref{thm:MD:paramagnetic:tricritical} with $\nu=4$:

14: %

15: \begin{equation}\label{eqn:fixed_parameter_case_Hamiltonian_nu=4}

16: H(x,p) = 2  \sqrt{\frac{2}{3}} p^2 - \frac{9}{10} \sqrt{\frac{3}{2}} \, x^5 p.

17: \end{equation}

18: %

19: \end{itemize}

20: We define the approximating Hamiltonians $H_\dagger \subseteq C_l(\bR^2) \times C_b(\bR^2)$ and $H_\ddagger \subseteq C_u(\bR^2) \times C_b(\bR^2)$ as 

21: %

22: \begin{align*}

23: H_\dagger & := \left\{ \left(  \psi(x) + \varepsilon \log(1+x^2+y^2), \, H\psi(x) + c(\varepsilon) \right) \, \middle| \, \psi \in C_c^\infty(\mathbb{R}), \varepsilon \in (0,1) \right\}, \\[0.1cm]

24: H_\ddagger & := \left\{ \left(  \psi(x) - \varepsilon \log(1+x^2+y^2), \, H\psi(x) - c(\varepsilon) \right) \, \middle| \, \psi \in C_c^\infty(\mathbb{R}), \varepsilon \in (0,1) \right\},

25: \end{align*}

26: %	

27: with $c(\varepsilon) := 8 \left( \frac{\varepsilon}{2} \|\psi'\| +  \varepsilon^2 \right)$.

28: \end{definition}