pith. sign in

arxiv: 2504.21479 · v2 · submitted 2025-04-30 · 🧮 math.AP · math.FA· math.RT

Shifted wave equation on noncompact symmetric spaces

Yulia Kuznetsova , Zhipeng Song This is my paper

Pith reviewed 2026-05-22 18:31 UTC · model grok-4.3

classification 🧮 math.AP math.FAmath.RT
keywords oscillating integralsHarish-Chandra c-functionshifted Laplaciannoncompact symmetric spaceswave propagatorkernel estimatesL^p-L^q normspolynomial decay
0
0 comments X

The pith

Pointwise estimates show polynomial time decay for kernels of the shifted wave operator on noncompact symmetric spaces.

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

The paper carries out asymptotic analysis of oscillating integrals that involve the Harish-Chandra c-function on semisimple Lie groups of real rank at least two. This analysis produces pointwise bounds on the kernel of the operator exp(it sqrt{|x|}) ψ(sqrt{|x|}) applied to the shifted Laplace-Beltrami operator Δ + |ρ|^2. The bounds imply polynomial decay in time for the kernel itself and for the operator norms from L^p to L^q when 1 ≤ p < 2 < q ≤ ∞. A reader would care because these decay rates describe the long-time dispersive behavior of waves on spaces of negative curvature, which are model geometries for many questions in geometric analysis and hyperbolic PDEs. The same method also improves the known growth rates for the L^p to L^p norms of the distinguished Laplacian.

Core claim

We obtain pointwise estimates for the kernel of an oscillating function exp(it sqrt{|x|}) ψ(sqrt{|x|}) applied to the shifted Laplacian Δ + |ρ|^2. These estimates imply a polynomial decay in time of the kernel and of the L^p-L^q norms of the operator for 1 ≤ p < 2 < q ≤ ∞. For the related distinguished Laplacian we obtain L^p-L^p bounds with slower growth in time than earlier results.

What carries the argument

Asymptotic analysis of oscillating integrals involving the Harish-Chandra c-function, carried out when the real rank is at least two.

If this is right

  • Pointwise kernel estimates hold for the oscillating operator built from the shifted Laplacian.
  • The kernel decays polynomially in time.
  • The operator satisfies L^p to L^q bounds that decay polynomially when 1 ≤ p < 2 < q ≤ ∞.
  • L^p to L^p bounds for the distinguished Laplacian improve on earlier growth rates.

Where Pith is reading between the lines

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

  • Similar decay statements may hold for other spectral multipliers once analogous expansions of the c-function are available.
  • The estimates could be used to derive Strichartz-type inequalities for the wave equation on these spaces.
  • The approach might extend to related operators on symmetric spaces of lower rank if suitable asymptotic information on the c-function can be obtained by other means.

Load-bearing premise

The Harish-Chandra c-function admits sufficiently explicit expansions when the real rank is at least two, so that the oscillating integrals can be analyzed in detail.

What would settle it

A concrete computation on a rank-two symmetric space such as SL(3,R)/SO(3) showing that the kernel fails to decay at the predicted polynomial rate for large times.

read the original abstract

Let $G$ be a semisimple, connected, and noncompact Lie group with a finite center. We carry out a detailed analysis of oscillating integrals involving the Harish-Chandra $c$-function, in the case of real rank $l\ge 2$. This allows to obtain two main applications. Consider the Laplace-Beltrami operator $\Delta$ on the homogeneous space $G/K=S$ by a maximal compact subgroup $K$. We obtain pointwise estimates for the kernel of an oscillating function $\exp( it\sqrt{|x|}) \psi(\sqrt{|x|}) $ applied to the shifted Laplacian $\Delta+|\rho|^2$. We obtain a polynomial decay in time of the kernel, and of the $L^p-L^q$ norms of the operator, for $1\le p<2<q\le \infty$. For the related distinguished Laplacian, we obtain bounds for the $L^p-L^p$ norms, $1\le p\le\infty$, with a slower growth in time than predicted by earlier results.

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 manuscript claims to carry out a detailed analysis of oscillating integrals involving the Harish-Chandra c-function for semisimple noncompact Lie groups of real rank l ≥ 2. This analysis yields pointwise estimates for the kernel of the oscillating operator exp(it sqrt{|x|}) ψ(sqrt{|x|}) applied to the shifted Laplacian Δ + |ρ|^2 on the symmetric space S = G/K. The main results are polynomial decay in time for this kernel and for the associated L^p-L^q operator norms when 1 ≤ p < 2 < q ≤ ∞. For the distinguished Laplacian, the paper provides L^p-L^p norm bounds with a slower time growth than earlier predictions.

