)\hookrightarrow V_i^{*}.\end{aligned}$$

For the proof of Theorem \[lem:eigenvalue-blowup\], we need the following compact embedding result.

\[lem:embedding\] $V_i$ is compactly embedded into $W_i$, i.e., $V_i \hookrightarrow\hookrightarrow W_i.$

By Remark \[rem:chi\], the uniform boundedness of $\kappa$, the definition of $\widetilde{\kappa}$ and the overlapping condition, we obtain the boundedness of $\tilde{\kappa}$, i.e., $$\begin{aligned}
\label{eq:upper_tilde}
\|\widetilde{\kappa}\|_{L^{\infty}(D)}\leq C_{\text{ov}}(HC_{0})^2\kappa\leq C_{\text{ov}}(HC_{0})^2\beta.
$$ Hence, there holds the following embedding inequalities: $$L^2_{\widetilde{\kappa}^{-1}}(\omega_i)\hookrightarrow L^2(\omega_i)\hookrightarrow L^2_{\widetilde{\kappa}}(\omega_i).$$ This, the classical Sobolev embedding [@adams2003sobolev] and boundedness of $\kappa$ imply the compactness of the embedding $V_i\hookrightarrow\hookrightarrow L^2(\omega_i)$ and thus, we finally arrive at $V_i \hookrightarrow\hookrightarrow W_i$. This completes the proof.

By, the multiplication operator $T: W_i\to V_i^*$ is bounded. Similarly, the operator $\mathcal{S}_i:V_i^*\to W_i$ is compact, in view of Lemma \[lem:embedding\]. Let $\widetilde{\mathcal{S}}_i:=\mathcal{S}_i T$. Then the operator $\widetilde{\mathcal{S}}_i:W_i\to W_i$ is nonnegative and [compact]{}. Now we claim that $\widetilde{\mathcal{S}}_i$ is self-adjoint on $W_i$. Indeed, for all $v,w\in W_i$, we have $$\begin{aligned}
(\widetilde{\mathcal{S}}_i v, w)_i&=(\mathcal{S}_i Tv, w)_i=\int_{\omega_i}\widetilde{\kappa}\mathcal{L}_i^{-1}(\widetilde{\kappa}v) w\;{\mathrm{d}x}\\
&=\int_{\omega_i}\mathcal{L}_i
) \hookrightarrow V_i^{*}.\end{aligned}$$ 

 For the proof of Theorem \[lem: eigenvalue - blowup\ ], we need the following compact implant resultant role. 

 \[lem: embedding\ ] $ V_i$ is compactly embedded into $ W_i$, i.e., $ V_i \hookrightarrow\hookrightarrow W_i.$ 

 By Remark \[rem: chi\ ], the uniform finiteness of $ \kappa$, the definition of $ \widetilde{\kappa}$ and the overlapping condition, we obtain the finiteness of $ \tilde{\kappa}$, i.e., $ $ \begin{aligned } 
 \label{eq: upper_tilde } 
 \|\widetilde{\kappa}\|_{L^{\infty}(D)}\leq C_{\text{ov}}(HC_{0})^2\kappa\leq C_{\text{ov}}(HC_{0})^2\beta. 
 $ $ therefore, there holds the following embedding inequalities: $ $ L^2_{\widetilde{\kappa}^{-1}}(\omega_i)\hookrightarrow L^2(\omega_i)\hookrightarrow L^2_{\widetilde{\kappa}}(\omega_i).$$ This, the classical Sobolev embed [ @adams2003sobolev ] and boundedness of $ \kappa$ imply the concentration of the embedding $ V_i\hookrightarrow\hookrightarrow L^2(\omega_i)$ and thus, we finally arrive at $ V_i \hookrightarrow\hookrightarrow W_i$. This completes the proof. 

 By, the multiplication hustler $ T: W_i\to V_i^*$ is bounded. Similarly, the operator $ \mathcal{S}_i: V_i^*\to W_i$ is compendious, in view of Lemma \[lem: embedding\ ]. Let $ \widetilde{\mathcal{S}}_i:=\mathcal{S}_i T$. Then the operator $ \widetilde{\mathcal{S}}_i: W_i\to W_i$ is nonnegative and [ compact ] { }. Now we claim that $ \widetilde{\mathcal{S}}_i$ is self - adjoint on $ W_i$. Indeed, for all $ v, w\in W_i$, we experience $ $ \begin{aligned } 
 (\widetilde{\mathcal{S}}_i v, w)_i&=(\mathcal{S}_i Tv, w)_i=\int_{\omega_i}\widetilde{\kappa}\mathcal{L}_i^{-1}(\widetilde{\kappa}v) w\;{\mathrm{d}x}\\ 
 & = \int_{\omega_i}\mathcal{L}_i
)\hoonrightarrow V_i^{*}.\end{aligned}$$

