A parallel unified transform solver based on domain decomposition for solving linear elliptic PDEs

A hybrid approach for the solution of linear elliptic PDEs, based on the unified transform method in conjunction with domain decomposition techniques, is introduced. Given a well-posed boundary value problem, the proposed methodology relies on the derivation of an approximate global relation, which is an equation that couples the finite Fourier transforms of all the boundary values. The computational domain is hierarchically decomposed into several nonoverlapping subdomains; for each of those subdomains, a unique approximate global relation is derived. Then, by introducing a modified Dirichlet-to-Neumann iterative algorithm, it is possible to compute the solution and its normal derivative at the resulting interfaces. By considering several hierarchical levels, higher spatial resolution can be achieved. There are three main advantages associated with the proposed approach. First, since the unified transform is a boundary-based technique, the interior of each subdomain does not need to be discretized; thus, no mesh generation is required. Additionally, the Dirichlet and Neumann values can be computed on the interfaces with high accuracy, using a collocation technique in the complex Fourier plane. Finally, the interface values at each hierarchical level can be computed in parallel by considering a quadtree decomposition in conjunction with the iterative Dirichlet-to-Neumann algorithm. The proposed methodology is analysed both regarding implementation details and computational complexity. Moreover, numerical results are presented, assessing the performance of the solver.

[1]  C. Schwab,et al.  Boundary Element Methods , 2010 .

[2]  E-N. G. Grylonakis An Adaptive Complex Collocation Method for Solving Linear Elliptic PDEs in Regular Convex Polygons Based on the Unified Transform , 2019 .

[3]  Bengt Fornberg,et al.  A numerical implementation of Fokas boundary integral approach: Laplace's equation on a polygonal domain , 2011, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[4]  B. Chazelle,et al.  Optimal Convex Decompositions , 1985 .

[5]  O. C. Zienkiewicz,et al.  The Finite Element Method: Its Basis and Fundamentals , 2005 .

[6]  George A. Gravvanis,et al.  Parallel multi-projection preconditioned methods based on semi-aggregation techniques , 2017, J. Comput. Sci..

[7]  Å. Björck Numerical Methods in Matrix Computations , 2014 .

[8]  C. K. Filelis-Papadopoulos,et al.  Parallel Schur Complement Techniques Based on Multiprojection Methods , 2018, SIAM J. Sci. Comput..

[9]  Eleftherios-Nektarios G. Grylonakis,et al.  An iterative spatial-stepping numerical method for linear elliptic PDEs using the Unified Transform , 2019, J. Comput. Appl. Math..

[10]  Andrea Toselli,et al.  Domain decomposition methods : algorithms and theory , 2005 .

[11]  T. Chan,et al.  Schur complement domain decomposition algorithms for spectral methods , 1989 .

[12]  HAIYONG WANG,et al.  On the convergence rates of Legendre approximation , 2011, Math. Comput..

[13]  Athanassios S. Fokas,et al.  A new transform method for evolution partial differential equations , 2002 .

[14]  Athanassios S. Fokas,et al.  The generalized Dirichlet-Neumann map for linear elliptic PDEs and its numerical implementation , 2008 .

[15]  Eleftherios-Nektarios G. Grylonakis,et al.  A Hybrid Method for Solving Inhomogeneous Elliptic PDEs Based on Fokas Method , 2017, Comput. Methods Appl. Math..

[16]  P. Balasubramanian,et al.  Computation of Error Resiliency of Muller C-element , 2014, 2014 International Conference on Computational Science and Computational Intelligence.

[17]  Dumitru Baleanu,et al.  Solving PDEs of fractional order using the unified transform method , 2018, Appl. Math. Comput..

[18]  Hamid R. Arabnia,et al.  A parallel numerical algorithm on a reconfigurable multi-ring network , 1998, Telecommun. Syst..

[19]  Matthew J. Colbrook,et al.  On the Fokas method for the solution of elliptic problems in both convex and non-convex polygonal domains , 2018, J. Comput. Phys..

[20]  Bengt Fornberg,et al.  A spectrally accurate numerical implementation of the Fokas transform method for Helmholtz-type PDEs , 2014 .

