Abstract:We study the $L^\infty(\mathbb{R}^d)$ boundedness for Riesz transforms of the form ${V^{a}(-\frac12\Delta+V)^{-a}},$ where $a > 0$ and $V$ is a non-negative potential with power growth acting independently on each coordinate. We factorize the semigroup $e^{-tL}$ into one-dimensional factors, estimate them separately and combine the results to estimate the original semigroup. Similar results with additional assumption $a \leqslant 1$ are obtained on $L^1(\mathbb{R}^d)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the dimension - free estimation problem of the positivity - preserving Riesz transform associated with the Schrödinger operator in the $L^\infty(\mathbb{R}^d)$ and $L^1(\mathbb{R}^d)$ spaces. Specifically, the paper focuses on the Riesz transform of the form $V_a(-\frac{1}{2}\Delta + V)^{-a}$, where $a > 0$, $V$ is a non - negative potential function with power - growth and acts independently on each coordinate.
### Main problems
1. **$L^\infty(\mathbb{R}^d)$ estimation**:
- The author studies the boundedness of the Riesz transform $R_a^V$ in the $L^\infty(\mathbb{R}^d)$ space when the potential function $V$ has a specific form (i.e., $V(x)=V_1(x)+\cdots + V_d(x)$, where each $V_i$ acts only on the $i$-th coordinate and has a power - growth not exceeding 2).
- The goal is to prove that there exists a constant $C > 0$ such that for all $f\in L^\infty(\mathbb{R}^d)$, $\|R_a^V f\|_{L^\infty(\mathbb{R}^d)}\leq C\|f\|_{L^\infty(\mathbb{R}^d)}$, and this constant $C$ does not depend on the dimension $d$.
2. **$L^1(\mathbb{R}^d)$ estimation**:
- For $0 < a\leq1$, the author also studies the boundedness of the Riesz transform $R_a^V$ in the $L^1(\mathbb{R}^d)$ space.
- The goal is to prove that there exists a constant $C > 0$ such that for all $f\in L^1(\mathbb{R}^d)$, $\|R_a^V f\|_{L^1(\mathbb{R}^d)}\leq C\|f\|_{L^1(\mathbb{R}^d)}$, and this constant $C$ does not depend on the dimension $d$.
### Methods and results
- **One - dimensional estimation**: The author makes estimations by decomposing the semigroup $e^{-tL}$ into one - dimensional factors $e^{-tL_i}$, where $L_i = -\frac{1}{2}\partial_{x_i}^2+V_i$. This decomposition method allows the author to obtain estimates that are independent of the dimension.
- **Exponential decay**: The author proves that the one - dimensional semigroup $e^{-tL_i}$ has an exponential decay property for small time $t$, that is, $e^{-tL_i}(\mathbf{1})(x)\leq e^{-c_N t V_i(x)}$, which provides a basis for subsequent multi - dimensional estimations.
- **Main theorem**: Through the above one - dimensional estimations and the properties of the semigroup, the author finally proves the dimension - free boundedness of the Riesz transform $R_a^V$ in the $L^\infty(\mathbb{R}^d)$ and $L^1(\mathbb{R}^d)$ spaces.
### Conclusion
The main contribution of the paper is to extend the existing dimension - free estimation results. In particular, in the case where the potential function has power - growth, it proves the boundedness of the Riesz transform in the $L^\infty(\mathbb{R}^d)$ and $L^1(\mathbb{R}^d)$ spaces. These results are of great significance for understanding and analyzing the positivity - preserving Riesz transform associated with the Schrödinger operator.