Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.02701

Estimates for Ratios of Low-Order Eigenvalues of the Laplacian with Muckenhoupt Weights on Euclidean Domains

Jing Mao·He-Jun Sun·Lingzhong Zeng
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study low-order eigenvalue ratio estimates for the Laplacian with Muckenhoupt $A_2$ weights. For weights bounded above and below, we prove a universal upper bound for $λ_2/λ_1$ with constant $1 + \frac{4}{n}\,\frac{C}{c}$, linear in the ratio of the weight bounds, and recover the classical Payne-Pólya-Weinberger bound as a special case. For radial decreasing weights, we prove that the ball maximizes $λ_2/λ_1$ among domains of equal volume, assuming that an admissible radial test function exists (Definition 5.8) and that on the ball the second eigenvalue is attained by the $l=1$ mode. The argument adapts the method of Ashbaugh--Benguria to the weighted setting via a weighted Chiti comparison theorem and a monotonicity property of the admissible radial test function (Definition 5.8). Higher-order eigenvalue ratios are estimated in terms of the $(n-1)$-Hausdorff measure of the boundary, under an explicit balance condition on the weight at the covering scale. The generalized Payne-Pólya-Weinberger conjecture for eigenvalue sums remains open in general; conditional results are presented for restricted families of domains.

Explore related subjects

math.SPmath.DG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jing Mao, He-Jun Sun, Lingzhong Zeng. 2026-11-02. Estimates for Ratios of Low-Order Eigenvalues of the Laplacian with Muckenhoupt Weights on Euclidean Domains. https://arxiv.org/abs/2611.02701

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Spectral Theory and Continuum Norm Resolvent Convergence of a One-Sided Discrete Dirac-Type Operator

We investigate a one-dimensional discrete Dirac-type operator $D_d$ acting on the Hilbert space $\big(\ell^2(\mathbb{Z};\mathbb{C})\big)^2$, obtained from the classical continuous free Dirac operator by replacing the spatial derivative with the one-sided backward difference operator $I - S_1$, where $S_1$ denotes the right shift on $\ell^2(\mathbb{Z};\mathbb{C})$. We establish the fundamental operator-theoretic and spectral properties of $D_d$: unlike symmetric or supersymmetric lattice discretizations, $D_d$ is bounded and non-normal for every non-zero rest mass $m > 0$, with self-commutator $[D_d, D_d^†] = -2mc^3(-Δ_{\mathrm{disc}})σ_2$, yet it is quadratically normal. We compute the exact operator norm, determine the exact spectral radius in two mass regimes, and show via Fourier--Laurent analysis that the spectrum $σ(D_d)$ is purely continuous and lies on a two-component algebraic curve in the complex plane undergoing a topological transition at $mc^2 = 2c$. Finally, introducing a lattice spacing $h > 0$ and embedding $\big(\ell^2(h\mathbb{Z};\mathbb{C})\big)^2$ isometrically into $\big(L^2(\mathbb{R};\mathbb{C})\big)^2$ via Whittaker--Shannon band-limited interpolation, we prove that the scaled non-normal discrete Dirac-type operator $D_{d,h}$ converges to the continuous self-adjoint Dirac operator $D$ in the norm resolvent sense at the optimal rate $\mathcal{O}(h)$ as $h \to 0^+$, without requiring frequency cutoffs.

math.SP↗
arXiv2026

Schrodinger group along the horocycles and Egorov's theorem on compact hyperbolic surfaces

In this paper, we study Egorov's theorem for Laplacian eigenfunctions on compact hyperbolic surfaces in Zelditch's quantization. In this quantization, the remainder in Egorov's theorem for eigenfunctions is given explicitly by the second derivatives of the symbols along the weak stable foliation of the geodesic flow. Forward in time, we show that Egorov's theorem for eigenfunctions is valid to all logarithmic times, far beyond the Ehrenfest time T_E=|log h|/2, where h going to 0 is the semiclassical parameter. Backward in time, we introduce the Schrodinger group along the stable horocycles, which absorbs the exponentially growing part of the remainder. We show that Egorov's theorem for eigenfunctions is valid up to -T_E+T_h for any Th going to infinity with 0<=T_h<=T_E. Moreover, the limit of the remainder in Egorov's theorem at the Ehrenfest time -T_E is exactly the difference between the semiclassical measure and the Liouville measure, tested against the symbols propagated by the Schrodinger group. Consequently, Egorov's theorem for a sequence of eigenfunctions holds at -T_E (and in fact, at -T_E-T for any fixed T in R if and only if the sequence tends to be equidistributed in the phase space. Thus, the quantum unique ergodicity (QUE) conjecture is equivalent to this Egorov property holding for every eigenbasis. Furthermore, QUE holds with a polynomial rate if and only if Egorov's theorem holds at -T_E with a polynomial remainder. In this case, Egorov's theorem holds beyond -T_E with a polynomial remainder, and the stronger the rate is in QUE, the longer the time is in Egorov's theorem.

math.SP↗
arXiv2026

Edge spectral invariants and second-order Steklov asymptotics for the regular tetrahedron

We give a two-term Weyl asymptotic for the Steklov spectrum of a solid regular tetrahedron. Its linear coefficient is the total edge length times an explicit, absolutely convergent dihedral invariant. A trace-class difference of massive Neumann-to-Dirichlet operators computes the full invariant, including the continuous spectrum. The main analytic step is a fixed-time cumulative trace comparison between the compact tetrahedron and its exact half-space or dihedral models. Localized Hilbert-Schmidt defects have vanishing high-energy tails; retaining the time factor in Duhamel's formula makes this sufficient for an $o(L)$ cumulative error. A separate trace-class face comparison fixes the model's infinite exterior primitive and permits one observation time independent of the inner collar width. Compact-band Mourre estimates and a harmonic comparison establish immediate reflection/transmission support for incident face waves. Triangular unfolding gives null periodic and dead-end sets for the maximal branching relation. Actual edge-window bounds, adapted conical annuli and an ordered-limit Fourier-Tauberian argument then prove the sharp remainder. The proof treats guided and continuum channels together in the edge trace and requires neither a guided metric graph nor a lower-departure estimate uniform at zero tangential momentum.

math.SP↗