Abstract

Many authors have studied numerical algorithms for solving the linear systems of pentadiagonal type. The well-known fast pentadiagonal system solver algorithm is an example of such algorithms. The current paper describes new numerical and symbolic algorithms for solving pentadiagonal linear systems via transformations. The proposed algorithms generalize the algorithms presented in El-Mikkawy and Atlan, 2014. Our symbolic algorithms remove the cases where the numerical algorithms fail. The computational cost of our algorithms is better than those algorithms in literature. Some examples are given in order to illustrate the effectiveness of the proposed algorithms. All experiments are carried out on a computer with the aid of programs written in MATLAB.

1. Introduction

The pentadiagonal linear systems, denoted by (PLS), take the following forms: where is pentadiagonal matrix given bywhere and are vectors of length .

This kind of linear systems is well known in the literature [1ā€“11] and often these types of linear systems are widely used in areas of science and engineering, for example, in numerical solution of ordinary and partial differential equations (ODE and PDE), interpolation problems, boundary value problems (BVP), parallel computing, physics, and matrix algebra [4ā€“14]. The authors in [7] have developed an efficient algorithm to find the inverse of a general pentadiagonal matrix. In [8], the author presented an efficient computational algorithm for solving periodic pentadiagonal linear systems. The algorithm depends on the LU factorization of the periodic pentadiagonal matrix. New algorithms are used for solving periodic pentadiagonal linear systems based on the use of any pentadiagonal linear solver. The author described a symbolic algorithm for solving pentadiagonal linear systems [9]. In [10], the authors discussed the general nonsymmetric problem and proposed an algorithm for solving nonsymmetric pentadiagonal Toeplitz linear systems. A fast algorithm for solving a large system with a symmetric Toeplitz pentadiagonal coefficient matrix has been presented [11]. This efficient method depends on the idea of a system perturbation followed by corrections and is competitive with standard methods. In [12], the authors described an efficient computational algorithm and symbolic algorithm for solving nearly pentadiagonal linear systems based on the LU factorization of the nearly pentadiagonal matrix.

In this paper, we introduce more efficient algorithms based on transformations which can be described as a natural generalization of the efficient algorithms in [15].

The current paper is organized as follows. In Section 2, new numerical algorithms for solving a pentadiagonal linear system are presented. New symbolic algorithms for solving a pentadiagonal linear system are constructed in Section 3. In Section 4, three illustrative examples are presented. Conclusions of the work are given in Section 5.

2. Numerical Algorithms for Solving PLS

In this section, we will focus on the construction of new numerical algorithms for computing the solution of pentadiagonal linear system. For this purpose it is convenient to give five vectors , , , , and , whereBy using those vectors together with the suitable elementary row operations, one can see that system (1) may be transformed to the equivalent linear system as follows:The transformed system (8) is easy to solve by a backward substitution. Consequently, the PLS (1) can be solved using Algorithm 1.

ā€ƒā€ƒā€ƒā€ƒTo find the solution of PLS (1) using the transformed system (8), we proceed as follows:
INPUT Order of the matrix and the components , , .
OUTPUT The solution vector .
Stepā€‰ā€‰1. Use DETGPENTA algorithm [14] or DETGPENTA algorithm [16] to check the non-singularity of the coefficient matrix
ā€ƒā€ƒā€ƒof the system (1).
Stepā€‰ā€‰2. If , then Exit and Print Message (ā€œNo solutionsā€) end if.
Stepā€‰ā€‰3. Set , , , and .
Stepā€‰ā€‰4. Set , , , , and .
Stepā€‰ā€‰5. For do
ā€ƒā€ƒā€ƒā€ƒCompute and simplify:
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒEnd do.
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
Stepā€‰ā€‰6. Compute the solution vector using , .
ā€ƒā€ƒā€ƒFor do
ā€ƒā€ƒā€ƒā€‚Compute and simplify:
ā€ƒā€ƒā€ƒā€‚
ā€ƒā€ƒā€ƒEnd do.

The numerical Algorithm 1 will be referred to as PTRANS-I algorithm in the sequel. The computational cost of PTRANS-I algorithm is operations. The conditions , , are sufficient for its validity.

