Dirichlet--Neumann bracketing for nonlocal operators
Abstract
We establish Dirichlet--Neumann bracketing for the Dirichlet eigenvalues of ψ(−Δ) on bounded Lipschitz domains, where ψ is an arbitrary complete Bernstein function. The eigenvalues lie between ψ applied to the corresponding Neumann and Dirichlet eigenvalues of the Laplacian. Both inequalities are strict whenever ψ admits no meromorphic continuation to ℂ ∖ {0}. The proof uses quadratic forms, operator monotonicity, and an analysis of equality in resolvent comparisons. Applying the bracketing to intervals and balls gives a unified proof of simplicity of interval eigenvalues and antisymmetry of second eigenfunctions in balls under the same condition on ψ. For fractional powers, these recover results of Fall, Ghimenti, Micheletti and Pistoia for the interval, and of Fall, Feulefack, Temgoua and Weth and, independently, Benedikt, Bobkov, Dhara and Girg for the ball. The argument extends these conclusions to a broader class of nonlocal operators.
Related
- Quantitative approximation theorem of neural operators for the Dirichlet-to-Neumann map
- Carleman estimates for a nonconservative Timoshenko beam involving Dirichlet-Neumann boundary conditions and application to exact controllability
- Neumann--Dirichlet eigenvalue comparison at the first Dirichlet threshold in the plane
- Uniqueness results for the exterior Dirichlet and Neumann problem in two dimensions for the Euler-Lagrange equations of variational integrals with linear growth
- Inequalities between Dirichlet and Neumann eigenvalues in large dimensions
BibTeX
@misc{kwasnicki2026dirichletneumann,
title = {{Dirichlet--Neumann bracketing for nonlocal operators}},
author = {Mateusz Kwaśnicki and Jacek Wszoła},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.24892},
eprint = {2609.24892},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.24892},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Dirichlet--Neumann bracketing for nonlocal operators
AU - Mateusz Kwaśnicki
AU - Jacek Wszoła
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.24892
UR - https://arxiv.org/abs/2609.24892
AB - We establish Dirichlet--Neumann bracketing for the Dirichlet eigenvalues of ψ(−Δ) on bounded Lipschitz domains, where ψ is an arbitrary complete Bernstein function. The eigenvalues lie between ψ applied to the corresponding Neumann and Dirichlet eigenvalues of the Laplacian. Both inequalities are strict whenever ψ admits no meromorphic continuation to ℂ ∖ {0}. The proof uses quadratic forms, operator monotonicity, and an analysis of equality in resolvent comparisons. Applying the bracketing to intervals and balls gives a unified proof of simplicity of interval eigenvalues and antisymmetry of second eigenfunctions in balls under the same condition on ψ. For fractional powers, these recover results of Fall, Ghimenti, Micheletti and Pistoia for the interval, and of Fall, Feulefack, Temgoua and Weth and, independently, Benedikt, Bobkov, Dhara and Girg for the ball. The argument extends these conclusions to a broader class of nonlocal operators.
ER -