Research Article  Open Access
Wide Effectiveness of a Sine Basis for QuantumMechanical Problems in Dimensions
Abstract
It is shown that the spanning set for provided by the eigenfunctions of the particle in a box in quantum mechanics provides a very effective variational basis for more general problems. The basis is scaled to , where and are then used as variational parameters. What is perhaps a natural basis for quantum systems confined to a spherical box in turns out to be appropriate also for problems that are softly confined by Ushaped potentials, including those with strong singularities at . Specific examples are discussed in detail, along with some bound boson systems.
1. Introduction
We contrast two types of confinement for quantum systems, namely, confinement in a finite impenetrable box and soft confinement by means of a Ushaped potential. The simplest example is provided by pair of rather different problems in dimension , namely, the particle in a box and the harmonic oscillator in . We use the orthonormal basis of the box problem to approximate states of the oscillator. We will refer to this basis as a sine basis since the are scaled shifted versions of the eigenfunctions for the unit box . Although the box functions are complete for the Hilbert space , they cannot represent the oscillator’s Hermite functions exactly. However, every is also a member of the Hilbert space . This observation allows us to use the sine functions as variational trial functions for the oscillator. The question remains as to what box size to use. This is answered by treating as a variational parameter and minimizing the upper energy estimates with respect to . For example, we show in Section 2 that by using a sine basis of dimension , and optimizing over , we can estimate the first eigenvalues of the oscillator for with error less than .
In this paper we demonstrate that for problems which are softly confined, or confined to a box whose size is greater than or equal to , the sine functions indeed provide an effective variational basis. In Section 2 we study the harmonic oscillator and the quartic anharmonic oscillator in dimension. In Section 3, we look at spherically symmetric attractive potentials in , such as the oscillator , the atom , and very singular problems , where , and . Here we employ a sine basis defined on the radial interval , where and are both variational parameters. In Section 4 we study problems that are themselves confined to a finite box [2–12], such as confined oscillators [2, 4, 5] and confined atoms [2, 3, 5, 10]. In Section 5 we apply the variational analysis two specific manyboson systems bound by attractive central pair potentials in one spatial dimension.
2. Problems in
In order to work in , we first consider the solutions to a particleinabox problem confined to the interval . By applying the transformation , we shift the box from the interval to a new interval . This gives us new normalized wave functions: A special case of this shift is given when the endpoints of the box take the values and , with . Then we have the explicit wave functions:
We note that the variational basis is a complete orthonormal set for the space , and a general element can be written as the generalized Fourier series: where , with . This justifies the use of this basis for a variational analysis in which the box endpoints are to be used as variational parameters. We shall also use a finite basis and include one normalization constraint . This constrained minimization of the expectation value with respect to the coefficients is equivalent to solving the matrix eigenvalue problem , where By the RayleighRitz principle [13] for estimating the discrete spectrum of a selfadjoint Schrödinger operator that is bounded below, such as , the eigenvalues of are known to be onebyone upper bounds to the eigenvalues of . These bounds can subsequently be further minimized with respect to and , or with respect to in case .
Furthermore, to simplify the variational analysis we use the linearity of the operator , in order to split the matrix in two parts as follows: where represents the kinetic energy component, and represents the potential energy component. The kinetic component will be the same for any potential, in fact, for the basis we have chosen; the matrix will be diagonal, where the nonzero elements depend strictly on the variational parameters and have analytical exact solution; for example, if we use a box with endpoints , the diagonal elements of are given by , for . This reduces the total number of calculations required to estimate the eigenvalues of .
2.1. The Harmonic Oscillator
It is natural to use the wellknown oscillator problem as a test for our variational analysis, since the oscillator is not confined explicitly and moreover its eigenfunctions span . We take the scaled onedimensional harmonic oscillator with Schrödinger operator . The solutions to this problem are for , where is the corresponding state, the energy of the system, the wave function, the Hermite polynomial of order , and a normalization constant. For this example, we use the basis in (2), with , , to construct the matrix . Here, is regarded as a variational parameter. We then perform a variational analysis using a matrix of dimension , minimizing the eigenvalues over . We obtain the results shown in Table 1. We note that the absolute approximation error is less than for the first 11 eigenvalues. Furthermore, we obtained an error less than for the first eigenvalues. If we choose a larger dimension for the matrix , the approximations have smaller errors, and we can calculate for higher values of as well, but these results come with a higher computational cost and can take a long time.

We can consider the energy levels as functions of the parameter and fixed . Figure 1 represents the graph of the eigenvalues of versus the variational parameter with fixed again, for the first states. We can see that these graphs are shaped and flat near the minima. If is large enough, the shaped graphs become even flatter; this means that if we take any value of in this flat region, we will end up with good approximations for the energy levels.
We note that for all calculations in this work, we use the computer algebra software Maple. The advantage of using a program such as this is that it does many of the calculations exactly by using symbolic mathematics; it is only at the end that it resorts to numerical algorithms to solve, for example, the problem of finding the eigenvalues of the Hamiltonian matrix. This minimizes the error obtained in such calculations.
2.2. The Quartic Anharmonic Oscillator
The quartic anharmonic oscillator is another problem in quantum mechanics that has attracted wide interest since Heisenberg studied it in 1925. We consider the special case given by the Hamiltonian . Simon [14] wrote an extensive review of this problem and Banerjee et al. [1] calculated the eigenvalues of using specific scaled basis depending on the harmonic properties of the corresponding eigenfunctions. Analogously to the previous section, we have performed a variational analysis, in this case, using a matrix of dimension and minimizing the eigenvalues over . The results are exhibited in Table 2.

We note that with a basis of size only , the approximation error is of the order of for the first five states, and then it grows. This problem is solved by taking a larger in order to reduce the error.
3. Problems in
In order to work in higher dimensions where , we need to transform the problem from cartesian coordinates into a more suitable system. This approach has been studied in depth by Sommerfeld [15]. We let and transform it into spherical coordinates obtaining where . Then the wave function will now be given by with being the spherically symmetric factor, and the hyperspherical harmonic factor, where .
Given a spherically symmetric potential in a dimensional space, using the above tools and following, for example, the work by Hall et al. [16], we get the following radial Schrödinger equation: Defining the radial wave function we rewrite (8) as with effective potential This analysis allows us to work in higher dimensions whenever we consider spherically symmetric potentials.
3.1. The Harmonic Oscillator
Using the transformation above, we can work with the harmonic oscillator in higher dimensions, . A radial Schrödinger operator is given now by , where is defined as in (11) and . The energy values for this problem are given by where denotes the angularmomentum quantum number for the dimensional problem. The effective potential for this problem has a weak singularity and we have found that the variational basis (1) is suitable for such problems, with fixed and as the remaining variational parameter. However, we do find some difficulty in dimension when : for this specific case, we obtain the effective potential . The singular term makes the potential tend to when is close to as shown in Figure 2. This is not an inherent feature of the problem but indicates a failure of the effective potential representation when and : the solution to the difficulty is simply to use (8) as the radial differential equation for this particular case.
We approximate the energy values for the harmonic oscillator in dimensions and quantum number . We use a matrix of dimension and minimize the eigenvalues of over . The results are shown in Table 3.

If we increase the dimension of the matrix, we see that the error in the calculations decreases, although the computer time spent increases considerably. Another example is that of approximating the energy values for the harmonic oscillator in dimensions and quantum number this time for a larger dimension . We used a matrix of dimension and minimized the eigenvalues of over . The results are shown in Table 4.

3.2. The Hydrogenic Atom
We consider now a special case of the hydrogenic atom in dimension , that is to say a Schrödinger operator given by , with as in (11) and . The energy levels for the model hydrogenic atom in this case are given by where , and . Since this problem is weakly singular, we use the same basis as in the previous example. We calculate approximations to the energy values for the case when , using a matrix of dimension minimizing the eigenvalues of over . The results are shown in Table 5.

