Quantum systems exhibiting parameter-dependent spectral transitions

Transcription

1 Quantum systems exhibiting parameter-dependent spectral transitions Pavel Exner Doppler Institute for Mathematical Physics and Applied Mathematics Prague in collaboration with Diana Barseghyan, Andrii Khrabustovskyi, Vladimir Lotoreichik, and Miloš Tater A talk at the Kochi University of Technology Tosa Yamada, October 12, 2015 P. Exner: Spectral transitions... Kochi University of Technology October 12,

2 Talk outline The simplest example: Smilansky model I I Spectral properties, the subcritical and supercritical case Numerical solution A regular version of Smilansky model I I I Choice of the potential Spectral properties, the subcritical and supercritical case Intervals and multiple channels Another model: transition from a purely discrete to the real line I I I Potential for which Weyl quantization fails Spectral properties, the subcritical and supercritical case The critical case Summary & open questions P. Exner: Spectral transitions... Kochi University of Technology October 12,

3 Smilansky model The model was originally proposed in [Smilansky 04] to describe a one-dimensional system interacting with a caricature heat bath represented by a harmonic oscillator. Mathematical properties of the model were analyzed in [Solomyak 04], [Evans-Solomyak 05], [Naboko-Solomyak 06]. More recently, time evolution in such a (slightly modified) model was analyzed [Guarneri 11] In PDE terms, the model is described through a 2D Schrödinger operator H y 2 + y (x) on L 2 (R) with various modifications to be mentioned later. Due to a particular choice of the coupling the model exhibited a spectral transition with respect to the coupling parameter. P. Exner: Spectral transitions... Kochi University of Technology October 12,

4 A summary of results about the model Spectral transition: if > p 2 the particle can escape to infinity along the singular channel in the y direction. In spectral terms, it corresponds to switch from a positive to a below unbounded spectrum at = p 2. At the heuristic level, the mechanism is easy to understand: we have an e ective variable decoupling far from the x-axis and the oscillator potential competes there with the interaction eigenvalue y 2. Eigenvalue absence: for any 0thereareno eigenvalues 1 2. If > p 2, the point spectrum of H Sm is empty. Existence of eigenvalues: for 0 < < p 2 we have H Sm point spectrum is nonempty and finite, and N( 1 2, H Sm) 1 4 p 2(µ( ) 1) holds as! p 2,whereµ( ):= p 2/. 0.The P. Exner: Spectral transitions... Kochi University of Technology October 12,

5 Further results Absolute continuity: in the supercritical case > p 2 we have ac(h Sm )=R Extension of the result to a two channel case with di erent oscillator frequencies [Evans-Solomyak 05] Extension to multiple channels on a system periodic in x [Guarneri 11]. In this paper the time evolution generated by H Sm is investigated and proposed as a model of wavepacket collapse. The above results have been obtained by a combination of di erent methods: a reduction to an infinite system of ODE s, facts from Jacobi matrices theory, variational estimates, etc. Before proceeding further, let show how the spectrum can be treated numerically in the subcritical case. P. Exner: Spectral transitions... Kochi University of Technology October 12,

6 Numerical search for eigenvalues In the halfplanes ±x > 0 the wave functions can be expanded using the transverse base spanned by the functions n(y) = 1 p 2 n n! p e y 2 /2 H n (y) corresponding to the oscillator eigenvalues n + 1 2, n =0, 1, 2,... Furthermore, one can make use of the mirror symmetry w.r.t. x =0and divide H into the trivial odd part H ( ) and the even part H (+) which is equivalent to the operator on L 2 (R (0, 1)) with the same symbol determined by the boundary condition f x (0+, y) = 1 yf (0+, y). 2 P. Exner: Spectral transitions... Kochi University of Technology October 12,

7 Numerical solution, continued We substitute the Ansatz with apple n := q n f (x, y) = 1X c n e applenx n=0 n(y) This yields for solution with the energy the equation B c =0, where c is the coe cient vector and B is the operator in `2 with (B ) m,n = apple n m,n ( m, y n ). Note that the matrix is in fact tridiagonal because ( m, y n )= 1 p 2 p n +1 m,n+1 + p n m,n 1. P. Exner: Spectral transitions... Kochi University of Technology October 12,

8 Smilansky model eigenvalues 0.4 E n λ In most part of the subcritical region there is a single eigenvalue, the second one appears only at The next thresholds are , , , ,... P. Exner: Spectral transitions... Kochi University of Technology October 12,

9 Smilansky model eigenvalues Close to the critical value, however, many eigenvalues appear which gradually fill the interval (0, 1 2 ) as the critical value is approached P. Exner: Spectral transitions... Kochi University of Technology October 12,

10 Their number is as predicted The dots mean the eigenvalue numbers, the red curve is the above mentioned asymptotics due to Solomyak P. Exner: Spectral transitions... Kochi University of Technology October 12,

11 Smilansky model ground state The numerical solution also indicates other properties, for instance, that the first eigenvalue behaves as 1 = 1 2 c 4 + o( 4 ) as! 0, with c P. Exner: Spectral transitions... Kochi University of Technology October 12,

12 In fact, we have c = Indeed, the relation B c =0can be written explicitly as p µ c0 + 2 p 2 c 1 =0, p k 2 p 2 c k 1 + p p k +1 k + µ c k + 2 p 2 c k+1 =0, k 1, where µ := 1 2 E 1 ( )andc = {c 0, c 1,...} is the corresponding normalized eigenvector of B. Using the above relations and simple estimates, we get 1X c k 2 apple 3 4 k=1 2 and c 0 =1+O( 2 ) as! 0+; hence we have in particular c 1 = 2 p 2 + O( 2 ). P. Exner: Spectral transitions... Kochi University of Technology October 12,

13 In fact, we have c = The first of the above relation then gives as! 0+, in other words µ = O( 5 ) E 1 ( )= O( 5 ). And the mentioned coe cient is nothing else than P. Exner: Spectral transitions... Kochi University of Technology October 12,

14 Smilansky model eigenfunctions 0 = = = y x = x = y x The p first six eigenfunctions of HSm for = P. Exner: Spectral transitions... x = x x = , in other words, Kochi University of Technology October 12,

15 A regular version of Smilansky model Our next aim is to show that one can observe a similar e ect for Schrödinger operators with regular potentials. Now, however, the coupling cannot be linear in y and the profile of the channel has to change with y. Recall that the e ect comes from competition between the oscillator potential with the principal eigenvalue of the transverse part of the operator equal to y 2. We replace the by a family of shrinking potentials whose mean matches the coupling constant, R U(x, y) dx y. Thiscanbe achieved, e.g., by choosing U(x, y) = y 2 V (xy) for a fixed function V. This motivates us to investigate the following operator on L 2 (R 2 ), 2 +!2 y 2 y 2 V (xy) { x applea} (x), where!, a are positive constants, { y applea} is the indicator function of the interval ( a, a), and the potential V with supp V [ a, a] is a nonnegative function with bounded first derivative. P. Exner: Spectral transitions... Kochi University of Technology October 12,

16 A regular version of Smilansky model, continued By Faris-Lavine theorem the operator is e.s.a. on C0 1 same is true for its generalization, (R2 )andthe 2 +!2 y 2 NX j=1 jy 2 V j (xy) { x bj applea j }(x) with a finite number of channels, where functions V j are positive with bounded first derivative, with the supports contained in (b j a j, b j + a j ) and such that supp V j \ supp V k = ; holds for j 6= k. Remark We note that the properties discussed below depend on the asymptotic behavior of the potential channels and would not change if the potential is modified in the vicinity of the x-axis, for instance, by replacing the above cut-o functions with y a (y) and y aj (y), respectively. P. Exner: Spectral transitions... Kochi University of Technology October 12,

17 Subcritical case To state the result we employ a 1D comparison operator L = L V, L = d2 dx 2 +!2 V (x) on L 2 (R) with the domain H 2 (R). What matters is the sign of its spectral threshold; since V is supposed to be nonnegative, the latter is a monotonous function of and there is a crit > 0atwhichthe sign changes. Theorem (Barseghyan-E 14) Under the stated assumption, the spectrum of the operator H is bounded from below provided the operator L is positive. P. Exner: Spectral transitions... Kochi University of Technology October 12,

18 Proof outline It is su cient to prove the claim for = 1. We employ Neumann bracketing, similarly as for the previous model. Let h n and e h n be respectively the restrictions of operator H to the strips G n = R {y : lnn < y apple ln(n + 1)}, n =1, 2,...,and e G n,theirmirror images w.r.t. y, with Neumann boundary conditions; then H 1M (h n hn e ) ; n=1 We find a uniform lower bound (h n )and ( e h n )asn!1. Using the assumptions about V we find 1 ln n V (xy) V (x ln n) =O, y 2 ln 2 n = O n ln n n for any (x, y) 2 G n, and analogous relations for e G n. P. Exner: Spectral transitions... Kochi University of Technology October 12,

19 Proof outline continued This yields ln n y 2 V (xy) ln 2 nv(x ln n) =O n for for any (x, y) 2 G e n which allows us to check that ln n inf (h n ) inf (l n )+O, n where l 2 +! 2 ln 2 n ln 2 nv(x ln n) on L 2 (G n ). The analogous relation holds for e l n on L 2 ( e G n ). It is important that all these operators have separated variables. Since the minimal eigenvalue of Neumann Laplacian d 2 dy 2 on the strips ln n < y apple ln(n + 1), n =1, 2,..., is zero, we have inf (l n )=inf l n (1), where the last operator on L 2 (R) actsas l (1) n = d2 dx 2 +!2 ln 2 n ln 2 nv(x ln n) P. Exner: Spectral transitions... Kochi University of Technology October 12,

20 Proof outline concluded Note that the cut-o function { x applea} plays no role in the asymptotic estimate as it a ects a finite number of terms only. t By the change of variable x = ln n the last operator is unitarily equivalent to ln 2 nl which is non-negative as long as L is non-negative. In the same way one proves that e l n is non-negative ; this concludes the proof. In the same way one can treat systems restricted in the x direction: Corollary Let H be our operator on ( c, c) R for some c a with Dirichlet (Neumann, periodic) boundary conditions in the variable x. Thespectrum of H is bounded from below if L 0 holds, where L is the comparison operator on L 2 ( c, c) with Dirichlet (respectively, Neumann or periodic) boundary conditions. P. Exner: Spectral transitions... Kochi University of Technology October 12,

21 Supercritical case Once the transverse channel principal eigenvalue dominates over the harmonic oscillator contribution, the spectral behavior changes: Theorem (Barseghyan-E 14) Under our hypotheses, (H) =R holds if inf (L) < 0. Proof relies on construction of an appropriate Weyl sequence: we have to find { k } 1 k=1 D(H) suchthatk kk = 1 which contains no convergent subsequence, and at same time kh k µ k k!0 as k!1. The construction is rather technical and we sketch just the main steps. P. Exner: Spectral transitions... Kochi University of Technology October 12,

22 Proof outline The claim is invariant under scaling transformations, hence we may suppose inf (L) = 1. The spectral threshold is a simple isolated eigenvalue; we denote the corresponding normalized eigenfunction by h. We want to show first that 0 2 ess (H). In fact, it would be enough for the proof to show that zero belongs to (H) but we get the stronger claim at no extra expense. We fix an ">0 and choose a natural k = k(") withwhichweassociate a function k C0 2 (1, k) satisfying the following conditions Z k 1 1 z 2 k (z) dz =1 and Z k 1 z( 0 k (z))2 dz <". P. Exner: Spectral transitions... Kochi University of Technology October 12,

23 Proof outline continued Such functions exist: as an example consider k(z) = 8ln3 z ln 3 k {1applezapple p 2lnz k} (z)+2lnk ln k { p k+1applezapplek 1} (z) +g k (z) { p k<z< p k+1} (z)+q k (z) {k 1<zapplek} (z), where g k and q k are interpolating functions chosen in such a way that k 2 C0 2 (1, k), and define Z k 1/2 1 k(z) = 2k (z) dz k(z). z 1 Given such functions k, put k(x, y) :=h(xy) e iy 2 /2 y k + f (xy) n k y 2 e iy 2 /2 y k, n k where f (t) := i 2 t2 h(t), t 2 R, andn k 2 N is a positive integer, which we choose using the following auxiliary result. P. Exner: Spectral transitions... Kochi University of Technology October 12,

24 Proof outline continued Lemma Let k, k =1, 2,..., as defined above; then for any given k one can 1 achieve that k k k L 2 (R 2 ) 2 holds by choosing n k large enough. We need one more auxiliary result: Lemma Let k, k =1, 2,..., be again functions defined above; then the inequality kh k k 2 L 2 (R 2 ) < c" with a fixed constant c holds for k = k("). Proofs are in both cases straightforward but rather tedious. P. Exner: Spectral transitions... Kochi University of Technology October 12,

25 Proof outline concluded Using the lemmata, we are able to complete the proof. We fix a sequence {" j } 1 j=1 such that " j & 0 holds as j!1and to any j we construct a function k("j ) in such a way that n k("j ) > k(" j 1 )n k("j 1 ). The norms of H k("j ) are bounded from above with 9" j on the right-hand side, and since the supports of k("j ), j =1, 2,..., do not intersect each other by construction, their sequence converges weakly to zero. This yields the sought Weyl sequence for zero energy; for any nonzero real number µ we use the same procedure replacing the above k with y k(x, y) =h(xy) e i µ(y) k + f (xy) y y 2 e i µ(y) k, n k n k where µ (y) := R y p µ p t 2 + µ dt, and furthermore, the functions f, are defined in the same way as above. k P. Exner: Spectral transitions... Kochi University of Technology October 12,

26 Restricted motion In the supercritical case, too, the result extends to systems restricted in the x direction: Theorem Let H be the our operator on L 2 ( c, c) L 2 (R) for some c > 0 with Dirichlet condition at x = ±c and denote by L the corresponding Dirichlet operator on L 2 ( c, c). If the spectral threshold of L is negative, the spectrum of H covers the whole real axis. Observing the domains of the quadratic form associated with such operators we get Corollary The claim of the above theorem remains valid if the Dirichlet boundary conditions at x = ±c are replaced by any other self-adjoint boundary conditions. P. Exner: Spectral transitions... Kochi University of Technology October 12,

27 The multichannel case The above results are interesting not only per se or to deal with the Guarneri-type periodic modification of the model. Using a simple bracketing argument we can show how the spectral-regime transition looks like in the multichannel case: Theorem (Barseghyan-E 14) Let H be our operator with the potentials satisfying the stated assumptions, namely the functions V j are positive with bounded first derivative and supp V j \ supp V k = ; holds for j 6= k. Denote by L j the comparison operator on L 2 (R) with the potential V j and set t V := min j inf (L j ).ThenHisbounded from below if and only if 0 and in the opposite case its spectrum covers the whole real axis. t V P. Exner: Spectral transitions... Kochi University of Technology October 12,

28 Another model class Consider next a related family of systems in which the transition is even more dramatic passing from purely discrete spectrum in the subcritical case to the whole real line in the supercritical one. Recall that there are situations where Weyl s law fails and the spectrum is discrete even if the classically allowed phase-space volume is infinite. A classical example due to [Simon 83] is a 2D Schrödinger operator with the potential V (x, y) =x 2 y 2 or more generally, V (x, y) = xy p with p 1. Similar behavior one can observe for Dirichlet Laplacians in regions with hyperbolic cusps see[geisinger-weidl 11] for recent results and a survey. Moreover, using the dimensional-reduction technique of Laptev and Weidl one can prove spectral estimates for such operators. A common feature of these models is that the particle motion is confined into channels narrowing towards infinity. P. Exner: Spectral transitions... Kochi University of Technology October 12,

29 Adding potentials unbounded from below This may remain true even for Schrödinger operators with unbounded from below in which a classical particle can escape to infinity with an increasing velocity. The situation changes, however, if the attraction is strong enough As an illustration, let us analyze the following class of operators: L p ( ):L p ( ) = + xy p (x 2 + y 2 ) p/(p+2), p 1 on L 2 (R 2 ), where (x, y) arethestandardcartesiancoordinatesinr 2 and the parameter in the second term of the potential is non-negative; unless the value of is important we write it simply as L p. 2p Note that p+2 < 2sothe operator is e.s.a. on C 0 1(R2 ) by Faris-Lavine theorem again; the symbol L p or L p ( ) will always mean its closure. P. Exner: Spectral transitions... Kochi University of Technology October 12,

30 The subcritical case The spectral properties of L p ( ) depend crucially on the value of there is a transition between di erent regimes as changes. Let us start with the subcritical case which occurs for small values of. To characterize the smallness quantitatively we need an auxiliary operator which will be an (an)harmonic oscillator Hamiltonian on line, and H p : H p u = u 00 + t p u on L 2 (R) with the standard domain. Let p be the minimal eigenvalue of this operator; in view of the potential symmetry we have p =inf (H p ), where H p : H p u = u 00 + t p u on L 2 (R + ) with Neumann condition at t = 0. P. Exner: Spectral transitions... Kochi University of Technology October 12,

31 The subcritical case continued The eigenvalue p =inf (H p ) equals one for p = 2; for p!1it becomes 1 = ; it smoothly interpolates between the two values. Since x p 1 [0,1](x) wehave p , where 0 is the ground-state energy of the rectangular potential well of depth one. In fact, a numerical solution gives true minimum p attained at p 1.788; in the semilogarithmic scale the plot is as follows: γ p p P. Exner: Spectral transitions... Kochi University of Technology October 12,

32 The subcritical case continued The spectrum is naturally bounded from below and discrete if = 0; our aim is to show that this remains to be the case provided is small enough. Theorem (E-Barseghyan 12) For any 2 [0, crit], where crit := p, the operator L p ( ) is bounded from below for p 1; if < p its spectrum is purely discrete. Idea of the proof: Let < p.byminimaxweneedtoestimatel p from below by a s-a operator with a purely discrete spectrum. To construct it we employ bracketing imposing additional Neumann conditions at concentric circles of radii n =1, 2,... In the estimating operators the variables decouple asymptotically and the spectral behavior is determined by the angular part of the operators. P. Exner: Spectral transitions... Kochi University of Technology October 12,

33 Subcritical behavior the proof Specifically, in polar coordinates we get direct sum of operators acting as L (1) n,p = 2 r n p sin 2' p r 2p/(p+2) on the annuli G n := {(r,'):n 1 apple r < n, 0 apple '<2 }, n =1, 2,... with Neumann conditions imposed n. Obviously (L (1) n,p) ispurelydiscreteforeachn =1, 2,...,henceitis su cient to check that inf (L (1) n,p)!1holds as n!1. We estimate L (1) n,p from below by an operator with separating variables, note that the radial part does not contribute and use the symmetry of the problem; for " 2 (0, 1) the question is then to analyze L (2) n,p : L (2) n n,pu = u 00 2p p sin p 2x 1 " n(4p+4)/(p+2) u on L 2 (0, /4) with Neumann conditions, u 0 (0) = u 0 ( /4) = 0. P. Exner: Spectral transitions... Kochi University of Technology October 12,

34 Subcritical behavior proof continued We have n 2 inf (L (1) n,p) inf (L (2) n 1,p ) if n is large enough, specifically for n > 1 (1 ") (p+2)/(4p+4) 1, hence it is su cient to investigate the spectral threshold µ n,p of L (2) n,p as n!1. The trigonometric potential can be estimated by a powerlike one with the similar behavior around the minimum introducing, e.g. p L (3) n,p := d2 2 dx 2 + n2p+2 x p 0 (0, (")](x) + [ ("), /4)(x) " n (4p+4)/(p+2) for small enough (") with Neumann boundary conditions at x =0, 1 4, where we have denoted 0 " := (1 ") p 1. We have L (2) n,p (1 ") p L (3) n,p. To estimate the rhs by comparing the indicated potential contributions it is useful to pass to the rescaled variable x = t n (2p+2)/(p+2). P. Exner: Spectral transitions... Kochi University of Technology October 12,

35 Subcritical behavior proof concluded In this way we find that µ 0 n,p := inf (L (3) n,p) satisfies µ 0 n,p n 2!1 as n!1 Through the chain of inequalities we come to conclusion that inf (L (1) n,p)!1holds as n!1which proves discreteness of the spectrum for < p. If = p the sequence of spectral thresholds no longer diverges but it remains bounded from below and the same is by minimax principle true for the operator L p ( ). Remark It is natural to conjecture that (L p ( p )) R +.Theremaybea negative discrete spectrum in the critical case; we return to this question a little later. P. Exner: Spectral transitions... Kochi University of Technology October 12,

36 The supercritical case Theorem (E-Barseghyan 12) The spectrum of L p ( ), p 1, is unbounded below from if > crit. Idea of the proof: Similar as above with a few di erences: now we seek an upper bound to L p ( ) by a below unbounded operator, hence we impose Dirichlet conditions on concentric circles the estimating operators have now a nonzero contribution from the radial part, however, it is bounded by 2 independently of n the negative -dependent term now outweights the anharmonic oscillator part so that inf (L (1,D) n,p )! 1holds as n!1 Using suitable Weyl sequences similar to those the previous model, however, we are able to get a stronger result: Theorem (Barseghyan-E 15) (L p ( )) = R holds for any > p and p > 1. P. Exner: Spectral transitions... Kochi University of Technology October 12,

37 Spectral estimates: bounds to eigenvalue sums Let us return to the subcritical case and define the following quantity: := 1 1+ p > 1 p 2 We denote by { j,p } 1 j=1 the eigenvalues of L p( ) arranged in the ascending order; then we can make the following claim. Theorem (E-Barseghyan 12) To any nonnegative < there exists a positive constant C p depending on p only such that the following estimate is valid, NX j=1 N (2p+1)/(p+1) j,p C p (1 ) (ln p N + 1) 1/(p+1) c N, N =1, 2,..., where c = P. Exner: Spectral transitions... Kochi University of Technology October 12,

38 Cusp-shaped regions The above bounds are valid for any p 1, hence it is natural to ask about the limit p!1describing the particle confined in a region with four hyperbolic horns, D = {(x, y) 2 R 2 : xy apple1}, describedbythe Schrödinger operator H D ( ): H D ( ) = (x 2 + y 2 ) with a parameter 0 and Dirichlet condition on the Theorem (E-Barseghyan 12) The spectrum of H D ( ) is discrete for any 2 [0, 1) and the spectral estimate NX N 2 j C(1 ), N =1, 2,... 1+lnN j=1 holds true with a positive constant C. P. Exner: Spectral transitions... Kochi University of Technology October 12,

39 Proof outline To get the estimate for cusp-shaped regions, one can check that for any u 2 H 1 satisfying the condition =0theinequality Z Z (x 2 + y 2 )u 2 (x, y) dx dy apple (r u)(x, y) 2 dx dy D is valid which in turn implies D H D ( ) (1 ) D, where D is the Dirichlet Laplacian on the region D. The result then follows from the eigenvalue estimates on [Simon 83], [Jakšić-Molchanov-Simon 92]. D known from The proof for p 2 (1, 1) is more complicated, using splitting of R 2 into rectangular domains and estimating contributions from the channel regions, the middle part, and the rest. We will not discuss it here, because we are able to demonstrate a stronger result à l a Lieb and Thirring. P. Exner: Spectral transitions... Kochi University of Technology October 12,

40 Better spectral estimates Theorem (Barseghyan-E 15) Given < p,let 1 < 2 apple 3 apple be eigenvalues of L p ( ). Thenfor 0 and 3/2 the following inequality is valid, +(p+1)/p tr ( L p( )) + apple C p, ln ( p ) +(p+1)/p p + C 2 +C 2p/(p+2) +1, where the constant C p, depends on p and only and 1 C =: max ( p ) (p+2)/(p(p+1)), 1 ( p ) (p+2)2 /(4p(p+1)). Sketch of the proof: By minimax principle we can estimate L p ( ) from below by a self-adjoint operator with a purely discrete negative spectrum and derive a bound to the momenta of the latter. We split R 2 again, now in a lego fashion using a monotone sequence { n } 1 n=1 such that n!1and n+1 n! 0 holds as n!1. P. Exner: Spectral transitions... Kochi University of Technology October 12,

41 Proof sketch G 3 G 2 G 1 Q 1 Q 2 Q 3 x = P. Exner: Spectral transitions... Kochi University of Technology October 12,

42 Proof sketch, continued Estimating the transverse variables by by their extremal values, we reduce the problem essentially to assessment of the spectral threshold of the anharmonic oscillator with Neumann cuts. Lemma Let l k,p = d2 + x p be the Neumann operator on [ dx 2 k, k], k > 0. Then inf (l k,p ) p + o k p/2 as k!1. n o 1 Combining it with the transverse eigenvalues 2 k 2 ( n+1,using n) 2 k=0 Lieb-Thirring inequality for this situation [Mickelin 15], and choosing properly the sequence { n } 1 n=1, we are able to prove the claim. P. Exner: Spectral transitions... Kochi University of Technology October 12,

43 The critical case Let us return to L := + xy p p(x 2 + y 2 ) p/(p+2) and the conjectures we made about its spectrum. Concerning the essential spectrum: Theorem (Barseghyan-E-Khrabustovskyi-Tater 15) We have ess(l) [0, 1). This can be proved in the same as above using suitable Weyl sequences. Theorem (Barseghyan-E-Khrabustovskyi-Tater 15) The negative spectrum of L is discrete. The proof uses a lego estimate similar to the one presented above. For the moment, however, we cannot prove that disc(l) is nonempty. We conjecture that it is the case having a strong numerical evidence for that. P. Exner: Spectral transitions... Kochi University of Technology October 12,

44 Bracketing: numerical analysis We solve our spectral problem with p = 2 in a disc of radius R with Dirichlet and Neumann condition at the boundary, and plot the first two eigenvalues as a function of R. 1 D N E, E1,2 1, R This indicates that the original critical problem has for p = 2 a single eigenvalue E P. Exner: Spectral transitions... Kochi University of Technology October 12,

45 Ground state eigenfunction We also find the eigenfunction, note that with the R = 20 cut-o the Dirichlet and Neumann ones are practically identical; the outer level marks the 10 3 value. P. Exner: Spectral transitions... Kochi University of Technology October 12,

46 The dependence on p Plotting the lowest eigenvalue in the subcritical case, we see that for small enough p there is likely a critical value (p) atwhichl p ( ) loses positivity. On the other hand, it seems that for p & the critical operator might be positive 1 E λ p 4 P. Exner: Spectral transitions... Kochi University of Technology October 12,

47 Summary & open questions We have analyzed spectral transitions in several classes of model coming from competition between a below positive and negative contributions of energy appearing in such potential channels Various questions remain open, for instance, about the properties of the disc(l) indicated numerically More generally, if the potential channels are regular and one has more than one transverse eigenvalue, one can conjecture that the spectral multiplicity will become larger after crossing each such threshold One can also conjecture that the spectrum will be absolutely continuous on the supercritical case, as it is established for the original Smilansky model In the case on Smilansky model when there is a continuous spectrum in the subcritical case one can expect the existence of resonances, etc. P. Exner: Spectral transitions... Kochi University of Technology October 12,

48 The talk was based on [EB12] P.E., D. Barseghyan: Spectral estimates for a class of Schrödinger operators with infinite phase space and potential unbounded from below, J. Phys. A: Math. Theor. A45 (2012), [BE14] D. Barseghyan, P.E.: A regular version of Smilansky model, J. Math. Phys. 55 (2014), [ELT15] P.E., V. Lotoreichik, M. Tater: Smilansky model: a numerical analysis, in preparation [BEKT15] D. Barseghyan, P.E., A. Khrabustovskyi, M. Tater: Spectral properties of Schrödinger operators with narrowing, below unbounded potential channels, in preparation P. Exner: Spectral transitions... Kochi University of Technology October 12,

49 It remains to say Thank you for your attention! P. Exner: Spectral transitions... Kochi University of Technology October 12,