On the spectrum of the two-particle Schrödinger operator with point potential: one dimensional case Текст научной статьи по специальности «Физика»

NANOSYSTEMS: Kuljanov U.N. Nanosystems:

PHYSICS, CHEMISTRY, MATHEMATICS Phys. Chem. Math., 2023,14 (5), 505-510.

http://nanojournal.ifmo.ru

Original article DOI 10.17586/2220-8054-2023-14-5-505-510

On the spectrum of the two-particle Schrodinger operator with point potential: one dimensional case

Utkir N. Kuljanov1'2

1Samarkand State University, Samarkand, Uzbekistan

2Samarkand branch of Tashkent State University of Economics, Samarkand, Uzbekistan [email protected]

Abstract In the paper, a one-dimensional two-particle quantum system interacted by two identical point interactions is considered. The corresponding Schrodinger operator (energy operator) ke depending on e is constructed as a self-adjoint extension of the symmetric Laplace operator. The main results of the work are based on the study of the operator ke. First, the essential spectrum is described. The existence of unique negative eigenvalue of the Schrodinger operator is proved. Further, this eigenvalue and the corresponding eigenfunction are found.

Keywords two-particle quantum system, symmetric Laplace operator, eigenvalue, eigenfunction, energy operator

Acknowledgements Author partially supported by [grant number FZ-20200929224] of Fundamental Science Foundation of Uzbekistan.

For citation Kuljanov U.N. On the spectrum of the two-particle Schrodinger operator with point potential: one dimensional case. Nanosystems: Phys. Chem. Math., 2023,14 (5), 505-510.

1. Introduction

The problems of the point interaction of two and three identical quantum particles interacted by point potentials (also called contact potentials and also, occasionally, singular potentials) have been studied in various physical works. In was the works of F. A. Berezin and L. D. Faddeev [1] and R. A. Minlos and L. D. Faddeev [2,3], where a rigorous mathematical description of the point interaction of two and three particles was proposed.

In [2, 3], the Hamiltonian of the system under consideration was investigated using the theory of self-adjoint extensions of symmetric operators. It was introduced as a self-adjoint extension of the symmetric Laplace operator defined on the domain of functions of three variables x1;x2, x3; xj e R, j = 1,2,3 vanishing if any two arguments xj = xk, j = k, k =1,2, 3 coincide.

The proposed extension is called the Skornyakov-Ter-Martirosyan extension. In [4], on the background of the results of [1,2], the Hamiltonian of three particles (two fermions and one particle of a different nature) with the same masses interacting as point potentials was studied and it was shown that the Skornyakov-Ter-Martirosyan extensions are self-adjoint and semi-bounded.

In [5], the results of [1-4] were generalized to the case of three arbitrary particles and it was shown that the corresponding Hamiltonian has the discrete spectrum unbounded below. Note that the advantage of one-dimensional models with point perturbations is clear because they are useful for the study of a variety of qualitative properties. For instance, you can see [6-11] for one body problems with delta potentials.

In the discrete case, there were also found conditions for the existence of the eigenvalues as well as their numbers for the Hamiltonian of the system of two particles depending on parameters. For example, in [12-15], the Hamiltonian k of the system of two quantum particles moving on a one and three-dimensional lattices interacting via some attractive potential was considered. Conditions for the existence of eigenvalues of the two-particle Schrodinger operator kM(k), k e T, d =1,3; associated with the Hamiltonian k, were studied depending on the energy of the particle interaction ^ and total quasi-momentum k e Td.

In [2, 3], Faddeev and Minlos studied the energy operator of three identical three-dimensional quantum particles (bosons) interacting in a "pointed way". This operator was defined as a certain self-adjoint extension of the symmetric operator H0 = AX1 - AX2 - AX3 on the domain of functions of three variables x1,x2,x3 e R3 that vanish whenever any two arguments coincide xj = xj, i = j; i, j = 1,2,3. Minlos and Faddeev found that all nontrivial self-adjoint extensions describing the energy operator have the discrete spectrum unbounded from below and therefore the corresponding quantum system with ¿-like pair interactions collapses, i.e. we have a phenomenon of "fall to the center". In recent work [5], Minlos and Melnikov extended these results to the general case of three different particles of different masses. In [2,5], one can find the mathematical "explanation" for the Thomas effect (unsemiboundedness of the energy operator

© Kuljanov U.N., 2023

from below) and also the interpretation of Danilov's "experimental" parameter as the one describing the one-parameter family of self-adjoint extensions of the initial symmetric operator ("three-Hamiltonian").

