A sharp bound for the ratio of the first two Dirichlet eigenvalues of a domain in a hemisphere of $\mathbb {S}^n$
HTML articles powered by AMS MathViewer
- by Mark S. Ashbaugh and Rafael D. Benguria PDF
- Trans. Amer. Math. Soc. 353 (2001), 1055-1087 Request permission
Abstract:
For a domain $\Omega$ contained in a hemisphere of the $n$–dimensional sphere $\mathbb {S}^n$ we prove the optimal result $\lambda _2/\lambda _1(\Omega ) \le \lambda _2/\lambda _1(\Omega ^{\star })$ for the ratio of its first two Dirichlet eigenvalues where $\Omega ^{\star }$, the symmetric rearrangement of $\Omega$ in $\mathbb {S}^n$, is a geodesic ball in $\mathbb {S}^n$ having the same $n$–volume as $\Omega$. We also show that $\lambda _2/\lambda _1$ for geodesic balls of geodesic radius $\theta _1$ less than or equal to $\pi /2$ is an increasing function of $\theta _1$ which runs between the value $(j_{n/2,1}/j_{n/2-1,1})^2$ for $\theta _1=0$ (this is the Euclidean value) and $2(n+1)/n$ for $\theta _1=\pi /2$. Here $j_{\nu ,k}$ denotes the $k$th positive zero of the Bessel function $J_{\nu }(t)$. This result generalizes the Payne–Pólya–Weinberger conjecture, which applies to bounded domains in Euclidean space and which we had proved earlier. Our method makes use of symmetric rearrangement of functions and various technical properties of special functions. We also prove that among all domains contained in a hemisphere of $\mathbb {S}^n$ and having a fixed value of $\lambda _1$ the one with the maximal value of $\lambda _2$ is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for $\lambda _2/\lambda _1$. Various other results for $\lambda _1$ and $\lambda _2$ of geodesic balls in $\mathbb {S}^n$ are proved in the course of our work.References
- Milton Abramowitz and Irene A. Stegun (eds.), Handbook of mathematical functions, with formulas, graphs and mathematical tables, National Bureau of Standards Applied Mathematics Series, No. 55, U. S. Government Printing Office, Washington, D.C., 20402, 1966. Fifth printing, with corrections; National Bureau of Standards, Washington, D.C., (for sale by the Superintendent of Documents). MR 0208798
- Mark Anthony Armstrong, Basic topology, Undergraduate Texts in Mathematics, Springer-Verlag, New York-Berlin, 1983. Corrected reprint of the 1979 original. MR 705632, DOI 10.1007/978-1-4757-1793-8
- Mark S. Ashbaugh and Rafael D. Benguria, Log-concavity of the ground state of Schrödinger operators: a new proof of the Baumgartner-Grosse-Martin inequality, Phys. Lett. A 131 (1988), no. 4-5, 273–276. MR 954970, DOI 10.1016/0375-9601(88)90026-6
- M. S. Ashbaugh and R. Benguria, Optimal lower bounds for eigenvalue gaps for Schrödinger operators with symmetric single-well potentials and related results, Maximum principles and eigenvalue problems in partial differential equations (Knoxville, TN, 1987) Pitman Res. Notes Math. Ser., vol. 175, Longman Sci. Tech., Harlow, 1988, pp. 134–145. MR 963464
- Mark S. Ashbaugh and Rafael D. Benguria, Proof of the Payne-Pólya-Weinberger conjecture, Bull. Amer. Math. Soc. (N.S.) 25 (1991), no. 1, 19–29. MR 1085824, DOI 10.1090/S0273-0979-1991-16016-7
- Mark S. Ashbaugh and Rafael D. Benguria, A sharp bound for the ratio of the first two eigenvalues of Dirichlet Laplacians and extensions, Ann. of Math. (2) 135 (1992), no. 3, 601–628. MR 1166646, DOI 10.2307/2946578
- Mark S. Ashbaugh and Rafael D. Benguria, A second proof of the Payne-Pólya-Weinberger conjecture, Comm. Math. Phys. 147 (1992), no. 1, 181–190. MR 1171765, DOI 10.1007/BF02099533
- Mark S. Ashbaugh and Rafael D. Benguria, Isoperimetric inequalities for eigenvalue ratios, Partial differential equations of elliptic type (Cortona, 1992) Sympos. Math., XXXV, Cambridge Univ. Press, Cambridge, 1994, pp. 1–36. MR 1297771
- Mark S. Ashbaugh and Rafael D. Benguria, Sharp upper bound to the first nonzero Neumann eigenvalue for bounded domains in spaces of constant curvature, J. London Math. Soc. (2) 52 (1995), no. 2, 402–416. MR 1356151, DOI 10.1112/jlms/52.2.402
- Mark S. Ashbaugh and Rafael D. Benguria, On the Payne-Pólya-Weinberger conjecture on the $n$-dimensional sphere, General inequalities, 7 (Oberwolfach, 1995) Internat. Ser. Numer. Math., vol. 123, Birkhäuser, Basel, 1997, pp. 111–128. MR 1457273, DOI 10.1007/978-3-0348-8942-1_{1}0
- M. S. Ashbaugh and H. A. Levine, Inequalities for the Dirichlet and Neumann eigenvalues of the Laplacian for domains on spheres, Journées “Équations aux Dérivées Partielles” (Saint–Jean–de–Monts, 1997), Exp. No. 1, 15 pp., École Polytechnique, Palaiseau, 1997.
- Frank E. Baginski, Ordering the zeroes of Legendre functions $P^m_\nu (z_0)$ when considered as a function of $\nu$, J. Math. Anal. Appl. 147 (1990), no. 1, 296–308. MR 1044702, DOI 10.1016/0022-247X(90)90400-A
- Frank E. Baginski, Comparison theorems for the $\nu$-zeroes of Legendre functions $P^m_\nu (z_0)$ when $-1<z_0<1$, Proc. Amer. Math. Soc. 111 (1991), no. 2, 395–402. MR 1043402, DOI 10.1090/S0002-9939-1991-1043402-X
- Catherine Bandle, Isoperimetric inequalities and applications, Monographs and Studies in Mathematics, vol. 7, Pitman (Advanced Publishing Program), Boston, Mass.-London, 1980. MR 572958
- C. Bandle and M. Flucher, Table of inequalities in elliptic boundary value problems, Recent progress in inequalities (Niš, 1996) Math. Appl., vol. 430, Kluwer Acad. Publ., Dordrecht, 1998, pp. 97–125. MR 1609927
- Bernhard Baumgartner, Level comparison theorems, Ann. Physics 168 (1986), no. 2, 484–526. MR 844889, DOI 10.1016/0003-4916(86)90041-2
- B. Baumgartner, Relative concavity of ground state energies as functions of a coupling constant, Phys. Lett. A 170 (1992), no. 1, 1–4. MR 1185617, DOI 10.1016/0375-9601(92)90381-U
- B. Baumgartner, H. Grosse, and A. Martin, The Laplacian of the potential and the order of energy levels, Phys. Lett. B 146 (1984), no. 5, 363–366. MR 763860, DOI 10.1016/0370-2693(84)91715-5
- B. Baumgartner, H. Grosse, and A. Martin, Order of levels in potential models, Nuclear Phys. B 254 (1985), no. 3-4, 528–542. MR 793699, DOI 10.1016/0550-3213(85)90231-7
- Garrett Birkhoff and Gian-Carlo Rota, Ordinary differential equations, 4th ed., John Wiley & Sons, Inc., New York, 1989. MR 972977
- Yu. D. Burago and V. A. Zalgaller, Geometric inequalities, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 285, Springer-Verlag, Berlin, 1988. Translated from the Russian by A. B. Sosinskiĭ; Springer Series in Soviet Mathematics. MR 936419, DOI 10.1007/978-3-662-07441-1
- Isaac Chavel, Lowest-eigenvalue inequalities, Geometry of the Laplace operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979) Proc. Sympos. Pure Math., XXXVI, Amer. Math. Soc., Providence, R.I., 1980, pp. 79–89. MR 573429
- Isaac Chavel, Eigenvalues in Riemannian geometry, Pure and Applied Mathematics, vol. 115, Academic Press, Inc., Orlando, FL, 1984. Including a chapter by Burton Randol; With an appendix by Jozef Dodziuk. MR 768584
- Giuseppe Chiti, Orlicz norms of the solutions of a class of elliptic equations, Boll. Un. Mat. Ital. A (5) 16 (1979), no. 1, 178–185 (Italian, with English summary). MR 530146
- Giuseppe Chiti, A reverse Hölder inequality for the eigenfunctions of linear second order elliptic operators, Z. Angew. Math. Phys. 33 (1982), no. 1, 143–148. MR 652928, DOI 10.1007/BF00948319
- Giuseppe Chiti, An isoperimetric inequality for the eigenfunctions of linear second order elliptic operators, Boll. Un. Mat. Ital. A (6) 1 (1982), no. 1, 145–151 (English, with Italian summary). MR 652376
- Giuseppe Chiti, A bound for the ratio of the first two eigenvalues of a membrane, SIAM J. Math. Anal. 14 (1983), no. 6, 1163–1167. MR 718816, DOI 10.1137/0514090
- Tadasi Nakayama, On Frobeniusean algebras. I, Ann. of Math. (2) 40 (1939), 611–633. MR 16, DOI 10.2307/1968946
- James Dugundji, Topology, Allyn and Bacon, Inc., Boston, Mass., 1966. MR 0193606
- G. Faber, Beweis, dass unter allen homogenen Membranen von gleicher Fläche und gleicher Spannung die kreisförmige den tiefsten Grundton gibt, Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften zu München Jahrgang, 1923, pp. 169–172.
- S. Friedland and W. K. Hayman, Eigenvalue inequalities for the Dirichlet problem on spheres and the growth of subharmonic functions, Comment. Math. Helv. 51 (1976), no. 2, 133–161. MR 412442, DOI 10.1007/BF02568147
- C. J. Everett Jr., Annihilator ideals and representation iteration for abstract rings, Duke Math. J. 5 (1939), 623–627. MR 13
- Evans M. Harrell II and Patricia L. Michel, Commutator bounds for eigenvalues, with applications to spectral geometry, Comm. Partial Differential Equations 19 (1994), no. 11-12, 2037–2055. MR 1301181, DOI 10.1080/03605309408821081
- P. D. Hislop and I. M. Sigal, Introduction to spectral theory, Applied Mathematical Sciences, vol. 113, Springer-Verlag, New York, 1996. With applications to Schrödinger operators. MR 1361167, DOI 10.1007/978-1-4612-0741-2
- John G. Hocking and Gail S. Young, Topology, Addison-Wesley Publishing Co., Inc., Reading, Mass.-London, 1961. MR 0125557
- Tosio Kato, Perturbation theory for linear operators, 2nd ed., Grundlehren der Mathematischen Wissenschaften, Band 132, Springer-Verlag, Berlin-New York, 1976. MR 0407617
- E. Krahn, Über eine von Rayleigh formulierte Minimaleigenschaft des Kreises, Math. Ann. 94 (1925), 97–100.
- E. Krahn, Über Minimaleigenschaften der Kugel in drei und mehr Dimensionen, Acta Comm. Univ. Tartu (Dorpat) A9 (1926), 1–44. [English translation: Minimal properties of the sphere in three and more dimensions, Edgar Krahn 1894–1961: A Centenary Volume, Ü. Lumiste and J. Peetre, editors, IOS Press, Amsterdam, The Netherlands, 1994, pp. 139–174.]
- James R. Munkres, Topology: a first course, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1975. MR 0464128
- James R. Munkres, Elements of algebraic topology, Addison-Wesley Publishing Company, Menlo Park, CA, 1984. MR 755006
- Robert Osserman, The isoperimetric inequality, Bull. Amer. Math. Soc. 84 (1978), no. 6, 1182–1238. MR 500557, DOI 10.1090/S0002-9904-1978-14553-4
- Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-3
- Cahit Arf, Untersuchungen über reinverzweigte Erweiterungen diskret bewerteter perfekter Körper, J. Reine Angew. Math. 181 (1939), 1–44 (German). MR 18, DOI 10.1515/crll.1940.181.1
- P. Erdös and T. Grünwald, On polynomials with only real roots, Ann. of Math. (2) 40 (1939), 537–548. MR 7, DOI 10.2307/1968938
- Michael Reed and Barry Simon, Methods of modern mathematical physics. I. Functional analysis, Academic Press, New York-London, 1972. MR 0493419
- Robert D. Richtmyer, Principles of advanced mathematical physics. Vol. I, Texts and Monographs in Physics, Springer-Verlag, New York-Heidelberg, 1978. MR 517399, DOI 10.1007/978-3-642-46378-5
- K. T. Smith, Primer of Modern Analysis, Bogden and Quigley, Tarrytown–on–Hudson, New York, 1971.
- Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210112
- Emanuel Sperner Jr., Zur Symmetrisierung von Funktionen auf Sphären, Math. Z. 134 (1973), 317–327 (German). MR 340558, DOI 10.1007/BF01214695
- Sam Perlis, Maximal orders in rational cyclic algebras of composite degree, Trans. Amer. Math. Soc. 46 (1939), 82–96. MR 15, DOI 10.1090/S0002-9947-1939-0000015-X
- Giorgio Talenti, Elliptic equations and rearrangements, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3 (1976), no. 4, 697–718. MR 601601
- Cahit Arf, Untersuchungen über reinverzweigte Erweiterungen diskret bewerteter perfekter Körper, J. Reine Angew. Math. 181 (1939), 1–44 (German). MR 18, DOI 10.1515/crll.1940.181.1
- E. F. Whittlesey, Fixed points and antipodal points, Amer. Math. Monthly 70 (1963), 807–821. MR 161324, DOI 10.2307/2312660
Additional Information
- Mark S. Ashbaugh
- Affiliation: Department of Mathematics, University of Missouri, Columbia, Missouri 65211–0001
- Email: mark@math.missouri.edu
- Rafael D. Benguria
- Affiliation: Departamento de Física, P. Universidad Católica de Chile, Casilla 306, Santiago 22, Chile
- MR Author ID: 34600
- Email: rbenguri@fis.puc.cl
- Received by editor(s): January 6, 1999
- Received by editor(s) in revised form: June 9, 1999
- Published electronically: November 8, 2000
- Additional Notes: The first author was partially supported by National Science Foundation (USA) grants DMS–9114162, INT–9123481, DMS–9500968, and DMS–9870156.
The second author was partially supported by FONDECYT (Chile) project number 196–0462, a Cátedra Presidencial en Ciencias (Chile), and a John Simon Guggenheim Memorial Foundation fellowship. - © Copyright 2000 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 353 (2001), 1055-1087
- MSC (1991): Primary 58G25; Secondary 35P15, 49Rxx, 33C55
- DOI: https://doi.org/10.1090/S0002-9947-00-02605-2
- MathSciNet review: 1707696