Exponentially convergent symbolic algorithm of the functional-discrete method for the fourth order Sturm-Liouville problems with polynomial coefficients
A new symbolic algorithmic implementation of the functional-discrete (FD-) method is developed and justified for the Sturm-Liouville problem on a finite interval in the Hilbert space for the fourth order ordinary differential equation with polynomial coefficients. The sufficient conditions of an exponential convergence rate of the proposed approach are received. The obtained estimates of the absolute errors of FD-method significantly improve the accuracy of the estimates obtained earlier. The proposed algorithm of our method is developed when the potential functions are approximated by the identically zero, and for this case, FD-method can be considered as one of the variants of the homotopy method. Our algorithm is symbolic and operates with the decomposition coefficients of the eigenfunction corrections in some basis. The number of summands in these decompositions depends on the degree of the potential coefficients and the correction number. Our method uses only the algebraic operations and basic operations on column vectors and matrices and does not need solutions of any boundary value problems and computations of any integrals, unlike the previous variants of FD-method. The corrections to eigenpairs are computed exactly as analytical expressions, and we have no rounding errors. The numerical examples illustrate the theoretical results. The numerical results obtained with the FD-method are compared with the numerical test results obtained with other existing numerical techniques.
keywords:Fourth order Sturm-Liouville problems, Eigenvalue problems, Polynomial coefficients, Functional-discrete method, Symbolic algorithm, Exponential convergence rate
Msc: 65L15, 65L20, 65L70, 34B09, 34B24, 34L16, 35G15
Numerical solving the mathematical models of various physical phenomena, in particular, which described by spectral problems, can be reduced to the computationally expensive problems. For example, they are the following: solving stiff ordinary differential equations, solving ill-conditioned systems of linear algebraic equations, computing of large sums and recurrence formulas, execution of time-consuming and complex computations on large data arrays. For the correct solution of such problems, it is necessary to use a high-precision computation (see Bailey2005 (); BaileyBorwein2015 ()), the methods organizing of which involve symbolic computations (see Bailey2016 ()). That is why the development of more efficient and less computationally costly symbolic algorithms for the high-precision analytical methods is an important and vital task today.
There is a great number of numerical methods for Sturm-Liouville problems for the second- and higher-order ordinary differential equations. The analytical methods based on perturbation and homotopy ideas 115_GMR_Arm1979 (); 118_GMR_AllgGeorg1990 (), such as functional-discrete methods from MakarovKlymenko2007 (); GMR-GavrMakPop2010 (); MakRom2014Dir (); MakRom2014DirNeum (); Conf_MakRom2015 (); Conf_Rom2015 (); MakRom2017 (); DemGavrMak2016 (); GavrMakRom2017 (); GavrMakRom20152017 () (compare with Adomian decomposition method 65_Rach2012 (); MRL-Adomian1993 ()), have been widely used for solving the eigenvalue problems. Using these analytical methods the solutions can be found as fast convergent functional series, the properties of the solution of the original problem can be investigated with the approximation solution, and, to top it all, these approaches allow in a natural way the use of computer algebra systems for developing and implementation symbolic-numerical algorithms.
Suggested by V. Makarov Mak1991 () in 1991 and developed by V. Makarov and his disciples, the FD-method enables us to overcome the many disadvantages of the discrete methods such as follows: the accuracy degradation with the increasing of the eigenvalue index; usage of the mesh generated at the start of the numerical process; saturation of accuracy; the number of reliable numerical eigenvalues is limited and depends on a mesh step (see Pryce1993 (); Zhang2015 ()). The main advantages of FD-method are his features, which differ from many other methods: 1) the approach can be applied to operator equations in general form; 2) the approach can be applied also to eigenvalue problems with multiple eigenvalues (see, for example, GavrMakRom20152017 ()); 3) all eigenpairs can be computed in parallel; 4) the convergence rate increases as the index of the eigenpair increases; 5) it was proved that in many cases the FD-method converges exponentially or super-exponentially.
Presented modification of the traditional algorithm of the functional-discrete (FD-) method was proposed in MakarovKlymenko2007 (). The general idea of the symbolic algorithms for FD-method is the representation of the eigenfunction corrections in some basis. Then we obtain recurrence relations for the decomposition coefficients. Finally, our algorithm operates with these decomposition coefficients and, in certain cases, uses only the algebraic operations and does not need solutions of any boundary value problems and computations of any integrals. And more than this, the corrections to eigenpairs are computed exactly as analytical expressions, and we have no rounding errors. But if computational difficulties or memory overflow arise then we can avoid combinatorial explosion. In proposed approach instead of using rational arithmetic we can easily transit to floating–point arithmetic which ”represents an alternative idea: round the computation at every step, not just at the end” (see Trefethen2015 ()).
Briefly described general idea was used for developing and justification of new symbolic algorithms for FD-method for Sturm-Liouville problems on a finite interval for the Schrödinger equation with a polynomial potential in MakRom2014Dir (); MakRom2014DirNeum (); MakRom2017 (), and for several linear differential operators with fractional derivatives in DemGavrMak2016 (); GavrMakRom2017 (). In this article, we use the described idea for the fourth order Sturm-Liouville problem with polynomial coefficients in order for the traditional method from GMR-GavrMakPop2010 (); GavrMakRom20152017 () to be modified and for a new symbolic algorithm of the FD-method to be developed. Note that some of the results of this article were announced in Conf_MakRom2015 (); Conf_Rom2015 (), but unlike the symbolic algorithms from ones, the approach presented below produces explicit recursive formulas for the decomposition coefficients of the representation for the eigenfunctions corrections.
The article is organized as follows. Section 2 deals with the problem statement. Section 3 contains the traditional algorithm of the simplest variant of the FD-method for the case when the potential coefficients are approximated by the identically zero, namely, FD-method is the purely analytical method. In Section 4 a new structural representation of the eigenfunctions corrections is obtained. This representation is used in Section 6 to develop a new symbolic algorithm of the FD-method. The sufficient conditions of an exponential convergence rate of the proposed approach are received in Section 5, and the obtained absolute errors estimates of the FD-method significantly improve the accuracy of the estimates obtained earlier in GMR-GavrMakPop2010 (). The formulas for the proposed new symbolic algorithmic implementation of our method are given in Section 6 and the formulas from appendices A, B, C are directly used in the calculations. The numerical algorithm is given in Section 7. Section 8 illustrates the theoretical results by a numerical examples. The numerical results obtained with the FD-method are compared with the numerical test results obtained with other existing numerical techniques 58_AttiliLesnic2006 (); 25_SyamSiyyam2009 (); HPM2010Ex1 (); HAM2011Ex1 (); 59_Chanane2010 (); RATTANA2013144 () in Examples 1 and 2. A review of the obtained results with implementation features and advantages of our developed numerical method are given in the final Section 9.
2 Problem statement
Let us consider the regular Sturm-Liouville problem in a Hilbert space for the fourth order ordinary differential equation
with the boundary conditions
where is the real constant. The real-valued polynomial coefficients are
where constants , are the positive integer, and , .
3 Traditional algorithm of the simplest variant of the FD-method
In a current article, the simplest variant of the FD-method is applied to the Sturm-Liouville problem (1)–(3). It means that we consider the simplest case of the approximation of potential coefficients (3) by the identically zero
This section contains the traditional algorithm of the FD-method which in this case is the purely analytical method. In this case, FD-method can be considered as one of the variants of the homotopy method (see 118_GMR_AllgGeorg1990 (); 115_GMR_Arm1979 ()), and his idea is closely related to the ideas of the Adomian decomposition method MRL-Adomian1993 (); 65_Rach2012 (). Below the symbolic algorithm for the simplest variant of the FD-method is developed.
Note that in the case when the simplest variant of the FD-method (with , ) is divergent for the smallest eigenvalues of problem (1)–(3), the general scheme of the FD-method (usually) with piecewise-constant approximations to potential coefficients is used. Developing and justification of a symbolic algorithmic implementation of the general scheme of the FD-method for the problem (1)–(3) are slated for the near future.
provided that these series converge. The sufficient conditions for the convergence of the series (4) will be presented later in Section 5. The approximate solution to the problem (1)–(3) is represented by a pair of corresponding truncated series, namely,
which is called an approximation of rank . The summands of series (5) (the corrections to eigenpairs , at the –th step of the FD-method) are the solutions of the following recursive sequence of problems (see GMR-GavrMakPop2010 ())
Using the solvability condition
The initial approximation , is the solution of the so-called base problem, that is,
4 Representation of the corrections to eigenfunctions
The function (15) can be expressed as
where is the Heaviside function, and .
Considering the properties of the problems (6)–(9), (3), of the integral representation (17), of the generalized Green’s function (15), (16) (see Lemma 1), and using the solution of the base problem (14), we prove the assertion by a method of complete induction.
In Lemma 2 the coefficients
are the decomposition coefficients of the eigenfunction corrections in the basis
on interval . Unlike (17), the representation (18) is used below to develop a new symbolic algorithmic implementation of the FD-method, numerical algorithm for which is fully given in Section 7. Exact explicit recursive formulas for these coefficients are found in Section 6 (see (57), (58), (59) and (60)).
5 Convergence of the FD-method
To investigate the convergence of the FD-method, using the integration by parts as well as the representation for the generalized Green’s function by a series (15), we take the expressions (10) and (17) into formulas
Note that the obtained in this Section absolute errors estimates of the FD-method significantly improve the accuracy of the estimates obtained earlier in GMR-GavrMakPop2010 ().
For the eigenvalue corrections one can deduce from (20) the next estimate
It is easy to establish that the following inequalities are correct:
Substituting in (23)
and replacing the new variables by the majorant variables subject to and , we come to the majorant equation
and then, from (22), the next estimate for the eigenvalue corrections
The last part of inequalities (28) and (29) was obtained using the reflections like those from the proof of the Wallis formula (see, e.g., (Fichtenholz1968, , p. 344)). From estimates (28) and (29) follows the next theorem which contains the sufficient conditions of an exponential convergence rate of the FD-method and estimates of its absolute errors.
6 Basic formulas for the symbolic algorithmic implementation of the FD-method
Further, in this section, we describe and develop a new symbolic algorithm of the FD-method for the problem (1)–(3). Note that in this section some formulas of the symbolic algorithm are given in shorthand notations as a matter of convenience in operation. The formulas from Appendices A, B, C are directly used in the calculations. The computer algebra system Maple was used for a software implementation. Unlike the symbolic algorithms from Conf_MakRom2015 (); Conf_Rom2015 (), the approach presented here produces explicit recursive formulas for the coefficients in (18) at the –th step of the FD-method.
Then we change the order of summation in analytical expressions for , , and from (33), and we group together the summands as follows
We arrive at
is the smallest integer greater than or equal to a real number (in the computer algebra system Maple is the function
In order to obtain the expression for we replace in the formula (35)
By a similar way the formula for may be written as
In order to obtain the expression for we replace in the formula (36)
To extract the coefficients of like
in the polynomials , , , (see Appendix A) noted above, we can use the function
coeff with corresponding arguments in Maple. These coefficients are included in the main formulas of the proposed algorithm in Section 7. The expressions for these coefficients involve only the algebraic operations and are represented through the corresponding quantities computed at previous steps of FD-method.
We require that the polynomials in the front of corresponding trigonometric functions and hyperbolic trigonometric functions are equal on the both sides of equation (6), (34). This requirement leads to the two recurrence systems (37), (38) (with the initial conditions (39), (40)) and (41), (42) (with the initial conditions (43), (44)) for the unknown coefficients of representation (18).
The first system is the following:
with the initial conditions
where , , , , .
Here and below denotes the Kronecker delta, is the greatest integer less than or equal to a real number (in the computer algebra system Maple is the function
The second system is the following:
with the initial conditions
where , , , , .
Let us introduce the column vectors: