Improved multiplier theorems on rank one noncompact symmetric spaces

Błażej Wróbel
2023-05-10
Abstract:We prove multiplier theorems on rank one noncompact symmetric spaces which improve aspects of existing results. A common theme of our main results is that we partially drop specific assumptions on the multiplier function such as a Mikhlin-Hörmander condition. These are replaced by a requirement that parts of the multiplier function on the critical $p$ strip give rise to bounded Fourier multipliers.
Functional Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to improve the multiplier theorem on rank - one non - compact symmetric spaces. Specifically, the author aims to partially abandon specific assumptions on the multiplier function, such as the Mikhlin - Hörmander condition, and instead requires that the multiplier function generates bounded Fourier multipliers in certain parts of the crucial \(p\)-strip. This can be regarded as an improvement of existing results, especially on the basis of the work of Giulini, Mauceri, and Meda [8] and Ionescu [14]. ### Specific Problem Description 1. **Background and Motivation**: - **Classical Results**: The classical Mikhlin - Hörmander multiplier theorem states that if a bounded translation - invariant operator \(B\) is bounded on \(L^2(\mathbb{R}^n)\) and the Fourier transform \(m_B\) of its convolution kernel satisfies certain Mikhlin - Hörmander conditions, then \(B\) can be extended to a bounded operator on \(L^p(\mathbb{R}^n)\), where \(p\in(1,\infty)\). - **Problems on Symmetric Spaces**: Generalizing the above classical results to non - compact symmetric spaces is an important research direction. Many authors have already conducted research in this area, but there is still room for improvement. 2. **Specific Goals**: - **Improving Conditions**: The author attempts to partially abandon specific assumptions on the multiplier function (such as the Mikhlin - Hörmander condition) and instead requires that the multiplier function generates bounded Fourier multipliers in certain parts of the crucial \(p\)-strip. - **Specific Theorems**: The paper presents two main theorems (Theorem 1.1 and Theorem 1.2), which respectively prove the boundedness of the multiplier operator on \(L^p(X)\) under different conditions, where \(X\) is a rank - one non - compact symmetric space. ### Theorem Overview 1. **Theorem 1.1**: - **Conditions**: Suppose \(m_B\) is a bounded Weyl - invariant holomorphic function on \(T_p\) and satisfies the following two conditions: 1. \((\omega m_B)(\cdot + i\rho_p)\) is a Fourier multiplier on \(L^p(\mathbb{R})\). 2. For some \(q\in[p,p']\) satisfying \(|\rho||1/p - 1/q|<1\), we have \[ \left|\partial^j m_B(\zeta)\right|\leq C\left(\min\left[|\zeta - i\rho_q|,|\zeta + i\rho_q|\right]\right)^{-j},\quad j = 0,\ldots,N,\quad\zeta\in T_q. \] - **Conclusion**: Then \(B\) can be extended to a bounded operator on \(L^p(X)\). 2. **Theorem 1.2**: - **Conditions**: Suppose \(m_B\) is a bounded Weyl - invariant holomorphic function on \(T_p\) and satisfies the following two conditions: 1. \(m_B(\cdot + i\rho_p)\) is a Fourier multiplier on \(L^p(\mathbb{R})\). 2. For \(\zeta\in T_p\) and \(|\Re\zeta|>1\), we have \[ \left|\partial^j m_B(\zeta)\right|\leq