On radial and conical Fourier multipliers (Q2430510)

The authors showed in the paper [Acta Math. 206, No. 1, 55--92 (2011; Zbl 1219.42006)] that for \(d\geq 4\), \(1\leq p< \frac{2(d-1)}{d+1}\), there exists \(C>0\) such that \[ \bigg\|\int_{\mathbb R^d}\int_1^\infty h(y,r)\sigma_r*\psi(\cdot -y)\,dr\,dy\bigg\|_{L^p(\mathbb R^d)}\leq C \bigg(\iint_{\mathbb R^d\times \mathbb R^+}|h(y,r)|^p\,dy\,r^{d-1}\,dr\bigg)^{1/p} \tag \(*\) \] for every \(h\in L^p(\mathbb R^d\times \mathbb R^+, dy r^{d-1}dr)\), where \(\psi=\psi_0*\psi_0\) and \(\psi_0\) is \(C^\infty\) supported in a small ball centered at the origin with Fourier transform vanishing at the origin of high order and not vanishing in \(1/8\leq |\xi|\leq 8\) and \(\sigma_r\) is the surface measure on the sphere of radius \(r\). Given a sequence \(\gamma=(\gamma_k)_{k\in \mathbb Z}\) of bounded functions supported in \((-1/4,1/4)\) and denoting \(m_\gamma(\xi,\tau)=\sum \gamma_k(\frac{|\xi|-\tau}{2^k})1_{[2^k,2^{k+1})}(\tau)\), the authors denote by \({\mathcal F}_d\) the Fourier transform acting on functions defined in \(\mathbb R^d\) and by \(T\) the operator acting on \(L^p(\mathbb R^{d+1})\) such that \({\mathcal F}_{d+1}(Tf)(\xi,\tau)=m_\gamma(\xi,\tau){\mathcal F}_{d+1} f(\xi,\tau)\), and by \(T^\tau\) the operator acting on \(L^p(\mathbb R^d)\) such that \[ {\mathcal F}_d(T^\tau f)(\xi)=\gamma_k\bigg(\frac{|\xi|-\tau}{2^k}\bigg){\mathcal F}_d f(\xi) \] whenever \(2^k\leq \tau<2^{k+1}\). The main theorem establishes, assuming condition \((*)\) for some \(p_1\) and \(d\) with \(1<p_1<\frac{2d}{d+1}\), that the boundedness of \(T\) from \(L^p(\mathbb R^{d+1})\) to the Lorentz space \(L^{p,\nu}(\mathbb R^{d+1})\) for \(p\leq \nu\leq \infty\) for some \(1<p<p_1\) is equivalent to the fact that for any \(k\) there exists \(\tau_k\in [2^k,2^{k+1})\) such that \(T^{\tau_k}\) is bounded from \(L^p(\mathbb R^d)\) to the Lorentz space \(L^{p,\nu}(\mathbb R^d)\) with norm uniformly bounded, or some other equivalent conditions in terms of the Fourier transform of the multipliers \(\gamma_k\) belonging to certain weighted Lorentz spaces with uniform bound. As a consequence, the authors derive a new endpoint result for the so-called Bochner-Riesz multiplier for the cone and some results on characterizations of \(L^p\to L^{p,\nu}\) inequalities for convolutions with radial kernels.