arxiv:math-ph/ v1 21 Dec 2006

Transcription

1 arxiv:math-ph/6127v1 21 Dec 26 Spectral estimates for two-dimensional Schrödinger operators with application to quantum layers Hynek Kovařík, Semon Vugalter and Timo Weidl Institute of Analysis, Dynamics and Modeling, Universität Stuttgart, PF , D-7569 Stuttgart, Germany. Abstract A logarithmic type Lieb-Thirring inequality for two-dimensional Schrödinger operators is established. The result is applied to prove spectral estimates on trapped modes in quantum layers. 1 Introduction It is well known that the sum of the moments of negative eigenvalues λ of a one-dimensional Schrödinger operator d2 dx V can be estimated by 2 λ γ L γ,1 V + x) γ dx, γ 2, 1) R wherel γ,1 isaconstantindependent ofv, see[8], [12]. Forγ = 1 2 thisboundhas the correct weak coupling behavior, see [1], and it also shows the correct Weyltype asymptotics in the semi-classical limit. Moreover,1) fails to hold whenever γ < 1 2. The case γ = 1 2 therefore represents certain borderline inequality in dimension one. The situation is much less satisfactory in dimension two. The corresponding two-dimensional Lieb-Thirring bound λ γ = tr V)γ L γ,2 V + x) γ+1 dx 2) R 2 holds for all γ >, [8]. Dimensional analysis shows that here the borderline should be γ =. However, 2) fails for γ =, because V has at least one negative eigenvalue whenever V, see [1]. In addition, it was shown in [1] that if V decays fast enough, the operator αv has for small α only one eigenvalue which goes to zero exponentially fast: λ 1 e 4πα R V) 1, α. 3) 1

2 It follows from 3) that the optimal behavior for α cannot be reached in the power-like scale 2), no matter how small γ is, since the l.h.s. decays faster than any power of α. This means that in order to obtain a Lieb-Thirring type inequality with the optimal behavior in the weak coupling limit, one should introduce a different scale on the l.h.s. of 2). In the present paper we want to find a two-dimensional analog of the onedimensional borderline inequality, which corresponds to γ = 1 2 in 1). In other words, we want to establish an inequality with the r.h.s. proportional to V and with the correct order of asymptotics in weak and strong coupling regime. Obviously, we have to replace the power function on the l.h.s. of 2) by a new function Fλ), which will approximate identity as close as possible. On the other hand, since V has always at least one eigenvalue, it is necessary that F) =. Moreover, equation 3) shows that F should grow from zero faster than any power of λ, namely as lnλ 1. This leads us to define the family of functions F s :, ),1] by lnts 2 1 < t e 1 s 2, s > F s t) := 4) 1 t > e 1 s 2. Notice that each F s is non decreasing and continuous and that F s t) 1 pointwise as s. Hence our goal is to establish an appropriate estimate on the regularized counting function F sλ ) for large values of the parameter s. Our main results is formulated in the next section. It turns out, that F sλ ) can be estimated by a sum of two integrals, one of which includes a local logarithmic weight, see Theorem 1. The inequality 8) established in Theorem 1 has the correct behavior for weak as well as for strong potentials, see Remark 1. We also show that the logarithmic weight in 8) cannot be removed, see Remark 2. Moreover, in Corollary 1 we obtain individual estimates on eigenvalues of Schrödinger operators with slowly decaying potentials. The proof of the main result, including two auxiliary Lemmata, is then given in section 3. In the closingsection 4 we apply Theorem 1 to analyzediscrete spectrum of a Schrödinger operator corresponding to quantum layers. The result established in section 4 may be regarded as two-dimensional analog of Lieb-Thirring inequalities on trapped modes in quantum waveguides obtained in [5]. 2 Main results For a given V we define the Schrödinger operator V in L 2 R 2 ) 5) as the Friedrich extension of the operator associated with the quadratic form Q V [u] = u 2 V u 2) dx on C R2 ), 6) R 2 2

