Harmonic analysis operators related to symmetrized Jacobi expansions for all admissible parameters (Q1677525): Difference between revisions

Let \(\alpha,\beta>-1\) and \(\psi^{\alpha,\beta}(\theta)=| \sin(\theta/2)| ^{\alpha/2+1}(\cos (\theta/2))^{\beta+1/2}\), \(d\mu_{\alpha,\beta}(\theta)=[\psi^{\alpha,\beta}(\theta)]^2\,d\theta\). \(\theta\in (-\pi,\pi)\). Every function \(f\) on \((-\pi,\pi)\) is represented as \(f(x)=(f(x)+f(-x))/2+(f(x)-f(-x))/2=f_{\mathrm{even}}(x)+f_{\mathrm{odd}}(x)\). The Muckenhoupt class of \(A_p\) weights with respect to measure \(\mu_{\alpha,\beta}\) is denoted by \(A^{\alpha,\beta}_p\). Let \(P^{\alpha,\beta}_n\) be classical Jacobi poynomials and \(\mathcal P^{\alpha,\beta}_n(\theta)=c^{\alpha,\beta}_nP^{\alpha,\beta}_n(\cos \theta)\), where \(c^{\alpha,\beta}_n\)are suitable normalizing constants. We consider the Jacobi differential operator \[ J_{\alpha,\beta}=-\frac{d^2}{d\theta^2}-\frac{\alpha-\beta+(\alpha+\beta+1)\cos\theta}{\sin \theta}\frac{d}{d\theta}+\lambda^{\alpha,\beta}_0, \] \(\lambda^{\alpha,\beta}_n=(n+(\alpha+\beta+1)/2)^2\), with polynomials \(\mathcal P^{\alpha,\beta}_n(\theta)\) as eigenfunctions and \(\lambda^{\alpha,\beta}_n\) as eigenvalues. If \[ \mathbb J_{\alpha,\beta}f=J_{\alpha,\beta}f+\frac{(\alpha+\beta+1)+(\alpha-\beta)\cos\theta}{\sin^2\theta}f_{\mathrm{odd}}=: -\mathbb D^2_{\alpha,\beta}+ \lambda^{\alpha,\beta}_0, \] then the orthonormal and complete in \(L^2(d\mu_{\alpha,\beta})\) system of eigenfunctions for \(\mathbb J_{\alpha,\beta}\) is \(\{\Phi^{\alpha,\beta}_n\}_{n\geq 0}\), where \(\Phi^{\alpha,\beta}_n(\theta)=2^{-1/2}\mathcal P^{\alpha,\beta}_{n/2}(\theta)\) for even \(n\) and \(\Phi^{\alpha,\beta}_n(\theta)=2^{-3/2}\sin\theta\mathcal P^{\alpha+1,\beta+1}_{(n-1)/2}(\theta)\) for odd \(n\). The semigroup of operators generated by the square root of \(\mathbb J_{\alpha,\beta}\) is denoted by \(\{\mathbb H^{\alpha,\beta}_t\}\). Further \(<n>=[(n+1)/2]\). Let introduce some important operators. (i) Symmetrized Riesz-Jacobi transforms of natural orders \(N\) \[ \mathbb R^{\alpha,\beta}_Nf=\sum^\infty_{n=0}(\lambda^{\alpha,\beta}_{<n>})^{-N/2}\left\langle f,\Phi^{\alpha,\beta}_n\right\rangle_{d\mu_{\alpha,\beta}}\mathbb D^N_{\alpha,\beta}\Phi^{\alpha,\beta}_n. \] (ii) Multipliers of Laplace transform type \[ \mathbb M^{\alpha,\beta}_m=\sum^\infty_{n=0}m((\lambda^{\alpha,\beta}_{<n>})^{1/2})\left\langle f,\Phi^{\alpha,\beta}_n\right\rangle_{d\mu_{\alpha,\beta}}\Phi^{\alpha,\beta}_n, \] where \(m(z)=\int^\infty_0ze^{-tz}\phi(t)\,dt\), \(\phi\in L^\infty(\mathbb R_+,\,dt)\). (iii) The symmetrized Jacobi-Poisson semigroup maximal operator \[ \mathbb H^{\alpha,\beta}_*f(\theta)=\| \mathbb H^{\alpha,\beta}_t f(\theta)\|_{L^\infty(\mathbb R_+,\,dt)}, \quad \theta\in (-\pi,\pi). \] (iv) Symmetrized mixed square functions of arbitrary orders \(M,N\in\mathbb Z_+=\{0,1,\dots\}\), \(M+N>0\). \[ \mathbb G^{\alpha,\beta}_{M,N}(f)(\theta)=\| \partial^M_t\mathbb D^n_{\alpha,\beta}\mathbb H^{\alpha,\beta}_t f(\theta)\|_{L^2(\mathbb R_+,t^{2M+2N-1}\,dt)}. \] The main result of paper is Theorem 3.1. Let \(\alpha,\beta>-1\) and \(w\) be an even weight on \((-\pi,\pi)\). Then the maximal operator \(\mathbb H^{\alpha,\beta}_*\) and the square functions \(\mathbb G^{\alpha,\beta}_{M,N}\), \(M,N\in\mathbb Z_+\), \(M+N>0\), are bounded in \(L^p(w\,d\mu_{\alpha,\beta})\), \(1<p<\infty\), \(w\in A^{\alpha,\beta}_p\), and from \(L^1(w\,d\mu_{\alpha,\beta})\) to weak \(L^1(w\,d\mu_{\alpha,\beta})\), \(w\in A^{\alpha,\beta}_1\). Furthermore, the Riesz transforms \(\mathbb R^{\alpha,\beta}_N\), \(N\in\mathbb N\), and multipliers \(\mathbb M^{\alpha,\beta}_m\) extend uniquely to bounded linear operators in \(L^p(w\,d\mu_{\alpha,\beta})\), \(1<p<\infty\), \(w\in A^{\alpha,\beta}_p\), and from \(L^1(w\,d\mu_{\alpha,\beta})\) to weak \(L^1(w\,d\mu_{\alpha,\beta})\), \(w\in A^{\alpha,\beta}_1\).