Let $\phi$ be a smooth, bounded and nondecreasing function, such that $\phi'$ is bounded and $\phi(z) = z$ if $|z| \le 1$. Set$$u^\epsilon(x) := \epsilon \phi(u/\epsilon).$$Do we necessarily have that$$\int\_U Du^\epsilon \cdot Du\,dx = \int\_U \phi'(u/\epsilon)|Du|^2\,dx \to 0?$$



If $u \in H^1(U)$, then $Du = 0$ almost everywhere on the set $\{u = 0\}$, auxiliary result
We can assume $U$ is bounded.


On one hand, $\|u^{\epsilon}\|\_{L^2}\rightarrow0$ as $\epsilon\rightarrow0$. And $\|Du^{\epsilon}\|\_{L^2}$ is uniformly bounded. Thus we infer $u^\epsilon$ converges weakly to $0$ in $H^1(U)$, which implies that
$$\int\_UDu^\epsilon\cdot Dudx=(u^\epsilon,u)\_{H^1}-\int\_Uu^\epsilon udx\rightarrow0,\ as\ \epsilon\rightarrow0.$$


On the other hand,
$$\int\_U\phi'(u/\epsilon)|Du|^2dx\geq\int\_{\{u=0\}}|Du|^2dx.$$
We finally conclude
$$\int\_{\{u=0\}}|Du|^2dx=0.$$
Thus we get the desired result.


