Abstract:In our investigation, we focus on the reverse Riesz transform within the framework of manifolds with ends. Such manifolds can be described as the connected sum of finite number of Cartesian products $\mathbb{R}^{n_i} \times \mathcal{M}_i$, where $\mathcal{M}_i$ are compact manifolds. We rigorously establish the boundedness of this transform across all $L^p$ spaces for $1<p<\infty$. Notably, existing knowledge indicates that the Riesz transform in such a context demonstrates boundedness solely within a specific range of $L^p$ spaces, typically observed for $1<p<n_*$, where $n_*$ signifies the smallest dimension of the manifold's ends on a large scale.
This observation serves as a significant counterexample to the presumed equivalence between the Riesz and reverse Riesz transforms. Our study illuminates the nuanced behaviour of these transforms within the setting of manifolds with ends, providing valuable insights into their distinct properties. Although the lack of equivalence has been previously noted in relevant literature, our investigation contributes to a deeper understanding of the intricate interplay between the Riesz and reverse Riesz transforms.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the reverse Riesz inequality on manifolds with endpoints. Specifically, the author studies whether the reverse Riesz transform is bounded in all \(L^p\) spaces on manifolds with endpoints. Previous research has shown that the standard Riesz transform is usually only bounded in a specific range of \(L^p\) spaces on these manifolds, for example, \(1 < p < n^*\), where \(n^*\) represents the minimum dimension of the manifold endpoints.
### Main problems and background
1. **Riesz transform and reverse Riesz transform**:
- The boundedness problem of the Riesz transform \(\nabla \Delta^{-1/2}\) in multi - dimensional Euclidean spaces has been widely studied.
- The boundedness problem of the reverse Riesz transform \(\Delta^{1/2}f\) has been relatively less explored, but it is an important supplement to understanding the properties of the Riesz transform.
2. **Limitations of existing research**:
- For manifolds with endpoints, existing research shows that the Riesz transform is usually only bounded in certain \(L^p\) spaces, especially in the range \(1 < p < n^*\).
- This phenomenon implies that there may be differences between the Riesz transform and the reverse Riesz transform, and these differences have not been fully understood.
3. **Objectives of this paper**:
- The author aims to prove that the reverse Riesz transform is bounded in all \(L^p\) spaces on manifolds with endpoints, that is, for all \(1 < p <\infty\),
\[
\|\Delta^{1/2}f\|_p\leq C\|\nabla f\|_p\quad\forall f\in C_c^\infty(M).
\]
### Solution methods
To prove this conclusion, the author adopts the following methods:
1. **Parameter construction method**: Analyze the behavior of the inverse analytic operator by constructing parametric solutions at low energies.
2. **Harmonic annihilation technique**: Utilize the special properties of harmonic functions to deal with the vanishing problem of key terms.
3. **Piecewise estimation**: Divide the Riesz transform into low - energy and high - energy parts for estimation respectively to ensure the overall boundedness.
### Conclusions
Through the above methods, the author successfully proves that the reverse Riesz transform is bounded in all \(L^p\) spaces on manifolds with endpoints. This result not only expands the understanding of the Riesz transform and its reverse transform but also provides new perspectives and tools for future research.
### Formula summary
- Definition of the Riesz transform:
\[
\nabla \Delta^{-1/2}
\]
- Definition of the reverse Riesz transform:
\[
\Delta^{1/2}f
\]
- Boundedness condition:
\[
\|\Delta^{1/2}f\|_p\leq C\|\nabla f\|_p\quad\forall f\in C_c^\infty(M),\quad 1 < p <\infty
\]
Through these formulas and methods, the author reveals the complex relationship between the Riesz transform and the reverse Riesz transform and lays the foundation for subsequent research.