Angular quotient functions belong to Sobolev spaces below the dimension
ID: angular-quotient-functions-belong-to-sobolev-spaces-below-the-dimension
The bounded angular function has ordinary derivatives away from zero. Their magnitudes are at most , whose -th power is integrable on the unit ball exactly below the dimension threshold in this estimate. To verify the weak derivative across zero, integrate by parts outside a ball of radius against a compactly supported smooth test. The boundary term has magnitude at most , tending to zero for , while the derivative volume term converges by integrability. This proves the stated Sobolev membership with those weak derivatives. The dimensional condition distinguishes it from the one-dimensional sign function, whose jump produces a Dirac derivative.
New to topics? Read the docs here!