1 Introduction

Abstract

In this paper we study a particle under the influence of a Lennard-Jones potential moving in a simple quantum wire modelled by the positive half-line. Despite its physical significance, this potential is only rarely studied in the literature and due to its singularity at the origin it cannot be considered as a standard perturbation of the one-dimensional Laplacian. It is therefore our aim to provide a thorough description of the full Hamiltonian in one dimension via the construction of a suitable quadratic form. Our results include a discussion of spectral and scattering properties which finally allows us to generalise some results from [Rob74] as well as [RS78].

On Lennard-Jones-type potentials on the half-line




Federica Gregorio 1


Dep. of Information Engineering, Electrical Engineering and Applied Mathematics

Università degli Studi di Salerno

Fisciano (SA)

Italy



and


Joachim Kerner 2


Department of Mathematics and Computer Science

FernUniversität in Hagen

58084 Hagen

Germany


1 Introduction

In this note we are concerned with the Schrödinger operator

(1.1)

defined on the Hilbert space with some constants. The potential term in (1.1) is the Lennard-Jones potential, arguably one of the most important potentials in solid-state physics which is used to describe the interaction between two neutral atoms [Jon37, DJ57]. Its main application lies with the description of the crystallisation of noble gases such as, e.g., argon. Note that the second term in the potential is the attractive van der Waals interaction (dipole-dipole interaction) and the first term is due to the repulsion at small distances which itself is a consequence of the Pauli exclusion principle.

Of course, using a separation of variables into relative and center-of-mass coordinates, it is natural to consider the operator (1.1) given one wanted to describe two neutral atoms on the full line . However, another interpretation is obtained by regarding as a quantum wire (or quantum graph) with a vertex at the origin at which one imagines an additional complex internal structure such as a quantum dot [HV16]. Here a quantum dot has to be thought of as a relatively small box with hard walls at which another particle is placed (“particle in the box”). If one then assumes to first approximation that the particle in the box is not excited through the interaction with the other particle moving in the wire, the potential experienced by the particle in the wire is exactly of the Lennard-Jones type.

Also, from a mathematical point of view the Lennard-Jones potential is interesting due to its high degree of singularity at the origin which implies that it is not relatively bound with respect to the Laplacian, i.e., it is not of Kato class. This also implies that known results in the scattering theory for integrable and relatively bound potentials do not apply which then motivated Robinson to study highly singular potentials in more detail [Rob74]. In particular, he proved the existence and completeness of the wave operators for the Lennard-Jones potential in three dimensions [Theorem 5.6,[Rob74]]. It is one of the aims of this paper to generalise this result to one dimension and even generalising it by proving asymptotic completeness [BHE08], see Section 4.

In addition, motivated by the classical -body problem, Radin and Simon characterised, for on with in the Kato class, subspaces which are invariant under the time-evolution operator which, in particular, implies explicit upper bounds on

i.e., the expectation value of the mean distance from the origin showing that this norm remains finite in finite time. In Section 5 we will generalise this result to our setting, i.e., for a potential which is not of Kato class.

In Section 2 we start by establishing a rigorous realisation of the operator (1.1) via the construction of a suitable quadratic form. We characterise the form as well as the operator domain explicitly, also proving -regularity and essential self-adjointness of the minimal operator. In Section 3 we then study spectral properties, characterising the discrete as well as the essential part of the spectrum. In addition, we prove that the essential part is purely absolutely continuous.

We note that the treatment of singular potentials with quadratic form methods goes back to Simon’s thesis (1971); see also [NZ92] and references therein.

2 Formulation of the model

We consider a (spinless) particle moving on the half-line under the influence of an external potential of the Lennard-Jones type. More explicitly, the Hamiltonian of the particle shall be given by

(2.1)

with . The quadratic form formally associated with this Hamiltonian is given by

Theorem 2.1.

The form defined on

(2.2)

is densely defined, closed and bounded from below on .

Proof.

Since is dense in , density follows readily.

In a next step we realise that for all . Furthermore, for all which implies, setting ,

and hence the form is bounded from below.

Now, let be a Cauchy sequence with respect to the form norm . Due to completeness of there exists a function such that in -norm. Furthermore, employing the Lemma of Fatou we obtain

(2.3)

for , , since is Cauchy with respect to the form norm. Using (2.3) we readily conclude that and as .

Since the form domain (2.2) is not very explicit, we aim to characterise it further. In a first result we show that all functions in this domain fulfil Dirichlet boundary conditions at zero.

Proposition 2.2.

For one has .

Proof.

We first note that due to the trace theorem [Dob05] for Sobolev functions.

Now assume that : Since -functions are continuous, we conclude the existence of a small interval , , such that for all and some . This however immediately implies that

and hence . ∎

By the representation theorem of quadratic forms [BHE08] there exists a unique self-adjoint operator with domain being associated with . As shown in the next statement, this operator is indeed given by (2.1).

Lemma 2.3.

The operator associated with coincides with the operator .

Proof.

According to the representation theorem of forms [BHE08] we have the abstract characterisation

(2.4)

