Skip to main content

Fourth derivative singularly P-stable method for the numerical solution of the Schrödinger equation


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.


Our main goal is to discuss the one-dimensional radial Schrödinger equation of the form

$$ y''(x)= \biggl(\frac{l(l+1)}{x^{2}}+V(x)-E \biggr)y(x),\qquad y(0)=0, $$

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 [112], hybrid methods [2123], EF and TF methods [1320].

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

$$ \sum_{j=0}^{k}\alpha _{j}y_{n-j+1}=\sum_{i=1}^{l}h^{2i} \sum_{j=0}^{k} \beta _{ij} y_{n-j+1}^{(2i)}. $$

In the case \(\alpha _{j}=\alpha _{k-j}\) and \(\beta _{ij}=\beta _{i,k-j}\), for \(j=0,1,2,\ldots ,k\), method (2) will be symmetric. Also, its order will be q, provided the truncation error is

$$ \mathrm{TE}=C_{q+2}h^{q+2}y^{(q+2)}(\eta ),\quad x_{n-k+1}< \eta < x_{n+1}, $$

in which \(C_{q+2}\) is a constant. To study the properties of stability of a method for solving second-order differential equations, Lambert and Watson [10] offered the scalar test equation

$$ y''=-\omega ^{2}y,\quad \omega \in \mathbb{R}. $$

If we apply (2) to (3), then we have the characteristic equation

$$ \rho (\xi )-\sum_{i=1}^{l}(-1)^{i}v^{2i} \sigma _{i}(\xi )=0, $$

in which \(v=\omega h\) and

$$ \rho (\xi )=\sum_{j=0}^{k}\alpha _{j}\xi ^{k-j}, \qquad \sigma _{i}( \xi )= \sum _{j=0}^{k}\beta _{ij}\xi ^{k-j},\quad i=1,2,\ldots ,l. $$

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 P-stability.

In general, if we apply a 2k-step symmetric scheme to (3), its difference equation is obtained in the form

$$ A_{k}(v) (y_{n+k}+y_{n-k} )+ \cdots +A_{1}(v) (y_{n+1}+y_{n-1} )+A_{0}(v)y_{n}=0, $$

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

$$ A_{k}(v) \bigl(s^{k}+s^{-k} \bigr)+\cdots +A_{1}(v) \bigl(s+s^{-1} \bigr)+A_{0}(v)=0. $$

Definition 1.2

For any scheme with CE (6), PL (phase-lag) is defined as the first term in the expansion of

$$ t=v-\theta (v), $$

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 2k-step scheme with CE (6) has PL order q and PL constant c, where

$$ -cv^{q+2}+O\bigl(v^{q+4}\bigr)= \frac{\sum_{i=1}^{k}2A_{i}(v)\cos (i v)+A_{0}(v)}{\sum_{i=1}^{k}2i^{2} A_{i}(v)}. $$


See [19]. □

Achieving the P-stability in numerical schemes is of great importance because with P-stability property, we can say with confidence that the step-size constraint is eliminated. In other words, differential equations with extreme oscillations can be easily solved with P-stable methods, and the desired solution can be approximated accurately. Of course, the P-stability property is a general concept and is used for differential equations involving multiple frequencies. The concept of singular P-stability 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 P-stability and the singular P-stability. Indeed, singular P-stability is the same as P-stability 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 P-stability. 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.

Development and analysis


Since the main purpose of this paper is to solve numerically (1) using symmetric multiderivative multistep methods, we consider an eight-step fourth-derivative method of the form

$$ \begin{aligned} y_{n\pm 4}+a_{3}y_{n\pm 3}+a_{2}y_{n\pm 2}+a_{1}y_{n\pm 1}+a_{0}y_{n} &=h^{2} \bigl(b_{3}y''_{n\pm 3}+b_{2}y''_{n\pm 2}+b_{1}y''_{n\pm 1}+b_{0}y''_{n} \bigr) \\ &\quad {}+h^{4} \bigl(c_{3}y^{(4)}_{n\pm 3}+c_{2}y^{(4)}_{n\pm 2}+c_{1}y^{(4)}_{n \pm 1}+c_{0}y^{(4)}_{n} \bigr), \end{aligned} $$


$$\begin{aligned}& c_{3}=\frac{1}{500},\qquad c_{2}=- \frac{1}{500},\qquad c_{1}= \frac{1}{100},\qquad c_{0}=-\frac{1}{250}, \\& y_{n\pm i}=y_{n+i}+y_{n-i},\quad i=1,2,3,4, \end{aligned}$$

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:

$$ A_{4}(v) (y_{n\pm 4})+A_{3}(v) (y_{n\pm 3})+A_{2}(v) (y_{n\pm 2})+A_{1}(v) (y_{n \pm 1})+A_{0}(v)y_{n}=0, $$


$$\begin{aligned}& A_{0}(v) =a_{0}+b_{0}v^{2}+ \frac{1}{250}v^{4}, \\& A_{1}(v) =a_{1}+b_{1}v^{2}- \frac{1}{100}v^{4}, \\& A_{2}(v) =a_{2}+b_{2}v^{2}+ \frac{1}{500}v^{4}, \\& A_{3}(v) =a_{3}+b_{3}v^{2}- \frac{1}{500}v^{4}, \\& A_{4}(v) =1. \end{aligned}$$

