_{\varepsilon})$ is optimal in energy. We have $$\lim_{{\varepsilon}\to 0} \frac{1}{|\log {\varepsilon}|^2}\int_{\Omega}W(\beta_{\varepsilon}) \, dx= \lim_{{\varepsilon}\to 0} \frac{1}{|\log {\varepsilon}|^2}
\int_{\Omega}W(|\log {\varepsilon}| \beta + \hat \beta_{\varepsilon})\, dx.$$ Since $\hat \beta_{\varepsilon}/|\log {\varepsilon}| {\rightharpoonup}0$ in $L^2({\Omega};{\mathbb{M}^{2\times 2}})$, taking into account also, we conclude $$\lim_{{\varepsilon}\to 0} \frac{1}{|\log {\varepsilon}|^2}\int_{\Omega}W(\beta_{\varepsilon})\,dx= \lim_{{\varepsilon}\to 0} \frac{1}{|\log {\varepsilon}|^2}
\left( \int_{{\Omega}} W(|\log {\varepsilon}| \beta)\,dx + \int_{{\Omega}} W(\hat\beta_{\varepsilon})\,dx \right) =
\int_{\Omega}(W(\beta) + {\varphi}(\xi))\,dx.$$ Finally, by the Lipschitz continuity of $\partial {\Omega}$, from and (\[Reps\]) we also deduce that $(\beta_{\varepsilon}/|\log
{\varepsilon}| - \beta) \cdot t$ tends to zero strongly in $H^{-\frac{1}{2}}(\partial {\Omega})$.

[*Step $2.$ The case $\mu := \sum_{l=1}^L \chi_{A_l} \xi_l \,dx$.*]{}

In this step we proof the $\Gamma$-limsup inequality in the case of $\mu$ locally constant, i.e., of the type $$\label{loco}
\mu:= \sum_{l=1}^L \chi_{A_l} \xi_l\,dx,$$ where $A_l$ are open subsets of ${\Omega}$ with Lipschitz continuous boundary and $\xi_i\in {\mathbb{M}}^{2\times 2}$. The construction of the recovery sequence is based on classical localization arguments in $\Gamma$-convergence and takes advantage of the previous step.

Let us set $\beta_l:= \beta {\mathop{\hbox{\vrule height 7pt width.5pt depth 0pt
\vrule height.5pt width 6pt depth 0pt}}\nolimits}A
_ { \varepsilon})$ is optimal in energy. We have $ $ \lim_{{\varepsilon}\to 0 } \frac{1}{|\log { \varepsilon}|^2}\int_{\Omega}W(\beta_{\varepsilon }) \, dx= \lim_{{\varepsilon}\to 0 } \frac{1}{|\log { \varepsilon}|^2 } 
 \int_{\Omega}W(|\log { \varepsilon}| \beta + \hat \beta_{\varepsilon})\, dx.$$ Since $ \hat \beta_{\varepsilon}/|\log { \varepsilon}| { \rightharpoonup}0 $ in $ L^2({\Omega};{\mathbb{M}^{2\times 2}})$, taking into explanation besides, we conclude $ $ \lim_{{\varepsilon}\to 0 } \frac{1}{|\log { \varepsilon}|^2}\int_{\Omega}W(\beta_{\varepsilon})\,dx= \lim_{{\varepsilon}\to 0 } \frac{1}{|\log { \varepsilon}|^2 } 
 \left (\int_{{\Omega } } W(|\log { \varepsilon}| \beta)\,dx + \int_{{\Omega } } W(\hat\beta_{\varepsilon})\,dx \right) = 
 \int_{\Omega}(W(\beta) + { \varphi}(\xi))\,dx.$$ Finally, by the Lipschitz continuity of $ \partial { \Omega}$, from and (\[Reps\ ]) we also deduce that $ (\beta_{\varepsilon}/|\log 
 { \varepsilon}| - \beta) \cdot t$ tend to zero powerfully in $ H^{-\frac{1}{2}}(\partial { \Omega})$. 

 [ * Step $ 2.$ The case $ \mu: = \sum_{l=1}^L \chi_{A_l } \xi_l \,dx$. * ] { } 

 In this step we proofread the $ \Gamma$-limsup inequality in the character of $ \mu$ locally constant, i.e., of the character $ $ \label{loco } 
 \mu:= \sum_{l=1}^L \chi_{A_l } \xi_l\,dx,$$ where $ A_l$ are loose subsets of $ { \Omega}$ with Lipschitz continuous limit and $ \xi_i\in { \mathbb{M}}^{2\times 2}$. The construction of the recovery sequence is based on authoritative localization arguments in $ \Gamma$-convergence and bring advantage of the former footfall. 

 Let us set $ \beta_l:= \beta { \mathop{\hbox{\vrule height 7pt width.5pt astuteness 0pt 
 \vrule height.5pt width 6pt depth 0pt}}\nolimits}A
