Abstract
We present some simple arguments to show that quantum mechanics operators are required to be self-adjoint. We emphasize that the very definition of a self-adjoint operator includes the prescription of a certain domain of the operator. We then use these concepts to revisit the solutions of the time-dependent Schroedinger equation of some well-known simple problems - the infinite square well, the finite square well, and the harmonic oscillator. We show that these elementary illustrations can be enriched by using more general boundary conditions, which are still compatible with self-adjointness. In particular, we show that a puzzling problem associated with the Hydrogen atom in one dimension can be clarified by applying the correct requirements of self-adjointness. We then come to Stone\'s theorem, which is the main topic of this paper, and which is shown to relate the usual definitions of a self-adjoint operator to the possibility of constructing well-defined solutions of the time-dependent Schrödinger equation.
Operator domains; Self-adjointness; Stone theorem; Quantum Mechanics; Operator exponential
REGULAR ARTICLES
The time-dependent Schrödinger equation: the need for the Hamiltonian to be self-adjoint
Vanilse S. AraujoI; F. A. B. CoutinhoII; F. M. ToyamaIII
IEscola de Engenharia Maua, São Paulo, Brazil and Faculdade de Engenharia da Fundação Santo Andre, São Paulo, Brazil
IIFaculdade de Medicina da Universidade de São Paulo, São Paulo, 01246-903, Brazil
IIIDepartment of Information and Communication Sciences, Kyoto Sangyo University, Kyoto 603-85555 Japan
ABSTRACT
We present some simple arguments to show that quantum mechanics operators are required to be self-adjoint. We emphasize that the very definition of a self-adjoint operator includes the prescription of a certain domain of the operator. We then use these concepts to revisit the solutions of the time-dependent Schroedinger equation of some well-known simple problems - the infinite square well, the finite square well, and the harmonic oscillator. We show that these elementary illustrations can be enriched by using more general boundary conditions, which are still compatible with self-adjointness. In particular, we show that a puzzling problem associated with the Hydrogen atom in one dimension can be clarified by applying the correct requirements of self-adjointness. We then come to Stone\'s theorem, which is the main topic of this paper, and which is shown to relate the usual definitions of a self-adjoint operator to the possibility of constructing well-defined solutions of the time-dependent Schrödinger equation.
Keywords: Operator domains; Self-adjointness; Stone theorem; Quantum Mechanics; Operator exponential
I. INTRODUCTION
In quantum mechanics observables are represented by operators acting on the functions belonging to the Hilbert space of the system under consideration [1]. However, in contrast to the mathematical literature, where operators are defined by their action (that is, what they do to the functions on which they operate) and by their domain (that is, the set of functions on which they operate), in the physical literature domains are almost never mentioned and operators are defined only by their actions. Operators in infinite dimensional Hilbert space are not defined for all the functions of the space, and this suggests that one should be aware of situations where domains are important.
The reason why the domains of the operators are so important, even in physics, is that we need the operators in quantum mechanics to be self-adjoint and operators are self-adjoint only in well-defined and prescribed domains. But why is it so important for operators in quantum mechanics to be self-adjoint? There are two important reasons: The first one is that the eigenvalues are real and the eigenfunctions form a complete set of orthogonal "functions" so that any function of the Hilbert space of the system in consideration can be expanded in this set. (The reason for the quotation marks in the word functions will become clear later.) The second reason is that only if the Hamiltonian H of the system is a self-adjoint operator, the time-dependent Schrödinger equation = Hj has a unique solution-such that ||j(t)||2 = ||j(0)||2 - for all times. This is the content of Stone's theorem [2] that we will explain in detail in section 3, and has to do with the possibility of constructing the exponential of an operator [3], in this case the operator exp[
Ht]. However, it is hard to see how those two properties are linked with domains. The objective of this paper is to make this link intuitively clear
Until quite recently, domains or self-adjointness were not mentioned in the physical literature. However, in the last few years or so, some articles [4], [5], [6], [7] in the physics pedagogical literature begun to point out examples where domains of operators are essential to the full solution of the problems posed. We are aware of only three pedagogical articles published before those articles [6-9] that mention domains and self-adjointness. One is by Jordan [8], another by Capri [9], and finally an article by Zhu and Klauder [10] that relates lack of self -adjointness with strange classical behavior.
It is interesting to try to understand why it is possible to neglect domains in the physical literature. First, it is true that domains rarely cause problems. This is indeed so, but Gieres [11] cites seven examples of physical puzzles caused by the manipulation of operators neglecting attention to their domains. Second, if domains are not mentioned, it is natural to think that domains are automatically specified. One tends to think that if is an operator and
j belongs to the Hilbert space of the system under consideration then j belongs to the domain of the operator. It is true for that for j to belong to the domain of an operator
,
j must belong to the Hilbert space of the system and we will assume this in the remaining of the paper without further comment. However, although there are operators with good properties in such a large domain (see Appendix 1
Appendix 1:
Examples of a Hamiltonians that does not require boundary conditions for the specification of its domain
and the example (1.1) and (1.3) below) in general it is necessary to restrict the domain by specifying boundary conditions to be obeyed by the functions of the domain. The domains are specified in such a way, but it is hard to see that this has been done because this fact is never mentioned. As we will see domains are specified by the boundary conditions imposed when solving the time-independent Schrödinger equation.
This paper is organized as follows. In the next section we recapitulate briefly, and in a non- technical way, what a self-adjoint operator is, and apply self-adjointness to the solution of the time-independent Schrödinger equation. The examples chosen to illustrate the concept of self- adjointness are all the familiar examples found in quantum mechanics textbooks: the infinite square well, the harmonic oscillator, the hydrogen atom, etc. However, it is shown how the concept of self-adjoint extension enriches these familiar illustrations, and clarifies also a puzzling situation (the hydrogen atom in one dimension). Next, in section 3, we state Stone's theorem and in section 4 we show how this theorem is related to the possibility of constructing the exponential of an operator emphasizing how this construction is linked to the domain of the operator. This completes our main task in this paper that is to show why self-adjointness is essential to operators in quantum mechanics. In the Appendix Appendix 1: Examples of a Hamiltonians that does not require boundary conditions for the specification of its domain , for completeness, we present two examples-the harmonic oscillator and the finite square well- of Hamiltonians that do not require boundary conditions for the definition of their domains. Finally, in Appendix 2 Appendix 2: The boundary conditions at r=0 of the Hydrogen Atom , we deduce an unusual boundary condition at r = 0 for the s-wave radial part of the Hamiltonian describing the hydrogen atom.
II. SELF-ADJOINTNESS AND THE TIME-INDEPENDENT SCHRÖDINGER EQUATION
In this paper we will confine ourselves, for definiteness, to one-dimensional systems. Assume a particle that is free to move in the entire real line. Then, the Hilbert space of this system is the set of functions such that
where j*(x) denotes the complex conjugate of j(x). The inner product between two function j1(x) and j2(x) in this space is defined by
Given a certain operator we define its Hermitian conjugate as the operator
defined by
When the operators
and![](https://minio.scielo.br/documentstore/1678-4448/MmwSxYpK5KNsfJMHTtpWtjb/8f6ff079e24c3399a7ea7e29ff9f3ad9f36cdbbd.gif)
As mentioned in the introduction, when solving the time-independent Schrö-dinger equation, it is in general necessary to restrict the domains of operators by imposing boundary conditions so that they become self-adjoint. In the remaining of this section we present examples of this procedure. The examples (1.1) and (1.3) are illustrations of operators where the domains are restricted only by their action. The other examples are illustrations of cases where boundary conditions are necessary in addition to the restrictions imposed by the action.
Example 1.1) The operator
In this example we consider the operator , that is multiplication by x, acting on the Hilbert space of the functions given by equation (1). A "natural" domain for this operator is the set of functions j(x) that in addition to having finite norm also obeys
Is this operator so defined self-adjoint? Consider two functions j1(x) and j2(x) obeying equation (4). We have that
and this happens if both j1(x) and j2(x) obey equation (4). So the operator is self- adjoint in this "natural" domain.
Example 1.2) A criterion of self-adjointness
It is generally difficult to check domains. So we present below a result that helps to recognize if an operator is self-adjoint in its domain. This result is explained in reference [5], and is a basic criterion of self-adjointness. To see if an operator is self-adjoint consider the equations
where h is a constant which maintains the dimensional consistence of the equations. If the above equations have no square integrable solutions in the proposed domain then the operator is self-adjoint. Clearly the equations
have no solution, except j(x) º 0, in the entire Hilbert space. (The Dirac delta function is not admissible because it is not square integrable [12].) So the operator is self-adjoint in its "natural"domain as shown in the previous example by inspection.
Example 1.3) The operator momentum
The operator momentum, =
, acting on the space of functions given by equations (1) is self-adjoint in its "natural" domain, that is, the domain are functions j(x) such that
j(x) are square integrable (satisfies equation (1)). This can be easily deduced from the fact that equation (6) with
replaced by
has no square integrable solutions in this space.
The next two examples (examples 1.4 and 1.5) show how the specification of the domains by imposing boundary conditions enriches even the most common examples found in quantum mechanics textbooks. (Many other examples-which however are more advanced- of how to modify simple problems by specifying boundary conditions and their physical significance can be found in reference [5].)
Example 1.4) A free particle confined to the right half of the real axis with the Hamiltonian defined in a domain where it is self-adjoint.
Consider the operator whose action is proportional to minus the second derivative, that is, = -
, defined in the domain of functions j(x) that satisfy
and such that at the origin
where k is an arbitrary real constant[13]. As shown in reference [5] (see also the Appendix 2 Appendix 2: The boundary conditions at r=0 of the Hydrogen Atom ), this is the most general boundary condition confining a particle to the right side of the real line that makes the Hamiltonian self-adjoint. The physical significance of the boundary conditions is as follows: The infinite barrier implied by the usual boundary condition j(0+) = 0 is neutral in the sense that it neither attracts nor repels the particle. In contrast, the infinite barrier implied by the boundary condition equation (9), although completely impenetrable, attracts the particle (k < 0) or repels (k > 0) it. It can be obtained from a combination of square well potentials using a limiting procedure [14] as shown in references [15], [16] and [17].
To see that the boundary condition (9) makes the Hamiltonian self-adjoint we have, integrating twice by parts, that
Therefore only if both j1(x) and j2(x) satisfy the boundary condition equation (9), with the same constant k, we have < j1|(j2) > = < (
j1)|j2 > and the domain of the functions on the right (of the operator) is the same as the domain of the functions on the left (of the adjoint). Since the action of the operator and of its adjoint is the same, that is,
=
= -
, and the domain - determined by the boundary condition equation (9)- for both, the operator and its adjoint, is the same, the operator is self-adjoint. Note the delicate balance between the domain of the functions on the right (of the operator) and the domain of the functions on the left (of the adjoint): if we add, say, to the functions of the domain on the right-determined by the boundary condition (9)- functions such that j(0+) and
= 0, we must add to the domain of the functions on the left -calculated with equation (3)- functions that, together with their derivatives, are different from zero at zero, with no relationship between them.( Examples of functions that have j(0+) and
= 0 can be found in reference [5].)
Here we have a first example of how it is possible for textbooks to specify domains without mentioning it. Imposing boundary conditions specifies domains, and boundary conditions are imposed when the time-independent Schrödinger equation is solved. The boundary conditions are not arbitrary; they are imposed to make the operators self-adjoint in the domain they specify. In some cases, however, it is not necessary to impose boundary conditions to solve the time-independent Schrödinger equation. In Appendix 1 Appendix 1: Examples of a Hamiltonians that does not require boundary conditions for the specification of its domain we give two examples of a Hamiltonian (the harmonic oscillator and a particle in moving in a line and subject to a finite square well potential) whose time-independent Schrödinger equation do not require specification of boundary condition on the wave functions to be self-adjoint. (In this case self-adjointness follows naturally from the action.)
Example 1.5) The infinite square well potential
Consider a particle moving in one dimension under the influence of an infinite square well, that is, V(x) = 0 for -L < x < L and V(x) = ¥ for |x| > L. It is natural to solve the problem by imposing the boundary condition Y(±L) = 0. This boundary conditions makes the operator H = - acting on the space of functions defined for |x| < L such that
|Y(x)|2dx = finite self -adjoint. It is not, as the reader is probably suspecting, the most general boundary conditions. Indeed, given a two by two Hermitian matrix M, the following boundary conditions [18] makes H = -
self -adjoint
The eigenvalues and eigenfunctions of this "generalized " infinite square well can be found in an article by Luz and Chen [19]. The physical significance of those more general boundary condition can be deduced from the example 1.4 when the matrix M is diagonal. In the more general case the particle can disappear from -L and reappear in L or vice-versa. Therefore the system changes and the operator describes a particle moving in a closed path with an interaction in the now common point (-L,L). (This kind of transmutation is common as is shown in other examples in reference [5].)
Example 1.6) The hydrogen atom
The wave function of the hydrogen atom after separation of variables reads YElm(r,q,f) = Ylm(q,f). So the radial Hamiltonian of the hydrogen atom is given by
This operator acts on functions such that (REl(r))*REl(r)dr = finite. It is usually argued that the boundary condition on REl(r) should be REl(0) = 0 so that the wave function YElm remains finite at r = 0. Actually, we have the following situation: If l > 0 ( that is l = 1,2,...) the condition REl(0) = 0 specifies a domain such that the Hamiltonian given by equation (12) is self-adjoint and furthermore no other condition is possible. However, when l = 0, although RE0 (0) = 0 makes the operator given by equation (12) self-adjoint, it is not the only possible choice. The following boundary condition is also admissible since it leads to a mathematically sound operator:
where 0 < a < 2p is an arbitrary parameter and g = e2. In Appendix 2
Appendix 2:
The boundary conditions at r=0 of the Hydrogen Atom
we prove that the above boundary condition is admissible. It is also possible to demonstrate that the above boundary condition reduces to the one given by [20], page 53, equation 2.1.9. (It may be necessary to use the technique described in [5], Appendix B).
The physical significance of this boundary condition is that, in addition to the Coulomb interaction, we have an additional point interaction [20], with zero range, at the origin. At this point it is necessary to note that the modulus square of the wave function is a probability density, and so it can assume infinite values, at isolated points, if its integral, the probability, is finite. Therefore as long as |
|2r2dr is finite the fact that the wave function goes to infinite is not a problem [21].
Example 1.7) Some exactly solvable problems
The following problems from reference [22] can be solved by imposing to the s-wave radial function the boundary condition (9): The Wood -Saxon potential, page 162; The Hulthen potential, page 175; the Morse potential, page 182 . (In contrast, the Yukawa potential, page 189, can be solved by imposing boundary condition (13) to its s-wave radial function.)
In fact the radial Hamiltonian of those problems is
where V(r) is one of the above problems. For the first three potentials above, when r ® 0 the potentials go to zero . Hence using the approach given in the Appendix 2
Appendix 2:
The boundary conditions at r=0 of the Hydrogen Atom
we get the boundary condition (9) with j(0+) replaced by RE0(0+). The physical interpretation of this model is that at the origin we have a zero range interaction in this case the so called Fermi pseudopotential, VFPP = -, where d(r) is the Dirac delta function. This pseudo potential have applications in atomic and condensed matter physics (see references [23] and [24]) and its equivalence to the boundary condition can be found in pages 46 to 49 of reference [20].
It should be mentioned that the point interaction behind the boundary condition (13) and the Fermi pseudopotential- behind the boundary condition (9)- are too strong for a many body system. If we have, say, a three body system interacting through those interactions, although the system is self-adjoint, it has no finite energy ground state [25]. Therefore, to have a finite energy ground state is a property that should be required in addition to self-adjointness. The property of point interactions of having or not having a finite energy ground state in the case of a many body system is dimensional dependent: the many body system interacting through point interactions in one dimension is not only self-adjoint but also have a finite ground state energy [26]
Example 1.8) The one dimensional hydrogen atom
This example shows how the concept of self-adjointness can solve very tricky controversies. Consider the one dimensional hydrogen atom
This problem was originally considered by Loudon [27]. His solution using Y(0+) = Y(0) = 0 is not the most general and considerable controversy about this problem was thus created. The complete solutionusing the method given in Appendix 2 Appendix 2: The boundary conditions at r=0 of the Hydrogen Atom and a description of the controversy raised by Loudon's solution can be found in reference [28].
In the next section we discuss Stone's theorem and see why the Hamiltonian of a system must be self-adjoint for the time-dependent Schrödinger equation to have a unique solution valid for all times.
III. STONE'S THEOREM
As mentioned in the introduction, self-adjointness of the Hamiltonian is equivalent to the unique solvability of the time-dependent Schrödinger equation ([29], [30])
such that ||f(x,t)||2 = ||f(x,0)||2. To explain this result we first recall that there are two methods used in quantum mechanics textbooks to solve the time-dependent Schrödinger equation. The first one relies on the fact that a self-adjoint operator has a complete set of eigenfunctions. The eigenfuntions satisfy two properties: orthogonality and completeness. As a consequence, any "reasonable" function can be expanded as a series or integral (or a mixture of both) of those eigenfunctions. This result is used in many quantum mechanics textbooks. However, the fact that the eigenfunctions are sometimes distributions and that operators must be self-adjoint is never mentioned. The fact that very often one must restrict the domain of the operators in order to get a complete set is not mentioned either. Therefore we give below a few examples to clarify those issues.
A. Orthogonality and completeness of the eigendistributions of a self-adjoint operator
Example 2.1) The operator momentum
The operator momentum, p = , acting on the space given by equation (1), is self-adjoint in its "natural" domain so that there is no need to impose boundary conditions to restrict its domain. However, its eigenfunctions do not belong to the space given by equation (1), and hence cannot properly be called eigenfunctions. This is one of the reasons for the quotation mark encircling the word "eigenfuctions" used in the introduction, but a stronger reason is given in the next example. Those eigenfunctions are called eigenfunctions in the continuum and are given by yl(x) =
. They satisfy orthogonality
and completeness
So that any function Y(x) can be expanded as follows
Example 2.2) The operator
Consider the operator acting on the space of functions given by equation (1). As shown above, this operator is self-adjoint in its "natural" domain, so, again, there is no need to impose boundary conditions to restrict its domain. Its eigenfunctions, however, are not functions, but distributions (also called generalized functions), in this case the Dirac delta function [31]. The eigenfunctions of
are
and they satisfy orthogonality
and completeness
Any function can be expanded as follows
The fact that self-adjoint operators have a complete set of "eigendistributions" is known as the Gelfand-Kostyuchenko theorem. This is not an easy theorem and a complete account of it can be found in a recent book by Zeidler [32].
Example 2.3) Hamiltonians
All the Hamiltonians, if they are self-adjoint, have a set of complete and orthogonal eigenfunctions. They are bound states eigenfunctions or a set of continuum eigenfunctions YE(x) or both, such that , we have orthogonality
where the symbol is the Kroneker delta and d(E - E') is the Dirac delta function - and completeness
Any function f(x) can be expanded as
where cj = (x)f(x)dx and c(E) =
(x)f(x)dx. However, for Hamiltonians, it is usually necessary to restrict the domain by imposing boundary conditions, so that the operator becomes self-adjoint in this domain. For example, for the infinite square well of example (1.5), we have different sets of orthogonal and complete eigenfunctions depending on the parameters of the matrices M. This fact clearly illustrates the role of domains in getting a complete set of eigenfuntions: for each domain we have a different operator and hence we get a different set of eigenvalues and eigenfunctions
B. Stone's theorem: first method
Let's now return to the problem of solving equation (16). Once the eigenfunctions of the Hamiltonian are found out it is possible to expand the t = 0 initial state f(x,0) in the eigenfunctions of the Hamiltonian:
The solution of equation (16) is then given by
as can be easily checked.
It is now possible to understand in a pedestrian way the connection between self-adjointness, domains, boundary conditions and the time-dependent Schrödinger equation. In fact when boundary conditions are imposed in the context of the time-independent Schrödinger equation, eigenvalues and eigenfunctions result. Those are assumed complete, as is correct since the Hamiltonian is self-adjoint in the domain imposed. Then expanding f(x,0) in this complete set the time dependent evolution can be derived. The connection between the domains and time evolution is full of consequences. For example, in the case of the finite square well, as we have seen above, for each set of parameters of the matrix M (characterizing distinct operators since they have different domains) we have distinct sets of eigenvalues and eigenfunctions and therefore different time evolutions. However as we have seen above the eigenfunctions of a self-adjoint operator can be distributions. So it is nice to have a method of solution that do not depend on eigenfunctions expansions. We present this method below.
C. Stone's theorem: second method
The fact that the Hamiltonian must be self-adjoint is even more clearly seen in the second method to solve equation (16) that we will now present. This second method consists in constructing an operator U(t) so that f(x,t) = U(t)f(x,0), with the following properties [30]:
a) t ® U(t)f is continuous for each f in the Hilbert space of the system
b) U(t + s) = U(t) U(s) with U(0) = 1
c) ||U(t) f|| = ||f|| for all t and for all f in the Hilbert space of the system. Here ||f|| means the norm of f , defined above in equation (1), and the property c) ensures conservation of probability. The family of operators U(t) is called a unitary one-parameter group. An alternative definition of self-adjointness is that an operator H is self-adjoint if and only if there is a unitary one-parameter group family of operators, U(t), so that t ® U(t) is differentiable with = -iHU(t)f. (Note that intuitively, that is, formally differentiating with respect to t, exp[-
Ht]j(x,0) is the solution of equation (16))
The equivalence of this definition of self-adjointness with the more usual (given in section 2), is the content of Stone's theorem [29]. To qualitatively understand this theorem in terms of domains it is necessary to construct the operator U(t) given by exp[-Ht]. In fact to be sure that exp[-
Ht] makes sense, we have to show how to construct it from H, and this is the objective of the next section. (In passing we mention that the existence of the operator exp[-
Ht] is also essential to transform from the Schrödinger picture to the Heisenberg picture and vice-versa as emphasized by Dirac [33].)
IV. CONSTRUCTING THE OPERATOR exp[-
Ht] In this section we follow reference [30] closely and, in particular, we use units such that = 1, to simplify the notation. A natural way of making sense of the operator exponential is to use the compound interest formula [34],
It is necessary to find out what are the conditions that H must satisfy so that this limit exists. For this we rewrite equation (28) distinguishing positive t from negative t, t = ±|t| as
where a = and A = (aH
To deduce the conditions for equation (29) to make sense we note that for any finite n equation (29) is a product of operators A = (aH i)1. We begin to investigate the existence of this operator by examining its inverse, the operator (aH i). By looking at what are the functions y(x) = (aH i)j(x) where j(x) belongs to the domain of H, we can examine the range of (aH i), that is the set of all the functions Y(x) that results from applying (aH i) to all the functions in its domain. Calculating the norm of y(x) we have,
At this stage there is no need for H to be defined in a domain such that it is self-adjoint; it suffices to be Hermitian for the last two terms to cancel out . The first term can be written a2 < Hj|(Hj >= a2 < j|(H2j) > > 0 and so we have
Therefore we can define an operator A = (aH i)1 from the range of (aH i), to the domain of H. Let y(x) be one such function. It clearly obeys
Indeed let j(x) belong to the domain of H and let y(x) belong to the range of (aH i) such that
Of course we have
and replacing equation (34) in equation (31) we have
from which it is possible to conclude that in general the operator A contracts the function on which it acts. So, unless the range of (aH i) is the whole Hilbert space, repeated application of A as implied by equation (29) results in smaller and smaller sets of functions. So we are forced to demand that the domain of A be the whole Hilbert space. It turns out that if H is self-adjoint the domain of A, which is the range of (aH i), is the entire Hilbert space. This is a fundamental theorem: H is self-adjoint if and only if the range of (aH i) (a > 0) is the entire Hilbert space.
We will not demonstrate this theorem here but give an example (for the operator and a = 1) that takes a little bit of the mystery of this result and refer to Amrein [35] and to Reed and Simon [36] for the complete demonstration. We know that if j(x) is a function belonging to the domain of
then
j(x) = xj(x) also belongs to the Hilbert space, that is it obeys equation (4). However, another application of
may result in a function outside the Hilbert space, that is
|x2j(x)|2dx = ¥. It is easy to understand that (x i)j(x) belongs to the Hilbert space, if xj(x) does. However how do we know that the range of (x i) is the entire Hilbert space? We want to show that if a function h(x) is orthogonal to a function y in the range of (
±i) - that is y = (
±i)j where j belongs to the domain of x - then h(x) = 0. In fact if h is orthogonal to the range of (
±i) then we have
h ih = 0 (because, (h,(
±i)j) = 0, and (h,(
±i)j) = ((
V. CONCLUSIONS
In this paper we have shown that the seemingly complicated and unnecessary requirement of self-adjointness of the Hamiltonians in quantum mechanics is actually essential to define the exponential of such operators and therefore solve the time-dependent Schrödinger equation uniquely. This point is largely overlooked in textbooks in quantum mechanics. This is probably because the definition of self-adjointness requires that operators be correctly defined by their action and by their domains. We have shown that domains are specified when boundary conditions are imposed at the stage of solving the time-independent Schrödinger equation. However, in textbooks, the specification of boundary conditions is not presented as a domain specification that turns the Hamiltonian self-adjoint. The boundary conditions are usually justified with physical arguments or simply glossed over. We find this unsatisfactory and think that it is necessary to be aware of the importance of domains, and of its relation with self-adjointness, which is essential for the time-dependent Schrödinger equation to have a unique-probability conserving- solution for all times.
Acknowledgements
This work was supported the Conselho Nacional de Desenvolvimento Cientí fico e Tecnológico (CNPq), by the Fundação de Amparo a Pesquisa do Estado de São Paulo (Fapesp) and by the Japan Society for the Promotion of Sciences. The authors would like to thank prof. Y. Nogami very much for his help.
[1] Eugen Merzbacher, Quantum mechanics, third edition (John Wiley and Sons, inc. New York, 1988).
[2] M. H. Stone, Ann. Math. 33, 643 (1932).
[3] Consider an operator Â. Only for self-adjoint operators we can define the operator $\exp[-\frac{i}{\hbar}\widehat{A}l]$ where l is a real parameter. The ability to define the exponential of an operator is essential in studying the symmetry of the system. For example if  is taken to be the operator momentum in the x direction $ p_x [-\frac{\hbar}{i}\frac{d}{dx}$, then the operator $\exp[-\frac{i}{\hbar} lp_x]$ represents a finite translation of the system in the x direction by a distance l.
[4] G. Bonneau, J. Faraut, and G. Valent, Am. J. Phys. 69, 322 (2001).
[5] V. S. Araujo, F.A.B. Coutinho, and J.F. Perez, Am. J. Phys 72, 203 (2004).
[6] P. Garbaczewski and W. Karwowski, Am. J. Phys. 72 , 924 (2004).
[7] A. M. Essin and D. J. Griffiths, Am. J. Phys. 74, 109 (2006).
[8] T. F. Jordan, Am. J. Phys. 44, 567 (1976).
[9] A. Z. Capri, Am. J. Phys. 45, 823 (1977).
[10] C. Zhu and J. R. Klauder, Am. J. Phys. 61, 605 (1993).
[11] F. Gieres, Rep. Prog. Phys. 63, 1893 (2000).
[12] The Dirac delta function is not a function in the sense that we can not associate a numerical value to it for each x. Occasionally we find d(x - xl) = 0 if x ¹ xl and d(x - xl) = ¥ if x = xl. However multiplying this by, say, 2 we find 2 = 1! In other occasions we find d(x - xl) = 0 if x ¹ xl and d(x - xl) = undefined if x = xl. However in this case one can not define (d(x - xl))2 = d(x - xl) d(x - xl) for integrating this we find d(0) which we declared undefined.
[13] Since we are going to integrate by parts we have to restrict the set of functions. So we take as the domain the set of functions that obey equation (8), that are absolutely continuous, and that go to zero as x ® ¥. See reference [5] for details.
[14] Note that the usual condition for an impenetrable, U(0) = 0 is contained in equation (9) by making k ® ¥. This boundary condition is considered more natural because of the following limiting procedure. One considers the potential V(x) = V0 > 0 for x < 0 and V(x) = 0 for x > 0 , solves the time- independent Schrödinger equation for an energy E < V0 and then takes the limit V0 ® ¥. By doing this one gets the condition U(0) = 0. However one can consider the following potential: V(x) = V0 for x < 0 , V(x) = B , for 0 < x < e and V(x) = 0 for x > e. Solve the time- independent Schrödinger equation and find the scattering length. Then one takes V0® ¥. Now it is possible to let e ® 0 together with B ® -¥ in such away that the scattering length remains constant. In this way one gets equation (9) with k < 0 (B ® -¥); the scattering length is positive and there is a bound state. Alternatively letting e ® 0 together with B ® ¥ we get equation (9) with k > 0 in which case the scattering length is negative and there is no bound state.
[15] J. F. Perez and F. A. B. Coutinho, Am. J. Phys. 59, 52 (1991).
[16] F. A. B. Coutinho, Y. Nogami, and J. F. Perez, Phys. Rev. A 46, 6052 (1992).
[17] F. A. B. Coutinho, Y. Nogami, J. F. Perez, and M. F. Toyama, Journal of Physics A - Mathematical and General 27, 6539 (1994).
[18] M. Carreau, E. Farhi, and S. Gutmann, Phys. Rev. D 42, 1194 (1990).
[19] M. G. E. da Luz and B. K. Cheng, Phys. Rev. A 51, 1811 (1995).
[20] S. Albeverio , F. Gesztezy, R. Hoegh-Krogn, and H. Holden, Solvable models in Quantum Mechanics (Springer -Verlag , New York, 1988), page 54.
[21] Most books present arguments for disregarding the possibility of wave functions that are infinite at a point, but that has the probability finite; reference [1] on page 264, correctly asserts, that the usual boundary condition RE0(0) = 0 is imposed to make the Hamiltonian self-adjoint, and that other conditions are possible. (However, the exercise 12.8 of this reference is incorrect.) Among the many incorrect arguments given to support the boundary condition RE 0(0) = 0, reference [22], (on page 157 of the volume 1) presents the following interesting argument: If the wave function at r = 0 is allowed to behave as $\Psi_{El=0m=0} (r,\theta,\phi)=\frac(R_{El}}{r}\sim \frac{1}{r}$, then the kinetic energy $\int_{0}^{\infty}\Psi_{_{E,l=0,m=0}}^{*}(r)(-\frac{\hbar^2}{2m}\nabla^2 \Psi_{_E,l=0,m=0}} (r)) r^2 dr$ diverges. However if we consider the entire Hamiltonian, \int_{0}^{\infty} \Psi_{_{E,l=0,m=0}}^{*} (r) (-\frac{\hbar^2}} {2m} \nabla^{2} + V(r))^ {2} \Psi_{_E,l=0,m=0}} (r)) r^2 dr $, where the wave function obeys the boundary condition given by equation (13), the divergence in the kinetic energy is exactly cancelled by the divergence in the potential energy. This is a nice example of an operator that is formally a sum of two operators but whose domain is not the intersection of the natural domains of these operators taken individually.
[22] S. Flugge, Practical Quantum Mechanics, Volume 1 (Springer-Velag, New York, 1970).
[23] M. L. Cohen, Am. J. Phys. 52, 695 (1984).
[24] M. L. Cohen,"Looking back and ahead at condensed matter physics," Physics Today June 2006 pp 48-53.
[25] G. Flamand, "Mathematical theory of non-relativistic two-and three -particle systems with point interactions," in Cargese Lectures in Theoretical Physics 1967 edited by F. Lurçat.
[26] F. A. B. Coutinho, Y. Nogami Y, and L. Tomio, "Many-body system with a four-parameter family of point interactions in one dimension," Journal of Physics A-Mathematical and General 32, 4931 (1999).
[27] R. J. Loundon, Am. J. Phys. 27, 649 (1959).
[28] I. Tsutsui, T. Fülöp, and T. Cheon, J. Phys. A: Math. Gen. 36, 275 (2003).
[29] B. Simon, Acta Physica Austriaca, Suppl XVII, 19 (1997).
[30] Michael Reed and Barry Simon, Functional Analysis (Academic Press, San Diego 1980) Vol. 1, page 264.
[31] The Dirac delta function is in fact a functional that associates to each function a number. In this sense the eigenfunctions of $\hat{p}$, $\psi_{\lambda}(x) = \frac{1}{(2\pi)^{1/2}} e^{\frac{i}{\hbar}\lambda x}$ -or of any Hamiltonian-can also be considered a functional: $ F(\lambda) = \int _{-\infty} ^{\infty} \frac{1}{(2\pi)^{1/2}} e^{-\frac{i}{\hbar}\lambda x}\Psi(x)$. In this case we call the resulting distribution a regular distribution in comparison with the delta function which is an irregular distribution, that is, not generated by a function . So we can announce a more general theorem than the one taken from granted in most quantum mechanics textbooks, the Gelfand-Kostyuchenko theorem: Any self-adjoint operator have a complete set of eigendistributions[32]
[32] E. Zeidler, Quantum Field Theory I: Basics in Mathematics and Physics (Springer, Berlin 2006 ) page 679.
[33] P. A. M. Dirac, Lectures in Quantum Field theory, Belfer Graduate school of Science. Yeshiva University. New York (1966).
[34] At this point one may feel that expanding the exponential in power series would give us a better chance to define the exponential operator. It is indeed natural at this stage to think that using the series development of the operator $\exp [-\frac{i}{\hbar} Ht] = 1 - \frac{i}{\hbar} Ht + ... $ is a better strategy to define the exponential. However the series only converges when acting on analytic functions. See B. S. Holstein and A. R. Swift "Spreading wave packets-A cautionary Note."Am. J. Phys. 40: 829-832 (1972) for a striking example.
[35] W. O. Amrein, Non-relativistic Quantum Dynamics (D.Reidel Publishing Company, Dordrecht, 1981) p. 29.
[36] M. Reed and B. Simon, Methods of Modern Mathematical Physics-Vol 2-Fourier Analysis, Self-Adjontness (Academic Press, NY, 1975), theorem X.1.
[37] T. Kato, Pertubation Theory for Linear Operators (Springer- Verlag Berlin 1980), p. 481.
[38] H. A. Buchdahl, Am. J. Phys. 42, 47 (1974).
[39] M. Bowen and J. Coster, Am. J. Phys. 48, 307 (1980).
[40] R. S. Bhalerao and B. Ram, Am. J. Phys. 68, 817 (2001).
[41] A. S. de Castro, "Comment on "Fun and frustration with the quarkonium in a 1+1 dimension, [Am. J. Phys. 68, 817 (2001)]," Am. J. Phys.70, 450 (2002) Y
[42] R. M. Cavalcanti, "Comment on "Fun and frustration with quarkonium in a 1 + 1 dimension," by R. S. Bhalerao and B. Ram, [Am. J. Phys. 69, 817 (2001)]," Am. J. Phys. 70, 451 (2002). Y
[43] W. Edward Gettys and H. W. Graben, Am. J. Phys. 43, 626 (1975).
[44] Frank W. J. Olver, Asymptotics and special functions (AKP Classics. AK Peters Wellesley, Massachusetts, 1997)
[45] A. Ederly, Higher transcendental functions (McGraw -Hill, New York, 1973).
[46] A. M. Krall, Journal of Differential equations 45, 128 (1982).
[47] M. Abramowitz and I. A. Stegun Handbook of Mathematical functions (Dover Publications, Inc., New York, 1965).
Received on 20 December, 2007
In this Appendix we give two examples of systems whose Hamiltonians are self-adjoint, without the need of boundary condition in their wave functions to have their domains specified.
Example 1) The time-independent Schrödinger equation for the harmonic oscillator is
We want to show that the equations
has no square integrable solution. The usual way to tackle equation (36) is to apply Frobenius method directly to the equation. This, however, is not without its problems, as shown in references [38] and [39] and has lead to errors in the pedagogical literature [40], corrected in references [41] and [42]. Therefore, we prefer to transform (37) as done in reference [43], so that we can use the powerful methods described in Olver's book [44].
First set k = w2m, change variables x = 1/2x and define v±(x) = Y±(x) to get
Next set
to get
where µ± = . Finally, a further change z = x2 and F±(z) = f±(x) gives
Equation (41) is the confluent hypergeometric equation, which has the following two independent solutions [45]
An arbitrary combination of these functions behaves as ez for large z. However, the two combinations below are such that one of them ,Y+(x), goes to infinite as as z ® -¥ and to xµ± as z ® ¥ and the other ,Y-(x), that goes as
as z ® ¥ and to xµ± as x ® -¥.
For real µ± such solutions can be matched together with their derivatives at x = 0 and, as discussed nicely in reference [43], results in the Legendre polynomials. However if µ± is imaginary they cannot be matched smoothly at z = 0 and hence equation (37) has no solutions. So according to the criterion given by equation (6) the operator is self-adjoint.
Example 2-Consider a particle moving in one dimension and subject to the finite square well potential , that is V(x) = -V0 for |x| < L and V(x) = 0 for |x| > L. This system, whose Hamiltonian is H = - + V(x), is self-adjoint in its "natural" domain. The boundary condition that must be imposed at ±L assures that the functions in the domain j(x) remain in the domain when acted with the term -
, which is part of the Hamiltonian.
A recipe to get the boundary conditions can be found in [5]. However in this case it is simpler to follow a prescription given by Krall [46]. It consists in the following steps
1) Solve the differential equation
obtained from equation (12) by making l = 0, g =e2, and E = 0. This equation can be obtained from the equation below (See Abramowitz, [47], equation 9.1.50 )
making n = 1 and l = , and whose solutions are Y(r) =
, where Cu(z) is any of the Bessel's Functions. The two linearly independent solutions of equation (45) are therefore
and
where J1(z) and N1(z) are the Bessel and Newman functions, respectively.
2) The second step is to compute
where 0 < q < 2p is a real number and W(f1,f2) is the Wronskian of f1 and f2. This gives us a relation between REl = 0(r) and
which is the boundary condition
The same procedure can be applied to the operator - acting on functions on the space of functions that obeys
|j(x)|2dx = finite (and that of course remains in the space) and results in the boundary condition given by equation (9).
- [1] Eugen Merzbacher, Quantum mechanics, third edition (John Wiley and Sons, inc. New York, 1988).
- [2] M. H. Stone, Ann. Math. 33, 643 (1932).
- [4] G. Bonneau, J. Faraut, and G. Valent, Am. J. Phys. 69, 322 (2001).
- [5] V. S. Araujo, F.A.B. Coutinho, and J.F. Perez, Am. J. Phys 72, 203 (2004).
- [6] P. Garbaczewski and W. Karwowski, Am. J. Phys. 72 , 924 (2004).
- [7] A. M. Essin and D. J. Griffiths, Am. J. Phys. 74, 109 (2006).
- [8] T. F. Jordan, Am. J. Phys. 44, 567 (1976).
- [9] A. Z. Capri, Am. J. Phys. 45, 823 (1977).
- [10] C. Zhu and J. R. Klauder, Am. J. Phys. 61, 605 (1993).
- [11] F. Gieres, Rep. Prog. Phys. 63, 1893 (2000).
- [15] J. F. Perez and F. A. B. Coutinho, Am. J. Phys. 59, 52 (1991).
- [16] F. A. B. Coutinho, Y. Nogami, and J. F. Perez, Phys. Rev. A 46, 6052 (1992).
- [17] F. A. B. Coutinho, Y. Nogami, J. F. Perez, and M. F. Toyama, Journal of Physics A - Mathematical and General 27, 6539 (1994).
- [18] M. Carreau, E. Farhi, and S. Gutmann, Phys. Rev. D 42, 1194 (1990).
- [19] M. G. E. da Luz and B. K. Cheng, Phys. Rev. A 51, 1811 (1995).
- [20] S. Albeverio , F. Gesztezy, R. Hoegh-Krogn, and H. Holden, Solvable models in Quantum Mechanics (Springer -Verlag , New York, 1988), page 54.
- [22] S. Flugge, Practical Quantum Mechanics, Volume 1 (Springer-Velag, New York, 1970).
- [23] M. L. Cohen, Am. J. Phys. 52, 695 (1984).
- [24] M. L. Cohen,"Looking back and ahead at condensed matter physics," Physics Today June 2006 pp 48-53.
- [26] F. A. B. Coutinho, Y. Nogami Y, and L. Tomio, "Many-body system with a four-parameter family of point interactions in one dimension," Journal of Physics A-Mathematical and General 32, 4931 (1999).
- [27] R. J. Loundon, Am. J. Phys. 27, 649 (1959).
- [28] I. Tsutsui, T. Fülöp, and T. Cheon, J. Phys. A: Math. Gen. 36, 275 (2003).
- [29] B. Simon, Acta Physica Austriaca, Suppl XVII, 19 (1997).
- [30] Michael Reed and Barry Simon, Functional Analysis (Academic Press, San Diego 1980) Vol. 1, page 264.
- [32] E. Zeidler, Quantum Field Theory I: Basics in Mathematics and Physics (Springer, Berlin 2006 ) page 679.
- [33] P. A. M. Dirac, Lectures in Quantum Field theory, Belfer Graduate school of Science. Yeshiva University. New York (1966).
- [35] W. O. Amrein, Non-relativistic Quantum Dynamics (D.Reidel Publishing Company, Dordrecht, 1981) p. 29.
- [36] M. Reed and B. Simon, Methods of Modern Mathematical Physics-Vol 2-Fourier Analysis, Self-Adjontness (Academic Press, NY, 1975), theorem X.1.
- [37] T. Kato, Pertubation Theory for Linear Operators (Springer- Verlag Berlin 1980), p. 481.
- [38] H. A. Buchdahl, Am. J. Phys. 42, 47 (1974).
- [39] M. Bowen and J. Coster, Am. J. Phys. 48, 307 (1980).
- [40] R. S. Bhalerao and B. Ram, Am. J. Phys. 68, 817 (2001).
- [41] A. S. de Castro, "Comment on "Fun and frustration with the quarkonium in a 1+1 dimension, [Am. J. Phys. 68, 817 (2001)]," Am. J. Phys.70, 450 (2002)
- [42] R. M. Cavalcanti, "Comment on "Fun and frustration with quarkonium in a 1 + 1 dimension," by R. S. Bhalerao and B. Ram, [Am. J. Phys. 69, 817 (2001)]," Am. J. Phys. 70, 451 (2002).
- [43] W. Edward Gettys and H. W. Graben, Am. J. Phys. 43, 626 (1975).
- [44] Frank W. J. Olver, Asymptotics and special functions (AKP Classics. AK Peters Wellesley, Massachusetts, 1997)
- [45] A. Ederly, Higher transcendental functions (McGraw -Hill, New York, 1973).
- [46] A. M. Krall, Journal of Differential equations 45, 128 (1982).
- [47] M. Abramowitz and I. A. Stegun Handbook of Mathematical functions (Dover Publications, Inc., New York, 1965).
Appendix 1: Examples of a Hamiltonians that does not require boundary conditions for the specification of its domain
Appendix 2: The boundary conditions at r=0 of the Hydrogen Atom
Publication Dates
-
Publication in this collection
27 Mar 2008 -
Date of issue
Mar 2008
History
-
Received
20 Dec 2007