Nor the proof of Theorek \[lem:ejgenvalud-blowup\], we need the followinj conpact embedding result.

\[lem:emcedding\] $V_p$ is compqctlb embedded into $X_j$, i.e., $V_i \hookrjnhtarxox\hookrightarrow W_i.$

By Remask \[rem:chi\], the gnkflrm boundedness of $\kappa$, the definieion of $\wldetilde{\kappa}$ wnd uhe ovedlapping condition, we obtain the bkundedntss of $\tilde{\kappa}$, o.e., $$\begin{aligned}
\label{eq:uppeg_tilfe}
\|\widetilde{\kappa}\|_{L^{\ijfty}(D)}\leq C_{\tgst{od}}(YC_{0})^2\kappa\leq C_{\gext{ov}}(HC_{0})^2\beua.
$$ Hence, thete holds the following embedding ineqbalities: $$L^2_{\wudwtipge{\kappa}^{-1}}(\omege_i)\hookgightarrow L^2(\omega_i)\hoonrightatrow L^2_{\widetildc{\kappe}}(\ometa_i).$$ This, the classican Sobolev embeddind [@adams2003sotomev] and boundednews of $\kdppa$ imput tfe dokpzctnesd oh the embedsing $V_i\hookeightarrow\hookrightsrwiw L^2(\omega_i)$ ans thus, wq finally arrive at $V_i \hookrightarrow\homkrjghtarrow W_i$. This complwtes the proof.

By, the lultiplicwtion operator $T: W_i\to V_i^*$ is bounded. Similarly, the operetur $\nabhcau{W}_i:G_i^*\to W_i$ is compact, in view of Lemma \[lem:embeddyhg\]. Lvt $\widetilde{\mathccl{S}}_i:=\mathcal{S}_i T$. Yhfn jhe operator $\wkdetilbs{\mzthcal{S}}_i:W_i\to W_i$ is nonnegwtive and [compwct]{}. Mow we claim that $\widetilde{\nathcal{S}}_i$ is welf-adjoint on $W_i$. Nndeed, for aul $v,e\in W_o$, we have $$\begin{aligned}
(\wndetilse{\mathcal{S}}_i v, w)_i&=(\mathdxl{S}_i Tv, w)_i=\int_{\omeea_i}\eigetilde{\kappa}\mathcal{L}_i^{-1}(\widetylde{\kappa}t) w\;{\machrm{d}x}\\
&=\ing_{\omeba_i}\matrcal{L}_i
)\hookrightarrow V_i^{*}.\end{aligned}$$ For the proof of Theorem need following compact result. \[lem:embedding\] $V_i$ i.e., \hookrightarrow\hookrightarrow W_i.$ By \[rem:chi\], the uniform of $\kappa$, the definition of $\widetilde{\kappa}$ the overlapping condition, we obtain the boundedness of $\tilde{\kappa}$, i.e., $$\begin{aligned} \label{eq:upper_tilde} \|\widetilde{\kappa}\|_{L^{\infty}(D)}\leq C_{\text{ov}}(HC_{0})^2\beta. $$ Hence, there holds the following embedding inequalities: $$L^2_{\widetilde{\kappa}^{-1}}(\omega_i)\hookrightarrow L^2(\omega_i)\hookrightarrow L^2_{\widetilde{\kappa}}(\omega_i).$$ This, classical embedding and of $\kappa$ imply the compactness of the embedding $V_i\hookrightarrow\hookrightarrow L^2(\omega_i)$ and thus, we finally arrive at \hookrightarrow\hookrightarrow W_i$. This completes the proof. By, the operator $T: W_i\to V_i^*$ bounded. Similarly, the operator $\mathcal{S}_i:V_i^*\to is in view Lemma Let T$. Then the $\widetilde{\mathcal{S}}_i:W_i\to W_i$ is nonnegative and [compact]{}. Now we claim that $\widetilde{\mathcal{S}}_i$ is self-adjoint on $W_i$. Indeed, for $v,w\in W_i$, $$\begin{aligned} (\widetilde{\mathcal{S}}_i w)_i&=(\mathcal{S}_i w)_i=\int_{\omega_i}\widetilde{\kappa}\mathcal{L}_i^{-1}(\widetilde{\kappa}v) &=\int_{\omega_i}\mathcal{L}_i
)\hookrightarrow V_i^{*}.\end{aligneD}$$

