pith. sign in

arxiv: 2511.12561 · v2 · pith:57XQJHPLnew · submitted 2025-11-16 · 🧮 math.AP · math.CA

On Rellich-type asymptotics for eigenfunctions on rank one symmetric spaces of noncompact type

Pritam Ganguly This is my paper

Pith reviewed 2026-05-17 22:20 UTC · model grok-4.3

classification 🧮 math.AP math.CA
keywords Rellich theoremLaplace-Beltrami operatoreigenfunctionssymmetric spacesL^p estimatesHelmholtz equationexterior domainshyperbolic spaces
0
0 comments X

The pith

Eigenfunctions of the Laplace-Beltrami operator on exterior domains in rank-one symmetric spaces satisfy sharp quantitative L^p growth estimates in geodesic annuli.

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

The paper proves Rellich-type bounds that control how solutions to the Helmholtz equation grow or decay in annular regions far from the origin in these spaces. These bounds directly imply that no nontrivial solutions can exist in L^p for p between 1 and 2 when the imaginary part of the spectral parameter stays below a threshold set by the volume growth rate rho. The work therefore extends the classical Euclidean uniqueness theorem to geometries whose volume grows exponentially, showing that this growth forces stricter integrability restrictions than in flat space.

Core claim

We establish sharp Rellich-type quantitative L^p-growth estimates in geodesic annuli, which yield the nonexistence of nontrivial L^p(Ω)-solutions in the optimal range 1 ≤ p ≤ 2 for spectral parameters satisfying |Im(λ)| ≤ (2/p - 1)ρ. For non-real spectral parameters we obtain refined uniqueness results under weak L^p assumptions, and as a by-product a uniqueness theorem in Hardy-type norms.

What carries the argument

Rellich-type quantitative L^p-growth estimates in geodesic annuli

If this is right

  • No nontrivial L^p solutions exist for 1 ≤ p ≤ 2 when |Im(λ)| ≤ (2/p - 1)ρ.
  • Refined uniqueness holds for non-real λ under weaker L^p integrability than L^2.
  • Uniqueness follows from control of Hardy-type norms on the exterior domain.
  • The exponential volume growth of the space produces L^p spectral phenomena absent from Euclidean space.

Where Pith is reading between the lines

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

  • Similar annular estimates may hold on manifolds whose volume growth is comparable to these symmetric spaces.
  • The p-dependence of the threshold suggests that the L^p spectrum itself shifts with the geometry in a quantifiable way.
  • One could check whether the same growth control applies when the domain has bounded complement rather than being exterior.

Load-bearing premise

The domain is an exterior region in a rank-one symmetric space of noncompact type and the Laplace-Beltrami operator has its standard form with half-sum of positive roots rho.

What would settle it

A concrete nontrivial solution in L^{3/2} for a spectral parameter with imaginary part exactly equal to (2/(3/2) - 1)ρ that violates the stated annular growth bound would show the nonexistence claim is false.

read the original abstract

We study eigenfunctions of the Laplace--Beltrami operator \(\Delta_X\) in exterior domains \(\Omega\) of rank-one Riemannian symmetric spaces of noncompact type \(X\), a class that includes all hyperbolic spaces. Extending the classical \(L^2\) Rellich theorem for the Euclidean Laplacian, we analyze the asymptotic behaviour and \(L^p\)-integrability of solutions to the Helmholtz equation \[ \Delta_X f + (\lambda^2 + \rho^2) f = 0 \quad \text{in } \Omega, \] where \(\lambda \in \mathbb{C}\setminus i\mathbb{Z}\) and \(\rho\) denotes the half-sum of positive roots. We establish sharp Rellich-type quantitative \(L^p\)-growth estimates in geodesic annuli, which yield the nonexistence of nontrivial \(L^p(\Omega)\)-solutions in the optimal range \(1 \leq p \leq 2\) for spectral parameters satisfying \(|\Im(\lambda)| \leq (2/p - 1)\rho\). For non-real spectral parameters, we further obtain refined Rellich-type uniqueness results under weak \(L^p\)-assumptions. As a by-product, we also prove a Rellich-type uniqueness theorem in terms of Hardy-type norms. Our results provide a geometric extension of the Euclidean Rellich theorem, highlighting the role of exponential volume growth and the \(p\)-dependence of the \(L^p\)-spectrum of \(\Delta_X\) in producing genuinely non-Euclidean spectral phenomena.

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

1 major / 2 minor

Summary. The paper studies eigenfunctions of the Laplace-Beltrami operator on exterior domains in rank-one Riemannian symmetric spaces of noncompact type (including hyperbolic spaces). It derives sharp quantitative L^p-growth estimates for solutions of the Helmholtz equation Δ_X f + (λ² + ρ²)f = 0 in geodesic annuli, which imply nonexistence of nontrivial L^p(Ω) solutions for 1 ≤ p ≤ 2 when |Im(λ)| ≤ (2/p − 1)ρ (with λ ∉ iℤ). Additional results include refined uniqueness under weak L^p assumptions and a Rellich-type theorem in Hardy-type norms, extending the classical Euclidean Rellich theorem via the exponential volume growth factor sinh^{2ρ}(r).

Significance. If the derivations hold, the work is significant for spectral theory on non-Euclidean spaces: it highlights how exponential volume growth and the p-dependence of the L^p-spectrum produce genuinely non-Euclidean phenomena, while supplying explicit integral identities, asymptotic expansions of spherical functions, and boundary-term control. The parameter-free character of the estimates and the optimality of the range 1 ≤ p ≤ 2 are strengths that could influence further work on unique continuation and scattering on symmetric spaces.

major comments (1)
  1. [§4] §4 (radial analysis): the quantitative L^p-growth estimate in geodesic annuli relies on the precise error term in the asymptotic expansion of the spherical function; the manuscript should explicitly bound the remainder uniformly in the spectral parameter to confirm that the integral over the annulus vanishes in the stated range without additional assumptions on the support of f.
minor comments (2)
  1. [Introduction] The role of the condition λ ∉ iℤ is stated in the abstract and main theorem but its necessity in the integration-by-parts identity (likely Eq. (3.2) or similar) could be clarified with a short remark on possible resonances.
  2. [§2] Notation for the half-sum of positive roots ρ is introduced without a brief recall of its relation to the volume element; adding one sentence in §2 would aid readers outside the symmetric-spaces community.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive evaluation of its significance. We address the single major comment below.

read point-by-point responses

  1. Referee: [§4] §4 (radial analysis): the quantitative L^p-growth estimate in geodesic annuli relies on the precise error term in the asymptotic expansion of the spherical function; the manuscript should explicitly bound the remainder uniformly in the spectral parameter to confirm that the integral over the annulus vanishes in the stated range without additional assumptions on the support of f.

    Authors: We agree that an explicit uniform bound on the remainder improves clarity. The Harish-Chandra expansion on rank-one spaces yields an error term O(e^{-c r}) that is uniform for λ in the closed strip |Im(λ)| ≤ (2/p − 1)ρ (with λ ∉ iℤ), as the constants depend only on the root system and the fixed p-range. Nevertheless, to make this uniformity fully transparent and to verify directly that the integrated remainder vanishes over the annulus for arbitrary L^p solutions (without hidden support restrictions), we will insert a short lemma in §4 of the revised version that states and proves the uniform bound explicitly. This addition confirms the claimed vanishing of the boundary integral in the stated range. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds from the explicit radial expression of the Laplace-Beltrami operator on rank-one symmetric spaces, the known volume factor sinh^{2ρ}(r), and standard asymptotic expansions of spherical functions. These yield integral identities and boundary-term estimates that directly imply the stated L^p growth bounds and nonexistence results for |Im λ| ≤ (2/p − 1)ρ. No parameter is fitted to the target conclusion, no result is defined in terms of itself, and no load-bearing step reduces to a self-citation or ansatz imported from the same authors. The argument is self-contained against the classical Euclidean Rellich theorem and the geometry of the spaces.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard differential-geometric structure of rank-one symmetric spaces of noncompact type and the spectral theory of the Laplace-Beltrami operator; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Standard properties of the Laplace-Beltrami operator and the half-sum of positive roots ρ on rank-one symmetric spaces of noncompact type
    Invoked throughout the abstract to define the Helmholtz equation and the volume growth.

pith-pipeline@v0.9.0 · 5584 in / 1446 out tokens · 48983 ms · 2026-05-17T22:20:31.404172+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Agmon, Lower bounds for solutions of Schr¨ odinger equations,J

    S. Agmon, Lower bounds for solutions of Schr¨ odinger equations,J. Analyse Math.23 (1970), 1-25

    work page 1970

  2. [2]

    Ballman, M

    W. Ballman, M. Mukherjee, P. Polymerakis, On the spectrum of certain Hadamard manifoldsSIGMA Symmetry Integrability Geom. Methods Appl.19 (2023), Paper No. 050, 19 pp

    work page 2023

  3. [3]

    Banerjee, N

    A. Banerjee, N. Garofalo, An observation on eigenfunctions of the Laplacian,La Matematica3 (2024), no. 4, 1451–1455

    work page 2024

  4. [4]

    Banerjee, N

    A. Banerjee, N. Garofalo, A Rellich type estimate for a subelliptic Helmholtz equation with mixed homogeneities, arXiv:2311.11559,J. d’Analyse Mathematique, to appear

    work page arXiv

  5. [5]

    Banerjee, N

    A. Banerjee, N. Garofalo, Absence ofL p spectrum for asymptotically flat diffusions in region with cavities, arXiv:2507.10728 (2025)

    work page arXiv 2025

  6. [6]

    Ben Sa¨ ıd, T

    S. Ben Sa¨ ıd, T. Oshima, N. Shimeno, Fatou’s theorems and Hardy-type spaces for eigenfunctions of the invariant differential operators on symmetric spaces.Int. Math. Res. Not.2003, no. 16, 915–931

    work page 2003

  7. [7]

    Berenstein, L

    C.A. Berenstein, L. Zalcman, Pompeiu’s problem on symmetric spaces,Comment. Math. Helv., 55(1980), 593-621

    work page 1980

  8. [8]

    Boussejra, H

    A. Boussejra, H. Sami,Characterization of theL p-range of the Poisson transform in hyperbolic spaces B(Fn).J. Lie Theory12 (2002), no. 1, 1–14

    work page 2002

  9. [9]

    Bray, Generalized spectral projections on symmetric spaces of noncompact type: Paley–Wiener theorems,J

    W. Bray, Generalized spectral projections on symmetric spaces of noncompact type: Paley–Wiener theorems,J. Funct. Anal.135(1996), 206-232. MR1367630

    work page 1996

  10. [10]

    L. Chen, H. Liu, A Scattering theory on hyperbolic spaces, arXiv:2310.16416 (2023)

    work page arXiv 2023

  11. [11]

    Garofalo and Z

    N. Garofalo and Z. Shen, Absence of positive eigenvalues for a class of subelliptic operators.Math. Ann. 304 (1996), no. 4, 701-715

    work page 1996

  12. [12]

    Gangolli, On Plancherel formula and the Paley-Wiener theorem for spherical functions on semisimple Lie groups,Ann

    R. Gangolli, On Plancherel formula and the Paley-Wiener theorem for spherical functions on semisimple Lie groups,Ann. of Math., 93 (1971), 150-165

    work page 1971

  13. [13]

    Grafakos,Classical Fourier analysis, Grad

    L. Grafakos,Classical Fourier analysis, Grad. Texts in Math., 249 Springer, New York, 2008, xvi+489 pp. ISBN: 978-0-387-09431-1

    work page 2008

  14. [14]

    Helgason,Groups and Geometric Analysis, Academic Press, 1984

    S. Helgason,Groups and Geometric Analysis, Academic Press, 1984. MR0754767

    work page 1984

  15. [15]

    Helgason,Geometric analysis on Symmetric spaces, Math

    S. Helgason,Geometric analysis on Symmetric spaces, Math. Surveys Monographs 39, Amer. Math. Soc., 1994

    work page 1994

  16. [16]

    Hulanicki, OnL p-spectra of the laplacian on a Lie group with polynomial growth.Proc

    A. Hulanicki, OnL p-spectra of the laplacian on a Lie group with polynomial growth.Proc. Amer. Math. Soc.44 (1974), 482–484

    work page 1974

  17. [17]

    Hulanicki, Subalgebra ofL 1(G) associated with Laplacian on a Lie group.Colloq

    A. Hulanicki, Subalgebra ofL 1(G) associated with Laplacian on a Lie group.Colloq. Math.31 (1974), 259-287

    work page 1974

  18. [18]

    A. D. Ionescu, On the Poisson transform on symmetric spaces of real rank one.J. Funct. Anal.174 (2000), no. 2, 513–523

    work page 2000

  19. [19]

    Ionescu, D

    A.D. Ionescu, D. Jerison, On the absence of positive eigenvalues of Schr¨ odinger operators with rough potentials,Geom. Funct. Anal.13 (2003), no. 5, 1029–1081

    work page 2003

  20. [20]

    Isozaki, H

    H. Isozaki, H. Morioka, A Rellich type theorem for discrete Schr¨odinger operators,Inverse Probl. Imaging8 (2014), no. 2, 475–489

    work page 2014

  21. [21]

    Jerison, C.E

    D. Jerison, C.E. Kenig, Unique continuation and absence of positive eigenvalues for Schr¨ odinger opera- tors,Ann. of Math. (2)121 (1985), 463–494

    work page 1985

  22. [22]

    K. D. Johnson, Composition series and intertwining operators for the spherical principal series II,Trans. Amer. Math. Soc.,215(1976), 269-283. MR0385012

    work page 1976

  23. [23]

    K. D. Johnson and N. Wallach, Composition series and intertwining operators for the spherical principal series I,ibid.,229(1977), 137-173. MR0447483

    work page 1977

  24. [24]

    Kato Growth properties of solutions of the reduced wave equation with a variable coefficient.Comm

    T. Kato Growth properties of solutions of the reduced wave equation with a variable coefficient.Comm. Pure Appl. Math.12 (1959), 403-425

    work page 1959

  25. [25]

    T. H. Koornwinder,Jacobi functions and analysis on noncompact semisimple Lie groups, in: Special Functions: Group Theoretical Aspects and Applications, R. Askey, T. H. Koornwinder and W. Schempp (eds.), Reidel, Dordrecht, 1984, 1-85. MR0774055 26 GANGULY

    work page 1984

  26. [26]

    Kostant, On the existence and irreducibility of certain series of representations,Bull

    B. Kostant, On the existence and irreducibility of certain series of representations,Bull. Amer. Math. Soc.,75(1969), 627-642. MR0245725

    work page 1969

  27. [27]

    Kumar, S.K

    P. Kumar, S.K. Ray, R. Sarkar, Characterization of almostL p-eigenfunctions of the Laplace-Beltrami operator,Trans. Amer. Math. Soc.366 (2014), no. 6, 3191–3225

    work page 2014

  28. [28]

    Littman, Decay at infinity of solutions to partial differential equations with constant coefficients, Trans

    W. Littman, Decay at infinity of solutions to partial differential equations with constant coefficients, Trans. Amer. Math. Soc.123 (1966), 449-459

    work page 1966

  29. [29]

    Lohou´ e, T

    N. Lohou´ e, T. Rychener, Die Resolvente von ∆ auf symmetrischen R¨ aumen vom nichtkompakten Typ, Comment. Math. Helv.57 (1982), no. 3, 445–468, DOI 10.1007/BF02565869 (German)

    work page doi:10.1007/bf02565869 1982

  30. [30]

    F. W. J. Olver, Asymptotics and Special Functions. Wellesley, MA: A. K. Peters. Reprint, with correc- tions, of original Academic Press edition, 1974

    work page 1974

  31. [31]

    F. W. J. Olver, and L. C. Maximon,NIST Handbook of Mathematical functions, ( edited by F. W. F. Olver, D. W. Lozier, R. F. Boisvert and C. W. Clark) Chapter 15, National Institute of Standards and Technology, Washington, DC, and Cambridge University Press, Cambridge, 2010. Available online in http://dlmf.nist.gov/15

    work page 2010

  32. [32]

    Quinto, Mean value extension theorems and microlocal analysis,Proc

    E.T. Quinto, Mean value extension theorems and microlocal analysis,Proc. Amer. Math. Soc

    work page

  33. [33]

    M. Reed, B. Simon,Methods of Modern Mathematical Physics, IV. Analysis of Operators, Academic Press, New York-London (1978)

    work page 1978

  34. [34]

    Rellich, ¨Uber das asymptotische Verhalten der L¨ osungen von∆u+λu= 0in unendlichen Gebieten

    F. Rellich, ¨Uber das asymptotische Verhalten der L¨ osungen von∆u+λu= 0in unendlichen Gebieten. (German) Jber. Deutsch. Math.-Verein. 53 (1943), 57-65

    work page 1943

  35. [35]

    Simon, On positive eigenvalues of one body Schr¨ odinger operators,Comm

    B. Simon, On positive eigenvalues of one body Schr¨ odinger operators,Comm. Pure Appl. Math.22 (1969), 531–538

    work page 1969

  36. [36]

    Stanton, P.A Tomas, Expansions for spherical functions on noncompact symmetric spaces,Acta Math, 140(3–4), 251–276 (1978)

    R.J. Stanton, P.A Tomas, Expansions for spherical functions on noncompact symmetric spaces,Acta Math, 140(3–4), 251–276 (1978)

    work page 1978

  37. [37]

    Tagawa A Rellich type theorem for the generalized oscillator,Rep

    T. Tagawa A Rellich type theorem for the generalized oscillator,Rep. Math. Phys.95 (2025), no. 3, 281–302

    work page 2025

  38. [38]

    Taylor,L p-estimates on functions of the Laplace operator,Duke Math

    M.E. Taylor,L p-estimates on functions of the Laplace operator,Duke Math. J.58 (1989), no. 3, 773–793

    work page 1989

  39. [39]

    N. Ja. Vilenkin,Special Functions and the Theory of Group Representations, Translation of Math. Monogr. Vol 22. Amer. Math. Soc. Providence, R.I. 1968. (Pritam Ganguly)Stat-Math Unit, Indian Statistical Institute, Kolkata, BT Road, Barana- gar, Kolkata 700108 Email address:pritam1995.pg@gmail.com

    work page 1968