1: \begin{definition}[cut-off functions]\label{HMP::def:cutoff}

2: For all $j\in\J$ and $\ell,k\in\mathbb{N}$ with $k > \ell$, we define the \emph{cut-off function}

3: \begin{displaymath}

4: \eta_j^{k,\ell}(x) = \frac{\dist(x,\omega_j^{k-\ell})}{\dist(x,\omega_j^{k-\ell})+\dist(x,\varOmega\setminus\omega_j^k)}.

5: \end{displaymath}

6: For $\varOmega\setminus\omega_j^k=\emptyset$, we set $\eta_j^{k,\ell}\equiv0$.

7: Note that $\eta_j^{k,\ell}=0$ in $\omega_j^{k-\ell}$ and $\eta_j^{k,\ell}=1$ in $\varOmega\setminus\omega_j^k$. Moreover, $\eta_j^{k,\ell}$ is bounded between 0 and 1 and Lipschitz continuous with

8: \begin{equation}\label{HMP::e:cutoffH}

9:  \bigl\| \nabla\eta_j^{k,\ell} \bigr\|_{L^{\infty}(\varOmega)}\leq\frac 1{\ell\,H}.

10: \end{equation}

11: See \cite[Theorem 8.5]{Alt2006} for existence and boundedness of the weak derivative of Lipschitz-continuous functions.

12: \end{definition}

13: