SPECTRUM OF THE LAPLACIAN IN A NARROW CURVED STRIP WITH COMBINED DIRICHLET AND NEUMANN BOUNDARY CONDITIONS

Transcription

1 ESAIM: COCV DOI: /cocv: ESAIM: Control, Optimisation and Calculus of Variations SPECTRUM OF THE LAPLACIAN IN A NARROW CURVED STRIP WITH COMBINED DIRICHLET AND NEUMANN BOUNDARY CONDITIONS David Krejčiřík 1 Abstract. We consider the Laplacian in a domain squeezed between two parallel curves in the plane, subject to Dirichlet boundary conditions on one of the curves and Neumann boundary conditions on the other. We derive two-term asymptotics for eigenvalues in the limit when the distance between the curves tends to zero. The asymptotics are uniform and local in the sense that the coefficients depend only on the extremal points where the ratio of the curvature radii of the Neumann boundary to the Dirichlet one is the biggest. We also show that the asymptotics can be obtained from a form of norm-resolvent convergence which takes into account the width-dependence of the domain of definition of the operators involved. Mathematics Subject Classification. 35P15, 49R50, 58J50, 81Q15. Received May 31, 007. Revised December 10, 007. Published online May 30, Introduction GivenanopenintervalI R bounded or unbounded, let γ C I; R be a unit-speed planar curve. The derivative γ γ 1, γ andn := γ, γ 1 define unit tangent and normal vector fields along γ, respectively. The curvature is defined through the Frenet-Serret formulae by κ := det γ, γ; it is a bounded and uniformly continuous function on I. For any positive, we introduce a mapping L from I [0, 1] to R by L s, t :=γs+tns. 1.1 Assuming that L is injective and that is so small that the supremum norm of κ is less than 1, L induces a diffeomorphism and the image Ω := L I 0, 1 1. has a geometrical meaning of an open non-self-intersecting strip, contained between the parallel curves γi and γ I :=L I {1}, and, if I is not empty, the straight lines L {inf I} 0, 1 and L {sup I} 0, 1. Keywords and phrases. Laplacian in tubes, Dirichlet and Neumann boundary conditions, dimension reduction, norm-resolvent convergence, binding effect of curvature, waveguides. The work has been supported by the Czech Academy of Sciences and its Grant Agency within the projects IRP AV0Z and A , and by the project LC0600 of the Ministry of Education, Youth and Sports of the Czech Republic. 1 Department of Theoretical Physics, Nuclear Physics Institute, Academy of Sciences, Řež near Prague, Czech Republic; krejcirik@ujf.cas.cz Article published by EDP Sciences c EDP Sciences, SMAI 008

2 556 D. KREJČIŘíK Figure 1. The geometry of the strip Ω in a case of bounded I. The thick and thin lines correspond to Dirichlet and Neumann boundary conditions, respectively. The geometry is set in such a way that κ>0 implies that the parallel curve γ is locally shorter than γ, and vice versa, cf. Figure 1. Let Δ Ω be the Laplacian in L Ω with Dirichlet and Neumann boundary conditions on γ and γ, respectively. If I is not empty, we impose Dirichlet boundary conditions on the remaining parts of Ω. For any self-adjoint operator H which is bounded from below, we denote by {λ j H} j=1 the non-decreasing sequence of numbers corresponding to the spectral problem of H according to the Rayleigh-Ritz variational formula [4], Section 4.5. Each λ j H represents either a discrete eigenvalue repeated according to multiplicity below the essential spectrum or the threshold of the essential spectrum of H. All the eigenvalues below the essential spectrum may be characterized by this variational/minimax principle. Under the above assumptions, our main result reads as follows: Theorem 1.1. For all j 1, λ j Δ Ω = inf κ + + o 1 as Theorem 1.1 has important consequences for the spectral properties of the operator Δ Ω, especially in the physically interesting situation I = R. In this case, assuming that the curvature κ vanishes at infinity, the leading term π / of 1.3 coincides with the threshold of the essential spectrum of Δ Ω. The next term in the expansion then tells us that a the discrete spectrum exists whenever κ assumes a negative value and is sufficiently small; b the number of the eigenvalues increases to infinity as 0. This provides an insight into the mechanism which is behind the qualitative results obtained by Dittrich and Kříž in their 00 letter [5]. Using Δ Ω as a model for the Hamiltonian of a quantum waveguide, they show that the discrete eigenvalues exist if, and only if, the reference curve γ of sign-definite κ is curved in the right direction, namely if the Neumann boundary condition is imposed on the locally longer boundary i.e. κ<0 in our setting, and that b holds. The results were further generalized in [11,1], numerically tested in [4], and established in a different physical model in [17]. The purely Dirichlet or Neumann strips differ from the present situation in many respects see [1] fora comparison. The case of the Neumann Laplacian Δ Ω N is trivial in the sense that λ 1 Δ Ω N =λ 1 Δ I N =0,

