Theorem
Sobolev estimate with a scaled cutoff
A localized L6 norm is controlled by the localized gradient and a scale-weighted L2 norm.
Statement
Let , , and . For an integer and ,
Here denotes local Sobolev membership. No global gradient bound is assumed.
Product rule
Apply the three-dimensional Sobolev inequality to the compactly supported function . Its gradient is , and the second term is bounded in by .