zbMATH — the first resource for mathematics

On exact Pleijel’s constant for some domains. (English) Zbl 1401.35214
A classical theorem of Courant states that any eigenfunction \(\varphi_n\) associated with the \(n\)th eigenvalue \(\lambda_n\) of the Dirichlet Laplacian on a bounded domain \(\Omega \subset \mathbb{R}^N\), \(N\geq 2\), has at most \(n\) nodal domains (that is, connected components of the set \(\{x \in \Omega: \varphi_n (x) \neq 0 \}\)).
Denote by \(\mu(\varphi_n)\) the number of nodal domains of \(\varphi_n\). Then by another well-known theorem, this time due to Å. Pleijel [Commun. Pure Appl. Math. 9, 543–550 (1956; Zbl 0070.32604)], for any bounded domain \(\Omega\) and any choice of \(\varphi_n\), we have \[ Pl(\Omega):=\limsup_{n\to\infty} \frac{\mu(\varphi_n)}{n} < 1. \] This is in marked contrast to the one-dimensional case, where \(\mu(\varphi_n)=n\) for all \(n\geq 1\), by a classical theorem from Sturm-Liouville theory. Very little is known about \(Pl(\Omega)\) for \(\Omega\) in two or more dimensions; even the maximal possible value of \(Pl(\Omega)\), i.e., \(\sup_{\Omega} Pl(\Omega)\), is unknown, and the best known upper bounds are not optimal (see Remark 2.2 of I. Polterovich [Proc. Am. Math. Soc. 137, No. 3, 1021–1024 (2009; Zbl 1162.35005)] or S. Steinerberger [Ann. Henri Poincaré 15, No. 12, 2299–2319 (2014; Zbl 1319.35132)].
In the current paper, the author computes \(Pl(\Omega)\) explicitly for a number of domains; previously, \(Pl(\Omega)\) seems only to have been known for certain rectangles (see, e.g., Proposition 5.1 of B. Helffer and T. Hoffmann-Ostenhof [Contemp. Math. 640, 39–57 (2015; Zbl 1346.35132)]). Here, most notably, the value on the unit disk \(B\) in \(\mathbb{R}^2\) is computed via a fine analysis of Bessel functions and their zeros: \[ Pl(B) = 8\sup_{x>0} \left\{ x(\cos(\theta(x))^2\right\} \simeq 0.46, \] where \(\theta = \theta(x)\) is the unique solution of the transcendental equation \[ \tan \theta - \theta = \pi x \] in the interval \(\theta \in (0,\frac{\pi}{2})\). Other domains covered include circular sectors (under a simplicity assumption on the eigenvalues known to hold in many concrete cases), certain planar annuli, and \(N\)-dimensional hyperrectangles under an incommensurability assumption on the side lengths; the latter generalizes the known two-dimensional results.

35P05 General topics in linear spectral theory for PDEs
35P20 Asymptotic distributions of eigenvalues in context of PDEs
35B05 Oscillation, zeros of solutions, mean value theorems, etc. in context of PDEs
35J05 Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation
Full Text: DOI
[1] Aronovitch, A., Band, R., Fajman, D. & Gnutzmann, S. (2012). Nodal domains of a non-separable problem - the right-angled isosceles triangle. Journal of Physics A: Mathematical and Theoretical, 45(8), 085209. \href{http://dx.doi.org/10.1088/1751-8113/45/8/085209}{\nolinkurl{DOI:10.1088/1751-8113/45/8/085209}}; zbl 1248.35131; MR2897017; arXiv:\href{https://arxiv.org/abs/1110.1521}{1110.1521}; · Zbl 1248.35131
[2] Ashu, A. M. (2013). Some properties of Bessel functions with applications to Neumann eigenvalues in the unit disc. Bachelor’s thesis (E. Wahl\'en advisor), Lund University. http://lup.lub.lu.se/student-papers/record/7370411
[3] B\'erard, P. & Meyer, D. (1982). In\'egalit\'es isop\'erim\'etriques et applications. Annales scientifiques de l’\'Ecole Normale Sup\'erieure, 15(3), 513-541. https://eudml.org/doc/urn:eudml:doc:82104; zbl 0527.35020; MR0690651 · Zbl 0527.35020
[4] Blum, G., Gnutzmann, S. & Smilansky, U. (2002). Nodal domains statistics: A criterion for quantum chaos. Physical Review Letters, 88(11), 114101. \href{https://doi.org/10.1103/PhysRevLett.88.114101}{\nolinkurl{DOI:10.1103/PhysRevLett.88.114101}} arXiv:\href{https://arxiv.org/abs/nlin/0109029}{0109029}
[5] Bonnaillie-No\"el, V., Helffer, B. & Hoffmann-Ostenhof, T. (2017). Nodal domains, spectral minimal partitions, and their relation to Aharonov-Bohm operators. IAMP News Bulletin, October 2017, 3-28. arXiv:\href{https://arxiv.org/abs/1711.01174}{1711.01174} http://www.iamp.org/bulletins/old-bulletins/Bulletin-October2017-print.pdf
[6] Bonnaillie-No\"el, V. & L\'ena, C. (2014). Spectral minimal partitions of a sector. Discrete and Continuous Dynamical Systems-Series B, 19(1), 27-53. \href{https://doi.org/10.3934/dcdsb.2014.19.27}{\nolinkurl{DOI:10.3934/dcdsb.2014.19.27}}; zbl 1286.35175; MR3245081 · Zbl 1286.35175
[7] Bourgain, J. (2015). On Pleijel’s nodal domain theorem. International Mathematics Research Notices, 2015(6), 1601-1612. \href{https://doi.org/10.1093/imrn/rnt241}{\nolinkurl{DOI:10.1093/imrn/rnt241}}; zbl 1317.35145; MR3340367; arXiv:\href{https://arxiv.org/abs/1308.4422}{1308.4422} · Zbl 1317.35145
[8] Charron, P. (2018). A Pleijel-type theorem for the quantum harmonic oscillator. Journal of Spectral Theory, 8(2), 715-732. \href{https://doi.org/10.4171/JST/211}{\nolinkurl{DOI:10.4171/JST/211}}; zbl 06898063; MR3812813; arXiv:\href{https://arxiv.org/abs/1512.07880}{1512.07880} · Zbl 1400.35194
[9] Cochran, J. A. (1964). Remarks on the zeros of cross-product Bessel functions. Journal of the Society for Industrial and Applied Mathematics, 12(3), 580-587. \href{https://doi.org/10.1137/0112049}{\nolinkurl{DOI:10.1137/0112049}}; zbl 0132.05601; MR0178169 · Zbl 0132.05601
[10] Cochran, J. A. (1966). The analyticity of cross-product Bessel function zeros. Proceedings of the Cambridge Philosophical Society, 62(2), 215-226. \href{https://doi.org/10.1017/S0305004100039785}{\nolinkurl{DOI:10.1017/S0305004100039785}}; zbl 0135.28003; MR0197794 · Zbl 0135.28003
[11] Courant, R. (1923). Ein allgemeiner Satz zur Theorie der Eigenfunktionen selbstadjungierter Differentialausdr\`‘ucke. Nachrichten von der Gesellschaft der Wissenschaften zu G\'’ottingen, 81-84. http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN002506300; jfm 49.0342.01 · JFM 49.0342.01
[12] Elbert, \'A. (2001). Some recent results on the zeros of Bessel functions and orthogonal polynomials. Journal of computational and applied mathematics, 133(1-2), 65-83. \href{https://doi.org/10.1016/S0377-0427(00)00635-X}{\nolinkurl{DOI:10.1016/S0377-0427(00)00635-X}}; zbl 0989.33004; MR1858270 · Zbl 0989.33004
[13] Elbert, \'A. & Laforgia, A. (1994). A lower bound for the zeros of the Bessel functions. In Inequalities And Applications (pp. 179-185). \href{https://doi.org/10.1142/9789812798879_0015}{\nolinkurl{DOI:10.1142/9789812798879_0015}}; zbl 0900.33008; MR1299553 · Zbl 0900.33008
[14] Gnutzmann, S. & Lois, S. (2013). On the nodal count statistics for separable systems in any dimension. Journal of Physics A: Mathematical and Theoretical, 46(4), 045201. \href{http://dx.doi.org/10.1088/1751-8113/46/4/045201}{\nolinkurl{DOI:10.1088/1751-8113/46/4/045201}}; zbl 1290.35165; MR3008781; arXiv:\href{https://arxiv.org/abs/1208.2120}{1208.2120} · Zbl 1290.35165
[15] Han, X., Murray, M. & Tran, C. (2017). Nodal lengths of eigenfunctions in the disc. arXiv:\href{https://arxiv.org/abs/1708.08112}{1708.08112} · Zbl 1409.58022
[16] Helffer, B. & Hoffmann-Ostenhof, T. (2015). A review on large \(k\) minimal spectral \(k\)-partitions and Pleijel’s Theorem. Spectral theory and partial differential equations, 39-57, Contemp. Math., 640, Amer. Math. Soc., Providence, RI, 2015. \href{https://doi.org/10.1090/conm/640/12841}{\nolinkurl{DOI:10.1090/conm/640/12841}}; zbl 1346.35132; MR3381015; arxiv 1509.04501 · Zbl 1346.35132
[17] Helffer, B. & Sundqvist, M. (2016). On nodal domains in Euclidean balls. Proceedings of the American Mathematical Society, 144(11), 4777-4791. \href{https://doi.org/10.1090/proc/13098}{\nolinkurl{DOI:10.1090/proc/13098}} arXiv:\href{https://arxiv.org/abs/1506.04033}{1506.04033} · Zbl 1362.35200
[18] Ivrii, V. Y. (1980). Second term of the spectral asymptotic expansion of the Laplace-Beltrami operator on manifolds with boundary. Functional Analysis and Its Applications, 14(2), 98-106. \href{https://doi.org/10.1007/BF01086550}{\nolinkurl{DOI:10.1007/BF01086550}}; zbl 0453.35068; MR0575202 · Zbl 0453.35068
[19] Kershaw, D. (1983). Some extensions of W. Gautschi’s inequalities for the gamma function. Mathematics of Computation, 607-611. \href{https://doi.org/10.2307/2007697}{\nolinkurl{DOI:10.2307/2007697}}; zbl 0536.33002; MR0717706 · Zbl 0536.33002
[20] Kline, M. (1948). Some Bessel equations and their applications to guide and cavity theory. Studies in Applied Mathematics, 27(1-4), 37-48. \href{https://doi.org/10.1002/sapm194827137}{\nolinkurl{DOI:10.1002/sapm194827137}}; MR0023961 · Zbl 0031.29802
[21] L\'ena, C. (2016). Pleijel’s nodal domain theorem for Neumann eigenfunctions. arXiv:\href{https://arxiv.org/abs/1609.02331}{1609.02331}
[22] McCann, R. C. (1977). Lower bounds for the zeros of Bessel functions. Proceedings of the American Mathematical Society, 64(1), 101-103. \href{https://doi.org/10.1090/S0002-9939-1977-0442316-6}{\nolinkurl{DOI:10.1090/S0002-9939-1977-0442316-6}}; zbl 0364.33009; MR0442316 · Zbl 0364.33009
[23] McMahon, J. (1894). On the roots of the Bessel and certain related functions. The Annals of Mathematics, 9(1/6), 23-30. \href{https://doi.org/10.2307/1967501}{\nolinkurl{DOI:10.2307/1967501}}; jfm 25.0842.02; MR1502177 · JFM 25.0842.02
[24] Pleijel, A. (1956). Remarks on Courant’s nodal line theorem. Communications on pure and applied mathematics, 9(3), 543-550. \href{https://doi.org/10.1002/cpa.3160090324}{\nolinkurl{DOI:10.1002/cpa.3160090324}}; zbl 0070.32604; MR0080861 · Zbl 0070.32604
[25] Polterovich, I. (2009). Pleijel’s nodal domain theorem for free membranes. Proceedings of the American Mathematical Society, 137(3), 1021-1024. \href{https://doi.org/10.1090/S0002-9939-08-09596-8}{\nolinkurl{DOI:10.1090/S0002-9939-08-09596-8}}; zbl 1162.35005; MR2457442; arXiv:\href{https://arxiv.org/abs/0805.1553}{0805.1553} · Zbl 1162.35005
[26] Steinerberger, S. (2014). A Geometric Uncertainty Principle with an Application to Pleijel’s Estimate. Annales Henri Poincar\'e, 15(12), 2299-2319. \href{https://doi.org/10.1007/s00023-013-0310-4}{\nolinkurl{DOI:10.1007/s00023-013-0310-4}}; zbl 1319.35132; MR3272823; arXiv:\href{https://arxiv.org/abs/1306.3103}{1306.3103} · Zbl 1319.35132
[27] Watson, G. N. (1944). A treatise on the theory of Bessel functions. Cambridge: The University Press. zbl 0063.08184; MR0010746 · Zbl 0063.08184
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.