A note on the Schrodinger maximal function

Jean Bourgain
DOI: https://doi.org/10.48550/arXiv.1609.05744
2016-09-19
Abstract:It is shown that control of the Schrodinger maximal functions $\sup_{0<t<1}|e^{it\Delta} f|$ for $f\in H^s(\mathbb R^n)$ requires $s\geq \frac n{2(n+1)}$
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the almost everywhere convergence of the solutions to the Schrödinger equation. Specifically, it is to study the domination conditions of the Schrödinger maximal function. The Schrödinger maximal function is defined as: \[ \sup_{0 < t < 1} |e^{it\Delta} f| \] where \( e^{it\Delta} f \) is the solution of the Schrödinger equation, given the initial condition \( f(x) \in H^s(\mathbb{R}^n) \), that is, a function in the Sobolev space \( H^s \). The core of the problem lies in determining the minimum regularity index \( s \) required for the following almost everywhere convergence property to hold: \[ \lim_{t \to 0} e^{it\Delta} f = f \quad \text{a.e.} \] ### Specific Background and Existing Results 1. **One - dimensional case**: Carleson proved in his paper [C] that when \( n = 1 \), if \( s \geq \frac{1}{4} \), then the above almost everywhere convergence property holds. Dahlberg and Kenig [D - K] further proved that this result is optimal. 2. **Two - dimensional and higher - dimensional cases**: - For \( n = 2 \), the strongest result appears in the literature [L], indicating that when \( s > \frac{3}{8} \), the above almost everywhere convergence property holds. - More generally, for \( n \geq 2 \), it is known that when \( s > \frac{2n - 1}{4n} \), the above almost everywhere convergence property holds (see [B]). - On the other hand, for \( n \geq 2 \), the condition \( s \geq \frac{n}{2(n + 2)} \) has been proven to be necessary (see [L - R] and [D - G]). ### Main Contributions of the Paper The main contribution of this paper is to prove a stronger conclusion: for \( n \geq 2 \), if \( s < \frac{n}{2(n + 1)} \), then there exists a counterexample such that the Schrödinger maximal function cannot be effectively dominated. Specifically, the author constructs a set of functions \( f_k \) that satisfy the following conditions: - \( \|f_k\|_2 = 1 \) - \( \hat{f}_k \) is supported in the annular region \( |\xi| \sim R_k \) - As \( k \to \infty \), \[ \lim_{k \to \infty} R_k^{-s} \left\| \sup_{0 < t < 1} |e^{it\Delta} f_k(x)| \right\|_{L^1(B(0,1))} = \infty \] This indicates that \( s \geq \frac{n}{2(n + 1)} \) may be a more precise necessary condition, although this has not been fully confirmed yet. ### Summary This paper further promotes the understanding of the domination conditions of the Schrödinger maximal function, especially in the high - dimensional case, by constructing specific counterexamples. It provides a new lower bound \( s \geq \frac{n}{2(n + 1)} \) and implies that this may be the optimal condition.