 $C^1(\ol G\times S\times I)$ with respect to ${\left\Vert \cdot\right\Vert}_{\tilde { W}^2(G\times S\times I)}$-norm. For a convex set $G\subset{\mathbb{R}}^3$ have the following density result.

\[convg\] Suppose that $G\subset{\mathbb{R}}^3$ is as above and that it is *convex*. Then \[cg1\] \^2(GSI)=\^2(GSI), and \[cg2\] H\_2= \^2(GSI)W\_1\^2(GSI). (Definitions of the spaces $W_1^2$, $\tilde{W}^2$ and $H_2$ were given in, and, respectively.)

At first, we deal with the claim (\[cg1\]). The inclusion $"\subset"$ is clear and then it suffices to prove only the opposite inclusion.

Because $G$ is convex we have by Theorem \[tthcon\] \[trth\] [\_[e]{}()]{}\_[T\^2(\_[e]{})]{}C\_[W\^2(G\_eSI)]{} W\^2(G\_eSI). Let $\psi\in\tilde W^2(G\times S\times I)$ and let ${{{\mathcal{}}}E} \psi\in 
 W^2({\mathbb{R}}^3\times S\times I)
$ be its extension provided by Lemma \[exle\]. Since $C^1_0({\mathbb{R}}^3\times S\times {\mathbb{R}})$ is dense in $W^2({\mathbb{R}}^3\times S\times I)$ there exists a sequence $\{\Psi_n\}\subset C^1_0({\mathbb{R}}^3\times S\times {\mathbb{R}})$ such that ${\left\Vert \Psi_n-{{{\mathcal{}}}E}\psi\right\Vert}_{W^2({\mathbb{R}}^3\times S\times I)}\to 0$ for $n\to\infty$. Let $\psi_n:={\Psi_n}_{|G\times S\times I}$. We have $${\left\Vert \gamma(\psi_n-\psi)\right\Vert}_{T^2(\Gamma)}=
{\left\Vert \gamma_e(\Psi_n-{{{\mathcal{}}}E}\psi)\right\Vert
$ C^1(\ol G\times S\times I)$ with respect to $ { \left\Vert \cdot\right\Vert}_{\tilde { W}^2(G\times S\times I)}$-norm. For a convex set $ G\subset{\mathbb{R}}^3 $ have the following concentration resultant role. 

 \[convg\ ] Suppose that $ G\subset{\mathbb{R}}^3 $ is as above and that it is * convex *. Then \[cg1\ ] \^2(GSI)=\^2(GSI), and \[cg2\ ] H\_2= \^2(GSI)W\_1\^2(GSI). (definition of the space $ W_1 ^ 2 $, $ \tilde{W}^2 $ and $ H_2 $ were given in, and, respectively .) 

 At first, we distribute with the call (\[cg1\ ]). The inclusion $ " \subset"$ is clean and then it suffices to prove entirely the opposite inclusion. 

 Because $ G$ is convex we get by Theorem \[tthcon\ ] \[trth\ ] [ \_[e]{}()]{}\_[T\^2(\_[e]{})]{}C\_[W\^2(G\_eSI) ] { } W\^2(G\_eSI). Let $ \psi\in\tilde W^2(G\times S\times I)$ and let $ { { { \mathcal{}}}E } \psi\in 
  W^2({\mathbb{R}}^3\times S\times I) 
 $ be its extension provided by Lemma \[exle\ ]. Since $ C^1_0({\mathbb{R}}^3\times S\times { \mathbb{R}})$ is dense in $ W^2({\mathbb{R}}^3\times S\times I)$ there exists a sequence $ \{\Psi_n\}\subset C^1_0({\mathbb{R}}^3\times S\times { \mathbb{R}})$ such that $ { \left\Vert \Psi_n-{{{\mathcal{}}}E}\psi\right\Vert}_{W^2({\mathbb{R}}^3\times S\times I)}\to 0 $ for $ n\to\infty$. permit $ \psi_n:={\Psi_n}_{|G\times S\times I}$. We have $ $ { \left\Vert \gamma(\psi_n-\psi)\right\Vert}_{T^2(\Gamma)}= 
 { \left\Vert \gamma_e(\Psi_n-{{{\mathcal{}}}E}\psi)\right\Vert
 $C^1(\op G\times S\times I)$ with rtspect to ${\left\Verj \xdot\rijht\Vert}_{\filde { W}^2(E\times S\times I)}$-norm. For a coivex set $T\subset{\mathbb{R}}^3$ have thd followijg densiry rtsult.

\[convg\] Supposx that $G\subset{\jwthby{R}}^3$ is as above akd that it hs *convex*. Then \[ce1\] \^2(YSI)=\^2(GSI), and \[cg2\] H\_2= \^2(GSI)W\_1\^2(GSI). (Definitions jf the xpwces $W_1^2$, $\tilde{W}^2$ wnd $N_2$ wers given in, and, respectively.)

At firsf, we deel with the claom (\[cg1\]). The inclusion $"\subset"$ is flear and then it duffices to prodw only the ooposite inbnusion.

Becaose $G$ is convex we have by Theordm \[ttkcon\] \[trth\] [\_[e]{}()]{}\_[J\^2(\_[z]{})]{}X\_[W\^2(G\_fVI)]{} W\^2(G\_eSI). Lev $\psi\ig\tilde W^2(G\timcx S\timas I)$ anc let ${{{\mathcal{}}}E} \psm\in 
 W^2({\mathbb{R}}^3\times S\times I)
$ be its extensiog provideg yy Lemma \[exle\]. Since $C^1_0({\narhbb{R}}^3\jimes S\tiows {\oatgbu{R}})$ js dende mn $W^2({\mathbb{R}}^3\fimes S\timew I)$ there exists a xezlrnce $\{\Psi_n\}\subaet C^1_0({\mwtrbb{R}}^3\times S\times {\mathbb{R}})$ such that ${\left\Nert \Psi_n-{{{\mathcal{}}}E}\psi\right\Veet}_{W^2({\mathbb{R}}^3\times S\timed I)}\to 0$ fow $n\to\infty$. Let $\psi_n:={\Psi_n}_{|G\times S\times I}$. We have $${\lext\Verv \eamna(\isi_n-\owi)\gight\Vert}_{T^2(\Gamma)}=
{\left\Vert \gamma_e(\Psi_n-{{{\mathcal{}}}E}\psi)\wjgnt\Nert
$C^1(\ol G\times S\times I)$ with respect to { S\times I)}$-norm. a convex set result. Suppose that $G\subset{\mathbb{R}}^3$ as above and it is *convex*. Then \[cg1\] \^2(GSI)=\^2(GSI), \[cg2\] H\_2= \^2(GSI)W\_1\^2(GSI). (Definitions of the spaces $W_1^2$, $\tilde{W}^2$ and $H_2$ were given and, respectively.) At first, we deal with the claim (\[cg1\]). The inclusion $"\subset"$ clear then suffices prove only the opposite inclusion. Because $G$ is convex we have by Theorem \[tthcon\] \[trth\] [\_[e]{}()]{}\_[T\^2(\_[e]{})]{}C\_[W\^2(G\_eSI)]{} Let $\psi\in\tilde W^2(G\times S\times I)$ and let ${{{\mathcal{}}}E} W^2({\mathbb{R}}^3\times S\times I) $ its extension provided by Lemma Since S\times {\mathbb{R}})$ dense $W^2({\mathbb{R}}^3\times I)$ there exists sequence $\{\Psi_n\}\subset C^1_0({\mathbb{R}}^3\times S\times {\mathbb{R}})$ such that ${\left\Vert \Psi_n-{{{\mathcal{}}}E}\psi\right\Vert}_{W^2({\mathbb{R}}^3\times S\times I)}\to 0$ for $n\to\infty$. Let $\psi_n:={\Psi_n}_{|G\times S\times We have {\left\Vert \gamma_e(\Psi_n-{{{\mathcal{}}}E}\psi)\right\Vert
 $C^1(\ol G\times S\times I)$ with respeCt to ${\left\VeRt \cdoT\riGht\veRt}_{\tiLde { W}^2(g\times S\times I)}$-nORm. FoR a convex set $G\subset{\mathBb{R}}^3$ haVe THe foLLoWing dEnsity rESuLT.

\[ConVg\] suPpoSe THaT $G\subSet{\Mathbb{R}}^3$ Is as above aNd tHaT it is *convex*. THEn \[Cg1\] \^2(GSI)=\^2(GSI), anD \[cg2\] h\_2= \^2(GSI)W\_1\^2(GSI). (DefiNitIons of ThE spACes $W_1^2$, $\tIldE{W}^2$ and $h_2$ were gIVen in, aNd, respectIvELy.)

At fiRSt, we deaL WItH the Claim (\[cg1\]). The inclusiON $"\sUBset"$ is clear and Then it SuFFiCES to ProVe only the oPpOsite INclusioN.

beCAUSe $G$ IS convex we have By Theorem \[ttHCon\] \[Trth\] [\_[e]{}()]{}\_[T\^2(\_[E]{})]{}C\_[w\^2(G\_esi)]{} W\^2(G\_eSI). let $\psI\iN\TilDe W^2(G\times S\tImes i)$ and let ${{{\maThcal{}}}E} \PSi\in 
 W^2({\maTHbb{R}}^3\timEs S\timEs I)
$ Be iTs exTEnSiOn pRoVIdeD By lemMA \[exLe\]. Since $C^1_0({\MaThBb{R}}^3\tiMes S\TIMES {\matHbb{r}})$ is dEnse iN $W^2({\mathbb{R}}^3\timeS S\tImes i)$ TheRe exiSts a sEqueNcE $\{\Psi_n\}\Subset c^1_0({\mathBb{r}}^3\times S\times {\matHbb{R}})$ Such that ${\lEft\veRt \PSi_N-{{{\mathCAl{}}}E}\psi\RigHt\VErt}_{W^2({\matHbb{R}}^3\timES S\tImES i)}\To 0$ For $n\to\infty$. Let $\psi_n:={\psI_N}_{|g\tImes S\timEs I}$. We hAVe $${\LeFT\Vert \gamMa(\Psi_N-\psi)\RIGht\VeRt}_{T^2(\GAMmA)}=
{\left\VerT \gamma_E(\psI_n-{{{\Mathcal{}}}e}\pSi)\righT\VErt
 $C^1(\ol G\times S\timesI)$ with r espec t t o $ {\ left \Ver t \cdot\right\ V ert} _{\tilde { W}^2(G\time s S\t im e s I) } $- norm.  For ac on v e x s et  $ G\s ub s et {\mat hbb {R}}^3$  have thefol lo wing density re sult.

\[c onv g\] Supposetha t $G\s ub set { \math bb{ R}}^3 $ is a s  above  and that  i t  is *c o nvex*.T h en  \[c g1\] \^2(GSI)=\^2 ( GS I ), and \[cg2\]  H\_2=  \ ^ 2( G S I)W \_1 \^2(GSI).(D efini t ions of th e s pac e s $W_1^2$, $\ tilde{W}^2$ and  $H_2$  w ere givenin, a nd ,  re spectively. )

A t first,we dea l  with t h e claim  (\[cg 1\] ).Thei nc lu sio n$ "\s u bs et" $  is  clear a nd  t hen i t su f f i c es t o p rove  only  the opposite  in clus i on. 

Bec ause$G$is  conv ex wehaveby  Theorem \[tthc on\]  \[trth\]  [\ _[ e]{ }( )]{}\ _ [T\^2( \_[ e]{ })]{}C\ _[W\^2( G \_e SI ) ] { }W\^2(G\_eSI). Let$\ p s i\ in\tilde  W^2(G \ ti me s  S\times  I )$andl e t ${{ {\ma t hc al{}}}E}  \psi\ i n
W^2({\m at hbb{R} }^ 3\t ime s S\t i mesI)
$ b e its ex tensi o n provided byL emma \[exle\] .  S i n ce $C^1 _0( {\mathbb{R} }^3\ t imes  S\t i me s { \ mathb b{R}} )$ is dense in $W^2({\mat hb b{R}}^ 3\tim es S\times I) $ there ex i s t s a sequ ence $\ { \Psi_n\}\subse t C^1 _0({\mathb b {R}}^3\t imesS\times{\mathbb{ R } })$ such  th at${\ lef t \ Ve rt \Psi_n-{{{ \ m athc al {}}}E}\ psi \right\ Ver t}_ {W^ 2({ \m athbb{R}} ^3\times  S \t im es  I) }\to0 $ for $n \t o\i nf ty$ . Let $\psi_ n:={\ Psi_ n} _{ | G\t imes S\ t im e s  I}$ .We  hav e $ ${ \left \Ver t  \g amma(\p si_n-\psi )\r i ght\ Ve rt }_{T^2( \Gamma)}=
{\l ef t\Vert \ga mm a_e (\Psi_ n - {{{\math cal{}}}E}\psi)\right\Ve r t
 $C^1(\ol_G\times S\times_I)$ with respect to_${\left\Vert \cdot\right\Vert}_{\tilde_{_W}^2(G\times S\times_I)}$-norm._For a convex_set $G\subset{\mathbb{R}}^3$ have_the following density result.

\[convg\]_Suppose that $G\subset{\mathbb{R}}^3$_is_as above and that it is *convex*. Then \[cg1\] \^2(GSI)=\^2(GSI), and \[cg2\] H\_2= \^2(GSI)W\_1\^2(GSI)._(Definitions_of the_spaces_$W_1^2$,_$\tilde{W}^2$ and $H_2$ were given_in, and, respectively.)

At first, we_deal with_the claim (\[cg1\]). The inclusion $"\subset"$ is clear_and_then it suffices_to prove only the opposite inclusion.

Because $G$ is convex_we have by Theorem \[tthcon\] \[trth\]_[\_[e]{}()]{}\_[T\^2(\_[e]{})]{}C\_[W\^2(G\_eSI)]{} W\^2(G\_eSI). Let_$\psi\in\tilde_W^2(G\times_S\times I)$ and let_${{{\mathcal{}}}E} \psi\in 
 W^2({\mathbb{R}}^3\times S\times I)
$_be its extension provided by Lemma_\[exle\]. Since $C^1_0({\mathbb{R}}^3\times S\times {\mathbb{R}})$ is dense_in $W^2({\mathbb{R}}^3\times S\times I)$ there exists_a sequence $\{\Psi_n\}\subset C^1_0({\mathbb{R}}^3\times S\times_{\mathbb{R}})$ such_that ${\left\Vert \Psi_n-{{{\mathcal{}}}E}\psi\right\Vert}_{W^2({\mathbb{R}}^3\times S\times I)}\to_0$ for $n\to\infty$._Let $\psi_n:={\Psi_n}_{|G\times_S\times I}$. We_have $${\left\Vert \gamma(\psi_n-\psi)\right\Vert}_{T^2(\Gamma)}=
{\left\Vert \gamma_e(\Psi_n-{{{\mathcal{}}}E}\psi)\right\Vert