In this article, following the basic scheme used in [2-5], we study the problem of the point interaction of two arbitrary particles in one-dimensional space. The Laplace operator with domain on variables xi; x2 e R, vanishing as xi = x2 is considered. In the momentum representation of the Hamiltonian, after the reduction of the variables, we establish the Skornyakov-Ter-Martirosyan extension h£ as a self-adjoint operator on its domain. The essential spectrum of h£ coincides with the interval [0; to) . It is proved that the operator h£ has no any eigenvalue as e < 0 and if the parameter of the extension is positive, i.e. e > 0, then h£ has unique negative eigenvalue.

2. Preliminaries and selection of the extension

The Hamiltonian (energy operator) of the two-particle system under consideration is defined as an extension # of the symmetric operator acting in the Hilbert space L2 (R2) = L2 of the form

(M(xi'x2) = (-Ax - iA*2) ^(xi'x2)'

where the domain D(#0) of ff is a manifold of functions ^ e L2 satisfying condition

(AK1 +Ax2 )<£ e L (1)

with

^(x, x) = 0. (2)

Here Axi is the Laplace operator in the variable e R, is the mass of the i-th particle, i = 1, 2. After the action of the corresponding Fourier transform, the operator #0 transfers to the operator

(Hof) (P1,P2) = (¿P2 + ^f (P1,P2), defined on the set D(H0) c L2 of functions f (pi;p2), satisfying the following conditions:

/ (Pi + P4)lf(Pi,P2)|2dpidp2 < to, (3)

with

J f (P1,P2) dvp = 0,

(4)

where conditions (1) and (2) are equivalent to conditions (3) and (4), respectively. Here rp = {(p1, p2 ) G R2 : p1 + p2 = p}, p G R is a family of lines with the natural Lebesgue measure Making the following change of variables

D m2 mi

P = pi + p2, p = mpi - MP2' M = mi + m2

we establish the natural isomorphism between the spaces L2 (R) < L2 (rp) and L2 (R2).

The last space can be identified with the space L2 (R) < L2 (R), while the operator H0 is written as the tensor sum of the following operators

H = (dM P 2 + 1

where / is the identity operator, m = m1m2/(m1 + m2), (1/2M)P2 is the operator of multiplication by the number P2/(2M) in the space L2(R), and h0 is a closed non-negative symmetric operator acting in L2(R) as

hof (p) = p2f (p). Its domain D(h0) consists of functions satisfying the conditions:

Jp4|f (p)|2dp < œ; J f (p)dp = 0. (5)

Further, the integral without indicating limits is understood as integration over R. The symbol denotes the deficiency subspace for the operator h0, i.e.

Kz = {g G L2(R) : ((ho - z/)f, g) = 0, f G D(ho)} . Lemma 2.1. For any z G n0 = Cx\[0, œ), the deficiency subspace c L2(R) of h0 consists of functions of the form

g(p) = -2^, c G C1. p2 — z

Proof. Let g . Then for any f e D(h0), the relation

((h0 - z/)f, g) = J (p2 - z)f (p)g(p)dp = J f (p)(p2 - z)g(p)dp = 0

holds.

From the last relation and conditions (5), it follows that

(P2 - = c

or c

g(p) = 1—=. p2 — z

The lemma is proved. □

It follows from the lemma that for any z e n0 the deficiency subspace of the operator h0 is determined by the formula

Kz = {g e L2(R) : ((ho - z/)f, g) = 0, f e D(ho)} . Therefore, h0 is a symmetric operator with deficiency indices (1,1). Using the general extension theory [4], we find that the operator h0 has one-parameter family of self-adjoint extensions.

Since the operator h0 is non-negative, as in [2-5], we use the theory of extensions of semibounded operators. The deficiency subspace of the operator h0 consists of functions of the form

u-i(p) = 2 c, -. , c e C1. p2 + 1

Using the positivity of H0 and applying methods of the theory of extensions of semi-bounded operators, as in [2], we prove the following lemma, which allows one to define the adjoint operator h0.

Lemma 2.2. The domain D(h0) of h0 consists of functions of the form

_ci__+__C2_

p2 + 1 (p2 +1)"

where f e D(h0), c1; c2 e C1. The operator acts on function g of the form (6) by the following formula

(hog) (p) = p2g(p) - ci, where the constant c1 is taken from the decomposition (6) of the function g. Further, we select the extensions of the operator h0. We define the set

D(he),D(h0) C D(he) C D(hO)

as follows:

' , (e - 2)c '

p2 + 1 (p2 + 1)2

The restriction of the operator h0 to the domain D(h£) is denoted by h£ and it has the form

heg(p) = p2g(p) - c. By definition of h£ , it is an extension of the operator h0. Theorem 2.1. For any e e R, the extension h£ is a self-adjoint operator.

Proof. It is easy to verify that for any g1; g2 e D(h£), the relation (h£g1; g2) = (g1; h£g2) holds, i.e. h£ is a symmetric operator. Now, we show that the deficiency indices of the operator h£ are equal to (0,0). Let ^ e 1(h£). Then the function ^(p) has the form

g(p) = f (p) + Z2^ + . (6)

D(h£) ={ g e D(h0) : g(p) = f (p) + + , f e D(h0) } (7)

v>(p) = -2-+T, b e C1.

p2 + 1

For any g e D(h£), the equality ((h£ + /)g, -0) =0 holds. Correspondingly, the last equality can be written as

((h£ + /)g, = /((p2 + 1)(f (p) + ^ + (if^) - c)^(p)dp :

b

(p2 + 1)2

Since

J((p2 + 1)f (p)^(p)dp + (e - 2)c J + dp = 0. (8)

J((p2 + 1)f (p)^(p)dp = 0

and (e - 2)c = 0, we have b = 0. Hence ^(p) = 0. This proves that the deficiency indices of the operator h£ are equal to

(0,0). □

3. Spectral properties of the operator h£

The main results of the paper are the following theorems.

Theorem 3.1. For any e € R, the essential spectrum of he coincides with interval [0, to). If e > 0 then he has no any

4

negative eigenvalue, and for any e < 0, the operator he has unique simple eigenvalue z = —j and the corresponding

eigenfunction has the form g£(p) = 1 4 .

P2 + ^

Proof. First, we show that the essential spectrum of h£ equals to [0; to). For each z > 0, let us consider the sequence of cut-off layers:

1 , , ^ 1 n + 1

We split each layer Gn(z) into two half-layers as

G+(z) = {p € G„(z) : p > 0}

and

G-(z) = {p € G„(z) : p< 0} . By construction, the volumes of these parts are equal and

Gn(z) = {p G R : VZ + 1 7" < |p| < VZ + -1 , n =1, 2, 3,... [ n +1 n J

1

mg+(z))= m(g-(z)) = - m(g„(z))

2

. One can see that

K = M (G„(z))

Let

/nZ)' n — — 2j 3J ... be a sequence of the test functiOns

1

/z)(p)

n (n +1) P G G+(z);

^--• P G G-(z);

^ 0, p € R \ Gn(z).

Then, it is easy to verify that /^ € L2(R), /^ = 1 and (f^, /i*0) =0 as n = m. One can see that

y"/nz)(p)dp = 0, n =1, 2, 3,...

i.e. /nz) € D(ho). Note that

v 1 n

||(he - zi)/(z)||2 = J ^|(p2 - z)|2dp = Vn J (P2 - z)2dp

Gn(z)

n+1

or

Since

ll(h£ - zI)/

(z^i2 = A

j (p2 - z)2dp.

n+r

|p| < vz +-, p2 - z < - ( 2VZ +-).

n n y n y

This gives

Hence, by (9), we have This shows that

1\2 1

(p2 - z)2 < 2\fz + - ^.

ll(he -zi)/nz)|2 < (2vz + i) -1.

n n2

lim

n^oo

(h£ - zi)/n

0.

(9)

This means that if z > 0, then z G aess(he), therefore [0; to) c aess(he). In order to show the reverse inclusion ffess(he) C [0; to), we construct the resolvent operator of he.

2

r

)

Let

Then

If z < 0 then p - z = 0. Hence,

Since g e D(h£), it represents as

(h£ - z/)g =

(P2 - z)g(P) - c = -0(p).

( N ^(P)

g(P) = P2-

, +-2-.

P2 - z P2 - z

g(P) = / (P) +

+

(e - 2)c

p2 + 1 (p2 + 1)2 for some f e D(h£). Comparing (10) and (11), we obtain the equation for c:

(10)

(11)

/ (P) +

p2 + 1 P2 — z

c +

(e - 2)c

^(P)

(P2 + 1)2 P2 - z

where f e D(h0). Integrating both sides of (12), taking into account (5) and the identities

f dp n

-dp = , , z < 0

P2 - z

and

we have

or

This gives one

dP

(P2 + 1)2 2'

(eV- - 2)nc = 2V-

' ^(P) P2 - z

dP

_ f ^(P)

n(eV=z - 2) J P2 - z

dP.

g(P) =

^(P)

P2 - z

+

2V-z

["(e^-z - 2) P2 - ,

V>(q)

q2 - z

dq.

This, if z e n0 and eV-z - 2 = 0 then the resolvent of the operator h£ acts in L2(R) as

(Rz (h£)g)(P) = -Ä +

g(q)

P2 - z n(ev~z - 2) P2 - z J q2 - z

dq.

(12)

(13)

(14)

This shows that the resolvent of the operator h£ is a bounded operator for eV-z - 2 = 0 and z < 0. It means that ^ess(h£) C [0; to). It follows directly from here that aess(h£) = [0; to). Now, we consider an eigenvalue problem for h£. From equation (h£ - z/)g(p) = 0, we obtain that if e < 0 and z e n0, then e V-z - 2 = 0. By (12) the resolvent of the operator h£ is defined on D(h£). Hence, h£ has no any negative eigenvalue.

4

Let e > 0. Then from the equality e V-z - 2 = 0, we have z = —^. The equation

2

gives one

(h£ - zl)g(P) = 0

g(P) = 1-.

P2 - z

(15)

We show that g e D(h£). To obtain this, g should be represented in the form (11) for some f e D(h0). Assume that g is represented as (11). Comparing (11) with (15), we obtain

i.e.

/ (P) +

/(P)

+

P2 - z

(e - 2)c P2 + 1 ' (P2 + 1)2

c(1 - ^) _ c(e - 2) (P2 + 4 )(P2 + 1) (P2 + 1)2

Taking into account the identities (13) and (14), one can see that f f (P)dP = 0. This gives one that f e D(h0). Theorem 3.1 is proved.

□

c

1

1

n

c

1

1

References

[1] Berezin F. A., Faddeev L. D. Remark on the Schrodinger equation with singular potential. Dokl. Akad. NaukSSSR, 1961,137(5), P. 1011-1014.

[2] Minlos R. A., Faddeev L. D. Comment on the problem of three particles with point interactions. Dokl. Akad. Nauk SSSR, 1961, 141(6), P. 13351338.

[3] Minlos R. A., Faddeev L. D. Point interaction for a three-particle system in quantum. Dokl. Akad. Nauk SSSR, 1962,14(1), P. 1315-1316.

[4] Minlos R. A., Shermatov M. Kh. On point-like interactions of three quantum particles. Vestnik Moskov Univ. Ser.IMat. Mekh, 1989, 6(1), P. 7-14.

[5] Melnikov A. M., Minlos R. A. Point interaction of three different particles. Advances in Soviet Mathematics, 1991, 6(1), P. 99-122.

[6] Akhiezer N. I., Glazman I. M. Theory of Linear Operators in Hilbert Space. Publishing Paperback - December 16, USA.: 1993. 377 p.

[7] Muminov Z. E., Kuljanov U. N., Lakaev SH. S. On the Spectrum of the Two-particle Shrodinger Operator with Point Interaction. Lobachevskii Journal of Mathematics, 2021, 42(3), P. 598-605.

[8] Fassari S., Rinaldi F. On the Spectrum of the Schrodinger Hamiltonian of the One-Dimensional Harmonic Oscillator Perturbed by Two Identical Attractive Point Interactions. Rep. Math. Phys., 2012, 69(1), P. 353-370.

[9] Fassari S., Rinaldi F. On the spectrum of the Schrodinger Hamiltonian with a particular configuration of three one-dimensional point interactions. Rep. Math. Phys., 2009, 64(3), P. 367-393.

[10] Albeverio S., Fassari S., Rinaldi F. The discrete spectrum of the spinless one-dimensional Salpeter Hamiltonian perturbed by ¿-interactions. J. Phys. A., 2015, 48(3), P. 185-201.

[11] Albeverio S., Fassari S., Rinaldi F. The Hamiltonian of the harmonic oscillator with an attractive <5 - interaction centred at the origin as approximated by the one with a triple of attractive <5— interactions. J. Phys. A., 2016, 49(2), P. 667-688.

[12] Imomov A.A., Bozorov I.N., Hurramov A.M., On the number of eigenvalues of a model operator on a one-dimensional lattice. Vestn. Tomsk. Gos. Univ. Mat. Mekh., 2022, 78, P. 22-37.

[13] Muminov M.I., Khurramov A.M., Bozorov I.N. On eigenvalues and virtual levels of a two-particle Hamiltonian on a d—dimensional lattice. Nanosystems: Phys. Chem. Math., 2023,14(3), P. 237-244.

[14] Muminov M.I., Khurramov A.M., Bozorov I.N. Conditions for the existence of bound states of a two-particle Hamiltonian on a three-dimensional lattice. Nanosystems: Phys. Chem. Math., 2022, 13(3), P. 295-303.

[15] Bozorov I.N., Khamidov Sh. I., Lakaev S.N. The number and location of eigenvalues of the two particle discrete Schrodinger operators. Lobachevskii Journal of Mathematics, 2022, 43(11), P. 3079-3090.

Submitted 19 August 2022; revised 18 September 2023; accepted 19 September 2023

Information about the authors:

Utkir Nematovich Kuljanov - Samarkand State University, 140104, University boulvare. 15, Samarkand, Uzbekistan; Samarkand branch of Tashkent State University of Economics, Professorlar street 51, Samarkand, Uzbekistan; ORCID 0009-0003-4286-4704; [email protected]