# About convergence in Sobolev norm

I have a question about Sobolev spaces.

$(1,2)$-Sobolev space on $\mathbb{R}^{d}$ (denoted by $H^{1,2}(\mathbb{R}^{d})$) is defined as follows: \begin{align*} H^{1,2}(\mathbb{R}^{d}):=\left\{f \in L^{2}(\mathbb{R}^{d};dx) \left| \frac{\partial f}{\partial x_{i}} \in L^{2}(\mathbb{R}^{d};dx), 1\leq i \leq d \right. \right\} \end{align*} with derivatives in the Schwartz distribution sence. It is kwnon that $H^{1,2}(\mathbb{R}^{d})$ is a Hilbert space with the inner product \begin{align*} (f,g):=\int_{\mathbb{R}^{d}}fg\,dx+\sum_{i=1}^{n} \int_{\mathbb{R}^{d}}\frac{\partial f}{\partial x_{i}}\frac{\partial g}{\partial x_{i}}dx \end{align*}

Question

Let $(E_{n})_{n \in \mathbb{N}}$ be an increasing Lebesgue measurable subsets such that $\mu(\mathbb{R}^{d} \setminus E_{n})\to 0$ as $n \to \infty$.

Suppose that $f_{n} \to f$ in $H^{1,2}(\mathbb{R}^{d})$

Then can we show that $\displaystyle \lim_{n \to \infty}\int_{\mathbb{R}^{d}\setminus E_{n}} (\nabla f_{n}, \nabla f_{n}) dx =0\cdots(1)$ ?

My Idea

Since $(\int_{\mathbb{R}^{d}} (\nabla f_{n}, \nabla f_{n}) dx)_{n \in \mathbb{N}}$ is convergent sequence, it is bounded. Therefore $(\int_{\mathbb{R}^{d}\setminus K_{n}} (\nabla f_{n}, \nabla f_{n}) dx)_{n \in \mathbb{N}}$ is bounded. Hence there exists a subsequence such that $\left(\int_{\mathbb{R}^{d}\setminus K_{n_{j}}} (\nabla f_{n_{j}}, \nabla f_{n_{j}})dx\right)_{j \in \mathbb{N}}$ is a convergent sequence. Can we show $\int_{\mathbb{R}^{d}\setminus K_{n_{j}}} (\nabla f_{n_{j}}, \nabla f_{n_{j}})dx \to 0$ ?

• $(1)$ follows from $(a + b)^2 \le 2a^2 + 2b^2$,
• $(2)$ follows from monotonicity of the integral,
• $(3)$ follows from convergence in $L^2$ of the gradients for the first term and monotone convergence theorem for the second term.