ass-RF\] $(\gamma)$ $(i)$. Let $x_0\in \overline{\Omega}$, $R\in (0, R_1/4]$, and ${\mathcal{D}}\subset \partial \Omega$ with ${\mathcal{D}}\cap B_R(x_0)\neq \emptyset$. If there exist $z_0\in {\mathcal{D}}\cap B_R(x_0)$ and $\alpha\in (0,1)$ such that $$\label{eqn-mainly-Dirichlet}
B_{\alpha R}(z_0)\subset B_R(x_0), \quad \big(\partial \Omega\cap B_{\alpha R}(z_0)\big) \subset \big({\mathcal{D}}\cap B_R(x_0)\big),$$ then the following hold.

1.  For any $p\in (1,d)$ and $u\in W^{1,p}_{{\mathcal{D}}}(\Omega)$, we have $$\|u\|_{L_{dp/(d-p)}(\Omega_R(x_0))}\le N\|Du\|_{L_p(\Omega_{2R}(x_0))},$$ where $N=N(d,p, \alpha)$.

2.  For any $u\in W^{1,2}_{{\mathcal{D}}}(\Omega)$, we have $$\|u\|_{L_2(\Omega_R(x_0))}\le NR\|Du\|_{L_2(\Omega_{2R}(x_0))},$$ where $N=N(d,\alpha)$.

The assertion $(b)$ is a simple consequence of the assertion $(a)$. Indeed, by taking $p\in \big(\frac{2d}{d+2}, 2\big)$, and using Hölder’s inequality and the assertion $(a)$, we have $$\begin{aligned}
\|u\|_{L_2(\Omega_R(x_0))}&\le NR^{d/2-d/p+1}\|u\|_{L_{dp/(d-p)}(\Omega_R(x_0))}\\
&\le NR^{d/2-d/p+1}\|Du\|_{L_p(\Omega_{2R}(x_0))}\le N R\|Du\|_{L_2(\Omega_{2R}(x_0))}.
\end{aligned}$$ To prove the assertion $(a)$, we extend
ass - RF\ ] $ (\gamma)$ $ (i)$. Let $ x_0\in \overline{\Omega}$, $ R\in (0, R_1/4]$, and $ { \mathcal{D}}\subset \partial \Omega$ with $ { \mathcal{D}}\cap B_R(x_0)\neq \emptyset$. If there exist $ z_0\in { \mathcal{D}}\cap B_R(x_0)$ and $ \alpha\in (0,1)$ such that $ $ \label{eqn - mainly - Dirichlet } 
 B_{\alpha R}(z_0)\subset B_R(x_0), \quad \big(\partial \Omega\cap B_{\alpha R}(z_0)\big) \subset \big({\mathcal{D}}\cap B_R(x_0)\big),$$ then the following hold. 

 1.   For any $ p\in (1,d)$ and $ u\in W^{1,p}_{{\mathcal{D}}}(\Omega)$, we have $ $ \|u\|_{L_{dp/(d - p)}(\Omega_R(x_0))}\le N\|Du\|_{L_p(\Omega_{2R}(x_0))},$$ where $ N = N(d, phosphorus, \alpha)$. 

 2.   For any $ u\in W^{1,2}_{{\mathcal{D}}}(\Omega)$, we take $ $ \|u\|_{L_2(\Omega_R(x_0))}\le NR\|Du\|_{L_2(\Omega_{2R}(x_0))},$$ where $ N = N(d,\alpha)$. 

 The assertion $ (b)$ is a simple consequence of the affirmation $ (a)$. Indeed, by taking $ p\in \big(\frac{2d}{d+2 }, 2\big)$, and use Hölder ’s inequality and the assertion $ (a)$, we have $ $ \begin{aligned } 
 \|u\|_{L_2(\Omega_R(x_0))}&\le NR^{d/2 - d / p+1}\|u\|_{L_{dp/(d - p)}(\Omega_R(x_0))}\\ 
 & \le NR^{d/2 - d / p+1}\|Du\|_{L_p(\Omega_{2R}(x_0))}\le N R\|Du\|_{L_2(\Omega_{2R}(x_0) ) }. 
 \end{aligned}$$ To raise the affirmation $ (a)$, we extend
ass-GF\] $(\gamma)$ $(i)$. Let $x_0\in \overllne{\Omega}$, $R\in (0, R_1/4]$, cbd ${\matical{D}}\sugset \pargial \Omega$ with ${\mathcal{D}}\cap U_R(x_0)\nwq \emknyset$. If there exist $x_0\in {\mathcwl{D}}\cap B_E(x_0)$ aid $\alpha\in (0,1)$ such that $$\lanzl{eqn-jwinlv-Dmrichlet}
B_{\alpha T}(z_0)\subset B_R(x_0), \quad \big(\partidl \Olega\cap B_{\alpha R}(z_0)\big) \subset \big({\mathsal{D}}\cap B_G(x_0)\big),$$ then the folkjwinf hold.

