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

Basic Information

• Paper ID: 2511.12561
• Title: On Rellich-type asymptotics for eigenfunctions on rank one symmetric spaces of noncompact type
• Author: Pritam Ganguly (Indian Statistical Institute, Kolkata)
• Classification: math.AP (Analysis of PDEs), math.CA (Classical Analysis)
• Submission Date: November 16, 2025 to arXiv
• Paper Link: https://arxiv.org/abs/2511.12561v1

Abstract

This paper studies eigenfunctions of the Laplace-Beltrami operator $\Delta_X$ on the exterior domain $\Omega$ of rank one Riemannian symmetric spaces $X$ of noncompact type. The author generalizes the classical $L^2$-Rellich theorem for the Euclidean Laplacian to this geometric setting, investigating the asymptotic behavior 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$ is the half-sum of positive roots.

The author obtains sharp Rellich-type quantitative $L^p$-growth estimates for $f$ on geodesic annuli, deriving nonexistence of $L^p(\Omega)$-solutions in the optimal range $1 \leq p \leq 2$ with spectral parameters satisfying $|\text{Im}(\lambda)| \leq (2/p - 1)\rho$. As a byproduct, uniqueness theorems for eigenfunctions with respect to Hardy-type norms are established. These results geometrically generalize the Euclidean Rellich theorem and reveal how exponential volume growth and the $p$-dependence of the $L^p$-spectrum of $\Delta_X$ produce genuinely non-Euclidean spectral phenomena.

Research Background and Motivation

1. Research Problem

This paper investigates the asymptotic behavior and $L^p$-integrability of Laplace-Beltrami operator eigenfunctions on exterior domains of rank one Riemannian symmetric spaces (including all hyperbolic spaces).

2. Problem Significance

• Physical Significance: The study of eigenfunction asymptotics is crucial for excluding eigenvalues embedded in the continuous spectrum of time-independent Schrödinger operators, which has important implications in quantum mechanics.
• Classical Results: The classical theorem established by Rellich in 1943 states that the Helmholtz equation with positive eigenvalues has no nontrivial $L^2$-solutions on exterior domains of Euclidean spaces.
• Geometric Generalization: Extending this result to non-Euclidean geometric settings has profound theoretical significance.

3. Limitations of Existing Methods

• Euclidean Specificity: In Euclidean space $\mathbb{R}^n$, the Fourier transform provides unitary equivalence between the Laplacian and the multiplication operator $|\xi|^2$ on $L^2$, making the $L^2$ case relatively straightforward.
• Exterior Domain Complexity: Establishing such results on exterior domains (complements of bounded regions) is more subtle.
• Geometric Differences: Rank one symmetric spaces have exponential volume growth $|B(x,r)| \asymp e^{2\rho r}$, which is fundamentally different from the polynomial growth of Euclidean spaces.
• $L^p$-Spectrum Dependence: Unlike the Euclidean Laplacian, the $L^p$-spectrum of $\Delta_X$ on symmetric spaces essentially depends on the value of $p$.

4. Research Motivation

• Extend the $L^p$ generalization of Banerjee and Garofalo (Theorem 1.2) to non-Euclidean geometry
• Understand how exponential volume growth affects eigenfunction behavior
• Explore non-Euclidean spectral phenomena arising from the $p$-dependence of the $L^p$-spectrum
• Establish Rellich-type uniqueness theorems in geometric settings

Core Contributions

1. Quantitative Asymptotic Estimates (Theorem 1.3): Establishes sharp $L^p$-growth estimates for Helmholtz equation solutions on exterior domains of rank one symmetric spaces on geodesic annuli, distinguishing three spectral regions:
   • $\text{Im}(\lambda) = 0$: linear growth $\int_{R<d(o,x)<2R} |f|^2 \geq CR$
   • $|\text{Im}(\lambda)| < \gamma_p\rho$: exponential growth
   • $|\text{Im}(\lambda)| = \gamma_p\rho$: critical linear growth
