 Research
 Open Access
 Published:
The intervals of oscillations in the solutions of the radial Schrödinger differential equation
Advances in Difference Equations volume 2016, Article number: 47 (2016)
Abstract
We have previously formulated a program for deducing the intervals of oscillations in the solutions of ordinary secondorder linear homogeneous differential equations. In this work, we demonstrate how the oscillationdetection program can be carried out for the radial Schrödinger equation when a Coulomb potential is used to describe the hydrogen atom. The method predicts that the oscillation intervals are finite in radius and their sizes are determined uniquely by the two quantum numbers n and ℓ. Numerical integrations using physical boundary conditions at the origin confirm this oscillatory behavior of the radial Coulomb wavefunctions. Two related differential equations due to Kummer and Whittaker and other attractive electrostatic potentials are also discussed in the same context.
Introduction
All ordinary secondorder linear homogeneous differential equations can be written in the general form
and this equation can be transformed to the canonical form
where the primes denote derivatives with respect to the independent variable x, \(q = (b^{2} + 2b'  4c)/4\), and \(y(x) = u(x)\exp(\frac{1}{2}\int{b(x)\,dx})\) (see, e.g., Section 10.2 in [1] and Section XI.1 in [2]). The canonical form (2) condenses the coefficients of equation (1) into a single coefficient \(q(x)\) and ‘oscillation theory’ focuses mainly on \(q(x)\) in order to deduce the oscillatory properties of the solutions of equation (1) (see the reviews in [3, 4] and references therein). In a previous paper ([5], hereafter CGK), we also studied the \(q(x)\) of equation (2) in order to find out what information it may reveal about the solutions of equation (1). First, we formulated a new definition of oscillation as the appearance of successive critical points of the same kind (maxima, or minima, or inflection points) in the graph of a solution. Then we described a program for deducing the precise intervals of oscillations in the solutions of the general form (1), and we presented a variety of examples in which this procedure was successful in predicting oscillatory behavior solely from an examination of the coefficient \(q(x)\) of equation (2).
Some of the differential equations that were investigated by CGK were transformed to the harmonicoscillator form with constant coefficients in the first step of the program, and their oscillatory properties were then derived easily from the discriminant of their characteristic quadratic equations. The rest of the equations were transformed to a form with constant damping (a constant coefficient of the firstderivative term), a quantity that clearly opposes any oscillatory tendencies in the solutions. In this second step of the program, a generalized Euler transformation of the independent variable x was used:
where \(c_{1}\), \(c_{2}\), and k are arbitrary constants, and a criterion for the intervals of oscillations in the solutions was established:
Only the constant \(c_{1}\) appears in the criterion and corresponds to a ‘horizontal shift’ of the independent variable x in equation (3). For equations with singularities at the origin, \(c_{1}\) can be set to zero, and then criterion (4) takes the form
In this case, we can also choose \(c_{2}=1\) and \(k=1\) in equation (3), and then the change of the independent variable x takes the form of the classical Euler transformation
for which the investigation of the interval \(t\in(\infty, +\infty)\) in the transformed equation corresponds to searching for oscillatory solutions in the interval \(x\in(0, +\infty)\) of the original equation (1).
In the present work, we extend our investigation to the study of oscillatory properties of the radial Schrödinger equation that is of interest to the field of quantum mechanics (see, e.g., Chapter 14 in [6] and Section 67 in [7]). In Section 2, we adopt a classical Coulomb potential of the form \(V(x)\propto1/x\) that describes the hydrogen atom (as in Section 67 of [7]), and we transform the radial Schrödinger equation into the canonical form (2). Then we use the formulation expressed by equations (5) and (6) to analyze the properties of the resulting coefficient \(q(x)\) in the interval \(x\in(0, +\infty)\). The same \(q(x)\) appears also in the canonical forms of Kummer’s equation [6, 7] and Whittaker’s equation [1, 6]. These closely related equations are discussed in Section 2.2. In Section 3, we carry out numerical integrations of the original equation (1) under physical boundary conditions at \(x=0\) in order to test the predictions of the analytical formulation. Finally, in Section 4, we summarize our results and discuss their relevance to various twoparticle quantum mechanical models.
Radial Schrödinger equation with Coulomb potential
The radial Schrödinger equation [6, 7] can be written in normalized units as
where the integers \(n\geq1\) and \(0\leq\ell\leq n1\) are the principal and secondary quantum numbers, respectively, \(V(x)\) is the normalized potential, and \(x \geq0\) is a scaled radial coordinate of the radial wavefunction \(y(x)\). The canonical form (2) of equation (7) has \(u(x) = x y(x)\), and its \(q(x)\) is identical to the coefficient of y because the coefficient of \(y'\) is precisely equal to \(2/x\) (this property was discussed in detail by CGK in their Section 6.2):
The hydrogen atom
For the normalized potential \(V(x)\), we use the classical spherically symmetric Coulomb form:
in which case equation (8) becomes
Since n is assumed to be a positive integer, only bound states of the electron in the hydrogen atom are examined, and their negative energy levels \(E_{n} = (13.6 \mathrm{eV})/n^{2}\) are fully determined by the chosen values of n.
Equation (10) has a regular singular point at \(x=0\), in which case the criterion for oscillatory solutions is described by inequality (5). Substituting now equation (10) into equation (5), we find that the interval over which the wavefunctions of equation (7) may oscillate is given by the solution of the algebraic inequality
where
It is easy to show that \(x_{\pm}> 0\) for \(n\geq1\) and \(0\leq\ell\leq n1\). Therefore, oscillations appear only in a finite radial interval in each case in which n and ℓ are chosen. There are however two limiting cases in which a complete oscillation (i.e., a full ‘cycle’) does not develop in such an interval:

(a)
We know from the results obtained by CGK that some loworder solutions of equation (7) are nonoscillatory and that the lowestorder solutions that may exhibit at least two critical points of the same kind (maxima, or minima, or inflection points) for certain choices of boundary conditions have \(n=3\).

(b)
For the two largest values of the secondary quantum number, \(\ell= n2\) and \(\ell_{\max}=n1\), the wavefunctions have only one node and no node, respectively, in the intervals determined by equation (11). Therefore, although the solutions are distinctly nonmonotonic in these intervals, they do not develop two critical points of the same kind, and they are then nonoscillatory according to the definition given in Section 1.
These limiting cases are discussed further in Section 3.
Related equations and degeneracy of the canonical form
It is important to note that the above criterion for oscillations is unique and robust. The exact same inequality as in equation (11) is also derived from alternative forms of the radial Schrödinger equation. We mention here two such characteristic cases. In the first case (Section 67 in [7]), the differential equation for the hydrogen atom is written in Kummer’s form [6] of the confluent hypergeometric equation:
The structure of this equation is different than that of equation (7), but the coefficient \(q(x)\) of its canonical form is the same as equation (10). Therefore, when condition (5) is applied to \(q(x)\), the criterion for oscillations in the wavefunctions of equation (13) turns out to be the same as that derived for the wavefunctions of equation (7).
In the second case (Section 16.1 in [1]), we consider Whittaker’s differential equation
where k and m are constants. The canonical form (2) of this equation has a coefficient \(q(x)\) that takes the form of equation (10) with \(n = k\) and \(\ell= m  1/2\). Therefore, when condition (5) is applied to \(q(x)\), the criterion for oscillations in the negativeenergy (\(k>0\); [8, 9]) solutions of Whittaker’s equation (14) turns out to have the same form as that derived before for the wavefunctions of equation (7).
Equation (14) has a constant coefficient in its \(y'\) term, so a constant damping is folded into the canonical form (2). This is not the case for equations (7) and (13), whose transformations lead to the same canonical form. The fact that \(q(x)\) takes the same form in these three cases implies that differential equations of the form (1) with markedly different structures in their coefficients can be cast to the same canonical form with virtually identical \(q(x)\) coefficients by transformations of the dependent variable y. This is a kind of degeneracy in the canonical transformation of the general form (1). Because of this degeneracy, when we seek the oscillation intervals of a given differential equation in the form of equation (1) or equation (2), we are obliged to undertake the steps of the program described in CGK, irrespective of the symmetries that the given equation may exhibit (e.g., constant damping or being already in canonical form). In particular, the transformation of the independent variable x described in Section 2.3 of CGK must be carried out before a criterion for oscillatory solutions can be established. This is because the transformation of x is not degenerate: two canonical equations of the form (2) with different coefficients \(q(x)\) do not produce the same final canonical form with coefficient \(\hat{q}(x) = k^{2}[(xc_{1})^{2} q(x)  1/4]\), where k and \(c_{1}\) are arbitrary constants (see equations [16] and [17] in CGK).
Numerical solutions
Figures 1 and 2 show two numerical solutions of equation (7) for \(n=5\), \(\ell= 2\) and \(n=10\), \(\ell= 7\), respectively, and with physical boundary conditions \(y(0)=0\) and \(y'(0)=1\). In both cases, the solutions are oscillatory according to our definition since they exhibit two extrema of the same kind.
Figure 3 is analogous to Figure 2, except that \(\ell= n2 = 8\) is closer to the maximum value of \(\ell_{\max} = 9\). Although it is distinctly nonmonotonic in the interval specified by equation (12), this solution is nonoscillatory (two extrema of the same kind do not appear) precisely because \(\ell= n2\) (see below).
Additional numerical integrations of equation (7) confirm that (a) for values of \(n\geq3\) and \(\ell\leq n3\), the solutions exhibit increasingly more oscillations with increasing n for a fixed value of ℓ; and (b) for a fixed value of n, such oscillations become fewer with increasing ℓ and eventually disappear for \(\ell= n2\) and for \(\ell_{\max}=n1\).
The disappearance of oscillations for \(n\leq2\) and for \(\ell\geq n2\) can be understood in terms of the number of nodes \(\mathcal{N}\) that the radial wavefunctions develop as a function of n and ℓ:
This number is also called the ‘radial quantum number’ (Section 65 in [7]) and the boundary node at \(x=0\) is not included. We distinguish the following four limiting cases:

(a)
For \(n=1\), then \(\ell= 0\), and the wavefunction is nodeless.

(b)
For \(n=2\), then \(\ell= 0\) or 1, and the wavefunctions have one node and no node, respectively.

(c)
For \(\ell= n2\), then \(\mathcal{N}=1\), and these wavefunctions have one node.

(d)
For \(\ell_{\max} = n1\), then \(\mathcal{N}=0\), and these wavefunctions are all nodeless.
In the cases with no node, the wavefunctions exhibit just one pronounced extremum, and they are clearly nonoscillatory. Furthermore, in the cases with \(\mathcal{N}=1\), the wavefunctions exhibit a maximum and a minimum, but these extrema are not of the same kind; thus, these solutions are also nonoscillatory according to the definition given in Section 1. In all other cases with \(\mathcal{N}\geq2\), the wavefunctions exhibit two or more nodes, which, for the chosen boundary conditions, guarantee the appearance of two or more extrema of the same kind and thus oscillatory radial profiles.
Summary and discussion
Summary
In Section 2, we have presented an analysis of the oscillatory properties of the solutions of the radial Schrödinger equation (7) with a Coulomb potential of the form (9) that describes the hydrogen atom [6, 7]. This equation has a regular singular point at \(x=0\), and its canonical form has the same structure and properties as the canonical forms of the closely related Kummer [6, 7] and Whittaker [1, 6] equations (Section 2.2). Our analysis of these equations makes use of a program that was described in [5] by CGK for investigating the xintervals in which the solutions exhibit an oscillatory character.
The main result of our investigation is that the radial Schrödinger wavefunctions of the classical Coulomb potential show oscillations only in a finite interval the extent of which is determined analytically and given by equation (12) in terms of the two quantum numbers n and ℓ. This result could not have been obtained by classical oscillation theory [2–4] because the Coulomb wavefunctions do not exhibit infinitely many nodes. Numerical integrations of equation (7) using physical boundary conditions (\(y(0)=0\) and \(y'(0)=1\)) are described in Section 3, and they confirm the predicted oscillatory intervals in the wavefunctions for various choices of \(n\geq3\) and \(\ell\leq n3\) (two examples are shown in Figures 1 and 2).
On the other hand, there exist solutions in which one complete oscillation (a full ‘cycle’) does not develop in the intervals specified by equation (12). Even in such cases, however, the wavefunctions are distinctly nonmonotonic in the predicted intervals. Complete oscillations do not occur for loworder solutions (\(n\leq2\)) and for values of \(\ell\geq n2\) (a related example with \(n=10\) and \(\ell= 8\) is shown in Figure 3). The wavefunctions in these cases exhibit at most one node in \(x\in(0, +\infty)\), which is not enough for two extrema of the same kind to develop (see Section 3 for details).
Discussion
In quantum mechanics, the radial Schrödinger equation (7) is often studied for a variety of potentials other than the classical Coulomb potential. These include the Kratzer and Morse diatomic potentials [7], the twoparticle Yukawa [7] and Hellmann [10] potentials, the cutoff Coulomb potential [11], and various powerlaw attractive potentials [12]. In all of these cases, the coefficient \(q(x)\) of the canonical Schrödinger form is given by equation (8), where \(V(x)\) is the particular type of the adopted potential, and the criterion for the appearance of oscillations in the wavefunctions is given by equation (5).
Combining equations (5) and (8), we find a general condition for oscillatory intervals in the solutions of the radial Schrödinger equation (7) for any of the potentials \(V(x)\) previously mentioned:
where the integers \(n\geq1\) and \(0\leq\ell\leq n1\) are the first two quantum numbers. Therefore, the adopted potential will exhibit oscillatory wavefunctions (or, at the very least, a distinct nonmonotonic behavior) only in the intervals in which it is more negative than the critical potential \(V_{n\ell}^{*}(x)\). Specifically, in the ground state with \(n=1\) and \(\ell= 0\), the critical potential takes the simple form
but the \(n=1\) wavefunction is nodeless and thus nonoscillatory (see Section 3). The lowestorder state that is expected to exhibit an oscillatory profile is the second excited state with \(n=3\) and \(\ell= 0\) whose wavefunction develops two radial nodes (equation (15)). For this state, the critical potential is \(\frac {1}{3}V_{10}^{*}(x)\), that is, less negative by a factor of 3 than the critical potential of the ground state.
On the other end of the spectrum, the wavefunctions of highly excited states with large values of n and lowtomoderate values of ℓ will certainly exhibit oscillations since, for \(n\gg1\) and \(\ell\ll \sqrt{n}\), the condition for oscillations (16) reduces asymptotically to \(V(x) < 0\), which is automatically satisfied for attractive electrostatic potentials. In the same case, however, the wavefunctions are expected to become nonoscillatory for \(\ell\geq n2\) because for the two largest values of ℓ, the solutions of the radial Schrödinger equation (7) are not expected to have enough radial nodes (see equation (15) in Section 3).
References
 1.
Whittaker, ET, Watson, GN: A Course of Modern Analysis, 3rd edn. Cambridge University Press, Cambridge (1920)
 2.
Hartman, P: Ordinary Differential Equations. Wiley, New York (1964)
 3.
Agarwal, RP, Grace, SR, O’Regan, D: Oscillation Theory for Second Order Linear, HalfLinear, Superlinear and Sublinear Dynamic Equations. Kluwer Academic, Dordrecht (2002)
 4.
Wong, JSW: On secondorder nonlinear oscillation. Funkc. Ekvacioj 11, 207234 (1968)
 5.
Christodoulou, DM, GrahamEagle, J, Katatbeh, QD: A program for predicting the intervals of oscillations in the solutions of ordinary secondorder linear homogeneous differential equations. Adv. Differ. Equ. (2016). doi:10.1186/s136620160774x (CGK)
 6.
Abramowitz, M, Stegun, IA: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover, New York (1972)
 7.
Flügge, S: Practical Quantum Mechanics. Springer, Berlin (1994)
 8.
Ledoux, V, Van Daele, M, Vanden Berghe, G: CP methods and the evaluation of negative energy Coulomb Whittaker functions. J. Comput. Appl. Math. 183, 168176 (2005)
 9.
Noble, CJ: Evaluation of negative energy Coulomb (Whittaker) functions. Comput. Phys. Commun. 159, 5562 (2004)
 10.
Hall, RL, Katatbeh, QD: Spectral bounds for the Hellmann potential. Phys. Lett. A 287, 183186 (2001)
 11.
Hall, RL, Katatbeh, QD: Spectral bounds for the cutoff Coulomb potential. Phys. Lett. A 294, 163167 (2002)
 12.
Ciftci, H, Hall, RL, Katatbeh, QD: Coulomb plus powerlaw potentials in quantum mechanics. J. Phys. A 36, 70017007 (2003)
Acknowledgements
During this research project, DMC and JGE were supported by the University of Massachusetts Lowell, whereas QDK was on a sabbatical visit and was fully supported by the Jordan University of Science and Technology.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors drafted the manuscript, and they read and approved the submitted version.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Katatbeh, Q.D., Christodoulou, D.M. & GrahamEagle, J. The intervals of oscillations in the solutions of the radial Schrödinger differential equation. Adv Differ Equ 2016, 47 (2016). https://doi.org/10.1186/s1366201607777
Received:
Accepted:
Published:
MSC
 34A25
 34A30
 81Q05
Keywords
 oscillations
 secondorder linear differential equations
 analytical theory
 transformations
 Schrödinger differential equation
 Kummer’s differential equation
 Whittaker differential equation