1.  For any $p\in (1,d)$ and $u\in W^{1,p}_{{\mafhcal{D}}}(\Okega)$, we have $$\|i\|_{L_{dp/(d-p)}(\Omega_R(x_0))}\le N\|Du\|_{L_p(\Omega_{2G}(x_0))},$$ wjere $N=N(d,p, \alpha)$.

2.  Flr any $u\in Q^{1,2}_{{\matrxal{D}}}(\Omega)$, we have $$\|u\|_{L_2(\Omtgc_R(x_0))}\le NR\|Du\|_{L_2(\Kmega_{2R}(x_0))},$$ where $N=N(d,\alpha)$.

The assergion $(y)$ is a simpoe cojvequence of the wssertion $(a)$. Lmdeed, ty takimg $p\in \big(\frac{2c}{d+2}, 2\uig)$, qnd using Hölder’s ineqnality and the asserjion $(a)$, we vare $$\begin{aligned}
\|u\|_{L_2(\Omegq_R(z_0))}&\le NT^{d/2-d/p+1}\|u\|_{N_{dp/(d-o)}(\Imeea_R(s_0))}\\
&\lx ND^{d/2-d/p+1}\|Du\|_{P_p(\Ojega_{2R}(x_0))}\le N R\|Du\|_{L_2(\Omega_{2R}(z_0))}.
\end{aligned}$$ To provt trv assertion $(a)$, we exeegd
ass-RF\] $(\gamma)$ $(i)$. Let $x_0\in \overline{\Omega}$, $R\in and \partial \Omega$ ${\mathcal{D}}\cap B_R(x_0)\neq \emptyset$. B_R(x_0)$ $\alpha\in (0,1)$ such $$\label{eqn-mainly-Dirichlet} B_{\alpha R}(z_0)\subset \quad \big(\partial \Omega\cap B_{\alpha R}(z_0)\big) \subset B_R(x_0)\big),$$ then the following hold. 1. For any $p\in (1,d)$ and $u\in W^{1,p}_{{\mathcal{D}}}(\Omega)$, have $$\|u\|_{L_{dp/(d-p)}(\Omega_R(x_0))}\le N\|Du\|_{L_p(\Omega_{2R}(x_0))},$$ where $N=N(d,p, \alpha)$. 2. For any $u\in W^{1,2}_{{\mathcal{D}}}(\Omega)$, we have NR\|Du\|_{L_2(\Omega_{2R}(x_0))},$$ $N=N(d,\alpha)$. assertion is a simple consequence of the assertion $(a)$. Indeed, by taking $p\in \big(\frac{2d}{d+2}, 2\big)$, and using inequality and the assertion $(a)$, we have $$\begin{aligned} NR^{d/2-d/p+1}\|u\|_{L_{dp/(d-p)}(\Omega_R(x_0))}\\ &\le NR^{d/2-d/p+1}\|Du\|_{L_p(\Omega_{2R}(x_0))}\le N \end{aligned}$$ To prove the assertion we
ass-RF\] $(\gamma)$ $(i)$. Let $x_0\in \overline{\omega}$, $R\in (0, R_1/4]$, aNd ${\matHcaL{D}}\sUbSet \pArtiAl \Omega$ with ${\matHCal{D}}\Cap B_R(x_0)\neq \emptyset$. If theRe exiSt $Z_0\In {\maTHcAl{D}}\caP B_R(x_0)$ and $\ALpHA\In (0,1)$ sUcH tHat $$\LaBEl{Eqn-maInlY-DirichLet}
B_{\alpha R}(Z_0)\suBsEt B_R(x_0), \quad \big(\PArTial \Omega\cAp B_{\Alpha R}(z_0)\big) \suBseT \big({\maThCal{d}}\Cap B_R(X_0)\biG),$$ then The folLOwing hOld.

1.  For any $P\iN (1,D)$ and $u\iN w^{1,p}_{{\mathcAL{d}}}(\OMega)$, We have $$\|u\|_{L_{dp/(d-p)}(\Omega_r(X_0))}\lE n\|Du\|_{L_p(\Omega_{2R}(x_0))},$$ whEre $N=N(d,P, \aLPhA)$.

2.  fOr aNy $u\In W^{1,2}_{{\mathcal{d}}}(\OMega)$, wE Have $$\|u\|_{L_2(\OMEgA_r(X_0))}\Le Nr\|du\|_{L_2(\Omega_{2R}(x_0))},$$ wheRe $N=N(d,\alpha)$.