2. Nonexistence of $L^p$-Solutions (Theorem 1.5): Proves that for $1 \leq p \leq 2$ and $|\text{Im}(\lambda)| \leq \gamma_p\rho$ (where $\gamma_p = 2/p - 1$), the Helmholtz equation has no nontrivial $L^p$-solutions on exterior domains, a Liouville-type theorem.
3. Hardy-type Norm Uniqueness (Theorem 1.8): Establishes eigenfunction uniqueness theorems with respect to Hardy-type norms, generalizing Poisson transform characterizations on the full space.
4. Sharpness Analysis: Through explicit constructions (spherical functions $\phi_\lambda$ and $\Phi_\lambda$ in the Harish-Chandra expansion), proves that all results are sharp.
5. Geometric Insights: Reveals fundamental differences between exponential volume growth spaces and polynomial growth spaces (such as Euclidean spaces), particularly in the critical exponents: $p=2$ for symmetric spaces versus $p=2n/(n-1)$ for Euclidean spaces.

Methodology Details

Task Definition

Study the asymptotic behavior of solutions $f \in C^2(\Omega)$ to the Helmholtz equation $\Delta_X f + (\lambda^2 + \rho^2)f = 0$ on the exterior domain $\Omega := \{x \in X : d(o,x) > R_0\}$, where $\lambda \in \mathbb{C} \setminus i\mathbb{Z}$.

Core Technical Approach

1. Spherical Harmonic Expansion

Utilizing the structure of symmetric spaces, expand the eigenfunction $f$ in terms of $K$-spherical harmonics $\{Y_{\delta,j}\}$: $u(t) := \int_K f(k a_t \cdot o) Y_{\delta,j}(k) dk$

where $K$ is the maximal compact subgroup and $a_t = \exp(tH_0)$ parametrizes the geodesic.

2. Reduction to Hypergeometric Equation

Through the explicit expression of the Laplace-Beltrami operator in polar coordinates (equation 2.6): $\Delta_X = \frac{1}{2(m_\gamma + 4m_{2\gamma})^{-1}} \left(\frac{d^2}{dt^2} + (m_\gamma \coth t + 2m_\gamma \coth(2t))\frac{d}{dt}\right) + \text{angular terms}$

the differential equation for $u(t)$ is transformed into the standard hypergeometric differential equation (equation 3.11): $\frac{d^2v}{dz^2} + \frac{c - (a+b+1)z}{z(1-z)}\frac{dv}{dz} - \frac{ab}{z(1-z)}v = 0$

where $z = \tanh^2(t)$ and parameters satisfy $c - a - b = i\lambda \notin \mathbb{Z}$.

3. Asymptotic Analysis

Utilize the two linearly independent solutions of the hypergeometric function $_2F_1$: $u_1(t) = (\tanh t)^q (\cosh t)^{i\lambda-\rho} \cdot {}_2F_1(\cdots; 1-\tanh^2 t)$$u_2(t) = (\tanh t)^q (\cosh t)^{-i\lambda-\rho} \cdot {}_2F_1(\cdots; 1-\tanh^2 t)$

As $t \to \infty$, using $\tanh t \to 1$, $\cosh t \sim \frac{1}{2}e^t$, and $_2F_1(a,b;c;0) = 1$, obtain the key asymptotic estimate (equation 3.15): $u(t) = e^{-\rho t}(C_1 e^{i\lambda t} + C_2 e^{-i\lambda t})(1 + o(1))$

4. Lower Bound Estimates

Classify according to the imaginary part of $\lambda$:

Case I: $\text{Im}(\lambda) \neq 0$$|u(t)| \geq Ce^{-\rho t}e^{\pm\text{Im}(\lambda)t}$

Apply Hölder's inequality: $e^{-\rho t}|g_\lambda(t)| \leq C \left(\int_K |f(kat)|^p dk\right)^{1/p}$

Case II: $\text{Im}(\lambda) = 0$$|u(t)| \geq Ce^{-\rho t}\sqrt{A^2 + B^2 + 2AB\cos(2\lambda t + \theta)}$

5. Integral Estimates

Using the Jacobian of the polar coordinate measure $J(t) \asymp e^{2\rho t}$, integrate over geodesic annuli: $\int_{R<d(o,x)<2R} |f|^p dx = \int_R^{2R} J(t) \int_K |f(kat)|^p dk \, dt$

For $|\text{Im}(\lambda)| < \gamma_p\rho$, the dominant term is: $\int_R^{2R} e^{p(\gamma_p\rho - |\text{Im}(\lambda)|)t} dt \asymp e^{p(\gamma_p\rho - |\text{Im}(\lambda)|)R}$

Technical Innovations