3 SPECTRUM OF THE LAPLACIAN IN A NARROW CURVED STRIP 557 independently of the geometry and smallness of, where Δ I N denotes the Neumann Laplacian in L I. For j, one has λ j Δ Ω N =λ j Δ I N +o1 as 0, independently of the geometry. More generally, it is well known that the spectrum of the Neumann Laplacian on an -tubular neighbourhood of a Riemannian manifold converges when 0 to the spectrum of the Laplace- Beltrami operator on the manifold [6]. As for the Dirichlet Laplacian Δ Ω D,itiswellknown[6,8,15,1] that the existence of discrete spectrum in unbounded strips is robust, i.e. independent of the sign of κ. This is also reflected in the asymptotic formula, j 1, λ j Δ Ω D = + λj Δ I D κ + o1 as 0, known for many years [6,18], where Δ I D denotes the Dirichlet Laplacian in L I. That is, contrary to Theorem 1.1, in the purely Dirichlet case the second term in the asymptotic expansion is independent of, always negative unless γ is a straight line, and its value is determined by the global geometry of γ. The local character of 1.3 rather resembles the problem of a straight narrow strip of variable width studied recently by Friedlander and Solomyak [13,14], and also by Borisov and Freitas [1] seealso[9] for related work. In view of their asymptotics, the spectrum of the Dirichlet Laplacian is basically determined by the points where the strip is the widest. In our model the cross-section is uniform but the curvature and boundary conditions are not homogeneous. The purely Dirichlet case with uniform cross-section differs from the present situation also in the direct method of the proof of 1.4. Using the parametrization 1.1, the spectral problem for the Laplacian Δ Ω D in the curved and -dependent Hilbert space L Ω is transferred to the spectral problem for a more complicated operator H D in L I 0, 1. Inspecting the dependence of the coefficients of H D on, it turns out that the operator is in the limit 0 decoupled into a sum of the transverse Laplacian multiplied by and of the -independent Schrödinger operator on γ. At this stage, the minimax principle is sufficient to establish 1.4. Furthermore, since the straightened Hilbert space is independent of, it is also possible to show that 1.4 is obtained as a consequence of some sort of norm-resolvent convergence [6,1]. An alternative approach is based on the Γ-convergence method []. See also [16] for a recent survey of the thin-limit problem in a wider context. The above procedure does not work in the present situation because the transformed operator H does not decouple as 0, at least at the stage of the elementary usage of the minimax principle. Moreover, the operator domain of H becomes dependent on ; contrary to the Dirichlet boundary condition, the Neumann one is transferred to an -dependent and variable Robin-type boundary condition cf. Rem. 3. below. In this paper we propose an alternative approach, which enables us to treat the case of combined boundary conditions. Our method of proof is based on refined applications of the minimax principle. In the following Section, we prove Theorem 1.1 as a consequence of upper and lower bounds to λ j Δ Ω. More specifically, these estimates imply: Theorem 1.. For all j 1, λ j Δ Ω = + λj Δ I D + O1 as Then Theorem 1.1 follows at once as a weaker version of Theorem 1., by using known results about the strong-coupling/semiclassical asymptotics of eigenvalues of the one-dimensional Schrödinger operator. Indeed, for all j 1, one has λ j Δ I D + κ = inf κ + o 1 as This result seems to be well known; we refer to [10], Appendix A, for a proof in any dimension. Another goal of the present paper is to show that the eigenvalue convergence of Theorem 1.1 can be obtained as a consequence of the norm-resolvent convergence of Δ Ω to ΔI D + κ/ as 0. We use the quotation marks because the latter operator is in fact -dependent and the norm-resolvent convergence should be

4 558 D. KREJČIŘíK rather interpreted as the convergence of the difference of corresponding resolvent operators in norm. However, the operators act in different Hilbert spaces and the norm-resolvent convergence still requires a meaningful reinterpretation. Because of the technical complexity, we postpone the statement of this convergence result until Section 3. The paper is concluded by Section 4 in which we discuss possible extensions of our main results.. Spectral convergence In this section we give a simple proof of Theorem 1. by establishing upper and lower bounds to λ j Δ Ω. We begin with necessary geometric preliminaries..1. Curvilinear coordinates As usual, the Laplacian Δ Ω quadratic form Q Ω defined by is introduced as the self-adjoint operator in L Ω associated with the Q Ω [Ψ] := Ω Ψx dx, Ψ DQ Ω :={ Ψ W 1, Ω Ψ=0 on Ω \ γ I }. Here Ψ on Ω is understood in the sense of traces. It is natural to express the Laplacian in the coordinates s, t determined by the inverse of L. As stated in Introduction, under the hypotheses that L is injective and sup κ < 1,.1 the mapping 1.1 induces a global diffeomorphism between I 0, 1 and Ω. This is readily seen by the inverse function theorem and the expression for the Jacobian det 1 L, L =h of L,where In fact,.1 yields the uniform estimates h s, t :=1 κs t.. 0 < 1 sup κ h 1 inf κ<,.3 where the lower bound ensures that the Jacobian never vanishes in I [0, 1]. The passage to the natural coordinates together with a simple scaling is then performed via the unitary transformation U : L Ω H := L I 0, 1,h s, tdsdt : { Ψ } Ψ L. This leads to a unitarily equivalent operator H := U Δ Ω form Q defined by Q [ψ] := I 0,1 1 ψs, t h s, t U 1 in H, which is associated with the quadratic ψs, t ds dt + I 0,1 h s, tdsdt, ψ DQ := { ψ W 1, I 0, 1 ψ =0 on I 0, 1 \ I {1} }.

5 SPECTRUM OF THE LAPLACIAN IN A NARROW CURVED STRIP 559 As a consequence of.3, H and L I 0, 1 can be identified as vector spaces due to the equivalence of norms, denoted respectively by and in the following. More precisely, we have That is, the fraction of norms behaves as 1 + O as 0... Upper bound Let ψ be a test function from the domain DQ oftheform 1 sup κ ψ 1 inf κ..4 ψ ψs, t :=ϕsχ 1 t, where χ 1 t := sinπt/.5 and ϕ W 1, 0 I is arbitrary. Note that χ 1 is a normalized eigenfunction corresponding to the lowest eigenvalue of Δ 0,1, i.e. the Laplacian in L 0, 1, subject to the Dirichlet and Neumann boundary condition at 0 and 1, respectively. A straightforward calculation yields Q [ψ] ψ = I a s ϕ s + κs ϕs ds, where 1 χ 1 t a s := 0 h s, t dt. Note that sup a =1+O due to.3 and the normalization of χ 1. Using in addition the boundedness of κ and ϕ L I = ψ together with.4, we can therefore write Q [ψ] ψ [ ] I ϕ O1 1+O s + κs ϕs ds I ϕs ds From this inequality, the minimax principle gives the upper bound [ ] λ j H 1+O λj = λ j Δ I D + κ for all j 1. Here the equality follows by Lower bound For all ψ DQ, we have 1 ψs, t ν κs Q [ψ] ds dt + I 0,1 h s, t I 0,1 + O1 Δ I D + κ + O1 as 0.6 ψs, t h s, tds dt, where νɛ λ 1 T ɛ denotes the lowest eigenvalue of the operator T ɛ in the Hilbert space L 0, 1, 1 ɛtdt defined by T ɛ χt := χ t+ ɛ 1 ɛt χ t, χ DT ɛ := { χ W, 0, 1 χ0 = χ 1 = 0 }.

6 560 D. KREJČIŘíK Note that ν0 = π/ and that the corresponding eigenfunction for ɛ = 0 can be identified with χ 1. The analytic perturbation theory yields νɛ = + ɛ + O ɛ as ɛ 0..7 Using this expansion and the boundedness of κ, we can estimate Q [ψ] ψ 1 ψs, t I 0,1 1 inf κ + κ ψs, t C ψs, t ds dt, where C is a positive constant depending uniquely on κ L I. Using in addition.4, we therefore get Q [ψ] ψ Consequently, the minimax principle gives [ ] I 0,1 1 ψs, t O1 1+O + κs ψs, t ds I 0,1 ψs, t ds [ ] λ j H 1+O λj = λ j Δ I D + κ + O1 Δ I D + κ + O1 as 0.8 for all j 1. Again, here the equality follows by 1.6. In view of the unitary equivalence of H with Δ Ω, the estimates.6 and.8 prove Theorem Norm-resolvent convergence In this section we study the mechanism which is behind the eigenvalue convergence of Theorem 1.1 in more details. First we explain what we mean by the norm-resolvent convergence of the family of operators { Δ Ω } > The reference Hilbert space and the result In Section.1, we identified the Laplacian Δ Ω with a Laplace-Beltrami-type operator H in H. Now it is more convenient to pass to another unitarily equivalent operator Ĥ which acts in the fixed i.e. -independent Hilbert space H 0 := L I 0, 1. This is enabled by means of the unitary mapping Û : H H 0 : { ψ h ψ }, provided that the curvature κ is differentiable in a weak sense; henceforth we assume that κ L I. 3.1 We set Ĥ := ÛH Û 1. As a comparison operator to Ĥ for small, we consider the decoupled operator Ĥ 0 := Δ I D + κ Δ0,1 in L I L 0, 1.

7 SPECTRUM OF THE LAPLACIAN IN A NARROW CURVED STRIP 561 Here the subscript 0 is just a notational convention, of course, since Ĥ0 still depends on. Using natural isomorphisms, we may reconsider Ĥ0 as an operator in H 0. We clearly have inf κ Ĥ At the same time, Ĥ νκ ν inf κ inf κ = + + O1, 3.3 where the first inequality was established for the unitarily equivalent operator H in the beginning of Section.3, the second inequality holds due to the monotonicity of ν provedin[11], Theorem, and the equality follows from.7. Alternatively, we could use Th. 1.1 to get 3.3, however, one motivation of the present section is to show that the former can be obtained as a consequence of Th. 3.1 below. Fix any number k> inf κ. 3.4 It follows that Ĥ π / + k/ and Ĥ0 π / + k/ are positive operators for all sufficiently small. Now we are in a position to state the main result of this section. Theorem 3.1. In addition to the injectivity of L and the boundedness of κ, letusassume3.1. Then there exist positive constants 0 and C 0, depending uniquely on k and the supremum norms of κ and κ, such that for all 0, 0 : [ Ĥ ] 1 [ k + Ĥ 0 ] 1 k + C 0 3/. The theorem is proved in several steps divided into the following subsections. In particular, it follows as a direct consequence of Lemmata 3.3 and 3.4 below. In the final subsection we show how it implies the convergence of eigenvalues of Theorem The transformed Laplacian Let us now find an explicit expression for the quadratic form ˆQ associated with the operator Ĥ. By definition, it is given by ˆQ [ψ] :=Q [Û 1 ψ], ψ D ˆQ :=ÛDQ. One easily verifies that D ˆQ =DQ =:Q, 3.5 which is actually independent of. Furthermore, for any ψ Q,wehave ˆQ [ψ] = ˆQ 1 [ψ]+ ˆQ [ψ], where 1 ˆQ 1 [ψ] := h 1/ ψ { 1 ψ = h h ˆQ [ψ] := h 1/ ψ { ψ h = + V 1 ψ + V R ψ 1 ψ }, + V 3 ψ + V 4 R ψ ψ },

8 56 D. KREJČIŘíK with V 1 s, t := 1 κ s t 4 h s, t 4, V s, t := κ st h s, t 3, s, t := 1 κs 4 h s, t, V 4 s, t := κs V 3 h s, t Hereandinthesequeltheintegralsign refers to an integration over I 0, 1. Integrating by parts in the expression for ˆQ [ψ], we finally arrive at { 1 ψ ˆQ [ψ] = h + ψ +V 1 V 3 ψ + V R ψ 1 ψ } + v ψ, where v s, t := 1 κs 1 κs Here and in the sequel the integral sign refers to an integration over the boundary I {1}. Remark 3.. Ĥ is exactly the operator H mentioned briefly in Introduction. Let us remark in this context that, contrary to the form domains 3.5, the operator domains of H and Ĥ do differ unless the curvature κ vanishes identically. Indeed, under additional regularity conditions about γ, itcanbeshownthat while functions from DH satisfy Neumann boundary conditions on I {1}, the functions ψ from DĤ satisfy non-homogeneous Robin-type boundary conditions ψ + v ψ =0onI {1}. Thisisthereasonwhy the decoupling of Ĥ for small is not obvious in this situation. At the same time, we see that the operator domain of Ĥ heavily depends on the geometry of γ. For our purposes, however, it will be enough to work with the associated quadratic form ˆQ whose domain is independent of and κ Renormalized operators and resolvent bounds It will be more convenient to work with the shifted operators k L := Ĥ + and k L 0 := Ĥ0 + Let l and l 0 denote the associated quadratic forms. It is important that they have the same domain Q. More precisely, Ĥ 0 was initially defined as a direct sum, however, using natural isomorphisms, it is clear that we can identify the form domain of L 0 with Q and l 0 [ψ] = { 1 ψ + 1 [ ] ψ ψ + k + κ } ψ for all ψ Q. It will be also useful to have an intermediate operator L, obtained from L after neglecting its non-singular dependence on but keeping the boundary term. For simplicity, henceforth we assume that is less than one and that it is in fact so small that.1 holds with a number less than one on the right hand side. Consequently, h 1 C, V 1 C, V 3 4 C, V C, V C 1, v C Here and in the sequel, we use the convention that C and c are positive constants which possibly depend on k and the supremum norms of κ and κ, and which may vary from line to line. In view of these estimates, it is

9 SPECTRUM OF THE LAPLACIAN IN A NARROW CURVED STRIP 563 reasonable to introduce L as the operator associated with the quadratic form l defined by Dl :=Q and l[ψ] := { 1 ψ + 1 [ ψ ψ ] + k } ψ + v ψ for all ψ Q. Indeed, it follows from 3.6 that l [ψ] l[ψ] { } h 1 1 ψ + V 1 V 3 ψ + V ψ 1 ψ C 1 ψ + ψ 3.7 for all ψ Q. Let us now argue that, for every ψ Qand for all sufficiently small which precisely means that has to be less than an explicit constant depending on k and the supremum norms of κ and κ, we have min {l [ψ],l 0 [ψ],l[ψ]} c 1 ψ + 1 ψ. 3.8 Here the bound for l 0 follows at once by improving the crude bound 3. and recalling 3.4. The bound for l follows from that for l and from 3.7. As for the bound for l,wefirstremarkthattheestimates3.3 actually hold for the part of Ĥ associated with ˆQ. Second, using 3.6 and some elementary estimates, we have ˆQ 1 [ψ] c C 1 ψ C ψ. Hence, for small enough, we indeed conclude with the bound for l. The estimates 3.8 imply that, for all sufficiently small, 3.4. An intermediate convergence result L 1 C, L 1 0 C, L 1 C. 3.9 As the first step in the proof of Theorem 3.1, we show that it is actually enough to establish the norm-resolvent convergence for a simpler operator L instead of L. Lemma 3.3. Under the assumptions of Theorem 3.1, there exist positive constants 0 and C 0, depending uniquely on k and the supremum norms of κ and κ, such that for all 0, 0 : L 1 L 1 C0. Proof. We are inspired by [13], Section 3. Adapting the estimate 3.7 for the sesquilinear form generated by l l and using 3.8, we get l φ, ψ lφ, ψ C 1 φ + φ 1 ψ + ψ C/c l[φ] l [ψ] for every φ, ψ Q.Choosingφ := L 1 f and ψ := L 1 g,wheref,g H 0 are arbitrary, we arrive at f,l 1 g f,l 1 g C/c f,l 1 fg, L 1 g C /c f g. Here, denotes the inner product in H 0 and the second inequality follows from 3.9. This completes the proof with C 0 := C /c An orthogonal decomposition of the Hilbert space Contrary to Lemma 3.3, the convergence of L 1 L 1 0 is less obvious. We follow the idea of [13] and decompose the Hilbert space H 0 into an orthogonal sum H 0 = H 1 H 1,

10 564 D. KREJČIŘíK where the subspace H 1 consists of functions ψ 1 such that ψ 1 s, t =ϕ 1 sχ 1 t Recall that χ 1 has been introduced in.5. Since χ 1 is normalized, we clearly have ψ 1 = ϕ 1 L I. Given any ψ H 0, we have the decomposition ψ = ψ 1 + ψ with ψ 1 H 1, ψ H 1, 3.11 where ψ 1 has the form 3.10 withϕ 1 s := 1 0 ψs, tχ 1tdt. Note that ψ 1 Qif ψ Q. The inclusion ψ H 1 means that 1 ψ s, t χ 1 tdt =0 fora.e. s I If in addition ψ Q, then one can differentiate the last identity to get A complementary convergence result 0 1 ψ s, t χ 1 tdt =0 fora.e. s I Now we are in a position to prove the following result, which together with Lemma 3.3 establishes Theorem 3.1. Lemma 3.4. Under the assumptions of Theorem 3.1, there exist positive constants 0 and C 0, depending uniquely on k and the supremum norms of κ and κ, such that for all 0, 0 : L 1 L 1 C0 3/. 0 Proof. Again, we use some of the ideas of [13], Section 3. As a consequence of 3.1 and3.13, we get that l 0 ψ 1,ψ = 0; therefore l 0 [ψ] =l 0 [ψ 1 ]+l 0 [ψ ] 3.14 for every ψ Q. At the same time, for sufficiently small, l 0 [ψ 1 ] c ϕ 1 L I + 1 ϕ 1 L I, l 0 [ψ ] c 1 ψ + ψ + ψ 3.15, where the second inequality is based on ψ π ψ. Let us now compare l 0 with l. For every ψ Q, we define m[ψ] :=l[ψ] l 0 [ψ] = v ψ κ ψ. Using the estimates 3.6 and3.15, we get, for any ψ Qdecomposed as in 3.11, κs m[ψ 1 ]= 1 κs ϕ 1s ds C ϕ 1 L R C/c l 0[ψ 1 ], I m[ψ ] C 1 ψ ψ + ψ C/c l 0 [ψ ], mψ 1,ψ = v ψ 1 ψ C 1 ψ 1 ψ ψ C/c 1/ l 0 [ψ 1 ]l 0 [ψ ].

11 SPECTRUM OF THE LAPLACIAN IN A NARROW CURVED STRIP 565 Except for m[ψ 1 ], here the boundary integral was estimated via ψ = ψ = R ψ ψ ψ ψ. Taking 3.14 into account, we conclude with the estimate which can be again adapted for the corresponding sesquilinear form m[ψ] C 1/ l 0 [ψ] valid for every ψ Qand all sufficiently small. In particular, this implies the crude estimates cl 0 [ψ] l[ψ] Cl 0 [ψ]. Summing up, we have the crucial bound lφ, ψ l 0 φ, ψ C 1/ l 0 [φ] l[ψ], valid for arbitrary φ, ψ Q. The rest of the proof then follows the lines of the proof of Lemma Convergence of eigenvalues As an application of Theorem 3.1, we shall show now how it implies the eigenvalue asymptotics of Theorem 1.1. Recall that the numbers λ j H represent either eigenvalues below the essential spectrum or the threshold of the essential spectrum of H. In particular, they provide a complete information about the spectrum of H if it is an operator with compact resolvent. In our situation, this will be the case if I is bounded, but let us stress that we allow infinite or semi-infinite intervals, too. We begin with analyzing the spectrum of the comparison operator. Lemma 3.5. Let κ be bounded. One has λ 1 Ĥ0 =λ 1 Δ I D + κ +. Moreover, for any integer N, there exists a positive constant 0 depending on N, κ and I such that for all < 0 : j {1,...,N}, λ j Ĥ0 =λ j Δ I D + κ +. Proof. Since Ĥ0 is decoupled, we know that cf. [5], Cor. of Th. VIII.33 { } { λ j Ĥ0 = λ j Δ I D + κ } + j=1 j=1 { jπ } and it only remains to arrange the sum of the numbers on the right hand side into a non-decreasing sequence. The assertion for N = 1 is therefore trivial. Let j and assume by induction that λ j 1 Ĥ0 π / = λ j 1 Δ I D + κ/. Then j=1 λ j Ĥ0 π / =min { λ j 1 Δ I D + κ/, 3π / }, and the assertion of lemma follows at once due to the asymptotics 1.6.

12 566 D. KREJČIŘíK Now, fix j 1 and assume that is so small that the conclusions of Theorem 3.1 and Lemma 3.5 hold. By virtue of Theorem 3.1, wehave [ λ j Ĥ ] 1 [ k + λ j Ĥ 0 ] 1 k + C 0 3/, since the left hand side is estimated by the norm of the resolvent difference. Using now Lemma 3.5, theabove estimate is equivalent to 1 [ λ j Ĥ π / ] + k 1 λ j Δ I D + κ/+k C 0 1/ Consequently, recalling 1.6, we conclude with [ ] π lim λ j Ĥ = lim λ j Δ 0 I D + κ =infκ. 0 This is indeed equivalent to Theorem 1.1 because Ĥ and Δ Ω are unitarily equivalent therefore isospectral. Remark 3.6. Because of the lack of one half in the power of in Theorem 3.1, it turns out that 3.16 yields a slightly worse result than Theorem 1.. Let us also emphasize that Theorems 1.1 and 1. have been proved in Section without the need to assume the extra condition 3.1. On the other hand, Theorem 3.1 contains an operator-type convergence result of independent interest Different boundary conditions 4. Possible extensions The result of Theorem 1. readily extends to the case of other boundary conditions imposed on the sides L {inf I} 0, 1 and L {sup I} 0, 1, provided that the boundary conditions for the one-dimensional Schrödinger operator are changed accordingly. It is more interesting to impose different boundary conditions on the approaching parallel curves as 0. As an example, let us keep the Dirichlet boundary conditions but replace the Neumann boundary condition by the Robin condition of the type Ψ +α l 1 n Ψ=0 on γ I. Here l := L, 1 and α : I R is assumed to be bounded and uniformly continuous. Let us denote the corresponding Laplacian by Δ Ω DR α. Then the method of the present paper gives Theorem 4.1. For all j 1, π λ j Δ Ω DR α = + λj Δ I D + κ +α + O1 infκ +α = + + o 1 as 0. Let us mention that strips with this combination of Dirichlet and Robin boundary conditions were studied in [11].

13 4.. Higher-dimensional generalization SPECTRUM OF THE LAPLACIAN IN A NARROW CURVED STRIP 567 Let Ω be a three-dimensional layer instead of the planar strip. That is, we keep the definition 1.with1.1, but now γ : I R R 3 is a parametrization of a two-dimensional surface embedded in R 3 and n := 1 γ γ, where the cross denotes the vector product in R 3.LetM be the corresponding mean curvature. Proceeding in the same way as in Section we omit the details but refer to [7] for a necessary geometric background, we get: Theorem 4.. For all j 1, λ j Δ Ω = = + λj Δ γ D + M + infm + O1 + o 1 as 0, where Δ γ D denotes the Laplace-Beltrami operator in L γi, subject to Dirichlet boundary conditions. Notice that the leading geometric term in the asymptotic expansions depends on the extrinsic curvature only. This suggests that the spectral properties of the Dirichlet-Neumann layers will differ significantly from the purely Dirichlet case studied in [3,7,,3], where the Gauss curvature of γ plays a crucial role Curved ambient space The results of the present paper extend to the case of strips embedded in an abstract two-dimensional Riemannian manifold A instead of the Euclidean plane. Indeed, it follows from [19] see also[0] and[1], Sect. 5 that the quadratic form Q has the same structure; the only difference is that in this more general situation h is obtained as the solution of the Jacobi equation h + Kh =0 with { h, 0 = 1, h, 0 = κ, where K is the Gauss curvature of A. Hereκ is the curvature of γ : I Ait is in fact the geodesic curvature of γ if the ambient space A is embedded in R 3. Consequently, up to higher-order terms in, the function h coincides with the expression. for the flat case K =0. Namely, h s, t =1 κs t+ O as 0. Following the lines of the proof in Section, it is then possible to check that Theorems 1.1 and 1. remain valid without changes. The curvature of the ambient space comes into the asymptotics via higher-order terms only. References [1] D. Borisov and P. Freitas, Singular asymptotic expansions for Dirichlet eigenvalues and eigenfunctions of the Laplacian on thin planar domains. Ann. Inst. H. Poincaré Anal. NonLinéaire 008 doi: /j.anihpc [] G. Bouchitté, M.L. Mascarenhas and L. Trabucho, On the curvature and torsion effects in one dimensional waveguides. ESAIM: COCV [3] G. Carron, P. Exner and D. Krejčiřík, Topologically nontrivial quantum layers. J. Math. Phys [4] E.B. Davies, Spectral theory and differential operators. Camb. Univ. Press, Cambridge [5] J. Dittrich and J. Kříž, Curved planar quantum wires with Dirichlet and Neumann boundary conditions. J. Phys. A L69 L75. [6] P. Duclos and P. Exner, Curvature-induced bound states in quantum waveguides in two and three dimensions. Rev. Math. Phys [7] P. Duclos, P. Exner and D. Krejčiřík, Bound states in curved quantum layers. Commun. Math. Phys [8] P. Exner and P. Šeba, Bound states in curved quantum waveguides. J. Math. Phys

14 568 D. KREJČIŘíK [9] P. Freitas, Precise bounds and asymptotics for the first Dirichlet eigenvalue of triangles and rhombi. J. Funct. Anal [10] P. Freitas and D. Krejčiřík, Instability results for the damped wave equation in unbounded domains. J. Diff. Eq [11] P. Freitas and D. Krejčiřík, Waveguides with combined Dirichlet and Robin boundary conditions. Math. Phys. Anal. Geom [1] P. Freitas and D. Krejčiřík, Location of the nodal set for thin curved tubes. Indiana Univ. Math. J [13] L. Friedlander and M. Solomyak, On the spectrum of the Dirichlet Laplacian in a narrow strip, I. Israel J. Math. to appear. [14] L. Friedlander and M. Solomyak, On the spectrum of the Dirichlet Laplacian in a narrow strip, II. Amer. Math. Soc. to appear. [15] J. Goldstone and R.L. Jaffe, Bound states in twisting tubes. Phys. Rev. B [16] D. Grieser, Thin tubes in mathematical physics, global analysis and spectral geometry, in Analysis on Graphs and its Applications Cambridge, 007, Proceedings of Symposia in Pure Mathematics, Amer. Math. Soc. to appear. [17] E.R. Johnson, M. Levitin and L. Parnovski, Existence of eigenvalues of a linear operator pencil in a curved waveguide localized shelf waves on a curved coast. SIAM J. Math. Anal [18] L. Karp and M. Pinsky, First-order asymptotics of the principal eigenvalue of tubular neighborhoods, in Geometry of random motion Ithaca, N.Y., 1987, Contemp. Math. 73, Amer. Math. Soc., Providence, RI [19] D. Krejčiřík, Quantum strips on surfaces. J. Geom. Phys [0] D. Krejčiřík, Hardy inequalities in strips on ruled surfaces. J. Inequal. Appl [1] D. Krejčiřík and J. Kříž, On the spectrum of curved quantum waveguides. Publ. RIMS, Kyoto University [] Ch. Lin and Z. Lu, Existence of bound states for layers built over hypersurfaces in R n+1. J. Funct. Anal [3] Ch. Lin and Z. Lu, Quantum layers over surfaces ruled outside a compact set. J. Math. Phys [4] O. Olendski and L. Mikhailovska, Localized-mode evolution in a curved planar waveguide with combined Dirichlet and Neumann boundary conditions. Phys. Rev. E [5] M. Reed and B. Simon, Methods of modern mathematical physics, I. Functional analysis. Academic Press, New York 197. [6] M. Schatzman, On the eigenvalues of the Laplace operator on a thin set with Neumann boundary conditions. Appl. Anal