CC BY
10
The behaviour of the three-dimensional Hamiltonian —A + A [5(x + x0) + S(x — x0)] as the distance between the two centres vanishes
S. Albeverio1,2, S. Fassari2,3,4 and F. Rinaldi2,3
1Institut für Angewandte Mathematik, HCM, IZKS, BiBoS, Universitat Bonn, Endenicherallee 60, D-53115 Bonn, Germany 2CERFIM, PO Box 1132, CH-6601 Locarno, Switzerland 3Universita' degli Studi Guglielmo Marconi, Via Plinio 44, I-00193 Rome, Italy 4Departamento de Física Teórica, Atómica y (Optica, Universidad de Valladolid, E-47011 Valladolid, Spain
sifassari@gmail.com
PACS 02.30.Gp, 02.30.Hq, 02.30.Hq, 02.30.Lt, 02.30.Sa, 02.30.Tb, 03.65.Db, 03.65.Ge, 68.65.Hb DOI 10.17586/2220-8054-2017-8-2-153-159
In this note, we continue our analysis of the behavior of self-adjoint Hamiltonians with symmetric double wells given by twin point interactions perturbing various types of "free Hamiltonians" as the distance between the two centers shrinks to zero. In particular, by making the coupling constant to be renormalized and also dependent on the separation distance between the two impurities, we prove that it is possible to rigorously define the unique self-adjoint Hamiltonian that, differently from the one studied in detail by Albeverio and collaborators, behaves smoothly as the separation distance between the impurities shrinks to zero. In fact, we rigorously prove that the Hamiltonian introduced in this note converges in the norm resolvent sense to that of the negative three-dimensional Laplacian perturbed by a single attractive point interaction situated at the origin having double strength, thus making this three-dimensional model more similar to its one-dimensional analog (not requiring the renormalization procedure) as well as to the three-dimensional model involving impurities given by potentials whose range may even be physically very short but non-zero.
Keywords: point interactions, renormalisation, Schrödinger operators, quantum dots.
Received: 3 February 2017 Revised: 12 February 2017
1. Introduction
In this brief presentation, we wish to further investigate the phenomenon that had been first observed in [1] for the one-dimensional Salpeter Hamiltonian perturbed by a pair of identical Dirac distributions symmetrically situated around the origin and later in [2, 3] for the Hamiltonian of the three-dimensional isotropic harmonic oscillator with the same perturbation: as the distance between the two centers shrinks to zero, the Hamiltonian does not approach the Hamiltonian with a single ¿-perturbation centered at the origin and having twice the strength. Here, we consider the model that can be regarded as the most pedagogical one, that is to say the three-dimensional Hamiltonian —A + A[¿(x + x0) + ¿(x — x0)].
As stated in those papers, such a problematic behavior does not occur in the case of one-dimensional Schrodinger Hamiltonians with the same singular double well, as attested by the findings of [4,5]. The absence of the aforementioned phenomenon in this case is due to the fact that the ¿-perturbation need not be defined by means of the coupling constant renormalization, since it is an infinitesimally small perturbation of the one-dimensional negative Laplacian due to the KLMN theorem.
2. The rigorous definition of the three-dimensional Hamiltonian —A + A[á(x + xo) + S(x — xo)]
As is well known (see, e.g., the references in [6]), the Dirac measure in three dimensions was seen to be far more singular as a perturbation of the negative Laplacian than its one-dimensional counterpart even in the early days of Quantum Mechanics. In fact, one has that the matrix element:
1
((|p|2 + 1)1/2 f, (H2 + 1)-1/2) ((|p|2 + i)-1/2, (H2 + 1)1/2 f),
(2n)3
diverges since the function (|p|2 + l) 1 is not in L1(R3) because the integral
4n J p2 (p2 + 1) 1 dp,
is clearly divergent.
As a consequence, the coupling constant renormalization will have to be exploited. In view of the detailed study of the important phenomenon mentioned earlier, the case of a singular double well consisting of two Dirac distributions symmetrically centered around the origin will be considered, precisely at the points:
±xo = (±xo, 0,0), xo > 0.
Therefore, after introducing the ultraviolet cut-off given by k > 0, i.e.:
|p1 = \JpX + p2 + p2 < k
(2.1)
the resolvent limit, as k ^ of the Hamiltonian describing in momentum space the negative Laplacian plus a sum of symmetric ¿-potentials at ±x0, with cut-off k and coupling constant A(k) = 0 depending on it:
h(k,xo) = |P12 + Ä
|x | pi <ke-iXo pi)(x | p| <k e-iXoî?| + |x | p| <k eiXo-î?)(x | i| <k eiXo"p|
(2.2)
is to be studied (x(0 denoting the indicator function of the set (•)). As the intermediate steps are essentially along the same lines of those in the three aforementioned papers [1-3], it is quite straightforward to obtain the expression for the resolvent of H(k, x0) for any E < 0:
1
h(k,xo) + |E|J = |p12 + |E | 2
1
(2n)3
X|n<fe cos(xo • p) • (jpf + |E^(x|pi<fc cos(xo • p) • (jp2 + |E|)
1
12
+
A(k) (2n)3
X|i<k cos(xo • p • (|jp| + |E|
-1/2
(2n)3
X|pl<fc sin(xo • p) • (|p2 + |E^(x|p|<fc sin(xo • pP) • (jp2 + |E|)
12
+
A(k) (2n)3
x|pl<fc sin(xo • p) •Hp + |E|
-1/2
(2.3)
Furthermore
2
(2n)
x|i|<fc cos(xo • p) •Mp + |E|
-1/2
(2n)3
J cos2(xo • p) • (|P12 + |E|) 1 d3p
|i|<fc
(2n)3
1 + cos(2xo • p) ,3 1 -d p-
|pl<fc
+ |E|
(2n)3
4n
|p1 :d |pl + / cos(2xo ^ d3p
|pl<fc
Ip12 + |E|
|£|<fc
+ |E|
(2n)3
4nk - 4n|E|/ ^^d |p1 + / cos(22Xo d3p
4n
Ip12 + |E |
k - |E|1/2 tan-1
ii<k k
IE12
Ip12 + |E|
+
cos(2xo • p) 3
(2n)3
|p|<fc
+ |E|
d3p. (2.4)
Similarly,
2
(2n)3
x|i|<fc sin(xo • p • (|p + |E|
-1/2
4n
k - |E|1/2 tan-1
IE1/2
(2n)3
|p|<fc
cos(2Xo •p) d3p (25)
+ |E| dp. (2.5)
2
2
1
2
2
2
2
2
2
1
1
1
2
2
2
k
1
The removal of the cut-off, that is to say the limit k ^ does not constitute a problem for the two rank one operators in the last two terms of (2.3) since:
cos(Xo • p)
+ |E|
-i
< то,
sin(Xo • p) • (|pp + |E|
i
<00.
Then, it is clear that the reciprocal of A(k) is to be chosen in such a way as to get the cancellation of the divergent quantity proportional to k. In fact, by setting:
1
1
1
1
к
1
Л(к,в) (2n)3
7^2 d P — 3 = — ^T? — о
|p|<k
Ь1
в
2п2 в'
or equivalently:
Л(к,в) = —-
в
113
p|<k
for any real в, the limit of the right hand side of (2.3), as к ^ +то, is given by:
R (|Eв,жо) = 2
+ |E|
+
(2n)3
cos(xo • p) \ I cos(Xo • p)
+ |E|"/\|p|2 + |E |
1+ |E |i/2
в + 4n
+
(2n)3
sin(x0 • pp) \/ sin(x0 • pp)
+ |E|
+ |E|
s-o lim
(2п)3 к^+то
|p|<k
cos(2X0 • p) j3 ' 1 |E|i/2
-2-- d3p - + ^—!--+
|p12 + |E| в + 4n +
cos(x0 • p) \/ cos(x0 • pp)
lim
cos(2x0 • p) l3 d p
|pf + |E |
+
(2n)3
+ |E|
+ |E|
(2п)3 кЛ+ТО J |p|2 + |e|
|pl<k
sin(x0 • p) \/ sin(x0 • pp)
1+ |E |i/2
в + 4n
1 e
-2 E
1/2x
+
(2n)3
+ |E|
+ |E|
1 |E|i/2 l_ e-2|E| в 4п 4п 2ж0
1/2x
(2.6)
4п 2ж0
At this stage, one should prove that R(|E|, в, ж0) is the resolvent of a self-adjoint operator Л,(в, ж0). However, such a proof will be omitted here given that it would be almost identical to the one provided in [6] in the case of a single point perturbation centred at the origin, the only difference represented by the possibility of having a second point to be excluded along the negative energy semiaxis, namely the possible zero of the denominator of the last term in (2.6).
The above findings can be summarized in the following theorem: Theorem 2.1. The Hamiltonian of the three-dimensional negative Laplacian perturbed by two identical attractive point interactions situated symmetrically with respect to the origin at the points ±ж0 = (±ж0,0,0), ж0 = |±ж0| > 0, making sense of the merely formal expression:
h
{А(в),Хс>
= —Д + Л(в) [¿(ж — Ж0) + ¿(ж + Ж0)]:
with:
Л(в) = —-
1+
(2п)3
—2 d3P
Ж3
being the self-adjoint operator Л.(в,ж0) whose resolvent is given by the bounded operator (2.6). The latter is the limit of the resolvents (2.3) of the Hamiltonians (2.2) (with the energy cut-off к defined by (2.1)) in the norm topology of bounded operators on L2(R3) once the energy cut-off is removed, i.e. for к ^ +то. Furthermore, Л.(в, ж0) regarded as a function of в is an analytic family in the sense of Kato.
Hence, the equation leading to the calculation of the ground state energy is:
|E|i/2 4n
1 e-
2| E
1/2x
a + J—!----= 0, a = —,
P
while the one leading to the calculation of the energy of the other bound state is:
|E|i/2 1 e-2|E| a +-----+
4n
4п 2ж0
0.
(2.7)
(2.8)
2
2
2
i
2
2
2
2
2
2
2
2
2
i
в
1
These two equations are exactly those thoroughly studied at the end of section II.1 in [6]: as shown graphically in Fig. 1 below for x0 = 1/2,
i) both eigenvalues are absent if 4na > (2x0)-1;
ii) the ground state is the only bound state if -(2x0)-1 < na < (2x0)-1;
iii) there are two bound states if 4na < -(2x0)-1.
E
-0.20 -0.1S -0.10 -0.05 f—" 0.05
, -1 1
1
/ :
/ / -4 1
/ /
/ / // // / -5 -6 -7 ;
Fig. 1. The spectral curves of the two eigenvalues of h(1/a,x0) as functions of the extension parameter a for x0 = 1/2
As can be seen in the above plot, whilst the excited state energy gets absorbed into the absolutely continuous spectrum at the point a = -(4n)-1, the ground state energy gets absorbed into the absolutely continuous spectrum at the opposite value a = (4n)-1. This is entirely consistent, of course, with the fact that, for any fixed value of x0, as a ^ h(1/a, x0) approaches the free Hamiltonian in the norm resolvent sense.
The interesting phenomenon previously anticipated is that, as x0 ^ 0+, the two eigenvalues exhibit different behaviors: whilst the second eigenvalue gets absorbed into the absolutely continuous spectrum, the magnitude of the ground state energy diverges, clearly implying that the Hamiltonian does not converge to the one in which the perturbation is represented by a single point interaction having double the strength. As mentioned earlier, the same phenomenon was observed in [1] dealing with the one-dimensional Salpeter Hamiltonian perturbed by a pair of twin Dirac distributions symmetrically situated with respect to the origin, the spectrum of which also consists of two eigenvalues below the absolutely continuous spectrum, as well as in [2,3] dealing instead with an operator having only infinitely many eigenvalues, namely the Hamiltonian of the three-dimensional harmonic oscillator perturbed by a pair of twin Dirac distributions symmetrically situated with respect to the origin. Such a singular behavior is in contrast with the smooth one of one-dimensional Schrodinger Hamiltonians with or without the harmonic confinement under the same perturbation (see [4,5]), as well as with that exhibited by three-dimensional Hamiltonians with perturbations whose range might be even very short but non-zero.
The strategy needed to regularize this singular behavior, thus making three-dimensional zero range perturbations behave like positive range ones, is the one adopted in the aforementioned papers, that is to say the coupling constant to be renormalized must also suitably depend on x0. It is quite instructive to see how this works in the case of the model analyzed in this note.
By setting:
1
k
A(k,£,x0) (2n)2
1
(2n)3
cos(2x?0 • p) ,3 -n^-d p
(2.9)
\p<k
and
H(k, x0)
2 , A(k,^,x0) 1 +
(2n)3
Ix \ p <k e-i Xo'p)(x \ p\ <k e-i + Ix \ Pi <k 7 ^Xx \ pi <k e^j
(2.10)
it is rather straightforward to obtain the new limit of the resolvent of (2.10) once the ultraviolet cut-off gets removed, namely:
R(|Ee,xo)
+ |E|
+
(2n)3
cos(Xo • p) w cos(ío • p)
|p\2 + |E |/\ |p\2 + |E|
1 + Mi/! +
в + 4n + (2n)3
lim
cos(2x0 • p)
|p|<fc
1
1
IpT |P|2 + |E|
-+
d3p
2
(2n)3
sin(x0 • p) \/ sin(x0 • p)
f + |E| A|pf + |E|
1 + \E\//! + Л
в + 4n + (2n)3 fc
lim
cos(2x0 • p)
2
+ |E|
-i
+
(2n)3
|p|<fc
cos(x0 • p) w cos(x0 • p)
1
+
f |P\2 + |E|
d3p
|p\2 + |E |A |p\2 + |E|
1 | E |1/2 1 1 — e-2|E в 4п 4п 2ж0
I/2,
+
(2n)3
sin(x0 • p) \/ sin(x0 • p)
f + |E|/\|p\2 + |E|
1 |E |1/2 1 1 + e-2|E|1/2xo в 4п 4п 2ж0
(2.11)
This operator can be rigorously shown to be the resolvent of another self-adjoint operator H(в,ж0) = H(1/a, ж0) by means of a proof again patterned after the aforementioned one in [6]. Therefore, also in this case our findings can be summarized in the following theorem:
Theorem 2.2. The Hamiltonian of the three-dimensional negative Laplacian perturbed by two identical attractive point interactions situated symmetrically with respect to the origin at the points ±ж0 = (±ж0,0,0), ж0 = |±ж0| > 0, making sense of the merely formal expression:
H
{А(в,жо),жо}
= —Д + Л(в, Xi) [¿(ж — Ж0) + ¿(ж + Ж0)] :
with:
Л(в, Ж0) = —-
в
1 Г 1 + cos(2x0 • p) з —^—dp
ж3
is the self-adjoint operator H(в, ж0) whose resolvent is given by the bounded operator (2.11). The latter is the limit of the resolvents of the Hamiltonians (2.10) (with the energy cut-off k defined by (2.1)) in the norm topology of bounded operators on L2(R3) once the energy cut-off is removed, i.e. for к ^ Furthermore, H (в,ж0) regarded as a function of в is an analytic family in the sense of Kato.
The discrete spectrum of H (A x0) = H (1/a, x0) may also have up to two eigenvalues, namely the solutions
of:
|E|1/2 1 1 — e-2|E|1/2xo 1 a +---1---=0, a = — (ground state energy equation),
4п 4п 2ж0 в
|E|1/2 1 1 + e-2|E a + -+
1/2x
4n
4n
2x0
0, a = 1 (excited state energy equation).
в
(2.12)
(2.13)
The solutions of both equations are plotted below in Fig. 2 as functions of a = 1/3, for x0 = 1/2, for the sake of comparison with those of h(1/a,x0) shown earlier in Fig. 1.
The above plot shows that the ground state energy gets absorbed into the absolutely continuous spectrum exactly at a = 0, thus implying e0(0) = 0. This is entirely consistent with the expectation that this operator should approach, as x0 ^ 0+, the negative Laplacian perturbed by a single point interaction centred at the origin which is known to have a zero energy resonance at a = 0, characterised by the fact that the corresponding x-space wave function is only locally square integrable (see [6]).
1
2
2
1
2
2
Fig. 2. The spectral curves of the two eigenvalues of H(1/a, x0) as functions of the extension parameter a for x0 = 1/2
The norm resolvent limit of H(ß, x0), as x0 ^ 0+,
1
+ |E|
+
(2n)3
is clearly given by: 1 \/ 1
bf + IE |
+ |E|
1
2ß +
|E|1/2 4n
(2.14)
The latter is nothing else but the resolvent in momentum space of the negative Laplacian perturbed by a single point interaction centered at the origin having double strength, as can be understood by looking at either (1.1.21), its x-space counterpart, in Section I.1 of [6] or (1.1.24) in Section II.1 of the same monograph for N = 1 with the origin being the location of the single point perturbation, taking into account that the extension parameter a used therein is the reciprocal of the strength. Apart from the absolutely continuous spectrum [0, if 3 < 0, there is an isolated eigenvalue below the absolutely continuous spectrum, namely:
2n
Eo(2J) = ^ -j 3. Final remarks
In this brief note, we have considered the most pedagogical three-dimensional model involving a symmetric double well consisting of two identical Dirac distributions, whose Hamiltonian is heuristically given by —A + A[J(x + x0) + S(x — x0)]. We have first reviewed the coupling constant renormalization procedure leading to the rigorous definition of the self-adjoint operator fully investigated in [6] as well as the two ensuing equations determining the two possible eigenvalues generated by the perturbation. Since the ground state eigenenergy does not converge to the single eigenvalue of the self-adjoint Hamiltonian —A1/2^j0, defined in [6] (with J < 0) as the distance between the two centres shrinks to zero, an alternative renormalization procedure has been adopted in order to regularise this problematic behavior. By making the coupling constant suitably dependent also on x0 = | ± x0| > 0, in addition to the usual momentum cut-off, it has been possible to define a new self-adjoint Hamiltonian whose resolvent converges in norm to that of — A1/2^ 0 as x0 ^ 0+. The crucial difference between the discrete spectra of the two operators is that, whilst the ground state eigenenergy of the former Hamiltonian gets absorbed into the absolutely continuous spectrum at a = (8nx0)-1 (a = 1/J being the extension parameter), the ground state eigenenergy of the latter gets absorbed into the absolutely continuous spectrum at a = 0 independently of x0. As pointed out earlier, this is entirely consistent with the fact that the limiting operator, that is to say the negative Laplacian perturbed by a single point interaction centered at the origin, is known to have a zero energy resonance at a = 0, so that the corresponding x-space wave function is only locally square integrable (see [6]).
This might have some relevant implications in the study of quantum three-body models consisting of two heavy particles and a light one interacting with each other via two-body zero range interactions, at least in the adiabatic approximation, as might be implied by the findings of [7].
We also intend to extend the analysis of the singular phenomenon carried out in this note and in the aforementioned papers [1-3] to another type of quantum oscillator with a different confinement, namely the one whose Hamiltonian is given by:
Ho = 2(—A+ |x|),
2
1
2
even though the resolvent of this three-dimensional operator will have to be determined first since, differently from its one-dimensional counterpart (see [10,11]), it is not yet explicitly known.
Acknowledgements
Fabio Rinaldi wishes to express his heartfelt gratitude to Prof. I. Popov for his kind invitation to present the main contents of this note during one of the sessions of the conference "Mathematical Challenge of Quantum Transport in Nanosystems - Pierre Duclos Workshop", held at ITMO University, St. Petersburg, Russian Federation (14-15 November 2016).
S. Fassari gratefully acknowledges financial support from the "Grants for Visiting Researchers at the Campus of International Excellence Triangular-E3", as part of the "Attraction of Excellent Researchers and Stays for Visiting Researchers Program", carried out under the subvention of the Ministry of Education, Culture and Sports to the Campus of International Excellence Triangular-E3. Partial financial support is acknowledged to the Spanish Junta de Castilla y Leon (VA057U16) and MINECO (Project MTM2014-57129-C2-1-P). S. Fassari also wishes to thank the entire staff at Departamento de Física Teórica, Atómica y (Optica, Universidad de Valladolid, for their warm hospitality throughout his stay.
References
[1] Albeverio S., Fassari S., Rinaldi F. The discrete spectrum of the spinless Salpeter Hamiltonian perturbed by ¿-interactions. Journal of Physics A: Mathematical and Theoretical, 2015, 48 (18), P. 185301.
[2] Albeverio S., Fassari S., Rinaldi F. Spectral properties of a symmetric three-dimensional quantum dot with a pair of identical attractive ¿-impurities symmetrically situated around the origin. Nanosystems: Physics, Chemistry, Mathematics, 2016, 7 (2), P. 268-289.
[3] Albeverio S., Fassari S., Rinaldi F. Spectral properties of a symmetric three-dimensional quantum dot with a pair of identical attractive ¿-impurities symmetrically situated around the origin II. Nanosystems: Physics, Chemistry, Mathematics, 2016, 7 (5), P. 803-815.
[4] Fassari S., Rinaldi F. On the spectrum of the Schrodinger Hamiltonian with a particular configuration of three point interactions. Reports on Mathematical Physics, 2009, 64 (3), P. 367-393.
[5] Fassari S., Rinaldi F. On the spectrum of the Schrodinger Hamiltonian of the one-dimensional harmonic oscillator perturbed by two identical attractive point interactions. Reports on Mathematical Physics, 2012, 69 (3), P. 353-370.
[6] Albeverio S., Gesztesy F., H0egh-Krohn R., Holden H. Solvable models in Quantum Mechanics AMS (Chelsea Series) second ed., 2004.
[7] Kato T. Perturbation Theory for Linear Operators. Springer Verlag, Heidelberg-NY, 1995.
[8] Reed M., Simon B. Analysis of Operators - Methods of Modern Mathematical Physics IV. Academic Press NY, 1978.
[9] Bhaduri R.K., Chatterjee A., Van Zyl B.P. An elementary exposition of the Efimov effect. American Journal of Physics, 2011, 79 (3), P. 274-281.
[10] Glasser M.L., Nieto L.M. The energy level structure of a variety of one-dimensional confining potentials and the effects of a local singular perturbation. Canadian Journal of Physics, 2015, 93 (12), P. 1588.
[11] Lorinczi J., Malecki J. Spectral properties of the massless relativistic harmonic oscillator. Journal of Differential Equations, 2012, 253 (10), P. 2846-2871.
