pith. sign in

arxiv: 2603.29588 · v2 · submitted 2026-03-31 · 🧮 math.AP

Regularity of fractional Schr\"odinger equations and sub-Laplacian multipliers on the Heisenberg group

Aksel Bergfeldt This is my paper

Pith reviewed 2026-05-13 23:44 UTC · model grok-4.3

classification 🧮 math.AP
keywords Heisenberg groupsub-Laplacianfractional Schrödinger equationHardy spacesFourier multipliersBessel potentialsSobolev spacesBMO
0
0 comments X

The pith

Solutions to the fractional Schrödinger equation on the Heisenberg group satisfy a Hardy space estimate with explicit time-dependent growth.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for any ν greater than zero the solution u to the free fractional Schrödinger equation i ∂_t u + (-Δ)^ν u = 0 on the Heisenberg group H^d obeys ||u(t,·)||_{H^p(H^d)} ≤ C_p (1 + t)^{Q |1/p - 1/2|} ||(1 - Δ)^{ν Q |1/p - 1/2|} u_0||_{H^p(H^d)} with Q = 2d + 2, for every p in (0, ∞), together with the matching bound in BMO at p = ∞. The argument proceeds by treating the fractional powers as Fourier multipliers for the sub-Laplacian and invoking a general regularity theorem for parameter-dependent multipliers of this type. The same framework also establishes that Bessel potential spaces on H^d coincide with the corresponding Sobolev spaces, including when the underlying spaces are Hardy spaces. A reader would care because the result supplies dispersive-type control for quantum evolution on a non-commutative group where Euclidean techniques do not apply directly.

Core claim

Functions of the sub-Laplacian Δ are defined as Fourier multipliers on the Heisenberg group. The solution u of i ∂_t u + (-Δ)^ν u = 0 satisfies the estimate ||u(t,·)||_{H^p(H^d)} ≤ C_p (1 + t)^{Q |1/p - 1/2|} ||(1 - Δ)^{ν Q |1/p - 1/2|} u_0||_{H^p(H^d)} for all p in (0, ∞) and the corresponding BMO bound at p = ∞, where Q = 2d + 2. This follows from a general regularity result for parameter-dependent sub-Laplacian Fourier multipliers. Bessel potential spaces on the Heisenberg group correspond to Sobolev spaces in the same way as in Euclidean space, also for Hardy spaces.

What carries the argument

The general regularity theorem for parameter-dependent Fourier multipliers associated to the sub-Laplacian Δ, applied to the symbols of the fractional powers (-Δ)^ν to produce the time-dependent bounds.

If this is right

  • The time growth depends only on the homogeneous dimension Q and the integrability parameter p.
  • The initial datum must carry extra regularity measured by the operator (1 - Δ) raised to a power linear in ν and |1/p - 1/2|.
  • Bessel potentials and Sobolev spaces coincide on the Heisenberg group for Hardy spaces as well as for L^p spaces.
  • The same multiplier regularity applies to other smooth functions of the sub-Laplacian beyond pure fractional powers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The bounds may serve as a starting point for Strichartz estimates or local well-posedness results for nonlinear fractional Schrödinger equations on the group.
  • Numerical evolution of the propagator for concrete initial data on low-dimensional Heisenberg groups could be used to check the sharpness of the predicted growth exponent.
  • Analogous multiplier arguments might yield comparable estimates on other stratified nilpotent Lie groups.

Load-bearing premise

The multiplier symbols arising from the fractional powers satisfy the smoothness and decay conditions required by the general regularity theorem for sub-Laplacian multipliers.

What would settle it

An initial datum u_0 for which the H^p norm of the evolved solution u(t,·) grows faster than the factor (1 + t)^{Q |1/p - 1/2|} for some fixed ν > 0 and some p in (0, ∞).

read the original abstract

We define functions of the sub-Laplacian $\Delta$ on the Heisenberg group $\mathbb H^d$ as Fourier multipliers. In this setting, we show that the solution $u$ of the free fractional Schr\"odinger equation $i\partial_tu + (-\Delta)^\nu u = 0, u|_{t=0} = u_0$, for any $\nu > 0$, satisfies the Hardy space estimate that $$ \|u(t,\cdot)\|_{H^p(\mathbb H^d)} \leq C_p (1 + t)^{Q|1/p-1/2|}\|(1-\Delta)^{\nu Q|1/p-1/2|}u_0\|_{H^p(\mathbb H^d)}, $$ with $Q = 2d + 2$, for all $p \in (0,\infty)$, and the corresponding estimate with $p = \infty$ in $\mathrm{BMO}(\mathbb H^d)$. This is done via a general regularity result for parameter dependent sub-Laplacian Fourier multipliers. We prove also that Bessel potential spaces on the Heisenberg group correspond to Sobolev spaces in the same way as in Euclidean space, also for Hardy spaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper defines functions of the sub-Laplacian on the Heisenberg group as Fourier multipliers and proves that solutions to the free fractional Schrödinger equation i∂_t u + (-Δ)^ν u = 0 satisfy the Hardy-space bound ||u(t,·)||_{H^p(H^d)} ≤ C_p (1+t)^{Q|1/p-1/2|} ||(1-Δ)^{ν Q|1/p-1/2|} u_0||_{H^p(H^d)} for all p ∈ (0,∞) and the analogous BMO estimate at p=∞, with Q=2d+2. The result is obtained by applying a general regularity theorem for parameter-dependent sub-Laplacian multipliers to the symbol exp(-i t λ^ν). The manuscript also establishes that Bessel potential spaces on H^d coincide with Sobolev spaces in the same manner as in Euclidean space, including on Hardy spaces.

Significance. If the multiplier regularity theorem applies with the precise t-growth claimed, the work supplies the first sharp dispersive estimates for fractional Schrödinger flows on the Heisenberg group. This is a substantive advance for subelliptic PDE theory, as the dimension-dependent exponent Q|1/p-1/2| matches the Euclidean case and opens the door to Strichartz estimates and nonlinear well-posedness results in the sub-Riemannian setting. The auxiliary result on Bessel-potential/Sobolev equivalence for Hardy spaces is a useful technical contribution that may be cited independently.

major comments (2)
  1. [§4] §4 (application of the general multiplier theorem): the verification that the symbol m(λ,t)=exp(-i t λ^ν) satisfies the required derivative estimates in λ (uniformly in t) for arbitrary ν>0 is only sketched. In particular, the k-th derivative near λ=0 behaves like λ^{ν-k} for non-integer ν, and it is not shown explicitly that these bounds, after multiplication by the oscillatory factor, produce exactly the factor (1+t)^{Q|1/p-1/2|} rather than a weaker or stronger power when the general theorem is invoked. This step is load-bearing for the central estimate.
  2. [Theorem 3.2] Theorem 3.2 (general parameter-dependent multiplier regularity): the statement requires a specific range of smoothness orders on the symbol; the paper must confirm that exp(-i t λ^ν) meets this threshold uniformly in t for all ν>0, including the low-frequency regime. Without an explicit computation of the constants or a reference to the precise hypothesis that is satisfied, the application to the Schrödinger evolution remains formally incomplete.
minor comments (2)
  1. [Introduction] The notation for the homogeneous dimension Q=2d+2 is introduced without recalling its relation to the Haar measure on H^d; a brief reminder in the introduction would improve readability.
  2. [Main theorem] In the statement of the BMO estimate, the precise definition of the BMO norm on H^d (via the sub-Laplacian or via the Carnot-Carathéodory metric) should be recalled or referenced.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for more explicit verification in the application of the multiplier theorem. We have revised the manuscript to address both major comments by expanding the computations in §4 and adding a supporting lemma for Theorem 3.2. These changes confirm the precise t-growth factor and the uniform smoothness conditions without altering the main results.