We see here that the approximation error is larger than . There are two problems that arise in this analysis. First, computations are very slow in this problem due to its singular nature and the number of calculations needed. Second, the hydrogen atom has energy levels that are squeezed together as grows; meanwhile its wave functions are very spreadout and quite different from those of the particleinabox problem. This confirms what we would expect on general grounds that the sine basis is not suitable for unconfined atomic problems.
3.3. Some Very Singular Problems in
Problems involving highly singular potentials are difficult to solve exactly, but they often provide soft confinement and may be expected to yield to a variational analysis in the sine basis. Test problems are provided by quasiexactly solvable problems. By this it is meant that it is possible to find a part of the energy spectrum exactly, provided that some parameters of the potential satisfy certain conditions. Dong and Ma [17] and Hall et al. [16] studied the potential in . For this work we assume the case where , and . Then, for this anharmonic singular problem we have the explicit Hamiltonian operator defined by The exact solution for the ground state is given [16] by subject to the constraint . In order to test the sine basis by using a variational analysis for this problem, we considered the exact solutions for the groundstate energy in two particular cases: first when and second, when , . Since these problems are highly singular, and we are considering radial functions, we need to consider two variational parameters, namely, the boundaries of the basis interval, . Thus, we use the basis given by (1) to obtain the matrix . In this case we need to minimize the eigenvalues with respect to and . For we have the potential The groundstate energy is given by . We used a matrix of size and found that the best result was the approximation , with minimizing parameters and . For the case where and we now have the potential The groundstate energy is given by . And our approximation is , where , and the variational parameters that give the minimum value are and . Even if we have a singular problem, if its potential is shaped, we can get upper bounds for the energy levels with a small error. For the sine variational basis, the approximations obtained for the upper bound have smaller errors than some of the accurate calculations obtained in the references mentioned above.
4. Confined Quantum Systems
We can think of this variational approach as if we were confining the system we wish to study in a box, in fact, the same box as the particleinabox problem that generates the basis. We need only to choose the optimal size to find the best approximations to the energy levels. This opens up the possibility to study confined systems themselves, provided the basis box size is less than or equal to the size of the confining box. The study of these confined quantum systems has been of interest in recent years, for example, in the early work of AguileraNavarro et al. [2], Michels et al. [6], Ciftci et al. [10], AlJaber [8], and Fernández and Castro [9]. The sine basis yields upper bounds for the energy eigenvalues for all . However, we found best results when . This is because the box confinement was dominant for the problems studied. Clearly, with potential confinement and a very large , using an less than would be advantageous, as it is for unconfined problems.
4.1. The Confined Oscillator
The confined oscillator was studied by AguileraNavarro et al. [2] who also used the sine basis, with basis box size equal to that of the confining box, . We confirm their results, as shown in Table 6 for a box size .

4.2. The Confined SineSquared Potential
Various confined trigonometric potentials have been studied earlier, for example, in [18, 19]. We have found that these problems can be treated very effectively by a variational analysis in the sine basis. We consider one case here, namely, the sinesquared potential given [19] by This potential is confined to a box with base of size and height of size , as shown in Figure 3.
By using our variational approach, we immediately obtain the energy eigenvalues exhibited in Table 7 here, corresponding to those in Table 1 of [19]. For a basis of dimension , the result differs by at most . We tabulate the relevant results for . We have studied both a Hamiltonian Matrix of dimension and another of dimension : the difference in the results between these two variational bases was found to be of order at most for and the order of at most for .

4.3. The Confined Atom
In the case of the unconfined hydrogen atom we found that we needed ever bigger boxes for each following state because the wave functions are spreadout. However, the present variational basis is very appropriate for the analysis of confined problems themselves. A hydrogen atom confined to a spherical box has been studied by Varshni [7] and by Ciftci et al. [10]. In [10], the authors found exact solutions for the confined problem given by the Schrödinger equation: with boundary conditions , and . These exact solutions are special for the 3dimensional case. For different quantum numbers, there are specific radii of confinement for which exact solutions are known. These problems provide ideal tests for the effectiveness of the sine basis. Details of these exact solutions may be found in [10]. We obtain the results shown in Table 8 for and the radii required by the available exact solutions. As opposed to what we found in the case of unconfined atomic models, it is clear that the sine basis is very well suited to the corresponding confined problems.