Significance. If the central estimates hold with the necessary error controls, the paper would offer significant progress in dispersive PDE on symmetric spaces of higher rank. The approach leverages classical Lie group theory and the explicit form of the c-function in rank ≥2 to obtain concrete polynomial decay rates, which is a strength for applications in geometric analysis. The work builds on standard tools but applies them to obtain new time-decay results for the wave propagator.

major comments (1)
  1. [Oscillating integrals analysis] The asymptotic analysis assumes that the Harish-Chandra c-function admits sufficiently explicit expansions for l ≥ 2, but the manuscript does not provide explicit uniform bounds on the remainder terms in these expansions. This is load-bearing for the central claim because the polynomial decay in t is obtained via integration by parts or stationary phase on the main term; if the remainder is not o(λ^{-k}) for k larger than the number of integrations by parts, the decay rate for the L^∞ kernel bound and L^p-L^q norms could be lost or reduced.
minor comments (2)
  1. [Abstract] The notation for the spectral variable as |x| should be clarified to avoid confusion with the spatial variable on the group.
  2. [Introduction] A brief comparison with previous results on rank 1 cases would help contextualize the novelty for l ≥ 2.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and valuable feedback on our manuscript. We appreciate the recognition of the potential significance of our results for dispersive PDE on symmetric spaces. Below, we address the major comment point by point.

read point-by-point responses

  1. Referee: [Oscillating integrals analysis] The asymptotic analysis assumes that the Harish-Chandra c-function admits sufficiently explicit expansions for l ≥ 2, but the manuscript does not provide explicit uniform bounds on the remainder terms in these expansions. This is load-bearing for the central claim because the polynomial decay in t is obtained via integration by parts or stationary phase on the main term; if the remainder is not o(λ^{-k}) for k larger than the number of integrations by parts, the decay rate for the L^∞ kernel bound and L^p-L^q norms could be lost or reduced.

    Authors: We agree with the referee that explicit control on the remainder terms is crucial for justifying the decay rates. In our analysis, the asymptotic expansion of the Harish-Chandra c-function for rank l ≥ 2 is based on the standard recursive or product formulas available in the literature for semisimple Lie groups. However, to make the error estimates transparent, we will include in the revised version a detailed statement of the remainder bounds. Specifically, we will add that the c-function admits an expansion c(λ) = c_0(λ) + R_N(λ), where |R_N(λ)| ≤ C_N (1 + |λ|)^{-N} for any N, uniformly for λ in the relevant spectral regions, with constants depending on the group but independent of λ. This follows from the meromorphic continuation and growth properties of the c-function. With this, the contribution of the remainder to the oscillating integral can be shown to be O(t^{-M}) for any M by choosing N large enough, thus not affecting the polynomial decay obtained from the main term via stationary phase or integration by parts. revision: yes

Circularity Check

0 steps flagged

No significant circularity: derivation uses external classical properties of the c-function

full rationale

The paper conducts asymptotic analysis of oscillating integrals by invoking the known explicit expansions of the Harish-Chandra c-function for real rank l ≥ 2 as a structural input from Lie theory. Pointwise kernel estimates and polynomial time decay for the operator exp(it √|x|) ψ(√|x|) applied to the shifted Laplacian are then derived via standard integration-by-parts and stationary-phase methods on these integrals. No step reduces the claimed decay rates to a fitted parameter, self-definition, or load-bearing self-citation; the target results are not presupposed by the setup or normalization. The derivation remains self-contained against external benchmarks from symmetric space analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the established theory of semisimple Lie groups, the Harish-Chandra c-function, and the geometry of noncompact symmetric spaces; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Standard properties of the Harish-Chandra c-function and the Laplace-Beltrami operator on G/K for semisimple noncompact G with finite center.
    Invoked throughout the analysis of oscillating integrals and kernel estimates.

pith-pipeline@v0.9.0 · 5711 in / 1318 out tokens · 72832 ms · 2026-05-22T18:31:08.335561+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.