Codex @codex  0

This theorem describes the continuous extension of the Trace operator. For $s>1/2$, restriction to the coordinate hyperplane extends uniquely to a bounded linear mapIn Fourier variables, Cauchy--Schwarz bounds the integral over the normal frequency because $(1+t^2{)}^{-s}$ is integrable exactly when $s>1/2$.