read point-by-point responses

  1. Referee: [§4] §4 (application of the general multiplier theorem): the verification that the symbol m(λ,t)=exp(-i t λ^ν) satisfies the required derivative estimates in λ (uniformly in t) for arbitrary ν>0 is only sketched. In particular, the k-th derivative near λ=0 behaves like λ^{ν-k} for non-integer ν, and it is not shown explicitly that these bounds, after multiplication by the oscillatory factor, produce exactly the factor (1+t)^{Q|1/p-1/2|} rather than a weaker or stronger power when the general theorem is invoked. This step is load-bearing for the central estimate.

    Authors: We agree that the original sketch in §4 left the derivative bounds and the precise emergence of the (1+t)^{Q|1/p-1/2|} factor implicit. In the revised manuscript we have inserted a detailed computation of ∂_λ^k m(λ,t) for both integer and fractional ν, using the chain rule and Faà di Bruno formula. Near λ=0 the bounds are of the form C_k (1+t) |λ|^{ν-k} (with logarithmic corrections absorbed into constants), and the general multiplier theorem then produces exactly the claimed power because the homogeneous dimension Q enters through the scaling of the sub-Laplacian Fourier transform. The revised §4 now contains these estimates explicitly. revision: yes

  2. Referee: [Theorem 3.2] Theorem 3.2 (general parameter-dependent multiplier regularity): the statement requires a specific range of smoothness orders on the symbol; the paper must confirm that exp(-i t λ^ν) meets this threshold uniformly in t for all ν>0, including the low-frequency regime. Without an explicit computation of the constants or a reference to the precise hypothesis that is satisfied, the application to the Schrödinger evolution remains formally incomplete.

    Authors: We have added a short lemma immediately preceding the application in the revised manuscript. The lemma verifies that m(λ,t)=exp(-i t λ^ν) satisfies the precise C^{N} regularity and derivative bounds required by Theorem 3.2 for any fixed N, with constants independent of t. In the low-frequency regime the estimates follow from the power-law behavior |λ|^{ν-k} multiplied by at most polynomial growth in t; the theorem’s hypotheses are therefore met uniformly in t for every ν>0. The constants are tracked explicitly in the new lemma. revision: yes

Circularity Check

0 steps flagged

No circularity; general multiplier theorem applied independently to Schrödinger symbol

full rationale

The derivation proceeds by first establishing a general regularity theorem for parameter-dependent sub-Laplacian Fourier multipliers on the Heisenberg group (with stated smoothness/decay conditions on the symbol), then directly substituting the specific symbol m(λ,t) = exp(-i t λ^ν) (adjusted by the fractional Sobolev weight on u0) to obtain the time-growth factor (1+t)^{Q|1/p-1/2|}. The exponent arises from the group's homogeneous dimension Q=2d+2 in the multiplier estimates and is not presupposed by the target bound. The additional claim that Bessel potentials coincide with Sobolev spaces (including on Hardy spaces) is shown by direct comparison of definitions and is independent of the evolution estimate. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard Fourier analysis on the Heisenberg group and domain assumptions about Hardy spaces behaving analogously to the Euclidean case; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Fourier multipliers for the sub-Laplacian on the Heisenberg group are well-defined via the group's representation theory
    Invoked to define functions of the sub-Laplacian as multipliers.
  • domain assumption Hardy spaces H^p on the Heisenberg group admit the same multiplier boundedness properties as in Euclidean space under suitable symbol conditions
    Required for the stated estimates to hold for p in (0,∞).

