Confluent Supersymmetric Partners of Quantum Systems Emerging from the Spheroidal Equation
Abstract
: We construct confluent supersymmetric partners of quantum systems that emerge from the spheroidal equation. Properties of the systems and of their transformed counterparts are discussed.1. Introduction
The supersymmetry (SUSY) formalism is a method for generating solvable models in quantum mechanics. Mathematically based on the Darboux transformation [1–3], it converts a known quantum system into a transformed counterpart, the so-called SUSY partner. As this formalism is compatible with basically any exactly-solvable quantum model governed by the Schrödinger equation and many systems described by the Dirac equation, a large amount of applications can be found in the literature. An overview and details on the general topic can be found in one of the reviews [4–6] and references therein. The formalism of SUSY can be split into two different versions, commonly referred to as standard and confluent algorithm, respectively. While the vast majority of applications uses the standard algorithm, its confluent counterpart has received considerably less attention. As a consequence, many of its properties are not yet well understood. Recent works on the confluent algorithm include its application to the inverted oscillator [7] and to the Dirac equation for pseudoscalar potentials [8]. Further results concern its equivalence with the zero-mode supersymmetry scheme [9], a representation using a differential formula [10,11] and higher-order confluent SUSY transformations [12]. The purpose of the present note is to apply the confluent SUSY algorithm to models that are governed by the spheroidal equation [13], a particular case of the confluent Heun class [14]. The spheroidal equation has many applications in physics, including a sextic oscillator system with centrifugal barrier [15], a quantum model featuring two Coulombian centers [16], the dynamical theory of zonal tides in a global ocean [17], just to mention a few. While solutions of the spheroidal equation cannot be given in closed form, for certain parameter settings one can construct them through a series expansion in terms of Gegenbauer polynomials [18]. In this work we will construct such series solutions for two systems that are associated with the spheroidal equation. The first system is a generalization of the Mathews-Lakshmanan oscillator [19–21], while the second features a potential of Pöschl-Teller type that contains an aditional cosine term. After obtaining the solutions, we will generate confluent SUSY partners of the two systems. The remainder of this paper is organized as follows. In Section 2 we give a summary of the confluent SUSY algorithm. Section 3 is devoted to the spheroidal equation, the algorithm for the construction of its solutions and a discussion of their properties. In Section 4 the findings are applied to the two particular quantum systems mentioned above, resulting in the generation of their confluent SUSY partner systems.
Implementation notes: All results on spectral values and solutions that are presented subsequently were obtained by implementing the algorithm described in Section 2.2 using MATLAB (The MathWorks, Inc., Natick, MA, USA). Calculations were done at 40-digit precision. All digits of numerical values stated throughout this work are significant.
2. The Confluent SUSY Algorithm
We will now give a brief review of the confluent SUSY formalism. For further details, particularly on spectral design, we refer the reader to [11,22,23] and references therein. We start out by considering an initial equation that has the general form
As an example, let us mention that in the simplest case N = 2 we obtain from Equation (3) a single function u1, given by
Here, the symbol W stands for the Wronskian of the functions in its index. The Equation (5) is a solution of the supersymmetric partner equation to Equation (1), given by
The new potential V1 is linked to its initial counterpart V0 in Equation (1) by means of the following relation [24]
The functions V0 and V1 are usually called supersymmetric partner potentials. There are two principal differences between the confluent SUSY algorithm and its standard counterpart, the first of which contains the transformation order. The confluent algorithm uses a SUSY transformation of order two or higher, while in the conventional case first-order transformations are possible. In other words, there is no first-order confluent SUSY transformation. In applications, such as the recent works in optics [25,26], one must consider SUSY transformations of at least order two, before the confluent SUSY algorithm becomes applicable. The second principal difference between the confluent SUSY algorithm and its standard counterpart lies in the definition of the transformation functions uj, j = 0,…, N − 1, affecting both transformed solution (5) and potential (7). In the standard framework of SUSY each transformation function is a solution of the initial Equation (1), associated to its own factorization energy, while the confluent algorithm requires a single factorization energy and defines the transformation functions through the differential formula Equation (3). Note that the latter functions can also be expressed through an integral representation. Since this representation is equivalent to Equation (3) and for our purposes less convenient, we omit to state it here. Before we conclude this paragraph, let us comment once more on the transformation functions uj, j = 0,…, N − 1. The main purpose of these functions is to render the transformed potential (7) real-valued and free of singularities inside its domain. This condition can be fulfilled if the Wronskian that appears in the denominator of the terms in Equation (7), is free of zeros, which essentially relates to linear independence of the transformation functions. However, in the present models that will be considered in the subsequent sections, we only have access to solutions representing bound states. As a consequence, we do not need to consider transformation functions that are of more general type.
3. The Spheroidal Equation
The spheroidal equation, equipped with boundary conditions of Dirichlet type, can be written in the following way
It is important to point out that the series Equations (10) and (11) are in general divergent. Convergence is guaranteed only if the parameter A in Equation (14) takes a characteristic value A = Aj, j ∈ ℕ ∪ {0}. The algorithm for determining these values, as well as the expansion coefficients in the series Equations (10) and (11), consists of two steps.
Step 1. We solve the recursion (12) with respect to d2/d0, first substituting n = 0 and the second time n = 2. This gives the following two relations
Combining these two relations, we obtain
Now we will modify the right side of this equation. We shift all indices n in Equation (12) up by two, set n = 4, solve for d4/d2, and substitute the result into the right-hand side of Equation (16). An iteration of this process gives rise to the following continued fraction expansion:
We stop this iteration after N > 0 steps by reasoning that dN+2/dN is very small, so we set dN+2/dN = 0. This turns Equation (18) into an algebraic equation that can be solved for the parameter A, yielding approximations for the characteristic values belonging to solutions of even parity. Observe that Equation (18) generally has several solutions, each of which is associated with a characteristic value. Also, the number of solutions increases with the number N of steps that are done. In a similar way we obtain a continued fraction expansion for odd indices:
Step 2. We set d0 = 1. Relation (16) then gives d2, which can be plugged into the recursion relation (12) for n = 2 in order to obtain d4. The continuation of this process yields the following expansion coefficients d6, d8, d10,…. The coefficients for odd indices are constructed in a similar manner, starting out with d1 = 1. The recursion (12) for n = 1 generates d3, which can be substituted into (12) for n = 3 in order to give d5. This iteration produces the subsequent expansion coefficients d7, d9, d11,…. The solutions of the boundary-value problem (8), (9) can now be approximated by plugging the expansion coefficients and the characteristic values into the series representations (10), (11).
4. Applications
We will now use point transformations for converting the spheroidal equation, such that it describes different physically interesting models. In particular, we focus on two systems, featuring a double oscillator potential of Mathews-Lakshmanan type and a generalized trigonometric Pöschl-Teller interaction, respectively.
4.1. A Double Oscillator System
The first model that will be considered here can be generated by means of the following point transformation.
Note that we applied the point transformation (20) to the initial boundary conditions (9) as well, yielding the result Equation (23). The model described by Equations (22) and (23) can be interpreted as the quantum counterpart of a classical system that is governed by the following Lagrangian
The specific form of the kinetic term in Equation (24) can be explained by introducing a position-dependent mass function. This function m and the potential V featured in Equation (24) have the explicit form
The interaction V represents a nonlinear, two-parameter double oscillator, containing a harmonic term and a contribution of Mathews-Lakshmanan type. By virtue of its two parameters µ and q, the potential (25) has several well-known limiting cases, a few of which are listed in Table 1.
Next, we will show that the point transformation (20) preserves orthogonality and normalizability of the bound-state solutions stemming from the initial system (8), (9), as long as we require the solutions of Equations (22) and (23) to be located in the weighted Hilbert space weight function
Let k, l be two nonnegative integers ands let N be a constant. We obtain by combining orthogonality of the Equations (10) and (11) with the point transformation (20) and (26) the following result
Combining the very left and the very right term in this chain of equations, we obtain
Now that we have established orthogonality and normalizability of the solutions, we are able to construct an explicit form for them. First, the point transformation (20) gives
In the next step we substitute the series form (10), (11) for the solutions of the spheroidal Equation (8) into Equation (30). Note that due to the settings (21), the characteristic values of A will translate into discrete spectral values of E, denoted by Ej, j a nonnegative integer. After adding an index for taking into account the bound-state character of the solutions, we obtain
We are now ready to compute confluent SUSY partners of our model (22), (23), the governing equation of which is clearly a special case of Equation (8) for the settings
For the sake of simplicity, here we will restrict ourselves to transformations of second order, given by the relation (5) for N = 2. The principal reason for this restriction lies in the computational effort that is required for the calculation of the transformed potential (7), in particular for the Wronskians and their derivatives. Each function uj, j = 0,…, N − 1, is constructed by means of the algorithm shown in Section 4, such that it is represented by a series of the form (31) or (32). Consequently, Wronskians for values of N ≥ 3 contain at least three of such series including at least their second derivatives. This means a large amount of computational work, especially since we must maintain our prescribed numerical precision. For these reasons, here we prefer to use only the case N = 2 (second-order transformations), but we will get back to this issue below. Now we need two transformation functions u0 and u1, the first of which must be a solution of Equation (22). After determining u0 we can generate u1 by means of Equation (4). While in general we can choose a transformation function u0 for any factorization energy λ, in the present case only bound-state solutions of the series form (31), (32) are available. Next we focus on the function u1 as given in Equation (4). Since v0 must be a solution of Equation (8) for the same energy λ as u0, we can only pick u0 itself or a multiple of it. Note that applying the reduction-of-order method for generating another solution of Equation (8) would lead to integrals of rational functions that feature high-degree polynomials in the denominator. Such integrals can in general not be resolved in closed form. Now we observe that the transformation functions u0 and u1 enter in the potential (7) only through their Wronskian. Consequently, if v0 in Equation (4) and u0 were not linearly independent, we would obtain the same transformed potential as for v0 = 0. For a nonnegative integer j we make the choice
In the Figures 1–4 we display examples of potentials V1 that result from a confluent SUSY transformation of second order. These potentials are obtained from Equation (7) by substituting N = 2 and the Wronskians of the transformation functions u0, u1. Each of the four plots contained in the latter figures shows the initial potential and two of its confluent SUSY partners at the factorization energies λ = E0 and λ = E1, respectively. We chose a variety of parameter settings for µ and q in order to start out from four different shapes of the initial potential.
4.2. A generalized trigonometric Pöschl-Teller system
We will now generate another quantum model from the spheroidal Equation (8). Since the process of construction follows similar steps as in the previous section, we will not give details for all our calculations. This time we employ the following point transformation
We observe that in contrast to the prior system (22), (23), the present governing Equation (36) has standard Schrödinger form. By combining the point transformation (35) with the series (10) and (11), we obtain solutions Ψj, j a nonnegative integer, of bound-state type to our boundary-value problem (36), (37) in the form
Orthogonality and normalizabiliy of these solutions with respect to the Hilbert space can be established similarly to Equations (27)–(29), such that we omit to give details. In order to perform our confluent SUSY transformations, we need to determine factorization functions. This time we will compute second and third-order transformations, such that we need three transformation functions u0, u1 and u2. Note that the computational effort for determining the Wronskians and their derivatives in Equation (7) is significantly lower then in the previous application, because our governing Equation (36) takes a much simpler form when compared to its counterpart (22). Now, for a nonnegative integer j we pick
5. Conclusions
In this work we have constructed confluent SUSY partners of two quantum systems that are related to the spheroidal equation by means of a point transformation. Although our models do not admit closed-form solutions, we can generate SUSY partners through a series representation for them. Since these representations are only available for bound-state type solutions, we are restricted in the choice of transformation functions and factorization energies. Our approach allows for an extension to more general models by varying the point transformation that connects the spheroidal equation and the targeted system.
Acknowledgments
Jie Wang acknowledges Indiana University Northwest Research Support Grant.
PACS classifications: 03.65.Ge, 03.65.Pm
Author Contributions
Jie Wang implemented and tested the algorithm, which was used by Axel Schulze-Halberg to perform calculations. The final version of the manuscript was written in collaboration.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Bagrov, V.G.; Samsonov, B.F. Darboux transformation of the Schrödinger equation. Phys. Part. Nucl. 1997, 28, 374–397. [Google Scholar]
- Darboux, G. Sur une proposition relative aux équations lińeaires. Comptes Rendus Acad. Sci. Paris 1882, 94, 1456–1459. [Google Scholar]
- Matveev, V.B.; Salle, M.A. Darboux Transformations and Solitons; Springer: Berlin, Germany, 1991. [Google Scholar]
- Cooper, F.; Khare, A.; Sukhatme, U. Supersymmetry and Quantum Mechanics. Phys. Rep. 1995, 251, 267–388. [Google Scholar]
- Fernandez, C.; D.J. Supersymmetric quantum mechanics. AIP Conf. Proc. 2010, 1287, 3–36. [Google Scholar]
- Junker, G. Supersymmetric Methods in Quantum and Statistical Physics. Texts and Monographs in Physics; Springer: Heidelberg, Germany, 1996. [Google Scholar]
- Bermudez, D.; Fernandez, C.; D.J. Factorization method and new potentials from the inverted oscillator. Ann. Phys. 2013, 333, 290–306. [Google Scholar]
- Contreras-Astorga, A.; Schulze-Halberg, A. The confluent supersymmetry algorithm for Dirac equations with pseudoscalar potentials. J. Math. Phys. 2014, 55. [Google Scholar] [CrossRef]
- Contreras-Astorga, A.; Schulze-Halberg, A. The generalized zero-mode supersymmetry scheme and the confluent algorithm. Ann. Phys. 2015, 354, 353–364. [Google Scholar]
- Bermudez, D.; Fernandez, C.; D.J.; Fernandez-Garcia, N. Wronskian differential formula for confluent supersymmetric quantum mechanics. Phys. Lett. A 2012, 376, 692–696. [Google Scholar]
- Fernandez, C.; D.J.; Salinas-Hernandez, E. Hyperconfluent third-order supersymmetric quantum mechanics. J. Phys. A 2011, 44. [Google Scholar] [CrossRef]
- Schulze-Halberg, A. Wronskian representation for confluent supersymmetric transformation chains of arbitrary order. Eur. Phys. J. Plus 2013, 128, 68–85. [Google Scholar]
- Slavianov, S.Y.; Lay, W. Special Functions: A Uunified Theory Based on Singularities; Oxford University Press: New York, NY, USA, 2000. [Google Scholar]
- Ronveaux, A. Heun’s Differential Equations; Oxford University Press: New York, NY, USA, 1995. [Google Scholar]
- Raduta, A.A.; Buganu, P. Application of the sextic oscillator with a centrifugal barrier and the spheroidal equation for some X(5) candidate nuclei. J. Phys. G 2013, 40. [Google Scholar] [CrossRef]
- Figueiredo, B.D.B. On some solutions to generalized spheroidal wave equations and applications. J. Phys. A 2002, 35. [Google Scholar] [CrossRef]
- O’Connor, W.P. On the Application of the Spheroidal Wave Equation to the Dynamical Theory of the Long-Period Zonal Tides in a Global Ocean. Proc. Royal Soc. Lond. A 1992, 439, 189–196. [Google Scholar]
- Morse, P.M.; Feshbach, H. Methods of Theoretical Physics; Mc Graw-Hill: New York, NY, USA, 1953; Volume 2. [Google Scholar]
- Mathews, P.M.; Lakshmanan, M. On a unique nonlinear oscillator. Quart. Appl. Math. 1974, 32, 215–218. [Google Scholar]
- Midya, B.; Roy, B. A generalized quantum nonlinear oscillator. J. Phys. A 2009, 42. [Google Scholar] [CrossRef]
- Schulze-Halberg, A.; Morris, J.R. Special function solutions of a spectral problem for a nonlinear quantum oscillator. J. Phys. A 2012, 45. [Google Scholar] [CrossRef]
- Bermudez, D. Algebras de Heisenberg Polinomiales y Ecuaciones de Painleve. Ph.D. Thesis, Physics Department, Cinvestav, Mexico, 2013. [Google Scholar]
- Fernandez, C.; D.J.; Salinas-Hernandez, E. Wronskian formula for confluent second-order supersymmetric quantum mechanics. Phys. Lett. A 2005, 338, 13–18. [Google Scholar]
- Schulze-Halberg, A.; Pozdeeva, E.; Suzko, A. Explicit Darboux transformations of arbitrary order for generalized time-dependent Schrödinger equations. J. Phys. A 2009, 42. [Google Scholar] [CrossRef]
- Miri, M.-A.; Heinrich, M.; El-Ganainy, R.; Christodoulides, D.N. Supersymmetric optical structures. Phys. Rev. Lett. 2013, 110. [Google Scholar] [CrossRef]
- Miri, M.-A.; Heinrich, M.; Christodoulides, D.N. SUSY-inspired one-dimensional transformation optics. Optica 2014, 1, 89–95. [Google Scholar]
- Abramowitz, M.; Stegun, I. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables; Dover Publications: New York, NY, USA, 1964. [Google Scholar]
Parameter Setting | Potential | Name of Special Case |
---|---|---|
q = −1, µ → 0 | V0 = 0 | Free particle |
q = 1, µ → 0 | V0 = x2 | Harmonic oscillator |
q = −3, µ → 0 | V0 = − x2 | Inverted harmonic oscillator |
q = 0 | Mathews-Lakshmanan oscillator |
© 2015 by the authors; licensee MDPI, Basel, Switzerland This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/).
Share and Cite
Schulze-Halberg, A.; Wang, J. Confluent Supersymmetric Partners of Quantum Systems Emerging from the Spheroidal Equation. Symmetry 2015, 7, 412-426. https://doi.org/10.3390/sym7020412
Schulze-Halberg A, Wang J. Confluent Supersymmetric Partners of Quantum Systems Emerging from the Spheroidal Equation. Symmetry. 2015; 7(2):412-426. https://doi.org/10.3390/sym7020412
Chicago/Turabian StyleSchulze-Halberg, Axel, and Jie Wang. 2015. "Confluent Supersymmetric Partners of Quantum Systems Emerging from the Spheroidal Equation" Symmetry 7, no. 2: 412-426. https://doi.org/10.3390/sym7020412
APA StyleSchulze-Halberg, A., & Wang, J. (2015). Confluent Supersymmetric Partners of Quantum Systems Emerging from the Spheroidal Equation. Symmetry, 7(2), 412-426. https://doi.org/10.3390/sym7020412