1. Hypergeometric Reduction: Cleverly utilizes the structure of symmetric spaces to reduce the Helmholtz equation to a hypergeometric equation, which is the key technique for handling radial eigenfunctions.
2. Geometric Meaning of Parameter Restrictions: The condition $\lambda \notin i\mathbb{Z}$ is not merely a technical requirement but reflects the analyticity of the Harish-Chandra $c$-function and the injectivity of the Poisson transform.
3. Trichotomy Phenomenon: Discovers a trichotomy of exponential growth, linear growth, and exponential decay, a phenomenon unique to exponential volume growth spaces.
4. Sharpness Construction: Systematically verifies the sharpness of all spectral region boundaries using spherical functions $\phi_\lambda$ and $\Phi_\lambda$.
5. Hardy Norm Characterization: Introduces weight function $\psi_\lambda(a_t) = e^{(-|\text{Im}(\lambda)|-\rho)t}$ to establish Hardy-type uniqueness theorems for eigenfunctions on exterior domains.

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments or computational verification. All results are established through rigorous mathematical proofs.

Theoretical Verification Methods

1. Explicit Construction: Uses spherical functions $\phi_\lambda$ and functions $\Phi_\lambda$ in the Harish-Chandra expansion as concrete examples to verify the sharpness of theorems.
2. Asymptotic Estimates: Verifies the correctness of estimates using known asymptotic behavior of special functions (Bessel functions, hypergeometric functions).
3. Literature Comparison: Provides detailed comparisons with results from Banerjee-Garofalo (Euclidean case), Ballmann-Mukherjee-Polymerakis (Hadamard manifolds), and Chen-Liu (real hyperbolic spaces).

Experimental Results

Main Theoretical Results

Theorem 1.3 (Quantitative Asymptotic Estimates)

For $\lambda \in \mathbb{C} \setminus i\mathbb{Z}$ and $f \in C^2(\Omega)$ satisfying $\Delta_X f + (\lambda^2 + \rho^2)f = 0$:

1. Real Spectral Parameter ($\text{Im}(\lambda) = 0$): $\int_{R<d(o,x)<2R} |f(x)|^2 dx \geq CR$
2. Complex Spectral Parameter ($1 \leq p < 2$, $\text{Im}(\lambda) \neq 0$): $\int_{R<d(o,x)<2R} |f(x)|^p dx \geq C \begin{cases} e^{p(\gamma_p\rho - |\text{Im}(\lambda)|)R}, & |\text{Im}(\lambda)| \neq \gamma_p\rho \\ R, & |\text{Im}(\lambda)| = \gamma_p\rho \end{cases}$ where $\gamma_p = 2/p - 1$.

Theorem 1.5 ($L^p$-Solution Nonexistence)

For $1 \leq p \leq 2$ and $|\text{Im}(\lambda)| \leq \gamma_p\rho$, if $f \in L^p(\Omega)$ satisfies the Helmholtz equation, then $f \equiv 0$.

Theorem 1.8 (Hardy-type Uniqueness)

If $f$ satisfies $\sup_{t>R_0} \frac{t^\epsilon}{\psi_\lambda(a_t)} \left(\int_K |f(kat)|^p dk\right)^{1/p} < \infty$ for some $\epsilon > 0$, then $f \equiv 0$. Moreover, the condition $\epsilon > 0$ is sharp.

Sharpness Verification

Remark 3.5 systematically constructs counterexamples:

1. Case $p > 2$: Spherical function $\phi_\lambda \in L^p(X)$ when $|\text{Im}(\lambda)| < (1 - 2/p)\rho$.
2. Complementary Region: Functions $\Phi_\lambda$ or $\Phi_{-\lambda}$ belong to $L^p(\Omega)$ when:
   • $1 \leq p < 2$, $|\text{Im}(\lambda)| > \gamma_p\rho$
   • $p > 2$, $|\text{Im}(\lambda)| \geq (1 - 2/p)\rho$

Key Findings

