Showing 1–26 of 26 results for author: Benguria, R D

Bound on the Excess Charge of Generalized Thomas-Fermi-Weizsäcker Functionals

Authors: Rafael D. Benguria, Heinz Siedentop

Abstract: We bound the number of electrons $Q$ that an atom can bind in excess of neutrality for density functionals generalizing the classical Thomas-Fermi-Weizsäcker functional: instead of the classical power $5/3$ more general powers $p$ are considered. For $3/2<p<2$ we prove the excess charge conjecture, i.e., that $Q$ is uniformly bounded in the atomic number $Z$. The case $p=3/2$ is critical: the beha… ▽ More We bound the number of electrons $Q$ that an atom can bind in excess of neutrality for density functionals generalizing the classical Thomas-Fermi-Weizsäcker functional: instead of the classical power $5/3$ more general powers $p$ are considered. For $3/2<p<2$ we prove the excess charge conjecture, i.e., that $Q$ is uniformly bounded in the atomic number $Z$. The case $p=3/2$ is critical: the behavior changes from a uniform bound in $Z$ to a linear bound at the critical coupling $4\sqrtπ$ of the nonlinear term. We also improve the linear bound for all $p\geq6/5$. △ Less

Submitted 21 February, 2025; originally announced February 2025.

MSC Class: 81V45; 81V55; 35Q40

A Block-diagonal form for four-component operators describing Graphene Quantum Dots

Authors: Rafael D. Benguria, Edgardo Stockmeyer, Cristóbal Vallejos, Hanne Van Den Bosch

Abstract: We consider four-component Dirac operators on domains in the plane. With suitable boundary conditions, these operators describe graphene quantum dots. The most general boundary conditions are defined by a matrix depending on four real parameters. For operators with constant boundary parameters we show that the Hamiltonian is unitary equivalent to two copies of the two-component operator. This allo… ▽ More We consider four-component Dirac operators on domains in the plane. With suitable boundary conditions, these operators describe graphene quantum dots. The most general boundary conditions are defined by a matrix depending on four real parameters. For operators with constant boundary parameters we show that the Hamiltonian is unitary equivalent to two copies of the two-component operator. This allows to extend the known results for this type of operators to the four-component case. As an application, we identify the boundary conditions from the tight-binding model for graphene that give rise to a block-diagonal operator in the continuum limit. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Comments: 12 pages, 3 figures

New bounds on the excess charge for atomic systems

Authors: Rafael D. Benguria, Juan Manuel Gonzalez-Brantes, Trinidad Tubino

Abstract: In this manuscript, using a technique introduced by P.~T.~Nam in 2012 and the {\it Coulomb Uncertainty Principle}, we prove new bounds on the excess charge for non relativistic atomic systems, independent of the particle statistics. These new bounds are the best bounds to date for bosonic systems for all values of the atomic number $Z$ and they are also the best bounds for fermionic systems with… ▽ More In this manuscript, using a technique introduced by P.~T.~Nam in 2012 and the {\it Coulomb Uncertainty Principle}, we prove new bounds on the excess charge for non relativistic atomic systems, independent of the particle statistics. These new bounds are the best bounds to date for bosonic systems for all values of the atomic number $Z$ and they are also the best bounds for fermionic systems with $Z \le 26$ (i.e., up to the chemical element {\it iron}) △ Less

Submitted 17 July, 2022; originally announced July 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2201.13421

MSC Class: 81V73; 81V45; 35A15; 35 A01

Analytic bound on the excess charge for the Hartree Model

Authors: Rafael D. Benguria, Trinidad Tubino

Abstract: We prove an analytic bound on the excess charge for the Hartree equation in the atomic case. We prove an analytic bound on the excess charge for the Hartree equation in the atomic case. △ Less

Submitted 31 January, 2022; originally announced January 2022.

A variational formulation for Dirac operators in bounded domains. Applications to spectral geometric inequalities

Authors: Pedro R. S. Antunes, Rafael D. Benguria, Vladimir Lotoreichik, Thomas Ourmières-Bonafos