Now, to control the interval of periodicity, we will generate the coefficients so that CE of the scheme is

$$ \lambda ^{8}-2\cos (4v)\lambda ^{4}+1=0. $$

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

$$ \mathrm{PL}= \frac{2A_{1}(v)\cos (v)+2A_{2}(v)\cos (2v)+2A_{3}(v)\cos (3v)+2A_{4}(v)\cos (4v)+A_{0}}{2A_{1}(v)+8A_{2}(v)+18A_{3}(v)+32A_{4}(v)}. $$

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

$$\begin{aligned}& a_{0}= -2+\frac{794\text{,}137}{47\text{,}250}v^{2}- \frac{1\text{,}190\text{,}687}{70\text{,}875}v^{4}+ \frac{109\text{,}930\text{,}193}{15\text{,}592\text{,}500}v^{6}- \cdots , \\& a_{1}= -\frac{424\text{,}453}{63\text{,}000}v^{2}+ \frac{108\text{,}841}{13\text{,}500}v^{4}- \frac{56\text{,}802\text{,}077}{15\text{,}592\text{,}500}v^{6}+ \cdots , \\& a_{2}= -\frac{13\text{,}103}{157\text{,}500}v^{2}-\frac{13\text{,}087}{236\text{,}250}v^{4} + \frac{595\text{,}357}{4\text{,}455\text{,}000}v^{6}-\cdots , \\& a_{3}= -\frac{1\text{,}495\text{,}957}{945\text{,}000}v^{2}+ \frac{557\text{,}087}{1\text{,}417\text{,}500}v^{4} - \frac{246\text{,}769}{15\text{,}592\text{,}500}v^{6}+ \cdots , \\& b_{0}= -\frac{38\text{,}137}{47\text{,}250}-\frac{643\text{,}193}{141\text{,}750}v^{2} + \frac{67\text{,}477\text{,}807}{15\text{,}592\text{,}500}v^{4}- \frac{811\text{,}862\text{,}971}{521\text{,}235\text{,}000}v^{6}+ \cdots , \\& b_{1}= \frac{424\text{,}453}{63\text{,}000}-\frac{54\text{,}353}{6750}v^{2} + \frac{56\text{,}802\text{,}077}{15\text{,}592\text{,}500}v^{4}- \frac{77\text{,}581\text{,}573}{90\text{,}090\text{,}000}v^{6}+ \cdots , \\& b_{2}= \frac{13\text{,}103}{157\text{,}500}+\frac{25\text{,}229}{472\text{,}500}v^{2} - \frac{595\text{,}357}{4\text{,}455\text{,}000}v^{4}+\frac{21\text{,}123\text{,}139}{1\text{,}351\text{,}350\text{,}000}v^{6}- \cdots , \\& b_{3}= \frac{1\text{,}495\text{,}957}{945\text{,}000}-\frac{138\text{,}563}{354\text{,}375}v^{2}+ \frac{246\text{,}769}{15\text{,}592\text{,}500}v^{4}-\frac{39\text{,}543\text{,}703}{36\text{,}486\text{,}450\text{,}000}v^{6}- \cdots . \end{aligned}$$

The local truncation error of (7), namely \(\mathrm{LTE} _{\mathrm{New}}\), is obtained using the usual Taylor series expansion and is given by

$$ \begin{aligned} \mathrm{LTE}_{\mathrm{New}}&=-\frac{326\text{,}687}{5\text{,}670\text{,}000}h^{10} \bigl[\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} \bigr] \\ &\quad {}+O \bigl(h^{12} \bigr). \end{aligned} $$

Then the local truncation error of the classical form of (7) (the same structure with constant coefficients), namely \(\mathrm{LTE} _{\mathrm{Class}}\), will be

$$ \mathrm{LTE}_{\mathrm{Class}}=- \frac{326\text{,}687}{5\text{,}670\text{,}000}h^{10}y^{(10)}_{n}+O \bigl(h^{12} \bigr). $$

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

$$ y''=f(x)y(x). $$

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.


We know that, for any eighth algebraic-order linear multistep method, the general form of the LTEs is given by

$$ \mathrm{LTE}=h^{10}\sum_{i=0}^{j}N_{i}G^{i}, $$

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. 1.

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

  2. 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

$$\begin{aligned}& y^{(2)}(x)= \bigl(V(x)-V_{c}+G\bigr)y(x), \\& y^{(4)}(x)= \biggl(\frac{d^{2}}{dx^{2}}V(x) \biggr)y(x)+2 \biggl( \frac{d}{dx}V(x) \biggr) \biggl(\frac{d}{dx}y(x) \biggr)+ \bigl(V (x)- V_{c} + G \bigr) \biggl(\frac{d^{2}}{dx^{2}}y(x) \biggr), \end{aligned}$$

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

$$ \mathrm{Err}_{\mathrm{Sch}}=\frac{326\text{,}687}{354\text{,}375} \biggl( \frac{d^{4}}{dx^{4}}g(x) \biggr)y(x)h^{10}G^{2}, $$

and thus, for this method, the error increases as the second power of G. □

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

$$ y''(x)=-\phi ^{2}y(x) $$

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 y-axes with v and x-axis 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

$$ \sum_{i=1}^{4}A_{i}(s,v) (y_{n+i}+y_{n-i} )+A_{0}(s,v)y_{n}=0, $$

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 P-stability 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 P-stable when the entire \(s-v\) plane is colored. But this is when we talk about two-frequency issues. Since the equation discussed in this paper has one frequency, the concept of P-stability changes to the one of singular P-stability. It is enough that the bisector of the first quarter belongs to the colored part. Hence, the method is singular P-stable. Now we prove the property of singular P-stability in the next theorem algebraically.

Figure 1

The periodicity region of the new scheme

Theorem 2.2

The explicit eight-step scheme (7) is singularly P-stable.


If we take \(s=v\), then CE of (7) can be written as

$$ \mathrm{CE}=\lambda ^{8}-2\lambda ^{4} \bigl(8\cos ^{4} v-8\cos ^{2} v+1 \bigr)+1. $$

Since \(\cos (4v)=8\cos ^{4} v-8\cos ^{2} v+1\), CE of the new scheme may be rewritten as

$$ \mathrm{CE}=\lambda ^{8}-2\lambda ^{4}\cos (4v)+1. $$

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

$$ \prod_{k=0}^{3} (\lambda -\lambda _{2k} ) (\lambda - \lambda _{2k+1} )=0. $$

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

$$ \begin{aligned} &(\lambda _{2k} )^{8}-2\cos (mv) (\lambda _{2k} )^{4}+1 \\ &\quad = \biggl[\exp \biggl(I\frac{2k\pi }{m} \biggr)\exp (Iv) \biggr]^{8}-2 \cos (mv) \biggl[\exp \biggl(I\frac{2k\pi }{m} \biggr) \exp (Iv) \biggr]^{4}+1 \\ &\quad =\exp (I2mv)-2\cos (mv)\exp (Imv)+1 \\ &\quad =0. \end{aligned} $$

Also, if for \(k=0,1,2,3\) we set \(\lambda _{2k+1}=\exp (I\frac{2k\pi }{m} )\exp (-Iv)\), then we have

$$ \begin{aligned} &(\lambda _{2k+1} )^{8}-2\cos (mv) (\lambda _{2k+1} )^{4}+1 \\ &\quad = \biggl[\exp \biggl(I\frac{2k\pi }{m} \biggr)\exp (-Iv) \biggr]^{8}-2 \cos (mv) \biggl[\exp \biggl(I\frac{2k\pi }{m} \biggr) \exp (-Iv) \biggr]^{4}+1 \\ &\quad =\exp (I2mv)-2\cos (mv)\exp (-Imv)+1 \\ &\quad =0. \end{aligned} $$

So, from (15) and (16), the characteristic roots of the new method are obtained as