Now, let be given: Then (note that this follows, e.g., using the difference quotient technique [GT83, Dob05] which is the standard technique to show local -regularity ) and an integration by parts yields

By (2.4) one then obtains

and therefore

by choosing and taking density of in into account. ∎

Remark 2.4.

Based on Lemma 2.3 we set and write .

Until now we have identified one self-adjoint realisation of through the construction of a suitable quadratic form. The following result shows that this is indeed the only one existing.

Proposition 2.5.

The operator is the unique self-adjoint extension of .

Proof.

This follows from the theory of Sturm-Liouville operators as presented in [Sch12]. In particular, [Propositions 15.11, 15.12,[Sch12]] show that is in the so-called limit point case at zero and at infinity. The statement then follows with [Theorem 15.10,[Sch12]] which shows that has deficiency indices . ∎

In a next step we characterise the domain of in more detail by proving that . In other words, we establish (global) -regularity [Gri85, GT83, Dob05]. We also prove that the derivative at zero vanishes, i.e., functions in the operator domain fulfil also Neumann boundary conditions.

Theorem 2.6.

One has . Furthermore, if then .

Proof.

We first prove that : We first note that every is locally in (see the proof of Lemma 2.3) and hence exists as a weak derivative. Proposition 2.5 then shows that with respect to the operator norm. Hence, for any there exists a sequence such that

for any and large enough. Hence, by triangle inequality

and hence . Note that can be shown using the methods of the proof of [Proposition 3.2,[MPSR05]]: for this, one considers the operator with shifted potential (note that this operator is self-adjoint on the same domain as ) such that for some and for an arbitrarily small constant and some constant .

We now turn to the second part of the statement: We first observe that implies that due to standard Sobolev embeddings. Furthermore, one has .

Now, assume that . Consequently, there exists a such that as well as for all which implies

This is a contradiction to and hence proves the statement. ∎

3 On the spectrum of

In this section we characterise the spectrum of and in a first step we look at the essential part of the spectrum and prove that . Although this result is rather standard in the theory of Schrödinger operators [Sim00], we shall add a proof for the sake of completeness.

Theorem 3.1 (Essential spectrum).

We have

Proof.

We first show that : Let an arbitrary be given. We use the Weyl characterisation in the version of quadratic forms [Sto01] and in this context a suitable Weyl sequence is obtained by choosing to be the (normalised) ground state eigenfunction to the Dirichlet Laplacian on the interval , i.e.,

and for . Given that as we see that converges weakly to zero in . Furthermore

and hence if since

for large enough.

To prove that no value is contained in the essential spectrum we use an operator bracketing argument [BHE08]. More explicitly, we construct the comparison operator

defined on . In the sense of operators, this operator is smaller than which implies that

Since has discrete spectrum only we conclude

Finally, since

as , we conclude the statement since can be chosen arbitrarily. ∎

We now turn attention towards the discrete part of the spectrum.

Theorem 3.2 (Discrete spectrum).

The number of negative eigenvalues is finite.

Proof.

The statement readily follows by [Theorem 5.1,[BS91]] taking Proposition 2.2 into account.

In a next result we show that the discrete spectrum may indeed be empty for some choices of even though the potential has a negative part.

Theorem 3.3 (Absence of discrete spectrum).

Whenever then

Proof.

Proposition 2.2 allows us to apply [Theorem 5.1,[BS91]] which states that the number of eigenvalues is bounded from above by the integral . Evaluating this integral then yields the statement. ∎

In a final result we show that the essential spectrum is indeed purely absolutely continuous.

Theorem 3.4 (Absolutely continuous spectrum).

We have

and, furthermore, the spectrum is purely absolutely continuous on .

Proof.

The fact that is purely absolutely continuous readily follows from [Theorem 1.3,[Rem98]] taking Proposition 2.2 into account.

Furthermore, since the singular continuous spectrum cannot be supported on the single point , the statement will follow if we prove that zero is not an eigenvalue: hence assume that is a normalised (real-valued) eigenvector to the eigenvalue zero. Since there exists a number such that since there exists a local maximum. Reflecting across the point then yields an eigenfunction to eigenvalue zero of the self-adjoint operator where

However, this operator is known to have no eigenvalue zero [Ram87]. ∎

4 On the scattering theory: Existence and completeness of the wave operators

In this section we discuss the scattering properties of the pair of self-adjoint Hamiltonians , being the self-adjoint one-dimensional Laplacian on with Dirichlet boundary conditions at zero. In particular, we want to establish the existence and completeness of the corresponding wave operators and , see [Kat66, Rob74, BHE08] for more details. As a matter of fact, since there doesn’t exist singular continuous spectrum due to Theorem 3.4, we will actually prove that the wave operators are asymptotically complete [BHE08].

Note that the existence and completeness of the wave operators for the Lennard-Jones potential in three dimensions has been established in [Theorem 5.6,[Rob74]]. Hence the following result generalises this statement to the one-dimensional setting.

Theorem 4.1.

The wave operators and exist and are complete.

Proof.

We will prove the statement using the Birman-Kuroda Theorem [BHE08]. Also, we restrict ourselves to , the other case being analogous.