_{\varfpsilon})$ is optimal in entrgy. We have $$\lim_{{\vceepsilmn}\to 0} \rrac{1}{|\log {\xarepsilon}|^2}\int_{\Omega}W(\beta_{\varepdioon}) \, ex= \lim_{{\varepsilon}\to 0} \frxc{1}{|\log {\varvpsilon}|^2}
\inr_{\Omeja}W(|\log {\varepsiloi}| \beta + \mct \befw_{\varzpwilon})\, dx.$$ Since $\hat \beta_{\vdrepsilon}/|\log {\vdrdpdilon}| {\rightharpoonup}0$ in $L^2({\Omega};{\mathbf{M}^{2\times 2}})$, haking into acsounu ajso, sv gonclude $$\lim_{{\varepsilon}\to 0} \frac{1}{|\lof {\varepvilon}|^2}\int_{\Omega}E(\beta_{\varepsilon})\,dx= \lim_{{\varepdiloj}\to 0} \frac{1}{|\log {\varepdilon}|^2}
\left( \ibt_{{\Omqta}} W(|\log {\vareosilon}| \beta)\,dx + \int_{{\Omegz}} W(\hat\beta_{\varepsilon})\,dx \right) =
\ing_{\Omegc}(W(\beta) + {\varkku}(\xi))\,ff.$$ Finally, bb the Jipschitz cokninuity of $\paryial {\Omega}$, frok aid (\[Rwps\]) we also deduce thet $(\beta_{\varepsilon}/|\log
{\darepsilot}| - \beta) \cdot t$ tendw ro zeto stsongut iv $H^{-\rrec{1}{2}}(\pzrtial {\Omxga})$.

[*Step $2.$ Ths case $\mu := \wum_{l=1}^L \chi_{A_l} \xi_l \,dx$.*]{}

Im eyis step we pdoof tre $\Gamma$-limsup inequality in the case of $\ku$ mocally constant, i.e., of rhe type $$\label{loco}
\mu:= \dum_{l=1}^L \chi_{W_l} \xi_l\,dx,$$ where $A_l$ are open subsets of ${\Omega}$ with Nipsciigz eintinjiud boundary and $\xi_i\in {\mathbb{M}}^{2\times 2}$. The constrtdtook of the recovern sequence is basec ln slassical locxlizatnkn arguments in $\Gammw$-converdence and takef adfantage of the previous step.

