 Research
 Open access
 Published:
Fourth derivative singularly Pstable method for the numerical solution of the Schrödinger equation
Advances in Difference Equations volume 2021, Article number: 506 (2021)
Abstract
In this paper, we construct a method with eight steps that belongs to the family of Obrechkoff methods. Due to the explicit nature of the new method, not only does it not require another method as predictor, but it can also be considered as a suitable predictive technique to be used with implicit methods. Periodicity and error terms are studied when applied to solve the radial Schrödinger equation, considering different energy levels. We show its advantages in terms of accuracy, consistency, and convergence in comparison with other methods of the same order appearing in the literature.
1 Introduction
Our main goal is to discuss the onedimensional radial Schrödinger equation of the form
where \(V(x)\) and E are the potential and energy, respectively. The second additional condition is obtained from the physical meaning of the problem. The numerical solution of equations of type (1) is of special importance for applied scientists, because they appear in many areas of science when formulating natural problems such as in chemical physics and in quantum physics, among others. Since the analytical solution for problem (1) has a special and complex structure, its numerical approximation and the construction of accurate approximation methods are of great importance. In recent years, various methods have been designed by different authors to solve the Schrödinger equation numerically. We will mention a limited number of these methods, such as Runge–Kutta methods [1–12], hybrid methods [21–23], EF and TF methods [13–20].
Since the method we propose here belongs to the category of linear multistep multiderivative methods, we turn our attention to presenting some properties of these methods. Consider the multiderivative symmetric multistep Obrechkoff method defined as
In the case \(\alpha _{j}=\alpha _{kj}\) and \(\beta _{ij}=\beta _{i,kj}\), for \(j=0,1,2,\ldots ,k\), method (2) will be symmetric. Also, its order will be q, provided the truncation error is
in which \(C_{q+2}\) is a constant. To study the properties of stability of a method for solving secondorder differential equations, Lambert and Watson [10] offered the scalar test equation
If we apply (2) to (3), then we have the characteristic equation
in which \(v=\omega h\) and
Definition 1.1
The interval \((0,v_{0}^{2})\) is called the interval of periodicity of method (2) provided for each \(v^{2}\) in this interval (4) has complex roots so that at least two of the roots are on the unit circle and the rest are inside the unit circle. Also, if the interval of periodicity is \((0,\infty )\), then method (2) has the property of Pstability.
In general, if we apply a 2kstep symmetric scheme to (3), its difference equation is obtained in the form
in which \(A_{i}(v)\), \(i=0,1,\ldots ,k\), are polynomials depending on v. In addition, CE (the characteristic equation) corresponding to the difference equation (5) is
Definition 1.2
For any scheme with CE (6), PL (phaselag) is defined as the first term in the expansion of
where \(\theta (v)\) is a real function of v. If we can write \(t=O(v^{q+1})\) as \(v\rightarrow \infty \), then the order of PL is q.
Theorem 1.3
The symmetric 2kstep scheme with CE (6) has PL order q and PL constant c, where
Proof
See [19]. □
Achieving the Pstability in numerical schemes is of great importance because with Pstability property, we can say with confidence that the stepsize constraint is eliminated. In other words, differential equations with extreme oscillations can be easily solved with Pstable methods, and the desired solution can be approximated accurately. Of course, the Pstability property is a general concept and is used for differential equations involving multiple frequencies. The concept of singular Pstability has been applied to problems with only one frequency. So when we exclusively talk about the interval and distinguish it from the periodicity interval, we are, in fact, talking about the same concepts, and there is no difference between the Pstability and the singular Pstability. Indeed, singular Pstability is the same as Pstability with one frequency. On the other hand, given that the Schrödinger equation discussed in this paper has only one frequency, we use the expression singular Pstability. We will show this property in the section devoted to the periodicity analysis.
The paper is organized as follows. Introduction and review of multiderivative methods are presented in Sect. 1. In Sect. 2, we propose the main method, and its coefficients will be produced with a new approach. Periodicity analysis and Schrödinger error coefficient analysis are provided in Sect. 3. Finally, the efficiency of the new scheme is demonstrated in Sect. 4 by implementing the new method on the Schrödinger equation with several energy levels.
2 Development and analysis
2.1 Development
Since the main purpose of this paper is to solve numerically (1) using symmetric multiderivative multistep methods, we consider an eightstep fourthderivative method of the form
where
and \(a_{j}\), \(b_{j}\), \(j=0,1,2,3\), are real constant coefficients that should be computed. It is natural that all the properties and characteristics of any numerical method are deduced from its coefficients. However, the coefficients must be carefully generated in order to achieve superior properties. In this paper, several goals are pursued simultaneously so that we can produce a better and more accurate method. Not only do we want to control the interval of periodicity so that \((0,+\infty )\) is produced, but also we intend to have the Schrödinger error coefficient reduced. Applying the new method (7) to the scalar equation (3), CE of the method (7) will be as follows:
where
Now, to control the interval of periodicity, we will generate the coefficients so that CE of the scheme is
To this end, the polynomials \(A_{1}(v)\), \(A_{2}(v)\), and \(A_{3}(v)\) of the characteristic function must be equal to zero, which produces three equations. On the other hand, because the new method has eight free parameters, we need five more independent linear equations to obtain unique coefficients. Now, to control the Schrödinger error coefficient, suppose that PL and its derivatives up to four are zero. This leads to 8 equations with 8 unknowns. According to Theorem 1.3 with \(k=4\), PL is
Using Maple 18, we have solved this system, and the obtained coefficients are given in Appendix A. The Taylor series expansions of the coefficients are
The local truncation error of (7), namely \(\mathrm{LTE} _{\mathrm{New}}\), is obtained using the usual Taylor series expansion and is given by
Then the local truncation error of the classical form of (7) (the same structure with constant coefficients), namely \(\mathrm{LTE} _{\mathrm{Class}}\), will be
To study the efficiency of the new scheme for solving (1), we have to have its Schrödinger error. To this end, we can transfer (1) to
Now, as per Ixaru and Rizea’s paper [9], \(f(x)\) can be changed to \(f(x)=g(x)+G\), in which \(g(x)=V(x)V_{c}\), and \(V_{c}\) is the constant approximation of the potential and \(G=v^{2}=V_{c}E\) (see [9]).
Theorem 2.1
The Schrödinger error of the new method increases as the second power of G.
Proof
We know that, for any eighth algebraicorder linear multistep method, the general form of the LTEs is given by
where, in the classical case, \(N_{i}\) are constant numbers and in the frequency dependent cases, \(N_{i}\) are functions of v and G, and j is the maximum power of G. Since \(G=V_{c}E\), we can assume two cases according to the values of E:

