Table of Contents
Fetching ...

Weyl asymptotics for pseudodifferential operators in a discrete setting

Markus Klein, Enrico Reiss, Elke Rosenberger

TL;DR

This work establishes sharp Weyl asymptotics for a broad class of self-adjoint discrete pseudodifferential operators acting on the scaled lattice ℓ^2(εℤ^d). By identifying the relevant phase space as ℝ^d × 𝕋^d and constructing a semiclassical time-evolution parametrix that respects ξ-periodicity, the authors derive a leading Weyl term N([α,β];ε) ≈ (vol_T(a_0^{-1}([α,β])))/(2π ε)^d with an O(ε) remainder, and improve the remainder to a positive power when α and β are non-critical values of a_0. The analysis blends invertibility and functional calculus on the discrete setting, trace-class criteria, and a semiclassical Fourier integral operator framework to connect spectral counts with phase-space volumes via Liouville measure on level sets of the principal symbol. These results extend semiclassical Weyl theory to a broad class of difference operators on scaled lattices and provide technical tools applicable to metastability and spectral theory of Markov generators in high-dimensional discrete spaces. The methods, including a periodic-discrete Helffer–Sjöstrand calculus and a careful time-parametrix construction, offer a rigorous pathway to refined spectral asymptotics in discrete-geometry contexts with finite accessible phase space.

Abstract

We prove a sharp Weyl estimate for the number of eigenvalues belonging to a fixed interval of energy of a self-adjoint difference operator acting on $\ell^2(ε\mathbb{Z}^d)$ if the associated symplectic volume of phase space in ${\mathbb R}^d \times {\mathbb T}^d$ accessible for the Hamiltonian flow of the principal symbol is finite. Here $ε$ is a semiclassical parameter. Our proof depends crucially on the construction of a good semiclassical approximation for the time evolution induced by the self-adjoint operator on $\ell^2(ε\mathbb{Z}^d)$. This extends previous semiclassical results to a broad class of difference operators on a scaled lattice.

Weyl asymptotics for pseudodifferential operators in a discrete setting

TL;DR

This work establishes sharp Weyl asymptotics for a broad class of self-adjoint discrete pseudodifferential operators acting on the scaled lattice ℓ^2(εℤ^d). By identifying the relevant phase space as ℝ^d × 𝕋^d and constructing a semiclassical time-evolution parametrix that respects ξ-periodicity, the authors derive a leading Weyl term N([α,β];ε) ≈ (vol_T(a_0^{-1}([α,β])))/(2π ε)^d with an O(ε) remainder, and improve the remainder to a positive power when α and β are non-critical values of a_0. The analysis blends invertibility and functional calculus on the discrete setting, trace-class criteria, and a semiclassical Fourier integral operator framework to connect spectral counts with phase-space volumes via Liouville measure on level sets of the principal symbol. These results extend semiclassical Weyl theory to a broad class of difference operators on scaled lattices and provide technical tools applicable to metastability and spectral theory of Markov generators in high-dimensional discrete spaces. The methods, including a periodic-discrete Helffer–Sjöstrand calculus and a careful time-parametrix construction, offer a rigorous pathway to refined spectral asymptotics in discrete-geometry contexts with finite accessible phase space.

Abstract

We prove a sharp Weyl estimate for the number of eigenvalues belonging to a fixed interval of energy of a self-adjoint difference operator acting on if the associated symplectic volume of phase space in accessible for the Hamiltonian flow of the principal symbol is finite. Here is a semiclassical parameter. Our proof depends crucially on the construction of a good semiclassical approximation for the time evolution induced by the self-adjoint operator on . This extends previous semiclassical results to a broad class of difference operators on a scaled lattice.

Paper Structure

This paper contains 14 sections, 35 theorems, 284 equations.

Key Result

Theorem 1.2

Let the interval $J$, the order function $m$ and the symbol $a$ with leading order symbol $a_0$ satisfy Hypothesis hyp:WRef. Let $\alpha,\beta \in \mathbb{R}$ with $\alpha < \beta$ and $[\alpha,\beta] \subset J$. Suppose that $\alpha$ and $\beta$ are non-critical values of $a_0$. Denote by $\mathcal Here, for a measurable set $A \subset \mathbb{R}^d \times \mathbb{T}^d$, denotes the symplectic vo

Theorems & Definitions (64)

  • Theorem 1.2
  • Lemma 2.1
  • proof
  • Proposition 2.2
  • proof
  • Proposition 2.3
  • proof
  • Theorem 2.4
  • Remark 2.5
  • Theorem 2.6
  • ...and 54 more