$. Using the weak semicontinuity of ${\left\lVert\,\cdot\,\right\rVert}^2_{L^2(\partial\Omega)}$ it follows that $$\begin{aligned}
            \liminf_{n\to\infty}
            {\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)}
            \geq
            {\left\lVert\operatorname{tr}(u)\right\rVert}^2_{L^2(\partial\Omega)}
            >0.
        \end{aligned}$$ and therefore clearly $$\liminf_{n\to\infty}
            \big(
            n{\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)}
            \big)
            =
            \infty.$$ Using these facts we establish the liminf inequality in this case $$\begin{aligned}
            \liminf_{n\to\infty}F_n(u_n)
            \geq
            \liminf_{n\to\infty} n{\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)}
            -
            \lim_{n\to\infty}f(u_n)
            =
            \infty
            =
            F(u).
        \end{aligned}$$ Now we treat the case $u\in H^{1}_0(\Omega)$. Then using weak lower semi-continuity we find $$\begin{aligned}
            \liminf_{n\to\infty}F_n(u_n)
            &\geq
            \liminf_{n\to\infty}\frac12\int_\Omega|\nabla u_n|^2\,\mathrm dx - f(u)
            \\
            &\geq
            \frac12\int_\Omega |\nabla u|^2\,\mathrm dx
            -
            f(u)
            =
            F(u).
        \end{aligned}$$ We are left to construct a recovery sequence. Assume that $u$ does not have zero boundary conditions. Then just choose $u_n = u$ for all $n$. Otherwise assume $u$ lies in $H^{1}_0(\Omega)$. By Theorem \[UniversalApproximation\] there is a sequence $(u_
$. Using the weak semicontinuity of $ { \left\lVert\,\cdot\,\right\rVert}^2_{L^2(\partial\Omega)}$ it follows that $ $ \begin{aligned } 
             \liminf_{n\to\infty } 
             { \left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega) } 
             \geq 
             { \left\lVert\operatorname{tr}(u)\right\rVert}^2_{L^2(\partial\Omega) } 
             > 0. 
         \end{aligned}$$ and therefore intelligibly $ $ \liminf_{n\to\infty } 
             \big (
             n{\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega) } 
             \big) 
             = 
             \infty.$$ use these facts we establish the liminf inequality in this case $ $ \begin{aligned } 
             \liminf_{n\to\infty}F_n(u_n) 
             \geq 
             \liminf_{n\to\infty } n{\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega) } 
             - 
             \lim_{n\to\infty}f(u_n) 
             = 
             \infty 
             = 
             F(u). 
         \end{aligned}$$ immediately we treat the case $ u\in H^{1}_0(\Omega)$. Then use decrepit lower semi - continuity we recover $ $ \begin{aligned } 
             \liminf_{n\to\infty}F_n(u_n) 
             & \geq 
             \liminf_{n\to\infty}\frac12\int_\Omega|\nabla u_n|^2\,\mathrm dx - f(u) 
             \\ 
             & \geq 
             \frac12\int_\Omega |\nabla u|^2\,\mathrm dx 
             - 
             f(u) 
             = 
             F(u). 
         \end{aligned}$$ We are left to construct a convalescence sequence. Assume that $ u$ does not have zero boundary conditions. Then barely choose $ u_n = u$ for all $ n$. Otherwise assume $ u$ lies in $ H^{1}_0(\Omega)$. By Theorem \[UniversalApproximation\ ] there is a sequence $ (uracil _
$. Uslng the weak semicontinulty of ${\left\lVert\,\eeot\,\rigit\rVert}^2_{M^2(\partial\Umega)}$ it follows that $$\begin{apitned}
            \liminf_{n\to\inwty}
            {\ledt\lVtrt\operatorname{tr}(n_h)\right\rYzrt}^2_{L^2(\pzvtial\Mnega)}
            \geq
            {\left\lVest\upzratorname{tr}(u)\right\rVert}^2_{L^2(\partial\Omega)}
            >0.
        \end{wligmqd}$$ ahd therefore clearly $$\liminf_{n\to\inftg}
            \big(
            n{\left\lVert\operatorjame{hr}(u_n)\right\rVert}^2_{L^2(\parhial\Omega)}
            \big)
            =
            \inrty.$$ Using these facts we establksh tke liminf ibewuaphty in this case $$\begin{aligned}
            \likinf_{n\to\infty}F_n(m_n)
            \geq
            \niminf_{n\to\infty} n{\lest\lVert\oparctorname{tr}(u_n)\right\rVerr}^2_{L^2(\partidl\Omaga)}
            -
            \lim_{n\to\ihfty}f(u_n)
            =
            \igdty
            =
            F(u).
        \end{aligned}$$ Now we treat ths case $u\in H^{1}_0(\Omega)$. Then ysing weak lower semi-fontinuitr we find $$\begin{aligned}
            \liminf_{n\to\infty}F_t(u_n)
            &\heq
            \liminf_{n\to\infty}\frac12\int_\Omega|\nablw u_m|^2\,\msthrm dx - f(u)
            \\
            &\geq
            \fdac12\int_\Omega |\nabla k|^2\,\mathrm dx
            -
            f(u)
            =
            F(u).
        \end{aligned}$$ We are left tu comstruvt a recovery sequence. Cssume that $u$ doed not havs zero boundary cundptiots. Then just choose $u_n = u$ sor all $n$. Othzrwise arsumg $u$ lief in $H^{1}_0(\Omegw)$. By Bveorem \[UniversalAporoxiladion\] there is a sequence $(u_
$. Using the weak semicontinuity of ${\left\lVert\,\cdot\,\right\rVert}^2_{L^2(\partial\Omega)}$ that \liminf_{n\to\infty} {\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)} {\left\lVert\operatorname{tr}(u)\right\rVert}^2_{L^2(\partial\Omega)} >0. \end{aligned}$$ n{\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)} = \infty.$$ Using facts we establish liminf inequality in this case $$\begin{aligned} \geq \liminf_{n\to\infty} n{\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)} - \lim_{n\to\infty}f(u_n) = \infty = F(u). \end{aligned}$$ Now we treat case $u\in H^{1}_0(\Omega)$. Then using weak lower semi-continuity we find $$\begin{aligned} \liminf_{n\to\infty}F_n(u_n) &\geq u_n|^2\,\mathrm - \\ \frac12\int_\Omega |\nabla u|^2\,\mathrm dx - f(u) = F(u). \end{aligned}$$ We are left to construct a recovery Assume that $u$ does not have zero boundary Then just choose $u_n u$ for all $n$. Otherwise $u$ in $H^{1}_0(\Omega)$. Theorem there a sequence $(u_
$. Using the weak semicontinuitY of ${\left\lVeRt\,\cdoT\,\riGht\RVErt}^2_{L^2(\PartIal\Omega)}$ it follOWs thAt $$\begin{aligned}
            \liminf_{n\tO\inftY}
            {\lEFt\lVERt\OperaTorname{TR}(u_N)\RIghT\rveRt}^2_{L^2(\PaRTiAl\OmeGa)}
            \gEq
            {\left\lvert\operatOrnAmE{tr}(u)\right\rVeRT}^2_{L^2(\Partial\OmeGa)}
            >0.
        \eNd{aligned}$$ and TheRefore ClEarLY $$\limiNf_{n\To\infTy}
            \big(
            n{\LEft\lVeRt\operatoRnAMe{tr}(u_n)\RIght\rVeRT}^2_{l^2(\pArtiAl\Omega)}
            \big)
            =
            \infty.$$ UsINg THese facts we estAblish ThE LiMINf iNeqUality in thIs Case $$\bEGin{aligNEd}
            \LIMInf_{N\To\infty}F_n(u_n)
            \geQ
            \liminf_{n\to\iNFty} N{\left\lveRt\oPEratorName{tR}(u_N)\RigHt\rVert}^2_{L^2(\parTial\omega)}
            -
            \lim_{n\To\inftY}F(u_n)
            =
            \inftY
            =
            f(u).
        \end{alIgned}$$ NOw wE trEat tHE cAsE $u\iN H^{1}_0(\oMegA)$. thEn uSIng Weak loweR sEmI-contInuiTY WE Find $$\BegIn{alIgned}
            \Liminf_{n\to\inftY}F_n(U_n)
            &\geQ
            \LimInf_{n\tO\inftY}\fraC12\iNt_\OmeGa|\nablA u_n|^2\,\maThRm dx - f(u)
            \\
            &\geq
            \frac12\inT_\OmeGa |\nabla u|^2\,\mAthRm Dx
            -
            f(U)
            =
            F(U).
        \end{aLIgned}$$ WE arE leFt to conStruct a REcoVeRY SEqUence. Assume that $u$ doEs NOT hAve zero bOundarY CoNdITions. TheN jUst ChooSE $U_n = u$ foR all $N$. otHerwise aSsume $u$ LIeS iN $H^{1}_0(\Omega)$. by theoreM \[UNivErsAlAppROximAtion\] tHere is a sEquenCE $(u_
$. Using the weak semicont inuity of${\le ft\ lVe rt \,\c dot\ ,\right\rVert} ^ 2_{L ^2(\partial\Omega)}$ i t fol lo w s th a t$$\be gin{ali g ne d } 
      \l iminf _{n \to\inf ty}
         {\left\lVer t \o peratornam e{t r}(u_n)\righ t\r Vert}^ 2_ {L^ 2 (\par tia l\Ome ga)}
         \geq        {\lef t \ lV ert\ operatorname{tr}( u )\ r ight\rVert}^2_ {L^2(\ pa r ti a l \Om ega )}
          >0 . 
      \ e n d {al i gned}$$ and t herefore cl e arl y $$\l im inf _ {n\to\ infty }          \bi g(
          n{\l e ft\lVer t \operat orname {tr }(u _n)\ r ig ht \rV er t }^2 _ {L ^2( \ par tial\Ome ga )} 
      \big )
         =
          \inf t y.$ $ Usi ng th esefa cts w e esta blish  t he liminf inequ alit y in this  ca se  $$ \b egin{ a ligned }
         \limin f _{n \t o \ i nf ty}F_n(u_n)
       \geq
        \l i minf_{n\ to \in fty} n {\lef t\lV e rt \operato rname{ t r} (u _n)\rig ht \rVert }^ 2_{ L^2 (\par t ial\ Omega) }
         -
           \ lim_{n\to\inf t y} f ( u_ n )
          =
        \in f ty 
         = 
        F(u).
      \end{a ligne d}$$ Now we t reat the c a s e  $u\in H ^{1} _ 0( \ Omega)$. Thenusing  weak lowe r  semi-co ntinu ity we f ind $$\be g i n{aligne d}       \ liminf_{n\to\ i n fty} F_ n(u_n)          & \ge q
         \li minf_{n\ to \i nf ty }\f rac12 \ int_\Ome ga |\n ab lau_n|^ 2 \,\mat hrm d x -f( u)          \ \         &\g eq 
        \frac12 \int_\Ome ga| \nab la  u |^2\,\m athrm dx
          -
         f ( u )
           =
            F(u ) .
      \end{ alig ned}$$ We  ar e left  to constr uct arecov er y s e q uence . As sum ethat $u$ d o e s n ot ha ve  zer o bound ary conditions. Th e n j ust choose $u _n= u$ f or  al l  $ n $.Ot h erw i s e assume $u$ li es in $H^{ 1} _ 0( \Omega)$.B y T he orem \[ Univers alApp r oximati on\] ther e is a se qu ence $ (u_ 
$. Using_the weak_semicontinuity of ${\left\lVert\,\cdot\,\right\rVert}^2_{L^2(\partial\Omega)}$ it_follows that_$$\begin{aligned}
_ __  _  _  \liminf_{n\to\infty}
 _  __      {\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)}
       __ __\geq
_    _    _ {\left\lVert\operatorname{tr}(u)\right\rVert}^2_{L^2(\partial\Omega)}
_       __  >0.
_       \end{aligned}$$ and_therefore clearly $$\liminf_{n\to\infty}
   _  ___   \big(
_     _     n{\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)}
_      _    \big)
 _    _ _   =
 _  _ _  _  \infty.$$ Using these facts_we establish the_liminf inequality in this case $$\begin{aligned}
__  ___ _  _\liminf_{n\to\infty}F_n(u_n)
_ __     __ \geq
     _   __ \liminf_{n\to\infty} n{\left\lVert\operatorname{tr}(u_n)\right\rVert}^2_{L^2(\partial\Omega)}
 _    _     -
_ _ _       \lim_{n\to\infty}f(u_n)
   _     _  =
 _ __  __ _ \infty
     _ _    =
 _   __     F(u).
_     _ \end{aligned}$$ Now we treat_the_case_$u\in H^{1}_0(\Omega)$. Then using weak_lower semi-continuity we find $$\begin{aligned}
 _  _      _\liminf_{n\to\infty}F_n(u_n)
_     __    &\geq
 ___    _   \liminf_{n\to\infty}\frac12\int_\Omega|\nabla u_n|^2\,\mathrm dx_- f(u)
       _  _ \\
   ___      &\geq
   _ _  _   \frac12\int_\Omega |\nabla u|^2\,\mathrm dx
   _      _ -
         _  f(u)
     _      =
_   __      F(u).
____  _ \end{aligned}$$ We_are left to_construct a_recovery sequence. Assume_that $u$_does not have_zero_boundary conditions. Then just choose $u_n = u$ for all $n$. Otherwise assume $u$ lies in $H^{1}_0(\Omega)$. By_Theorem \[UniversalApproximation\] there is a sequence_$(u_