Let $\mathbb{D} \subset \mathbb{R}^2$ be the unit disk and consider the Dirichlet problem of the Laplace equation $\Delta u = 0$ in $\mathbb{D}$ with $u = 0$ on $\partial \mathbb{D}$. Then we know that the solution to this problem is $u \equiv 0$ and that it minimizes the Dirichlet energy defined as \begin{gather} E[u] := \int_{\mathbb{D}} | \nabla u|^2 \end{gather}
Construct a sequence of functions $\{u_k\} \subset C(\overline{\mathbb{D}})$ satisfying the following conditions
- $u_k$ is piecewise smooth and $u_k|_{\mathbb{\partial D}}=0$ $\forall\ k \in \mathbb{N}$
- $E[u_k] \to 0$ as $k \to \infty$
- $u_k$ diverges as $k \to \infty$ in a set that is dense in $\mathbb{D}$
Then show that $u_k \to 0$ in the Sobolev space $H^1(\mathbb{D})$
Ok, I have constructed a sequence satisfying the aforementioned properties but I cannot understand how can $u_k \to 0$ in $H^1(\mathbb{D})$. I understand that the Sobolev space is equiped with the norm \begin{align} \|u\|_{H^1} &:= \Big( \int_{\mathbb{D}} (|\nabla u |^2 + |u|^2)\Big)^{1/2}\\ \|u\|^2_{H^1} &= \|\nabla u\|^2_{L^2(\mathbb{D})} + \|u\|^2_{L^2(\mathbb{D})} \end{align} and that by Property 2 we have $\|\nabla u_k\|_{L^2(\mathbb{D})} \to 0$ as $k \to \infty$ but still $u_k$ diverges in a dense subset of $\mathbb{D}$ (Property 3) and thus we should have $\|u_k\|_{L^2(\mathbb{D})} \to \infty$ as $k \to \infty$ which means that $u \notin H^1(\mathbb{D})$.
Could you please explain me that? Also, where am I wrong in the above considerations?
Thanks!
Update After @daw's answer I want to clarify that I constructed a sequence diverging in an uncountable dense subset. Does anything on the above declaration of the problem forbids me to do that? Or is it softly implied that the subset must be countable?