Theorem
Cutoff pressure-flux estimate for a velocity difference
The pressure flux at a large radius is bounded by subquadratic powers of a localized L6 norm.
Statement
Let , , and . Let be its canonical pressure. For smooth and compactly supported, put , , and . If and , then
The pressure is locally integrable for these inputs, and the pairing is well-defined.
Local and commutator parts
For , write
The first sum has norm at most : use and . The second has norm at most . These identities extend from compact smooth approximations using convergence of , the negative Sobolev pressure bound, and the commutator bound.
Since , it remains to pair these terms with . Hölder interpolation gives and , proving the estimate. Local integrability follows by choosing cutoffs equal to one on each compact set.