1. Critical Exponent: The critical exponent for symmetric spaces is $p = 2$ (independent of dimension), whereas for Euclidean spaces it is $p = 2n/(n-1)$ (dimension-dependent).
2. $L^p$-Spectrum Structure: $S_p(-\Delta_X) = \{z^2 + \rho^2 : |\text{Im}(z)| \leq |2/p - 1|\rho\}$ forms a parabolic neighborhood, essentially depending on $p$.
3. Non-positivity Phenomenon: Although $-\Delta_X$ is a positive operator on the full space $X$, its restriction to the exterior domain $\Omega$ may have complex eigenvalues (point spectrum).
4. Role of Volume Growth: Exponential volume growth $|B(x,r)| \asymp e^{2\rho r}$ dominates eigenfunction behavior when $|\text{Im}(\lambda)| < \gamma_p\rho$, resulting in exponential growth.

Related Work

Classical Rellich Theorem and Extensions

1. Rellich (1943): Established $L^2$-asymptotic estimates for the Helmholtz equation on Euclidean exterior domains, proving $\int_{R<|x|<2R} |f|^2 dx \geq CR$.
2. Kato (1959): Extended to Schrödinger operators, constructing oscillatory potentials with positive eigenvalues.
3. Agmon, Simon: Extended to long-range potentials $V = V_1 + V_2$.
4. Ionescu-Jerison (2003): Proved absence of positive eigenvalues under $L^q$-decay assumptions.

$L^p$-Generalizations

5. Banerjee-Garofalo (2024):
   • Generalized Rellich theorem to $L^p$, $0 < p \leq 2n/(n-1)$ (Theorem 1.2)
   • Established Rellich-type inequalities for Baouendi-Grushin operators
   • Extensions to uniformly elliptic operators with asymptotically flat coefficients ($0 < p < 2n/(n-1)$)

Research in Geometric Settings

6. Ballmann-Mukherjee-Polymerakis (2023):
   • Studied asymptotically harmonic Hadamard manifolds
   • Proved vanishing of point spectrum on horoball complements ($L^2$-version)
   • Methods: geometric analysis and asymptotic harmonicity
7. Chen-Liu (2023):
   • Scattering theory on real hyperbolic spaces $\mathbb{H}^n$
   • $L^2$-uniqueness theorems (geodesic ball complements)
   • Group structure: $SO_0(1,n)/SO(n)$

Spherical Functions and Poisson Transform

8. Ben Saïd-Oshima-Shimeno (2003): Fatou theorem and Hardy space characterizations
9. Boussejra-Sami (2002): $L^p$-range characterization of Poisson transform in hyperbolic spaces
10. Kumar-Ray-Sarkar (2014): Confirmed conjecture for $1 < p < 2$ case

Positioning of This Work

• Geometric Generalization: Extends Banerjee-Garofalo's Euclidean results to rank one symmetric spaces
• Complete Characterization: Covers both real and complex spectral parameters, establishing complete trichotomy
• Method Innovation: Based on spherical harmonic expansion and hypergeometric reduction, differing from 2's geometric analysis approach
• Domain Differences: Studies geodesic ball complements (compact), whereas 2 studies horoball complements (noncompact)

Conclusions and Discussion

Main Conclusions

1. Geometric Rellich Theorem: Successfully generalizes the classical Rellich theorem to rank one noncompact symmetric spaces, establishing a complete $L^p$-theoretical framework ($1 \leq p \leq 2$).
2. Geometric Origins of Spectral Phenomena: Reveals how exponential volume growth and $p$-dependence of the $L^p$-spectrum produce non-Euclidean spectral phenomena:
   • Critical exponent shifts from $2n/(n-1)$ (Euclidean) to $2$ (symmetric spaces)
   • Trichotomy of exponential growth/linear growth/exponential decay emerges
   • $L^p$-spectrum forms a $p$-dependent parabolic neighborhood
3. Sharpness: All spectral region boundaries are sharp, verified through explicit constructions of $\phi_\lambda$ and $\Phi_\lambda$.
4. Hardy Norm Characterization: Establishes Hardy norm uniqueness theorems for eigenfunctions on exterior domains, generalizing Poisson transform theory on the full space.

Limitations

1. Spectral Parameter Restrictions:
   • Requirement $\lambda \notin i\mathbb{Z}$ is necessary for linear independence of solutions at regular singular points of the hypergeometric equation
   • While having deep harmonic analysis reasons (poles of Harish-Chandra $c$-function, injectivity of Poisson transform), it still limits complete generality of results
2. Rank One Restriction:
   • Methods depend on $\dim \mathfrak{a} = 1$, i.e., rank one assumption
   • Spherical harmonic expansion becomes more complex in higher rank, hypergeometric reduction no longer applies
   • Generalization to higher rank symmetric spaces requires new techniques