THE asSertioN $(b)$ Is a SImple cOnseqUeNCe oF the assertiOn $(a)$. INdeed, by taKing $p\iN \Big(\frac{2D}{D+2}, 2\big)$, and Using HÖldEr’s IneqUAlItY anD tHE asSErTioN $(A)$, we Have $$\begiN{aLiGned}
\|u\|_{l_2(\OmeGA_r(X_0))}&\Le NR^{D/2-d/p+1}\|U\|_{L_{dp/(D-p)}(\OmeGa_R(x_0))}\\
&\le NR^{d/2-d/p+1}\|Du\|_{l_p(\OMega_{2r}(X_0))}\le n R\|Du\|_{L_2(\omega_{2r}(x_0))}.
\enD{aLigneD}$$ To proVe the AsSertion $(a)$, we extenD
ass-RF\] $(\gamma)$ $(i)$.  Let $x_0\ in \o ver lin e{ \Ome ga}$ , $R\in (0, R_ 1 /4]$ , and ${\mathcal{D}}\s ubset  \ p arti a l\Omeg a$ with ${ \ m ath ca l{ D}} \c a pB_R(x _0) \neq \e mptyset$.Ifth ere exist $z _ 0\ in {\mathc al{ D}}\cap B_R( x_0 )$ and  $ \al p ha\in  (0 ,1)$such t h at $$\ label{eqn -m a inly-D i richlet } B_ {\al pha R}(z_0)\subse t  B _ R(x_0), \quad\big(\ pa r ti a l  \O meg a\cap B_{\ al pha R } (z_0)\b i g) \ s ubs e t \big({\math cal{D}}\cap B_R (x_0)\ bi g), $ $ then  thefo l low ing hold.
1. For any $ p\in ( 1 ,d)$ an d  $u\inW^{1,p }_{ {\m athc a l{ D} }}( \O m ega ) $,  we hav e $$\|u\ |_ {L _{dp/ (d-p ) } ( \ Omeg a_R (x_0 ))}\l e N\|Du\|_{L_ p(\ Omeg a _{2 R}(x_ 0))}, $$ w he re $N =N(d,p , \al ph a)$.

2.  For a ny $ u\in W^{1 ,2} _{ {\m at hcal{ D }}}(\O meg a)$ , we ha ve $$\| u \|_ {L _ 2 ( \O mega_R(x_0))}\le N R\ | D u\ |_{L_2(\ Omega_ { 2R }( x _0))},$$  w her e $N = N (d,\a lpha ) $. 

The as sertio n  $ (b )$ is a  s impleco nse que nce o f  the  asser tion $(a )$. I n deed, by takin g  $p\in \big(\ f ra c { 2d } {d+2 },2\big)$, an d us i ng H ölde r ’s  in e quali ty an dt he assertion $(a)$, we  h ave $$ \begi n{aligned}
\| u\|_{L_2(\ O m e ga_R(x_0 ))}& \ le NR^{d/2-d/p+1} \|u\| _{L_{dp/(d - p)}(\Ome ga_R( x_0))}\\ 
&\le NR^ { d /2-d/p+1 }\| Du\ |_{ L_p ( \ Om ega_{2R}(x_0) ) } \leNR\|Du\| _{L _2(\Ome ga_ {2R }(x _0) )} .
\end{al igned}$$  T opr ov e t he as s ertion $ (a )$,  w e e xtend 
ass-RF\] $(\gamma)$_$(i)$. Let_$x_0\in \overline{\Omega}$, $R\in (0,_R_1/4]$, and_${\mathcal{D}}\subset_\partial \Omega$_with_${\mathcal{D}}\cap B_R(x_0)\neq \emptyset$._If there exist_$z_0\in {\mathcal{D}}\cap B_R(x_0)$ and_$\alpha\in (0,1)$ such_that_$$\label{eqn-mainly-Dirichlet}
B_{\alpha R}(z_0)\subset B_R(x_0), \quad \big(\partial \Omega\cap B_{\alpha R}(z_0)\big) \subset \big({\mathcal{D}}\cap B_R(x_0)\big),$$ then the following_hold.

1._ For_any_$p\in_(1,d)$ and $u\in W^{1,p}_{{\mathcal{D}}}(\Omega)$, we_have $$\|u\|_{L_{dp/(d-p)}(\Omega_R(x_0))}\le N\|Du\|_{L_p(\Omega_{2R}(x_0))},$$ where $N=N(d,p,_\alpha)$.

2. _For any $u\in W^{1,2}_{{\mathcal{D}}}(\Omega)$, we have $$\|u\|_{L_2(\Omega_R(x_0))}\le NR\|Du\|_{L_2(\Omega_{2R}(x_0))},$$_where_$N=N(d,\alpha)$.

The assertion $(b)$_is a simple consequence of the assertion $(a)$. Indeed,_by taking $p\in \big(\frac{2d}{d+2}, 2\big)$, and_using Hölder’s inequality_and_the_assertion $(a)$, we have_$$\begin{aligned}
\|u\|_{L_2(\Omega_R(x_0))}&\le NR^{d/2-d/p+1}\|u\|_{L_{dp/(d-p)}(\Omega_R(x_0))}\\
&\le NR^{d/2-d/p+1}\|Du\|_{L_p(\Omega_{2R}(x_0))}\le N R\|Du\|_{L_2(\Omega_{2R}(x_0))}.
\end{aligned}$$ To_prove the assertion $(a)$, we extend