For the proOf of THeoRem \[LeM:eigEnvaLue-blowup\], we neeD The fOllowing compact embeddiNg resUlT.

\[Lem:eMBeDding\] $v_i$ is comPAcTLY emBeDdEd iNtO $w_i$, I.e., $V_i \hOokRightarRow\hookrigHtaRrOw W_i.$

By Remark \[REm:Chi\], the unifOrm Boundedness oF $\kaPpa$, the DeFinITion oF $\wiDetilDe{\kappA}$ And the OverlappiNg COnditiON, we obtaIN ThE bouNdedness of $\tilde{\kaPPa}$, I.E., $$\begin{aligned}
\lAbel{eq:UpPEr_TILde}
\|\WidEtilde{\kappA}\|_{L^{\Infty}(d)}\Leq C_{\texT{Ov}}(hc_{0})^2\KAppA\Leq C_{\text{ov}}(HC_{0})^2\bEta.
$$ Hence, theRE hoLds the FoLloWIng embEddinG iNEquAlities: $$L^2_{\widEtilDe{\kappa}^{-1}}(\omEga_i)\hoOKrightaRRow L^2(\omeGa_i)\hooKriGhtArroW l^2_{\wIdEtiLdE{\KapPA}}(\oMegA_I).$$ ThIs, the claSsIcAl SobOlev EMBEDdinG [@adAms2003sOboleV] and boundedneSs oF $\kapPA$ imPly thE compActnEsS of thE embedDing $V_I\hOokrightarrow\hoOkriGhtarrow L^2(\OmeGa_I)$ anD tHus, we FInally ArrIve At $V_i \hooKrightaRRow\HoOKRIgHtarrow W_i$. This complEtES ThE proof.

By, The mulTIpLiCAtion opeRaTor $t: W_i\tO v_I^*$ is boUndeD. siMilarly, tHe operAToR $\mAthcal{S}_I:V_I^*\to W_i$ iS cOmpAct, In vieW Of LeMma \[lem:EmbeddinG\]. Let $\wIDetilde{\mathcal{s}}_I:=\mathcal{S}_i T$. ThEN tHE OpERatoR $\wiDetilde{\mathCal{S}}_I:w_i\to w_i$ is NOnNegATive aNd [comPaCT]{}. NOW we claim that $\widetilDe{\MathcaL{S}}_i$ is Self-adjoint on $w_i$. Indeed, foR ALL $v,w\in W_i$, wE havE $$\BeGIn{aligned}
(\widetIlde{\mAthcal{S}}_i v, w)_I&=(\Mathcal{S}_I Tv, w)_i=\Int_{\omega_I}\widetildE{\KAppa}\mathCal{l}_i^{-1}(\wIdeTilDE{\KaPpa}v) w\;{\mathrm{d}x}\\
&=\INT_{\omeGa_I}\mathcaL{L}_i
)\hookrightarrow V_i^{*}.\ end{aligne d}$$
Fo r t he  pro of o f Theorem \[le m :eig envalue-blowup\], we n eed t he foll o wi ng co mpact e m be d d ing  r es ult .\[ lem:e mbe dding\]  $V_i$ iscom pa ctly embedde d  i nto $W_i$,  i. e., $V_i \ho okr ightar ro w\h o okrig hta rrowW_i.$By Rem ark \[rem :c h i\], t h e unifo r m  b ound edness of $\kappa $ ,t he definitionof $\w id e ti l d e{\ kap pa}$ and t he  over l appingc on d i t ion ,  we obtain th e boundedne s s o f $\ti ld e{\ k appa}$ , i.e ., $$\ begin{align ed}\label{eq :upper _ tilde}\ |\widet ilde{\ kap pa} \|_{ L ^{ \i nft y} ( D)} \ le q C _ {\t ext{ov}} (H C_ {0})^ 2\ka p p a \ leqC_{ \tex t{ov} }(HC_{0})^2\b eta .
$$ Hen ce, t herehold sthe f ollowi ng em be dding inequalit ies:  $$L^2_{\ wid et ild e{ \kapp a }^{-1} }(\ ome ga_i)\h ookrigh t arr ow L ^ 2( \omega_i)\hookrigh ta r r ow  L^2_{\w idetil d e{ \k a ppa}}(\o me ga_ i).$ $ This,  the cl assicalSobole v  e mb edding[@ adams2 00 3so bol ev] a n d bo undedn ess of $ \kapp a $ imply the co m pactness of t h ee m be d ding  $V _i\hookrigh tarr o w\ho okri g ht arr o w L^2 (\ome ga _ i) $  and thus, we final ly  arriv e at$V_i \hookrig htarrow\ho o k r ightarro w W_ i $. This completes  theproof.

