Endpoint trace inequality characterization for divergence-free charges
Let FFF be an Rd\mathbb{R}^dRd-valued charge with ÷F=0\operatorname*{\div}F=0÷F=0, let u uu be a measure on Rd\mathbb{R}^dRd, and let K1,K2,…,KdK1,K2,\ldots,KdK1,K2,…,Kd be sufficiently smooth functions on…