3 provided Q V is bounded from below. Throughout the paper we will suppose that V satisfies Assumption A. The function Vx) is such that σ ess V) = [, ). Following notation will be used in the text. Given a self-adoint operator T, the number of negative eigenvalues, counting their multiplicity, of T to the left of a point ν is denoted by Nν,T). The symbol R + stands for the set, ). Moreover,as in [6] we define the spacel 1 R +,L p S 1 )) in polarcoordinatesr,θ) in R 2, as the space of functions f such that f L 1 R +,L p S 1 )) := 2π fr,θ) p dθ )1/p rdr <. 7) Finally, given s > we denote Bs) := {x R 2 : x < s}. We then have Theorem 1. Let V and V L 1 loc R2, ln x dx). Assume that V L 1 R +,L p S 1 )) for some p > 1. Then the quadratic form 6) is bounded from below and closable. The negative eigenvalues λ of the operator associated with its closure satisfy the inequality F s λ ) c 1 V ln x /s) L 1 Bs)) +c p V L 1 R +,L p S 1 )) 8) for all s R +. The constants c 1 and c p are independent of s and V. In particular, if Vx) = V x ), then there exists a constant C, such that F s λ ) C ) V ln x /s) L 1 Bs)) + V L 1 R 2 ) 9) holds true for all s R +. Remark 1. Notice that the r.h.s. of 8) has the right order of asymptotics in both weak and strong coupling limits. Indeed, replacing V by αv and assuming that V L 1 R 2, ln x +1)dx) it can be seen from the definition of F s that F s λ ) α, α α. For α this follows from 3). For α is the behavior of F s governed by the Weyl asymptotics for the counting function: Ne 1 s 2, αv) F s λ ) N, αv). 1) The latter is linear in α when α provided V L 1 R 2, ln x +1)dx), see also Remark 4. 3

4 Remark 2. We would like to emphasize that F sλ ) cannot be estimated only in terms of V L 1 R 2 ). In particular, the logarithmic term in 8) and 9) cannot be removed. This is due to the fact that there exist potentials V L 1 R 2 ) with a strong local singularity, such that the semi-classical asymptotics of Nν, V) is non-weyl for any ν >, [2]. Namely if we define V σ x) = r 2 lnr 2 ln lnr 1/σ, r < e 2, σ > 1 V σ x) =, r e 2, 11) where r = x, then V σ L 1 R 2 ) for all σ > 1, but Nν, αv σ ) α σ α, ν >, 12) see [2, Sec. 6.5]. If 9) were true with the logarithmic factor removed, it would be in obvious contradiction with 1) and 12). Moreover, the asymptotics 12) remains valid also if the singularity of V is not placed at zero, but at some other point. This shows that the condition p > 1 in Theorem 1 is necessary. Remark 3. The non-weyl asymptotics of N, αv) can also occur for potentials which have no singularities, but which decay at infinity too slowly, so that the associated eigenvalues accumulate at zero. For example, if then V Φ σ x) = Φθ)r 2 lnr) 2 lnlnr) 1/σ, r > e 2, σ > 1 V Φ σ x) =, r e2, 13) N, αv Φ σ ) α σ, see [2]. In this case, however, Theorem 1 says that the eigenvalues accumulating at zero are small enough so that their total contribution to F sλ ) grows at most linearly in α. More exactly, inequality 8) gives the following estimate: Corollary 1. Let Φ L p,2π) for some p > 1. Let V satisfy the assumptions of Theorem 1 and suppose that ) Vx) Vσ Φ x) = o V σ Φ x), x, where V Φ σ x) is defined by 13). Denote nα) = N, αv) and let λ nα) be the largest eigenvalue of αv. Then, for any fixed s > there exists a constant c s > such that for α large enough we have λ nα) s 2 exp c s α σ 1 ). 14) Proof. Inequality 8) shows that F sλ ) c s α for some c s. In particular, this implies F s λ ) c sα,. 15) On the other hand, from [2, Prop. 6.1] follows that nα) cα σ for some c and α large enough. An application of the inequality 15) with = nα) then yields 14). Analogous estimates for λ nα) k,k N can be obtained by an obvious modification. 4