3. Rotational Symmetry:
   • Methods essentially utilize $K$-invariance and spherical harmonic expansion
   • Cannot be directly extended to Damek-Ricci spaces (non-symmetric rank one generalizations)
4. Case $p > 2$:
   • For $p > 2$, $L^p(\Omega)$-eigenfunctions exist, preventing Liouville-type theorems
   • Only partial results obtainable through weighted $L^p$ norms
5. Domain Geometry:
   • Only considers geodesic ball complements (exterior domains)
   • Relationship with horoball complements (as in 2) not fully clarified

Future Directions

The author proposes the following research directions in Section 4:

1. Case $\lambda \in i\mathbb{Z}$:
   • Understand eigenfunction behavior at these resonant parameters
   • Investigate whether logarithmic terms appear and their effects
   • Explore whether Rellich-type estimates still hold
2. Damek-Ricci Spaces:
   • Develop new harmonic analysis tools not depending on complete rotational symmetry
   • May require subelliptic techniques and weighted inequalities
   • Understand how non-symmetry affects spectral phenomena
3. Heisenberg Groups and H-type Groups:
   • Study Rellich-type theorems for subelliptic Laplacians
   • Explore analogous phenomena in Carnot-Carathéodory geometry
   • May require Carleman estimates and sub-Riemannian geometric tools
4. Higher Rank Symmetric Spaces:
   • Develop multivariate hypergeometric functions or other reduction techniques
   • Understand effects of Weyl group action and multiple root systems
   • Establish more general asymptotic theory
5. Weighted $L^p$ Theory:
   • Systematically study weighted uniqueness theorems for $p > 2$
   • Optimize weight function selection
   • Connections with Hardy space theory
6. Application Directions:
   • Spectral theory of Schrödinger operators
   • Scattering theory and resonances
   • Unique continuation problems in geometric analysis

In-Depth Evaluation

Strengths

1. Theoretical Depth:
   • Perfectly combines harmonic analysis (spherical harmonic expansion, Poisson transform), special function theory (hypergeometric equations), and Riemannian geometry
   • Establishes complete $L^p$ theoretical framework covering all relevant spectral regions
   • Deeply reveals intrinsic connections between geometry (exponential volume growth) and analysis (spectral structure)
2. Technical Innovation:
   • Hypergeometric reduction method is elegant and effective
   • Asymptotic analysis is meticulous, distinguishing three different growth mechanisms
   • Systematic verification of sharpness enhances completeness of results
3. Writing Quality:
   • Clear structure, proceeding logically from background through main results to proofs
   • Numerous Remarks provide deep mathematical and geometric insights
   • Detailed and fair comparison with existing literature
4. Geometric Insights:
   • Clearly indicates that critical exponent $p=2$ is dimension-independent, a hallmark of exponential growth spaces
   • Reveals parabolic structure of $L^p$-spectrum and its geometric significance
   • Discovers interesting phenomenon that Laplace-Beltrami operator on exterior domains may have complex eigenvalues
5. Completeness:
   • Not only proves main theorems but systematically constructs counterexamples verifying sharpness
   • Hardy-type uniqueness theorem as byproduct enriches theory
   • Detailed comparison with Banerjee-Garofalo, Ballmann and others' work

Weaknesses

1. Essential Nature of Rank One Restriction:
   • Methods strongly depend on one-dimensional abelian subalgebra $\mathfrak{a}$
   • Path to generalization to higher rank is unclear, limiting universality of results
   • While mentioned in future directions, no concrete approach provided
2. Spectral Parameter Exclusion:
   • Exclusion of $\lambda \in i\mathbb{Z}$ has theoretical justification but remains a gap
   • These resonant parameters may have special significance in physics and geometry
   • Lacks conjectures or partial results regarding behavior at these parameters
