Any three eigenvalues do not determine a triangle

DOI10.1016/J.JDE.2020.11.002zbMATH Open1455.35158arXiv1911.06758OpenAlexW3101013187MaRDI QIDQ828329FDOQ828329

Authors: Javier Gómez-Serrano, G. Orriols 

Publication date: 8 January 2021

Published in: Journal of Differential Equations (Search for Journal in Brave)

Abstract: Despite the moduli space of triangles being three dimensional, we prove the existence of two triangles which are not isometric to each other for which the first, second and fourth Dirichlet eigenvalues coincide, establishing a numerical observation from Antunes-Freitas [P. R. S. Antunes and P. Freitas. Proc. R. Soc. Lond.Ser. A Math. Phys. Eng. Sci., 467(2130):1546-1562, 2011]. The two triangles are far from any known, explicit cases. To do so, we develop new tools to rigorously enclose eigenvalues to a very high precision, as well as their position in the spectrum. This result is also mentioned as (the negative part of) Conjecture 6.46 in [R. Laugesen, B. Siudeja, Shape optimization and spectral theory, 149-200. De Gruyter Open, Warsaw, 2017], Open Problem 1 in [D. Grieser, S. Maronna, Notices Amer. Math. Soc., 60(11):1440-1447, 2013] and Conjecture 3 in [Z. Lu, J. Rowlett. Amer. Math. Monthly, 122(9):815-835, 2015.].

Full work available at URL: https://arxiv.org/abs/1911.06758

Recommendations

• On Hearing the Shape of a Triangle
• On the inverse spectral problem for Euclidean triangles
• Isoperimetric inequalities for eigenvalues of triangles
• Dirichlet eigenvalue sums on triangles are minimal for equilaterals
• Maximizing Neumann fundamental tones of triangles

zbMATH Keywords

tools to enclose eigenvalues to high precision

Mathematics Subject Classification ID

Boundary value problems for second-order elliptic equations (35J25) General topics in linear spectral theory for PDEs (35P05)

Cites Work

• Some inverse spectral results for negatively curved 2-manifolds
• Spectral rigidity and invariant distributions on Anosov surfaces
• Title not available (Why is that?)
• Validated numerics. A short introduction to rigorous computations.
• Title not available (Why is that?)
• Guaranteed lower bounds for eigenvalues
• Maximizing Neumann fundamental tones of triangles
• Methods of intermediate problems for eigenvalues. Theory and ramifications
• The method of fundamental solutions for elliptic boundary value problems
• Title not available (Why is that?)
• Bounds for Eigenvalues and Eigenvectors of Symmetric Operators
• Can One Hear the Shape of a Drum?
• Isospectral plane domains and surfaces via Riemannian orbifolds
• Plane domains which are spectrally determinded. II
• A sharp bound for the ratio of the first two eigenvalues of Dirichlet Laplacians and extensions
• Methods for computing lower bounds to eigenvalues of self-adjoint operators
• Reviving the Method of Particular Solutions
• Isospectral pairs of metrics on balls, spheres, and other manifolds with different local geometries
• On the inverse spectral problem for Euclidean triangles
• Spectral simplicity and asymptotic separation of variables
• Approximations and Bounds for Eigenvalues of Elliptic Operators
• Compact isospectral sets of surfaces
• A meshfree numerical method for acoustic wave propagation problems in planar domains with corners and cracks
• Spectral rigidity of a compact negatively curved manifold
• Computable bounds for eigenvalues and eigenfunctions of elliptic differential operators
• Moduli space, heights and isospectral sets of plane domains
• Optimale Eigenwerteinschließungen
• Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
• Title not available (Why is that?)
• Title not available (Why is that?)
• A framework of verified eigenvalue bounds for self-adjoint differential operators
• Inverse spectral problem for analytic domains. II: \(\mathbb Z_2\)-symmetric domains
• The Generalized Singular Value Decomposition and the Method of Particular Solutions
• Solving Laplace problems with corner singularities via rational functions
• Euclidean triangles have no hot spots
• New Laplace and Helmholtz solvers
• A proof via finite elements for Schiffer's conjecture on a regular pentagon
• The Neumann isospectral problem for trapezoids
• Computer-assisted proofs in PDE: a survey
• The sound of symmetry
• Title not available (Why is that?)
• Boundary Quasi-Orthogonality and Sharp Inclusion Bounds for Large Dirichlet Eigenvalues
• Hearing the Shape of a Triangle
• Compact isospectral sets of plane domains
• Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
• Dirichlet eigenvalues of asymptotically flat triangles
• Triangles and other special domains
• On Hearing the Shape of a Triangle
• Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
• Inverse spectral problem for analytic \((\mathbb Z/2\mathbb Z)^n\)-symmetric domains in \(\mathbb R^n\)

Cited In (5)

• On Hearing the Shape of a Triangle
• A counterexample to Payne's nodal line conjecture with few holes
• Hyperbolic triangles without embedded eigenvalues
• On the inverse spectral problem for Euclidean triangles
• On the polygonal Faber-Krahn inequality

Uses Software

• Arb

This page was built for publication: Any three eigenvalues do not determine a triangle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q828329)