pith. sign in

arxiv: 2606.04951 · v1 · pith:GBS5NUKKnew · submitted 2026-06-03 · 🧮 math.AP · math.SP

Pleijel's theorem for a class of degenerate elliptic operators

Rupert L. Frank , Bernard Helffer This is my paper

Pith reviewed 2026-06-28 05:08 UTC · model grok-4.3

classification 🧮 math.AP math.SP
keywords nodal domainsPleijel's theoremdegenerate elliptic operatorsBaouendi-Grushin operatoreigenfunctionsasymptotic boundsDirichlet problem
0
0 comments X

The pith

Eigenfunctions of degenerate elliptic operators obey the same asymptotic upper bound on nodal domains as the Dirichlet Laplacian.

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

The paper establishes an asymptotic upper bound on the number of nodal domains for eigenfunctions of a class of degenerate elliptic operators that matches the constant from Pleijel's theorem for the standard Dirichlet Laplacian. This bound limits how many regions of constant sign an eigenfunction can have relative to its place in the eigenvalue ordering. The result applies to operators such as the Baouendi-Grushin operator and those whose ellipticity degenerates at the boundary. A reader would care because it shows the oscillation behavior remains controlled even when the operator coefficients vanish in places. The argument adapts the original nodal-domain counting method to these degenerate settings without requiring further restrictions on the degeneracy.

Core claim

For eigenfunctions of the considered degenerate elliptic operators, including the Baouendi-Grushin operator and boundary-degenerate cases, the number of nodal domains satisfies the same asymptotic upper bound as in Pleijel's theorem for the Dirichlet Laplacian, with the identical constant.

What carries the argument

Adaptation of the nodal-domain counting argument from Pleijel's theorem to the degenerate setting.

If this is right

  • The bound holds for the Baouendi-Grushin operator on its natural domains.
  • The bound holds for elliptic operators whose coefficients degenerate at the boundary.
  • The asymptotic growth rate of nodal domains remains no larger than in the nondegenerate case.
  • No additional restrictions on the strength of degeneracy are needed for the result.

Where Pith is reading between the lines

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

  • The result indicates that nodal-domain bounds can survive certain vanishing coefficients without modification.
  • Similar extensions might be checked for other degeneracies by direct computation in low dimensions.
  • The finding connects to questions of unique continuation and oscillation control for operators with singular coefficients.

Load-bearing premise

The specific form of degeneracy does not create extra nodal domains or break the asymptotic counting argument that works for the nondegenerate Laplacian.

What would settle it

Compute the number of nodal domains for a sequence of high-index eigenfunctions of the Baouendi-Grushin operator and check whether the ratio to the index exceeds the Pleijel constant in the large-index limit.

read the original abstract

We prove an asymptotic upper bound on the number of nodal domains of eigenfunctions of a class of degenerate elliptic operators. Our proof yields the same constant as in Pleijel's bound for the Dirichlet Laplacian. The operators considered include the Baouendi-Grushin operator and operators with ellipticity degenerating on the boundary.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript proves an asymptotic upper bound on the number of nodal domains of eigenfunctions for a class of degenerate elliptic operators (including Baouendi-Grushin operators and operators with boundary degeneracy), showing that the bound holds with the same constant as Pleijel's classical result for the Dirichlet Laplacian.

Significance. If the result holds, the work extends a foundational result in spectral geometry and nodal domain theory to degenerate settings that arise in subelliptic operators and boundary-value problems. Preservation of the exact Pleijel constant is a notable strength, indicating that the standard counting argument adapts without degradation of the asymptotic.

minor comments (3)
  1. [§2] The definition of the class of operators in §2 should include an explicit statement of the admissible range for the degeneracy parameter to make the hypotheses fully checkable.
  2. [§3] In the proof of the key inequality (around Eq. (3.4)), the passage from the non-degenerate case to the degenerate case is sketched rather than written out in full detail; expanding the comparison would improve readability.
  3. [§1] The statement of the main theorem (Theorem 1.1) would benefit from a parenthetical remark clarifying that the constant is identical to the one in Pleijel's original work.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. The referee's description accurately reflects the main contribution: an asymptotic upper bound on nodal domains for eigenfunctions of a class of degenerate elliptic operators, with the same constant as Pleijel's classical result.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper is a mathematical proof extending Pleijel's nodal-domain bound to a class of degenerate elliptic operators (Baouendi-Grushin and boundary-degenerate cases) while preserving the same asymptotic constant. The derivation chain relies on standard spectral-theoretic arguments such as domain monotonicity and Faber-Krahn-type inequalities adapted to the degenerate setting, without any reduction of predictions to fitted inputs, self-definitional loops, or load-bearing self-citations that collapse the central claim. The result is self-contained against external benchmarks (the classical Pleijel theorem) and does not rename known empirical patterns or smuggle ansatzes via citation. This is the normal honest outcome for a pure existence/proof paper in analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, axioms, or invented entities; the proof is presumed to rely on standard elliptic theory and nodal domain counting arguments from prior literature.

pith-pipeline@v0.9.1-grok · 5561 in / 1062 out tokens · 22050 ms · 2026-06-28T05:08:50.635039+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

56 extracted references · 4 canonical work pages · 1 internal anchor

  1. [1]

    Abatangelo, A

    L. Abatangelo, A. Ferrero and P. Luzzini. On solutions to a class of degenerate equations with the Grushin operator. J. Diff. Eq. 445 (2025), 113666

    2025

  2. [2]

    Alessandrini

    G. Alessandrini. On Courant’s nodal domain theorem. Forum Math. 10 (1998), 521–532

    1998

  3. [3]

    Aronszajn, A

    N. Aronszajn, A. Krzywicki and J. Szarski, A unique continuation theorem for exterior differen- tial forms on Riemannian manifolds. Ark. Mat. 4 (1962), 417–453

    1962

  4. [4]

    H. Bahouri. Non prolongement unique des solutions d’op´ erateurs ”somme de carr´ es”. Ann. Inst. Fourier 36 (1986), no. 4, 137–155

    1986

  5. [5]

    Banerjee and N

    A. Banerjee and N. Garofalo. A strong unique continuation for the Baouendi operator. Preprint (2026), arXiv:2602.09322

    work page arXiv 2026

  6. [6]

    Banerjee, N

    A. Banerjee, N. Garofalo and R. Manna. Carleman estimates for Baouendi-Grushin operators with applications to quantitative uniqueness and strong unique continuation. Appl. Anal. 101 (2022), no. 10, 3667–3688. 32 RUPERT L. FRANK AND BERNARD HELFFER

    2022

  7. [7]

    Baouendi

    M.S. Baouendi. Sur une classe d’op´ erateurs elliptiques d´ eg´ en´ er´ es. Th` ese d’´ etat. Universit´ e de Paris (Facult´ e des sciencs d’Orsay) (1967)

    1967

  8. [8]

    Baouendi

    M.S. Baouendi. Sur une classe d’op´ erateurs elliptiques d´ eg´ en´ er´ es. Bull. Soc. Math. France 95 (1967), 45–87

    1967

  9. [9]

    Baouendi and C

    M.S. Baouendi and C. Goulaouic. R´ egularit´ e et th´ eorie spectrale pour une classe d’op´ erateurs elliptiques d´ eg´ en´ er´ es. Arch. Rat. Mec. Anal. 34 (1969), 361–379

    1969

  10. [10]

    B´ erard and D

    P. B´ erard and D. Meyer. In´ egalit´ es isop´ erim´ etriques et applications. Annales scientifiques de l’´Ecole Normale Sup´ erieure, S´ erie 4, Tome 15 (1982), no. 3, 513–541

    1982

  11. [11]

    M. Sh. Birman and M. Z. Solomyak. Quantitative Analysis in Sobolev Imbedding Theorems and Applications to Spectral Theory. Amer. Math. Soc. Transl. Ser. 2, 114, American Mathematical Society, Providence, RI, 1980

    1980

  12. [12]

    M. Sh. Birman and M. Z. Solomyak. Spectral asymptotics of nonsmooth elliptic operators. I. Trans. Moscow Math. Soc. 27 (1972), 1–52

    1972

  13. [13]

    Bolley, J

    P. Bolley, J. Camus, and Pham The Lai. Noyau, r´ esolvante, et valeurs propres d’une classe d’op´ erateurs elliptiques et d´ eg´ en´ er´ es. Lecture Notes in Mathematics 660 (1977), 33–46

    1977

  14. [14]

    J.M. Bony. Principe du maximum, in´ egalit´ e de Harnack et unicit´ e du probl` eme de Cauchy pour des op´ erateurs elliptiques d´ eg´ en´ er´ es. Annales de l’institut Fourier 19 (1969), no. 1, 277–304

    1969

  15. [15]

    Bourgain

    J. Bourgain. On Pleijel’s nodal domain theorem. Int. Math. Res. Not. 2015, no. 6, 1601–1612

    2015

  16. [16]

    E. A. Carlen, R. L. Frank and S. Larson. A Jensen inequality for partial traces and applications to partially semiclassical limits. Lett. Math. Phys. 115 (2025), no. 3, Paper No. 52, 15 pp

    2025

  17. [17]

    Chemin and Chao-Jian Xu

    J-Y. Chemin and Chao-Jian Xu. Inclusions de Sobolev en calcul de Weyl-H¨ ormander et champs de vecteurs sous-elliptiques Annales scientifiques de l’E.N.S. 4e s´ erie, 30 (1997), no. 6, 719–751

    1997

  18. [18]

    Colin de Verdi` ere, L

    Y. Colin de Verdi` ere, L. Hillairet and E. Tr´ elat. Spectral asymptotics for sub-Riemannian Lapla- cians, I: Quantum ergodicity and quantum limits in the 3-dimensional contact case. Duke Math. Journal 167 (2018), no. 1, 109–174

    2018

  19. [19]

    Colin de Verdi` ere, L

    Y. Colin de Verdi` ere, L. Hillairet and E. Tr´ elat. Small-time asymptotics of hypoelliptic heat kernels near the diagonal, nilpotentization and related results. Annales Henri Lebesgue 4 (2021), 897–971

    2021

  20. [20]

    Colin de Verdi` ere, L

    Y. Colin de Verdi` ere, L. Hillairet and E. Tr´ elat. Spectral asymptotics for sub-Riemannian Lapla- cians. Preprint (2022), arXiv:2212.02920

    work page arXiv 2022

  21. [21]

    Weyl formulae for some singular metrics with application to acoustic modes in gas giants

    Y. Colin de Verdi` ere, C. Dietze, M. V. de Hoop and E. Tr´ elat. Weyl formulae for some singular metrics with application to acoustic modes in gas giants. Preprint (2024), arXiv:2406.19734

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  22. [22]

    R. Courant. Ein allgemeiner Satz zur Theorie der Eigenfunktionen selbstadjungierter Differen- tialausdr¨ ucke. G¨ ott. Nachr. (1923), 81–84

    1923

  23. [23]

    De Ponti, S

    N. De Ponti, S. Farinelli and I. Y. Violo. Pleijel nodal domain theorem in non-smooth setting. Trans. Amer. Math. Soc. Ser. B 11 (2024), 1138–1182

    2024

  24. [24]

    Eswarathasan and C

    S. Eswarathasan and C. Letrouit. Nodal sets of Eigenfunctions of sub-Laplacians. Internat. Math. Res. Notices (2023), no. 23, 20670–20700

    2023

  25. [25]

    Franchi and E

    B. Franchi and E. Lanconelli. H¨ older regularity theorem for a class of linear nonuniformly elliptic operators with measurable coefficients. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)10(1983), 523– 541

    1983

  26. [26]

    Franchi and E

    B. Franchi and E. Lanconelli. An embedding theorem for Sobolev spaces related to non smooth vector fields and Harnack inequality. Comm. Partial Differential Equations9(1984), no. 13, 1237–1264

    1984

  27. [27]

    Frank and B

    R. Frank and B. Helffer. On Courant and Pleijel theorems for sub-Riemannian Laplacians. J. ´Ecole Polytechnique 12 (2025), 1083–1160

    2025

  28. [28]

    Garofalo

    N. Garofalo. Unique continuation for a class of elliptic operators which degenerate on a manifold of arbitrary codimension. J. Differential Equations 104 (1993), no. 1, 117–146. PLEIJEL’S THEOREM FOR DEGENERATE ELLIPTIC OPERATORS 33

    1993

  29. [29]

    Giaquinta and L

    M. Giaquinta and L. Martinazzi. An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs. Appunti. Sc. Norm. Super. Pisa (N. S.), 11. Edizioni della Normale, Pisa, 2012

    2012

  30. [30]

    V.V. Gruˇsin. A certain class of hypoelliptic operators that are degenerate on a submanifold. Mat. Sbornik 84 (126) (1971) 163-195

    1971

  31. [31]

    Hassannezhad and D

    A. Hassannezhad and D. Sher. On Pleijel’s nodal domain theorem for the Robin problem. Bull. London Math. Soc. 56 (2024), no. 4, 1449–1467

    2024

  32. [32]

    Helffer, T

    B. Helffer, T. Hoffmann-Ostenhof, S. Terracini. Nodal domains and spectral minimal partitions. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 26 (2009), no. 1, 101–138

    2009

  33. [33]

    Helffer and M

    B. Helffer and M. Persson Sundqvist. On nodal domains in Euclidean balls. Proc. Amer. Math. Soc. 144 (2017), no. 11, 4777–4791

    2017

  34. [34]

    Laptev, T

    A. Laptev, T. Weidl, Sharp Lieb–Thirring inequalities in high dimensions. Acta Math. 184 (2000), no. 1, 87–111

    2000

  35. [35]

    C. L´ ena. Pleijel’s nodal domain theorem for Neumann and Robin eigenfunctions. Annales de l’Institut Fourier 69 (2019), no. 1, 283–301

    2019

  36. [36]

    Levendorskii

    S. Levendorskii. Degenerate elliptic equations. Math. Appl., 258. Kluwer Academic Publishers Group, Dordrecht, 1993

    1993

  37. [37]

    V. Maz’ya. Sobolev spaces with applications to elliptic partial differential equations. Second, revised and augmented edition. Grundlehren Math. Wiss., 342, Springer, Heidelberg, 2011

    2011

  38. [38]

    M´ etivier

    G. M´ etivier. Fonction spectrale et valeurs propres d’une classe d’op´ erateurs non elliptiques. Comm. in PDE 1 (1976), 467–519

    1976

  39. [39]

    M´ etivier

    G. M´ etivier. Comportement asymptotique des valeurs propres d’op´ erateurs elliptiques d´ eg´ en´ er´ es. Ast´ erisque 14-15 (1976) 215-249

    1976

  40. [40]

    C. Nordin. The asymptotic distribution of eigenvalues of a degenerate elliptic operator. Arkiv f¨ or Mat. 10 (1972) 3–21

    1972

  41. [41]

    Opic and A

    P. Opic and A. Kufner. Hardy–Type Inequalities. Pitman Research Notes in Mathematics Series, vol. 219, Longman Scientific & Technical, Harlow, 1990

    1990

  42. [42]

    A. Pleijel. Remarks on Courant’s nodal theorem. Comm. Pure. Appl. Math. 9 (1956), 543–550

    1956

  43. [43]

    Polterovich

    I. Polterovich. Pleijel’s nodal domain theorem for free membranes. Proc. Amer. Math. Soc. 137 (2009), no. 3, 1021–1024

    2009

  44. [44]

    Y. W. Qiu. A note on the Pleijel theorem for H-type groups. Preprint (2025), arXiv:2510.19381

    work page arXiv 2025

  45. [45]

    Robinson and A

    D. Robinson and A. Sikora. Analysis of degenerate elliptic operators of Gruˇ sin type. Math. Z.260 (2008), no. 3, 475–508

    2008

  46. [46]

    M. Rumin. Spectral density and Sobolev inequalities for pure and mixed states. Geom. Funct. Anal. 20 (2010), no. 3, 817–844

    2010

  47. [47]

    Silvestre Rosello

    I. Silvestre Rosello. Weak Courant theorems for hypoelliptic operators. In preparation

  48. [48]

    B. Simon. Nonclassical eigenvalue asymptotics. J. Funct. Anal. 53 (1983), no. 1, 84–98

    1983

  49. [49]

    B. Simon. Functional Integration and Quantum Physics, 2nd edn. AMS Chelsea Publishing, Providence (2005)

    2005

  50. [50]

    I. A. Solomeshch. Eigenvalues of some degenerate elliptic equations. Mat. Sb. 54 (1961), no. 3, 295–310

    1961

  51. [51]

    Steinerberger

    S. Steinerberger. A geometric uncertainty principle with an application to Pleijel’s estimate. Ann. Henri Poincar´ e 15 (2014), no. 12, 2299–2319

    2014

  52. [52]

    G. M. Tashchiyan. Distribution of the eigenvalues of an elliptic Dirichlet problem. (Russian). Proc. Sixth Drogobychsk. School-Sympos. Math. Programming and Related Questions, Sect. Functional Anal., 1974, 273–289. 34 RUPERT L. FRANK AND BERNARD HELFFER

    1974

  53. [53]

    M. I. Vishik. Boundary-value problems for elliptic equations degenerating on the boundary of a region. Mat. Sb. 35 (77) (1954), 513–568; English transl., Amer. Math. Soc. Transl. (2) 35 (1964), 15–78

    1954

  54. [54]

    I. L. Vulis and M. Z. Solomjak. Spectral asymptotics of degenerate elliptic operators. Soviet. Math. Dokl, vol 13, (1972), 1484-1488

    1972

  55. [55]

    I. L. Vulis and M. Z. Solomyak. Spectral asymptotics of second-order degenerate elliptic opera- tors. Mathematics of the USSR-Izvestiya 8 (1974), no. 6, 1343–1371

    1974

  56. [56]

    Watanabe

    K. Watanabe. Sur l’unicit´ e du prolongement des solutions des ´ equations elliptiques d´ eg´ en´ er´ ees. Tohoku Math. Journ. 34(1982), 239–249. (Rupert L. Frank)Mathematisches Institut, Ludwig-Maximilians Universit¨at M¨unchen, Theresienstr. 39, 80333 M¨unchen, Germany, and Munich Center for Quantum Science and Technology, Schellingstr. 4, 80799 M ¨unch...

    1982