The Perturbation of Some Exactly Soluble Problems in Wave Mechanics by The Method of Potential Envelopes
The Perturbation of Some Exactly Soluble Problems in Wave Mechanics by The Method of Potential Envelopes
Abstract. Suppose the function e k ( U ) which represents the kth bound-state eigenvalue of
the Hamiltonian h ={-A+ z)q5(r) + V ( r ) }is known exactly for all allowed values of U P 0.
This article concerns the corresponding eigenvalue &(U) of the Hamiltonian H =
{-A+ uf(q5(r)) + V(r)}, where f(q5) is a smooth, increasing, and either convex or concave
transformation of the potential 4 ( 1 ) .An application of the method of potential envelopes
yields a simple formula for an upper or lower bound to Ek(U)according to whether the
transformation f(Q) is concave or convex. The example q5(r) = (-I-' + W I ) , V ( r )= w 2 r 2 ,
and f(q5) = A-'{eAd - 1) for A > O is discussed in detail.
1. Introduction
We suppose that the exact eigenvalue & ( U ) corresponding to the lowest bound state of
the Hamiltonian
h^ = -A + uq5 ( r ) + U ( r ) (8)
is known for each allowed value of the positive coupling constant U . The graph ( U , E ( U ) )
we call the energy trajectory of 6 with respect to 4. The new Hamiltonian which we wish
to analyse in terms of h^ is given by
H =-A+vf(4(r))+ U ( r ) (9)
and our aim first of all is to approximate the lowest eigenvalue E of H. We assume that
the transformation function f is continuously differentiable and that f'(q5) > 0, for all
4 ( r ) with r > 0.
The key additional assumption which leads to energy bounds is that f is either
convex or concave: we shall take the case that f is convex for all 4 ( r ) , r > 0 , which leads
to lower energy bounds; upper energy bounds are obtained when f is concave, by an
exactly similar argument.
Consider the point r = s and 4(s)= t which, for the present, we keep constant. We
have, by the convexity off,
f ( # J ( r ) w) ( r ) ( r =
) f ( t )+ f ' ( t ) M ( r )- t ) all r > 0. (10)
Equation (10) simply states that f lies qbove the tangent line f")which touches f at 4 = t.
The method of potential envelopes 2647
We call the collection of functions { f " ' ( r ) } an envelope representation for the function
g ( r ) = f(4( r ) ) and write this g = E:F$e{f(f)}, where R* is the range of the potential
function 4.
We can rewrite equation (10) (with t still fixed) in the form
E") = a v + E ( P v ) . (14)
Since f f ) ( r )< f ( ~ $ ( r ) ) , r > 0, we have, by Weyl's comparison theorem (e.g. Weinstein
and Stenger 1972, p 21), that
E")< E for each fixed choice of t E RQ (15)
where R4 is the range of the function 4. The lower bound ELis now given by
EL = Envelope{E(t))
rsR+ s E. (16)
Our smoothness assumption concerning f has been made merely for the con-
venience of using elementary calculus. In the same spirit, we now assume that f'(t) and
&'(U) are continuous functions so that the envelope in equation (16) can easily be
calculated: our assumption thatf is convex now becomesf"(t) > 0, all t E R+. If we write
equation (14) in the form
G ( v ,E, t ) = a u + E ( P u ) - E= O (17)
and think of this equation as representing a family of curves in the ( U , E ) plane labelled
by the parameter t, then we obtain (e.g. Courant 1936, p 172) the envelope curve ( U , E L )
of this family by eliminating the parameter t between the two equations
aG
G(u, E, t ) = 0 and -(U, E, t ) = O . (18)
at
3. An example
In order to illustrate the theory of 0 2 we need first to choose 4 ( r ) and U ( r )so that the
Hamiltonian 6 corresponds to an exactly soluble problem; then we must choose the
convex or concave transformation f(4)of 4 which generates the new Hamiltonian H.
The present paper is concerned with the class of Hamiltonians discussed in § 1 above
where U ( r )= w2r2, We therefore define 6 as follows
6 = -A+ v 4 ( r )+ w 2 r 2
4 ( r )= (-r-’ + wr) (22)
&(U)=3w-U2/4
where ( U , E ( U ) ) is the exact energy trajectory of fi with respect to 4. The Hamiltonian H
which we study then becomes
H = -A+ v f ( - r - ‘ + w r ) + w 2 r Z (23)
where f is increasing and either convex or concave, and will be chosen explicitly later.
By applying the theory of § 2 we find the following approximation E A to the exact
energy trajectory E ( u )of H (equations ( 2 2 ) have been substituted directly in equations
( 1 9 ) and the resulting equations have been rearranged to give U and E in terms of the
parameter t ) :
U = -2t(f’(t)}-l E A= u f ( t )+ t 2 + 3w. (24)
The parameter t must be in the range of 4 which, in this example with w # 0, is the entire
real line; moreover, since f is assumed to be increasing and U is positive, we see that
t S 0 . This means that, in this example, we only make use of that subset of the
enveloping family of curves {a+ & 5 ( r ) }corresponding to points of contact r = s s
U - ’ ” : the rest of the enveloping family gives suboptimal energy estimates.
We now choose the transformation f of 4. For the identity f(4)= 4, we see from
equation ( 2 4 ) that E A= E ( U ) , as we expect. If we choose for f a function which is
The method of potential envelopes 2649
convex, then equation (24) will yield a lower trajectory bound which we can compare
with an independent variational upper bound. The example we present is
f(4)= A-'{eA' - 1) A>O (25)
which approaches the identity f ( 4 )= 4 as A & 0. The actual potential generated in this
way (with A > 0) has the form
V(r) = vA -'{exp[A(-r-' + wr)] - 1) + w2r2. (26)
A sketch of V(r) for the case v = 2 and w = 20A = 1 is shown in figure 1: for A > 0, the
Coulomb singularity of 4 ( r ) is removed by the transformation f ( 4 ) for we have
-
V(r) 5 lim,ro V(r) = -vA-'; for large values of r, V(r) vh-' exp(Awr). The (lower)
trajectory bound equation (24) becomes (in parametric form)
v = 2q eAq q30
EL=uA-'{e-A4-l}+q2+3w
where we have used the positive parameter q = -t. Thus we have in equation (27) a
formula for a lower bound to the lowest eigenvalue of the Hamiltonian H = {-A + V(r)}
which depends on v 5 0, w 3 0 and A > 0; in the limiting case A & 0, this formula yields of
course the exact result E = 3w - v2/4. For w = 1, the graph of EL(v)for A = 0.05 is
shown in figure 2 together with a variational upper trajectory bound E U ( v )found by
Figure 1. The potential in the example is the Figure 2. Upper and lower bounds to the lowest
smooth transformation uf(4) + w z r z of the eigenvalues E ( u ) of the Hamiltonian H =
potential 4 ( r )= (-I-' + w r ) , in which f(4)= - A + v A - ' [ e x p { A ( - r + ' + w r ) } - l ] + w Z r 2 , with w = 1
A-'{exp(A4)- 1). Explicitly we have V ( r )= and A =0.05: in the limit as ALO, we have H =
wA-'[exp{A(-r-'+wr)}- 1 ] + w 2 r 2 , and the figure -A+ u(-r-'+wr)+w2r2 and E ( u )= 3w - v2/4
illustrates the case w = 20A = 1, and U = 2. exactly.
2650 R L Hall and M Satpathy
using the trial function $ ( r ) = exp{-ar - br’} and minimising the expectation of H with
respect to the scale variables a and b.
In order to find EL for a given v numerically, one first solves equation (27a) for q
and then substitutes this value of q into (27b). For the case w = 1, U = 5, and
A = 0.01, 0.05 and 0.1 Killingbeck (1981) has found a numerical approximation
EK to E by the method described in his (1977a) article: these results
together with ours are respectively (EL, E K ,E u ) = (-3.099, -2.917, -2.908),
(-2.578, -1.971, -1.950), and (-2.066, -1.230, -1.160).
Of course, our lower bound equation (27) gives the general form of the dependence
of E on the triple ( v , A, w ) and this analytical information, which is always interesting, is
particularly important for the N-body problem, N 2 2 , as we have shown in Hall
(1980, 1981). Even for the rather general class of potentials (23), we have a simple
recipe (24) which yields lower bounds when f” > 0 and upper bounds when f” < 0.
4. Conclusion
The minimal properties of the eigenvalues of the semi-bounded self -adjoint operators
of wave mechanics allow us to use the geometrical ideas of convexity and envelope
representations in their study. In this article we submit a component 4 ( r ) of the
potential in the Hamiltonian 6 to a smooth convex or concave transformationf(4). This
generates a new Hamiltonian H whose kth eigenvalue can be easily approximated
provided we know how the kth eigenvalue of 6 depends on the coupling constant v of
the component 4 ( r ) , that is to say, the kth energy trajectory of 6 with respect to 4. In
terms of perturbation theory one can also write
Acknowledgments
We should like to thank J Killingbeck and B Simon for their comments on an earlier
draft of this paper, and the Natural Scien’ces and Engineering Research Council Canada
for partial support of this work by Grant number A3438.
References