 Research
 Open access
 Published:
On a bivariate spectral relaxation method for unsteady magnetohydrodynamic flow in porous media
SpringerPlus volumeÂ 5, ArticleÂ number:Â 455 (2016)
Abstract
The paper presents a significant improvement to the implementation of the spectral relaxation method (SRM) for solving nonlinear partial differential equations that arise in the modelling of fluid flow problems. Previously the SRM utilized the spectral method to discretize derivatives in space and finite differences to discretize in time. In this work we seek to improve the performance of the SRM by applying the spectral method to discretize derivatives in both space and time variables. The new approach combines the relaxation scheme of the SRM, bivariate Lagrange interpolation as well as the Chebyshev spectral collocation method. The technique is tested on a system of four nonlinear partial differential equations that model unsteady threedimensional magnetohydrodynamic flow and mass transfer in a porous medium. Computed solutions are compared with previously published results obtained using the SRM, the spectral quasilinearization method and the Kellerbox method. There is clear evidence that the new approach produces results that as good as, if not better than published results determined using the other methods. The main advantage of the new approach is that it offers better accuracy on coarser grids which significantly improves the computational speed of the method. The technique also leads to faster convergence to the required solution.
Introduction
This work describes a new approach to the solution of a system of four partial differential equations that model the flow of unsteady threedimensional magnetohydrodynamic flow and mass transfer in porous media. As reported in Hayat etÂ al. (2010), such equations arise in many applications including the aerodynamic extrusion of plastic sheets, the cooling of metallic sheets in a cooling bath and the manufacture of artificial film and fibers. Due to these important applications, many researchers have dedicated time and effort in studying these kind of problems and finding their solutions. The particular model equations considered in this work have been solved in Hayat etÂ al. (2010) using the homotopy analysis method (HAM) and more recently, by Motsa etÂ al. (2014a) using the spectral relaxation method (SRM) and the spectral quasilinearization method (SQLM). The HAM has been used extensively by researchers working on such problems Abbas etÂ al. (2008), Ahmad etÂ al. (2008), Ali and Mehmood (2008), Mehmood etÂ al. (2008), AlizadehPahlavan and Sadeghy (2009), Fan etÂ al. (2010), Xu etÂ al. (2007), You etÂ al. (2010). It is an analytic method for approximating solutions of differential equations developed by Liao (2012). The homotopy analysis method is an analytic method where accuracy and convergence are achieved by increasing the number of terms of the solution series. In some cases, such as when a large embedded physical parameter multiplies the nonlinear terms, far too many terms may be required to give accurate results. Retaining too many terms in the solution series is cumbersome, even with the use of symbolic computing software. The use of the HAM further depends on other arbitrarily introduced parameters such as the convergence controlling parameter which must be carefully selected through a separate procedure.
A popular numerical method used by many researchers to solve unsteady boundary layer flow problems is the Kellerbox method Ali etÂ al. (2010a, b), Lok etÂ al. (2010), Nazar etÂ al. (2004a, b). The Kellerbox method is a finite difference based implicit numerical scheme which was developed by Cebeci and Bradshaw (1984). Recently, Motsa etÂ al. (2014a, b) used spectral based relaxation and quasilinearization schemes to solve unsteady boundary layer problems. These schemes are accurate, easy to implement and are computationally efficient. As observed in Motsa etÂ al. (2014a), the limitation of the spectral quasilinearization method is that the coupled highorder system of differential equations may often lead to very large systems of algebraic equations that may require significant computing resources. In addition, the actual process of developing the solution algorithm is timeconsuming in comparison to SRM. This is because with SQLM, the process begins with the quasilinearization step whereas with SRM the iteration scheme is obtained directly by requiring some terms to be evaluated at the current iteration and others at the previous iteration. The SRM works much like the familiar GaussSeidel iteration by decoupling a system of nonlinear PDEs into a system of linear PDEs which are then solved in succession. Consequently, the SRM is easy to implement and computationally efficient.
Both the original SRM and SQLM used in Motsa etÂ al. (2014a) use finite differences to discretize derivatives in time. This is a disadvantage because finite difference schemes are known to converge slower than spectral methods. The use of finite differences effectively nullifies the benefits of fast convergence when spectral collocation is used to discretize in space. Furthermore, finite differences require fine grids with very small step sizes to guarantee accuracy, hence there is a huge computation time overhead each time the grid is refined. This paper provides a different approach to the implementation of the spectral relaxation method introduced in Motsa etÂ al. (2014a). The innovation is that the spectral collocation method is used to discretize derivatives in both space and time. As a result, there are uniform convergence benefits in both directions. The scheme uses fewer grid points in space and time and thus it converges very fast. We refer to the improved SRM as the bivariate interpolation spectral relaxation method (BISRM). To test the viability of this innovation as a solution method, we have solved the coupled system of third and second order partial differential equations that describe a boundarylayer system. A careful comparison of the new results is made with the earlier SRM, SQLM and the Kellerbox results reported in Motsa etÂ al. (2014a). We particularly compare the computational times for the different methods to reach the same level of accuracy.
Model equations
We consider the unsteady and threedimensional flow of a viscous fluid over a stretching surface investigated by Hayat etÂ al. (2010). The fluid is electrically conducting in the presence of a constant applied magnetic field \({\text {B}}_0\). The induced magnetic field is neglected under the assumption of a small magnetic Reynolds number. The flow is governed by the following four dimensionless partial differential equations
with the following boundary conditions
In the above equations prime denotes the derivative with respect to \(\eta \), c the stretching parameter is a positive constant. M is the local Hartman number, \(\lambda \) the local porosity parameter, Sc the Schmidt number, Pr the Prandtl number and \(\gamma \) the chemical reaction parameter. The initial unsteady solution can be found exactly by setting \(\xi = 0\) in the above equations and solving the resulting equations. The closed form analytical solutions are given by
Bivariate interpolated spectral relaxation method (BISRM)
In this section we introduce the Bivariate Interpolated Spectral Relaxation Method (BISRM) for solving the system of nonlinear partial differential equations (1)â€“(3). Applying the relaxation scheme Motsa etÂ al. (2014a) to the system of nonlinear partial differential equations gives the following linear partial differential equations;
subject to
where the variable coefficients are given by
and r and \(r+1\) denote previous and current iterations respectively. The system of linear partial differential equations (11)â€“(14) is discretised using the Chebyshev spectral collocation both in space (\(\eta \)) and time (\(\xi \)) directions. The Chebyshev collocation method is valid in the domain \([1,1]\) in space and time. Therefore, the physical region, \(\xi \in [0,1]\) is converted to the region \(t \in [1,1]\) using a linear transformation and similarly, \(\eta \in [0,L_{\infty }]\) is converted to the region \(x \in [1,1]\). The system of linear partial differential equations (11)â€“(14) is decoupled. Therefore, each equation can be solved independently of the other equations in the system. We assume that the solution to Eq.Â (11) can be approximated by a bivariate Lagrange interpolation polynomial of the form
which interpolates \(f(\eta ,\xi )\) at selected points in both the \(\eta \) and \(\xi \) directions defined by
The Chebyshevâ€“Gaussâ€“Lobatto grid points (17) ensures that there is a simple conversion of the continuous derivatives, in both space and time, to discrete derivatives at the grid points. The characteristic Lagrange cardinal polynomial \(L_p(x)\) is defined as
where
Similarly, we define the function \(L_j(t)\). EquationÂ (16) is then substituted into Eq.Â (11). An important step in the implementation of the solution procedure is the evaluation of the derivatives of \(L_p(x)\) and \(L_j(t)\) with respect to x and t respectively. The derivative of \(f(\eta ,\xi )\) with respect to \(\xi \) at the Chebyshevâ€“Gaussâ€“Lobatto points \((x_s,t_i)\), is computed as
where \(d_{ij} = \frac{dL_j(t_i)}{dt}\) are the entries of the standard first derivative Chebyshev differentiation matrix \({\mathbf{d}} = [d_{ij}]\) of size \((N_t+1)\times (N_t+1)\) as defined in Trefethen (2000) for \(i,j = 0,1,\ldots ,N_t\). Similarly, we compute the derivative of \(f(\eta ,\xi )\) with respect to \(\eta \) at the ChebyshevGaussLobatto points \((x_s,t_i)\), as follows
where \(D_{sp} = \frac{dL_p(x_s)}{dx} \), are the entries of the standard first derivative Chebyshev differentiation matrix of size \((N_x+1)\times (N_x+1)\). Therefore, an nth order derivative with respect to \(\eta \) is given by
The vector \({\mathbf{F}} _{i}\) is defined as
where the superscript T denotes matrix transpose. Collocating using Eqs.Â (24) and (21) on (11), we get
where \(\pmb {\alpha }_{v,r}\) (\(v = 1,2,3\)) is the diagonal matrix of the vector \([\alpha _{v,r}(x_0), \alpha _{v,r}(x_1), \ldots ,\alpha _{v,r}(x_{N_x}) ]^T\) and \({\mathbf{R}} _{1,r} = [R_{1,r}(x_0),R_{1,r}(x_1),\ldots ,R_{1,r}(x_{N_x}) ]^T\). The boundary equations are given by
The initial unsteady solution given by equation (7) corresponds to \( t = t_{N_t} = 1\). Therefore, we evaluate Eq.Â (26) for \(i = 0,1,\ldots ,N_t  1\). Equation (26) can be expressed as
where
and \({\mathbf{F}} _{N_t}\) is the known initial unsteady solution given by equation (7). Imposing boundary conditions for \(i = 0,1,\ldots ,N_t  1\), Eq.Â (28) can be expressed as the following \( N_t(N_x+1) \times N_t(N_x+1)\) matrix system
where
Imposing initial boundary conditions and applying the Chebyshev bivariate collocation as described above on Eqs. (12), (13) and (14) we get
where
and the vectors \({\mathbf{G}} _{N_t}\), \(\pmb {\Theta }_{N_t}\) and \(\pmb {\Phi }_{N_t}\) are the known initial unsteady solutions given by Eqs. (8), (9) and (10) respectively. Imposing boundary conditions for \(i = 0,1,\ldots ,N_t  1\), equations (32), (33) and (34) can be expressed as the following \( N_t(N_x+1) \times N_t(N_x+1)\) matrix system
where
and \({\mathbf{I}} \) is the standard \((N_x+1) \times (N_x+1)\) identity matrix. We obtain the numerical solutions for \(g(\eta ,\xi )\), \(\theta (\eta ,\xi )\) and \(\phi (\eta ,\xi )\) by solving matrix equations (38), (39) and (40) iteratively for \(r = 1,2,\ldots M\), where M is the number of iterations to be used. Equations (8), (9) and (10) are used as initial guesses.
Results and discussion
In this section we present the numerical solutions of the three dimensional unsteady three dimensional magnetohydrodynamic flow and mass transfer in a porous media obtained using the BISQLM algorithm. In our computations the \(\eta \) domain was truncated to \(\eta _{\infty }=20\). This value gave accurate results for all the quantities of physical interest. To get accurate solutions, \(N_x = 60\) collocation points were used to discretize the space variable \(\eta \) and only \(N_t = 10\) collocation points were enough for the time variable \(\xi \).
As earlier mentioned, this problem has been solved before by Motsa etÂ al. (2014a) using the spectral relaxation method (SRM), spectral quasilinearization method (SQLM) and the Kellerbox method. The results from their paper combined with the present results of the BISRM are shown in TableÂ 1. It can be observed from the table that the Kellerbox method takes a significant amount of computational time than the SRM and SQLM. This is because the Kellerbox is entirely based on finite difference schemes while the SRM and SQLM only uses finite differences in the time variable. In the space variable both the SRM and SQLM use spectral method. It is well documented from literature that spectral methods converge very fast when the solution is smooth. This brought about the idea of using spectral methods in both space and time to increase efficiency. The BISRM discretizes both the space and time domains using spectral methods. From the results shown in the table it is evident that the BISRM is by far superior than the other methods in terms of computational time taken to reach the same level of accuracy. In TableÂ 1, we also show the number of grid points required by each of the methods to discretize in time. All the finite difference based discretizations required 2000 grid points compared to the spectral discretization of the BISRM which required only 10 grid points to reach the same level of accuracy.
The grid independence test for the algorithm is shown in Table 2. The skin friction values, Nusselt number and Sherwood numbers are the variables used in carrying out the grid independence test in Table 2.
The residual error graphs of Eqs.Â (1)â€“(3) are presented in Figs.Â 1,Â 2,Â 3 and 4 respectively. In Figs.Â 1 and 2, we observe that the residual error is reduced with an increase in the iterations of the scheme. The rate of reduction of the residual error appears to be linear. The residual error is minimum at \(\xi = 0\) and is increased sharply near 0 until a certain level is reached after which it is almost constant. The residual error appears to be nearly uniform in \(0 < \xi \le 1\) or increases only slightly. It is also observed that the order of magnitude of the residual error can be seen to be small in the \(0 \le \xi \le 1\) interval. Lastly, after only two iterations the residual error appears to be less than 0.01 in the entire range of \(\xi \). The small residual error using only a few iteration points to the accuracy of the method. This error can be decreased at a linear rate with an increase in the number of iterations. The decrease in the error with additional iterations suggests that the iteration scheme converges. It should be noted that when \(\xi = 0\), governing equations reduce to a linear system that can be solved directly using the spectral collocation method with discretization only in \(\eta \) without the use of relaxation and iterations. This explains why the best accuracy is observed at \(\xi = 0\). The near uniformity of the residual error in \(0 < \xi \le 1\) can be attributed to the use of Lagrange polynomial basis functions whose error is known to be uniformly distributed in the interpolating region. We can therefore conclude that the method gives accurate results, the rate of convergence of the method is linear and that the method requires only a few iterations to give very accurate results.
We observe that the residual error for the first iteration appears to be very small in Figs.Â 3 and 4. The residual error is the same for all iterations greater than one. The residual error increases with an increase in \(\xi \). We also observe that the residual error is smaller than the one for f and g even when fewer iterations are used. The observation that the residual error for the momentum and energy is small even for the 1st iteration is perhaps the most interesting finding of the study. This means that when using the proposed approach, the best possible results that can be achieved by the method can be obtained after using just one iteration. Further increase in the number of iterations doesnâ€™t improve the accuracy of the solution. After one iteration of the momentum equations for f and g the energy and mass transfer equations reduce to linear homogeneous equations whose solution appears to be marginally influenced by variations in \(f_r\) and \(g_r\) for \(r > 1\). Since with just one iteration we obtain extremely accurate results for \(\theta \) and \(\phi \), the implication is that in solving for energy and momentum equations for such a problem, it is not necessary to iterate. It is enough to just use the initial approximation. Is is worth noting that the energy and mass transfer equations are homogeneous equations in \(\theta \) and \(\phi \) respectively. It is possible that the findings obtained in this study are only applicable in such equations. This has to be investigated further.
The convergence graphs of Eqs.Â (1)â€“(3) are presented in Figs.Â 5,Â 6 respectively. In Figs.Â 5 and 6, the residual error decreases linearly with an increase in the number of iterations. The residual error is smallest when \(\xi \) is near zero and largest when \(\xi \) is large. This is seen from the convergence level which is near \(10^{20}\) for \(\xi = 0.25\) and about \(10^{15}\) for \(\xi = 0.75\). The slope of the residual error graphs is the same for all values of \(\xi \). Full convergence is achieved after 13 iterations for both \(\xi = 0.75\) and \(\xi = 1\). For \(\xi = 0.25\) full convergence is achieved after 16 iterations but at a much smaller magnitude of residual error. The decrease in the residual error with increase in iterations suggests that the iteration scheme converges. Small residual error near zero suggests that best accuracy (after full convergence) is observed near zero. The method converges (fewer iterations needed to attain full convergence) at or near \(\xi = 1\). However, the convergence efficiency doesnâ€™t translate to better accuracy because, as can be seen for the case of \(\xi \) values near zero, the convergence level is \(10^{16}\). The same slope for all the graphs means that the convergence rates of the method is the same for all values of \(\xi \). The method is convergent and very accurate in whole time domain \(\xi \in [0,1]\) which translates to \(\tau \in [0,\infty )\). The method converges with nearly the same convergence rate for all values of \(\xi \). The method gives the best accuracy near \(\xi = 0\) and less accurate, comparatively, at or near \(\xi = 1\). We note that even at \(\xi = 1\), the method gives very accurate results with a residual error norm of about \(10^{15}\). This is one of the highlights of this investigation.
The accuracy of the solutions for energy and mass transfer equations are not dependent on successive relaxation or iterations of the momentum equations since the convergence of the solutions doesnâ€™t improve at all with an increase in the number of iterations. Hence, the results for \(\theta (\eta )\) are not dependent on successive approximations for \(f(\eta )\) and \(g(\eta )\). It was observed that it is enough to use one iteration of \(f(\eta )\) to give accurate result for \(\theta (\eta )\).
In TableÂ 1, we present the results we obtained using the algorithm. The skin friction values, Nusselt number and Sherwood number for various values of \(\xi \) are displayed in TableÂ 1. The results obtained using the method match those obtained using other methods. Computing time for the BISRM is much smaller than the other methods it is compared with. The method gives valid results when used with few collocation points. In particular, the BISRM requires only ten grid points to achieve the same valid results. The table validates the results obtained in this study. BISRM is computationally fast in generating valid results when compared with the SRM, SQLM and KellerBox. We can infer that the BISRM is better than finite differences coupled SRM in terms of computational speed and accuracy and the better accuracy could be the result of applying spectral collocation with uniform accuracy level in both \(\eta \) and \(\xi \) directions.
In TablesÂ 3 and 4, the residual errors and convergence rates of g and g when \(\lambda = 0.5, M = 2, c = 0.5, Sc = \gamma = 1, Pr = 1\) are displayed. We observe that the convergence rate is linear and the residual error is smaller near \(\xi = 0\).
Conclusion
The aim of this work was to describe the bivariate spectral relaxation method for systems of coupled partial differential equations. This technique extends the previous spectral relaxation method of Motsa etÂ al. (2014a) to allow for discretization of both time and space derivatives using spectral collocation methods. The following conclusions can be drawn regarding this method;

The method gives accurate results in the whole space and time domains \(\xi \in [0,1]\) and \(\tau \in [0,\infty )\) with residual errors rapidly approaching zero.

The application of spectral collocation to both time and space derivatives ensures that the method performs significantly better than the SRM and the KellerBox method in terms of computational time.

The algorithm involves the usage of known formulas for discretization using Chebyshev spectral collocation.
In future we intend to show that the technique can be extended to coupled nonlinear systems in threedimensions.
References
Abbas Z, Hayat T, Sajid M, Asghar S (2008) Unsteady flow of a second grade fluid film over an unsteady stretching sheet. Math Comput Model 48:518â€“526
Ahmad I, Sajid M, Hayat T, Ayub M (2008) Unsteady axisymmetric flow of a secondgrade fluid over a radially stretching sheet. Comput Math Appl 56:1351â€“1357
Ali FM, Nazar R, Arifin NM (2010) Numerical solutions of unsteady boundary layer flow due to an impulsively stretching surface. J Appl Comp Sci Math 8(4):25â€“30
Ali A, Amin N, Pop I (2010) Unsteady Mixed convection boundary layer from a circular cylinder in a micropolar fluid. Int J Chem Eng. doi:10.1155/2010/417875
Ali A, Mehmood A (2008) Homotopy analysis of unsteady boundary layer flow adjacent to permeable stretching surface in a porous medium. Commun Nonlinear Sci Numer Simul 13:340â€“349
AlizadehPahlavan A, Sadeghy K (2009) On the use of homotopy analysis method for solving unsteady MHD flow of Maxwellian fluids above impulsively stretching sheets. Commun Nonlinear Sci Numer Simul 14:1355â€“1365
Cebeci T, Bradshaw P (1984) Physical and computational aspects of convective heat transfer. Springer, New York
Dlamini PG, Motsa SS, Khumalo M (2013) On the comparison between compact finite difference and pseudospectral approaches for solving similarity boundary layer problems. Article ID 746489
Fan T, Xu H, Pop I (2010) Unsteady stagnation flow and heat transfer towards a shrinking sheet. Int Commun Heat Mass Transf 37:1440â€“1446
Hayat T, Qasim M, Abbas Z (2010) Homotopy solution for the unsteady threedimensional MHD flow and mass transfer in a porous space. Commun Nonlinear Sci Numer Simul 15:2375â€“2387
Liao SJ (2012) Homotopy analysis method in nonlinear differential equations. Higher Education Press, Berlin
Lok YY, Amin N, Pop I (2003) Unsteady boundary layer flow of a micropolar fluid near the rear stagnation point of a plane surface. Int J Therm Sci 42(11):995â€“1001
Mehmood A, Ali A, Shah T (2008) Heat transfer analysis of unsteady boundary layer flow by homotopy analysis method. Commun Nonlinear Sci Numer Simul 13:902â€“912
Motsa SS, Dlamini PG, Khumalo M (2014a) Spectral relaxation method and spectral quasilinearization method for solving unsteady boundary layer flow problems. Adv Math Phys. doi:10.1155/2014/341964
Motsa SS, Awad FG, Makukula ZG, Sibanda P (2014b) The spectral homotopy analysis method extended to systems of partial differential equations. Abstr Appl Anal 2014:2415941â€“24159411. doi:10.1155/2014/241594
Nazar N, Amin N, Pop I (2004a) Unsteady boundary layer flow due to stretching surface in a rotating fluid. Mech Res Commun 31:121â€“128
Nazar R, Amin N, Filip D, Pop I (2004b) Unsteady boundary layer flow in the region of the stagnation point on a stretching sheet. Int J Eng Sci 42:1241â€“1253
Trefethen LN (2000) Spectral methods in MATLAB. SIAM, Philadelphia
Xu H, Liao SJ, Pop I (2007) Series solutions of unsteady threedimensional MHD flow and heat transfer in the boundary layer over an impulsively stretching plate. Eur J Mech B/Fluids 26:15â€“27
You X, Xu H, Pop I (2010) Homotopy analysis of unsteady heat transfer started impulsively from rest along a symmetric wedge. Int Commun Heat Mass Transf 37:47â€“51
Authors' contributions
All authors participated in the preparation of the manuscript. All authors read and approved the final manuscript.
Acknowledgements
This work was supported in part by the University of KwaZuluNatal.
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
Additional information
All authors contributed equally to this study
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Magagula, V.M., Motsa, S.S., Sibanda, P. et al. On a bivariate spectral relaxation method for unsteady magnetohydrodynamic flow in porous media. SpringerPlus 5, 455 (2016). https://doi.org/10.1186/s4006401620534
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s4006401620534