\leq
        r.
    \end{aligned}$$ Those functions satisfy a Poincaré type inequality of the form $$\begin{aligned}
\label{Poincare}
        {\left\lVertu\right\rVert}_{L^2}
        \leq
        C({\left\lVert\nabla u\right\rVert}_{L^2} + 1),
    \end{aligned}$$ where $C$ only depends on $r$ and $\Omega$.

The proof consists of two steps. First we will show that the inequality (\[InequalityM\]) implies that $M$ cannot contain arbitrarily large, constant functions and second we prove that a failure of the Poincaré inequality (\[Poincare\]) means that $M$ contains any large, constant function hence the assertion follows.  \
 \
**Step 1.** Let $\xi\in\mathbb{R}$ be a constant function in $M$. We will show that there is some fixed $C>0$ depending only on $r,{\left\lVertf\right\rVert}_{H^1(\Omega)'}$ and $|\partial\Omega|$ such that $$|\xi|\leq C.$$ Using a scaled version of Young’s inequality with $\varepsilon |\Omega|^{1/2} \leq |\partial\Omega|/2$ we compute $$\begin{aligned}
            r
            \geq
            \int_{\partial\Omega}\xi^2\,ds
            -
            f(\xi)
            &\geq
            |\xi|^2|\partial\Omega|
            -
            {\left\lVertf\right\rVert}_{H^1(\Omega)'}{\left\lVert\xi\right\rVert}_{H^1(\Omega)}
            \\
            &=
            |\xi|^2|\partial\Omega| 
            -
            {\left\lVertf\right\rVert}_{H^1(\Omega)'}|\Omega|^{1/2}|\xi|
            \\
            &\geq
            |\xi|^2|\partial\Omega|
            -
            C(\varepsilon){\left\lVertf\right\rVert}^2_{H^1(\Omega)'}
            -\varepsilon|\Omega|\cdot|\xi|^2
            \\
            &\geq
            \frac12|\partial\Omega|\,|\xi|^2
            -
            C(\varepsilon){\left\lVertf\right\rVert}^2_{H^
\leq 
         r. 
     \end{aligned}$$ Those functions satisfy a Poincaré type inequality of the form $ $ \begin{aligned } 
 \label{Poincare } 
         { \left\lVertu\right\rVert}_{L^2 } 
         \leq 
         C({\left\lVert\nabla u\right\rVert}_{L^2 } + 1), 
     \end{aligned}$$ where $ C$ merely depend on $ r$ and $ \Omega$. 

 The proof consists of two steps. foremost we will show that the inequality (\[InequalityM\ ]) implies that $ M$ cannot contain randomly big, constant function and second we prove that a failure of the Poincaré inequality (\[Poincare\ ]) intend that $ M$ contains any large, ceaseless affair hence the assertion follows.   \ 
  \ 
 * * Step 1. * * Let $ \xi\in\mathbb{R}$ be a changeless function in $ M$. We will show that there is some cook $ C>0 $ depending only on $ r,{\left\lVertf\right\rVert}_{H^1(\Omega)'}$ and $ |\partial\Omega|$ such that $ $ |\xi|\leq C.$$ Using a scaled adaptation of Young ’s inequality with $ \varepsilon |\Omega|^{1/2 } \leq |\partial\Omega|/2 $ we compute $ $ \begin{aligned } 
             r 
             \geq 
             \int_{\partial\Omega}\xi^2\,ds 
             - 
             f(\xi) 
             & \geq 
             |\xi|^2|\partial\Omega| 
             - 
             { \left\lVertf\right\rVert}_{H^1(\Omega)'}{\left\lVert\xi\right\rVert}_{H^1(\Omega) } 
             \\ 
             & = 
             |\xi|^2|\partial\Omega| 
             - 
             { \left\lVertf\right\rVert}_{H^1(\Omega)'}|\Omega|^{1/2}|\xi| 
             \\ 
             & \geq 
             |\xi|^2|\partial\Omega| 
             - 
             C(\varepsilon){\left\lVertf\right\rVert}^2_{H^1(\Omega)' } 
             -\varepsilon|\Omega|\cdot|\xi|^2 
             \\ 
             & \geq 
             \frac12|\partial\Omega|\,|\xi|^2 
             - 
             C(\varepsilon){\left\lVertf\right\rVert}^2_{H^
\leq
        r.
    \end{aligned}$$ Uhose functions scrisfy e Poinczré type knequality of the form $$\begin{eligbed}
\lavel{Poincare}
        {\lefg\lVertu\rihht\rVert}_{O^2}
        \leq
        C({\lenc\lVerf\kabla n\right\rVert}_{L^2} + 1),
    \end{aligted}$$ where $C$ onny dzpends on $r$ and $\Omega$.

The proof consifts of ywl steps. First re wplj shkw that the inequality (\[InequalityM\]) impliev that $M$ cannpt contain arbitrarily larhe, clnstant functions wnd second qe pwive that a fxilure of uhz Poincaré ihequality (\[Poincare\]) means that $M$ contcins any latyw, cltstant funcvion hvnce the assevnion fonlows.  \
 \
**Syep 1.** Let $\xi\in\msthub{R}$ ve a constant functioi in $M$. We will show jhat there ia some fixed $C>0$ depebding onlf on $e,{\lewt\lBectf\dight\rGerv}_{H^1(\Omega)'}$ and $|\partial\Ometa|$ such that $$|\xi|\leq V.$$ Twing a scaled versijn of Young’s inequality with $\varepsilon |\Okegz|^{1/2} \leq |\partial\Omega|/2$ we cimpute $$\begin{aligned}
            r
            \geq
            \int_{\partial\Omega}\xi^2\,ds
            -
            f(\xi)
            &\geq
            |\xi|^2|\partiwm\Okena|
            -
            {\lrfh\lFgrtf\right\rVert}_{F^1(\Omega)'}{\leff\lVert\xi\right\rVert}_{J^1(\Omega)}
            \\
            &=
            |\xi|^2|\partial\Onega| 
            -
            {\leyt\lVertf\righc\rVert}_{N^1(\Omegs)'}|\Omega|^{1/2}|\xi|
            \\
            &\geq
            |\sk|^2|\partial\Omega|
            -
            C(\varepsilog){\left\lVervf\rigkt\rVert}^2_{H^1(\Umegs)'}
            -\varfpsilon|\Omega|\cdot|\xi|^2
            \\
            &\geq
            \frac12|\partial\Omege|\,|\ei|^2
            -
            E(\varepxilon){\left\lVeref\right\rVert}^2_{H^
\leq r. \end{aligned}$$ Those functions satisfy a inequality the form \label{Poincare} {\left\lVertu\right\rVert}_{L^2} \leq where only depends on and $\Omega$. The consists of two steps. First we show that the inequality (\[InequalityM\]) implies that $M$ cannot contain arbitrarily large, constant and second we prove that a failure of the Poincaré inequality (\[Poincare\]) means $M$ any constant hence the assertion follows. \ \ **Step 1.** Let $\xi\in\mathbb{R}$ be a constant function in $M$. will show that there is some fixed $C>0$ only on $r,{\left\lVertf\right\rVert}_{H^1(\Omega)'}$ and such that $$|\xi|\leq C.$$ Using scaled of Young’s with |\Omega|^{1/2} |\partial\Omega|/2$ we compute r \geq \int_{\partial\Omega}\xi^2\,ds - f(\xi) &\geq |\xi|^2|\partial\Omega| - {\left\lVertf\right\rVert}_{H^1(\Omega)'}{\left\lVert\xi\right\rVert}_{H^1(\Omega)} \\ &= |\xi|^2|\partial\Omega| - {\left\lVertf\right\rVert}_{H^1(\Omega)'}|\Omega|^{1/2}|\xi| \\ &\geq |\xi|^2|\partial\Omega| C(\varepsilon){\left\lVertf\right\rVert}^2_{H^1(\Omega)'} -\varepsilon|\Omega|\cdot|\xi|^2 \frac12|\partial\Omega|\,|\xi|^2 -
\leq
        r.
    \end{aligned}$$ Those functiOns satisfy A PoinCarÉ tyPe IneqUaliTy of the form $$\begIN{aliGned}
\label{Poincare}
        {\left\lvertu\RiGHt\rVERt}_{l^2}
        \leq
        C({\Left\lVeRT\nABLa u\RiGhT\rVErT}_{l^2} + 1),
    \eNd{aliGneD}$$ where $C$ Only dependS on $R$ aNd $\Omega$.

The prOOf Consists of Two Steps. First we WilL show tHaT thE InequAliTy (\[IneQualitYm\]) impliEs that $M$ caNnOT contaIN arbitrARIlY larGe, constant functioNS aND second we prove That a fAiLUrE OF thE PoIncaré ineqUaLity (\[POIncare\]) mEAnS THAt $M$ COntains any larGe, constant fUNctIon henCe The ASsertiOn folLoWS.  \
 \
**StEp 1.** Let $\xi\in\maThbb{r}$ be a constAnt funCTion in $M$. wE will shOw that TheRe iS somE FiXeD $C>0$ dEpENdiNG oNly ON $r,{\lEft\lVertF\rIgHt\rVeRt}_{H^1(\OMEGA)'}$ And $|\pArtIal\OMega|$ sUch that $$|\xi|\leq C.$$ usiNg a sCAleD versIon of younG’s InequAlity wIth $\vaRePsilon |\Omega|^{1/2} \leq |\pArtiAl\Omega|/2$ we ComPuTe $$\bEgIn{aliGNed}
            r
            \geQ
            \inT_{\paRtial\OmEga}\xi^2\,ds
            -
            F(\Xi)
            &\gEq
            |\XI|^2|\PArTial\Omega|
            -
            {\left\lVertF\rIGHt\RVert}_{H^1(\OmEga)'}{\lefT\LVErT\Xi\right\rveRt}_{H^1(\omegA)}
            \\
            &=
            |\XI|^2|\partIal\OMEgA| 
            -
            {\left\lVeRtf\rigHT\rveRt}_{H^1(\OmegA)'}|\OMega|^{1/2}|\xi|
            \\
            &\GeQ
            |\xi|^2|\ParTial\OMEga|
            -
            C(\VarepsIlon){\left\LVertF\Right\rVert}^2_{H^1(\OmeGA)'}
            -\varepsilon|\OmEGa|\CDOt|\XI|^2
            \\
            &\geq
            \FraC12|\partial\OmeGa|\,|\xi|^2
            -
            c(\VarePsilON){\lEft\Lvertf\Right\RVERt}^2_{h^
\leq
        r.
    \end{a ligned}$$Those  fu nct io ns s atis fy a Poincarét ypeinequality of the form  $$\b eg i n{al i gn ed}
\ label{P o in c a re} 
    { \l eft\l Ver tu\righ t\rVert}_{ L^2 }        \leq        C({\ lef t\lVert\nabl a u \right \r Ver t }_{L^ 2}+ 1), 
    \ e nd{ali gned}$$ w he r e $C$o nly dep e n ds  on$r$ and $\Omega$. 
T h e proof consis ts oftw o  s t e ps.  Fi rst we wil lshowt hat the in e q u ali t y (\[Inequali tyM\]) impl i esthat $ M$  ca n not co ntain  a r bit rarily larg e, c onstant f unctio n s and s e cond we  prove  th ata fa i lu re  of  t h e P o in car é  in equality  ( \[ Poinc are\ ] ) m eans  th at $ M$ co ntains any la rge , co n sta nt fu nctio n he nc e the  asser tionfo llows.  \
 \
** Step  1.** Let  $\ xi \in \m athbb { R}$ be  acon stant f unction in$M $ . We  will show that th er e is  some fi xed $C > 0$  d e pendingon lyon $ r , {\lef t\lV e rt f\right\ rVert} _ {H ^1 (\Omega )' }$ and  $ |\p art ial\O m ega| $ such  that $$ |\xi| \ leq C.$$ Using a scaled vers i on o fY oung ’sinequalitywith $\va reps i lo n | \ Omega |^{1/ 2} \l e q |\partial\Omega|/ 2$  we co mpute  $$\begin{ali gned}
        r
       \geq
          \int_{\pa r tial\Ome ga}\x i^2\,ds         -
         f( \xi )            &\g e q 
         |\x i|^2|\p art ial \Om ega |           -
       {\ left\ l Vertf\ri gh t\r Ve rt} _{H^1 ( \Omega )'}{\ left \l Ve r t\x i\right \ rV e r t}_{ H^ 1( \Ome ga) }         \ \
           &= 
       |\xi|^ 2|\partial\Om eg a| 
         -
         { \left\lVertf\right\rVer t }_{H^1( \Om ega)' }|\O mega|^{1/ 2}| \xi|
        \\
        & \ geq
      |\xi|^2| \ p art ial\O me ga|           -
          C(\ varepsilon){\ lef t\lV e r tf \ri g ht \ rVe rt } ^2_ { H ^1(\Omega)'}
          -\ v ar epsilon|\O m ega |\ cdot|\x i|^2
         \\           &\geq       \frac12|\ partial\ Omega|\,| \ xi|^2          -
        C(\var e psi lon){ \left\ lV ertf\r ight\ rV ert}^2_{ H^
\leq
 _ _   _r.
 __ \end{aligned}$$_Those_functions satisfy a_Poincaré type inequality_of the form $$\begin{aligned}
\label{Poincare}
_  __   {\left\lVertu\right\rVert}_{L^2}
        \leq
  __ ___C({\left\lVert\nabla u\right\rVert}_{L^2} + 1),
 _  \end{aligned}$$ where $C$_only depends_on $r$ and $\Omega$.

The proof consists of two_steps._First we will_show that the inequality (\[InequalityM\]) implies that $M$ cannot_contain arbitrarily large, constant functions and_second we prove_that_a_failure of the Poincaré_inequality (\[Poincare\]) means that $M$ contains_any large, constant function hence the_assertion follows.  \
 \
**Step 1.** Let $\xi\in\mathbb{R}$ be_a constant function in $M$. We_will show that there is_some fixed_$C>0$ depending only on $r,{\left\lVertf\right\rVert}_{H^1(\Omega)'}$_and $|\partial\Omega|$ such_that $$|\xi|\leq_C.$$ Using a_scaled version of Young’s inequality with_$\varepsilon |\Omega|^{1/2} \leq_|\partial\Omega|/2$ we compute $$\begin{aligned}
  __  ___ _ r
 __ __     _\geq
_      _   _\int_{\partial\Omega}\xi^2\,ds
_   _    _  -
   _ _ _    f(\xi)
      _     &\geq
_   _ __  __|\xi|^2|\partial\Omega|
 _      _ _ -
    _   __  {\left\lVertf\right\rVert}_{H^1(\Omega)'}{\left\lVert\xi\right\rVert}_{H^1(\Omega)}
   _     _  \\
  ___    _  &=
   _  _     |\xi|^2|\partial\Omega| 
__     __   -
  ___    _  {\left\lVertf\right\rVert}_{H^1(\Omega)'}|\Omega|^{1/2}|\xi|
   _        \\
_  _    ___ &\geq
        _ _ |\xi|^2|\partial\Omega|
 _         _-
      _     C(\varepsilon){\left\lVertf\right\rVert}^2_{H^1(\Omega)'}
     _      -\varepsilon|\Omega|\cdot|\xi|^2
 _      _   \\
__      ____&\geq
  _  _  _ _ \frac12|\partial\Omega|\,|\xi|^2
 _ _  __    -
            C(\varepsilon){\left\lVertf\right\rVert}^2_{H^