In a similar manner, we may consider five vectors , , , , and , whereNow we will present another algorithm for solving PLS. As in PTRANS-I algorithm, by using the vectors , , , , and , together with the suitable elementary row operations, we see that system (1) may be transformed to the equivalent linear system as follows:The transformed system (14) is easy to solve by a forward substitution. Consequently, the PLS (1) can be solved using Algorithm 2.

ā€ƒā€ƒā€ƒā€‰ā€‰To find the solution of PLS (1) using the transformed system (14), we proceed as follows:
INPUT Order of the matrix and the components , , .
OUTPUT The solution vector .
Stepā€‰ā€‰1. Use DETGPENTA algorithm [14] or DETGPENTA algorithm [16] to check the non-singularity of the coefficient matrix
ā€ƒā€ƒā€ƒof the system (1).
Stepā€‰ā€‰2. If , then Exit and Print Message (ā€œNo solutionsā€) end if.
Stepā€‰ā€‰3. Set , , , and .
Stepā€‰ā€‰4. Set , , , , and .
Stepā€‰ā€‰5. For do
ā€ƒā€ƒā€ƒā€ƒCompute and simplify:
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒEnd do.
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
Stepā€‰ā€‰6. Compute the solution vector using ,ā€‰ā€‰.
ā€ƒā€ƒā€ƒFor do
ā€ƒā€ƒā€ƒā€ƒCompute and simplify:
ā€ƒā€ƒā€ƒā€ƒ
ā€ƒā€ƒā€ƒEnd do.

The numerical Algorithm 2 will be referred to as PTRANS-II algorithm in the sequel. The computational cost of PTRANS-II algorithm is operations. Also, the conditions , , are sufficient for its validity.

If or for any then PTRANS-I and PTRANS-II algorithms fail to solve pentadiagonal linear systems, respectively. So, in the next section, we develop two symbolic algorithms in order to remove the cases where the numerical algorithms fail. The parameter ā€œā€ in the following symbolic algorithms is just a symbolic character. It is a dummy argument and its actual value is zero.

3. Symbolic Algorithms for Solving PLS

In this section, we will focus on the construction of new symbolic algorithms for computing the solution of pentadiagonal linear systems. Algorithm 3 is a symbolic version of PTRANS-I algorithm.

ā€ƒā€ƒā€ƒā€ƒTo find the solution of PLS (1) using the transformed system (8), we proceed as follows:
INPUT Order of the matrix and the components , , .
OUTPUT The solution vector .
Stepā€‰ā€‰1. Use DETGPENTA algorithm [14] or DETGPENTA algorithm [16] to check the non-singularity of the coefficient matrix
ā€ƒā€ƒā€ƒof the system (1).
Stepā€‰ā€‰2. If , then Exit and Print Message (ā€œNo solutionsā€) end if.
Stepā€‰ā€‰3. Set . If then end if.
Stepā€‰ā€‰4. Set , , and .
Stepā€‰ā€‰5. Set . If then end if.
Stepā€‰ā€‰6. Set , , and .
Stepā€‰ā€‰7. For do
ā€ƒā€ƒā€ƒā€ƒCompute and simplify:
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒIf then end if.
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒEnd do.
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ. If then end if.
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ. If then end if.
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
Stepā€‰ā€‰8. Compute the solution vector using , .
ā€ƒā€ƒā€ƒFor do
ā€ƒā€ƒā€ƒā€ƒCompute and simplify:
ā€ƒā€ƒā€ƒā€ƒ
ā€ƒā€ƒā€ƒEnd do.
Stepā€‰ā€‰9. Substitute in all expressions of the solution vector .

The symbolic Algorithm 3 will be referred to as SPTRANS-I algorithm in the sequel.

Algorithm 4 gives the symbolic version of PTRANS-II algorithm.