$$\begin{aligned}& \lambda _{0}=\exp (Iv), \qquad \lambda _{1}=\exp (-Iv),\qquad \lambda _{2}=I \exp (Iv),\qquad \lambda _{3}=I\exp (-iv), \\& \lambda _{4}=-\exp (Iv), \qquad \lambda _{5}=-\exp (-Iv),\qquad \lambda _{6}=-I \exp (Iv),\qquad \lambda _{7}=-I\exp (-iv). \end{aligned}$$

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 P-stable. Therefore, it is singularly P-stable. □

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 P-stability 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 eight-step linear multistep method is equal to (8), and also its two variable characteristic equation is (13). Singularly P-stability means P-stability 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 phase-lag 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_{n-4}=0\), where \(B(v)=-2(8\cos ^{4} v-8\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.

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)

$$ V(x)=u_{0}(1+z)^{-1} \bigl[1-z \bigl(a(1+z) \bigr)^{-1} \bigr],\quad z=e^{\frac{x-x_{0}}{a}}, a = 0.6, x_{0} = 7.0, u_{0} =-50. $$

Here, in order to implement and produce numerical results of the new method (see [8]), we let

$$ \omega = \textstyle\begin{cases} \sqrt{E-50},&0\leq x\leq 6.5-2h, \\ \sqrt{E-37.5},&x=6.5-h, \\ \sqrt{E-25},&x=6.5, \\ \sqrt{E-12.5},&x=6.5+h, \\ \sqrt{E},&6.5+2h\leq x\leq 15. \end{cases} $$

This value is considered for the interval \([0,15]\).

Figure 2

The Woods–Saxon potential

Schrödinger equation-resonance problem

Consider the numerical solution of the radial time-independent Schrödinger equation (1) in the well-known 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

$$ y''(x)= \biggl( \frac{l(l+1)}{x^{2}}-E \biggr)y(x), $$

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

$$\begin{aligned} y(x) \approx & A k x j_{l}(k x)-B k x n_{l} (k x) \\ \approx & D \bigl[\sin (k x-\pi l/2)+\tan (\delta _{ l})\cos (kx- \pi l/2)\bigr], \end{aligned}$$

where \(\delta _{ l}\) is called scattering phase shift that may be calculated from the formula

$$ \tan (\delta _{ l} )= \frac{y(x_{1}) S(x_{2})-y(x_{2}) S(x_{1})}{y(x_{2}) C(x_{1})-y(x_{1}) C(x_{2})}, $$

where \(x_{1}\) and \(x_{2}\) are distinct points in the asymptotic region (we choose \(x_{1}\) as the right-hand 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 phase-shift \(\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

$$ y(0)=0,\qquad y(x)=\cos (\sqrt{E} x)\quad \text{for large }x. $$

The following methods have been used to compare the new method:

  • The twelve-step thirteenth algebraic-order method developed by Quinlan and Tremaine [15] which is indicated as I;

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

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

  • The exponentially-fitted four-step method developed by Raptis [16] which is indicated as IV;

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

  • The trigonometrically-fitted six-step method developed by Wang [22] which is indicated as VI;

  • The new explicit eight-step singularly P-stable 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

$$ \mathrm{Err} = \vert E_{\mathrm{calculated}}-E_{\mathrm{accurate}} \vert , $$

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).

Figure 3

Digits of accuracy versus CPU times (in seconds) for different methods, corresponding to the eigenvalue \(E_{2}=341.495874\)

Figure 4

Digits of accuracy versus CPU times (in seconds) for different methods, corresponding to the eigenvalue \(E_{3}=989.701916\)

Figure 5

Digits of accuracy versus energy levels for different methods


By using higher-order derivatives in classical methods and combining them with the system of PL and its derivatives, we were able to create a new high-efficiency 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.


  1. 1.

    Aliev, F.A., Aliev, N.A., Mutallimov, M.M., Namazov, A.A.: Algorithm for solving the identification problem for determining the fractional-order derivative of an oscillatory system. Appl. Comput. Math. 19(3), 415–422 (2020)

    MATH  Google Scholar 

  2. 2.

    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)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Chawla, M.M., Rao, P.S.: A Numerov-type method with minimal phase-lag for the integration of second order periodic initial value problems. II: explicit method. J. Comput. Appl. Math. 15, 329–337 (1986)

    MathSciNet  Article  Google Scholar 

  4. 4.

    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)

    MathSciNet  MATH  Google Scholar 

  5. 5.

    Ibraheem, A., Simos, T.E.: High algebraic order methods with vanished phase-lag and its first derivative for the numerical solution of the Schrödinger equation. J. Math. Chem. 48, 925–958 (2010)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Ibraheem, A., Simos, T.E.: Mulitstep methods with vanished phase-lag and its first and second derivatives for the numerical integration of the Schrödinger equation. J. Math. Chem. 48, 1092–1143 (2010)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Ibraheem, A., Simos, T.E.: A family of high-order multistep methods with vanished phase-lag and its derivatives for the numerical solution of the Schrödinger equation. Comput. Math. Appl. 62, 3756–3774 (2011)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Ixaru, L.G., Rizea, M.: A Numerov-like scheme for the numerical solution of the Schrödinger equation in the deep continuum spectrum of energies. Comput. Phys. Commun. 19, 23–27 (1980)

    Article  Google Scholar 

  9. 9.

    Ixaru, L.G., Rizea, M.: Comparison of some four-step methods for the numerical solution of the Schrödinger equation. Comput. Phys. Commun. 38(3), 329–337 (1985)

    Article  Google Scholar 

  10. 10.

    Lambert, J.D., Watson, I.A.: Symmetric multistep methods for periodic initial value problems. J. Inst. Math. Appl. 18, 189–202 (1976)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Mehdizadeh Khalsaraei, M., Shokri, A.: The new classes of high order implicit six-step P-stable multiderivative methods for the numerical solution of Schrödinger equation. Appl. Comput. Math. 19(1), 59–86 (2020)

    MathSciNet  MATH  Google Scholar 

  12. 12.

    Odibat, Z.: Fractional power series solutions of fractional differential equations by using generalized Taylor series. Appl. Comput. Math. 19(1), 47–58 (2020)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Ozyapici, A., Karanfiller, T.: New integral operator for solution of differential equations. TWMS J. Pure Appl. Math. 11(2), 131–143 (2020)

    MathSciNet  Google Scholar 

  14. 14.

    Panopoulos, G.A., Simos, T.E.: An eight-step semi-embedded 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)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Quinlan, G.D., Tremaine, S.: Symmetric multistep methods for the numerical integration of planetary orbits. Astron. J. 100(5), 1694–1700 (1990)

    Article  Google Scholar 

  16. 16.

    Raptis, A.D., Allison, A.C.: Exponential-fitting methods for the numerical solution of the Schrödinger equation. Comput. Phys. Commun. 14(1–2), 1–5 (1978)

    Article  Google Scholar 

  17. 17.

    Shokri, A.: A new eight-order symmetric two-step multiderivative method for the numerical solution of second-order IVPs with oscillating solutions. Numer. Algorithms 77(1), 95–109 (2018)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Shokri, A., Neta, B., Mehdizadeh Khalsaraei, M., Rashidi, M.M., Mohammad-Sedighi, H.: A singularly P-stable multi-derivative predictor method for the numerical solution of second-order ordinary differential equations. Mathematics 9(8), 806 (2021)

    Article  Google Scholar 

  19. 19.

    Simos, T.E., Williams, P.S.: A finite-difference method for the numerical solution of the Schrödinger equation. J. Comput. Appl. Math. 79(2), 189–205 (1997)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Van Daele, M., Vanden Berghe, G.: P-stable exponentially fitted Obrechkoff methods of arbitrary order for second order differential equations. Numer. Algorithms 46, 333–350 (2007)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Vigo-Aguiar, 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)

    Article  Google Scholar 

  22. 22.

    Wang, Z.: P-stable linear symmetric multistep methods for periodic initial-value problems. Comput. Phys. Commun. 171(3), 162–174 (2005)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Wang, Z., Zhao, D., Dai, Y., Wu, D.: An improved trigonometrically fitted P-stable Obrechkoff method for periodic initial value problems. Proc. R. Soc. 461, 1639–1658 (2005)

    MathSciNet  Article  Google Scholar 