Abstract: We investigate spectral features of the Dirac operator with infinite mass boundary conditions in a smooth bounded domain of $\mathbb{R}^2$. Motivated by spectral geometric inequalities, we prove a non-linear variational formulation to characterize its principal eigenvalue. This characterization turns out to be very robust and allows for a simple proof of a Szegö type inequality as well as a new re… ▽ More We investigate spectral features of the Dirac operator with infinite mass boundary conditions in a smooth bounded domain of $\mathbb{R}^2$. Motivated by spectral geometric inequalities, we prove a non-linear variational formulation to characterize its principal eigenvalue. This characterization turns out to be very robust and allows for a simple proof of a Szegö type inequality as well as a new reformulation of a Faber-Krahn type inequality for this operator. The paper is complemented with strong numerical evidences supporting the existence of a Faber-Krahn type inequality. △ Less

Submitted 9 March, 2020; originally announced March 2020.

Comments: 34 pages, 4 figures

Interaction Between Two Single Superconducting Vortices Inside A Superconducting Hollow Cylindrical domain

Authors: Diego García Ovalle, Enrique Muñoz, Rafael D. Benguria

Abstract: Inspired by the seminal, ground-breaking work of Abrikosov in 1957, we developed a new approximation to the interaction between two widely separated superconducting vortices. In contrast with Abrikosov's, we take into account the finite size of the vortices and their internal magnetic profile. We consider the vortices to be embedded within a superconducting, infinitely long hollow cylinder, in ord… ▽ More Inspired by the seminal, ground-breaking work of Abrikosov in 1957, we developed a new approximation to the interaction between two widely separated superconducting vortices. In contrast with Abrikosov's, we take into account the finite size of the vortices and their internal magnetic profile. We consider the vortices to be embedded within a superconducting, infinitely long hollow cylinder, in order to simplify the symmetry and boundary conditions for the mathematical analysis. We study this system in the context of a magnetic Ginzburg-Landau functional theory, by solving for the magnetic field profile inside each vortex, as well as in the superconducting region, subject to physical boundary conditions inspired by the classical analogue of two mutually inducting coils. Under isothermal conditions, the effective force between these vortices is given by the gradient of the Helmholtz free energy constructed from the Ginzburg-Landau functional. From our results, we explicitly show that, in agreement with well established theoretical arguments and experiments, the interaction between widely separated vortices is repulsive in this context, and their equilibrium positions are constrained by the fluxoid's conservation. Moreover, we find that the equilibrium positions of the vortices centers are stable due to the convexity of the Helmholtz free energy profile. Remarkably, the effect of the boundaries of the region over the effective interaction between the vortices is important in the chosen geometric configuration. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Comments: 13 figures

Upper and lower bounds for the speed of fronts of the reaction diffusion equation with Stefan boundary conditions

Authors: R. D. Benguria, M. C. Depassier

Abstract: We establish two integral variational principles for the spreading speed of the one dimensional reaction diffusion equation with Stefan boundary conditions. The first principle is valid for monostable reaction terms and the second principle is valid for arbitrary reaction terms. These principles allow to obtain several upper and lower bounds for the speed. In particular, we construct a generalized… ▽ More We establish two integral variational principles for the spreading speed of the one dimensional reaction diffusion equation with Stefan boundary conditions. The first principle is valid for monostable reaction terms and the second principle is valid for arbitrary reaction terms. These principles allow to obtain several upper and lower bounds for the speed. In particular, we construct a generalized Zeldovich-Frank-Kamenetskii type lower bound for the speed and upper bounds in terms of the speed of the standard reaction diffusion problem. We construct asymptotically exact lower bounds previously obtained by perturbation theory. △ Less

Submitted 22 August, 2022; v1 submitted 23 October, 2019; originally announced October 2019.

Comments: 16 pages, 1 figure. New results and references added

Journal ref: Nonlinearity 36, 4425 (2023)

Existence and non-existence of minimizers for Poincaré-Sobolev inequalities

Authors: Rafael D. Benguria, Cristóbal Vallejos, Hanne Van Den Bosch

Abstract: In this paper we study the existence and non-existence of minimizers for a type of (critical) Poincaré-Sobolev inequalities. We show that minimizers do exist for smooth domains in $\mathbb{R}^d$, an also for some polyhedral domains. On the other hand, we prove the non-existence of minimizers in the rectangular isosceles triangle in $\mathbb{R}^2$. In this paper we study the existence and non-existence of minimizers for a type of (critical) Poincaré-Sobolev inequalities. We show that minimizers do exist for smooth domains in $\mathbb{R}^d$, an also for some polyhedral domains. On the other hand, we prove the non-existence of minimizers in the rectangular isosceles triangle in $\mathbb{R}^2$. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Comments: 20 pages, 3 figures

Gagliardo-Nirenberg-Sobolev inequalities for convex domains in $\mathbb{R}^d$

Authors: Rafael D. Benguria, Cristobal Vallejos, Hanne Van Den Bosch

Abstract: A special type of Gagliardo-Nirenberg-Sobolev (GNS) inequalities in $\mathbb{R}^d$ has played a key role in several proofs of Lieb-Thirring inequalities. Recently, a need for GNS inequalities in convex domains of $\mathbb{R}^d$, in particular for cubes, has arised. The purpose of this manuscript is two-fold. First we prove a GNS inequality for convex domains, with explicit constants which depend o… ▽ More A special type of Gagliardo-Nirenberg-Sobolev (GNS) inequalities in $\mathbb{R}^d$ has played a key role in several proofs of Lieb-Thirring inequalities. Recently, a need for GNS inequalities in convex domains of $\mathbb{R}^d$, in particular for cubes, has arised. The purpose of this manuscript is two-fold. First we prove a GNS inequality for convex domains, with explicit constants which depend on the geometry of the domain. Later, using the discrete version of Rumin's method, we prove GNS inequalities on cubes with improved constants. △ Less

Submitted 12 February, 2018; v1 submitted 5 February, 2018; originally announced February 2018.

Comments: 15 pages, v2: typo in eq(9), p.3 fixed

Self-adjointness of two-dimensional Dirac operators on domains

Authors: Rafael D. Benguria, Søren Fournais, Edgardo Stockmeyer, Hanne Van Den Bosch

Abstract: We consider Dirac operators defined on planar domains. For a large class of boundary conditions, we give a direct proof of their self-adjointness in the Sobolev space $H^1$. We consider Dirac operators defined on planar domains. For a large class of boundary conditions, we give a direct proof of their self-adjointness in the Sobolev space $H^1$. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Comments: 12 pages. Final published version, contains results that were previously in arXiv:1601.06607

Journal ref: Annales Henri Poincaré, 18(4), 1371-1383 (2017)

Spectral gaps of Dirac operators describing graphene quantum dots

Authors: Rafael D. Benguria, Søren Fournais, Edgardo Stockmeyer, Hanne Van Den Bosch

Abstract: The two-dimensional Dirac operator describes low-energy excitations in graphene. Different choices for the boundary conditions give rise to qualitative differences in the spectrum of the resulting operator. For a family of boundary conditions, we find a lower bound to the spectral gap around zero, proportional to $|Ω|^{-1/2}$, where $Ω\subset \mathbb{R}^2$ is the bounded region where the Dirac ope… ▽ More The two-dimensional Dirac operator describes low-energy excitations in graphene. Different choices for the boundary conditions give rise to qualitative differences in the spectrum of the resulting operator. For a family of boundary conditions, we find a lower bound to the spectral gap around zero, proportional to $|Ω|^{-1/2}$, where $Ω\subset \mathbb{R}^2$ is the bounded region where the Dirac operator acts. This family contains the so-called infinite mass and armchair cases used in the physics literature for the description of graphene quantum dots. △ Less

Submitted 20 April, 2017; v1 submitted 25 January, 2016; originally announced January 2016.

