 Theorem \[KTI\] to $\tilde \beta_n$, obtaining $$\label{ttt1}
\int_{{\Omega}} |\tilde \beta_n - \tilde A_n|^2 \, dx \le
C \left(\int_{{\Omega}} |\tilde \beta_n{^{\rm sym}}|^2 \, dx + \big(|\mu_n|({\Omega})\big)^2 \right)
\le C|\log {\varepsilon_n}|^2,$$ where $\tilde A_n$ is the average of the anti-symmetric part of $\tilde \beta_n$. Since the average of $\beta_n$ is a symmetric matrix, we have $$\label{ttt2}
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n|^2 \, dx =
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n - \tilde A_n|^2  - |\tilde A_n|^2 \, dx
\le
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n - \tilde A_n|^2 \, dx.$$ Finally, by and we conclude $$\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n|^2 \, dx \le
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n - \tilde A_n|^2 \, dx  \le \int_{{\Omega}} |\tilde \beta_n - \tilde A_n|^2 \, dx \le C|\log {\varepsilon_n}|^2,$$ which gives the desired compactness property for $\beta_n/|\log{\varepsilon_n}|$ in $L^2({\Omega};{\mathbb{M}^{2\times 2}})$.

[*Step $3.$ $\mu$ belongs to $H^{-1}({\Omega};{\mathbb{R}}^2)$ and ${{\rm Curl\,}}\beta=\mu$.*]{} Let ${\varphi}\in C^1_0({\Omega})$. It is easy to construct a sequence $\{{\varphi}_n\}\subset H^1_0({\Omega})$ converging to ${\varphi}$ uniformly and strongly in $H^1_0({\Omega})$ and satisfying the property $${\varphi}_n \equiv {\varphi}(x_{i,n}) \qquad \text{ in } B_{{\varepsilon_n}}(x_{i,n})\quad \text{for every } x_{i,
Theorem \[KTI\ ] to $ \tilde \beta_n$, obtaining $ $ \label{ttt1 } 
 \int_{{\Omega } } |\tilde \beta_n - \tilde A_n|^2 \, dx \le 
 C \left(\int_{{\Omega } } |\tilde \beta_n{^{\rm sym}}|^2 \, dx + \big(|\mu_n|({\Omega})\big)^2 \right) 
 \le C|\log { \varepsilon_n}|^2,$$ where $ \tilde A_n$ is the average of the anti - symmetric part of $ \tilde \beta_n$. Since the average of $ \beta_n$ is a symmetric matrix, we get $ $ \label{ttt2 } 
 \int_{{\Omega}_{{\varepsilon_n}}(\mu_n) } |\beta_n|^2 \, dx = 
 \int_{{\Omega}_{{\varepsilon_n}}(\mu_n) } |\beta_n - \tilde A_n|^2   - |\tilde A_n|^2 \, dx 
 \le 
 \int_{{\Omega}_{{\varepsilon_n}}(\mu_n) } |\beta_n - \tilde A_n|^2 \, dx.$$ ultimately, by and we conclude $ $ \int_{{\Omega}_{{\varepsilon_n}}(\mu_n) } |\beta_n|^2 \, dx \le 
 \int_{{\Omega}_{{\varepsilon_n}}(\mu_n) } |\beta_n - \tilde A_n|^2 \, dx   \le \int_{{\Omega } } |\tilde \beta_n - \tilde A_n|^2 \, dx \le C|\log { \varepsilon_n}|^2,$$ which gives the desired concentration property for $ \beta_n/|\log{\varepsilon_n}|$ in $ L^2({\Omega};{\mathbb{M}^{2\times 2}})$. 

 [ * Step $ 3.$ $ \mu$ belongs to $ H^{-1}({\Omega};{\mathbb{R}}^2)$ and $ { { \rm Curl\,}}\beta=\mu$. * ] { } permit $ { \varphi}\in C^1_0({\Omega})$. It is easy to construct a succession $ \{{\varphi}_n\}\subset H^1_0({\Omega})$ converge to $ { \varphi}$ uniformly and strongly in $ H^1_0({\Omega})$ and meet the property $ $ { \varphi}_n \equiv { \varphi}(x_{i, n }) \qquad \text { in } B_{{\varepsilon_n}}(x_{i, n})\quad \text{for every } x_{i,
 Thforem \[KTI\] to $\tilde \beta_n$, obtaining $$\label{ttt1}
\int_{{\Mmega}} |\filde \bega_n - \tilde A_n|^2 \, dx \le
C \left(\inv_{{\Ometa}} |\tiode \beta_n{^{\rm sym}}|^2 \, dx + \bkg(|\mu_n|({\Omegw})\big)^2 \rigyt)
\le X|\log {\varepsilon_n}|^2,$$ wmzre $\tjpde C_n$ is the averagg of the anth-symmetric pard uf $\tilde \beta_n$. Since the average of $\bqta_n$ is a symmetric mattix, wt hwve $$\mabel{ttt2}
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\betz_n|^2 \, dx =
\pnt_{{\Omega}_{{\varepsilom_n}}(\mu_n)} |\beta_n - \tilde A_n|^2  - |\tipde W_n|^2 \, dx
\le
\int_{{\Omega}_{{\vagepsilon_n}}(\mu_b)} |\beeq_n - \tilde A_n|^2 \, dx.$$ Finally, by and we conclude $$\int_{{\Omega}_{{\varepsilon_n}}(\mu_v)} |\betc_n|^2 \, dx \le
\inj_{{\Ojehd}_{{\varepsilon_i}}(\mu_n)} |\bvta_n - \tilde A_k|^2 \, dx  \ne \int_{{\Okega}} |\tilde \bets_n - \tiode A_n|^2 \, dx \le C|\log {\vacepsilon_n}|^2,$$ which givef the deshrzd compactness properry for $\teta_t/|\log{\xqreosimoi_n}|$ jn $L^2({\Omfga};{\jathbb{M}^{2\timss 2}})$.

[*Step $3.$ $\mu$ belongs to $H^{-1}({\Omega};{\mstrvb{R}}^2)$ and ${{\rm Cudl\,}}\beta=\iu$.*]{} Let ${\varphi}\in C^1_0({\Omega})$. It is easy to consuruct a sequence $\{{\varphi}_n\}\subswt H^1_0({\Omega})$ converging jo ${\varphi}$ tniformly and strongly in $H^1_0({\Omega})$ and satisfying tve prkoeruy $${\varpfu}_n \equiv {\varphi}(x_{i,n}) \qquad \text{ in } B_{{\varepsilon_n}}(x_{y,h})\qiac \text{for evern } x_{i,
Theorem \[KTI\] to $\tilde \beta_n$, obtaining $$\label{ttt1} \beta_n \tilde A_n|^2 dx \le C dx \big(|\mu_n|({\Omega})\big)^2 \right) \le {\varepsilon_n}|^2,$$ where $\tilde is the average of the anti-symmetric of $\tilde \beta_n$. Since the average of $\beta_n$ is a symmetric matrix, we $$\label{ttt2} \int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n|^2 \, dx = \int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n - \tilde A_n|^2 - |\tilde \, \le |\beta_n \tilde A_n|^2 \, dx.$$ Finally, by and we conclude $$\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n|^2 \, dx \le \int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n \tilde A_n|^2 \, dx \le \int_{{\Omega}} |\tilde \beta_n \tilde A_n|^2 \, dx C|\log {\varepsilon_n}|^2,$$ which gives the compactness for $\beta_n/|\log{\varepsilon_n}|$ $L^2({\Omega};{\mathbb{M}^{2\times [*Step $\mu$ belongs to and ${{\rm Curl\,}}\beta=\mu$.*]{} Let ${\varphi}\in C^1_0({\Omega})$. It is easy to construct a sequence $\{{\varphi}_n\}\subset H^1_0({\Omega})$ converging to uniformly and $H^1_0({\Omega})$ and the $${\varphi}_n {\varphi}(x_{i,n}) \qquad \text{ B_{{\varepsilon_n}}(x_{i,n})\quad \text{for every } x_{i,
 Theorem \[KTI\] to $\tilde \beta_n$, obtAining $$\labeL{ttt1}
\iNt_{{\OMegA}} |\tIlde \Beta_N - \tilde A_n|^2 \, dx \le
C \lEFt(\inT_{{\Omega}} |\tilde \beta_n{^{\rm sym}}|^2 \, dX + \big(|\mU_n|({\oMega})\BIg)^2 \Right)
\Le C|\log {\vARePSIloN_n}|^2,$$ WhEre $\TiLDe a_n$ is tHe aVerage oF the anti-syMmeTrIc part of $\tildE \BeTa_n$. Since thE avErage of $\beta_n$ Is a SymmetRiC maTRix, we HavE $$\labeL{ttt2}
\inT_{{\omega}_{{\vArepsilon_N}}(\mU_N)} |\beta_n|^2 \, DX =
\int_{{\OmeGA}_{{\VaRepsIlon_n}}(\mu_n)} |\beta_n - \tildE a_n|^2  - |\TIlde A_n|^2 \, dx
\le
\int_{{\OMega}_{{\vaRePSiLON_n}}(\mU_n)} |\bEta_n - \tilde A_N|^2 \, dX.$$ FinaLLy, by and WE cONCLudE $$\Int_{{\Omega}_{{\varepSilon_n}}(\mu_n)} |\beTA_n|^2 \, dX \le
\int_{{\omEga}_{{\VArepsiLon_n}}(\mU_n)} |\BEta_N - \tilde A_n|^2 \, dx  \lE \int_{{\omega}} |\tildE \beta_n - \TIlde A_n|^2 \, dX \Le C|\log {\vArepsiLon_N}|^2,$$ whIch gIVeS tHe dEsIRed COmPacTNesS propertY fOr $\Beta_n/|\Log{\vAREPSiloN_n}|$ iN $L^2({\OmEga};{\maThbb{M}^{2\times 2}})$.

[*SteP $3.$ $\mu$ BeloNGs tO $H^{-1}({\OmeGa};{\matHbb{R}}^2)$ AnD ${{\rm CuRl\,}}\beta=\Mu$.*]{} Let ${\VaRphi}\in C^1_0({\Omega})$. It iS easY to constrUct A sEquEnCe $\{{\varPHi}_n\}\subSet h^1_0({\OmEga})$ convErging tO ${\VarPhI}$ UNIfOrmly and strongly in $h^1_0({\OMEGa})$ And satisFying tHE pRoPErty $${\varpHi}_N \eqUiv {\vARPhi}(x_{i,N}) \qquAD \tExt{ in } B_{{\vaRepsilON_n}}(X_{i,N})\quad \teXt{For eveRy } X_{i,
 Theorem \[KTI\] to $\tild e \beta_n$ , obt ain ing  $ $\la bel{ ttt1}
\int_{{\ O mega }} |\tilde \beta_n - \ tilde  A _ n|^2 \,  dx \ le
C \l e ft ( \ int _{ {\ Ome ga } }|\til de\beta_n {^{\rm sym }}| ^2  \, dx + \bi g (| \mu_n|({\O meg a})\big)^2 \ rig ht)
\l eC|\ l og {\ var epsil on_n}| ^ 2,$$ w here $\ti ld e  A_n$i s the a v e ra ge o f the anti-symmet r ic part of $\tild e \bet a_ n $. S inc e t he average  o f $\b e ta_n$ i s  a s y mme t ric matrix, w e have $$\l a bel {ttt2} 
\ int _ {{\Ome ga}_{ {\ v are psilon_n}}( \mu_ n)} |\bet a_n|^2 \, dx = \int_{{ \Omega }_{ {\v arep s il on _n} }( \ mu_ n )}  |\ b eta _n - \ti ld eA_n|^ 2  - | \ t ilde  A_ n|^2  \, d x
\le
\int_{{ \Om ega} _ {{\ varep silon _n}} (\ mu_n) } |\be ta_n-\tilde A_n|^2 \ , dx .$$ Final ly,  b y a nd  we c o nclude  $$ \in t_{{\Om ega}_{{ \ var ep s i l on _n}}(\mu_n)} |\bet a_ n | ^2  \, dx \ le
\in t _{ {\ O mega}_{{ \v are psil o n _n}}( \mu_ n )}  |\beta_ n - \t i ld eA_n|^2\,  dx  \ le  \i nt_ {{\Om e ga}}  |\til de \beta _n -\ tilde A_n|^2 \ ,  dx \le C|\lo g  { \ v ar e psil on_ n}|^2,$$ wh ichg ives  the de sir e d com pactn es s  p r operty for $\beta_n /| \log{\ varep silon_n}|$ in  $L^2({\Om e g a };{\math bb{M } ^{ 2 \times 2}})$.
[*St ep $3.$ $\ m u$ belon gs to  $H^{-1} ({\Omega} ; { \mathbb{ R}} ^2) $ a nd$ { {\ rm Curl\,}}\b e t a=\m u$ .*]{} L et${\varp hi} \in  C^ 1_0 ({ \Omega})$ . It isea sy  t ocon struc t  a seque nc e $ \{ {\v arphi } _n\}\s ubset  H^1 _0 ({ \ Ome ga})$ c o nv e r ging  t o${\v arp hi }$ un ifor m lyand str ongly in$H^ 1 _0({ \O me ga})$ a nd satisfying  t he propert y$${ \varph i } _n \equi v {\varphi}(x_{i,n}) \q q uad \te xt{  in }  B_{ {\varepsi lon _n}}(x _{i , n})\qu ad \te xt{fo reve r y  } x_ { i ,
 Theorem_\[KTI\] to_$\tilde \beta_n$, obtaining $$\label{ttt1}
\int_{{\Omega}}_|\tilde \beta_n_-_\tilde A_n|^2_\,_dx \le
C \left(\int_{{\Omega}}_|\tilde \beta_n{^{\rm sym}}|^2_\, dx + \big(|\mu_n|({\Omega})\big)^2_\right)
\le C|\log {\varepsilon_n}|^2,$$_where_$\tilde A_n$ is the average of the anti-symmetric part of $\tilde \beta_n$. Since the_average_of $\beta_n$_is_a_symmetric matrix, we have $$\label{ttt2}
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)}_|\beta_n|^2 \, dx =
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n_- \tilde_A_n|^2  - |\tilde A_n|^2 \, dx
\le
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n_-_\tilde A_n|^2 \,_dx.$$ Finally, by and we conclude $$\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n|^2 \,_dx \le
\int_{{\Omega}_{{\varepsilon_n}}(\mu_n)} |\beta_n - \tilde A_n|^2_\, dx _\le_\int_{{\Omega}}_|\tilde \beta_n - \tilde_A_n|^2 \, dx \le C|\log {\varepsilon_n}|^2,$$_which gives the desired compactness property_for $\beta_n/|\log{\varepsilon_n}|$ in $L^2({\Omega};{\mathbb{M}^{2\times 2}})$.

[*Step $3.$ $\mu$_belongs to $H^{-1}({\Omega};{\mathbb{R}}^2)$ and ${{\rm Curl\,}}\beta=\mu$.*]{}_Let ${\varphi}\in C^1_0({\Omega})$. It is_easy to_construct a sequence $\{{\varphi}_n\}\subset H^1_0({\Omega})$_converging to ${\varphi}$_uniformly and_strongly in $H^1_0({\Omega})$_and satisfying the property $${\varphi}_n \equiv_{\varphi}(x_{i,n}) \qquad \text{_in } B_{{\varepsilon_n}}(x_{i,n})\quad \text{for every }_x_{i,