Download references


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.


No funding available.

Author information




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

Correspondence to Ali Shokri.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.


Appendix A

$$\begin{aligned}& a_{0}= \frac{1}{750v^{2}\sin ^{5}v} \bigl( \bigl(-8v^{5}-6000v^{2} \sin v-3000 \sin v \bigr)\cos ^{8} v \\& \hphantom{a_{0}={}}{} + \bigl(-2v^{5}-12v^{4}\sin v-16\text{,}000v^{3}+6000v \bigr)\cos ^{7} v \\& \hphantom{a_{0}={}}{} -20v^{2} \bigl(v^{3}-1500\sin v \bigr)\cos ^{6} v+ \bigl(5v^{5}+29\text{,}000v^{3}-16\text{,}500v \bigr)\cos ^{5} v \\& \hphantom{a_{0}={}}{} + \bigl( \bigl(3v^{6}-42\text{,}000v^{2}+5250 \bigr)\sin v+70v^{5} \bigr) \cos ^{4} v \\& \hphantom{a_{0}={}}{} + \bigl(6v^{5}+51v^{4}\sin v-22\text{,}500v^{3}+11\text{,}250v \bigr)\cos ^{3} v \\& \hphantom{a_{0}={}}{} + \bigl( \bigl(-6v^{6}-15v^{4}+18\text{,}000v^{2}-2250 \bigr)\sin v-93v^{5} \bigr)\cos ^{2} v \\& \hphantom{a_{0}={}}{} + \bigl(6v^{5}+6v^{4}\sin v+2000v^{3}-750v \bigr)\cos v \\& \hphantom{a_{0}={}}{} +3v^{6}\sin v+6v^{5} \bigr), \\& a_{1}= \frac{1}{3000v^{2}\sin ^{5} v} \bigl( \bigl(32\text{,}000v^{3}-12\text{,}000v \bigr)\cos ^{8} v \\& \hphantom{a_{1}={}}{} + \bigl(72v^{5}-24\text{,}000v^{2}\sin v+18\text{,}000\sin v \bigr) \cos ^{7} v \\& \hphantom{a_{1}={}}{} + \bigl(24v^{5}+96v^{4}\sin v-56\text{,}000v^{3}+21\text{,}000v \bigr)\cos ^{6} v \\& \hphantom{a_{1}={}}{} + \bigl( \bigl(-12v^{4}+30\text{,}000v^{2}-22\text{,}500 \bigr)\sin v-138v^{5} \bigr)\cos ^{5} v \\& \hphantom{a_{1}={}}{} + \bigl( \bigl(-30v^{6}-156v^{4} \bigr)\sin v-66v^{5}+40\text{,}000v^{3}+7500v \bigr)\cos ^{4} v \\& \hphantom{a_{1}={}}{} + \bigl( \bigl(39v^{4}+12\text{,}000v^{2}+2250 \bigr)\sin v+105v^{5} \bigr) \cos ^{3} v \\& \hphantom{a_{1}={}}{} + \bigl( \bigl(60v^{6}-66v^{4} \bigr)\sin v+15v^{5}+5000v^{3}-18\text{,}750v \bigr)\cos ^{2} v \\& \hphantom{a_{1}={}}{} + \bigl( \bigl(18v^{4}-18\text{,}000v^{2}+2250 \bigr)\sin v+96v^{5} \bigr) \cos v \\& \hphantom{a_{1}={}}{} + \bigl(-30v^{6}-9v^{4} \bigr)\sin v-18v^{5}+1500v^{3}+2250v \bigr), \\& a_{2}= \frac{1}{1500v^{2}\sin ^{5} v} \bigl( \bigl(-4000v^{3}+6000v \bigr)\cos ^{7} v \\& \hphantom{a_{2}={}}{} + \bigl(-36v^{5}+9000v^{2}\sin v-4500\sin v \bigr)\cos ^{6} v \\& \hphantom{a_{2}={}}{} + \bigl(-3v^{5}-30v^{4}\sin v+4000v^{3}-15\text{,}000v \bigr)\cos ^{5} v \\& \hphantom{a_{2}={}}{} + \bigl( \bigl(3v^{6}+6v^{4}-16\text{,}500v^{2}+6750 \bigr)\sin v+96v^{5} \bigr)\cos ^{4} v \\& \hphantom{a_{2}={}}{} + \bigl(6v^{5}+51v^{4}\sin v-500v^{3}+9750v \bigr)\cos ^{3} v \\& \hphantom{a_{2}={}}{} + \bigl( \bigl(-6v^{6}-15v^{4}+6000v^{2}-2250 \bigr)\sin v-93v^{5} \bigr)\cos ^{2} v \\& \hphantom{a_{2}={}}{} + \bigl(6v^{5}+6v^{4}\sin v-4000v^{3}-750v \bigr)\cos v \\& \hphantom{a_{2}={}}{} + \bigl(3v^{6}+1500v^{2} \bigr)\sin v+6v^{5} \bigr), \\& a_{3}= \frac{1}{3000v^{2}\sin ^{5} v} \bigl( \bigl(8000v^{3}-3000v \bigr)\cos ^{6} v \\& \hphantom{a_{3}={}}{} + \bigl(22v^{5}-6000v^{2}\sin v+1500\sin v \bigr)\cos ^{5} v \\& \hphantom{a_{3}={}}{} + \bigl( \bigl(-6v^{6}+12v^{4} \bigr)\sin v-2v^{5}-20\text{,}000v^{3}+7500v \bigr)\cos ^{4} v \\& \hphantom{a_{3}={}}{} + \bigl( \bigl(-3v^{4}+12\text{,}000v^{2}-2250 \bigr)\sin v-53v^{5} \bigr) \cos ^{3} v \\& \hphantom{a_{3}={}}{} + \bigl( \bigl(12v^{6}-18v^{4} \bigr)\sin v+5v^{5}+17\text{,}000v^{3}-5250v \bigr)\cos ^{2} v \\& \hphantom{a_{3}={}}{} + \bigl( \bigl(6v^{4}-6000v^{2}+750 \bigr)\sin v+40v^{5} \bigr) \cos v \\& \hphantom{a_{3}={}}{} + \bigl(-6v^{6}-3v^{4} \bigr)\sin v-6v^{5}-3500v^{3}+750v \bigr), \\& b_{0}= \frac{1}{750v^{4}\sin ^{5} v} \bigl( \bigl(8v^{5}-6000v^{2} \sin v+3000 \sin v \bigr)\cos ^{8} v \\& \hphantom{b_{0}={}}{} + \bigl(2v^{5}+12v^{4}\sin v+16\text{,}000v^{3}-6000v \bigr)\cos ^{7} v \\& \hphantom{b_{0}={}}{} +20v^{2} \bigl(v^{3}+300\sin v \bigr)\cos ^{6} v \\& \hphantom{b_{0}={}}{} + \bigl(-5v^{5}-29\text{,}000v^{3}+16\text{,}500v \bigr)\cos ^{5} v \\& \hphantom{b_{0}={}}{} + \bigl( \bigl(-6v^{6}+4500v^{2}-5250 \bigr)\sin v-70v^{5} \bigr) \cos ^{4} v \\& \hphantom{b_{0}={}}{} + \bigl(-6v^{5}-51v^{4}\sin v+22\text{,}500v^{3}-11\text{,}250v \bigr)\cos ^{3} v \\& \hphantom{b_{0}={}}{} + \bigl( \bigl(12v^{6}+15v^{4}-3000v^{2}+2250 \bigr)\sin v+93v^{5} \bigr)\cos ^{2} v \\& \hphantom{b_{0}={}}{} + \bigl(-6v^{5}-6v^{4}\sin v-2000v^{3}+750v \bigr)\cos v \\& \hphantom{b_{0}={}}{} + \bigl(-6v^{6}-1500v^{2} \bigr)\sin v-6v^{5} \bigr), \\& b_{1}= \frac{1}{3000v^{4}\sin ^{5} v} \bigl( \bigl(-32\text{,}000v^{3}+12\text{,}000v \bigr)\cos ^{8} v \\& \hphantom{b_{1}={}}{} + \bigl(-72v^{5}+24\text{,}000v^{2}\sin v-18\text{,}000\sin v \bigr) \cos ^{7} v \\& \hphantom{b_{1}={}}{} + \bigl(-24v^{5}-96v^{4}\sin v+56\text{,}000v^{3}-21\text{,}000v \bigr)\cos ^{6} v \\& \hphantom{b_{1}={}}{} + \bigl( \bigl(12v^{4}-30\text{,}000v^{2}+22\text{,}500 \bigr)\sin v+138v^{5} \bigr)\cos ^{5} v \\& \hphantom{b_{1}={}}{} + \bigl( \bigl(60v^{6}+156v^{4} \bigr)\sin v+66v^{5}-40\text{,}000v^{3}-7500v \bigr)\cos ^{4} v \\& \hphantom{b_{1}={}}{} + \bigl( \bigl(-39v^{4}-12\text{,}000v^{2}-2250 \bigr)\sin v-105v^{5} \bigr)\cos ^{3} v \\& \hphantom{b_{1}={}}{} + \bigl( \bigl(-120v^{6}+66v^{4} \bigr)\sin v-15v^{5}-5000v^{3}+18\text{,}750v \bigr)\cos ^{2} v \\& \hphantom{b_{1}={}}{} + \bigl( \bigl(-18v^{4}+18\text{,}000v^{2}-2250 \bigr)\sin v-96v^{5} \bigr) \cos v \\& \hphantom{b_{1}={}}{} + \bigl(60v^{6}+9v^{4} \bigr)\sin v+18v^{5}-1500v^{3}-2250v \bigr), \\& b_{2}= \frac{1}{1500v^{4}\sin ^{5} v} \bigl( \bigl(4000v^{3}-6000v \bigr)\cos ^{7} v \\& \hphantom{b_{2}={}}{} + \bigl(36v^{5}-9000v^{2}\sin v+4500\sin v \bigr)\cos ^{6} v \\& \hphantom{b_{2}={}}{} + \bigl(3v^{5}+30v^{4}\sin v-4000v^{3}+15\text{,}000v \bigr)\cos ^{5} v \\& \hphantom{b_{2}={}}{} + \bigl( \bigl(-6v^{6}-6v^{4}+16\text{,}500v^{2}-6750 \bigr)\sin v-96v^{5} \bigr)\cos ^{4} v \\& \hphantom{b_{2}={}}{} + \bigl(-6v^{5}-51v^{4}\sin v+500v^{3}-9750v \bigr)\cos ^{3} v \\& \hphantom{b_{2}={}}{} + \bigl( \bigl(12v^{6}+15v^{4}-6000v^{2}+2250 \bigr)\sin v+93v^{5} \bigr)\cos ^{2} v \\& \hphantom{b_{2}={}}{} + \bigl(-6v^{5}-6v^{4}\sin v+4000v^{3}+750v \bigr)\cos v \\& \hphantom{b_{2}={}}{} + \bigl(-6v^{6}-1500v^{2} \bigr)\sin v-6v^{5} \bigr), \\& b_{3}= \frac{1}{3000v^{4}\sin ^{5} v} \bigl( \bigl(-8000v^{3}+3000v \bigr)\cos ^{6} v \\& \hphantom{b_{3}={}}{} + \bigl(-22v^{5}+6000v^{2}\sin v-1500\sin v \bigr)\cos ^{5} v \\& \hphantom{b_{3}={}}{} + \bigl( \bigl(12v^{6}-12v^{4} \bigr)\sin v+2v^{5}+20\text{,}000v^{3}-7500v \bigr)\cos ^{4} v \\& \hphantom{b_{3}={}}{} + \bigl( \bigl(3v^{4}-12\text{,}000v^{2}+2250 \bigr)\sin v+53v^{5} \bigr) \cos ^{3} v \\& \hphantom{b_{3}={}}{} + \bigl( \bigl(-24v^{6}+18v^{4} \bigr)\sin v-5v^{5}-17\text{,}000v^{3}+5250v \bigr)\cos ^{2} v \\& \hphantom{b_{3}={}}{} + \bigl( \bigl(-6v^{4}+6000v^{2}-750 \bigr)\sin v-40v^{5} \bigr) \cos v \\& \hphantom{b_{3}={}}{} + \bigl(12v^{6}+3v^{4} \bigr)\sin v+6v^{5}+3500v^{3}-750v \bigr). \end{aligned}$$