Comments: final version, improved introduction on boundary conditions in physics literature, self-adjointness-result deferred to other paper, references added

MSC Class: 35Pxx (primary); 81Q05; 81Q10 (secondary)

Journal ref: Math Phys Anal Geom (2017) 20: 11

A criterion for the existence of zero modes for the Pauli operator with fastly decaying fields

Authors: Rafael D. Benguria, Hanne Van Den Bosch

Abstract: We consider the Pauli operator in $\mathbb R^3$ for magnetic fields in $L^{3/2}$ that decay at infinity as $|x|^{-2-β}$ with $β> 0$. In this case we are able to prove that the existence of a zero mode for this operator is equivalent to a quantity $δ(\mathbf B)$, defined below, being equal to zero. Complementing a result from [Balinsky, Evans, Lewis (2001)], this implies that for the class of magne… ▽ More We consider the Pauli operator in $\mathbb R^3$ for magnetic fields in $L^{3/2}$ that decay at infinity as $|x|^{-2-β}$ with $β> 0$. In this case we are able to prove that the existence of a zero mode for this operator is equivalent to a quantity $δ(\mathbf B)$, defined below, being equal to zero. Complementing a result from [Balinsky, Evans, Lewis (2001)], this implies that for the class of magnetic fields considered, Sobolev, Hardy and CLR inequalities hold whenever the magnetic field has no zero mode. △ Less

Submitted 15 March, 2015; originally announced March 2015.

Comments: 9 pages

Ground state energy of large polaron systems

Authors: Rafael D. Benguria, Rupert L. Frank, Elliott H. Lieb

Abstract: The last unsolved problem about the many-polaron system, in the Pekar-Tomasevich approximation, is the case of bosons with the electron-electron Coulomb repulsion of strength exactly 1 (the 'neutral case'). We prove that the ground state energy, for large $N$, goes exactly as $-N^{7/5}$, and we give upper and lower bounds on the asymptotic coefficient that agree to within a factor of $2^{2/5}$. The last unsolved problem about the many-polaron system, in the Pekar-Tomasevich approximation, is the case of bosons with the electron-electron Coulomb repulsion of strength exactly 1 (the 'neutral case'). We prove that the ground state energy, for large $N$, goes exactly as $-N^{7/5}$, and we give upper and lower bounds on the asymptotic coefficient that agree to within a factor of $2^{2/5}$. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Comments: 16 pages

Indirect Coulomb Energy for Two-Dimensional Atoms

Authors: Rafael D. Benguria, Matěj Tušek

Abstract: In this manuscript we provide a family of lower bounds on the indirect Coulomb energy for atomic and molecular systems in two dimensions in terms of a functional of the single particle density with gradient correction terms. In this manuscript we provide a family of lower bounds on the indirect Coulomb energy for atomic and molecular systems in two dimensions in terms of a functional of the single particle density with gradient correction terms. △ Less

Submitted 7 June, 2012; v1 submitted 31 May, 2012; originally announced May 2012.

Comments: arXiv admin note: text overlap with arXiv:1106.5772

A New Estimate on the Two-Dimensional Indirect Coulomb Energy

Authors: Rafael D. Benguria, Pablo Gallegos, Matej Tusek

Abstract: We prove a new lower bound on the indirect Coulomb energy in two dimensional quantum mechanics in terms of the single particle density of the system. The new universal lower bound is an alternative to the Lieb--Solovej--Yngvason bound with a smaller constant, C=(4/3)^{3/2}\sqrt{5 π-1} \approx 5.90 < C_{LSY}= 192\sqrt{2 π} \approx 481.27, which also involves an additive gradient energy term of the… ▽ More We prove a new lower bound on the indirect Coulomb energy in two dimensional quantum mechanics in terms of the single particle density of the system. The new universal lower bound is an alternative to the Lieb--Solovej--Yngvason bound with a smaller constant, C=(4/3)^{3/2}\sqrt{5 π-1} \approx 5.90 < C_{LSY}= 192\sqrt{2 π} \approx 481.27, which also involves an additive gradient energy term of the single particle density. △ Less

