Weighted inequalities in some potential spaces on the upper half space of \(\mathbb R^{n+1}\) (Q2512918)

For the 1-parameter family (with parameter \(c>-1\)) of potential operators \[ \mathcal I_{a,b,c}u(x,t)=\int_{\mathbb R^{n+1}_+}K_{a,b}(x-y,t+s)u(s,y)s^c\,dsdy, \] with \(K_{a,b}:\mathbb R^{n+1}_+\rightarrow \mathbb R\) satisfying the Bessel-type estimate: \[ K_{a,b}(x,t)\approx \frac{t^a}{(|x|+t)^b}, \text{ if }|x|+t<1, \text{ and \;} K_{a,b}(x,t)\approx e^{-\varepsilon(|x|+t)}, \text{ otherwise}, \] \(a\geq0\), \(b>0\), and \(0<\varepsilon<1\) fixed, the author proves the following trace estimate: If \(c>b-n-1\), \(1<p<\infty\), then a positive Borel measure \(\mu\) on \(\mathbb R^{n+1}_+\) satisfies that \[ \| \mathcal I_{a,b,c}u\|_{L^p\big(\mathbb R^{n+1}_+,\,d\mu\big)}\leq C(\mu)\|u\|_{L^p\big(\mathbb R^{n+1}_+,\, t^cdtdx\big)} \] if and only if \[ \int_{S(Q)}\bigg(\int_{S(Q)}K_{a,b}(x-y,t+s)\,d\mu(y,s)\bigg)^{p'}t^cdtdx\leq C(\mu)\mu(S(Q)), \] where \(Q\subset Q_0\) is any dyadic cube, \(Q_0\subset\{x\in\mathbb R^n:|x|<1\}\) is the dyadic cube with sidelength \(\ell(Q_0)=1/4\) and \(S(Q)=Q\times(0,\ell(Q))\) is the Carleson box of \(Q\). The main technique to prove this result is an extension of Wolff's inequality [\textit{L.I. Hedberg} and \textit{T.H. Wolff}, Ann. Inst. Fourier 33, No. 4, 161--187 (1983; Zbl 0508.31008)].