[21]  H. V. Jayashree,et al.  Ancilla-input and garbage-output optimized design of a reversible quantum integer multiplier , 2016, The Journal of Supercomputing.

[22]  Miltiades Elliotis,et al.  Solving Laplacian problems with boundary singularities: a comparison of a singular function boundary integral method with the p/hp version of the finite element method , 2005, Appl. Math. Comput..

[23]  Yousef Saad,et al.  Iterative methods for sparse linear systems , 2003 .

[24]  Andrea Franceschini,et al.  A Robust Multilevel Approximate Inverse Preconditioner for Symmetric Positive Definite Matrices , 2018, SIAM J. Matrix Anal. Appl..

[25]  Ivo BabuškaRIDID Partially supported by the US office,et al.  Optimal estimates for lower and upper bounds of approximation errors in the p-version of the finite element method in two dimensions , 2000 .

[26]  Ahmed H. Sameh,et al.  PSPIKE+: A family of parallel hybrid sparse linear system solvers , 2017, J. Comput. Appl. Math..

[27]  A. S. Fokas,et al.  A numerical technique for linear elliptic partial differential equations in polygonal domains , 2015, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[28]  Athanassios S. Fokas,et al.  Two–dimensional linear partial differential equations in a convex polygon , 2001, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[29]  William H. Press,et al.  Numerical Recipes 3rd Edition: The Art of Scientific Computing , 2007 .

[30]  Matthew J. Colbrook Extending the unified transform: curvilinear polygons and variable coefficient PDEs , 2018, IMA Journal of Numerical Analysis.

[31]  A. Quarteroni Numerical Models for Differential Problems , 2009 .

[32]  A. S. Fokas,et al.  A unified transform method for solving linear and certain nonlinear PDEs , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[33]  Yousef Saad,et al.  An Algebraic Multilevel Preconditioner with Low-Rank Corrections for Sparse Symmetric Matrices , 2016, SIAM J. Matrix Anal. Appl..

[34]  Christos Xenophontos,et al.  An analytical method for linear elliptic PDEs and its numerical implementation , 2004 .

[35]  Tarek P. Mathew,et al.  Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations , 2008, Lecture Notes in Computational Science and Engineering.

[36]  Hamid R. Arabnia,et al.  Distributed Global Optimization and its Development on the MultiRing Network , 2004, Neural Parallel Sci. Comput..

[37]  Athanassios S. Fokas,et al.  A Unified Approach To Boundary Value Problems , 2008 .

[38]  W. Press,et al.  Numerical Recipes: The Art of Scientific Computing , 1987 .

[39]  A class of unified transform techniques for solving linear elliptic PDEs in convex polygons , 2018, Applied Numerical Mathematics.

[40]  Sheng-hong Chen,et al.  Adaptive Techniques in the Finite Element Method , 2018, Springer Tracts in Civil Engineering.

[41]  R. Courant,et al.  Methods of Mathematical Physics , 1962 .

[42]  George A. Gravvanis,et al.  A Note on Solving the Generalized Dirichlet to NeumannMap on Irregular Polygons using Generic FactoredApproximate Sparse Inverses , 2015 .

[43]  Nicola Castelletto,et al.  The effect of graph partitioning techniques on parallel Block FSAI preconditioning: a computational study , 2015, Numerical Algorithms.

[44]  C. K. Filelis-Papadopoulos,et al.  A Class of Symmetric Factored Approximate Inverses and Hybrid Two-Level Solver , 2017, International Journal of Computational Methods.

[45]  C. K. Filelis-Papadopoulos,et al.  Parallel multilevel recursive approximate inverse techniques for solving general sparse linear systems , 2016, The Journal of Supercomputing.

[46]  A. C. L. Ashton,et al.  The Spectral Dirichlet-Neumann Map for Laplace's Equation in a Convex Polygon , 2012, SIAM J. Math. Anal..

[47]  Miroslav Tuma,et al.  An adaptive multilevel factorized sparse approximate inverse preconditioning , 2017, Adv. Eng. Softw..

[48]  Hamid R. Arabnia,et al.  The REFINE Multiprocessor - Theoretical Properties and Algorithms , 1995, Parallel Comput..