Oscillating multipliers for some eigenfunction expansions (Q5943955)

Suppose \(P\) is a differential operator of degree \(d\) on an \(n\)-dimensional manifold, which is self-adjoint and formally nonnegative. Let \(Pf= \int^\infty_0 \lambda dE_\lambda f\) be the spectral resolution of \(P\). Given a bounded function \(m(\lambda)\) on \((0,\infty)\) we can define the operator \(m(P)\) by \(m(P)= \int^\infty_0 m(\lambda) dE_\lambda\). The Bochner-Riesz means associated to \(P\) are defined for \(\text{Re }\delta\geq 0\) by \(S^\delta_R f= \int^R_0 (1+{\lambda\over R})^\delta dE_\lambda f\). We assume that the operators \(S^\delta_R\) are integral operators. Let \(s^\delta_R(x, y)\) be the kernel of \(S^\delta_R\) defined by \(S^\delta_R f(x)= \int s^\delta_R(x, y) f(y) dy\). Let \(S^{-\alpha}_\rho(\mathbb{R})\) be the symbol classes. Operators of the form \(m(P)\) with \(m\in S^{-\alpha}_\rho(\mathbb{R})\), \(0\leq \rho< 1\), \(\alpha> 0\), are important. For example, the solution to the Cauchy problem \[ (\partial^2_t+ P)u(x,t)= 0,\quad u(x,0)= 0,\quad \partial_t u(x,0)= f(x) \] is given by \[ u(x,t)= P^{-1/2}\sin t\sqrt{P}f(x) \] and the function \(m(\lambda)= \lambda^{-1/2}\sin t\sqrt{\lambda}\) comes from the symbol class \(S^{-1/2}_{1/2}(\mathbb{R})\). The authors obtain the following multiplier theorem: Theorem 1. Let \(m\in S^{-\alpha}_\rho(\mathbb{R})\), \(0\leq \rho< 1\), \(\alpha>0,\) and \(1< p<\infty\). Assume that the spectral measure of \(P\) has no mass at the origin. If the Bochner-Riesz kernel \(s^\delta_R(x, y)\) associated to \(P\) satisfies the estimates: \[ |s^\delta_R(x, y)|\leq CR^{n/d}(1+ R^{1/d}|x-y|)^{- a\delta+\beta}, \] where \(a>0\) and \(\beta\) is a fixed constant, for all large \(\delta\), then \(m(P): L^p(\mathbb{R}^n)\to L^p(\mathbb{R}^n)\) is bounded whenever \(\alpha> {n(1-\rho)\over a}|1/p- 1/2|\). Moreover, in special cases the authors improve the result of Theorem 1. Let \(H\) and \(L\) be the Hermite operator on \(\mathbb{R}^n\) and the special Hermite operator on \(\mathbb{C}^m\), respectively. Theorem 2. (i) The operators \(L^{-\alpha/2} J_\alpha(t\sqrt{L})\), where \(J_\alpha\) is a Bessel function of order \(\alpha\), satisfy the estimate \[ \|L^{-\alpha/2} J_\alpha(t\sqrt{L}) f\|_p\leq C_t\|f\|_p,\quad f\in L^p(\mathbb{C}^n), \] provided \(\alpha> (2n-1)|1/p- 1/2|- 1/2\) and \(1\leq p\leq\infty\). (ii) In particular \[ \|L^{-1/2}\sin t\sqrt{L}\|_p\leq C_t\|f\|_p \] holds provided \(|1/p- 1/2|\leq 1/(2n-1)\). Theorem 3. (i) \[ \|H^{-1/2}\sin t\sqrt{H}f\|_p\leq C_t\|f\|_p,\quad f\in L^p(\mathbb{R}^n), \] holds provided \(|1/p- 1/2|< 1/n\). (ii) Assume that \(f\in L^p(\mathbb{R}^n)\) is radial. Then \[ \|H^{-1/2}\sin t\sqrt{H}f\|_p\leq C_t\|f\|_p \] holds provided \(|1/p- 1/2|< 1/(n- 1)\).