Appendix B

$$\begin{aligned}& A_{0}= \frac{1}{750} \biggl( \bigl( \bigl(-6000v^{4}+ \bigl(-6000s^{2}-3000 \bigr)v^{2}+3000s^{2} \bigr) \sin v+8s^{2}v^{5}-8v^{7} \bigr) \cos ^{8} v \\& \hphantom{A_{0}={}}{} +2v(s-v) (s+v) \bigl(v^{4}+6v^{3}\sin v+8000v^{2}-3000 \bigr)\cos ^{7} v \\& \hphantom{A_{0}={}}{} +20v^{2} \bigl( \bigl(300s^{2}+1500v^{2} \bigr)\sin v+s^{2}v^{3}-v^{5} \bigr)\cos ^{6} v \\& \hphantom{A_{0}={}}{} -5v \bigl(v^{4}+5800v^{2}-3300 \bigr) (s-v) (s+v)\cos ^{5} v \\& \hphantom{A_{0}={}}{} + \bigl( \bigl(3v^{8}-6s^{2}v^{6}+ \bigl(3s^{4}-42\text{,}000 \bigr)v^{4}+ \bigl(4500s^{2}+5250 \bigr)v^{2}-5250s^{2} \bigr)\sin v \\& \hphantom{A_{0}={}}{} -70s^{2}v^{5}+70v^{7} \bigr)\cos ^{4} v \\& \hphantom{A_{0}={}}{} -6(s+v)v \biggl(v^{4}+\frac{17}{2}v^{3}\sin v-3750v^{2}+1875 \biggr) (s-v) \cos ^{3} v \\& \hphantom{A_{0}={}}{} + \bigl( \bigl(-6v^{8}+ \bigl(12s^{2}-15 \bigr)v^{6}+ \bigl(-6s^{4}+15s^{2}+18\text{,}000 \bigr)v^{4} \\& \hphantom{A_{0}={}}{} + \bigl(-3000s^{2}-2250 \bigr)v^{2}+2250s^{2} \bigr)\sin v+93s^{2}v^{5}-93v^{7} \bigr) \cos ^{2} v \\& \hphantom{A_{0}={}}{} -6(s+v)v \biggl(v^{4}+v^{3}\sin v+ \frac{1000}{3}v^{2}-125 \biggr) (s-v) \cos v \\& \hphantom{A_{0}={}}{} +3 \bigl( \bigl(s^{4}v^{2}-2s^{2}v^{4}+v^{6}-500s^{2} \bigr)\sin v-2s^{2}v^{3}+2v^{5} \bigr) v^{2} \biggr)v^{-4}\sin ^{-5} v, \\& A_{1}= -\frac{1}{100} \biggl( \biggl(\frac{3200}{3}v^{3}-400v \biggr) \cos ^{8} v \\& \hphantom{A_{1}={}}{} + \biggl(\frac{12}{5}v^{5}+600\sin v-800v^{2} \sin v \biggr)\cos ^{7} v \\& \hphantom{A_{1}={}}{} + \biggl(-\frac{5600}{3}v^{3}+\frac{16}{5}v^{4} \sin v+\frac{4}{5}v^{5}+700v \biggr)\cos ^{6} v \\& \hphantom{A_{1}={}}{} + \biggl( \biggl(-\frac{2}{5}v^{4}+1000v^{2}-750 \biggr)\sin v- \frac{23}{5}v^{5} \biggr)\cos ^{5} v \\& \hphantom{A_{1}={}}{} + \biggl( \biggl(s^{2}-v^{2}-\frac{26}{5} \biggr)v^{3}\sin v+ \frac{4000}{3}v^{2}+250- \frac{11}{5}v^{4} \biggr)v\cos ^{4} v \\& \hphantom{A_{1}={}}{} + \biggl( \biggl(400v^{2}+\frac{13}{10}v^{4}+75 \biggr)\sin v+ \frac{7}{2}v^{5} \biggr)\cos ^{3} v \\& \hphantom{A_{1}={}}{} -2v \biggl( \biggl(s^{2}-v^{2}+\frac{11}{10} \biggr)v^{3}\sin v- \frac{250}{3}v^{2}+ \frac{625}{2}-\frac{1}{4}v^{4} \biggr)\cos ^{2} v \\& \hphantom{A_{1}={}}{} + \biggl( \biggl(-600v^{2}+75+\frac{3}{5}v^{4} \biggr)\sin v+ \frac{16}{5}v^{5} \biggr)\cos v \\& \hphantom{A_{1}={}}{} +v \biggl( \biggl(s^{2}-v^{2}-\frac{3}{10} \biggr)v^{3}\sin v+50v^{2}+75- \frac{3}{5}v^{4} \biggr) \biggr) (s+v) (s-v)v^{-4}\sin ^{-5}v, \\& A_{2}= \frac{1}{500}(s+v) (s-v) \biggl( \biggl( \frac{4000}{3}v^{3}-2000v \biggr)\cos ^{7} v \\& \hphantom{A_{2}={}}{} + \bigl(12v^{5}-3000v^{2}\sin v+1500\sin v \bigr)\cos ^{6} v \\& \hphantom{A_{2}={}}{} + \biggl(v^{5}-\frac{4000}{3}v^{3}+10v^{4} \sin v+5000v \biggr)\cos ^{5} v \\& \hphantom{A_{2}={}}{} + \bigl( \bigl(-2250-v^{6}+ \bigl(s^{2}-2 \bigr)v^{4}+5500v^{2} \bigr)\sin v-32v^{5} \bigr)\cos ^{4} v \\& \hphantom{A_{2}={}}{} + \biggl(-2v^{5}-17v^{4}\sin v-3250v+ \frac{500}{3}v^{3} \biggr)\cos ^{3} v \\& \hphantom{A_{2}={}}{} + \bigl( \bigl(750+2v^{6}+ \bigl(-2s^{2}+5 \bigr)v^{4}-2000v^{2} \bigr)\sin v+31v^{5} \bigr)\cos ^{2} v \\& \hphantom{A_{2}={}}{} + \biggl(-2v^{5}-2v^{4}\sin v+\frac{4000}{3}v^{3}+250v \biggr)\cos v \\& \hphantom{A_{2}={}}{} +v^{2} \bigl( \bigl(s^{2}v^{2}-v^{4}-500 \bigr)\sin v-2v^{3} \bigr) \biggr)v^{-4}\sin ^{-5}v, \\& A_{3}= -\frac{1}{500}(s+v) (s-v) \biggl( \biggl(-500v+ \frac{4000}{3}v^{3} \biggr)\cos ^{6} v \\& \hphantom{A_{3}={}}{} + \biggl(250\sin v+\frac{11}{3}v^{5}-1000v^{2} \sin v \biggr)\cos ^{5} v \\& \hphantom{A_{3}={}}{} + \biggl(v^{3} \bigl(s^{2}-v^{2}+2 \bigr) \sin v-\frac{10\text{,}000}{3}v^{2}+1250- \frac{1}{3}v^{4} \biggr)v\cos ^{4} v \\& \hphantom{A_{3}={}}{} + \biggl( \biggl(-\frac{1}{2}v^{4}-375+2000v^{2} \biggr)\sin v- \frac{53}{6}v^{5} \biggr)\cos ^{3} v \\& \hphantom{A_{3}={}}{} + \biggl( \bigl(2v^{6}+ \bigl(-2s^{2}-3 \bigr)v^{4} \bigr)\sin v+ \frac{5}{6}v^{5}+ \frac{8500}{3}v^{3}-875v \biggr)\cos ^{2} v \\& \hphantom{A_{3}={}}{} + \biggl( \bigl(v^{4}-1000v^{2}+125 \bigr)\sin v+ \frac{20}{3}v^{5} \biggr)\cos v \\& \hphantom{A_{3}={}}{} + \biggl(v^{3} \biggl(s^{2}-v^{2}- \frac{1}{2} \biggr)\sin v- \frac{1750}{3}v^{2}+125-v^{4} \biggr)v \biggr)v^{-4}\sin ^{-5} v. \end{aligned}$$

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Shokri, A., Ramos, H., Mehdizadeh Khalsaraei, M. et al. Fourth derivative singularly P-stable method for the numerical solution of the Schrödinger equation. Adv Differ Equ 2021, 506 (2021).

Download citation


  • 65L05
  • 65L06
  • 65L20


  • Schrödinger equation
  • Consistency
  • Periodicity
  • P-stability
  • Singularly P-stability