pith-pipeline@v0.9.0 · 5509 in / 1412 out tokens · 59723 ms · 2026-05-13T23:44:58.724334+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    A frequency space for the Heisenberg group

    Hajer Bahouri, Jean-Yves Chemin and Raphaël Danchin. “A frequency space for the Heisenberg group” .Ann. Inst. Fourier 69.1 (2019), pp. 365–

    work page 2019

  2. [2]

    doi: 10.5802/aif.3246

    work page doi:10.5802/aif.3246

  3. [3]

    Tempered distributions and Fourier transform on the Heisenberg group

    Hajer Bahouri, Jean-Yves Chemin and Raphaël Danchin. “Tempered distributions and Fourier transform on the Heisenberg group” . Ann. Henri Lebesgue 1 (2018), pp. 1–46. doi: 10.5802/ahl.1

    work page doi:10.5802/ahl.1 2018

  4. [4]

    Local dispersive and Strichartz estimates for the Schrödinger operator on the Heisenberg group

    Hajer Bahouri and Isabelle Gallagher. “Local dispersive and Strichartz estimates for the Schrödinger operator on the Heisenberg group” . Com- mun. Math. Res. 39.1 (2023), pp. 1–35. doi: 10.4208/cmr.2021-0101

    work page doi:10.4208/cmr.2021-0101 2023

  5. [5]

    Espaces de Besov et estimations de Strichartz généralisées sur le groupe de Heisenberg

    Hajer Bahouri, Patrick Gérard and Chao-Jiang Xu. “Espaces de Besov et estimations de Strichartz généralisées sur le groupe de Heisenberg” . J. Anal. Math. 82 (2000), pp. 93–118. doi: 10.1007/BF02791223. 39

    work page doi:10.1007/bf02791223 2000

  6. [6]

    Oscillating spectral multipliers on groups of Heisenberg type

    Roberto Bramati et al. “Oscillating spectral multipliers on groups of Heisenberg type” .Rev. Mat. Iberoam. 38.5 (2022), pp. 1529–1551. doi: 10.4171/RMI/1302

    work page doi:10.4171/rmi/1302 2022

  7. [7]

    On sharp estimates for Schrödinger groups of fractional powers of nonnegative self-adjoint operators

    The Anh Bui, Piero D’Ancona and Xuan Thinh Duong. “On sharp estimates for Schrödinger groups of fractional powers of nonnegative self-adjoint operators” . J. Differ. Equations 381 (2024), pp. 260–292. doi: 10.1016/j.jde.2023.11.019

    work page doi:10.1016/j.jde.2023.11.019 2024

  8. [8]

    Sharp 𝐿𝑝 estim- ates for Schrödinger groups on spaces of homogeneous type

    The Anh Bui, Piero D’Ancona and Fabio Nicola. “Sharp 𝐿𝑝 estim- ates for Schrödinger groups on spaces of homogeneous type” . Rev. Mat. Iberoam. 36.2 (2020), pp. 455–484. doi: 10.4171/rmi/1136

    work page doi:10.4171/rmi/1136 2020

  9. [9]

    On boundedness of oscil- lating multipliers on stratified Lie groups

    The Anh Bui, Qing Hong and Guorong Hu. “On boundedness of oscil- lating multipliers on stratified Lie groups” . J. Geom. Anal. 32.8 (2022). Id/No 222, p. 20. issn: 1050-6926. doi: 10.1007/s12220-022-00960- w

    work page doi:10.1007/s12220-022-00960- 2022

  10. [10]

    Sharp estimates for Schrödinger groups on Hardy spaces for 0 < 𝑝 ⩽ 1

    The Anh Bui and Fu Ken Ly. “Sharp estimates for Schrödinger groups on Hardy spaces for 0 < 𝑝 ⩽ 1 ” .J. Fourier Anal. Appl. 28.4 (2022). Id/No 70, p. 23. doi: 10.1007/s00041-022-09964-0

    work page doi:10.1007/s00041-022-09964-0 2022

  11. [11]

    Sharp endpoint 𝐿𝑝 estimates for Schrödinger groups

    Peng Chen et al. “Sharp endpoint 𝐿𝑝 estimates for Schrödinger groups” . Math. Ann. 378.1-2 (2020), pp. 667–702. doi: 10.1007/s00208-020- 02008-2

    work page doi:10.1007/s00208-020- 2020

  12. [12]

    Sharp endpoint estimates for Schrödinger groups on Hardy spaces

    Peng Chen et al. “Sharp endpoint estimates for Schrödinger groups on Hardy spaces” . J. Differ. Equations 371 (2023), pp. 660–690. doi: 10.1016/j.jde.2023.07.007

    work page doi:10.1016/j.jde.2023.07.007 2023

  13. [13]

    Subelliptic estimates and function spaces on nilpo- tent Lie groups

    G. B. Folland. “Subelliptic estimates and function spaces on nilpo- tent Lie groups” . Ark. Mat. 13 (1975), pp. 161–207. doi: 10 . 1007 / BF02386204

    work page 1975

  14. [14]

    G. B. Folland and Elias M. Stein. Hardy spaces on homogeneous groups. Vol. 28. Math. Notes (Princeton). Princeton, New Jersey: Princeton University Press, 1982. doi: 10.1515/9780691222455

    work page doi:10.1515/9780691222455 1982

  15. [15]

    Endpoint bounds for an analytic family of Hilbert transforms

    Loukas Grafakos. “Endpoint bounds for an analytic family of Hilbert transforms” . Duke Math. J. 62.1 (1991), pp. 23–59. doi: 10 . 1215 / S0012-7094-91-06202-2

    work page 1991

  16. [16]

    Second or- der elliptic operators with complex bounded measurable coefficients in 𝐿𝑝, Sobolev and Hardy spaces

    Steve Hofmann, Svitlana Mayboroda and Alan McIntosh. “Second or- der elliptic operators with complex bounded measurable coefficients in 𝐿𝑝, Sobolev and Hardy spaces” . Ann. Sci. Éc. Norm. Supér. (4) 44.5 (2011), pp. 723–800. doi: 10.24033/asens.2154

    work page doi:10.24033/asens.2154 2011

  17. [17]

    Estimates for translation invariant operators in 𝐿𝑝 spaces

    Lars Hörmander. “Estimates for translation invariant operators in 𝐿𝑝 spaces” .Acta Math. 104 (1960), pp. 93–140. doi: 10.1007/BF02547187

    work page doi:10.1007/bf02547187 1960

  18. [18]

    A functional calculus for Rockland operators on nilpotent Lie groups

    Andrzej Hulanicki. “A functional calculus for Rockland operators on nilpotent Lie groups” . Stud. Math. 78 (1984), pp. 253–266. doi: 10 . 4064/sm-78-3-253-266

    work page 1984

  19. [19]

    Spectral multiplier the- orems of Hörmander type on Hardy and Lebesgue spaces

    Peer Christian Kunstmann and Matthias Uhl. “Spectral multiplier the- orems of Hörmander type on Hardy and Lebesgue spaces” . J. Oper. Theory 73.1 (2015), pp. 27–69. doi: 10.7900/jot.2013aug29.2038

    work page doi:10.7900/jot.2013aug29.2038 2015

  20. [20]

    N. N. Lebedev. Special functions and their applications . Trans. by Richard A. Silverman. Rev. engl. ed. Englewood Cliffs, New Jersey: Prentice-Hall, inc., 1965

    work page 1965

  21. [21]

    On some Fourier multipliers for 𝐻𝑝(𝑅𝑛)

    Akihiko Miyachi. “On some Fourier multipliers for 𝐻𝑝(𝑅𝑛)” .J. Fac. Sci., Univ. Tokyo, Sect. I A 27 (1980), pp. 157–179. 40

    work page 1980

  22. [22]

    On spectral multipliers for Heisenberg and related groups

    D. Müller and Elias M. Stein. “On spectral multipliers for Heisenberg and related groups” .J. Math. Pures Appl. (9) 73.4 (1994), pp. 413–440

    work page 1994

  23. [23]

    Sharp 𝐿𝑝 bounds for the wave equa- tion on groups of Heisenberg type

    Detlef Müller and Andreas Seeger. “Sharp 𝐿𝑝 bounds for the wave equa- tion on groups of Heisenberg type” . Anal. PDE 8.5 (2015), pp. 1051–

    work page 2015

  24. [24]

    doi: 10.2140/apde.2015.8.1051

    work page doi:10.2140/apde.2015.8.1051 2015

  25. [25]

    𝐿𝑝-estimates for the wave equation on the Heisenberg group

    Detlef Müller and Elias M. Stein. “ 𝐿𝑝-estimates for the wave equation on the Heisenberg group” . Rev. Mat. Iberoam. 15.2 (1999), pp. 297–334. doi: 10.4171/RMI/258

    work page doi:10.4171/rmi/258 1999

  26. [26]

    On analytic families of operators

    Y. Sagher. “On analytic families of operators” . Isr. J. Math. 7 (1969), pp. 350–356. doi: 10.1007/BF02788866

    work page doi:10.1007/bf02788866 1969

  27. [27]

    Michael E. Taylor. Noncommutative harmonic analysis . Vol. 22. Math. Surv. Monogr. American Mathematical Society (AMS), Providence, RI, 1986

    work page 1986

  28. [28]

    A multiplier theorem for the sublaplacian on the Heis- enberg group

    S. Thangavelu. “A multiplier theorem for the sublaplacian on the Heis- enberg group” .Proc. Indian Acad. Sci., Math. Sci. 101.3 (1991), pp. 169–

    work page 1991

  29. [29]

    doi: 10.1007/BF02836798

    work page doi:10.1007/bf02836798

  30. [30]

    Lectures on Hermite and Laguerre expansions

    Sundaram Thangavelu. Lectures on Hermite and Laguerre expansions . Vol. 42. Math. Notes (Princeton). Princeton, NJ: Princeton University Press, 1993

    work page 1993

  31. [31]

    N. Th. Varopoulos, L. Saloff-Coste and T. Coulhon. Analysis and geo- metry on groups . Cambridge University Press, 1992. Aksel Bergfeldt Institut de Mathématiques de Jussieu-Paris Rive Gauche Université Paris Cité, Bâtiment Sophie Germain, Boite Courrier 7012 8 Place Aurélie Nemours 75205 Paris – Cedex 13 E-mail: aksel.bergfeldt@imj-prg.fr 41

    work page 1992