Abstract
Corrected explicit-implicit domain decomposition (CEIDD) algorithms are studied for parallel approximation of semilinear parabolic problems on distributed memory processors. It is natural to divide the spatial domain into some smaller parallel strips and cells using the simplest straight-line interface (SI). By using the Leray-Schauder fixed-point theorem and the discrete energy method, it is shown that the resulting CEIDD-SI algorithm is uniquely solvable, unconditionally stable and convergent. The CEIDD-SI method always suffers from the globalization of data communication when interior boundaries cross into each other inside the domain. To overcome this disadvantage, a composite interface (CI) that consists of straight segments and zigzag fractions is suggested. The corresponding CEIDD-CI algorithm is proven to be solvable, stable and convergent. Numerical experiments are presented to support the theoretical results.
Similar content being viewed by others
References
Bjørstad P, Luskin M. Parallel Solution of Partial Differential Equations. New York: Springer-Verlag, 2000
Toselli A, Widlund O. Domain Decomposition Methods-Algorithms and Theory. New York: Springer-Verlag, 2005
Yuan G W, Shen L J, Zhou Y L. Unconditional stability of alternating difference schemes with intrinsic parallelism for two-dimensional parabolic systems. Numerical Methods for Partial Differential Equations, 15: 625–636 (1999)
Zhou Y L. General finite difference schemes with intrinsic parallelism for nonlinear parabolic systems. Science in China Series A: Mathematics, 40: 357–365 (1997)
Zhou Y L, Shen L J, Yuan G W. Some practical difference schemes with intrinsic parallelism for nonlinear parabolic systems. Chinese Journal of Numerical Mathematics and Applications, 19(3): 46–57 (1997)
Zhou Y L, Yuan G W. Gerenal difference schemes with intrinsic parallelism for semilinear parabolic systems of divergence type. Journal of Computational Mathematics, 17: 337–352 (1999)
Lu J F, Zhang B L. Alternating group explicit (AGE) method for solving the two-dimensional convection diffusion equation. Annal Report of LCP, Beijing: IAPCM, 1995, 105–119
Zhang B L, Su X. Alternating block explicit-implicit method for two-dimensional diffusion equation. International Journal of Computer Mathematics, 38: 241–255 (1991)
Zhang B L. Difference graphs of block ADI method. SIAM Journal on Numerical Analysis, 38: 742–752 (2000)
Sheng Z Q, Yuan G W, Hang X D. Unconditional stability of parallel difference schemes with second order accuracy for parabolic equation. Applied Mathematics and Computation, 184: 1015–1031 (2007)
Yuan G W, Hang X D, Sheng Z Q. Parallel difference schemes with interface extrapolation terms for quasi-linear parabolic systems. Science in China Series A: Mathematics, 50(2): 253–275 (2007)
Kuznetsov Y. New algorithms for approximate realization of implicit difference scheme. Soviet Journal of Numerical Analysis and Mathematical Modelling, 3: 99–114 (1988)
Dawson C N, Du Q, Dupont T F. A finite difference domain decomposition algorithm for numerical solution of the heat equation. Mathematics of Computation, 57(195): 63–71 (1991)
Dawson C N, Dupont T F. Explicit/implicit, conservative domain decomposition procedures for parabolic problems based on block-centered finite differences. SIAM Journal on Numerical Analysis, 31: 1045–1061 (1994)
Du Q, Mu M, Wu Z N. Efficient parallel algorithms for parabolic problems. SIAM Journal on Numerical Analysis, 39(5): 1469–1487 (2001)
Lapin A, Pieskä J. On the parallel domain decomposition algorithms for time-dependent problems. Lobachevskii Journal of Mathematics, 10: 27–44 (2002)
Yuan G W, Sheng Z Q, Hang X D. The unconditional stability of parallel difference schemes with second order convergence for nonlinear parabolic system. Journal of Partial Differential Equations, 20: 45–64 (2007)
Shi H S, Liao H L. Unconditional stability of corrected explicit-implicit domain decomposition algorithms for parallel approximation of heat equations. SIAM Journal on Numerical Analysis, 44(4): 1584–1611 (2006)
Zhuang Y, Sun X H. Stabilized explicit-implicit domain decomposition methods for the numerical solution of parabolic equations. SIAM Journal on Scientific Computing, 24(1): 335–358 (2002)
Rivera W, Zhu J P, Huddleston D. An efficient parallel algorithm with application to computational fluid dynamics. Computers & Mathematics with Applications, 45: 165–188 (2003)
Zhou Y L. Applications of Discrete Functional Analysis to the Finite Difference Method. Beijing: International Academic Publishers, 1990
Gilbarg D, Trudinger N S. Elliptic Partial Differential Equations of Second Order. Reprint of the 1998 edition. New York: Springer, 2001
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by National Natural Science Foundation of China (Grant No. 10871044)
Rights and permissions
About this article
Cite this article
Liao, H., Shi, H. & Sun, Z. Corrected explicit-implicit domain decomposition algorithms for two-dimensional semilinear parabolic equations. Sci. China Ser. A-Math. 52, 2362–2388 (2009). https://doi.org/10.1007/s11425-009-0040-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11425-009-0040-8
Keywords
- semilinear parabolic equation
- explicit-implicit domain decomposition method
- Leray-Schauder fixed-point theorem
- discrete energy method
- convergence and stability