3. Treatment of $p > 2$:
   • For $p > 2$, only provides weighted $L^{p'}$ comments (Section 4)
   • Lacks systematic weighted theory
   • Contrasts with complete theory for $1 \leq p \leq 2$
4. Connections with Other Geometries:
   • While comparing results on Hadamard manifolds and real hyperbolic spaces, discussion of relationship between horoball and geodesic ball complements lacks depth
   • Lacks discussion of general negatively curved manifolds
5. Application Aspects:
   • Paper is primarily theoretical, lacking concrete physical or geometric applications
   • While mentioning Schrödinger operators, does not elaborate
   • Connections to scattering theory only briefly mentioned in related work

Impact

1. Contribution to Field:
   • Importance: Fills gap in Rellich theorem for non-Euclidean geometry, provides new tools for spectral theory on symmetric spaces
   • Originality: First systematic study of $L^p$-Rellich theory on exterior domains of rank one symmetric spaces
   • Completeness: Establishes complete theoretical framework including sharp spectral region characterization
2. Practical Value:
   • Theoretical Tools: Provides foundation for studying spectrum of Schrödinger operators on symmetric spaces
   • Methodology: Hypergeometric reduction technique potentially applicable to other radial problems
   • Reference Value: Provides guidance for subsequent research on Damek-Ricci spaces, H-type groups, etc.
3. Reproducibility:
   • Theoretical Proofs: All proofs are rigorous mathematical arguments, completely verifiable
   • Explicit Constructions: Counterexamples use classical spherical functions, completely explicit
   • Technical Details: Hypergeometric equation parameters, asymptotic estimate constants all clearly specified
4. Potential for Follow-up Research:
   • Direct Generalizations: Damek-Ricci spaces, H-type groups, higher rank symmetric spaces
   • Cross-disciplinary Applications: Scattering theory, resonance theory, unique continuation in geometric analysis
   • Method Development: Weighted Hardy spaces, analogous problems in sub-Riemannian geometry

Applicable Scenarios

1. Mathematical Fields:
   • Harmonic Analysis: Fourier analysis on symmetric spaces, spherical function theory
   • Partial Differential Equations: Spectral theory of elliptic operators, unique continuation problems
   • Riemannian Geometry: Analysis on negatively curved manifolds, asymptotic geometry
   • Operator Theory: $L^p$-spectrum, Schrödinger operators
2. Physical Applications:
   • Quantum Mechanics: Quantum systems in negatively curved spaces
   • Scattering Theory: Wave equations in hyperbolic spaces
   • Relativity: Related problems in Anti-de Sitter spaces
3. Geometric Analysis:
   • Eigenvalue Problems: Spectrum of Laplacian on exterior domains
   • Heat Kernel Estimates: Long-time asymptotic behavior
   • Harmonic Maps: Cases with symmetric spaces as target

Overall Evaluation

This is a high-quality theoretical mathematics paper making important contributions to spectral theory on rank one noncompact symmetric spaces. The paper successfully generalizes the classical Rellich theorem to non-Euclidean geometric settings, revealing spectral phenomena unique to exponential volume growth spaces. Technically, the hypergeometric reduction method is elegant and effective. Theoretically, it completely characterizes $L^p$-spectral regions and systematically verifies sharpness.

The paper's main value lies in:

• Theoretical Completeness: Establishes complete $L^p$ framework ($1 \leq p \leq 2$)
• Geometric Insights: Deeply understands relationship between geometry and spectrum
• Method Innovation: Provides effective techniques for handling radial eigenfunctions

Main limitations stem from rank one restriction and exclusion of certain spectral parameters, but these are inherent to the method itself and do not diminish the paper's value within its applicable scope. For mathematicians working in harmonic analysis, partial differential equations, or Riemannian geometry, this is an important reference worthy of careful study.

Recommendation Index: ⭐⭐⭐⭐⭐ (5/5) Technical Difficulty: High (requires deep knowledge of symmetric space theory, special functions, spectral theory) Originality: High Expected Impact: High (establishes foundation for important research direction)

Selected References

1. F. Rellich (1943): Original Rellich theorem, Jber. Deutsch. Math.-Verein. 53, 57-65
2. A. Banerjee, N. Garofalo (2024): $L^p$ generalization, La Matematica 3(4), 1451-1455
3. S. Helgason (1994): Geometric analysis on Symmetric spaces (standard reference)
4. R.J. Stanton, P.A. Tomas (1978): Harish-Chandra expansion, Acta Math. 140, 251-276
5. W. Ballman et al. (2023): Spectrum on Hadamard manifolds, SIGMA 19, Paper No. 050

Note: This report is based on detailed reading of the full paper. All technical details, theorem statements, and evaluations are based on the original text.