# sobolev spaces integral estimation

if I have a sequence $f_k\in W_{1,p}(\Omega)$ which converge weakly to some function $f$

and I know that $\nabla f_k-\nabla f\to 0$ in $L_{p}^{loc}(\Omega)$

I try to estimate the integral $\int_{\tilde{\Omega}} |\nabla f_k|^p-|\nabla f|^p$

$\tilde{\Omega}\subset \Omega$ (actually I try to prove it is 0 if $dist(\tilde{\Omega},\partial \Omega)>0$

is there any suggestion for how to do this?

• Since the restriction of gradient to $\widetilde {\Omega}$ converges in $L^p$, the $L^p$ norms converge. – user147263 Mar 11 '15 at 4:42
• this is what I wanted to prove, what theorem you rely on? – Lin Mar 11 '15 at 11:33
• Triangle inequality for the norm. – user147263 Mar 11 '15 at 16:11
• the convergence is weak – Lin Mar 12 '15 at 7:49
• But you have the strong convergence of the gradient on $\tilde\Omega$. – gerw Mar 13 '15 at 7:29