Submitted 1 March, 2012; v1 submitted 28 June, 2011; originally announced June 2011.

A new estimate on the indirect Coulomb Energy

Authors: Rafael D. Benguria, Gonzalo Bley, Michael Loss

Abstract: We prove a new lower bound on the indirect Coulomb energy in quantum mechanics in terms of the single particle density of the system. The new universal lower bound is an alternative to the classical Lieb--Oxford bound (with a smaller constant, 1.45 < 1.68) but involving an additive kinetic energy term of the single particle density. We prove a new lower bound on the indirect Coulomb energy in quantum mechanics in terms of the single particle density of the system. The new universal lower bound is an alternative to the classical Lieb--Oxford bound (with a smaller constant, 1.45 < 1.68) but involving an additive kinetic energy term of the single particle density. △ Less

Submitted 10 March, 2011; originally announced March 2011.

Comments: LaTex, 8 pages

MSC Class: 81V45; 81V70

Rigorous results for the speed of Kolmogorov--Petrovskii--Piscounov fronts with a cutoff

Authors: Rafael D. Benguria, M. Cristina Depassier, Michael Loss

Abstract: We study the effect of a cut-off on the speed of pulled fronts of the one dimensional reaction diffusion equation. We prove rigorous upper and lower bounds on the speed in terms of the cut-off parameter epsilon. From these bounds we estimate the range of validity of the Brunet--Derrida formula for a general class of reaction terms. We study the effect of a cut-off on the speed of pulled fronts of the one dimensional reaction diffusion equation. We prove rigorous upper and lower bounds on the speed in terms of the cut-off parameter epsilon. From these bounds we estimate the range of validity of the Brunet--Derrida formula for a general class of reaction terms. △ Less

Submitted 14 October, 2010; originally announced October 2010.

Comments: LaTeX, 17 pages, 1 figure

MSC Class: 35K57

Stability of atoms and molecules in an ultrarelativistic Thomas-Fermi-Weizsaecker model

Authors: Rafael D. Benguria, Michael Loss, Heinz Siedentop

Abstract: We consider the zero mass limit of a relativistic Thomas-Fermi-Weizsaecker model of atoms and molecules. We find bounds for the critical nuclear charges that ensure stability. We consider the zero mass limit of a relativistic Thomas-Fermi-Weizsaecker model of atoms and molecules. We find bounds for the critical nuclear charges that ensure stability. △ Less

Submitted 23 October, 2007; originally announced October 2007.

Comments: 8 pages, LaTex

MSC Class: 35P15

Journal ref: J. Math. Phys. 49, 012302 (2008)

The sharp constant in the Hardy-Sobolev-Maz'ya inequality in the three dimensional upper half-space

Authors: Rafael D. Benguria, Rupert L. Frank, Michael Loss

Abstract: It is shown that the sharp constant in the Hardy-Sobolev-Maz'ya inequality on the three dimensional upper half space is given by the Sobolev constant. This is achieved by a duality argument relating the problem to a Hardy-Littlewood-Sobolev type inequality whose sharp constant is determined as well. It is shown that the sharp constant in the Hardy-Sobolev-Maz'ya inequality on the three dimensional upper half space is given by the Sobolev constant. This is achieved by a duality argument relating the problem to a Hardy-Littlewood-Sobolev type inequality whose sharp constant is determined as well. △ Less

Submitted 25 May, 2007; originally announced May 2007.

Comments: 9 pages

A second eigenvalue bound for the Dirichlet Laplacian in hyperbolic space

Authors: Rafael D. Benguria, Helmut Linde

