1: \begin{definition}

2: \label{def:hmmdiscrtwosc}

3: Define the piecewise constant approximations $\varepsilon_{0, h}^{-1}$ and $\varepsilon_{1,h}^{-1}$ on $\Omega \times Y$ by $\varepsilon^{-1}_{\cdot, h}(x,y)|_{T_j\times S_l}:=\varepsilon_{\cdot}^{-1}(x_j, y_l)$.

4: The discrete two-scale solution

5: \[(\Vu_H, \Vu_{h,1}, u_{h,2}, \Vu_{h,3})\in  \VV_{H,h}:=\VV_H\times L^2(\Omega; \widetilde{\VV}_h(\Sigma^*))\times L^2(\Omega; \widetilde{W}_h(\Sigma^*))\times L^2(\Omega;\VV_h(\Sigma))\]

6: is defined as the solution of

7: \begin{equation}

8: \label{eq:discretetwosceq}

9: \begin{split}

10: &\!\!\!\!\CB_h((\Vu_H, \Vu_{h,1}, u_{h,2}, \Vu_{h,3}), (\Vpsi_H, \Vpsi_{h,1}, \psi_{h,2}, \Vpsi_{h,3}))=(\Vg,(\Vpsi_H)_T)_{\partial G} \\

11: &\qquad \forall (\Vpsi_H, \Vpsi_{h,1}, \psi_{h,2}, \Vpsi_{h,3})\in \VV_H\times L^2(\Omega; \widetilde{\VV}_h(\Sigma^*))\times L^2(\Omega; \widetilde{W}_h(\Sigma^*))\times L^2(\Omega; \VV_h(\Sigma)),

12: \end{split}

13: \end{equation}

14: where the sesquilinear form $\CB_h$ equals $\CB$ from Theorem \ref{thm:twoscaleeq}, but with the coefficients $\varepsilon^{-1}_\cdot$ replaced by the piecewise constant approximations $\varepsilon^{-1}_{\cdot, h}$.

15: \end{definition}

16: