Absence of eigenvalues of two-dimensional magnetic Schrödinger operators Luca Fanelli, David Krejčiřík and Luis Vega arxiv:171.6176v1 [math.sp] 17 Oct 17 a) Dipartimento di Matematica, SAPIENZA Università di Roma, P. le Aldo Moro 5, 185 Roma; fanelli@mat.uniroma1.it. b) Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague, Trojanova 13, 1 Prague, Czechia; david.krejcirik@fjfi.cvut.cz. c) Departamento de Matemáticas, Universidad del Pais Vasco, Aptdo. 644, 488 Bilbao, & Basque Center for Applied Mathematics (BCAM), Alameda Mazarredo 14, 489 Bilbao, Spain; luis.vega@ehu.es & lvega@bcamath.org. 17 October 17 Abstract By developing the method of multipliers, we establish sufficient conditions on the electric potential and magnetic field which guarantee that the corresponding two-dimensional Schrödinger operator possesses no point spectrum. The settings of complex-valued electric potentials and singular magnetic potentials of Aharonov-Bohm field are also covered. 1 Introduction Given a vector potential A : R R and a scalar potential V : R R, we consider the Schrödinger operator H A,V := ( i +A) +V in L (R ). (1) It is the quantum Hamiltonian of a non-relativistic electron interacting with the (vector) electric field E = V and the (scalar) magnetic field B = 1 A A 1. () Writing V = V + V with V ± being non-negative, we always assume that the negative part V of the electric potential V is small in a suitable sense (see (4)), in order to make H A,V self-adjoint and bounded from below. More specifically, we understand H A,V asthe Friedrichsextension ofthe symmetric operator (1) initially defined on smooth compactly supported functions. The two-dimensional situation is special in the sense that R is the lowest dimensional Euclidean space for which the addition of the magnetic potential is non-trivial, while the unperturbed operator H, is still critical, i.e. unstable under small perturbations. In fact, it is well known that the purely electric operator H,V possesses negative discrete eigenvalues whenever V is negative and compactly supported, and there also exist examples of potentials generating positive eigenvalues embedded in the essential spectrum. At the same time, the spectrum of the purely magnetic operator H A, can be quite general, ranging from the purely essential spectrum [, ) for compactly supported magnetic field B (Aharonov-Bohm solenoid), through the discrete set of infinitely degenerated eigenvalues (Landau levels) for constant B, to purely discrete spectrum if B diverges at infinity (magnetic bottles). The objective of this paper is to identify physically relevant conditions which guarantee a total absence of eigenvalues of H A,V. Because of the gauge invariance, these conditions should be given in terms of the physical quantity B and not A. To state the desired result, we use the abbreviations A := +ia for the magnetic gradient, r(x) := x for the distance function from the origin and r f(x) := x x f(x) for the radial derivative of a function f. 1
Theorem 1. Let A L loc (R ;R ) be such that B L loc (R ). Suppose that V L 1 (R ;R) admits the decomposition V = V (1) + V () with V (1) W 1,1 loc (R ) and V () L loc (R ). Assume that there exist numbers b,b 1,b,b 3,b 4 [,1) satisfying such that, for all ψ C (R ), and b 1 +b +b 3 +b 4 < 1, (3) V (x) ψ b R 4r B ψ b 1 A ψ, R R V () ψ b 3 A ψ, R R Then H A,V has no eigenvalues, i.e. σ p (H A,V ) =. R A ψ, (4) [ r (rv (1) )] + ψ b A ψ, R R 4r V () ψ b 4 A ψ, R R The subordination condition (4) immediately implies that no non-positive number (including zero) can be an eigenvalue of H A,V. The interest of the theorem lies in (5) with (3), which is a sufficient condition to avoid the existence of positive eigenvalues. The latter is clearly satisfied if B =, V () = and r (rv (1) ), where the last condition is a classical repulsiveness requirement. If B, V () or [ r (rv (1) )] +, however, it is not a priori clear that (5) is not void. In fact, if there is no magnetic field (i.e. B ) and V () or [ r (rv (1) )] +, the criticality of the two-dimensional free Hamiltonian H, implies that (5) cannot be satisfied (a similar statement holds for (4) with V ). If V () or [ r (rv (1) )] +, it is therefore necessary that there is a magnetic field to exclude the existence of eigenvalues via Theorem 1. The following proposition particularly ensures that (5) is generally not void. Proposition 1. If there exist numbers b,b 1,b,b 3,b 4 [,1) such that (5) V ±b B, (6) and 4r B ±b 1B, [ r (rv (1) )] + ±b B, V () ±b 3B, 4r V () ±b 4B, with either a plus or minus sign, then (4) and (5) hold. (7) Proof. The claim follows from the well-known lower bound ψ C (R ), A ψ ±B ψ, R R which holds with either of the signs ± (see, e.g., [1]). For instance, if V = and the magnetic field B is of definite sign, sufficiently small in the supremum norm and with a sufficiently small support, then (6) and (7), and therefore (4) and (5), hold. Remark 1. Another source of sufficient conditions to guarantee (4) and (5) are in principal magnetic Hardy-typeinequalities, reflectingthe subcriticality of H A, wheneverb. For continuousasatisfying the transverse gauge x A(x) = and locally integrable B, the Laptev-Weidl magnetic Hardy-type inequality (see [7]) states where ψ C (R ), R A ψ(x) dx R dist(φ B (x),z) Φ B (x) := 1 B(ξ) dξ π { ξ x } x ψ(x) dx, (8)
denotes the magnetic flux through the sphere of radius x centred at the origin. Unfortunately, the pointwise condition 4 x B(x) x dist(φ B (x),z), to guarantee the first inequality of (5) via (8), can never be satisfied for all sufficiently small x. From (8) one can deduce the bound ψ C (R ), R A ψ(x) dx c B R ψ(x) dx, (9) 1+ x where c B is a constant, which is positive if and only if the total magnetic flux lim x Φ B (x) is not an integer. See also [8] for other types of magnetic Hardy-type inequalities. As the most recent result, the following global Hardy-type inequality was derived in [3] for any smooth A ψ C (R ), R A ψ(x) ψ(x) dx c B R 1+ x log dx, (1) x where c B is a constant, which is positive if and only if B is not identically equal to zero. The constant c B is given in terms of the first Neumann eigenvalue of the magnetic Laplacian in a disk and it is not clear whether a bound of the type (1) can actually provide a useful sufficient condition to guarantee (5). In any case, such a condition clearly forces B to decay sufficiently fast at infinity. Our strategy to establish Theorem 1 is based on the method of multipliers developed in the spectral context for Schrödinger operators in three and higher dimensions in our preceding paper [4]. The restriction to the higher dimensions in [4] was caused by the essential usage of the classical Hardy inequality in the proof. The present paper is enabled by the observation that while the classical Hardy inequality is valid in three and higher dimensions only, it can be effectively replaced by the aforementioned magnetic Hardy-type inequalities in two dimensions and still yields a result in the context of multipliers. (We are grateful to Timo Weidl for the initial impetus to think about this extension.) Since the proof of Theorem 1 requires some important modifications of the original ideas of [4] and condition (5) differs from the form of sufficient conditions established in [4], we have decided to present this two-dimensional result to the community. The organisation of this paper is as follows. Theorem 1 is proved in Section, where we simultaneously present its higher-dimensional analogue(theorem ). In Section 3 we discuss the possibility of extending the present results to complex-valued electric potentials; in addition to the case of general regular fields (Theorems 3 and 4), we establish results for the singular Aharonov-Bohm potential (Theorem 5). The proof in any dimension We proceed in anydimension d 1. At the sametime, following[4], wealsoallowthe electric potential V to be complex-valued. Physically, the imaginary part of V can be interpreted as an energy gain/loss in an open quantum system. Let us therefore assume A L loc (Rd ;R d ) and V L 1 loc (Rd ;C). In any dimension, the physically relevant quantity is the d-covariant magnetic tensor B := A ( A) T and we assume B L loc (Rd ;R d d ). If d = 1 this quantity is always equal to zero, so it is reasonable to exclude the one-dimensional situation from further considerations, but formally it is covered in the following. The magnetic field B is the (d )-contravariant tensor obtained from B as its Hodge dual. We therefore arrive at the scalar field () for d = and at the usual vector field B = rota for d = 3. We refer to [3] for more details on the formalism of the magnetic field in any dimension. Let us consider the quadratic form h A,V [ψ] := A ψ + V ψ, D(h A,V ) := C (Rd ), (11) where ψ := A ψ + RV + ψ + ψ. (1) 3
Here and in the sequel we abbreviate := and omit the arguments of integrated functions. Under R d the assumption that there exist numbers a 1,a [,1) such that, for every ψ C (Rd ), RV ψ a 1 A ψ and IV ψ a A ψ, (13) the form h A,V is sectorial and closed. Let us denote by H A,V the m-sectorial operator associated with h A,V via the first representation theorem (cf. [6, Thm. VI..1]). We have D(H A,V ) D(h A,V ) W 1, (R d ). Here the last inclusion employs the diamagnetic inequality ψ W 1, loc (Rd ), A ψ ψ, (14) which we shall frequently use in the sequel. (If IV =, then (13) coincides with (4) and in this case the operator H A,V is self-adjoint and bounded from below.) In view of (13), a vertex and a semi-angle of h A,V are given by and π/4, respectively. Consequently, σ(h A,V ) {λ C : Rλ Iλ } (15) and in particular H A,V has no complex eigenvalue λ with Rλ < Iλ. Actually, also the presence of zero eigenvalue can be excluded by (13) with help of (14). Hence, it remains to exclude the existence of eigenvalues of H A,V in the sector on the right-hand side of (15). To this purpose, we employ the following crucial lemma. Lemma 1. Let A L loc (Rd ;R d ) be such that B L loc (Rd,R d d ). Suppose that V L 1 (R d ;C) admits the decomposition RV = RV (1) +RV () with RV (1) W 1,1 loc (Rd ) and RV () L loc (Rd ). Assume also (13). Let u be a solution of H A,V u = λu with Rλ Iλ satisfying ( r Bτ +[ r (rrv (1) )] + +(1+r ) RV () +r IV +rrv +r 1) u L 1 (R d ), (16) where Bτ := x x B. Then also ( ) r A u +[ r (rrv (1) )] +rrv + L 1 (R d ) and the identity A u + Iλ ( r (Rλ) 1/ A u d 1 u ) + rrv u r = I rbτ u A u + r (rrv (1) ) u +(1 d) RV () u R rrv () u r Au +I riv u r Au (17) holds true (if λ = then the term multiplied by Iλ /(Rλ) 1/ is not present), where r A and u ± (x) := e ±isgn(iλ)(rλ)1/ x u(x). f(x) := x x Af(x) Proof. The identity can be derived by following the method of multipliers developed in [4] based on previous ideas of [5] and []. Since the lemma is not explicitly stated in [4], we sketch the proof. The eigenvalue equation H A,V u = λu means that u D(H A,V ) and v D(h A,V ), A v A u+λ vu = vvu. (18) Let G 1,G,G 3 : R d R be three smooth functions. Choosing v := G 1 u in (18), taking the real part of the obtained identity and integrating by parts, we obtain Rλ G 1 u G 1 A u + 1 G 1 u = G 1 RV u. (19) Analogously,choosingv := G uin(18),takingtheimaginarypartoftheobtainedidentityandintegrating by parts, we obtain Iλ G u I G u A u = G IV u. () 4
Finally, choosing v := [ A,G 3 ] = G 3 A u + G 3 u in (18) where A := A A is the magnetic Laplacian, taking the real part of the obtained identity, integrating by parts and multiplying the result by 1/, we obtain A u G 3 A u 1 4 G 3 u +Iλ I G 3 u A u+i G 3 B u A u = 1 G 3 RV u R G 3 V u A u, (1) where G 3 denotes the Hessian matrix of G 3 and := is the bi-laplacian. Identity (17) is obtained by combining (19) (1) with special choices of the multipliers: [ (19) with G1 (x) := 1 ] + [ () with G (x) := Rλ sgn(iλ) x ] + [ (1) with G 3 (x) := x ] [ (19) with G 1 (x) := Iλ ] x (Rλ) 1/. () (If λ = then the last subtraction is not performed.) Here the main idea is to replace u by u using the identities A u (x) = A u(x) i(rλ) 1/ sgn(iλ) x x u(x) and Bτ u A u = Bτ u A u, where the latter employs the fact that Bτ is tangential, i.e. x B τ (x) =. Up to now, the procedure explained above has been purely formal, because we a priori do not know that the individual integrals converge. To make it rigorous, one can follow [4] and replace u by approximating solutions by using a standard cutoff and mollification argument. In this way, one arrives at an approximating version of (17) and the desired identity is obtained after passing to the limit in the cutoff and mollification parameters, by employing the convergence of a set of integrals expressed by (16). Now let us come back to the initial hypothesis that V is real-valued. Then H A,V is self-adjoint, necessarily Iλ = and it remains to exclude the existence of non-negative eigenvalues. In this case, (17) reduces to A u = I Using the Schwarz inequality, we have +(1 d) rbτ u A u + r (rv (1) ) u V () u R rv () u r Au. (3) A u r Bτ u A u + [ r (rv (1) )] + u + 1 d V () u + r V ( ) u A u (b 1 +b +(d 1)b 3 +b 4 ) A u, where the last inequality follows by conditions 4r Bτ ψ b 1 A ψ, V () ψ b 3 A ψ, [ r (rv (1) )] + ψ b 4r V () ψ b 4 A ψ, A ψ, (4) assumed to be valid for every ψ C (Rd ). Making the hypothesis b 1 +b +(d 1)b 3 +b 4 < 1, (5) 5
we conclude with A u =. By the diamagnetic inequality (14), it follows that u = and thus u =. Consequently, the eigenvalue equation H A,V u = λu for λ admits only trivial solutions. It concludes the proof that the point spectrum of H A,V is empty. Let us summarise the multidimensional result into the following theorem. Theorem. Let A L loc (Rd ;R d ) be such that B L loc (Rd ;R d d ). Suppose that V L 1 (R d ;R) admits the decomposition V = V (1) + V () where V (1) W 1,1 loc (Rd ) and V () L loc (Rd ). Assume that there exist numbers a,b 1,b,b 3,b 4 [,1) satisfying (5) such that (13) and (4) hold. Then H A,V has no eigenvalues, i.e. σ p (H A,V ) =. Theorem 1 is a special case for d =. Notice that B τ = B if d =. 3 Extensions to complex-valued electric potentials After establishing the crucial identity of Lemma 1, one of the next steps of [4] to deal with it was to use a weighted Hardy inequality ψ C (R d ), r ψ (d 1) ψ (6) 4 r together with the diamagnetic inequality (14) and to replace the first two terms in the round brackets on the left-hand side of (17) by the lower bound r A u d 1 u d 3 r A u. (7) r d 1 Although (6) is valid also for d =, the lower bound (7) is negative, which spoils the subsequent argument (cf. the procedure above Theorem ). This is the reason why it is not immediate, in two dimensions, to use formula (17) for ensuring the absence of eigenvalues with non-zero imaginary part (unless H A,V is self-adjoint). Notice, however, that a condition excluding real eigenvalues even if H A,V is non-self-adjoint is easy to obtain in the same way as above, because then the troublesome term represented by the round brackets on the left-hand side of (17) is not present. Here we present several alternative ways how to use (17) in order to guarantee the total absence of eigenvalues even if H A,V is not self-adjoint. Since the alternative approaches are not needed in higher dimensions, in this section we again restrict to the two-dimensional situation. First of all, we rewrite (17) as follows (d = ): A u + Iλ ( r (Rλ) 1/ A u 1 u ) + rrv + u r = I rbτ u A u + r (rrv (1) ) u RV () u R rrv () u r Au +I riv u A r u + Iλ (Rλ) 1/ rrv u, (8) i.e. we keep on the left-hand side just the positive part of RV. As above, the terms multiplied by Iλ /(Rλ) 1/ are not present if λ =. More generally, if λ = or Iλ =, the identity (8) coincides with (3) and the sufficient condition of Theorem 1 already implies the absence of such eigenvalues. Below we derive worth sufficient conditions to cover the case of complex eigenvalues as well. 3.1 Employing the positivity of the real part of the electric field An obvious condition to make the round brackets on the left-hand side of (8) non-negative is to require 1 ψ r A ψ + rrv + ψ (9) r for every ψ C (R d ). Recalling (6), it can be satisfied provided that we require for instance the pointwise bound RV + 1 4r. (3) 6
Having ensured the non-negativity of the round brackets on the left-hand side of (8), the terms on the right-hand side can be handled as above. It is only important to comment on how to get rid of the energy dependent fraction at the last term on the right-hand side of (8). We proceed as follows: Iλ (Rλ) 1/ rrv u Iλ r (Rλ) RV 1/ u u Iλ 1/ r (Rλ) 1/ RV u IV u r RV u IV u, (31) where the first estimate is due the Schwarz inequality, the second estimate follows from () with a constant choice for the multiplier G and the last estimate is implied by the restriction to the sector (15). Consequently, from (8) we deduce the bound A u r B u A u + [ r (rrv (1) )] + u + RV () u + r RV ( ) u A u + r IV u A u + r RV u IV u. (b 1 +b +b 3 +b 4 +b 5 +b 6 a ) A u, where the last inequality follows by (13) and conditions 4r B ψ b 1 A ψ, [ r (rrv (1) )] + ψ b RV () ψ b 3 A ψ, 4r RV () ψ b 4 4r IV ψ b 5 A ψ, r RV ψ b 6 assumed to be valid for every ψ C (Rd ). Making the hypothesis A ψ, A ψ, A ψ, (3) b 1 +b +b 3 +b 4 +b 5 +b 6 a < 1, (33) we conclude with u = as above. We summarise the result of this subsection in the following theorem. Theorem 3. Let A L loc (R ;R ) be such that B L loc (R ;R). Suppose that V L 1 (R ;C) admits the decomposition RV = RV (1) +RV () where RV (1) W 1,1 loc (Rd ) and RV () L loc (Rd ). Assume that there exist numbers a 1,a,b 1,b,b 3,b 4,b 5,b 6 [,1) satisfying (33) such that (13) and (3) hold. Moreover, assume (9). Then H A,V has no eigenvalues, i.e. σ p (H A,V ) =. Remark. Alternatively, keeping the last term from the right-hand side of (8) in the round brackets on left-hand side, one can require the condition 1 ψ + rrv ψ r A ψ + rrv + ψ r instead of (9). Recalling (6), it can be satisfied provided that we require for instance the pointwise bound RV 1 4r. Then the conditions on the last line of (3) can be ignored and one can take b 5,b 6 = in (33). 7
3. A more robust approach Denote by D R := {x R : x < R} the open disk of radius R >. The main ingredient of this subsection is the following Hardy-Poincaré-type inequality. Lemma. One has ψ W 1, (D R ), D R ψ(x) dx 1 4R Proof. For every f C 1 ([,R]) such that f(r) =, we have R f(r) rdr = r R f(r) r dr R = R [ f(r)f (r) ] rdr R R f (r) rdr f(r) rdr R R R f (r) f(r) rdr rdr, r ψ(x) DR dx. (34) x and therefore R f (r) rdr 1 R f(r) rdr. 4R r This one-dimensional inequality implies (34) after expressing the gradient in spherical coordinates and by neglecting the angular component. Given two positive numbers R 1 < R, let η : [, ) [,1] be such that η = 1 on [,R 1 ], η = on [R, ) and η(r) = (R r)/(r R 1 ) for r (R 1,R ). We denote by the same symbol η the radial function η r : R [,1]. Now, writing u = ηu +(1 η)u and using Lemma, we estimate the troublesome term of (8) as follows: u u (1 η)u + r r r 8R (ηu ) + u R 1 16R u + 16R (R R 1 ) u + R 1 u. Choosing R := ǫ(rλ) 1/ / Iλ and R 1 := R / with any positive number ǫ, we get Iλ u 16ǫ u + 68 Iλ u (Rλ) 1/ r ǫ Rλ 16ǫ u + 68 Iλ IV u ǫ Rλ 16ǫ u + 68 IV u, ǫ where the second estimate follows from () with a constant choice for the multiplier G and the last estimate is implied by the restriction to the sector(15). Using additionally(6), we thus deduce from(8) the crucial inequality (1 4ǫ) A u 17 IV u + Iλ rrv ǫ (Rλ) 1/ + u I rbτ u A u + r (rrv (1) ) u RV () u R rrv () u r Au +I riv u A r u + Iλ (Rλ) 1/ 8 rrv u. (35)
Now, putting the second term from the left-hand side of (35) to the right-hand side, neglecting the last term on the left-hand side and treating the terms on the right-hand side as in Section 3.1 (see particularly (31)), we get (1 4ǫ) A u r B u A u + [ r (rrv (1) )] + u + RV () u + r RV ( ) u A u + r IV u A u + r RV u IV u + 17 IV u ǫ ( b 1 +b +b 3 +b 4 +b 5 +b 6 a + 17 ) ǫ a A u, (36) where the last inequality follows by (13) and conditions (3). Making the hypothesis b 1 +b +b 3 +b 4 +b 5 +b 6 a + 17 ǫ a +4ǫ < 1, (37) we therefore conclude with u = as above. We summarise the result of this subsection in the following theorem. Theorem 4. Let A L loc (R ;R ) be such that B L loc (R ;R). Suppose that V L 1 (R ;C) admits the decomposition RV = RV (1) +RV () where RV (1) W 1,1 loc (Rd ) and RV () L loc (Rd ). Assume that there exist numbers ǫ,a 1,a,b 1,b,b 3,b 4,b 5,b 6 [,1) satisfying (33) such that (13) and (3) hold. Then H A,V has no eigenvalues, i.e. σ p (H A,V ) =. 3.3 The Aharonov-Bohm potential Finally, we consider the special case of the singular Aharonov-Bohm potential A(x) := ( sinθ,cosθ) α(θ) r, (38) where (x 1,x ) = (rcosθ,rsinθ) is the parameterisation via polar coordinates, r (, ), θ [,π), and α : [,π) R is an arbitrary bounded function. In this case, the magnetic field B equals zero everywhere except for x =. In fact B = παδ (39) in the sense of distributions, where δ is the Dirac delta function and α := 1 π π α(θ) dθ has the physical meaning of the total magnetic flux. We notice that A can be gauged out whenever α is an integer. To measure the strength of the Aharonov-Bohm field, we introduce the distance of the total magnetic flux α to the set of integers β := dist(α, Z) (4) and assume α Z, so that β (,1/]. Since A L loc (R ;R ), the Aharonov-Bohm potential does not satisfy our standing regularity assumption. In the case (38), we still understand H A,V as the operator associated with the form (11), but now with the form core C (R ) being replaced by C (R \ {}). To get an m-sectorial operator, we assume the validity of (13) for all ψ C (R \{}) now. If β =, then H A,V is unitarily equivalent to the magnetic-free operator H,V. 9
Following the proof of Lemma 1, it can be shown that the identity A u + Iλ ( r (Rλ) 1/ A u 1 u ) + rrv + u r = r (rrv (1) ) u RV () u R rrv () u r A u +I riv u r A u + Iλ rrv (Rλ) 1/ u (41) holds, provided that the solution of H A,V u = λu satisfies conditions (16) without the first term (containing Bτ). Formally, (41) follows after plugging (39) into (17). The principal idea of this subsection is that the singular magnetic Hardy-type inequality due to Laptev and Weidl (see [7, Thm. 3]) R ψ C (R \{}), A ψ(x) dx β ψ(x) R x dx (4) holds true, where β is introduced in (4). We also use its weighted variant included in the following lemma, which is a magnetic improvement upon (6). Lemma 3. Let A be given by (38). Then one has ψ C (R \{}), x A ψ(x) dx R Proof. Passing to polar coordinates, we have π x A ψ(x) dx = r φ(r,θ) r drdθ + R 1 4 π )R ψ(x) 4 +β dx. (43) x π φ(r,θ) r drdθ +β π ( θ +iα(θ))φ(r,θ) r drdθ φ(r,θ) r drdθ, where φ(r,θ) := ψ(rcosθ,rsinθ). Here the first integral on the right-hand side is estimated by a classical weighted one-dimensional Hardy inequality (which is actually behind the proof of (6)), while the bound on the second integral employs that the first eigenvalue of the operator [ i θ + α(θ)] in L ((,π)), subject to periodic boundary conditions, equals β. Lemma 3 enables us to handle the troublesome term on the left-hand side of (41) as follows. Given any positive number δ, we write r A u + 1 u ( ) 1 u r 4 β r u = 4 )Dδ u β + r 4 )R\Dδ β r ( ) 1 u ( ) 1 1 4 β δ r + 4 β u δ ( ) 1 u ( ) 1 1 4 β δ r + 4 β IV u δ Iλ ( ) ( ) 1 δ 1 1 4 β β A u + 4 β IV u, δ Iλ where the first inequality is due to (43), estimates in the second inequality are elementary, the third estimate follows from () with a constant choice for the multiplier G and the last inequality employs (4). Choosing δ := β ǫ(rλ) 1/ / Iλ with any positive ǫ and using (15), we therefore get Iλ (Rλ) 1/ ( r A u + 1 u ) r 4 β 1 ) ǫ A u + 4 β ) 1 β ǫ IV u.
Neglectingthe lasttermonthe left-handside of (41) andtreatingthe othertermsasinthe firstinequality of (36), we arrive at A u [ r (rrv (1) )] + u + RV () u + r RV ( ) u A u + r IV u A u + r RV u IV u + ) ǫ A u + 4 β [ b +b 3 +b 4 +b 5 +b 6 a + ) 1 4 β β IV u ǫ ( ) ( ) ] 1 1 1 4 β ǫ+ 4 β β ǫ a A u. Here the last inequality follows by (13) and conditions (3) that are assumed to be valid for all ψ C (R \{}). The first integral in (3) is interpreted as zero, so that this condition is always satisfied for the Aharonov-Bohm field (38). Making the hypothesis b +b 3 +b 4 +b 5 +b 6 a + 4 β ) ǫ+ we therefore conclude with u = as above. We summarise the result of this subsection in the following theorem. ( ) 1 1 4 β β ǫ a < 1, (44) Theorem 5. Let the vector potential A be given by (38) with α Z and suppose that the scalar potential V L 1 (R ;C) admits the decomposition RV = RV (1) +RV () where RV (1) W 1,1 loc (Rd ) and RV () L loc (Rd ). Assume that there exist numbers ǫ,a 1,a,b,b 3,b 4,b 5,b 6 [,1) satisfying (44) such that (13) and (3) hold for all ψ C (R \{}). Then H A,V has no eigenvalues, i.e. σ p (H A,V ) =. In particular, in the electric-free case V =, we recover the well known result that the Aharonov- Bohm Laplacian H A, possesses no eigenvalues. Notice also that the sufficient conditions of Theorem 5 substantially simplify in the regime when the Aharonov-Bohm field is the strongest, i.e. β = 1/. Acknowledgments We are grateful to Timo Weidl for valuable suggestions. The research of D.K. was partially supported by FCT (Portugal) through project PTDC/MAT-CAL/4334/14. The research of L.V. was partially supported by ERCEA Advanced Grant 669689-HADE, MTM14-53145-P, and IT641-13. References [1] A. Balinsky, A. Laptev, and A. Sobolev, Generalized Hardy inequality for the magnetic Dirichlet forms, J. Stat. Phys. 116 (4), 57 51. [] J. A. Barceló, L. Vega, and M. Zubeldia, The forward problem for the electromagnetic Helmholtz equation with critical singularities, Adv. Math. 4 (13), 636 671. [3] C. Cazacu and D. Krejčiřík, The Hardy inequality and the heat equation with magnetic field in any dimension, Comm. Partial Differential Equations 41 (16), 156 188. [4] L. Fanelli, D. Krejčiřík, and L. Vega, Spectral stability of Schrödinger operators with subordinated complex potentials, J. Spectr. Theory (17), arxiv:156.1617 [math.sp]. [5] T. Ikebe and Y. Saito, Limiting absorption method and absolute continuity for the Schrödinger operator, J. Math. Kyoto Univ. 1 (197), 513 54. [6] T. Kato, Perturbation theory for linear operators, Springer-Verlag, Berlin, 1966. [7] A. Laptev and T. Weidl, Hardy inequalities for magnetic Dirichlet forms, Oper. Theory Adv. Appl. 18 (1999), 99 35. [8] T. Weidl, A remark on Hardy type inequalities for critical Schrödinger operators with magnetic fields, Oper. Theory Adv. Appl. 11 (1999), 345 35. 11