1.
\(G = V_{c}  E \approx 0\).

2.
\(G\gg 0\) or \(G\ll 0\), where \(G\) has a large value.
If \(G = V_{c}  E \approx 0\), then we have \(G^{r}=0\), \(r=1,2,\ldots \) . Obviously, the method with asymptotic form of LTE, which includes the minimum power of G, is the most accurate one. Now, \(G = V_{c}  E \approx 0\) implies \(\mathrm{LTE}=h^{10}N_{0}\), where \(N_{0}\) in (10) and (11) is \(\frac{326\text{,}687}{5\text{,}670\text{,}000} [\omega ^{10}y_{n}+5\omega ^{8}y^{(2)}_{n}+10 \omega ^{6}y^{(4)}_{n}+10\omega ^{4}y^{(6)}_{n} +5\omega ^{2}y^{(8)}_{n}+y^{(10)}_{n} ]\) and \(\frac{326\text{,}687}{5\text{,}670\text{,}000}y^{(10)}_{n}\), respectively. For the case \(G\gg 0\) or \(G\ll 0\), firstly, we should calculate higher derivatives of y. By simple calculation, we have
etc. Therefore, by substituting the above derivatives in LTE, we can get the Schrödinger error for the new scheme. Hence, the principal term of the Schrödinger error of the new method is
and thus, for this method, the error increases as the second power of G. □
2.2 Periodicity analysis
In order to confidently implement a numerical method on problems, we must have accurate information about how the method behaves. More specifically, we need to know the stability or instability, convergence or divergence of the method and even the maximum step length. For such studies, we must calculate the stability function of the method and then generate the stability region. This helps us to easily compare the proposed method with other methods. To generate the stability area of the scheme, we apply the main method to the problem
and obtain its CE. Note that the frequency used in (12) is different from the frequency used in (3). If we assume \(s=\phi h\) and \(v=\omega h\), then we will produce yaxes with v and xaxis with s in the stability region. Therefore, the proposed method can be used for problems that have two frequencies. Applying (7) to (12), we will have
in which \(v=\omega h\), \(s=\phi h\), and \(A_{i}(s,v)\) are functions of s and v. To save space, \(A_{i}(s,v)\) are given in Appendix B.
As explained at the beginning of this section, the stability function of the new method has two parameters, s and v, each of which is derived from a frequency. We are looking for Pstability of the method to solve more problems with the proposed method. The colored parts in Fig. 1, which is the figure for the stability area of the method, show the stability parts, and the white parts show the instability region of the method. The method will be Pstable when the entire \(sv\) plane is colored. But this is when we talk about twofrequency issues. Since the equation discussed in this paper has one frequency, the concept of Pstability changes to the one of singular Pstability. It is enough that the bisector of the first quarter belongs to the colored part. Hence, the method is singular Pstable. Now we prove the property of singular Pstability in the next theorem algebraically.
Theorem 2.2
The explicit eightstep scheme (7) is singularly Pstable.
Proof
If we take \(s=v\), then CE of (7) can be written as
Since \(\cos (4v)=8\cos ^{4} v8\cos ^{2} v+1\), CE of the new scheme may be rewritten as
Note that (14) is a polynomial of degree eight with real coefficients. So, it has eight roots namely \(\lambda _{i}\), \(i=0,1,2,\ldots ,7\). According to these roots, \(\mathrm{CE}=0\) is equivalent to
If we assume \(\lambda _{2k}=\exp (I\frac{2k\pi }{m} )\exp (Iv)\) (see [22]), where \(k=0,1,2,3\) and \(I=\sqrt{1}\), then
Also, if for \(k=0,1,2,3\) we set \(\lambda _{2k+1}=\exp (I\frac{2k\pi }{m} )\exp (Iv)\), then we have
So, from (15) and (16), the characteristic roots of the new method are obtained as
Clearly, for these roots we have \(\lambda _{0}=\lambda _{1}=1\) and \(\lambda _{i}\leq 1\), \(i=2,3,\ldots ,7\). Accordingly, when \(s=v\), the periodicity interval of the new scheme is equal to \((0,\infty )\), and the method is Pstable. Therefore, it is singularly Pstable. □
Remark 2.3
The characteristic equation (14) is the same as the one obtained in [18, Theorem 5]. To explain this, since to prove the Pstability property of a linear multistep method, we have to show that the characteristic roots have modulus less (or equal) than one. In other words, they must lie in or on the unit circle. Although the structure of the proposed method in [18] is different from the method presented in this paper, we know the characteristic equation of an eightstep linear multistep method is equal to (8), and also its two variable characteristic equation is (13). Singularly Pstability means Pstability when \(s=v\). To generate a system of equations for calculating the coefficients of the method, we have assumed that \(A_{1}(v)\), \(A_{2}(v)\), and \(A_{3}(v)\) are equal to zero and the remaining equations are obtained from vanishing phaselag and some of its derivatives. Now, by substituting \(s=v\) in \(A_{i}(s,v)\), \(i=0,1,2,3,4\), we have \(y_{n+4}+B(v)y_{n}+y_{n4}=0\), where \(B(v)=2(8\cos ^{4} v8\cos ^{2} v+1)\). Hence, the characteristic polynomial will be \(\lambda ^{8}+B(v)\lambda ^{4}+1=0\), and then all characteristic roots are equal or less than one.
3 Numerical results
This section is devoted to implementing the method built on the Schrödinger problem. In order to better judge the quality of the method, we have implemented it on two energy levels \(E=341.495874\) and \(E=989.701916\). We have compared the produced results with those of the other methods which are of the same order as the new one, and we showed the superiority of the new method. Since we need a value ω in numerical implementation, we need to specify this value. Different methods have been proposed in different papers to consider ω. We may mention \(\omega =\sqrt{V(x)E}\) in which \(v(x)\) is the potential; in this article, we will use the Woods–Saxon potential function. The definition of the function V is (see Fig. 2)
Here, in order to implement and produce numerical results of the new method (see [8]), we let
This value is considered for the interval \([0,15]\).
3.1 Schrödinger equationresonance problem
Consider the numerical solution of the radial timeindependent Schrödinger equation (1) in the wellknown case of the Woods–Saxon potential (17). To numerically solve this problem, we should approximate the true or infinite interval of integration by applying a finite interval. Since we need to illustrate our problem numerically, we take the domain of integration as \(x\in [0,15]\). We consider (1) in a relatively large domain of energies, i.e., \(E \in [1,1000]\). When it comes to positive energies, \(E=k^{2}\), the potential fades faster than the term \(\frac{l(l+1)}{x^{2}}\), and the Schrödinger equation effectively reduces to
for x greater than some value X. Equation (18) has two linearly independent solutions \(kxj_{l}(kx)\) and \(kxn_{l}(kx)\), where \(j_{l}\) and \(n_{l}\) are the spherical Bessel and Neumann functions, respectively. When \(x\rightarrow \infty \), the solution takes the asymptotic form
where \(\delta _{ l}\) is called scattering phase shift that may be calculated from the formula
where \(x_{1}\) and \(x_{2}\) are distinct points in the asymptotic region (we choose \(x_{1}\) as the righthand end point of the interval of integration and \(x_{2}=x_{1}h\)) with \(S(x)=kxj_{l}(kx)\) and \(C(x)=kxn_{l} (kx)\). The problem is dealt with as an initial value problem; thus, we have to have \(y_{0}\). We obtain \(y_{0}\) from the initial condition. With these starting values, we evaluate at \(x_{1}\) of the asymptotic region the phase shift \(\delta _{l}\).
For positive energies, we have resonance problem which is comprised either of finding the phaseshift \(\delta _{l}\) or finding those E, for \(E\in [1,1000]\), at which \(\delta _{l}=\frac{\pi }{2}\). We solve the problem when the positive energies lie under potential barrier. The boundary conditions for this problem are
The following methods have been used to compare the new method:

