1: \begin{definition}

2: \label{def:hmmdiscrtwosc}

3: The discrete two-scale solution 

4: \[(u_H, u_{h, 1}, u_{h,2})\in V_H^1\times L^2(\Om; \widetilde{V}_h^1(Y^*))\times L^2(\Om;V_h^1(D))\]

5: is defined as the solution of

6: \begin{align}

7: \label{eq:discrtwosc}

8: \CB((u_H, u_{h,1}, u_{h,2}), (\psi_H, \psi_{h,1}, \psi_{h,2}))&=\int_{\partial G}g\,\psi_H^*\, d\si\\

9: \nonumber

10: &\hspace{-103pt} \forall (\psi_H, \psi_{h,1}, \psi_{h,2})\in V_H^1\times L^2(\Om; \widetilde{V}_h^1(Y^*))\times L^2(\Om; V_h^1(D))

11: \end{align}

12: with the two-scale sesquilinear form $\CB$ defined in Theorem \ref{thm:twosc}.

13: \end{definition}

14: