Abstract
The hot spots conjecture is only known to be true for special geometries. This paper shows numerically that the hot spots conjecture can fail to be true for easy to construct bounded domains with one hole. The underlying eigenvalue problem for the Laplace equation with Neumann boundary condition is solved with boundary integral equations yielding a non-linear eigenvalue problem. Its discretization via the boundary element collocation method in combination with the algorithm by Beyn yields highly accurate results both for the first non-zero eigenvalue and its corresponding eigenfunction which is due to superconvergence. Additionally, it can be shown numerically that the ratio between the maximal/minimal value inside the domain and its maximal/minimal value on the boundary can be larger than 1 + 10− 3. Finally, numerical examples for easy to construct domains with up to five holes are provided which fail the hot spots conjecture as well.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abele, D., Kleefeld, A.: New Numerical Results for the Optimization of Neumann Eigenvalues. In: Constanda, C. (ed.) Computational and Analytic Methods in Science and Engineering, pp 1–20, Birkhäuser (2020)
Asante-Asamani, E.O., Kleefeld, A., Wade, B.A.: A second-order exponential time differencing scheme for non-linear reaction-diffusion systems with dimensional splitting. J. Comput. Phys. 415, 109490 (2020)
Atar, R.: Invariant wedges for a two-point reflecting Brownian motion and the “hot spots” problem. Electron. J. Probab. 6(18), 1–19 (2001)
Atar, R., Burdzy, K.: On Neumann eigenfunctions in lip domains. J. Am. Math. Soc. 17(2), 243–265 (2004)
Atkinson, K.E.: The numerical solution of integral equations of the second kind, Cambridge University Press (1997)
Bañuelos, R., Burdzy, K.: On the “hot spots” conjecture of. J. Rauch. Journal of Functional Analysis 164, 1–33 (1999)
Bass, R.F., Burdzy, K.: Fiber Brownian motion and the “hot spots” problem. Duke Mathematical Journal 105(1), 25–58 (2000)
Beyn, W.J.: An integral method for solving nonlinear eigenvalue problems. Linear Algebra Appl. 436, 3839–3863 (2012)
Burdzy, K.: The hot spots problem in planar domains with one hole. Duke Mathematical Journal 129(3), 481–502 (2005)
Burdzy, K., Werner, W.: A counterexample to the “hot spots” conjecture. Ann. Math. 149(1), 309–317 (1999)
Cakoni, F., Kress, R.: A boundary integral equation method for the transmission eigenvalue problem. Appl. Anal. 96(1), 23–38 (2017)
Colton, D., Kress, R.: Inverse acoustic and electromagnetic scattering theory, 3rd edn Springer (2013)
Freitas, P.: Closed nodal lines and interior hot spots of the second eigenfunction of the Laplacian on surfaces. Indiana University Mathematics Journal 51(2), 305–316 (2002)
Hempel, R., Seco, L.A., Simon, B.: The essential spectrum of Neumann Laplacians on some bounded singular domains. J. Funct. Anal. 102(2), 448–483 (1991)
Jerison, D., Nadirashvili, N.: The “hot spots” conjecture for domains with two axes of symmetry. J. Am. Math. Soc. 13(4), 741–772 (2000)
Judge, C., Mondal, S.: Euclidean triangles have no hot spots. Ann. Math. 191(1), 167–211 (2020)
Kawohl, B.: Rearrangements and convexity of level sets in PDE. Lecture Notes in Mathematics, Springer (1985)
Kleefeld, A.: Numerical methods for acoustic and electromagnetic scattering: Transmission boundary-value problems, interior transmission eigenvalues, and the factorization method. Habilitation thesis, Brandenburg University of Technology Cottbus - Senftenberg Cottbus (2015)
Kleefeld, A.: Shape Optimization for Interior Neumann and Transmission Eigenvalues. In: Constanda, C., Harris, P. (eds.) Integral Methods in Science and Engineering, pp. 185–196. Springer (2019)
Kleefeld, A.: The hot spots conjecture can be false: Some numerical examples. arXiv:2101.01210, pp 1–31 (2021)
Kleefeld, A., Lin, T.C.: Boundary element collocation method for solving the exterior Neumann problem for Helmholtz’s equation in three dimensions. Electron. Trans. Numer. Anal. 39, 113–143 (2012)
Kleefeld, A., Lin, T.C.: A global Galerkin method for solving the exterior Neumann problem for the Helmholtz equation using Panich’s integral equation approach. SIAM Journal on Scientific Compututing 35(3), A1709–A1735 (2013)
Kleefeld, A., Pieronek, L.: The method of fundamental solutions for computing acoustic interior transmission eigenvalues. Inverse Problems 34(3), 035007 (2018)
Krejčiřík, D., Tušek, M.: Location of hot spots in thin curved strips. Journal of Differential Equations 266(6), 2953–2977 (2019)
Lagarias, J.C., Reeds, J.A., Wright, M.H., Wright, P.E.: Convergence properties of the Nelder–Mead simplex method in low dimensions. SIAM J. Optim. 9(1), 112–147 (1998)
Lederman, R.R., Steinerberger, S.: Extreme values of the Fiedler vector on trees. arXiv:1912.08327 (2019)
McLean, W.: Strongly elliptic systems and boundary integral operators, Cambridge University Press (2000)
Miyamoto, Y.: The “hot spots” conjecture for a certain class of planar convex domains. Journal of Mathematical Physics 50(10), 103530 (2009)
Miyamoto, Y.: A planar convex domain with many isolated “hot spots” on the boundary. Jpn. J. Ind. Appl. Math. 30, 145–164 (2013)
Pascu, M.N.: Scaling coupling of reflecting Brownian motions and the hot spots problem. Trans. Am. Math. Soc. 354(11), 4681–4702 (2002)
Rauch, J.: Lecture #1. Five Problems: An Introduction to the Qualitative Theory of Partial Differential Equations. In: Goldstein, J. (ed.) Partial Differential Equations and Related Topics, Lecture Notes in Mathematics, Vol. 446, pp. 355–369. Springer (1974)
Reed, M., Simon, B.: Methods of modern mathematical physics: vol.: 4. : analysis of operators, Academic Press (1978)
Sauter, S., Schwab, C.: Boundary Element Methods, Computational Mathematics, vol. 39 Springer (2011)
Seybert, A.F., Soenarko, B., Rizzo, F.J., Shippy, D.J.: An advance computational method for radiation and scattering of acoustic waves in three dimensions. Journal of the Acoustical Society of America 77(2), 362–368 (1985)
Shampine, L.F.: Vectorized adaptive quadrature in MATLAB. J. Comput. Appl. Math. 211(2), 131–140 (2008)
Siudeja, B.: Hot spots conjecture for a class of acute triangles. Math. Z. 208, 783–806 (2015)
Śmigaj, W., Betcke, T., Arridge, S., Phillips, J., Schweiger, M.: Solving boundary integral problems with BEM++. ACM Transactions on Mathematical Software 41(2), 6:1–6:40 (2015)
Steinbach, O., Unger, G.: Convergence analysis of a Galerkin boundary element method for the Dirichlet Laplacian eigenvalue problem. SIAM J. Numer. Anal. 50(2), 710–728 (2012)
Steinerberger, S.: Hot spots in convex domains are in the tips (up to an inradius). Communications in Partial Differential Equations 45(6), 641–654 (2020)
Tsai, C.C., Young, D.L., Chen, C.W., Fan, C.M.: The method of fundamental solutions for eigenproblems in domains with and without interior holes. Proceedings of the Royal Society A: Mathematical. Phys. Eng. Sci. 462 (2069), 1443–1466 (2006)
Yang, J., Zhang, B., Zhang, H.: The factorization method for reconstructing a penetrable obstacle with unknown buried objects. SIAM J. Appl. Math. 73(2), 617–635 (2013)
Acknowledgements
The author thanks Prof. Stefan Steinerberger from the University of Washington, Seattle (USA) for the fruitful discussions during the preparation of the manuscript. Further, the author greatly acknowledges the referee’s useful suggestions that considerably improved the initial version of the manuscript.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares no conflict interests.
Additional information
Communicated by: Michael O’Neil
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article belongs to the Topical Collection: Advances in Computational Integral Equations Guest Editors: Stephanie Chaillat, Adrianna Gillman, Per-Gunnar Martinsson, Michael O’Neil, Mary-Catherine Kropinski, Timo Betcke, Alex Barnett
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kleefeld, A. The hot spots conjecture can be false: some numerical examples. Adv Comput Math 47, 85 (2021). https://doi.org/10.1007/s10444-021-09911-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10444-021-09911-5