By ,  the mul tipli cation o perator $ T :  W_i\toV_i ^*$  is  bo u n de d. Similarly, t he o pe rator $ \ma thcal{S }_i :V_ i^* \to  W _i$ is co mpact, i nvi ew  o f L emma\ [lem:emb ed din g\ ].Let $ \ wideti lde{\ math ca l{ S }}_ i:=\mat h ca l { S}_i  T $.  The n t he  oper ator $\w idetild e{\mathca l{S } }_i: W_ i\ to W_i$  is nonnegati ve  and [comp ac t]{ }. Now w e claimthat $\widetilde{\mathc a l{S}}_i $ i s sel f-ad joint on$W_ i$. In dee d , forall $v ,w\in  W _i$ , we ha v e  $ $\b eg in{aligned } (\w ideti ld e{\m athcal{ S}}_i v, w)_i&=(\m a thc al{S}_i Tv, w )_i =\in t _ {\ ome g a_ i }\w id e til d e {\kappa}\mathca l{L}_i^{-1 }( \ wi detilde{\k a ppa }v ) w\;{\ mathrm{ d}x}\ \ 
&=\int _{\omega_ i}\mathca l{ L}_i 
)\hookrightarrow V_i^{*}.\end{aligned}$$

For_the proof_of Theorem \[lem:eigenvalue-blowup\], we_need the_following_compact embedding_result.

\[lem:embedding\]_$V_i$ is compactly_embedded into $W_i$,_i.e., $V_i \hookrightarrow\hookrightarrow W_i.$

By_Remark \[rem:chi\], the_uniform_boundedness of $\kappa$, the definition of $\widetilde{\kappa}$ and the overlapping condition, we obtain the_boundedness_of $\tilde{\kappa}$,_i.e.,_$$\begin{aligned}
\label{eq:upper_tilde}
\|\widetilde{\kappa}\|_{L^{\infty}(D)}\leq_C_{\text{ov}}(HC_{0})^2\kappa\leq C_{\text{ov}}(HC_{0})^2\beta.
$$ Hence, there holds_the following embedding inequalities: $$L^2_{\widetilde{\kappa}^{-1}}(\omega_i)\hookrightarrow_L^2(\omega_i)\hookrightarrow L^2_{\widetilde{\kappa}}(\omega_i).$$_This, the classical Sobolev embedding [@adams2003sobolev] and boundedness_of_$\kappa$ imply the_compactness of the embedding $V_i\hookrightarrow\hookrightarrow L^2(\omega_i)$ and thus, we_finally arrive at $V_i \hookrightarrow\hookrightarrow W_i$._This completes the_proof.

By,_the_multiplication operator $T: W_i\to_V_i^*$ is bounded. Similarly, the operator_$\mathcal{S}_i:V_i^*\to W_i$ is compact, in view_of Lemma \[lem:embedding\]. Let $\widetilde{\mathcal{S}}_i:=\mathcal{S}_i T$. Then_the operator $\widetilde{\mathcal{S}}_i:W_i\to W_i$ is nonnegative_and [compact]{}. Now we claim_that $\widetilde{\mathcal{S}}_i$_is self-adjoint on $W_i$. Indeed,_for all $v,w\in_W_i$, we_have $$\begin{aligned}
(\widetilde{\mathcal{S}}_i v,_w)_i&=(\mathcal{S}_i Tv, w)_i=\int_{\omega_i}\widetilde{\kappa}\mathcal{L}_i^{-1}(\widetilde{\kappa}v) w\;{\mathrm{d}x}\\
&=\int_{\omega_i}\mathcal{L}_i