A Proof via Finite Elements for Schiffer’s Conjecture on a Regular Pentagon

Autor:	Bartłomiej Siudeja, Benjamin Young, Nilima Nigam
Rok vydání:	2020
Předmět:	Discrete mathematics Sequence Conjecture Applied Mathematics Regular polygon Boundary (topology) 010103 numerical & computational mathematics Mathematics::Spectral Theory Eigenfunction Equilateral triangle 01 natural sciences Computational Mathematics Computational Theory and Mathematics 0101 mathematics Laplace operator Analysis Eigenvalues and eigenvectors Mathematics
Zdroj:	Foundations of Computational Mathematics. 20:1475-1504
ISSN:	1615-3383 1615-3375
DOI:	10.1007/s10208-020-09447-y
Popis:	A modified version of Schiffer’s conjecture on a regular pentagon states that Neumann eigenfunctions of the Laplacian do not change sign on the boundary. In a companion paper by Bartlomiej Siudeja it was shown that eigenfunctions which are strictly positive on the boundary exist on regular polygons with at least 6 sides, while on equilateral triangles and cubes it is not even possible to find an eigenfunction which is nonnegative on the boundary. The case for the regular pentagon is more challenging, and has resisted a completely analytic attack. In this paper, we present a validated numerical method to prove this case, which involves iteratively bounding eigenvalues for a sequence of subdomains of the triangle. We use a learning algorithm to find and optimize this sequence of subdomains, making it straightforward to check our computations with standard software. Our proof has a short proof certificate, is checkable without specialized software and is adaptable to other situations.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4fd88ace36c1374f76f5d71af9300fe5 https://doi.org/10.1007/s10208-020-09447-y Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.