Marcinkiewicz-type spectral multipliers on Hardy and Lebesgue spaces on product spaces of homogeneous type (Q515860)

The authors deal with non-negative self-adjoint operators \(L_1\) and \(L_2\) acting on \(L^2(X_i)\) for \(i=1,2\) respectively, where \(X_1\) and \(X_2\) are metric spaces equipped with doubling measures. They try to build a theory of Marcinkiewicz-type spectral multipliers in this setting, focusing in the boundedness of spectral multipliers on Lebesgue and Hardy spaces. Denoting by \(E_{L_i}\) the spectral measure associated to \(L_i\) acting on \(L^2(X_i)\) for \(i=1,2\) and by \(E\) the unique spectral decomposition measure \(E\) acting on \(L^2(X_1\times X_2)\) satisfying that \(E(A_1\times A_2)=E_{L_1}(A_1)\otimes E_{L_2}(A_2)\) for Borel sets \(A_i\subset \mathbb R\), they consider the spectral multiplier operator \(F(L_1,L_2):=\int_{\mathbb R^2} F(\lambda_1,\lambda_2)dE(\lambda_1,\lambda_2)\) for any \(F\in L^2(X_1\times X_2)\). There are many results in the literature for different operators \(L_1\) and \(L_2\) providing conditions on \(F\) for the boundedness on \(L^p(X_1\times X_2)\) for \(1<p<\infty\). Motivated by the considerations for the standard Laplace operator \(-\Delta\) on \(\mathbb R^n\), some Stein-Tomas restriction type estimates for general self-adjoint operators \(L\) on metric spaces \((X, d, \mu)\) were introduced (see [\textit{P. Chen} et al., J. Anal. Math. 129, 219--283 (2016; Zbl 1448.47033)]), namely a non-negative self-adjoint operator \(L\) is said to satisfy \((ST^q_{p,2})\) for \(1\leq p< 2\) and \(1\leq q\leq \infty\) if fors every \(R>0\) and all Borel functions \(F\) with \(\mathrm{supp} F\subset [0,R]\) the following inequality holds: \[ \|F(\sqrt L)P_{B(x,r)}\|_{L^p(X)\to L^2(X)}\leq C V(x,r)^{-(1/p-1/2)} (Rr)^{n(1/p-1/2)}\|F(R\lambda)\|_{L^q(\mathbb R)} \] for all \(x\in X\) and \(r\geq 1/R\) where \(V(x,r)=\mu(B(x,r))\) and \(P_B\) stands for a projection by multiplication by \(\chi_B\). Considering also the abstract version of the finite propagation speed property of the operators \(T:L^p(X)\to L^q(X)\), the authors show that if \(L_1\) and \(L_2\) satisfy finite propagation speed property as well as certain \((ST^2_{p_i,2})\) and \(F\) satisfies a Marcinkiewicz-type differential condition then the spectral multiplier operator \(F(L_1,L_2)\) is bounded from appropriate Hardy spaces to Lebesgue spaces on the product space \(X_1\times X_2\). They also apply their results to the analysis of second-order elliptic operators.