The Hölder interpolation inequality says that for and every ,
More generally, each lower derivative norm can be bounded by an arbitrarily small multiple of the top seminorm plus a constant multiple of the norm. The powers of make the inequality invariant under scaling of the ball.
For a radial function on , the radial Laplacian is
The problem therefore becomes
The equation has the scaling symmetry
Choosing normalizes any positive solution to .