Statement

Let ϕCc(R3)\phi\in C_c^\infty(\mathbb R^3), 0ϕ10\le\phi\le1, and ϕR(x)=ϕ(x/R)\phi_R(x)=\phi(x/R). For an integer m1m\ge1 and uL2Hloc1u\in L^2\cap H^1_{\mathrm{loc}},

ϕRmu6Cm,ϕ(ϕRmu2+R1u2).\|\phi_R^m u\|_6\le C_{m,\phi}\bigl(\|\phi_R^m\nabla u\|_2+R^{-1}\|u\|_2\bigr).

Here Hloc1H^1_{\mathrm{loc}} denotes . No global gradient bound is assumed.

Product rule

Apply the to the compactly supported H1H^1 function ϕRmu\phi_R^m u. Its gradient is ϕRmu+mϕRm1(ϕR)u\phi_R^m\nabla u+m\phi_R^{m-1}(\nabla\phi_R)u, and the second term is bounded in L2L^2 by CR1u2C R^{-1}\|u\|_2.