Abstract
We use a methodology of optimization of the efficiency of a hybrid two-step method for the numerical solution of the radial Schrödinger equation and related problems with periodic or oscillating solutions. More specifically, we study how the vanishing of the phase-lag and its derivatives optimizes the efficiency of the hybrid two-step method.
1. Introduction
In this paper, we investigate the numerical solution of systems of second order differential equations of the form while the following initial conditions hold: where is independent of .
Problems for which their models are expressed with the above system of equations can be found in different fields of applied sciences such as astronomy, astrophysics, quantum mechanics, quantum chemistry, celestial mechanics, electronics physical chemistry, and chemical physics (see [1–22]).
The optimization of the efficiency of a numerical method for the numerical solution of the radial Schrödinger equation and related problems with periodic or oscillating solutions is the subject of this paper. More specifically, in this paper, we will investigate how the procedure of vanishing of the phase-lag and its first derivative optimizes, the efficiency of a numerical method. As a result the produced methods via the above procedure, they are very efficient on any problem with periodic or oscillating solutions or on any problem with solution which contains the functions and or any combination of them.
The purpose of this paper is the computation of the coefficients of the proposed hybrid two-step method in order:(1)to have the highest algebraic order,(2)to have the phase-lag vanished,(3)and finally, to have the first derivative of the phase-lag vanished as well.
The procedure of vanishing of the phase lag and its first derivative is based on the direct formula for the determination of the phase-lag for -method (see [3, 23]).
We will investigate the efficiency of the new methodology based on the error analysis and stability analysis of the new proposed method. We will also apply the studied methods to the numerical solution of the radial Schrödinger equation and to related problems.
We will consider a hybrid two-step method of sixth algebraic order. Based on this method, we will develop the new optimized method which is of sixth algebraic order and it has phase-lag and its first derivative equal to zero. We will investigate the stability and the error of the produced method. We will apply the obtained method to the resonance problem of the radial Schrödinger equation. This is one of the most difficult problems arising from the radial Schrödinger equation. The construction of the paper is given below.(i)In Section 2, the phase-lag analysis of symmetric multistep methods is presented.(ii)The development of the new optimized method is presented in Section 3.(iii)The error analysis is presented in Section 4.(iv)The stability analysis of the new produced method is presented in Section 5.(v)The numerical results are presented in Section 6.(vi)Finally, in Section 7, we present some remarks and conclusions.
2. Phase-Lag Analysis of Symmetric Multistep Methods
For the numerical solution of the initial value problem: consider a multistep method with steps which can be used over the equally spaced intervals and , .
If the method is symmetric, then and , .
When a symmetric -step method, that is, for , is applied to the scalar test equation: a difference equation of the form: is obtained, where , is the step length, and , , are polynomials of .
The characteristic equation associated with (2.3) is given by:
Theorem 2.1 (see [3, 23]). The symmetric -step method with characteristic equation given by (2.4) has phase-lag order and phase-lag constant given by
The formula mentioned in the above theorem is a direct method for the computation of the phase-lag of any symmetric -step method.
3. The Family of Hybrid Methods
3.1. The General Family of Methods
Consider the following family of hybrid two-step methods (see [24]):
The above-mentioned method belongs to the families of hybrid (Runge-Kutta type) symmetric two-step methods for the numerical solution of problems of the form . In the above general form, the coefficient and are free parameters. In the above method, is the step size of the integration and is the number of steps, that is, is the approximation of the solution on the point , , and is the initial value point.
3.2. The Optimized Hybrid Method of the Family with Vanished Phase-Lag and Its First Derivative
Consider the method (3.1).
If we apply the method (3.1) to the scalar test equation (2.2), we obtain the difference equation (2.3) with and given by
Requiring the above method to have its phase-lag vanished and by using the formulae (2.5) (for ) and (3.2), we have the following equation:
Demanding the method to have the first derivative of the phase-lag vanished as well, we have the equation: where is the first derivative of the phase-lag.
Requiring now the coefficients of the new proposed method to satisfy the equations (3.3)-(3.4), we obtain the following coefficients of the new developed method:
For some values of , the formulae given by (3.5) are subject to heavy cancellations. In this case, the following Taylor series expansions should be used:
The behaviour of the coefficients is given in the following Figure 1.
(a)
(b)
The local truncation error of the new proposed method (mentioned as ) is given by
4. Error Analysis
We will study the following methods.
4.1. Standard Method (i.e., the Method (3.1) with Constant Coefficients)
It holds that
4.2. New Method with Vanished Phase-Lag and Its First Derivative (Developed in Section 3.2)
It holds that The error analysis is based on the following steps.(i)The radial time independent Schrödinger equation is of the form: (ii)Based on the paper of Ixaru and Rizea [2], the function can be written in the form: where , where is the constant approximation of the potential and .(iii)We express the derivatives , which are terms of the local truncation error formulae, in terms of (4.4). The expressions are presented as polynomials of .(iv)Finally, we substitute the expressions of the derivatives, produced in the previous step, into the local truncation error formulae.
We use the procedure mentioned above and the formulae:
We consider two cases in terms of the value of .(1)The energy is close to the potential, that is, . Consequently, the free terms of the polynomials in are considered only. Thus, for these values of , the methods are of comparable accuracy. This is because the free terms of the polynomials in are the same for the cases of the standard method and of the trigonometrically fitted methods.(2) or . Then is a large number.
Hence, we have the following asymptotic expansions of the Local Truncation Errors.
4.3. Standard Method
It holds that
4.4. New Method with Vanished Phase-Lag and Its First Derivative (Developed in Section 3.2)
It holds that From the above equations, we have the following theorem.
Theorem 4.1. For the standard hybrid two-step method, the error increases as the fourth power of . For the new method with vanished phase-lag and its first derivative (developed in Section 3.2), the error increases as the second power of . So, for the numerical solution of the time independent radial Schrödinger equation, the new method with vanished phase-Lag and its first derivative is much more efficient, especially for large values of .
5. Stability Analysis
Applying the new method to the scalar test equation: we obtain the following difference equation: where where and , .
The corresponding characteristic equation is given by.
Definition 5.1 (see [25]). A symmetric -step method with the characteristic equation given by (2.4) is said to have an interval of periodicity if, for all , the roots satisfy where is a real function of and .
Definition 5.2 (see [25]). A method is called P-stable if its interval of periodicity is equal to .
Definition 5.3. A method is called singularly almost P-stable if its interval of periodicity is equal to (where is a set of distinct points) only when the frequency of the phase fitting is the same as the frequency of the scalar test equation, that is, .
In Figure 2, we present the plane for the method developed in this paper. A shadowed area denotes the region where the method is stable, while a white area denotes the region where the method is unstable.
Remark 5.4. For the solution of the Schrödinger equation, the frequency of the exponential fitting is equal to the frequency of the scalar test equation. So, it is necessary to observe the surroundings of the first diagonal of the plane.
In the case that the frequency of the scalar test equation is equal with the frequency of phase fitting, that is, in the case that (i.e., see the surroundings of the first diagonal of the plane), it is easy to see that the interval of periodicity of the new method developed in Section 3.2 is equal to .
From the above analysis, we have the following theorem.
Theorem 5.5. The method developed in Section 3.2 is of eighth algebraic order, has the phase-lag and its first derivative equal to zero, and has an interval of periodicity equals to .
Based on the analysis presented above, we studied the interval of periodicity of some well-known methods mentioned in the previous paragraph. The results presented in the Table 1.
6. Numerical Results
In order to study the efficiency of the new developed method, we apply it(i)to the radial time-independent Schrödinger equation, and(ii)to a nonlinear orbital problem.
6.1. The Radial Schrödinger Equation
The radial Schrödinger equation can be presented as
The above equation presents the model for a particle in a central potential field where is the radial variable (see [26, 27]).
In (6.1), we have the following terms.(i)The function is called the effective potential. This satisfies as .(ii)The quantity is a real number denoting the energy.(iii)The quantity is a given integer representing the angular momentum.(iv) is a given function which denotes the potential.
We note here that the models which are given via the radial Schrödinger equation are boundary-value problems. In these cases, the boundary conditions are and a second boundary condition, for large values of , determined by physical considerations.
In order to apply the new obtained method to the radial Schrödinger equation, the value of parameter is needed. In (6.1), the parameter is given by where is the potential and is the energy.
6.1.1. Woods-Saxon Potential
We use as a potential the well-known Woods-Saxon potential which can be written as with , and .
The behaviour of Woods-Saxon potential is shown in Figure 3.
It is well known that for some potentials, such as the Woods-Saxon potential, the definition of parameter is given not as a function of but as based on some critical points which have been defined from the investigation of the appropriate potential (see for details [28]).
For the purpose of obtaining our numerical results, it is appropriate to choose as follows (see for details [2, 26]):
For example, in the point of the integration region , the value of is equal to . So, . In the point of the integration region , the value of is equal to , and so forth.
6.1.2. Radial Schrödinger Equation—The Resonance Problem
We consider the numerical solution of the radial Schrödinger equation (6.1) in the well-known case of the Woods-Saxon potential (6.4). In order to solve this problem numerically, we must approximate the true (infinite) interval of integration by a finite interval. For the purpose of our numerical illustration, we take the domain of integration as . We consider equation (6.1) in a rather large domain of energies, that is, .
In the case of positive energies, , the potential decays faster than the term and the Schrödinger equation effectively reduces to for greater than some value .
The above equation has linearly independent solutions and , where and are the spherical Bessel and Neumann functions, respectively. Thus, the solution of equation (6.1) (when ) has the asymptotic form: where is the phase shift that may be calculated from the formula: for and distinct points in the asymptotic region (we choose as the right-hand end point of the interval of integration and ) with and . Since the problem is treated as an initial-value problem, we need before starting a two-step method. From the initial condition, we obtain . The value is obtained by using high-order Runge-Kutta-Nyström methods (see [29–31]). With these starting values, we evaluate at of the asymptotic region the phase shift .
For positive energies, we have the so-called resonance problem. This problem consists either of finding the phase-shift or finding those , for , at which . We actually solve the latter problem, known as the resonance problem.
The boundary conditions for this problem are
We compute the approximate positive eigenenergies of the Woods-Saxon resonance problem using the following.(i)The eighth-order multistep method developed by Quinlan and Tremaine [32], which is indicated as Method QT8.(ii)The tenth-order multistep method developed by Quinlan and Tremaine [32], which is indicated as Method QT10.(iii)The twelfth-order multistep method developed by Quinlan and Tremaine [32], which is indicated as Method QT12.(iv)The fourth-algebraic-order method of Chawla and Rao with minimal phase-lag [33], which is indicated as Method MCR4.(v)The hybrid sixth-algebraic-order method developed by Chawla and Rao with minimal phase-lag [4], which is indicated as Method MCR6.(vi)The standard form of the eighth-algebraic-order method developed in Section 3.2, which is indicated as Method NMCL. (with the term standard we mean the method of Section 3.2 with constant coefficients.)(vii)The new developed hybrid two-step method with vanished phase-lag and its first derivative (obtained in Section 3.2), which is indicated as Method NM.
The computed eigenenergies are compared with reference values (the reference values are computed using the well-known two-step method of Chawla and Rao [4] with small step size for the integration.) In Figures 4 and 5, we present the maximum absolute error , where of the eigenenergies and , respectively, for several values of time (in seconds). We note that the time (in seconds) counts the computational cost for each method.
6.2. A Nonlinear Orbital Problem
Consider the nonlinear system of equations:
The analytical solution of the problem is the following:
The system of equations (6.11) has been solved for and using the methods mentioned in Section 6.1.
For this problem, we have . The numerical results obtained for the seven methods mentioned above were compared with the analytical solution. Figure 6 shows the absolute errors defined by for several values of the CPU time (in seconds).
7. Conclusions
The purpose of this paper was the optimization of the efficiency of a hybrid two-step method for the approximate solution of the radial Schrödinger equation and related problems. We have described how the methodology of vanishing of the phase-lag and its first derivative optimize the behaviour of the specific numerical method. The results of the application of this methodology was a hybrid two-step method that is very efficient on any problem with oscillating solutions or problems with solutions contain the functions and or any combination of them.
From the results presented above, we can make the following remarks.(1)The standard form of the eighth-algebraic-order method developed in Section 3.2, which is indicated as Method NMCL, is more efficient than the fourth-algebraic-order method of Chawla and Rao with minimal phase-lag [33], which is indicated as Method MCR4.(2)The tenth-order multistep method developed by Quinlan and Tremaine [32], which is indicated as Method QT10, is more efficient than the fourth-algebraic-order method of Chawla and Rao with minimal phase-lag [33], which is indicated as Method MCR4. Method QT10 is also more efficient than the eighth-order multistep method developed by Quinlan and Tremaine [32], which is indicated as Method QT8. Finally, Method QT10 is also more efficient than the hybrid sixth-algebraic-order method developed by Chawla and Rao with minimal phase-lag [4], which is indicated as Method MCR6.(3)The twelfth-order multistep method developed by Quinlan and Tremaine [32], which is indicated as Method QT12, is more efficient than the tenth-order, multistep method developed by Quinlan and Tremaine [32], which is indicated as Method QT10.(4)Finally, the new developed hybrid two-step method with vanished phase-lag and its first derivative (obtained in Section 3.2), which is indicated as Method NM, is the most efficient one.
All computations were carried out on an IBM PC-AT compatible 80486 using double-precision arithmetic with 16 significant digits accuracy (IEEE standard).
Acknowledgment
The author wishes to thank the anonymous reviewers for their careful reading of the manuscript and their fruitful comments and suggestions.