Essential spectrum for the p-Laplacian
Pith reviewed 2026-05-21 06:35 UTC · model grok-4.3
The pith
The bottom of the essential spectrum for the Dirichlet p-Laplacian equals the sharp Poincaré constant at infinity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce a variational notion of essential spectrum for the Dirichlet p-Laplacian. This allows us to extend Persson's theorem, showing that the bottom of the essential spectrum is equal to the limit as R goes to infinity of the infimum of the Rayleigh quotient over test functions vanishing inside the ball of radius R. This limit is precisely the sharp L^p Poincaré constant at infinity. For p=2 the construction coincides with the classical one, and on a rectilinear strip the spectrum is purely essential.
What carries the argument
The variational essential spectrum defined through the Rayleigh quotient on functions with support escaping to infinity, which extends the classical Persson characterization to the p-Laplacian.
If this is right
- The bottom of the essential spectrum depends only on the geometry of the domain at large distances.
- For any p greater than 1 the essential spectrum starts at the same value as the infimum of the spectrum on the domain truncated far away.
- The spectrum on a rectilinear strip consists only of essential spectrum with no embedded eigenvalues.
- The proofs rely on elementary variational arguments that work uniformly for all p.
Where Pith is reading between the lines
- This variational approach could be applied to other nonlinear eigenvalue problems to locate their essential spectra.
- Local perturbations of the domain far from infinity should leave the essential spectrum unchanged.
- The constant at infinity might help detect gaps or the absence of discrete eigenvalues in more complex unbounded domains.
Load-bearing premise
The variational formulation on unbounded domains admits a well-defined notion of behavior at infinity that correctly captures the essential spectrum.
What would settle it
A domain where the limit of the infimum of the Rayleigh quotient outside large balls differs from the bottom of the essential spectrum computed via other means, such as Weyl sequences when p equals 2.
read the original abstract
We introduce a variational notion of essential spectrum for the Dirichlet $p-$Laplacian. We then extend the classical Persson Theorem to this nonlinear setting. This result provides a geometric characterization of the bottom of the essential spectrum, in terms of the sharp $L^p$ Poincar\'e constant ``at infinity''. We also show that in the case $p=2$ our construction of the essential spectrum is perfectly consistent with the classical theory. Finally, as an example, we compute the full spectrum of the Dirichlet $p-$Laplacian on a rectilinear strip: it is purely essential, with no embedded eigenvalues. The arguments of the proofs are elementary and new already for the linear case $p=2$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a variational notion of essential spectrum for the Dirichlet p-Laplacian on unbounded domains. It extends the classical Persson theorem to this nonlinear setting, yielding a geometric characterization of the bottom of the essential spectrum in terms of the sharp L^p Poincaré constant at infinity. The construction is shown to be consistent with the classical linear theory when p=2, and the full spectrum is computed explicitly on a rectilinear strip, where it is purely essential with no embedded eigenvalues. The proofs are presented as elementary.
Significance. If the central results hold, the work supplies a useful variational extension of essential-spectrum theory to the p-Laplacian, with a concrete geometric characterization that may aid analysis of nonlinear problems on non-compact domains. The explicit verification for p=2 and the rectilinear-strip example provide direct support for the framework. The elementary character of the arguments, even in the linear case, is a notable strength.
minor comments (2)
- The abstract states that the arguments are 'elementary and new already for the linear case p=2'; a short paragraph in the introduction comparing the new variational approach with classical proofs of Persson's theorem would help readers appreciate the novelty.
- In the rectilinear-strip example, the computation of the sharp L^p Poincaré constant at infinity is presented as direct verification; adding an explicit formula or a brief derivation of this constant would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive and constructive report, including the recommendation for minor revision. We appreciate the recognition of the variational extension of Persson's theorem to the p-Laplacian and the consistency checks provided in the manuscript.
Circularity Check
No significant circularity detected
full rationale
The paper introduces a new variational notion of essential spectrum for the Dirichlet p-Laplacian and extends the classical Persson theorem to characterize its bottom via the sharp L^p Poincaré constant at infinity. The abstract explicitly states consistency with the linear case p=2 and that the arguments are elementary and new even for p=2. No load-bearing derivation step reduces by construction to a fitted input, self-citation chain, or definitional equivalence; the geometric characterization and the rectilinear strip example function as independent verification rather than tautological renaming. The construction is presented as self-contained against external benchmarks from classical linear theory.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard variational formulation and Sobolev-space properties of the Dirichlet p-Laplacian on unbounded domains
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We define the variational essential spectrum ... as the set of λ admitting singular constrained Palais-Smale sequences at level λ (Definition 1.6). Main Theorem: Ep(Ω) = inf Sess,p(Ω).
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Proof constructs sequence via Vn repulsive + εn confining potentials and obtains almost-critical points at Ep(Ω).
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.
Reference graph
Works this paper leans on
-
[1]
Anane, Simplicit´ e et isolation de la premi` ere valeur propre dup−laplacien avec poids, C
A. Anane, Simplicit´ e et isolation de la premi` ere valeur propre dup−laplacien avec poids, C. R. Acad. Sci. Paris S´ er. I Math.,305(1987), 725–728. 3
work page 1987
-
[2]
C. J. Amick, J. F. Toland, Nonlinear elliptic eigenvalue problems on an infinite strip – global theory of bifur- cation and asymptotic bifurcation, Math. Ann.,262(1983), 313–342. 30
work page 1983
-
[3]
F. Bianchi, L. Brasco, R. Ognibene, On the spectrum of sets made of cores and tubes, J. Convex Anal.,31 2024, 315–358. 7, 27
work page 2024
-
[4]
M. Sh. Birman, M. Z. Solomjak,Spectral theory of selfadjoint operators in Hilbert space.Translated from the 1980 Russian original by S. Khrushchev and V. Peller. Mathematics and its Applications (Soviet Series). D. Reidel Publishing Co., Dordrecht, 1987. 2, 5
work page 1980
-
[5]
V. Bobkov, Non-Ljusternik–Schnirelman eigenvalues of the purep−Laplacian exist, preprint (2026), https://arxiv.org/abs/2604.011388, 19, 28
-
[6]
J. L. Bona, D. K. Bose, R. E. L. Turner, Finite-amplitude steady waves in stratified fluids, J. Math. Pures Appl. (9),62(1983), 389–439. 30
work page 1983
-
[7]
Brasco,Handbook of Calculus of Variations for absolute beginners.Unitext,163, La Mat
L. Brasco,Handbook of Calculus of Variations for absolute beginners.Unitext,163, La Mat. per il 3+2, Springer, Cham, 2025. 8, 11, 20
work page 2025
-
[8]
Brasco, On principal frequencies and isoperimetric ratios in convex sets, Ann
L. Brasco, On principal frequencies and isoperimetric ratios in convex sets, Ann. Fac. Sci. Toulouse Math. (6), 29(2020), 977–1005. 19
work page 2020
- [9]
- [10]
- [11]
- [12]
-
[13]
E. DiBenedetto,C 1+α local regularity of weak solutions of degenerate elliptic equations, Nonlinear Anal.,7 (1983), 827–850. 19
work page 1983
-
[14]
M. J. Esteban, P.-L. Lions, Existence and nonexistence results for semilinear elliptic problems in unbounded domains, Proc. Roy. Soc. Edinburgh Sect. A,93(1982/83), 1–14. 7, 22
work page 1982
-
[15]
G. Franzina,Existence, Uniqueness, Optimization and Stability for low Eigenvalues of some Nonlinear Oper- ators, PhD Thesis (2012), available athttps://cvgmt.sns.it/paper/2102/3
work page 2012
-
[16]
Friedlander, Asymptotic behavior of the eigenvalues of thep−Laplacian, Comm
L. Friedlander, Asymptotic behavior of the eigenvalues of thep−Laplacian, Comm. Partial Differential Equa- tions,14(1989), 1059–1069. 3
work page 1989
-
[17]
J. P. Garc´ ıa Azorero, I. Peral Alonso, Existence and nonuniqueness for thep−Laplacian: nonlinear eigenvalues, Comm. Partial Differential Equations,12(1987), 1389–1430. 3
work page 1987
- [18]
-
[19]
P. D. Hislop, I. M. Sigal,Introduction to spectral theory. With applications to Schr¨ odinger operators, Appl. Math. Sci.,113. Springer-Verlag, New York, 1996 2
work page 1996
-
[20]
O. Kavian, Introduction ` a la th´ eorie des points critiques et applications aux probl` emes elliptiques. (French) [Introduction to critical point theory and applications to elliptic problems] Math´ ematiques & Applications (Berlin) [Mathematics & Applications],13. Springer-Verlag, Paris, 1993. 26
work page 1993
-
[21]
H. Koch, D. Tataru, Carleman estimates and absence of embedded eigenvalues, Comm. Math. Phys.,267 (2006), 419–449. 7
work page 2006
-
[22]
E. H. Lieb, On the lowest eigenvalue of the Laplacian for the intersection of two domains, Invent. Math.,74 (1983), 441–448. 3
work page 1983
-
[23]
Lˆ e, Eigenvalue problems for thep−Laplacian, Nonlinear Anal.,64(2006), 1057–1099
A. Lˆ e, Eigenvalue problems for thep−Laplacian, Nonlinear Anal.,64(2006), 1057–1099. 3
work page 2006
-
[24]
Lindqvist, A nonlinear eigenvalue problem, inTopics in mathematical analysis, 175–203
P. Lindqvist, A nonlinear eigenvalue problem, inTopics in mathematical analysis, 175–203. Ser. Anal. Appl. Comput.,3. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2008. 3
work page 2008
-
[25]
Maz’ya,Sobolev spaces with applications to elliptic partial differential equations
V. Maz’ya,Sobolev spaces with applications to elliptic partial differential equations. Second, revised and aug- mented edition. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences],342. Springer, Heidelberg, 2011. 2
work page 2011
-
[26]
Persson, Bounds for the discrete part of the spectrum of a semi-bounded Schr¨ odinger operator, Math
A. Persson, Bounds for the discrete part of the spectrum of a semi-bounded Schr¨ odinger operator, Math. Scand.,8(1960), 143–153. 2, 6
work page 1960
-
[27]
Rellich, ¨Uber das asymptotische Verhalten der L¨ osungen von ∆u+λu= 0 in unendlichen Gebieten, Jber
F. Rellich, ¨Uber das asymptotische Verhalten der L¨ osungen von ∆u+λu= 0 in unendlichen Gebieten, Jber. Deutsch. Math.-Verein.,53(1943), 57–65. 7, 22
work page 1943
-
[28]
S. N. Roze, The spectrum of a second order elliptic operator, Mat. Sb.,80 (122)(1969), 195–209. 7
work page 1969
-
[29]
M. Struwe,Variational methods. Applications to nonlinear partial differential equations and Hamiltonian systems. Fourth edition. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics,34. Springer-Verlag, Berlin, 2008. 2
work page 2008
-
[30]
Szulkin, Ljusternik-Schnirelmann theory onC 1-manifolds, Ann
A. Szulkin, Ljusternik-Schnirelmann theory onC 1-manifolds, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire,5 (1988), 119–139. 3
work page 1988
-
[31]
Teschl,Mathematical methods in quantum mechanics
G. Teschl,Mathematical methods in quantum mechanics. With applications to Schr¨ odinger operators.Second edition. Graduate Studies in Mathematics,157. American Mathematical Society, Providence, RI, 2014. 2, 6
work page 2014
-
[32]
K. J. Witsch, Examples of embedded eigenvalues for the Dirichlet-Laplacian in domains with infinite boundaries, Math. Methods Appl. Sci.,12(1990), 177–182. 5, 7 (L. Brasco)Dipartimento di Matematica e Informatica Universit`a degli Studi di Ferrara Via Machiavelli 35, 44121 Ferrara, Italy Email address:lorenzo.brasco@unife.it (L. Briani)School of Computati...
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.