5 3 Proof of Theorem 1 We prove the inequality 8) for continuous potentials with compact support. The general case then follows by approximating V by a sequence of continuous compactly supported functions and using a standard limiting argument in 8). As usual in the borderline situations, the method of [8] cannot be directly applied and a different strategy is needed. We shall treat the operator V separately on the space of spherically symmetric functions in L 2 R 2 ) and on its orthogonal complement. To this end we define the corresponding proection operators: Pu)r) = 1 2π 2π ur,θ)dθ, Qu = u Pu, u L 2 R 2 ). Since P and Q commute with, the variational principle says that for each a > 1 the operator inequality V P 1+a 1 )V)P +Q 1+a)V)Q 16) holds. Let us denote by λ P and λq the non decreasing sequences of negative eigenvalues of the operators P 1+a 1 )V)P and Q 1+aV)Q respectively. Clearly we have F s λ ) F s λ P )+ F s λ Q ). 17) We are going to find appropriate bounds on the two terms on the r.h.s. of 17) separately. First we note that P 1 +a 1 )V)P is unitarily equivalent to the operator h = d2 dr 2 1 4r 2 Wr) = h Wr) in L 2 R + ) 18) with the Dirichlet boundary condition at zero and with the potential Wr) = 1+a 2πa 2π Vr,θ)dθ. 19) More precisely, h is associated with the closure of the quadratic form q[ϕ] = ϕ 2 W ϕ 2) rdr on C R + ). 2) R + We start with the estimate on the lowest eigenvalue of h. Lemma 1. Let V be continuous and compactly supported and let W be given by 19). Denote by λ P 1 the lowest eigenvalue of the operator h. Then there exists a constant c 2, independent of s, such that holds true for all s R +. F s λ P 1 ) c 2 Wr)r 1+χ,s) r) lnr/s ) dr. 21) 5

6 Proof. From the Sturm-Liouville theory we find the Green function of the operator h at the point κ 2 : rr I κr)k κr ) r r <, G r,r,κ) := rr I κr )K κr) r < r <, where I,K are the modified Bessel functions, see [1]. The Birman-Schwinger principle tells us that if for certain value of κ the trace of the operator Kκ) := W h +κ 2 ) 1 W islessthan orequalto1, then the inequalityλ P 1 κ2 holds. Takingintoaccount the continuity of W, this implies ) ) ri λ P 1 r K λ P 1 r Wr)dr 1. 22) Now we introduce the substitutions τ = s λ P 1, t = s 1 r and recall that I ) = 1 while K has a logarithmic singularity at zero, see [1, Chap.9]. We thus find out that F 1 τ 2 ) I τt)k τt) c 2 1+χ,1) t) lnt ), τ, where c 2 is a suitable constant independent of τ. Here we have used the fact that I z)k z) const z 1, 23) see [1]. Finally, we multiply both sides of inequality 22) by F s λ P 1 ) and note that F s λ P 1 ) = F s τ 2 /s 2) = F 1 τ 2 ). The proof is complete. Next we estimate the higher eigenvalues of h. Lemma 2. Under the assumptions of Lemma 1 there exists a constant c 3 such that F s λ P ) 2 s Proof. Let us introduce the auxiliary operator Wr)r lnr/s dr+c 3 Wr)rdr, s R +. s h d = d2 dr 2 1 4r 2 Wr) in L2 R + ) 24) subect to the Dirichlet boundary conditions at zero and at the point s. Let µ be the non decreasing sequence of negative eigenvalues of h d. Since imposing 6

7 the Dirichlet boundary condition at s is a rank one perturbation, it follows from the variational principle that F s λ P ) F s µ ). 25) 2 1 Moreover, h d is unitarily equivalent to the orthogonal sum h 1 h 2, where h 1 = h 1, Wr) = d2 dr 2 1 4r 2 Wr) in L2,s) h 2 = h 2, Wr) = d2 dr 2 1 4r 2 Wr) in L2 s, ) with Dirichlet boundary conditions at and s. Keeping in mind that F s 1 we will estimate 25) as follows: F s µ ) N,h 1 )+ F s µ ), 26) where µ are the negative eigenvalues of h 2. To continue we calculate the diagonal elements of the Green functions of the free operators h 1, and h 2,. Similarly as in the proof of Lemma 1 we get G 1 r,r,κ) = ri κr) K κr)+βs 1 κ)i κr) ) r s G 2 r,r,κ) = rk κr)i κr)+β s κ)k κr)) s r <, 27) where β s κ) = I κs) K κs). The Birman-Schwinger principle thus gives us the following estimates on the number of eigenvalues of h 1 and h 2 to the left of the point κ 2 : Nκ 2,h 1 ) s G 1 r,r,κ)wr)dr, Nκ 2,h 2 ) s G 2 r,r,κ)wr)dr. 28) Passing to the limit κ and using the asymptotic behavior of the Bessel functions I and K, [1], we find out that for any fixed r holds the identity lim G 1r,r,κ) = lim G 2 r,r,κ) = r lnr/s 29) κ κ The assumption on W and the dominated convergence theorem then allow us to interchange the limit κ with the integration in 28) to obtain N,h 1 ) s r lnr/s Wr)dr. 3) This estimates the first term in 26). In order to find an upper bound on the second term in 26), we employ the formula F s µ ) = F s t)nt,h 2)dt, 31) 7

8 see [8]. Using 28), the substitution t t 2 and the Fubini theorem we get F s µ ) 1 2 s e 1/2 s 1 Wr) G 2 r,r,t) tlnts) 2 dtdr. In view of 27) it suffices to show that the integral e 1/2 s 1 K tr)i tr)+β s t)k tr)) tlnts) 2 dt 32) is uniformly bounded for all s > and r s. The substitutions r = sy, t = τ/s transform 32) into gy) := e 1/2 K τy)i τy)+β 1 τ)k τy)) τ lnτ) 2 dτ, y [1, ). 33) Since g is continuous, due to the continuity of Bessel functions, and g1) =, it is enough to check that gy) remains bounded as y. Moreover, the inequality u,h 2, +t 1 ) 1 u) u,h 2, +t 2 ) 1 u) t 2 t 1, u L 2 s, ) showsthat G 2 r,r,t), the diagonalelement of the integralkernel ofh 2, +t 2 ) 1, is non increasing in t for each r s. Equations 27) and 29) then imply y 1 K τy)i τy)+β 1 τ)k τy)) τ lnτ) 2 dτ lny y 1 dτ τ lnτ) 2 = 1. On the other hand, when τ [y 1,e 1/2 ], it can be seen from 23) and from the behavior of I,K in the vicinity of zero, see [1], that K τy)i τy)+β 1 τ)k τy)) const uniformly in y. Equation 31) thus yields F s µ ) c 3 s Wr)rdr s R +, where c 3 is independent of s. Together with 25), 26) and 3) this completes the proof. From equation 19), Lemma 1 and Lemma 2 we conclude that F s λ P ) c 2 +1) V ln x /s) L1 Bs)) +c 3 V L1 R 2 ). 8

9 Let us now turn to the second term on the r.h.s. of 17). The key ingredient in estimating this contribution will be the result of Laptev and Netrusov obtained in [6]. We make use of the estimate F s λ Q ) N,Q 1+a)V)Q) and of the Hardy-type inequality Q )Q Q 1 Q, 34) x 2 whichholdsinthesenseofquadraticformsonc R 2 ), see[2]. Foranyε,1) we thus get the lower bound Q 1+a)V)Q 1 ε)q + ε 1 1 ε x 2 1+a ) 1 ε V Q, 35) which implies N,Q 1+a)V)Q) N, + ε 1 1 ε x 2 1+a ) 1 ε V. 36) The last quantity can be estimated using [6, Thm.1.2], which says that N, + ε 1 1 ε x 2 1+a ) 1 ε V c p V L 1 R +,L p S 1 )). 37) for some constant c p that also depends on ε and a. In order to conclude the proof of 8) we note that by the Hölder inequality V L1 R 2 ) const V L1 R +,L p S 1 )). To show that the quadratic form 6) is semi-bounded from below we note that inequality 8) says that there are only finitely many eigenvalues of V below e 1 s 2. Let Λ V be the minimum of those. Then Q V [u] Λ V u L 2 R 2 ) u C R 2 ). The proof of Theorem 1 is now complete. Remark 4. As a corollary of the proof of Theorem 1 we immediately obtain N, V) 1+const V ln x L 1 R 2 ) + V L 1 R +,L p S 1 ))), 38) which agrees with [11, Thm.3]. Remark 5. Lieb-Thirring inequalities for the operator h = h W in the form trh W) γ C γ,a Wr) γ+ 1+a 2 + r a dr, γ >, a 1 R + have been recently established in [4]. 9

10 4 Application In this section we consider a model of quantum layers. It concerns a conducting plate Ω = R 2,d) with an electric potential V. We will consider the shifted Hamiltonian H V = Ω V π2 d 2 in L 2 Ω), 39) with Dirichlet boundary conditions at Ω, which is associated with the closed quadratic form ) u 2 V u 2 π2 d 2 u 2 dx on HΩ). 1 4) Ω We assume that for each x 3,d) the function V,,x 3 ) satisfies Assumption A. Without loss of generality we assume that V, otherwise we replace V by its positive part. The essential spectrum of the Operator H V covers the half line [, ). Let us denote by λ the non decreasing sequences of negative eigenvalues of H V. For the sake of brevity we choose s = 1 and prove Theorem 2. Assume that V L 3/2 Ω) and that Ṽx 1,x 2 ) = 2 d d Vx 1,x 2,x 3 ) sin 2 πx ) 3 dx 3 d satisfies the assumptions of Theorem 1 for some p > 1. Then there exist positive constants C 1,C 2,C 3 p) such that F 1 λ ) C 1 Ṽ lnx2 1 +x 2 2) L 1 B1)) +C 3 p) Ṽ L 1 R +,L p S 1 )) +C 2 V 3/2 L1 Ω). 41) Remark 6. Notice that 41) has the right asymptotic behavior in both weak and strong coupling limits. Namely, in the weak coupling limit the r.h.s. is dominated by the term linear in V, while in the strong coupling limit prevails the term proportional to V 3/2. In this sense our result is similar to the Lieb- Thirring inequalities on trapped modes in quantum wires obtained in [5]. Proof of Theorem 2. Let ν k = k 2 π 2 /d 2, k N be the eigenvalues of the Dirichlet Laplacian on, d) associated with the normalized eigenfunctions ) 2 φ k x 3 ) = d sin kπx3. d Moreover, define R = φ 1, )φ 1, S = I R. 1

11 By the same variational argument used in the previous section we obtain the inequality H V R Ω ν 1 2V)R+S Ω ν 1 2V)S. 42) The latter implies F 1 λ ) F 1 µ )+N, S Ω ν 1 2V)S), 43) where µ are the negative eigenvalues of R Ω ν 1 2V)R. Since R Ω ν 1 2V)R = x 2 1 x 2 2 2Ṽ) R, the first term on the r.h.s. of 43) can be estimated using 8) as follows: F 1 µ ) C 1 Ṽ1lnx 2 1 +x2 2 ) L 1 R 2 ) +C 3 p) Ṽ L 1 R +,L p S 1 )). 44) As for the second term, we note that S x 2 3 ν 1 )S = ν k ν 1 )φ k, )φ k k=2 = 3 4 S 2 x 3 )S k=2 ν 2 ν 1 ν 2 ν k φ k, )φ k holds true in the sense of quadratic forms on C,d), which implies the estimate S Ω ν 1 2V)S 3 4 S Ω 8 ) 3 V S. Using the variational principle and the Cwickel-Lieb-Rosenblum inequality, [3, 7, 9], we thus arrive at N,S Ω ν 1 2V)S) N, Ω 83 ) V C 2 V 3/2. In view of 43) this concludes the proof. Ω Acknowledegement We would like to thank Eliot Lieb for useful comments. The support from the DFG grant WE 1964/2 is gratefully acknowledged. 11

12 References [1] M. Abramowitz and I.A. Stegun: Handbook of Mathematical Functions, National Bureau of Standards 1964). [2] M.S. Birman and A. Laptev: The negative discrete spectrum of a twodimensional Schrödinger operator, Comm. Pure and Appl. Math. XLIX 1996) [3] M. Cwikel: Weak type estimates for singular values and the number of bound states of Schrödinger operators, Ann. of Math ) [4] T. Ekholm and R. L. Frank: Lieb-Thirring inequalities on the half-line with critical exponent. Preprint: arxiv: math.sp/ [5] P. Exner and T. Weidl: Lieb-Thirring inequalities on trapped modes in quantum wires. XIIIth International Congress on Mathematical Physics London, 2), , Int. Press, Boston, MA, 21. [6] A. Laptev and Y. Netrusov: On the negative eigenvalues of a class of Schrödinger operators, In Diff. operators and spectral theory. Am. Math. Soc. Transl ) [7] E. Lieb: Bound states of the Laplace and Schrödinger operators, Bull. Amer. Math. Soc ) [8] E. Lieb, W. Thirring: Inequalities for the moments of the eigenvalues of the Schrödinger Hamiltonian and their relation to Sobolev inequalities. Studies in Mathematical Physics, Princeton University Press, Princeton, NJ, [9] G. V. Rosenblum: Distribution of the discrete spectrum of singular differential operators in Russian), Izv. Vassh. Ucheb. Zaved. Matematika ) English translation in Soviet Math ) [1] B. Simon: The Bound State of Weakly Coupled Schrödinger Operators in One and Two Dimensions, Ann. of Physics ) [11] M. Solomyak: Piecewise-polynomial approximation of functions from H l,1) d ), 2l = d, and applications to the spectral theory of the Schrödinger operator, Israel J. of Math ) [12] T. Weidl: On the Lieb-Thirring constants L γ,1 for γ 1/2, Comm. Math. Phys ), no. 1,