Monotonicity of discrete spectra of Dirichlet Laplacian in 3-dimensional layers

Fedor Bakharev; Sergey Matveenko

arxiv: 2508.12696 · v3 · pith:XBGHG3AEnew · submitted 2025-08-18 · 🧮 math.SP · math.AP

Monotonicity of discrete spectra of Dirichlet Laplacian in 3-dimensional layers

Fedor Bakharev , Sergey Matveenko This is my paper

Pith reviewed 2026-05-21 23:42 UTC · model grok-4.3

classification 🧮 math.SP math.AP MSC 35P15

keywords Dirichlet Laplacianpolyhedral layersmonotonicitydiscrete spectrumessential spectrum3D waveguidesfixed width

0 comments

The pith

Eigenvalues below the essential spectrum in fixed-width polyhedral layers depend monotonically on the defining geometric angles.

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

The paper proves that discrete eigenvalues of the Dirichlet Laplacian in three-dimensional polyhedral layers of fixed width vary monotonically when geometric parameters such as opening or dihedral angles are adjusted. This extends earlier monotonicity results known for planar V-shaped waveguides and conical layers. A sympathetic reader would care because the result gives a direct way to anticipate how the spectrum responds to shape changes without recomputing the full eigenvalue problem. The authors also exhibit non-monotonic behavior under asymmetric perturbations and supply an explicit example in which unfolding the layer produces new discrete eigenvalues. Limits of the eigenvalues as the parameters approach critical configurations are analyzed in detail.

Core claim

Eigenvalues below the essential spectrum threshold monotonically depend on geometric parameters defining the polyhedral layer. Non-monotone spectral behavior arises from asymmetric geometric perturbations, with an explicit example where unfolding the polyhedral layer leads to the emergence of discrete eigenvalues. The limiting behavior of eigenvalues as the geometric parameters approach critical configurations is also rigorously analyzed.

What carries the argument

The Dirichlet Laplacian on a polyhedral layer of strictly fixed width, with monotonicity obtained by comparing quadratic forms under variations of the dihedral angles.

If this is right

Symmetric angle adjustments produce predictable monotonic shifts in all discrete eigenvalues.
Asymmetric perturbations can create or destroy discrete eigenvalues in a non-monotonic manner.
When parameters approach critical flat configurations, discrete eigenvalues approach the bottom of the essential spectrum.
The fixed-width condition is essential for the comparison arguments that establish monotonicity.

Where Pith is reading between the lines

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

The same monotonicity may hold for layers whose boundaries are piecewise smooth but still preserve constant width.
Finite-element computations on explicit polyhedra could quantify the rate at which eigenvalues change with angle.
These comparison techniques might adapt to bound-state problems in other constant-width structures in quantum mechanics.

Load-bearing premise

The layer maintains a strictly constant width while the only changes are in the angles between its flat faces.

What would settle it

A concrete numerical example of a symmetric angle increase in a fixed-width polyhedral layer that causes a discrete eigenvalue to move upward rather than downward relative to the essential spectrum threshold.

Figures

Figures reproduced from arXiv: 2508.12696 by Fedor Bakharev, Sergey Matveenko.

**Figure 1.** Figure 1: The V-shaped waveguide Ωα (dark gray) overlaps the Vshaped waveguide Ωβ (light gray) and the straight strip Ωπ/2. Lemma 1. Let a be a closed lower semi-bounded sesquilinear form in a Hilbert space H with domain D(a) and let this form generate a self-adjoint operator A. Suppose that for some M 6 ∞ the spectrum of A below M is discrete. If there exist linearly independent functions v1, v2, . . . , vk ∈ D(a)… view at source ↗

**Figure 2.** Figure 2: Conical layer with vertex angle 2θ The following claim is standard and follows from separation of variables (Fourier transform in longitudinal variable) [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗

**Figure 3.** Figure 3: Layer built on regular tetrahedral angle on the left and an element ̟θ 4,2 of the partition on the right (angles marked by double arcs are equal to α/2) The polyhedral layer of unit width is defined by the formula Π = {x ∈ Υ ′ : dist(x, Γ ′ ) ∈ (0, 1)}. An example of a layer constructed from the quadrihedral angle is represented in [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗

**Figure 4.** Figure 4: A layer constructed from a trihedral angle with two right vertex angles and a small third vertex angle Thus, despite structural similarities among layers constructed from trihedral angles, the discrete spectrum may not always appear. This observation is formalized by the following theorem. Theorem 4. Let Π be a layer constructed from a trihedral angle with two right vertex angles at the vertex O′ (see Fig.… view at source ↗

read the original abstract

We investigate monotonicity properties of eigenvalues of the Dirichlet Laplacian in polyhedral layers of fixed width. We establish that eigenvalues below the essential spectrum threshold monotonically depend on geometric parameters defining the polyhedral layer, generalizing previous results known for planar V-shaped waveguides and conical layers. Moreover, we demonstrate non-monotone spectral behavior arising from asymmetric geometric perturbations, providing an explicit example where unfolding the polyhedral layer unexpectedly leads to the emergence of discrete eigenvalues. The limiting behavior of eigenvalues as the geometric parameters approach critical configurations is also rigorously analyzed.

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.

Desk Editor's Note private letter to a colleague

The paper proves monotonicity of discrete eigenvalues on dihedral angles for fixed-width 3D polyhedral layers and gives an explicit asymmetric case where the dependence fails.

read the letter

The main takeaway is that eigenvalues below the essential spectrum in fixed-width polyhedral layers depend monotonically on the opening angles when the perturbations stay symmetric, but the authors construct an explicit asymmetric unfolding that creates new discrete eigenvalues instead of removing them. They also track the limits as the angles approach critical values where the discrete spectrum may disappear or appear. This organizes the spectral behavior in a class of 3D domains that show up in waveguide models. The work generalizes the known 2D V-shaped and conical results by extending the variational comparisons to polyhedral layers with several flat faces. The explicit non-monotonic example is concrete and useful because it shows where naive monotonicity expectations break. The limiting analysis adds a clean endpoint to the picture. The arguments rest on standard domain-monotonicity techniques once the essential-spectrum threshold is fixed by the constant width, and nothing in the abstract suggests circularity or hidden fitting. The soft spots are limited. One would want to see the precise treatment of edge regularity where the faces meet and any approximation details in the variational arguments, but the setup with flat faces and fixed width looks consistent with the claims. No load-bearing gaps jump out from the description. This paper is for people working on spectral problems in unbounded domains and layers. A reader who needs concrete statements about how geometry controls bound states below the continuum would find the monotonicity theorems and the counterexample directly usable. It shows clear engagement with the existing literature on similar domains. I would send it to peer review. The results are specific, the constructions are explicit, and the central claims are grounded enough to deserve referee time.

Referee Report

2 major / 2 minor

Summary. The manuscript investigates monotonicity properties of the discrete spectrum of the Dirichlet Laplacian on 3D polyhedral layers of fixed width. It proves that eigenvalues below the essential spectrum threshold depend monotonically on geometric parameters such as opening and dihedral angles, generalizing known 2D and axisymmetric results. The paper also constructs an explicit example of non-monotonic behavior under asymmetric perturbations, showing that unfolding a polyhedral layer can produce discrete eigenvalues, and analyzes the limiting behavior of eigenvalues as parameters approach critical configurations.

Significance. If the variational arguments and domain-monotonicity comparisons hold, the results extend classical monotonicity theorems for waveguides to a genuinely three-dimensional polyhedral setting while clarifying the role of symmetry. The explicit counterexample for asymmetric perturbations is a useful addition, as it identifies a concrete mechanism by which monotonicity can fail. The limiting analysis supplies additional information on the behavior near the threshold of essential spectrum.

major comments (2)

[§3] §3, Theorem 3.2: the monotonicity statement is proved via a variational comparison that maps trial functions from one layer to another; however, the argument requires that the essential-spectrum threshold remains independent of the dihedral angle. The manuscript should explicitly verify this independence for the polyhedral case (cf. the 2D reference cited in §1) rather than invoking it as a direct consequence of the fixed-width condition.
[§4] §4, Example 4.1: the asymmetric perturbation that produces discrete eigenvalues upon unfolding is described geometrically, but the numerical or variational evidence confirming the appearance of a discrete eigenvalue below the threshold is only sketched. A short table or explicit lower bound on the Rayleigh quotient for the perturbed domain would strengthen the claim that the eigenvalue emerges precisely because of the asymmetry.

minor comments (2)

[§2] Notation for the polyhedral layer (Definition 2.1) uses the same symbol for both the opening angle and the dihedral angle in different subsections; a uniform subscript or superscript would improve readability.
The reference list omits the recent work on conical layers in 3D that is mentioned in the introduction; adding the citation would place the generalization in clearer context.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We respond to each major comment below and indicate the revisions planned for the next version.

read point-by-point responses

Referee: §3, Theorem 3.2: the monotonicity statement is proved via a variational comparison that maps trial functions from one layer to another; however, the argument requires that the essential-spectrum threshold remains independent of the dihedral angle. The manuscript should explicitly verify this independence for the polyhedral case (cf. the 2D reference cited in §1) rather than invoking it as a direct consequence of the fixed-width condition.

Authors: We agree that an explicit verification improves clarity. In the revised manuscript we will insert a short paragraph immediately after the statement of Theorem 3.2. The argument will compare the Rayleigh quotient on the polyhedral layer with that on the infinite straight layer of identical width; because the cross-section perpendicular to the axis is unchanged by the dihedral angle, the bottom of the essential spectrum coincides with the first eigenvalue of the two-dimensional Dirichlet Laplacian on the cross-section and is therefore independent of the angle. This mirrors the reasoning used in the 2D reference cited in §1. revision: yes
Referee: §4, Example 4.1: the asymmetric perturbation that produces discrete eigenvalues upon unfolding is described geometrically, but the numerical or variational evidence confirming the appearance of a discrete eigenvalue below the threshold is only sketched. A short table or explicit lower bound on the Rayleigh quotient for the perturbed domain would strengthen the claim that the eigenvalue emerges precisely because of the asymmetry.

Authors: We appreciate the suggestion. In the revised version we will add an explicit variational test: we construct a compactly supported trial function that is positive inside the asymmetrically perturbed region and vanishes on the boundary, then compute its Rayleigh quotient directly. The resulting upper bound lies strictly below the essential-spectrum threshold, confirming that the discrete eigenvalue appears precisely because of the asymmetry. This keeps the example fully analytical while supplying the requested concrete evidence. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent variational arguments

full rationale

The paper establishes monotonicity of discrete eigenvalues for fixed-width polyhedral layers via new variational comparisons and domain monotonicity arguments that generalize prior 2D and axisymmetric cases. The essential spectrum threshold is shown independent of the angle parameters, allowing the monotonicity to follow from standard comparison principles without any reduction to fitted parameters, self-definitional constructions, or load-bearing self-citations. The abstract and described structure exhibit no instance where a claimed result is equivalent to its inputs by construction; the non-monotonicity example under asymmetric perturbations further confirms the analysis is not tautological. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard properties of the Dirichlet Laplacian on unbounded domains and variational characterization of eigenvalues; no free parameters or invented entities are introduced.

axioms (2)

standard math The Dirichlet Laplacian on the layer domain is self-adjoint and bounded below with essential spectrum starting at a positive threshold determined by the transverse problem.
Invoked to separate discrete eigenvalues from the essential spectrum.
domain assumption Domain monotonicity holds for the quadratic form of the Laplacian under inclusion of domains with fixed width.
Central to the monotonicity proofs.

pith-pipeline@v0.9.0 · 5606 in / 1372 out tokens · 33232 ms · 2026-05-21T23:42:05.602842+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We establish that eigenvalues below the essential spectrum threshold monotonically depend on geometric parameters defining the polyhedral layer, generalizing previous results known for planar V-shaped waveguides and conical layers.

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

18 extracted references · 18 canonical work pages

[1]

A vishai Y., Bessis D., Giraud B.G., Mantica G., Quantum bound states in open geometries , Phys. Rev. B. 44 (1991), 8028–8034

work page 1991
[2]

and Matveenko, S., Fractional Laplacian in V-shaped waveguide , Mathematische Nachrichten, 298(2), (2025), pp.427-436

Bakharev, F. and Matveenko, S., Fractional Laplacian in V-shaped waveguide , Mathematische Nachrichten, 298(2), (2025), pp.427-436

work page 2025
[3]

and Matveenko, S., Spectra of the Dirichlet Laplacian in 3-dimensional polyhed ral layers, St

Bakharev, F. and Matveenko, S., Spectra of the Dirichlet Laplacian in 3-dimensional polyhed ral layers, St. Petersburg Mathematical Journal, 35(4), (2024), 597-610

work page 2024
[4]

Bakharev F.L., Nazarov A.I., Existence of the discrete spectrum in the Fichera layers and cr osses of arbitrary dimension , Journal of Functional Analysis 281 (2021), 109071

work page 2021
[5]

Lan’, St

Birman M.S., Solomyak M.Z., Spectral theory of self-adjoint operators in Hilbert space , 2nd ed., revised and extended. Lan’, St. Petersburg, 2010 [in Russia n]; English transl. of the 1st ed.: Mathematics and Its Applic. Soviet Series. 5, Kluwer, Dordrecht etc. 1987

work page 2010
[6]

Carini J.P., Londergan J.T., Mullen K., Murdock D.P., Multiple bound states in sharply bent waveguides, Physical Review B, 48(7), (1993), 4503

work page 1993
[7]

Carron G., Exner P., Krejˇ ciˇ r ´ ık D.,Topologically nontrivial quantum layers , Journal of Mathe- matical Physics 45 (2004), 774–784

work page 2004
[8]

Dauge M., Lafranche Y., Ourmi` eres-Bonafos T., Dirichlet Spectrum of the Fichera Layer , Integr. Equ. Oper. Theory. 90 (2018), 60

work page 2018
[9]

35 (2012), 14–45

Dauge M., Lafranche Y., Raymond N., Quantum waveguides with corners , ESAIM: Proc. 35 (2012), 14–45

work page 2012
[10]

Dauge M., Ourmi` eres-Bonafos T., Raymond N., Spectral asymptotics of the Dirichlet Laplacian in a conical layer , Communications on Pure and Applied Analysis 14 (2015), 1239–1258

work page 2015
[11]

Dauge M., Raymond N., Plane waveguides with corners in the small angle limit , Journal of Mathematical Physics 53 (2012), 123529

work page 2012
[12]

Duclos P., Exner P., Krejˇ cˇ r ` ık D.,Bound States in Curved Quantum Layers , Commun. Math. Phys. 223 (2001), 13–28. 12 BAKHAREV F. L. AND MATVEENKO S. G

work page 2001
[13]

Exner P., Kovaˇ r ` ık H., Quantum Waveguides , Springer International Publishing: Imprint: Springer, Cham (2015)

work page 2015
[14]

Exner P., ˇSeba P., ˇSt` oviˇ cek P.,On existence of a bound state in an L-shaped waveguide, Czech. J. Phys. 39 (1989), 1181–1191

work page 1989
[15]

Exner P., Tater M., Spectrum of Dirichlet Laplacian in a conical layer , J. Phys. A: Math. Theor. 43 (2010), 474023

work page 2010
[16]

Lin C., Lu Z., Existence of bound states for layers built over hypersurfaces i n Rn+1, Journal of Functional Analysis 244 (2007), 1–25

work page 2007
[17]

Nazarov S.A., Shanin A.V., Trapped modes in angular joints of 2D waveguides , Applicable Analysis 93 (2014), 572–582

work page 2014
[18]

Email address : fbakharev@yandex.ru Email address : matveis239@gmail.com

Pankrashkin K., Eigenvalue inequalities and absence of threshold resonanc es for waveguide junc- tions, Journal of Mathematical Analysis and Applications 449 (2017), 907–925. Email address : fbakharev@yandex.ru Email address : matveis239@gmail.com

work page 2017

[1] [1]

A vishai Y., Bessis D., Giraud B.G., Mantica G., Quantum bound states in open geometries , Phys. Rev. B. 44 (1991), 8028–8034

work page 1991

[2] [2]

and Matveenko, S., Fractional Laplacian in V-shaped waveguide , Mathematische Nachrichten, 298(2), (2025), pp.427-436

Bakharev, F. and Matveenko, S., Fractional Laplacian in V-shaped waveguide , Mathematische Nachrichten, 298(2), (2025), pp.427-436

work page 2025

[3] [3]

and Matveenko, S., Spectra of the Dirichlet Laplacian in 3-dimensional polyhed ral layers, St

Bakharev, F. and Matveenko, S., Spectra of the Dirichlet Laplacian in 3-dimensional polyhed ral layers, St. Petersburg Mathematical Journal, 35(4), (2024), 597-610

work page 2024

[4] [4]

Bakharev F.L., Nazarov A.I., Existence of the discrete spectrum in the Fichera layers and cr osses of arbitrary dimension , Journal of Functional Analysis 281 (2021), 109071

work page 2021

[5] [5]

Lan’, St

Birman M.S., Solomyak M.Z., Spectral theory of self-adjoint operators in Hilbert space , 2nd ed., revised and extended. Lan’, St. Petersburg, 2010 [in Russia n]; English transl. of the 1st ed.: Mathematics and Its Applic. Soviet Series. 5, Kluwer, Dordrecht etc. 1987

work page 2010

[6] [6]

Carini J.P., Londergan J.T., Mullen K., Murdock D.P., Multiple bound states in sharply bent waveguides, Physical Review B, 48(7), (1993), 4503

work page 1993

[7] [7]

Carron G., Exner P., Krejˇ ciˇ r ´ ık D.,Topologically nontrivial quantum layers , Journal of Mathe- matical Physics 45 (2004), 774–784

work page 2004

[8] [8]

Dauge M., Lafranche Y., Ourmi` eres-Bonafos T., Dirichlet Spectrum of the Fichera Layer , Integr. Equ. Oper. Theory. 90 (2018), 60

work page 2018

[9] [9]

35 (2012), 14–45

Dauge M., Lafranche Y., Raymond N., Quantum waveguides with corners , ESAIM: Proc. 35 (2012), 14–45

work page 2012

[10] [10]

Dauge M., Ourmi` eres-Bonafos T., Raymond N., Spectral asymptotics of the Dirichlet Laplacian in a conical layer , Communications on Pure and Applied Analysis 14 (2015), 1239–1258

work page 2015

[11] [11]

Dauge M., Raymond N., Plane waveguides with corners in the small angle limit , Journal of Mathematical Physics 53 (2012), 123529

work page 2012

[12] [12]

Duclos P., Exner P., Krejˇ cˇ r ` ık D.,Bound States in Curved Quantum Layers , Commun. Math. Phys. 223 (2001), 13–28. 12 BAKHAREV F. L. AND MATVEENKO S. G

work page 2001

[13] [13]

Exner P., Kovaˇ r ` ık H., Quantum Waveguides , Springer International Publishing: Imprint: Springer, Cham (2015)

work page 2015

[14] [14]

Exner P., ˇSeba P., ˇSt` oviˇ cek P.,On existence of a bound state in an L-shaped waveguide, Czech. J. Phys. 39 (1989), 1181–1191

work page 1989

[15] [15]

Exner P., Tater M., Spectrum of Dirichlet Laplacian in a conical layer , J. Phys. A: Math. Theor. 43 (2010), 474023

work page 2010

[16] [16]

Lin C., Lu Z., Existence of bound states for layers built over hypersurfaces i n Rn+1, Journal of Functional Analysis 244 (2007), 1–25

work page 2007

[17] [17]

Nazarov S.A., Shanin A.V., Trapped modes in angular joints of 2D waveguides , Applicable Analysis 93 (2014), 572–582

work page 2014

[18] [18]

Email address : fbakharev@yandex.ru Email address : matveis239@gmail.com

Pankrashkin K., Eigenvalue inequalities and absence of threshold resonanc es for waveguide junc- tions, Journal of Mathematical Analysis and Applications 449 (2017), 907–925. Email address : fbakharev@yandex.ru Email address : matveis239@gmail.com

work page 2017