Use a signed power test for a Laplacian eigenfunction. For , test the Dirichlet Laplacian eigenfunction equation with . Its derivative is ; at the test function is just . Integration by parts gives the exact energy estimate
Set . It belongs to the zero-boundary Sobolev space and obeys the Sobolev chain rule:
For , the power map is with bounded derivative on the bounded range of . For , the absolute value map is Lipschitz, and almost everywhere; on the zero set, use the fact that a gradient of a Sobolev function vanishes on a level set. These facts justify the identity even when changes sign.
Apply the given Sobolev inequality with the Sobolev conjugate exponent :
Testing with a signed power raises the integrability exponent from to . Absorbing the factor into gives precisely the requested inequality.

Articles by others on the same topic (0)

There are currently no matching articles.