Analysis related to all admissible type parameters in the Jacobi setting (Q2343047)

In the paper [\textit{A. Nowak} and \textit{P. Sjögren}, J. Fourier Anal. Appl. 18, No. 4, 717--749 (2012; Zbl 1260.42017)] several fundamental operators in harmonic analysis related to Jacobi expansions were studied. More precisely, given parameters \(\alpha, \beta>-1\), let \(P_n^{\alpha, \beta}\), \(n=0,1,\ldots\), denote the standard Jacobi polynomials of type \(\alpha, \beta\). Then consider the \textsl{normalized trigonometric polynomials} \(\mathcal P_n^{\alpha, \beta}(\theta)= c_n^{\alpha, \beta}P_n^{\alpha, \beta}(\cos\theta)\) with appropriate normalizing factors \(c_n^{\alpha, \beta}\) such that the system \(\{ \mathcal P_n^{\alpha, \beta}: n\geq0\}\) is orthonormal (and complete) in \(L^2((0,\pi),d\mu_{\alpha, \beta})\), where \(d\mu_{\alpha, \beta}\) denotes the (doubling) measure \[ d\mu_{\alpha, \beta}(\theta)=\Big(\sin \frac{\theta}2\Big)^{2\alpha+1}\Big(\cos \frac{\theta}2\Big)^{2\beta+1}\,d\theta. \] Each \(\mathcal P_n^{\alpha, \beta}\) is an eigenfunction of the \textsl{Jacobi differential operator} \[ \mathcal J^{\alpha, \beta}=-\frac{d^2}{d\theta^2}-\frac{\alpha-\beta+(\alpha+\beta+1)\cos\theta}{\sin\theta} \frac{d}{d\theta}+\Big(\frac{\alpha+\beta+1}2\Big)^2. \] More precisely, \[ \mathcal J^{\alpha, \beta}\mathcal P_n^{\alpha, \beta}= \lambda_n^{\alpha, \beta}\mathcal P_n^{\alpha, \beta}, \qquad \lambda_n^{\alpha, \beta}=\Big(n+ \frac{\alpha+\beta+1}2\Big)^2. \] \(\mathcal J^{\alpha, \beta}\), initially defined on \(C_c^\infty(0,\pi)\), has a natural self-adjoint extension in \(L^2(d\mu_{\alpha, \beta})\), still denoted by the same symbol \(\mathcal J^{\alpha, \beta}\). The \textsl{Jacobi-Poisson semigroup} \(\{\mathcal H_t^{\alpha, \beta}\}_{t>0}\), is the semigroup generated by \(\sqrt{\mathcal J^{\alpha, \beta}}\), \(\mathcal H_t^{\alpha, \beta}= \exp\big(-t\sqrt{\mathcal J^{\alpha, \beta}} \big)\), and consists of contractions in \(L^2(d\mu_{\alpha, \beta})\). Moreover, for \(f\in L^2(d\mu_{\alpha, \beta})\) we have \[ \mathcal H_t^{\alpha, \beta}f(\theta)=\int_0^\pi H_t^{\alpha, \beta}(\theta,\varphi)f(\varphi)\, d\mu_{\alpha, \beta}(\varphi),\qquad \theta\in(0,\pi), \] where \[ H_t^{\alpha, \beta}(\theta,\varphi)=\sum_{n=0}^\infty \exp\big(-t\big|n+ \frac{\alpha+\beta+1}2\big|\big)\mathcal P_n^{\alpha, \beta}(\theta)\mathcal P_n^{\alpha, \beta}(\varphi) \] is the \textsl{Jacobi-Poisson kernel}. The above mentioned fundamental operators related to expansions with respect to the system \(\{\mathcal P_n^{\alpha, \beta}: n\geq0\}\) included: imaginary powers of the Jacobi operator, Riesz-Jacobi transforms of arbitrary order \(N=1,2,\ldots\), the Jacobi-Poisson semigroup maximal operator, the vertical and horizontal square functions and mixed square functions based on the Jacobi-Poisson semigroup. It was proved that under the assumption \(\alpha, \beta\geq-1/2\) (with the additional restriction \(\alpha+\beta>-1\) in the case of imaginary powers and Riesz-Jacobi transforms) all these operators are Calderón-Zygmund operators (in some cases vector-valued) in the sense of the space of homogeneous type \(((0,\pi), d\mu_{\alpha,\beta}, |\cdot|)\), where \(|\cdot|\) is the Euclidean distance, and in appropriate \(L^2\) spaces. This was achieved by proving that the associated kernels satisfy the standard estimates and the proof relied on an explicit symmetric double-integral representation of the Jacobi-Poisson kernel. The reviewed paper is a continuation and completion of the paper mentioned above. Due to an integral representation of the Jacobi-Poisson kernel valid for all admissible type parameters \(\alpha, \beta\) (this formula contains as a special case the former one for \(\alpha, \beta\geq-1/2\), and is more involved if either \(\alpha\) or \(\beta\) is less than \(-1/2\)) it became possible to prove the standard estimates for the kernels associated to the fundamental operators for all admissible parameters \(\alpha, \beta>-1\). Moreover, instead of considering imaginary powers of the Jacobi operator, more general Laplace and Laplace-Stieltjes type spectral multiplier operators were investigated. Finally, it is worth mentioning that the obtained integral representation of the Jacobi-Poisson kernel allowed to describe in a sharp way the behavior of the kernels \(H_t^{\alpha, \beta}(\theta,\varphi)\). This extended an earlier result by \textit{A. Nowak} and \textit{P. Sjögren} [Stud. Math. 218, No. 3, 219--244 (2013; Zbl 1295.42008)], obtained under the restriction \(\alpha, \beta\geq-1/2\).