arxiv: v3 [math-ph] 19 Oct 2017

Transcription

1 ABSECE OF A GROUD STATE FOR BOSOIC COULOMB SYSTEMS WITH CRITICAL CHARGE YUKIMI GOTO arxiv: v3 [math-ph] 19 Oct 2017 Abstract. We consider bosonic Coulomb systems with -particles and K static nuclei. Let E Z denote the ground state energy o a bosonic molecule o the total nuclear charge Z. We prove that the system has no normalizable ground state when E 1 = E Introduction We consider a molecule consisting o -particles and K ixed nuclei with positive charges z 1,...,z K > 0 located at distinct positions R 1,...,R K R 3. Let Z = K z i be the total nuclear charge. This system is described by the Hamiltonian ( H Z = K i z j x i R j 1 + x i x j 1 + z i z j R i R j 1 1 i<j 1 i<j K acting on L 2 (R 3. Here x i R 3 and i are, respectively, the particle coordinates and the three-dimensional Laplacian with respect to the coordinate x i. It is well-known that H Z is a sel-adjoint operator with the domain H2 (R 3 and bounded rom below. The ground state energy is deined by E Z = inspechz = in{,h Z : H 1 (R 3, 2 = 1 } and i it is an eigenvalue, the corresponding eigenunction is called the ground state. We impose no symmetry requirements on the particles or our study. That actually the unrestricted ground state wave unction is the same as the bosonic (totally symmetric one is a conclusion o [20, Section 3.2.4]. It is always the case that E Z EZ 1 (see, e.g., [16]. According tothehvztheorem([16], E Z < EZ 1 implies thatthereexists aground state eigenunction o H Z. Zhislin [23] proved that EZ < EZ 1 or Z > 1 and it is also known that the system is not bound i or a given the total nuclear charge becomes suiciently small. More precisely, the system has no ground state i 2Z+K ([18]. This implies instability o the di-anionh 2. In the usual ermionic case, experimental [2] and numerical [12, 21] evidence suggests that there are no stable atomic di-anions X 2, i.e., ermionic atoms are not bound i > Z +1 (see, [20] or urther inormation. Key words and phrases. Many-body Schrödinger operator; Coulomb system; Bosonic molecules; threshold eigenvalue. 1

2 2 YUKIMI GOTO In the critical case Z = 1, it might happen either E 1 < E 1 1 or E 1 = E 1 1. The latter case leads to absence o anions (e.g., presumably, He, Be, etc or, otherwise, existence o bound states having zero binding energy as well [10, 4, 8]. In this paper, we prove that the ground states o bosonic molecules are delocalized when E 1 = E 1 1. Theorem 1.1. Suppose E 1 state o H 1 in L 2 (R 3. = E 1 1. Then there cannot be a normalizable ground Thus, bosonic anions X ail to be stable in that case. In nature, ermionic He anion ( = 3, Z = 2 is unstable as also numerical computations show [7] (but a virtual state can be expected as indicated by [13]. On the other hand, Hogreve [14] proved bosonic He can exist as a stable anion. For the atom with = 2 electrons, the anion H (Z = 1 has a ground state ([22, 6]. Moreover, or bosonic atoms it is known that E Z < EZ 1 or all c(z = 1.21Z+o(Zas Z, where c (Z is the maximum number o particles that canbe bound to a nucleus o charge Z ([5, 3]. In particular, E 1 large. As yet it is unknown i the situation E 1 = E 1 1 < E 1 1 is true or some. or suiciently Remark 1.2. Let Z c > 0 be a critical value such that or Z > Z c one has E Z < EZ 1, and E Zc = EZc 1. Clearly, Z c 1 by Zhislin s theorem. Our theorem corresponds to the case Z c = 1. In the atomic situation K = 1, it was shown in [4, 8], that H Zc has a ground state i Z c < 1 and E Zc 1 < EZc 2 (in [8], i Z c ( 2, 1. Furthermore, these results are also valid or the ermionic case. But our proo works only or the unconstrained (bosonic case because the positivity o the ground state is needed. Remark 1.3. It has been shown by Gridnev [8] that or certain combinations o charges the ground state in the three-particle Coulomb system is delocalized when the energy o the system equals the bottom o the continuous spectrum. Remark 1.4. The symmetry properties o the wave unctions may have an important role in the existence and absence o the bound states at threshold. For instance, we consider the two-particle Hamiltonian H(Z = x + ZV( x, where V C c (R3 and V 0, Z > 0 (the center o mass motion is removed. There would exist Z c such that inspech(z ր 0 as Z ց Z c. I the particles are bosons or boltzons (without any symmetry restrictions then we can repeat the superharmonic argument in the proo o Theorem 1.1, and thus the ground state o H(Z c is not localized. I the particles are spatially anti-symmetric ((x = ( x then the ground state is bound and localized ([15, Theorem 2.4]. In the three particle problem without particle statistics and with essential spectrum starting at zero the ground states are delocalized only in special cases. We reer to [9].

3 ABSECE OF A GROUD STATE FOR BOSOIC COULOMB SYSTEMS WITH CRITICAL CHARGE3 2. Proo o Theorem 1.1 Although, as already explained in the introduction, the unconstrained ground state is the same as the bosonic one, the particle symmetry will be never used in any o the proos. Our method is similar to that o M. and T. Homan-Ostenho [11]. They showed that the Hamiltonian o the two-particle atom H Zc 2 has no ground state in the triplet S-sector at the threshold Z c = 1. The triplet S-sector means that the admissible unctions in L 2 (R 6 are restricted to (x 1,x 2 = (x 2,x 1 and there exists a φ L 2 (R + R + R with (x 1,x 2 = φ( x 1, x 2,x 1 x 2. Our proo is simpler than the one in [11], and we treat the molecule o arbitrary - particles, but without the anti-symmetry assumption (the Pauli exclusion principle. Our proo proceeds by constructing a contradiction. We suppose that there is a H 1 (R 3 so that H Z = EZ and 0 or Z = Z c = 1. The ground state eigenunction is automatically in H 2 (R 3, and we may assume that 0 ([19, Theorem 7.8]. Then, by the results o Aizenman and Simon [1, Theorem 3.10 & 1.5], is strictly positive and continuous. For any unction g : R 3 R let [g] x (x 1,...,x 1,r = g(x 1,...,x dω S 4π 2 be the spherical average o g with respect to the variable x = (r,ω, where dω is the spherical measure on S 2, which is the unit sphere in R 3. We note that [g] x 2 g 2 or any g by the Cauchy-Schwarz inequality. The next lemma is a slight modiication o [17, Lemma 7.17]. Lemma 2.1. Let be a strictly positive, continuous unction in H 2 (R 3 and set (x 1,...,x = exp([ln] x (x 1,...,x 1,r. Then > 0, C(R 3, and [ ] i i, x i = 1,...,, in the sense o distributions. Moreover, the weak derivatives obey i L 2 loc (R3 and i L 1 loc (R3, or i = 1,...,. Proo. ote that [] x L 2 (R 3 rom Jensen s inequality ([19, Theorem 2.2]. Let ρ ε be a molliier in R 3, namely, ρ ε (x = ε 3 ρ(ε 1 x, or ε > 0, where ρ is a unction in C c (R3 (ininitely dierentiable unctions with compact support satisying ρ 0, ρ = 1, ρ(x = 0 or x 1. Then ε = ρ ε is strictly positive, smooth and satisies that ε in H 2 (R 3 ([19, Thoerem 2.16 & Lemma 6.8] and ε uniormly on any compact set as ε 0, where the symbol denotes the convolution o two unctions. We introduce a strictly positive, continuous unction deined by ε = exp ( [ln ε ] x. It is easy to see that ε also converges to uniormly on any compact set, since, by the mean value theorem o calculus, ε const.[ ε ] x on any compact set. By direct computation, we see that i ε = ( i [ln ε ] x ε + i [ln ε ] x 2 ε (2.1

4 4 YUKIMI GOTO and i [ln ε ] x = [ i ln ε ] x ori = 1,...,,since[ g] x = [( 2 / r 2 +2/r / r g] x or g C 2 (R 3. As ε 0, i ε converges to ( [ i ] F i = x [ i 2 ] x + i [ln] 2 x, (2.2 i = 1,...,, in L 1 (K or any compact set K R 3. In act, or any compact set K, we may choose a constant C > 0 such that, ε C on K by the positivity and continuity o. Since a ε b ε ab = (a ε ab ε +a(b ε b, a simple calculation shows that [ ] [ ] i ε i [ ] [ ] ε ε x x = i ( ε +( ε i i ε + ( ε ε x x const. ( [ i ( ε + ε i ] x + ε [ i ] x and, by using the inequality a ε 2 a 2 ( a ε + a a ε a, [ i ε ] [ 2 i ] 2 ε ε const.([ i ε 2] x ε +[( i ε + i i ε ] x x x +[( i ε i ( i ε + i ] x on K. These bound and a similar calculation or the third term, together with ε and ε uniormly on any compact set and ε in H 2 (R 3, lead to the desired result (2.2. Thereore, we obtain (x i φ(xdx = lim ε (x i φ(xdx R 3 ε 0 R 3 = lim φ(x i ε (xdx = ε 0 R 3 R 3 φ(xf i dx or any test unction φ C c (R3. Consequently, we obtain F i = i L 1 loc (R3 as the weak derivative. The proo o i L 2 loc (R3, as the weak derivative, is essentially the same. Finally, we note that [ln ε ] x 2 = [( ε / r / ε ] 2 x [ ( ε / ε 2] x and i [ln ε ] x 2 [ ( i ε / ε 2] or i = 1,..., 1, by the Cauchy-Schwarz inequality. Then (2.1 implies that i ε [( i ε / ε ] x ε. Since i ε converges to x F i = i, this yields [ ] [ ] i i ε φ dx = lim φ ε dx R 3 ε 0 x R 3 ε x lim φ i ε dx = φ i dx, ε 0 R 3 R 3 i = 1,...,, or every non-negative test unction φ C c (R3.

5 ABSECE OF A GROUD STATE FOR BOSOIC COULOMB SYSTEMS WITH CRITICAL CHARGE5 Using the decomposition H Z = HZ 1 we observe that [ (H Z 0 = E Z ] ( 1 [ ] i = [ ] x x x K z j x R j 1 + K z j x i R j 1 + K [ z j x R j 1] + x i<j 1 x i x 1, x i x j 1 [ xi x 1] x E Z 1. Here we have used the assumption E Z = EZ 1. ow, or x > R = max 1 j K R j, our hypothesis Z = 1 leads to the bound K [ z j x R j 1] + x 1 [ xi x 1] x 0 since [ y x 1 ] x = min( y 1, x 1 or y R 3 by ewton s theorem (ollowed rom an integration in polar coordinates [20, Theorem 5.2]. This is the crucial place where averaging over x helps. We recall Lemma 2.1 to conclude that 0 (H Z 1 E Z 1 on x > R. In addition, by Zhislin s theorem and the HVZ theorem, there is a normalized eigenunction φ o H 1 Z corresponding to the eigenvalue EZ 1. As in the case o, we can assume that φ > 0, etc. Thus, there is a sequence φ n Cc (R3( 1 such that φ n φ in H 2 (R 3( 1 with φ n 0. For any non-negative unction η Cc (R3 with the support in the set x > R, we deine a non-negative, smooth, and compactly supported unction by g n (x 1,...,x = φ n (x 1,...,x 1 η(x. Lemma 2.1 now implies that 0 g n, ( H Z 1 EZ 1 = ( H Z 1 E Z 1 gn,. As n the right side converges to ( H 1 Z EZ 1 g,, where g = lim n g n. Since H 1 Z φ = EZ 1φ, it ollows that 0 g, L 2 (R 3 = η,v L 2 (R 3 or all 0 η Cc (R3 with the support in the set {x : x > R}, where v(r = φ(x 1,...,x 1 (x 1,...,x 1,r dx 1 dx 1. R 3( 1

6 6 YUKIMI GOTO Hence, we ind that v is superharmonic, that is, 0 v on x > R, in distributional sense. Also, v ε = h ε v is superharmonic in x > R+ε or suiciently small ε > 0, where h ε is some molliier in R 3. By the positivity o continuousunctions andφ,wecanchooseaconstantc R > 0sothatv ε (x C R x 1 or all x R 3 with x = R+1. Since u(x = C R x 1 is harmonic in x > 0, we arrive at (u v ε 0 in x > R+1, andby the strong maximum principle ([19, Theorem 9.4], we iner that u v ε takes its maximum value on {x R 3 : x = R+1} {+ }. Hence, lim x + (u v ε (x 0 and u v ε on x = R + 1 imply that u v ε in x > R + 1. From this result, we have u lim ε 0v ε = v or almost every x with x > R +1 and some subsequence ε. Since C R x 1 v(x or almost all x > R+1, it immediately ollows that v(r 2 dx = +. R 3 From the act that [] x (recall the irst line o the proo o Lemma 2.1 and the Cauchy-Schwarz inequality, we conclude + = v(r 2 dx R 3 ( 2 = φ(x 1,...,x 1 (x 1,...,x 1,r dx 1 dx 1 dx R 3 R 3( 1 (x 1,...,x 1,r 2 dx 1 dx [] 2 dx 1 dx 2 2. R 3 R 3 This contradicts our assumption L 2 (R 3. Reerences [1] M. Aizenman and B. Simon, Brownian motion and Harnack inequality or Schrödinger operators, Comm. Pure Appl. Math (1982. [2] T. Andersen, H. K. Haugen and H. Hotop, Binding Energies in Atomic egative Ions: III, J. Phys. Chem. Re. Data (1999. [3] V. Bach, Ionization energies o bosonic Coulomb systems, Lett. Math. Phys (1991. [4] J. Bellazzini, R. L. Frank, E. H. Lieb, and R. Seiringer, Existence o ground states or negative ions at the binding threshold, Rev. Math. Phys (2014. [5] R. Benguria and E. H. Lieb, Proo o the Stability o Highly egative Ions in the Absence o the Pauli Principle, Phys. Rev. Lett (1983. [6] C. S. Estienne, M. Busuttil, A. Moini, and G. W. F. Drake, Critical uclear Charge or Two- Electron Atoms, Phys. Rev. Lett (2014. [7] D. M. Feldmann and F. W. King, Upper bound to the critical binding nuclear charge or a three-electron atomic system, J. Phys. B (2008. [8] D. K. Gridnev, Bound states at threshold resulting rom Coulomb repulsion, J. Math. Phys (2012.

7 ABSECE OF A GROUD STATE FOR BOSOIC COULOMB SYSTEMS WITH CRITICAL CHARGE7 [9] D. K. Gridnev, Zero-energy bound states and resonances in three-particle systems, J. Phys. A (2012. [10] M. Homann-Ostenho, T. Homann-Ostenho and B. Simon, A multiparticle Coulomb system with bound state at threshold, J. Phys. A (1983. [11] M. Homan-Ostenho and T. Homan-Ostenho, Absence o an L 2 -eigenunction at the bottom o the spectrum o the Hamiltonian o the hydrogen negative ion in the triplet S-sector, J. Phys. A (1984. [12] H. Hogreve, On the maximal electronic charge bound by atomic nuclei, J. Phys. B 31 L (1998. [13] H. Hogreve, Destabilization o Atomic Anions: The case o F and O 2, Phys. Scr. 58 (1998. [14] H. Hogreve, A Remark on the Ground State Energy o Bosonic Atoms, J. Stat. Phys (2011. [15] M. Klaus and B. Simon, Coupling constant thresholds in nonrelativistic quantum mechanics. I. Short-range two-body case, Ann. Phys (1980. [16] M. Lewin, Geometric methods or nonlinear many-body quantum systems, J. Funct. Anal (2011. [17] E. H. Lieb, Thomas-Fermi and related theories o atoms and molecules, Rev. Mod. Phys (1981. [18] E. H. Lieb, Bound on the maximum negative ionization o atoms and molecules, Phys. Rev. A (1984. [19] E. H. Lieb and M. Loss, Analysis, Second Edition, American Mathematical Society, Providence [20] E. H. Lieb and R. Seiringer, The stability o matter in quantum mechanics, Cambridge University Press, Cambridge [21] A V. Sergeev, and S. Kais, Critical nuclear charges or -electron atoms, Int. J. Quant. Chem (1999. [22] F. H. Stillinger and D. K. Stillinger onlinear variational study o perturbation theory or atoms and ions, Phys. Rev. A (1974. [23] Z. M. Zhislin, Discussion o the spectrum o Schrödinger operator or systems o many particles, Tr. Mosk. Mat. Obs (1960. Graduate School o Mathematical Sciences, The University o Tokyo, Komaba Meguro-ku Tokyo , Japan address: yukimi@ms.u-tokyo.ac.jp