Table of Contents
Fetching ...

Pointwise convergence of solutions of the Schrödinger equation along general curves on Damek-Ricci spaces

Utsav Dewan

TL;DR

This work extends the Carleson-type question of pointwise convergence for Schrödinger evolutions to the setting of Damek–Ricci spaces, identifying the sharp Sobolev regularity threshold $\beta \ge 1/4$ for convergence along a broad class of curves with Hölder and bilipschitz constraints. By exploiting spherical Fourier analysis, Bessel-type expansions of spherical functions, TT* arguments, and oscillatory-integral estimates, the author proves maximal-function bounds on annuli that yield almost-everywhere convergence for radial data. A crucial negative result on $\mathbb H^3$ shows the nonexistence of a natural wide approach region for Schrödinger, guiding the focus to curve-based non-tangential approaches. The analysis also bridges to Euclidean space via local geometry and Abel-type transforms, yielding Euclidean analogues that preserve the $\beta \ge 1/4$ threshold for radial initial data. Overall, the paper broadens our understanding of Schrödinger convergence in non-Euclidean settings and suggests future directions for a complete Euclidean analogue and further general spaces.

Abstract

One of the most celebrated problems in Euclidean Harmonic analysis is the Carleson's problem: determining the optimal regularity of the initial condition $f$ of the Schrödinger equation given by \begin{equation*} \begin{cases} i\frac{\partial u}{\partial t} =Δu\:,\: (x,t) \in \mathbb{R}^n \times \mathbb{R} \newline u(0,\cdot)=f\:, \text{ on } \mathbb{R}^n \:, \end{cases} \end{equation*} in terms of the index $β$ such that $f$ belongs to the inhomogeneous Sobolev space $H^β(\mathbb{R}^n)$, so that the solution of the Schrödinger operator $u$ converges pointwise to $f$, \begin{equation*} \displaystyle\lim_{t \to 0+} u(x,t)=f(x), \text{ almost everywhere}. \end{equation*} Recently, the author considered the Carleson's problem for the Schrödinger equation with radial initial data on Damek-Ricci spaces and obtained the sharp bound up to the endpoint $β\ge 1/4$. Interpreting the above as convergence along vertical lines, in this article, we consider the problem of pointwise convergence via more general approach paths. By constructing a counter-example on the $3$-dimensional Real Hyperbolic space, we show that the solutions of the Schrödinger equation, unlike Harmonic functions or solutions of the Heat equation, do not admit any natural wide approach region. We then study their pointwise convergence properties on Damek-Ricci spaces along general curves that satisfy certain Hölder conditions and bilipschitz conditions in the distance from the identity and again obtain the sharp bound up to the endpoint $β\ge 1/4$. Certain Euclidean analogues are also obtained.

Pointwise convergence of solutions of the Schrödinger equation along general curves on Damek-Ricci spaces

TL;DR

This work extends the Carleson-type question of pointwise convergence for Schrödinger evolutions to the setting of Damek–Ricci spaces, identifying the sharp Sobolev regularity threshold for convergence along a broad class of curves with Hölder and bilipschitz constraints. By exploiting spherical Fourier analysis, Bessel-type expansions of spherical functions, TT* arguments, and oscillatory-integral estimates, the author proves maximal-function bounds on annuli that yield almost-everywhere convergence for radial data. A crucial negative result on shows the nonexistence of a natural wide approach region for Schrödinger, guiding the focus to curve-based non-tangential approaches. The analysis also bridges to Euclidean space via local geometry and Abel-type transforms, yielding Euclidean analogues that preserve the threshold for radial initial data. Overall, the paper broadens our understanding of Schrödinger convergence in non-Euclidean settings and suggests future directions for a complete Euclidean analogue and further general spaces.

Abstract

One of the most celebrated problems in Euclidean Harmonic analysis is the Carleson's problem: determining the optimal regularity of the initial condition of the Schrödinger equation given by \begin{equation*} \begin{cases} i\frac{\partial u}{\partial t} =Δu\:,\: (x,t) \in \mathbb{R}^n \times \mathbb{R} \newline u(0,\cdot)=f\:, \text{ on } \mathbb{R}^n \:, \end{cases} \end{equation*} in terms of the index such that belongs to the inhomogeneous Sobolev space , so that the solution of the Schrödinger operator converges pointwise to , \begin{equation*} \displaystyle\lim_{t \to 0+} u(x,t)=f(x), \text{ almost everywhere}. \end{equation*} Recently, the author considered the Carleson's problem for the Schrödinger equation with radial initial data on Damek-Ricci spaces and obtained the sharp bound up to the endpoint . Interpreting the above as convergence along vertical lines, in this article, we consider the problem of pointwise convergence via more general approach paths. By constructing a counter-example on the -dimensional Real Hyperbolic space, we show that the solutions of the Schrödinger equation, unlike Harmonic functions or solutions of the Heat equation, do not admit any natural wide approach region. We then study their pointwise convergence properties on Damek-Ricci spaces along general curves that satisfy certain Hölder conditions and bilipschitz conditions in the distance from the identity and again obtain the sharp bound up to the endpoint . Certain Euclidean analogues are also obtained.

Paper Structure

This paper contains 9 sections, 13 theorems, 209 equations.

Key Result

Theorem 1.1

Assume that $\gamma :[0,\infty) \to [0,\infty)$ is a strictly increasing continuous function with $\gamma(0)=0$. Then given any compact geodesic annulus $\mathscr A \subset \mathbb{H}^3$, centered at the identity, there exists radial $f \in H^{1/2}(\mathbb{H}^3)$ such that its Schrödinger propagatio

Theorems & Definitions (26)

  • Theorem 1.1
  • Theorem 1.2
  • Corollary 1.3
  • Remark 1.4
  • Theorem 1.5
  • Remark 1.6
  • Theorem 1.7
  • Remark 1.8
  • Lemma 2.1
  • Lemma 2.2
  • ...and 16 more