ā€ƒā€ƒā€ƒā€‰ā€‰To find the solution of PLS (1) using the transformed system (14), we proceed as follows:
INPUT Order of the matrix and the components , , .
OUTPUT The solution vector .
Stepā€‰ā€‰1. Use DETGPENTA algorithm [14] or DETGPENTA algorithm [16] to check the non-singularity of the coefficient matrix
ā€ƒā€ƒā€ƒof the system (1).
Stepā€‰ā€‰2. If , then Exit and Print Message (ā€œNo solutionsā€) end if.
Stepā€‰ā€‰3. Set . If then end if.
Stepā€‰ā€‰4. , , and .
Stepā€‰ā€‰5. Set . If then end if.
Stepā€‰ā€‰6. , , and .
Stepā€‰ā€‰7. For do
ā€ƒā€ƒā€ƒā€ƒCompute and simplify:
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒIf then end if.
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒEnd do.
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ. If then end if.
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ. If then end if.
ā€ƒā€ƒā€ƒ,
ā€ƒā€ƒā€ƒ,
Stepā€‰ā€‰8. Compute the solution vector using ,ā€‰ā€‰.
ā€ƒā€ƒā€ƒFor do
ā€ƒā€ƒā€ƒā€ƒCompute and simplify:
ā€ƒā€ƒā€ƒā€ƒ
ā€ƒā€ƒā€ƒEnd do.
Stepā€‰ā€‰9. Substitute in all expressions of the solution vector .

The symbolic Algorithm 4 will be referred to as SPTRANS-II algorithm in the sequel.

Corollary 1 (generalization version of Corollary 2.1 in [15]). Let be the backward matrix of the pentadiagonal matrix in (2) and be given byThen the backward pentadiagonal linear systemhas the solution , , where is the floor function of and is the solution vector of the linear system (1).

Proof. Consider the permutation matrix defined byFor this matrix, we haveSincethen, using (18) and (19), the result follows.

Corollary 2 (generalization version of Corollary 2.2 in [15]). The determinants of the coefficient matrices and in (2) and (15) are given, respectively, bywhere and satisfy (7) and (13), respectively.

Proof. Using (8), (14) and (19) complete the proof.

4. Illustrative Examples

In this section, we give three examples for the sake of illustration. All experiments were performed in MATLAB R2014a with an Intel Core i7-4700MQ [email protected]ā€‰GHz 2.40ā€‰GHz.

Example 1 (Case I: and for all ). Find the solution of the following pentadiagonal linear system of size 10:Solution. We have ā€‰ā€‰, , , , , , and .

(i)Applying the PTRANS-I algorithm, it yields(a), , , , , , , and ;(b)PTRANS-I = .(ii)Applying the PTRANS-II algorithm, it yields(a), , , , , , , , , and ;(b)PTRANS-II = .

Example 2 (Case II: and for some ). Find the solution of the following pentadiagonal linear system of size 4:Solution. We have ā€‰ā€‰, , , , ,ā€‰ā€‰, and .

The numerical algorithms PTRANS-I and PTRANS-II fail to solve the pentadiagonal linear system (22) since .(i)Applying the SPTRANS-I algorithm, it yields(a), ;(b)SPTRANS-I = , , and .(ii)Applying the SPTRANS-II algorithm, it yields(a), ;(b)SPTRANS-II = .

Example 3. We consider the following pentadiagonal linear system in order to demonstrate the efficiency of Algorithms 3 and 4:

Analytically, one can see that the exact solution of the above system is . In Table 1, we give some comparisons between our proposed algorithm and the state-of-the-art algorithms in literature. Table 1 shows solutions obtained by our proposed algorithms and other algorithms in literature for different sizes. Our obtained results show that our algorithm PTRANS-II gives better absolute error than those algorithms used in comparisons for large values of . Moreover the obtained results indicate that the value of the running time for [9] is small in comparison with other algorithms for large sizes.

5. Conclusion

There are many numerical algorithms that have been used for solving linear systems of pentadiagonal type. All numerical algorithms including the PTRANS-I and PTRANS-II algorithms of the current paper fail to solve the pentadiagonal linear system if and for any . The symbolic algorithms SPTRANS-I and SPTRANS-II of the current paper are constructed in order to remove the cases where the numerical algorithms fail. Using numerical examples we have obtained that SPTRANS-II algorithm works as well as ā€‰ā€‰[9] and (Ay) MATLAB algorithms. Hence, it may become a useful tool for solving linear systems of pentadiagonal type.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to express their extremely gratefulness to the referees and editor for their useful comments and suggestions that improved this paper. This project was supported by King Saud University, Deanship of Scientific Research, College of Science Research Center.