Abstract: Let $Ω$ be some domain in the hyperbolic space $\Hn$ (with $n\ge 2$) and $S_1$ the geodesic ball that has the same first Dirichlet eigenvalue as $Ω$. We prove the Payne-Pólya-Weinberger conjecture for $\Hn$, i.e., that the second Dirichlet eigenvalue on $Ω$ is smaller or equal than the second Dirichlet eigenvalue on $S_1$. We also prove that the ratio of the first two eigenvalues on geodesic b… ▽ More Let $Ω$ be some domain in the hyperbolic space $\Hn$ (with $n\ge 2$) and $S_1$ the geodesic ball that has the same first Dirichlet eigenvalue as $Ω$. We prove the Payne-Pólya-Weinberger conjecture for $\Hn$, i.e., that the second Dirichlet eigenvalue on $Ω$ is smaller or equal than the second Dirichlet eigenvalue on $S_1$. We also prove that the ratio of the first two eigenvalues on geodesic balls is a decreasing function of the radius. △ Less

Submitted 11 November, 2005; originally announced November 2005.

MSC Class: 35P15; 49Rxx; 58Jxx

A second eigenvalue bound for the Dirichlet Schroedinger operator

Authors: Rafael D. Benguria, Helmut Linde

Abstract: Let $λ_i(Ω,V)$ be the $i$th eigenvalue of the Schrödinger operator with Dirichlet boundary conditions on a bounded domain $Ω\subset \R^n$ and with the positive potential $V$. Following the spirit of the Payne-Pólya-Weinberger conjecture and under some convexity assumptions on the spherically rearranged potential $V_\star$, we prove that $λ_2(Ω,V) \le λ_2(S_1,V_\star)$. Here $S_1$ denotes the bal… ▽ More Let $λ_i(Ω,V)$ be the $i$th eigenvalue of the Schrödinger operator with Dirichlet boundary conditions on a bounded domain $Ω\subset \R^n$ and with the positive potential $V$. Following the spirit of the Payne-Pólya-Weinberger conjecture and under some convexity assumptions on the spherically rearranged potential $V_\star$, we prove that $λ_2(Ω,V) \le λ_2(S_1,V_\star)$. Here $S_1$ denotes the ball, centered at the origin, that satisfies the condition $λ_1(Ω,V) = λ_1(S_1,V_\star)$. Further we prove under the same convexity assumptions on a spherically symmetric potential $V$, that $λ_2(B_R, V) / λ_1(B_R, V)$ decreases when the radius $R$ of the ball $B_R$ increases. We conclude with several results about the first two eigenvalues of the Laplace operator with respect to a measure of Gaussian or inverted Gaussian density. △ Less

Submitted 9 November, 2005; originally announced November 2005.

MSC Class: 35P15; 49Rxx; 81Q10

Binding threshold for the Pauli-Fierz operator

Authors: Rafael D. Benguria, Semjon Vugalter

Abstract: For the Pauli-Fierz operator with a short range potential we study the binding threshold as a function of the fine structure constant $α$ and show that it converges to the binding threshold for the Schrödinger operator in the small $α$ limit. For the Pauli-Fierz operator with a short range potential we study the binding threshold as a function of the fine structure constant $α$ and show that it converges to the binding threshold for the Schrödinger operator in the small $α$ limit. △ Less

Submitted 16 September, 2004; originally announced September 2004.

MSC Class: 81Q99

H^+_2$ in a strong magnetic field described via a solvable model

Authors: R. D. Benguria, R. Brummelhuis, P. Duclos, S. Perez-Oyarzun

Abstract: We consider the hydrogen molecular ion $H^+_2$ in the presence of a strong homogeneous magnetic field. In this regime, the effective Hamiltonian is almost one dimensional with a potential energy which looks like a sum of two Dirac delta functions. This model is solvable, but not close enough to our exact Hamiltonian for relevant strenght of the magnnetic field. However we show that the correct v… ▽ More We consider the hydrogen molecular ion $H^+_2$ in the presence of a strong homogeneous magnetic field. In this regime, the effective Hamiltonian is almost one dimensional with a potential energy which looks like a sum of two Dirac delta functions. This model is solvable, but not close enough to our exact Hamiltonian for relevant strenght of the magnnetic field. However we show that the correct values of the equilibrium distance as well as the binding energy of the ground state of the ion, can be obtained when incorporating perturbative corrections up to second order. Finally, we show that $ He_2^{3+}$ exists for sufficiently large magnetic fields. △ Less

