Reflection extension from a half-space
= Reflection extension from a half-space
For $U=(0,\infty)\times\mathbb R^{n-1}$, the formula $Eu(x_1,x')=u(|x_1|,x')$ defines a bounded <Sobolev extension operator>. Its weak normal derivative changes sign across the boundary, while its tangential weak derivatives are reflected unchanged.