arxiv: v1 [math.sp] 13 Oct 2010

Transcription

1 GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL arxiv:.2683v [math.sp] 3 Oct 2 Abstract. We study the eigenvalues of the Dirichlet Laplace operator on an arbitrary bounded, open set in R d, d 2. In particular, we derive upper bounds on Riesz means of order σ 3/2, that improve the sharp Berezin inequality by a negative second term. This remainder term depends on geometric properties of the boundary of the set and reflects the correct order of growth in the semi-classical limit. Under certain geometric conditions these results imply new lower bounds on individual eigenvalues, which improve the Li-Yau inequality.. Introduction Let Ω R d be an open set and let denote the Dirichlet Laplace operator on L 2 Ω), defined as a self-adjoint operator with form domain H Ω). We assume that the volume of Ω, denoted by Ω, is finite. Then the embedding H Ω) L2 Ω) is compact and the spectrum of is discrete: It consists of positive eigenvalues < λ λ 2 λ 3... accumulating at infinity only. Here we are interested in upper bounds on the Riesz means Λ λ k ) σ = Tr Λ) σ, σ, k where we use the notation x ± = x ±x)/2. In 972 Berezin proved that, convex eigenvalue means are bounded uniformly by the corresponding phase-space volume, see [Ber72]: For any open set Ω R d, σ, and all Λ > Tr Λ) σ 2π) d Ω R d p 2 Λ ) σ dpdx = Lcl σ,d Ω Λσd/2,.) see also [LY83], where the problem is treated from a different point of view. Here L cl σ,d denotes the so-called Lieb-Thirring constant L cl σ,d = Γσ ) 4π) d/2 Γσ d/2). The Berezin inequality.) captures, in particular, the well-known asymptotic limit that goes back to Hermann Weyl [Wey2]: For Ω R d and σ the asymptotic identity Tr Λ) σ = Lcl σ,d Ω Λσd/2 o Λ σd/2).2) holds true as Λ. From this follows, that the Berezin inequality is sharp, in the sense that the constant in.) cannot be improved. However, Hermann Weyl s work stimulated 2 Mathematics Subject Classification. Primary 35P5; Secondary 47A75.

2 2 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL further analysis of the asymptotic formula and.2) was gradually improved by studying the second term, see [CH24, Hör68, Ivr8, Mel8, SV97, Ivr98] and references within. The precise second term was found by Ivrii [Ivr8]: Under appropriate conditions on the set Ω and its boundary Ω the relation Tr Λ) σ = Lcl σ,d Ω Λσd/2 4 Lcl σ,d Ω Λσd )/2 o Λ σd )/2).3) holds as Λ. To simplify notation we write Ω for the volume the d-dimensional Lebesgue measure) of Ω, as well as Ω for the d -dimensional surface area of its boundary. Since the second term of this semi-classical limit is negative, the question arises, whether the Berezin inequality.) can be improved by a negative remainder term. Recently, several such improvements have been found, initially for the discrete Laplace operator, see [FLU2]. The first result for the continuous Laplace operator is due to Melas [Mel3]. From his work follows that ) Tr Λ) σ Lcl σ,d Ω Ω σd/2 Λ M d, Λ >, σ,.4) IΩ) where M d is a constant depending only on the dimension and IΩ) denotes the second moment of Ω, see also[ily9,yol9] for further generalisations. One should mention, however, that these corrections do not capture the correct order in Λ from the second term of the asymptotics.3). This was improved in the two-dimensional case in [KVW9], where it is shown that one can choose the order of the correction term arbitrarily close to the correct one. In this paper we are interested in the case σ 3/2. For these values of σ it is known, [Wei8], that one can strengthen the Berezin inequality for any open set Ω R d with a negative remainder term reflecting the correct order in Λ in comparison to the second term of.3). However, since one can increase Ω without changing the individual eigenvalues λ k significantly, a direct analog of the first two terms of the asymptotics.3) cannot yield a uniform bound on the eigenvalue means. Therefore - without further conditions on Ω - any uniform improvement of.) must invoke other geometric quantities. In the result from [Wei8] the remainder term involves certain projections on d - dimensional hyperplanes. In [GW] a universal improvement of.) was found, that holds for σ 3/2 with a correction term of correct order, depending only on the volume of Ω. The proof of the aforementioned results relies on operator-valued Lieb-Thirring inequalities [LW] and an inductive argument, that allows to reduce the problem to estimating traces of the one-dimensional Dirichlet Laplace operator on open intervals. In this paper we use the same approach, but with new estimates in the one-dimensional case, in order to make the dependence on the geometry more transparent. The new onedimensional bounds involve the distance to the boundary of the interval in question and are related to Hardy-Lieb-Thirring inequalities for Schrödinger operators, see [EF6]. There it is shown that for σ /2 and potentials V L σ/2 R ), given on the half-line R =, ), the inequality ) σ Tr d2 dt 2 V L σ Vt) ) σ/2 4t 2 dt

3 GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES 3 holds true, with a constant L σ independent of V. For further developments see [FLS8, Fra9]. We start this paper with analysing the special case of the Dirichlet Laplace operator given on a finite interval I R, with the constant potential V Λ. For σ we establish that the estimate ) σ Tr d2 dt 2 Λ L cl σ, Λ ) σ/2 I 4δt) 2 dt is valid with the sharp constant L cl σ,, where δt) denotes the distance to the boundary of I. This is done in section 2. Then we can use results from [LW, Wei8] to deduce bounds in higher dimensions: In section 3 we first derive improvements of.), which are valid for any open set Ω R d, d 2. These improvements depend on the geometry of Ω. In view of the asymptotic result.3) one might expect, that this geometric dependence can be expressed in terms of the boundary of Ω. To see this, we adapt methods, which were used in [Dav94, Dav99, HHL2] to derive geometric versions of Hardy s inequality. Here the result gives an improved Berezin inequality with a correction term of correct order depending on geometric properties of the boundary. If Ω is convex and smooth this dependence can be expressed only in terms of Ω, Ω and the curvature of the boundary. In particular the first remainder term of the estimate is very similar to the second term of the semiclassical asymptotics.3): it shows the same order in Λ and it depends only on the surface area of the boundary. In section 4 we return to the general case, where Ω R d is not necessarily convex or smooth, and obtain lower bounds on individual eigenvalues λ k. Under certain conditions on the geometry of Ω these results improve the estimate λ k C d d d2 k Ω ) 2/d,.5) from [LY83], where C d denotes the semi-classical constant 4πΓd/2) 2/d. Finally, in section 5, we specialise to the two-dimensional case, where we can use the foregoing results and refined geometric considerations to further improve and generalise the inequalities. In particular, we avoid dependence on curvature, thus we do not require smoothness of the boundary. The question whether such improved estimates can be generalised to σ < 3/2 remains open. 2. One-dimensional considerations Let us consider an open interval I R of length l >. For t I let δt) = inf{ t s : s / I} be the distance to the boundary. The eigenvalues of d 2 /dt 2 subject to Dirichlet boundary conditions at the endpoints of I are given by λ k = k 2 π 2 /l 2. Therefore the Riesz means equal ) σ Tr d2 dt 2 Λ = Λ k2 π 2 ) σ l 2. k

4 4 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL To find precise bounds on the Riesz means in the one-dimensional case, it suffices to analyse this sum explicitly. Our main observation is Lemma. Let I R be an open interval and σ. Then the estimate ) σ Tr d2 dt 2 Λ L cl σ, Λ ) σ/2 4δt) 2 dt, holds true for all Λ >. The constant /4 cannot be improved. The remainder of this section deals with the proof of this estimate. First we need two rather technical results, whose proof is elementary but not trivial and therefore will be given in the appendix. Lemma 2. For all A /π ) k2 A 2 k 2 3π I πa s 2 ) 3/2 ds. 2.) Lemma 3. Let I R be an open interval of length l >. Then for σ and c > L cl σ, Λ c ) σ/2 I δt) 2 dt Λ π2 k 2 ) σ ) l 2 = k 2 c Λ σ oλ σ ) holds as Λ. Proof of Lemma. Note that one can always assume I =,l), where l > denotes the length of the interval. First we deduce the estimate for σ = from Lemma 2. Assume Λ l 2 and apply Lemma 2 with A = l Λ/π to get ) π2 k 2 ) l Λ Tr d2 dt 2 Λ = Λ k Substituting s = 2t Λ, we find that ) Tr d2 dt 2 Λ 4 l/2 3π /2 Λ) l 2 Λ Λ 2 3π Λ ) 3/2 4t 2 dt = 2L cl, s 2 ) 3/2 ds. l/2 Λ ) 3/2 4t 2 dt holds for all Λ l 2. Note that this inequality is trivially true for < Λ < l 2, since the left hand side is zero. Finally, we use the identities l/2 Λ ) 3/2 l ) 3/2 4t 2 dt = Λ l/2 4l t) 2 dt = l Λ ) 3/2 2 4δt) 2 dt to finish the proof for σ =. To deduce the claim for σ > we can apply a method from [AL78]. Writing we estimate Tr d2 dt 2 Λ k Λ λ k ) σ = B2,σ ) ) σ B2,σ ) Lcl, = L cl B5/2,σ ), B2,σ ) τ σ 2 k I I Λ τ λ k ) dτ, τ σ 2 Λ Λ 4δt) 2 ) 3/2 4δt) 2 τ ) σ/2 dt dτ dt

5 GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES 5 and the result follows from the identity L cl,b5/2,σ ) = Lcl σ,b2,σ ). The claim, that the constant /4 cannot be improved, follows from Lemma 3: For c = /4 the leading term of the asymptotics in Lemma 3 vanishes. For any constant c > /4 the leading term is negative, thus the estimate from Lemma must fail in this case, for large values of Λ. Figure illustrates the results of Lemma and Lemma 3 for l = π 2 and σ = with the sharp constant c = /4: The function π fλ) = L cl, Λ ) 3/2 4δt) 2 dt Λ k 2 ) k is plotted for < Λ < 2, so that the first ten minima are shown Figure. The function fλ), illustrating the results from section Results in higher dimensions In this section we use the one-dimensional result to prove uniform eigenvalue estimates for the Dirichlet Laplace operator in bounded open sets in higher dimensions. These estimates - refinements of the Berezin inequality.) - depend on the geometry of the set, in particular on properties of the boundary. 3.. Arbitrary open sets. First we provide general estimates, valid for any open subset Ω R d, d 2. Let { } S d = x R d : x = denote the unit-sphere in R d. For an arbitrary direction u S d and x Ω set θx,u) = inf{t > : xtu / Ω}, dx,u) = inf{θx,u),θx, u)} and lx,u) = θx,u)θx, u).

6 6 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL Theorem 4. Let Ω R d be an open set and let u S d and σ 3/2. Then for all Λ > the estimate ) Tr Λ) σ σd/2 Lcl σ,d Λ Ω 4dx,u) 2 dx 3.) holds true. Remark. Let us define l = inf sup lx,u). 3.2) u S d x Ω Then Theorem 4 implies the following improvement of Melas-type: For σ 3/2 and all Λ > the estimate Tr Λ) σ Lcl σ,d Ω Λ ) σd/2 l 2 3.3) holds. In convex domains l is the minimal width of the domain, see [BF48]. In this case /l 2 is bounded from below by a multiple of Ω 2/d, [YB6], while no such bound holds for the improving term Ω /IΩ) in Melas inequality.4). The proof of Theorem 4 relies on a lifting technique, which was introduced in [Lap97], see also [LW, ELW4, Wei8, FL8] for further developments and applications. Proof of Theorem 4. We apply the argument used in [Wei8] to reduce the problem to onedimensionalestimates. FixaCartesiancoordinatesysteminR d, suchthatthegivendirection u corresponds to the vector,...,,). For x R d write x = x,t) R d R and let and denote the gradient and the Laplace operator in the first d dimensions. Each section Ωx ) = {t R : x,t) Ω} consists of at most countably many open intervals J k x ) R, k =,...,Nx ). We consider the quadratic form of Λ on functions ϕ from the form core C Ω) and write ϕ 2 L 2 Ω) Λ ϕ 2 L 2 Ω) = ϕ 2 L 2 Ω) dx R d Ωx ) t ϕ 2 Λ ϕ 2) dt. The functions ϕx, ) satisfy Dirichlet boundary conditions at the endpoints of each interval J k x ) forming Ωx ), hence Ωx ) t ϕ 2 Λ ϕ 2) dt = Nx ) k= J k x ) t ϕ 2 Λ ϕ 2) dt Nx ) V k x )ϕx, ),ϕx, ) L 2 J k x )), k= where the bounded, non-negative operators V k x,λ) = 2 t Λ) are the negative parts of the Sturm-Liouville operators 2 t Λ with Dirichlet boundary conditions on J kx ). Let Vx,Λ) = Nx ) k= V k x,λ)

7 GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES 7 be the negative part of t 2 Λ on Ωx ) subject to Dirichlet boundary conditions on the endpoints of each interval J k x ), k =,...,Nx ), that is on Ωx ). Then t ϕ 2 Λ ϕ 2) dt Vx,Λ)ϕx, ),ϕx, ) L 2 Ωx )) and consequently Ωx ) ϕ 2 L 2 Ω) Λ ϕ 2 L 2 Ω) ϕ 2 L 2 Ω) R d dx Vϕx, ),ϕx, ) L 2 Ωx )). Now we can extend this quadratic form by zero to C R d \ Ω ), which is a form core for R d \Ω) Ω Λ). This operator corresponds to the left hand side of the equality above, while the semi-bounded form on the right hand side is closed on the larger domain H R d,l 2 R) ), where it corresponds to the operator I Vx,Λ) on L 2 ) R d,l 2 R). 3.4) Due to the positivity of R d \Ω we can use the variational principle to deduce that for any σ ) ) σ Tr Ω Λ) σ = Tr R d \Ω Ω Λ) Tr I Vx,Λ) ) σ. Now we apply sharp Lieb-Thirring inequalities [LW] to the Schrödinger operator 3.4) with the operator-valued potential Vx,Λ) and obtain that for σ 3/2 Tr Ω Λ) σ Lcl σ,d TrVx,Λ) σd )/2 dx. 3.5) R d To estimate the trace of the one-dimensional differential operator Vx,Λ) we apply Lemma. Our choice of coordinate system implies that for x = x,t) J k x ) the distance of t to the boundary of the interval J k x ) is given by dx,u). Hence, Lemma implies TrVx,Λ) σd )/2 = Nx ) k= Tr dt 2 Λ Jk x ) d2 L cl σd )/2, Ωx ) ) σd )/2 Λ 4dx,t),u) ) σd/2 and the result follows from 3.5) and the identity L cl σ,d Lcl σd )/2, = Lcl σ,d. We proceed to analysing the geometric properties of 3.). Note that the left hand side of 3.) is independent of the choice of direction u S d, while the right hand side depends on u and therefore on the geometry of Ω. For a given set Ω one can minimise the right hand side in u S d. The result, however, depends on the geometry of Ω in a rather tricky way. In order to make this geometric dependence more transparent, we average the right hand side of 3.) over u S d. Even though the resulting bound is - in general - not as precise as 3.), it allows a more appropriate geometric interpretation. To analyse the effect of the boundary, one would like to estimate dx,u) in terms of the distance to the boundary, see [Dav94, Dav99, HHL2], where this approach is used to derive geometrical versions of Hardy s inequality. To avoid complications that arise, for example, dt

8 8 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL if the complement of Ω contains isolated points, we use slightly different notions: For x Ω let Ωx) = {y Ω : xty x) Ω, t [,]} be the part of Ω that can be seen from x and let { } δx) = inf y x : y / Ωx) denote the distance to the exterior of Ωx). For fixed ε > put { } A ε x) = a R d \Ωx) : x a < δx)ε and for a A ε x) set B x a) = {y R d : y a < x a } and ρ a x) = B xa)\ωx) ω d x a d, where ω d denotes the volume of the unit ball in R d. To get a result, independent of a and ε, set ρx) = inf sup ρ a x). ε> a A εx) Note that R d \Ωx) is open, hence ρ a x) > and ρx) > hold for x Ω. Finally, we define M Ω Λ) = ρx)dx, R Ω Λ) where R Ω Λ) Ω denotes the set {x Ω : δx) < /4 Λ)}. The main result of this section allows a geometric interpretation of the remainder term: Theorem 5. Let Ω R d be an open set with finite volume and σ 3/2. Then for all Λ > we have Tr Λ) σ Lcl σ,d Ω Λσd/2 L cl σ,d 2 d Λ σd/2 M Ω Λ). 3.6) The function ρx) depends on the behaviour of the boundaryclose to x Ω. For example, ρx) is small close to a cusp. On the other hand ρx) is larger than /2 in a convex domain. By definition, the function M Ω Λ) gives an average of this behaviour over R Ω Λ), which is like a tube of width /4 Λ) around the boundary. Note that M Ω Λ) tends to zero as Λ tends to infinity. This decay in Λ is of the order δ M d)/2, where δ M denotes the interior Minkowski dimension of the boundary, see e.g. [Lap9,FV93,FLV95] for definition and examples. If d δ M < d and if the upper Minkowski content of the boundary is finite, then the second term of the asymptotic limit of the Riesz means equals O Λ σδ M/2 ) as Λ, see [Lap9]. Therefore the remainder term in 3.6) reflects the correct order of growth in the asymptotic limit. In particular, if the dimension of the boundary equals d, we find M Ω Λ) = Ω Λ /2 oλ /2 ) as Λ and the second term in 3.6) is in close correspondence with the asymptotic formula.3).

9 GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES 9 Proof of Theorem 5. We start from the result of Theorem 4 and average over all directions to get ) Tr Λ) σ σd/2 Lcl σ,d Λσd/2 Ω S d 4Λdx,u) 2 dνu) dx, 3.7) where dνu) denotes the normed measure on S d. For x Ω and a / Ωx) let Θx,a) S d be the subset of all directions u S d, satisfying xsu B x a)\ωx) for some s >. For such s we have By definition of ρ a x) and Θx,a) we find hence ρ a x)ω d x a d = B x a)\ωx) Θx,a) s 2 x a. 3.8) Θx,a) dνu)ω d 2 x a ) d, dνu) 2 d ρ a x). 3.9) Using 3.8) we also see that for u Θx,a) the estimate dx,u) s 2 x a holds. Now fix Λ > and choose < ε < /4 Λ) and a A ε x). By definition of A ε x) it follows that for all u Θx,a) dx,u) 2 x a < 2δx)ε). 3.) The set Θx,a) must be contained in one hemisphere of S d which we denote by S d. Using that dx,u) = dx, u) we estimate S d 4Λdx,u) 2 ) σd/2 dνu) = 2 S d 2 Assume that δx) /4 Λ) ε. From 3.) it follows that { Θx,a) u S d : dx,u) /2 } Λ), hence, using 3.9), we conclude 4Λdx,u) 2 S d S d ) σd/2 Since a A ε x) was arbitrary we arrive at 4Λdx,u) 2 ) σd/2 4Λdx,u) 2 dνu) {u S d :dx,u) /2 Λ)} dνu). dνu) 2 dνu) 2 d ρ a x). Θx,a) ) σd/2 dνu) 2 d ρx), for all x Ω with δx) /4 Λ) ε and we can take the limit ε. It follows that ) σd/2 Ω S d 4Λdx,u) 2 dνu)dx Ω 2 d {x Ω:δx)</4 Λ)} ρx)dx and inserting this into 3.7) yields the claimed result.

10 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL 3.2. Convex domains. If Ω R d is convex, we have Ωx) = Ω and ρx) > /2 3.) for all x Ω. Thus we can simplify the remainder term, by estimating M Ω Λ). Corollary 6. Let Ω R d be a bounded, convex domain with smooth boundary and assume that the curvature of Ω is bounded from above by /R. Then for σ 3/2 and all Λ > we have Tr Λ) σ Lcl σ,d Ω Λσd/2 L cl σ,d 2 d 2 Ω Λ σd )/2 Proof. Inserting 3.) into the definition of M Ω Λ) yields M Ω Λ) > dx. 2 R Ω Λ) Let Ω t = {x Ω : δx) > t} be the inner parallel set of Ω and write /4 Λ) dx = R Ω Λ) {x Ω:δx)</4 Λ)} dx = Ω t dt. d ) 4R Λ s ds. Now we can use Steiner s Theorem, see [Gug77, vdb84], namely Ω t d ) R t Ω. 3.2) It follows that M Ω Λ) > /4 Λ) 2 Ω d ) R t dt = Ω 8 d ) Λ 4R Λ s ds. Inserting this into 3.6) completes the proof. Let us single out the case where Ω = B r is a ball in R d with radius r >. Note that the first eigenvalue of the Dirichlet Laplace operator on B r is given by λ B r ) = πj 2 d/2, Γd/2) 2/d B r 2/d, wherej d/2, denotes the firstzeroof thebessel function J d/2. Again, wehave to estimate M Ω Λ) > 2 Instead of 3.2) we can now use that /4 Λ) B r ) t = B r and conclude that for σ 3/2 and Λ > B r ) t dt. t ) d r Tr Λ) σ Lcl σ,d B r Λ σd/2 L cl σ,d 2 d 2 B r s ) d 4r dsλ σd )/2. Λ We note that Tr Λ) σ = for Λ λ B r ). For Λ > λ B r ) we apply the foregoing inequality withσ = 3/2. Thenthemethodfrom[AL78] yields that forσ 3/2theinequality Tr Λ) σ Lcl σ,d B r Λ σd/2 C ba L cl σ,d B r Λ σd )/2 3.3)

11 GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES holds with a constant C ba = j d/2, Γd4)/2) 2 d dπ /2 Γd5)/2) 4j d/2, ) d ) >. 4. Lower bounds on individual eigenvalues In order to further estimate the remainder terms, in particular to show that the remainder is negative for all Λ λ Ω) - as in 3.3) for the ball - one needs suitable bounds on the groundstate λ Ω). We point out the following consequence of theproof of Theorem 4 which might be of independent interest. Corollary 7. For any open set Ω R d the estimate holds, where l is given in 3.2). λ Ω) π2 l 2 Proof. Fix ε > and choose a direction u S d, such that sup x Ω lx,u ) < l ε. We write x = x,t) R d R, where the t-axes is chosen in the direction of u. Let us recall inequality 3.5) from the proof of Theorem 4: For any σ 3/2 Tr Λ) σ Lcl σ,d TrVx,Λ) σd )/2 dx, R d where Vx,Λ) denotes the negative part of the operator t 2 Λ on Ωx ) = Nx ) k= J k x ) with Dirichlet boundary conditions at the endpoints of each interval J k x ). This inequality can be rewritten as Tr Λ) σ Lcl σ,d R d Nx ) k= Λ π2 j 2 j N J k x ) 2 ) σd )/2 Our choice of coordinate system implies J k x ) sup x Ω lx,u ) < l ε for all k =,...,Nx ) and all x R d. It follows that the right hand side of the inequality above is zero for all Λ π 2 /l ε) 2. Thus by taking the limit ε we find Λ λ n ) σ = Tr Λ)σ =, n N for all Λ π 2 /l 2 and λ π 2 /l 2 follows. From 3.3) we obtain similar bounds on higher eigenvalues using a method introduced in [Lap97]. Corollary 8. For any open set Ω R d with finite volume and any k N the estimate dx. holds, with λ k Ω) C d 2 π ) /d d d3) /d Γd3)/2) Γd/2) C d = 4πΓd/2) 2/d. ) 2/d k 2/d Ω 2/d l 2

12 2 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL Proof. Let NΛ) = Tr Λ) denote the counting function of the eigenvalues below Λ >. In [Lap97] it is shown that for σ >, and all Λ >, τ > NΛ) τλ) σ Tr τ)λ) σ. 4.) If we apply this inequality with σ = 3/2, we can use 3.3) to estimate NΛ) L cl τ)d3)/2 3/2,d Ω Λd/2 τ 3/2 Λτ)l 2 ) d3)/2 Minimising the right hand side in τ > yields τ min = 3Λl 2 )/dλl2 ) and inserting this we find NΛ) L cl d3)d3)/2 3/2,d Ω 3 3/2 d d/2 Λ ) d/2 l 2. This is equivalent to the claimed result. Remark. Applying the same method to.) with σ = we recover the Li-Yau inequality.5). In the proof of Corollary 8 we have to start from σ = 3/2, therefore the result is not strong enough to improve.5) in general, but one gets improvements for low eigenvalues whenever l is small. 5. Further improvements in dimension 2 In this section we further improve Corollary 6 and generalise it to a large class of bounded convex domains Ω R 2. Here we do not require smoothness, therefore we cannot use 3.2) to estimate inner parallels of the boundary. To find a suitable substitute let w denote the minimal width of Ω and note that for l given in 3.2) the identity w = l holds true, see e.g. [BF48]. In the remainder of this section we assume that for all t > Ω t 3t ) Ω. 5.) w This is true for a large class of convex domains, including the circle, regular polygons and arbitrary triangles. Actually we conjecture that 5.) holds true for all bounded convex domains in R 2. Furthermore we need a lower bound on the ground state. From Corollary 7 we obtain that for all convex domains Ω R 2 λ Ω) π2 w 2 5.2) holds. One should mention, that the same estimate can be obtained from the inequality λ Ω) π 2 /4r 2 in ), see [Oss77], where r in is the inradius of Ω. Using similar but more precise methods as in the proof of Theorem 5 we get Theorem 9. Let Ω R 2 be a bounded, convex domain, satisfying 5.). Then for σ 3/2 we have Tr Λ) σ = if Λ π2 /w 2 and Tr Λ) σ Lcl σ,2 Ω Λσ C co L cl σ, Ω Λσ/2 if Λ > π 2 /w 2,.

13 GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES 3 with a constant C co 9π 2 3 2π 4 2 ) 4π 5π 2 ln 3 >.642. Proof. The first claim follows directly from 5.2), thus we can assume Λ > π 2 /w 2. First we prove the result for σ = 3/2. Again we can start from 3.7) and we need to estimate dx,u) in terms of δx), which is just the distance to the boundary, since Ω is convex. Fix x Ω. Since Ω is convex and smooth we can choose u S d, such that dx,u ) = δx). We can assume u =,,...,) and put S d = { u R d : u > }. Let a be the intersection point of the semi-axes {xtu,t > } with Ω and for arbitrary u S d let b u be the intersection point of {xtu,t > } with the plane through a, orthogonal to u. We find dx,u) x b u and if θ u denotes the angle between u and u, we find dx,u) x b u = x a cosθ u = δx) cosθ u. Using 3.7) and taking into account that dx,u) = dx, u) we can estimate Tr Λ) 3/2 L cl 2 π/2 ) 5/2 3/2,2 Λ5/2 cos2 θ) Ω π θ 4Λδx) 2 dθdx π/2 ) Λ5/2 5π 2 cos2 θ) 2Λδx) 2 cos4 θ) 6Λ 2 δx) 4 dθdx, 5.3) Ω θ where θ = if δx) /2 Λ) and θ = arccos2δx) Λ) if δx) < /2 Λ). We set u = min,2δx) Λ) and calculate π/2 ) cos2 θ) θ 2Λδx) 2 cos4 θ) 6Λ 2 δx) 4 dθ = π 2 θ arcsinu ) u u 2 4Λδx) 2 3arcsinu ) u 2u 2 3 ) u 2 28Λ 2 δx) 4. Inserting this back into 5.3) yields where and I 2 = I = Tr Λ) 3/2 π Ω Λ5/2 Λ 5/2 I I 2 ), 5.4) {δx) /2 Λ)} π 4Λδx) Λ 2 δx) 4 ) dx {δx)</2 Λ)} 5π 2 arccos2 Λδx)) arcsin2 Λδx)) 4Λδx) 2 4Λδx) 2 2 Λδx) 3arcsin2 ) Λδx)) 28Λ 2 δx) 4 8Λδx)2 3) 4Λδx) 2 64Λ 3/2 δx) 3 dx. First we turn to I = ) π /2 Ω t Λ) 4Λt Λ 2 t 4 dt.

14 4 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL Note that the term in brackets is positive, thus after substituting s = 2 Λt we can use 5.) and Λ > π 2 /w 2 to obtain Ω I 3s ) 2π Λ 2π s 2 3 ) 8s 4 ds = Similarly we can treat I 2 and get Ω 7 2π Λ π 27 28π 3 3 2π ln I 2 π 2 Ω Λ π 6 3 2π In view of L cl 3/2, = 3/6 we can write I I 2 L cl Ω 3/2, Λ 9π 2 3 2π 4 2 5π 2 ln )) 2π. 3 ) arcsins) ds. s ) 2π 2 ) 3 5π 2 ln2) and inserting this into 5.4) yields the claim in the case σ = 3/2. To prove the estimate for σ > 3/2 we again refer to [AL78] and use the identity Tr Λ) σ = Bσ 3/2,5/2) from which the general result follows. τ σ 5/2 Tr Λ τ)) 3/2 dτ, Now we can apply the same arguments that lead to Corollary 8 to derive lower bounds on individual eigenvalues. Corollary. Let Ω R 2 be a bounded, convex domain, satisfying 5.). Then for k N and any α,) the estimate λ k Ω) α k πα3/2 Ω 5πC co Ω πα 8 Ω 3/2 k Ω 225π2 Cco 2 Ω Ω 2 225π2 Cco 2 Ω 2 28 Ω 2 holds, with the constant C co given in Theorem 9. Proof. Applying 4.) and Theorem 9 with σ = 3/2 yields NΛ) L cl τ)5/2 3/2,2 Ω Λ τ 3/2 C co L cl 3/2, Ω Λ τ)2 τ 3/2 for any τ > and Λ > π 2 /w 2. With τ = α/ α), α,), this is equivalent to the claimed estimate. Remark. Given a fixed ratio Ω / Ω one can optimise the foregoing estimate in α,), depending on k N. As mentioned in the remark after Corollary 8, the result cannot improve the Li-Yau inequality.5) in general, since we have to apply 4.) with σ = 3/2 instead of σ =. However, the estimates obtained from Corollary are stronger than.5) for low eigenvalues and the improvements depend on the ratio Ω / Ω. In particular, one can use the isoperimetric inequality, namely that Ω 2π Ω ) /2 for all Ω R 2, to derive general improvements of the Li-Yau inequality.5) for low eigenvalues. Indeed, from.5) we get λ k Ω) 2πk Ω,

15 GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES 5 while optimising the estimate of Corollary with Ω = 2π Ω ) /2, we find that for any convex domain, satisfying 5.), λ 2 Ω) > 5.3 Ω > 4π Ω, λ 3Ω) > 2.52 Ω > 6π Ω,..., λ 23Ω) > Ω > 46π Ω. In this way we can improve.5) in convex domains for all eigenvalues λ k Ω) with k 23. Finally let us make a remark about the square Q l =,l),l) R 2, l >. Using the methods introduced in section 2 one can establish the following two-dimensional version of Lemma : Choose a coordinate system x,x 2 ) R 2 with axes parallel to the sides of the square and for x Q l put δx i ) = minx i,l x i ), i =,2. Then for σ and all Λ > the estimate Tr Λ) σ = Λ π2 n 2 l 2 m 2) m,n N l L cl σ,2 holds with a constant C sq > /. l ) σ Λ C sq δx ) ) ) 2 σ δx 2 ) dx dx 2 Appendix A. Proof of Lemma 2 and Lemma 3 A.. Proof of Lemma 2. For A R let A and à denote the integer and fractional part of A respectively. Then we can calculate ) A ) k2 A 2 = k2 k A 2 = A A 3 ) A 2 3 A2 2 A 6 k= = 2A 3 2 6A à Ã) A à 3Ã2Ã2) 6A 2. 3Ã2Ã2 ) From à < we conclude à Ã) /4 and à 3/8 and we get ) k2 k A 2 2A A 8A 2. To estimate the right hand side of 2.) note that ) 3/2 s 2 ds = ) s 2s ) 2 arctan, s 2 thus 2 3π πa ) 3/2 s 2 ds = 2π2 A 2 π 2 A 2 3π 2 A πa Now we can insert the elementary estimates ) arctan and π 2 A 2 πa π arctan π 2 A 2 π 2 A 2 πa 2π 2 A 2 a A 4 ) 2. A.)

16 6 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL both valid for A 2, where we write a = 6 2/π 2 8 4π 2 /π for simplicity. We get 2 πa ) 3/2 3π s 2 ds 2A 3 2 π 2 A 6π 4 A 3 a 2 3 A 3 ) π 2 A 5 A.2) for all A 2. From A.) and A.2) we deduce that 2.) holds true for all A 2, since π 2 ) 3 A A3 6π 4 2a ) A 2 a 3 3π 2 for all A 2. Note that 2.) is trivial for /π A, since the left hand side equals zero. The remaining case A 2 can be checked by hand. A.2. Proof of Lemma 3. We assume I =,l), substitute t = s c/λ and write l Λ c ) σ/2 δt) 2 dt = 2 l Λ/2 c) cλ σ ) σ/2 s 2 ds. The claim of the Lemma follows, if we show that 2 l Λ/2 c) cl cl σ, ) σ/2 s 2 ds k π2 k 2 as Λ. With A = l Λ/π this is equivalent to 2 πa/2 c) cl cl σ, ) σ/2 s 2 ds k2 A 2 k as A. It is easy to see that k2 as A. Moreover, we claim πa/2 c) k A 2 ) σ Λl 2 ) σ ) σ = A 2 B σ, ) 2 2 o) s 2 ) σ/2 ds = πa 2 c 2 B = 2 co) = 2 co) A.3) 2,σ 3 ) o) 2 A.4) as A and A.3) follows from L cl σ, = Bσ,/2)/2π), if we can establish A.4). Let us write ) m s 2 = ) m ) k s 2k = ) k m s 2k k k k k for m and note that the sum is finite if m N, while the sum converges uniformly on s [, ) if m / N. Hence we have y ) m s 2 ds = y ) k m k 2k o) k as y. Using that ) k m k 2k = 2 B 2 ),m k

17 we obtain GEOMETRICAL VERSIONS OF IMPROVED BEREZIN-LI-YAU INEQUALITIES 7 y s ) m 2 ds = y 2 B 2 ),m o) as y, which is equivalent to A.4). This finishes the proof of Lemma 3. References [AL78] M. Aizenman and E.H. Lieb, On semi-classical bounds for eigenvalues of Schrödinger operators, Phys. Lett ), [Ber72] F. A. Berezin, Covariant and contravariant symbols of operators, Izv. Akad. Nauk SSSR Ser. Mat ), [BF48] T. Bonnesen and W. Fenchel, Theorie der konvexen Körper, Chelsea Publishing Company, New York, 948. [CH24] R. Courant and D. Hilbert, Methoden der mathematischen Physik, Springer, Berlin, 924. [Dav94] E. B. Davies, Spectral theory and differential operators, Cambridge Studies in Advances Mathematics, vol. 42, Cambridge University Press, Cambridge, 994. [Dav99], A review of Hardy inequalities, The Maz ya anniversary collection, Vol. 2, Oper. Theory Adv. Appl., vol., Birkhauser, Basel, 999, pp [EF6] T. Ekholm and R. L. Frank, On Lieb-Thirring inequalities for Schrödinger operators with virtual level, Comm. Math. Phys ), [ELW4] P. Exner, H. Linde, and T. Weidl, Lieb-Thirring inequalities for geometrically induced bound states, Lett. Math. Phys. 7 24), no., [FL8] R. L. Frank and A. Laptev, Spectral inequalities for Schrödinger operators with surface potentials, Spectral theory of differential operators, Amer. Math. Soc. Transl. Ser. 2, vol. 225, Amer. Math. Soc., Providence, RI, 28, pp [FLS8] R. L. Frank, E. H. Lieb, and R. Seiringer, Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators, J. Amer. Math. Soc. 2 28), no. 4, [FLU2] J. K. Freericks, E. H. Lieb, and D. Ueltschi, Segregation in the Falicov-Kimball model, Comm. Math. Phys ), no. 2, [FLV95] J. Fleckinger, M. Levitin, and D. Vassiliev, Heat equation on the triadic von Koch snowflake: Asymptotic and numerical analysis, Proc. London Math. Soc ), no. 3, [Fra9] R. L. Frank, A simple proof of Hardy-Lieb-Thirring inequalities, Comm. Math. Phys ), no. 2, [FV93] J. Fleckinger and D. G. Vassiliev, An example of a two-term asymptotics for the counting function of a fractal drum, Trans. Amer. Math. Soc ), no., [Gug77] H. W. Guggenheimer, Differential geometry, New York, Dover, 977. [GW] L. Geisinger and T. Weidl, Universal bounds for traces of the Dirichlet Laplace operator, J. Lond. Math. Soc. doi.2/jlms/jdq33 2). [HHL2] M. HoffmannOstenhof, T. HoffmannOstenhof, and A. Laptev, A geometrical version of Hardy s inequality, J. Funct. Anal ), [Hör68] L. Hörmander, The spectral function of an elliptic operator, Acta Math ), [Ily9] A. A. Ilyin, Lower bounds for the spectrum of the Laplace and Stokes operators, arxiv.org: 99.28v 29). [Ivr8] V. Ya. Ivrii, On the second term of the spectral asymptotics for the Laplace-Beltrami operator on manifolds with boundary, Funtsional. Anal. i Prilozhen. 4 98), no. 2, [Ivr98], Microlocal analysis and precise spectral asymptotics, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 998. [KVW9] H. Kovařík, S. Vugalter, and T. Weidl, Two dimensional Berezin-Li-Yau inequalities with a correction term, Comm. Math. Phys ), no. 3, [Lap9] M. L. Lapidus, Fractal drum, inverse spectral problems for elliptic operators and a partial resolution of the Weyl-Berry conjecture, Trans. Amer. Math. Soc ), no. 2, [Lap97] A. Laptev, Dirichlet and Neumann eigenvalue problems on domains in Euclidean spaces, J. Funct. Anal ), no. 2,

18 8 LEANDER GEISINGER, ARI LAPTEV, AND TIMO WEIDL [LW] A. Laptev and T. Weidl, Sharp Lieb-Thirring inequalities in high dimensions, Acta Math. 84 2), no., 87. [LY83] P. Li and S. T. Yau, On the Schrödinger equation and the eigenvalue problem, Comm. Math. Phys ), no. 3, [Mel8] R. B. Melrose, Weyl s conjecture for manifolds with concave boundary, Geometry of the Laplace operator Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 979). Proc. Sympos. Pure Math., XXXVI, Amer. Math. Soc., Providence, R.I., 98, pp [Mel3] A.D. Melás, A lower bound for sums of eigenvalues of the Laplacian, Amer. Math. Soc 3 23), [Oss77] R. Osserman, A note on Hayman s theorem on the bass note of a drum, Comment. Math. Helv ), no. 4, [SV97] Y. Safarov and D. Vassiliev, The asymptotic distribution of eigenvalues of partial differential operators, Translations of Mathematical Monographs, 55, American Mathematical Society, Providence, RI, 997. [vdb84] M. van den Berg, A uniform bound on trace e t ) for convex regions in R n with smooth boundaries, Comm. Math. Phys ), no. 4, [Wei8] T. Weidl, Improved Berezin-Li-Yau inequalities with a remainder term, Amer. Math. Soc. Transl ), no. 2, [Wey2] H. Weyl, Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Diffenertialgleichungen mit einer Anwendung auf die Theorie der Hohlraumstrahlung), Math. Ann. 7 92), no. 4, [YB6] I. M. Yaglom and V. G. Boltyanski, Convex figures, Holt, Reinahrt and Winston, New York, 96. [Yol9] S. Y. Yolcu, An improvement to a Berezin-Li-Yau type inequatliy for the Klein-Gordon operator, arxiv.org: v 29). Leander Geisinger, Universität Stuttgart, Pfaffenwaldring 57, D Stuttgart address: geisinger@mathematik.uni-stuttgart.de Ari Laptev, Imperial College London, 8 Queen s Gate, London SW7 2AZ, UK address: a.laptev@imperial.ac.uk Timo Weidl, Universität Stuttgart, Pfaffenwaldring 57, D Stuttgart address: weidl@mathematik.uni-stuttgart.de