Submitted 17 March, 2004; originally announced March 2004.

MSC Class: 46N50

Connection between the Lieb--Thirring conjecture for Schroedinger operators and an isoperimetric problem for ovals on the plane

Authors: Rafael D. Benguria, Michael Loss

Abstract: To determine the sharp constants for the one dimensional Lieb--Thirring inequalities with exponent gamma in (1/2,3/2) is still an open problem. According to a conjecture by Lieb and Thirring the sharp constant for these exponents should be attained by potentials having only one bound state. Here we exhibit a connection between the Lieb--Thirring conjecture for gamma=1 and an isporimetric inequal… ▽ More To determine the sharp constants for the one dimensional Lieb--Thirring inequalities with exponent gamma in (1/2,3/2) is still an open problem. According to a conjecture by Lieb and Thirring the sharp constant for these exponents should be attained by potentials having only one bound state. Here we exhibit a connection between the Lieb--Thirring conjecture for gamma=1 and an isporimetric inequality for ovals in the plane. △ Less

Submitted 17 February, 2004; originally announced February 2004.

Comments: 9 pages, LaTex

MSC Class: 81Q10 (primary); 53A04; 49R50 (secondary)

Asymptotic properties of the differential equation $h^3(h''+h')=1$

Authors: J. Asch, R. D. Benguria, P. Šťovíček

Abstract: We derive the form of the asymptotic series, as $t\to +\infty$, for a general solution $h(t)$ of the non-linear differential equation $h(t)^{3}(h''(t)+h'(t))=1$. We derive the form of the asymptotic series, as $t\to +\infty$, for a general solution $h(t)$ of the non-linear differential equation $h(t)^{3}(h''(t)+h'(t))=1$. △ Less

Submitted 24 October, 2001; originally announced October 2001.

A Sharp Bound for the Ratio of the First Two Dirichlet Eigenvalues of a Domain in a Hemisphere of S^n

Authors: Mark S. Ashbaugh, Rafael D. Benguria

Abstract: For a domain $Ω$ contained in a hemisphere of the $n$-dimensional sphere $\SS^n$ we prove the optimal result $λ_2/λ_1(Ω) \le λ_2/λ_1(Ω^{\star})$ for the ratio of its first two Dirichlet eigenvalues where $Ω^{\star}$, the symmetric rearrangement of $Ω$ in $\SS^n$, is a geodesic ball in $\SS^n$ having the same $n$-volume as $Ω$. We also show that $λ_2/λ_1$ for geodesic balls of geodesic radius… ▽ More For a domain $Ω$ contained in a hemisphere of the $n$-dimensional sphere $\SS^n$ we prove the optimal result $λ_2/λ_1(Ω) \le λ_2/λ_1(Ω^{\star})$ for the ratio of its first two Dirichlet eigenvalues where $Ω^{\star}$, the symmetric rearrangement of $Ω$ in $\SS^n$, is a geodesic ball in $\SS^n$ having the same $n$-volume as $Ω$. We also show that $λ_2/λ_1$ for geodesic balls of geodesic radius $θ_1$ less than or equal to $π/2$ is an increasing function of $θ_1$ which runs between the value $(j_{n/2,1}/j_{n/2-1,1})^2$ for $θ_1=0$ (this is the Euclidean value) and $2(n+1)/n$ for $θ_1=π/2$. Here $j_{ν,k}$ denotes the $k^{th}$ positive zero of the Bessel function $J_ν(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 $\SS^n$ and having a fixed value of $λ_1$ the one with the maximal value of $λ_2$ is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for $λ_2/λ_1$. Various other results for $λ_1$ and $λ_2$ of geodesic balls in $\SS^n$ are proved in the course of our work. △ Less

Submitted 11 August, 2000; originally announced August 2000.

Comments: 37 pages. This paper is to appear in the Trans. Amer. Math. Soc

MSC Class: Primary 58G25; Secondary 35P15; 49Rxx; 33C55