The twelvestep thirteenth algebraicorder method developed by Quinlan and Tremaine [15] which is indicated as I;

The eightstep method with PL and its first derivative equal to zero obtained in [5] which is indicated as II;

The tenstep method with PL and its first, second, and third derivatives equal to zero obtained in [7] which is indicated as III;

The exponentiallyfitted fourstep method developed by Raptis [16] which is indicated as IV;

The eightstep method with PL and its first and second derivative equal to zero obtained in [6] which is indicated as V;

The trigonometricallyfitted sixstep method developed by Wang [22] which is indicated as VI;

The new explicit eightstep singularly Pstable multiderivative method developed in this paper which is indicated as New.
The computed eigenenergies are compared with the exact ones. In Fig. 3, we present the digits of accuracy given by \(\log _{10}(\mathrm{Err})\), where
versus the CPU times for several methods used for calculating the eigenenergy \(E_{2}=341.495874\). In Fig. 4, we present the maximum absolute error \(\log _{10}(\mathrm{Err})\) of the eigenenergy \(E_{3}=989.701916\). In addition, it is pointed out in Fig. 5 that the new method shows a better long time behavior than other ones when applied to the Schrödinger equation for various eigenenergies. All computations were carried out on a PC(i5 @2.67 GHz) using Maple 18 with 16 significant digits accuracy (IEEE standard).
4 Conclusion
By using higherorder derivatives in classical methods and combining them with the system of PL and its derivatives, we were able to create a new highefficiency method (with lower CPU time) that can approximate different types of energy levels of the Schrödinger equation with high accuracy. In fact, by keeping the computation time low, we were able to produce better quality results, which is very important in numerical analysis.
Availability of data and materials
No data were used.
References
Aliev, F.A., Aliev, N.A., Mutallimov, M.M., Namazov, A.A.: Algorithm for solving the identification problem for determining the fractionalorder derivative of an oscillatory system. Appl. Comput. Math. 19(3), 415–422 (2020)
Ashyralyev, A., Erdogan, A.S., Tekalan, S.N.: An investigation on finite difference method for the first order partial differential equation with the nonlocal boundary condition. Appl. Comput. Math. 18(3), 247–260 (2019)
Chawla, M.M., Rao, P.S.: A Numerovtype method with minimal phaselag for the integration of second order periodic initial value problems. II: explicit method. J. Comput. Appl. Math. 15, 329–337 (1986)
Guliyev, V.S., Akbulut, A., Celik, S., Omarova, M.N.: Higher order Riesz transforms related to Schrödinger type operator on local generalized Morrey spaces. TWMS J. Pure Appl. Math. 10(1), 58–75 (2019)
Ibraheem, A., Simos, T.E.: High algebraic order methods with vanished phaselag and its first derivative for the numerical solution of the Schrödinger equation. J. Math. Chem. 48, 925–958 (2010)
Ibraheem, A., Simos, T.E.: Mulitstep methods with vanished phaselag and its first and second derivatives for the numerical integration of the Schrödinger equation. J. Math. Chem. 48, 1092–1143 (2010)
Ibraheem, A., Simos, T.E.: A family of highorder multistep methods with vanished phaselag and its derivatives for the numerical solution of the Schrödinger equation. Comput. Math. Appl. 62, 3756–3774 (2011)
Ixaru, L.G., Rizea, M.: A Numerovlike scheme for the numerical solution of the Schrödinger equation in the deep continuum spectrum of energies. Comput. Phys. Commun. 19, 23–27 (1980)
Ixaru, L.G., Rizea, M.: Comparison of some fourstep methods for the numerical solution of the Schrödinger equation. Comput. Phys. Commun. 38(3), 329–337 (1985)
Lambert, J.D., Watson, I.A.: Symmetric multistep methods for periodic initial value problems. J. Inst. Math. Appl. 18, 189–202 (1976)
Mehdizadeh Khalsaraei, M., Shokri, A.: The new classes of high order implicit sixstep Pstable multiderivative methods for the numerical solution of Schrödinger equation. Appl. Comput. Math. 19(1), 59–86 (2020)
Odibat, Z.: Fractional power series solutions of fractional differential equations by using generalized Taylor series. Appl. Comput. Math. 19(1), 47–58 (2020)
Ozyapici, A., Karanfiller, T.: New integral operator for solution of differential equations. TWMS J. Pure Appl. Math. 11(2), 131–143 (2020)
Panopoulos, G.A., Simos, T.E.: An eightstep semiembedded predictor–corrector method for orbital problems and related IVPs with oscillatory solutions for which the frequency is unknown. J. Comput. Appl. Math. 290, 1–15 (2015)
Quinlan, G.D., Tremaine, S.: Symmetric multistep methods for the numerical integration of planetary orbits. Astron. J. 100(5), 1694–1700 (1990)
Raptis, A.D., Allison, A.C.: Exponentialfitting methods for the numerical solution of the Schrödinger equation. Comput. Phys. Commun. 14(1–2), 1–5 (1978)
Shokri, A.: A new eightorder symmetric twostep multiderivative method for the numerical solution of secondorder IVPs with oscillating solutions. Numer. Algorithms 77(1), 95–109 (2018)
Shokri, A., Neta, B., Mehdizadeh Khalsaraei, M., Rashidi, M.M., MohammadSedighi, H.: A singularly Pstable multiderivative predictor method for the numerical solution of secondorder ordinary differential equations. Mathematics 9(8), 806 (2021)
Simos, T.E., Williams, P.S.: A finitedifference method for the numerical solution of the Schrödinger equation. J. Comput. Appl. Math. 79(2), 189–205 (1997)
Van Daele, M., Vanden Berghe, G.: Pstable exponentially fitted Obrechkoff methods of arbitrary order for second order differential equations. Numer. Algorithms 46, 333–350 (2007)
VigoAguiar, J., Simos, T.E.: Review of multistep methods for the numerical solution of the radial Schrödinger equation. Int. J. Quant. Chem. 103(3), 278–290 (2005)
Wang, Z.: Pstable linear symmetric multistep methods for periodic initialvalue problems. Comput. Phys. Commun. 171(3), 162–174 (2005)
Wang, Z., Zhao, D., Dai, Y., Wu, D.: An improved trigonometrically fitted Pstable Obrechkoff method for periodic initial value problems. Proc. R. Soc. 461, 1639–1658 (2005)
Acknowledgements
It is our duty to express our gratitude to the esteemed referee team who read this article patiently and carefully and helped us to complete this article with their appropriate and intelligent comments.
Funding
No funding available.
Author information
Authors and Affiliations
Contributions
All authors planned the scheme, developed the mathematical modeling, and examined the theory validation. The manuscript was written through the contribution by all authors. All authors discussed the results, reviewed, and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Appendices
Appendix A
Appendix B
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Shokri, A., Ramos, H., Mehdizadeh Khalsaraei, M. et al. Fourth derivative singularly Pstable method for the numerical solution of the Schrödinger equation. Adv Differ Equ 2021, 506 (2021). https://doi.org/10.1186/s13662021036629
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662021036629