Odd reflection (source code)

= Odd reflection

The odd reflection of a function on a half-space is $Eu(x',x_n)=\operatorname{sgn}(x_n)u(x',|x_n|)$. When $u$ has zero trace on the boundary, this extension preserves the relevant weak regularity and often converts a homogeneous boundary problem into an interior problem.