Maximization of the second positive Neumann eigenvalue for planar domains

We prove that the second positive Neumann eigenvalue of a bounded simply-connected planar domain of a given area does not exceed the first positive Neumann eigenvalue on a disk of half this area. The estimate is sharp and attained by a sequence of domains degenerating to a union of two identical disks. In particular, this result implies the Polya conjecture for the second Neumann eigenvalue. The proof is based on a combination of analytic and topological arguments. As a by-product of our method we obtain an upper bound on the second eigenvalue for conformally round metrics on odd-dimensional spheres.

[1]  Yurii Lyubarskii,et al.  Lectures on entire functions , 1996 .

[2]  Michael E. Taylor,et al.  Partial Differential Equations , 1996 .

[3]  Michael Taylor,et al.  Partial Differential Equations I: Basic Theory , 1996 .

[4]  E. Beckenbach,et al.  Subharmonic functions and surfaces of negative curvature , 1933 .

[5]  Shing-Tung Yau,et al.  A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact surfaces , 1982 .

[6]  B. Colbois,et al.  Extremal Eigenvalues of the Laplacian in a Conformal Class of Metrics: The `Conformal Spectrum' , 2003, math/0409316.

[7]  M. Berger.  Sur les premières valeurs propres des variétés riemanniennes , 1973 .

[8]  Antoine Henrot,et al.  Extremum Problems for Eigenvalues of Elliptic Operators , 2006 .

[9]  S. Ilias,et al.  Immersions minimales, première valeur propre du laplacien et volume conforme , 1986 .

[10]  George Polya,et al.  Induction and Analogy in Mathematics , 1954 .

[11]  Yu. Netrusov,et al.  Weyl Asymptotic Formula for the Laplacian on Domains with Rough Boundaries , 2003 .

[12]  George Polya,et al.  On the Eigenvalues of Vibrating Membranes(In Memoriam Hermann Weyl) , 1961 .

[13]  I. S. Gradshteyn,et al.  Table of Integrals, Series, and Products , 1976 .

[14]  N. Nadirashvili.  Isoperimetric Inequality for the Second Eigenvalue of a Sphere , 2002 .

[15]  A. Beardon.  The Geometry of Discrete Groups , 1995 .

[16]  I. M. Pyshik,et al.  Table of integrals, series, and products , 1965 .

[17]  J. Dodziuk,et al.  RIEMANNIAN METRICS WITH LARGE Xx , 2010 .

[18]  Hans F. Weinberger,et al.  An Isoperimetric Inequality for the N-Dimensional Free Membrane Problem , 1956 .

[19]  V. Ya. Ivrii,et al.  Second term of the spectral asymptotic expansion of the Laplace - Beltrami operator on manifolds with boundary , 1980 .

[20]  S. Yau,et al.  Lectures on Differential Geometry , 1994 .

[21]  Richard B. Melrose,et al.  Weyl''s conjecture for manifolds with concave boundary , 1980 .

[22]  N. Nadirashvili,et al.  A differential invariant related to the first eigenvalue of the Laplacian , 1999 .

[23]  E. Krahn,et al.  Über eine von Rayleigh formulierte Minimaleigenschaft des Kreises , 1925 .

[24]  G. Szegő,et al.  Inequalities for Certain Eigenvalues of a Membrane of Given Area , 1954 .

[25]  P Kröger,et al.  Upper bounds for the Neumann eigenvalues on a bounded domain in euclidean space , 1992 .

[26]  J. Dodziuk,et al.  Riemannian metrics with large , 1994 .

[27]  G. Pólya,et al.  Mathematics and Plausible Reasoning: Vol. I: Induction and Analogy in Mathematics , 1979 .

[28]  John G. Ratcliffe,et al.  Geometry of Discrete Groups , 2019, Foundations of Hyperbolic Manifolds.