Let $\Omega \subset \mathbb{R}^d$ a regular domain (compact boundary $C^1$) e let $u \in H^1(\Omega)$. Let $tr(u) \equiv \alpha$.
I would like to prove that the truncated function $$\bar{u}=u \chi_{\{u < \alpha \}}+\alpha \chi_{\{u \geq \alpha \}}$$ is still a Sobolev function with $\dfrac{\partial u}{\partial x_i}=\dfrac{\partial u}{\partial x_i}\chi_{\{u <1\}}$ and $tr(\bar{u})=1$.
I tried to apply the direct definition with the existence of weak derivative but I wasn't able to do that.