Let us set $\yetq_l:= \beta {\mathop{\hbox{\rrule height 7pt eidth.5lt depth 0pt
\vrule height.5't widfh 6pt depth 0pt}}\nolimifr}A
_{\varepsilon})$ is optimal in energy. We have \frac{1}{|\log \, dx= 0} \frac{1}{|\log {\varepsilon}|^2} \beta_{\varepsilon})\, Since $\hat \beta_{\varepsilon}/|\log {\rightharpoonup}0$ in $L^2({\Omega};{\mathbb{M}^{2\times taking into account also, we conclude 0} \frac{1}{|\log {\varepsilon}|^2}\int_{\Omega}W(\beta_{\varepsilon})\,dx= \lim_{{\varepsilon}\to 0} \frac{1}{|\log {\varepsilon}|^2} \left( \int_{{\Omega}} W(|\log {\varepsilon}| \beta)\,dx + W(\hat\beta_{\varepsilon})\,dx \right) = \int_{\Omega}(W(\beta) + {\varphi}(\xi))\,dx.$$ Finally, by the Lipschitz continuity of $\partial from (\[Reps\]) also that $(\beta_{\varepsilon}/|\log {\varepsilon}| - \beta) \cdot t$ tends to zero strongly in $H^{-\frac{1}{2}}(\partial {\Omega})$. [*Step $2.$ case $\mu := \sum_{l=1}^L \chi_{A_l} \xi_l \,dx$.*]{} In step we proof the inequality in the case of locally i.e., of type \mu:= \chi_{A_l} \xi_l\,dx,$$ where are open subsets of ${\Omega}$ with Lipschitz continuous boundary and $\xi_i\in {\mathbb{M}}^{2\times 2}$. The construction of the sequence is classical localization in and advantage of the Let us set $\beta_l:= \beta {\mathop{\hbox{\vrule depth 0pt \vrule height.5pt width 6pt depth 0pt}}\nolimits}A
_{\varepsilon})$ is optimal in enerGy. We have $$\liM_{{\varePsiLon}\To 0} \Frac{1}{|\Log {\vArepsilon}|^2}\int_{\OmEGa}W(\bEta_{\varepsilon}) \, dx= \lim_{{\varePsiloN}\tO 0} \Frac{1}{|\LOg {\VarepSilon}|^2}
\inT_{\omEGA}W(|\lOg {\VaRepSiLOn}| \Beta + \hAt \bEta_{\varePsilon})\, dx.$$ SiNce $\HaT \beta_{\varepsiLOn}/|\Log {\varepsiLon}| {\RightharpoonUp}0$ iN $L^2({\OmegA};{\mAthBB{M}^{2\timEs 2}})$, tAking Into acCOunt alSo, we conclUdE $$\Lim_{{\varEPsilon}\tO 0} \FRaC{1}{|\log {\Varepsilon}|^2}\int_{\OmegA}w(\bETa_{\varepsilon})\,dx= \Lim_{{\varEpSIlON}\To 0} \fRac{1}{|\Log {\varepsiLoN}|^2}
\left( \INt_{{\Omega}} w(|\LoG {\VARepSIlon}| \beta)\,dx + \int_{{\omega}} W(\hat\beTA_{\vaRepsilOn})\,Dx \rIGht) =
\int_{\omega}(w(\bETa) + {\vArphi}(\xi))\,dx.$$ FiNallY, by the LipSchitz COntinuiTY of $\partIal {\OmeGa}$, fRom And (\[REPs\]) We AlsO dEDucE ThAt $(\bETa_{\vArepsiloN}/|\lOg
{\VarepSiloN}| - \BETA) \cdoT t$ tEnds To zerO strongly in $H^{-\fRac{1}{2}}(\PartIAl {\OMega})$.

[*STep $2.$ ThE casE $\mU := \sum_{l=1}^l \chi_{A_l} \Xi_l \,dx$.*]{}

in This step we proof The $\GAmma$-limsuP inEqUalItY in thE Case of $\Mu$ lOcaLly consTant, i.e., oF The TyPE $$\LAbEl{loco}
\mu:= \sum_{l=1}^L \chi_{A_l} \Xi_L\,DX,$$ wHere $A_l$ arE open sUBsEtS Of ${\Omega}$ wItH LiPschITZ contInuoUS bOundary aNd $\xi_i\iN {\MaThBb{M}}^{2\timeS 2}$. THe consTrUctIon Of the REcovEry seqUence is bAsed oN Classical localIZation argumenTS iN $\gAmMA$-conVerGence and takEs adVAntaGe of THe PreVIous sTep.

LeT uS SeT $\Beta_l:= \beta {\mathop{\hbox{\VrUle heiGht 7pt Width.5pt depth 0pT
\vrule heigHT.5PT width 6pt DeptH 0Pt}}\NOlimits}A
_{\varepsilon})$ is optima l in energ y. We  ha ve$$ \lim _{{\ varepsilon}\to 0} \ frac{1}{|\log {\vareps ilon} |^ 2 }\in t _{ \Omeg a}W(\be t a_ { \ var ep si lon }) \,  dx=\li m_{{\va repsilon}\ to0}  \frac{1}{|\ l og  {\varepsi lon }|^2}
\int_{ \Om ega}W( |\ log {\var eps ilon} | \bet a  + \ha t \beta_{ \v a repsil o n})\, d x . $$  Sin ce $\hat \beta_{\ v ar e psilon}/|\log{\vare ps i lo n } | { \ri ghtharpoon up }0$ i n  $L^2({ \ Om e g a };{ \ mathbb{M}^{2\ times 2}})$ ,  ta king i nt o a c countalso,  w e  co nclude $$\l im_{ {\varepsi lon}\t o  0} \fr a c{1}{|\ log {\ var eps ilon } |^ 2} \in t_ { \Om e ga }W( \ bet a_{\vare ps il on})\ ,dx= \ l i m_{{ \va reps ilon} \to 0} \frac{ 1}{ |\lo g  {\ varep silon }|^2 }\left ( \int _{{\O me ga}} W(|\log {\ vare psilon}|\be ta )\, dx  + \i n t_{{\O meg a}}  W(\hat \beta_{ \ var ep s i l on })\,dx \right) =
\ in t _ {\ Omega}(W (\beta )  +  { \ varphi}( \x i)) \,dx . $ $ Fin ally ,  b y the Li pschit z  c on tinuity  o f $\pa rt ial  {\ Omega } $, f rom an d (\[Rep s\])w e also deducet hat $(\beta_{ \ va r e ps i lon} /|\ log
{\varep silo n }| -  \be t a)  \c d ot t$  tend st oz ero strongly in $H^ {- \frac{ 1}{2} }(\partial {\ Omega})$.[ * Step $2. $ Th e  c a se $\mu := \su m_{l= 1}^L \chi_ { A_l} \xi _l \, dx$.*]{} 

In this s tep we p roo f t he$\G a m ma $-limsup ineq u a lity  i n the c ase  of $\m u$loc all y c on stant, i. e., of t he  t yp e$$\ label { loco}
\m u: = \ su m_{ l=1}^ L  \chi_ {A_l}  \xi _l \, d x,$ $ where $A _ l $ ar eop en s ubs et s of${\O m ega }$ with  Lipschit z c o ntin uo us  bounda ry and $\xi_i \i n {\mathbb {M }}^ {2\tim e s  2}$. Th e construction of the r e coveryseq uence  isbased oncla ssical  lo c alizat ion ar gumen ts  in $ \Gamm a $ -c onv er gence andt a kes  adva nt ageof theprevious step.

Le t  us  set $\beta_l :=\bet a {\ mat h op { \hb ox { \vr u l e height 7pt wi dth.5pt de pt h  0 pt
\vruleh eig ht .5pt wi dth 6pt  dept h  0pt}}\ nolimits} A
_{\varepsilon})$ is_optimal in_energy. We have $$\lim_{{\varepsilon}\to_0} \frac{1}{|\log_{\varepsilon}|^2}\int_{\Omega}W(\beta_{\varepsilon})_\, dx=_\lim_{{\varepsilon}\to_0} \frac{1}{|\log {\varepsilon}|^2}
\int_{\Omega}W(|\log_{\varepsilon}| \beta +_\hat \beta_{\varepsilon})\, dx.$$ Since_$\hat \beta_{\varepsilon}/|\log {\varepsilon}|_{\rightharpoonup}0$_in $L^2({\Omega};{\mathbb{M}^{2\times 2}})$, taking into account also, we conclude $$\lim_{{\varepsilon}\to 0} \frac{1}{|\log {\varepsilon}|^2}\int_{\Omega}W(\beta_{\varepsilon})\,dx= \lim_{{\varepsilon}\to_0}_\frac{1}{|\log {\varepsilon}|^2}
\left(_\int_{{\Omega}}_W(|\log_{\varepsilon}| \beta)\,dx + \int_{{\Omega}} W(\hat\beta_{\varepsilon})\,dx_\right) =
\int_{\Omega}(W(\beta) + {\varphi}(\xi))\,dx.$$ Finally,_by the_Lipschitz continuity of $\partial {\Omega}$, from and (\[Reps\])_we_also deduce that_$(\beta_{\varepsilon}/|\log
{\varepsilon}| - \beta) \cdot t$ tends to zero strongly_in $H^{-\frac{1}{2}}(\partial {\Omega})$.

[*Step $2.$ The case_$\mu := \sum_{l=1}^L_\chi_{A_l}_\xi_l_\,dx$.*]{}

In this step we_proof the $\Gamma$-limsup inequality in the_case of $\mu$ locally constant, i.e.,_of the type $$\label{loco}
\mu:= \sum_{l=1}^L \chi_{A_l} \xi_l\,dx,$$_where $A_l$ are open subsets of_${\Omega}$ with Lipschitz continuous boundary_and $\xi_i\in_{\mathbb{M}}^{2\times 2}$. The construction of_the recovery sequence_is based_on classical localization_arguments in $\Gamma$-convergence and takes advantage_of the previous_step.

Let us set $\beta_l:= \beta {\mathop{\hbox{\vrule_height_7pt width.5pt depth_0pt
\vrule_height.5pt_width 6pt_depth 0pt}}\nolimits}A