We introduce some comparison operators: Let denote the self-adjoint realisation of (2.1) on , as in the proof of Theorem 2.1, with Dirichlet boundary conditions at . Furthermore, we introduce as the self-adjoint realisation of (2.1) on with Dirichlet boundary conditions at and as the self-adjoint realisation of (2.1) on again with Dirichlet boundary condition at .

Now, taking into account Krein’s resolvent formula (see, e.g., [Theorem 14.18,[Sch12]]) we directly conclude that is of finite rank and hence of trace class for . Furthermore, on ,

In the last step we used that has purely discrete spectrum. Now, due to the integrability of the potential in , standard results imply that the wave operators and hence are complete [Yaf92, Yaf10].

Finally, Krein’s resolvent formula implies that the wave operators are complete since the difference of the resolvents is of finite rank and hence of trace class. The statement then follows by the well-known chain rule for wave operators [Proposition 15.2.2,[BHE08]].

5 On an invariant domain of the time-evolution operator and an estimate

As in [RS78] we are interested in establishing an estimate on,

i.e., the expectation value of the square of the position operator a time for arbitrary initial datum . We again stress that the results of [RS78] are not directly applicable since the potential is not contained in the Kato class.

Note that we write for the restriction of Fourier transform of

onto where . As a first result we establish the following, where we write .

Lemma 5.1.

For any there exist constants such that

where

setting .

Proof.

Due to positivity of one has

Now the statement readily follows from [eq.(4),[RS78]] which states that

In fact, one can directly show the following.

Theorem 5.2.

Define the subspace

Then maps onto as a bounded operator, i.e.,

(5.1)

for some constants .

Proof.

Due to Lemma 5.1 and its proof, estimate (5.1) follows from

Hence is a bounded operator into . Now suppose that is not onto . Then there exists an element such that for all . However, choosing on arrives at a contradiction and the statement is proved. ∎

Acknowledgement

The authors are very happy to thank R. Weder (Universidad Nacional Autónoma de México) for many helpful comments on the manuscript. JK also wants to thank S. Egger (Technion, Israel) for helpful discussions. We also want to thank the referee for pointing out interesting references.

Footnotes

  1. E-mail address: fgregorio@unisa.it
  2. E-mail address: joachim.kerner@fernuni-hagen.de

References

  1. J. Blank, M. Havliček, and P. Exner, Hilbert space operators in quantum physics, Springer, 2008.
  2. F. A. Berezin and M. A. Shubin, The Schrödinger equation, Kluwer Academic, 1991.
  3. E. R. Dobbs and G. O. Jones, Theory and properties of solid argon, Reports on Progress in Physics 20 (1957), no. 1, 516.
  4. M. Dobrowolski, Angewandte Funktionalanalysis: Funktionalanalysis, Sobolev-Räume und Elliptische Differentialgleichungen, Springer, 2005.
  5. P. Grisvard, Elliptic problems in nonsmooth domains, Monographs and Studies in Mathematics, vol. 24, Pitman, 1985.
  6. D. Gilbarg and N. S. Trudinger, Elliptic partial differential equations of second order, Springer, 1983.
  7. P. Harrison and A. Valavanis, Quantum wells, wires and dots, Wiley, 2016.
  8. J. E. Lennard Jones, The equation of state of gases and critical phenomena, Physica IV 10 (1937).
  9. T. Kato, Perturbation theory for linear operators, Springer, 1966.
  10. G. Metafune, J. Prüss, R. Schnaubelt, and A. Rhandi, -regularity for elliptic operators with unbounded coefficients, Adv. Differential Equations 10 (2005), no. 10, 1131–1164.
  11. H. Neidhardt and V. A. Zagrebnov, Regularization and convergence for singular perturbations, Comm. Math. Phys. 149 (1992), no. 3, 573–586.
  12. A. G. Ramm, Sufficient conditions for zero not to be an eigenvalue of the Schrödinger operator, J. Math. Phys. 28 (1987), no. 6, 1341–1343.
  13. C. Remling, The absolutely continuous spectrum of one-dimensional Schrödinger operators with decaying potentials, Communications in Mathematical Physics 193 (1998), no. 1, 151–170.
  14. D. W. Robinson, Scattering theory with singular potentials. I. The two-body problem, Ann. Inst. H. Poincaré Sect. A (N.S.) 21 (1974), no. 3, 185–215.
  15. C. Radin and B. Simon, Invariant domains for the time-dependent schrödinger equation, Journal of Differential Equations 29 (1978), no. 2, 289 – 296.
  16. K. Schmüdgen, Unbounded self-adjoint operators on Hilbert space, vol. 265, Springer Science & Business Media, 2012.
  17. B. Simon, Schrödinger operators in the twentieth century, J. Math. Phys. 41 (2000), no. 6, 3523–3555. MR 1768631
  18. P. Stollmann, Caught by disorder: bound states in random media, vol. 20, Springer Science & Business Media, 2001.
  19. D. R. Yafaev, Mathematical scattering theory, American Mathematical Society, Providence, RI, 1992, General theory.
  20.  , Mathematical scattering theory, American Mathematical Society, Providence, RI, 2010, Analytic theory.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
283240
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description