Statement

Let uL2L6(R3)u\in L^2\cap L^6(\mathbb R^3), wL2Hloc1w\in L^2\cap H^1_{\mathrm{loc}}, and g=ww+wu+uwg=w\otimes w+w\otimes u+u\otimes w. Let π\pi_* be its . For 0ϕ10\le\phi\le1 smooth and compactly supported, put ϕR(x)=ϕ(x/R)\phi_R(x)=\phi(x/R), χR=ϕR8\chi_R=\phi_R^8, and BR=ϕR4w6B_R=\|\phi_R^4w\|_6. If R1R\ge1 and w2+u2+u6M\|w\|_2+\|u\|_2+\|u\|_6\le M, then

πwχRCM,ϕR1((BR+1)BR1/2+R3/4BR3/4).\left|\int\pi_* w\cdot\nabla\chi_R\right| \le C_{M,\phi}R^{-1}\left((B_R+1)B_R^{1/2}+R^{-3/4}B_R^{3/4}\right).

The pressure is locally integrable for these inputs, and the pairing is well-defined.

Local and commutator parts

For Tij=RiRjT_{ij}=R_iR_j, write

ϕR4π=i,jTij(ϕR4gij)+i,j[MϕR4,Tij]gij.\phi_R^4\pi_* =\sum_{i,j}T_{ij}(\phi_R^4g_{ij}) +\sum_{i,j}[M_{\phi_R^4},T_{ij}]g_{ij}.

The first sum has L3/2L^{3/2} norm at most CM(BR+1)C_M(B_R+1): use ϕR4wiwj3/2BRw2\|\phi_R^4w_iw_j\|_{3/2}\le B_R\|w\|_2 and ϕR4wiuj3/2w2u6\|\phi_R^4w_i u_j\|_{3/2}\le\|w\|_2\|u\|_6. The second has L4/3L^{4/3} norm at most CMR3/4C_MR^{-3/4}. These identities extend from compact smooth approximations using L1L^1 convergence of gg, the negative Sobolev pressure bound, and the commutator bound.

Since χRCR1ϕR7|\nabla\chi_R|\le C R^{-1}\phi_R^7, it remains to pair these terms with ϕR3w\phi_R^3w. Hölder interpolation gives ϕR3w3BR1/2w21/2\|\phi_R^3w\|_3\le B_R^{1/2}\|w\|_2^{1/2} and ϕR3w4BR3/4w21/4\|\phi_R^3w\|_4\le B_R^{3/4}\|w\|_2^{1/4}, proving the estimate. Local integrability follows by choosing cutoffs equal to one on each compact set.