5. The Body Problem
We show in this section that the sine basis can also be effective for the manybody problem. We consider a system of identical bosons that are bound by attractive pair potentials in one spatial dimension. In units in which and , the Hamiltonian for this system, with the centreofmass kinetic energy removed, may be written: By algebraic rearrangement may be written in the compact form: If is the exact normalized ground state for the system corresponding to the energy , then boson symmetry allows the reduction [20, 21] to the expectation of a onebody operator whose spectral bottom, in turn, provides an energy lower bound . We have in general where . Thus for the harmonic oscillator , we find immediately that , which result coincides in this case with the known [22, 23] exact body solution . In order to estimate the groundstate energy from above, we employ a singleproduct trial function of the form This wave function vanishes outside a box of volume in . Before we optimize with respect to the box size , we have in general , where If we apply (25) to the harmonic oscillator , we find that is to say, Another soluble boson problem is that of the attractive delta potential . The exact groundstate energy was found by McGuire [24, 25] and is given by the formula . Meanwhile the lower and upper bounds we obtain, respectively, from (23) and (25) are given by The lower bound of course agrees with the exact solution for . For other numbers of particles, the estimates, just as for the corresponding Coulomb oneparticle problem, are weaker than those for the tightly bound harmonic oscillator. It is also curious that neither bound manages to reproduce the correct dependence exhibited by the exact formula of McGuire and Mattis.
6. Conclusion
If we compare the harmonic oscillator with the hydrogenic atom in three dimensions we see two very different systems from the point of view of stability and the spatial distribution of the respective wave functions. The oscillator is tightly bound and hardly exists outside a ball of radius , whereas the atom is loosely bound and must be considered out to a radius of or more. It is therefore not surprising that the more confined problem, the oscillator, yields to a variational analysis in terms of the sine basis, but the atom does not. The particle in a box is the quintessential confined problem. It generates a basis that at first sight might appear inappropriate for more general problems. We have shown that it is in fact very effective for problems that are either confined by the nature of the potentials involved or are in any case confined by the given boundary conditions. For systems of identical bosons interacting by attractive pair potentials, the boson permutation symmetry induces behaviour close to that of a scaled twobody problem in which the kineticenergy term is multiplied by and the potentialenergy term is multiplied by . We show that the ground state of this manybody problem can be effectively modelled by a product of particleinabox wave functions optimized over the box size .
Acknowledgments
The partial financial support of his research under Grant no. GP3438 from the Natural Sciences and Engineering Research Council of Canada is gratefully acknowledged by R. L. Hall, and A. L. Rodríguez is grateful for a Doctoral Scholarship from CONACyT (Consejo Nacional de Ciencia y Tecnologia, Mexico).
References
 K. Banerjee, S. P. Bhatnagar, V. Choudhry, and S. S. Kanwal, “The anharmonic oscillator,” Proceedings of the Royal Society A, vol. 360, no. 1703, pp. 575–586, 1978. View at: Publisher Site  Google Scholar
 V. C. AguileraNavarro, E. Ley Koo, and A. H. Zimerman, “Perturbative, asymptotic and Padéapproximant solutions for harmonic and inverted oscillators in a box,” Journal of Physics A, vol. 13, no. 12, pp. 3585–3598, 1980. View at: Publisher Site  Google Scholar  MathSciNet
 M. A. Shaqqor and S. M. ALJaber, “A confined hydrogen atom in higher space dimensions,” International Journal of Theoretical Physics, vol. 48, no. 8, pp. 2462–2472, 2009. View at: Publisher Site  Google Scholar
 H. E. Montgomery Jr., G. Campoy, and N. Aquino, “The confined Ndimensional harmonic oscillator revisited,” Physica Scripta, vol. 81, Article ID 045010, 2010. View at: Publisher Site  Google Scholar
 R. L. Hall, N. Saad, and K. D. Sen, “Spectral characteristics for a spherically confined $a/r+b{r}^{2}$ potential,” Journal of Physics. A, vol. 44, no. 18, Article ID 185307, 18 pages, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 A. Michels, J. De Boer, and A. Bijl, “Remarks concerning molecural interaction and their influence on the polarisability,” Physica, vol. 4, no. 10, pp. 981–994, 1937. View at: Google Scholar
 Y. P. Varshni, “Critical cage radii for a confined hydrogen atom,” Journal of Physics B, vol. 31, no. 13, p. 2849, 1998. View at: Publisher Site  Google Scholar
 S. M. AlJaber, “A confined $N$dimensional harmonic oscillator,” International Journal of Theoretical Physics, vol. 47, no. 7, pp. 1853–1864, 2008. View at: Publisher Site  Google Scholar  MathSciNet
 F. M. Fernández and E. A. Castro, “Hypervirial calculation of energy eigenvalues of a bounded centrally located harmonic oscillator,” Journal of Mathematical Physics, vol. 22, no. 8, pp. 1669–1671, 1981. View at: Publisher Site  Google Scholar  MathSciNet
 H. Ciftci, R. L. Hall, and N. Saad, “Study of a confined hydrogenlike atom by the asymptotic iteration method,” International Journal of Quantum Chemistry, vol. 109, no. 5, pp. 931–937, 2009. View at: Publisher Site  Google Scholar
 X.Y. Gu and J.Q. Sun, “Any $\ell $state solutions of the Hulthén potential in arbitrary dimensions,” Journal of Mathematical Physics, vol. 51, no. 2, Article ID 022106, 6 pages, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 D. Agboola, “Dirac equation with spin symmetry for the modified PöschlTeller potential in D dimensions,” Pramana, vol. 76, no. 6, pp. 875–885, 2011. View at: Publisher Site  Google Scholar
 M. Reed and B. Simon, Methods of Modern Mathematical Physics. IV. Analysis of Operators, Academic Press, New York, NY, USA, 1978. View at: MathSciNet
 B. Simon, “Large orders and summability of eigenvalue perturbation theory: a mathematical overview,” International Journal of Quantum Chemistry, vol. 21, no. 1, pp. 3–5, 1992. View at: Publisher Site  Google Scholar
 A. Sommerfeld, Partial Differential Equations in Physics, Academic Press, New York, NY, USA, 1949. View at: MathSciNet
 R. L. Hall, Q. D. Katatbeh, and N. Saad, “A basis for variational calculations in $d$ dimensions,” Journal of Physics, vol. 37, no. 48, Article ID 11629, 2004. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 S.H. Dong and Z.Q. Ma, “Exact solutions to the Schrödinger equation for the potential $V(r)=a{r}^{2}+b{r}^{4}+c{r}^{6}$ in two dimensions,” Journal of Physics. A. Mathematical and General, vol. 31, no. 49, pp. 9855–9859, 1998. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 C.S. Jia, J.Y. Liu, Y. Sun, S. He, and L.T. Sun, “A unified treatment of exactly solvable trigonometric potential models,” Physica Scripta, vol. 73, no. 2, pp. 164–168, 2006. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 H. Ciftci, R. L. Hall, and N. Saad, “Exact and approximate solutions of Schroedinger's equation for a class of trigonometric potentials,” Central European Journal of Physics, vol. 11, no. 1, pp. 37–48, 2013. View at: Publisher Site  Google Scholar
 R. L. Hall, “Complementary pictures of the $N$boson problem,” Physical Review A, vol. 37, pp. 2673–2679, 1988. View at: Publisher Site  Google Scholar
 R. L. Hall, “The groundstate energy of a system of identical bosons,” Journal of Mathematical Physics, vol. 29, no. 4, pp. 990–994, 1988. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 W. M. Houston, “A nuclear model,” Physical Review, vol. 47, no. 12, pp. 942–946, 1935. View at: Publisher Site  Google Scholar
 H. R. Post, “Manyparticle systems: derivation of a shell model,” Proceedings of the Physical Society, vol. 66, no. 7, p. 649, 1953. View at: Publisher Site  Google Scholar
 J. B. McGuire, “Study of exactly soluble onedimensional $N$body problems,” Journal of Mathematical Physics, vol. 5, pp. 622–636, 1964. View at: Publisher Site  Google Scholar  MathSciNet
 D. C. Mattis, The ManyBody Problem: An Encyclopedia of Exactly Solved Models in One Dimension, World Scientific, Singapore, 2009. View at: Publisher Site  MathSciNet
Copyright
Copyright © 2013 Richard L. Hall and Alexandra Lemus Rodríguez. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.