Second order finite-difference ghost-point multigrid methods for elliptic problems with discontinuous coefficients on an arbitrary interface

Abstract In this paper we propose a second-order accurate numerical method to solve elliptic problems with discontinuous coefficients (with general non-homogeneous jumps in the solution and its gradient) in 2D and 3D. The method consists of a finite-difference method on a Cartesian grid in which complex geometries (boundaries and interfaces) are embedded, and is second order accurate in the solution and the gradient itself. In order to avoid the drop in accuracy caused by the discontinuity of the coefficients across the interface, two numerical values are assigned on grid points that are close to the interface: a real value, that represents the numerical solution on that grid point, and a ghost value, that represents the numerical solution extrapolated from the other side of the interface, obtained by enforcing the assigned non-homogeneous jump conditions on the solution and its flux. The method is also extended to the case of matrix coefficient. The linear system arising from the discretization is solved by an efficient multigrid approach. Unlike the 1D case, grid points are not necessarily aligned with the normal derivative and therefore suitable stencils must be chosen to discretize interface conditions in order to achieve second order accuracy in the solution and its gradient. A proper treatment of the interface conditions will allow the multigrid to attain the optimal convergence factor, comparable with the one obtained by Local Fourier Analysis for rectangular domains. The method is robust enough to handle large jump in the coefficients: order of accuracy, monotonicity of the errors and good convergence factor are maintained by the scheme.

[1]  Stéphane Vincent,et al.  Eulerian–Lagrangian grid coupling and penalty methods for the simulation of multiphase flows interacting with complex objects , 2008 .

[2]  James A. Sethian,et al.  Level Set Methods and Fast Marching Methods: Evolving Interfaces in Computational Geometry, Fluid , 2012 .

[3]  Wolfgang Hackbusch,et al.  Multi-grid methods and applications , 1985, Springer series in computational mathematics.

[4]  J. Halleux,et al.  An arbitrary lagrangian-eulerian finite element method for transient dynamic fluid-structure interactions , 1982 .

[5]  Frédéric Gibou,et al.  Efficient symmetric discretization for the Poisson, heat and Stefan-type problems with Robin boundary conditions , 2010, J. Comput. Phys..

[6]  J. W. Ruge,et al.  4. Algebraic Multigrid , 1987 .

[7]  Frédéric Gibou,et al.  Guidelines for Poisson Solvers on Irregular Domains with Dirichlet Boundary Conditions Using the Ghost Fluid Method , 2009, J. Sci. Comput..

[8]  Timothy P. Chartier,et al.  New Geometric Immersed Interface Multigrid Solvers , 2004, SIAM J. Sci. Comput..

[9]  James H. Bramble,et al.  A finite element method for interface problems in domains with smooth boundaries and interfaces , 1996, Adv. Comput. Math..

[10]  Justin W. L. Wan,et al.  A Boundary Condition-Capturing Multigrid Approach to Irregular Boundary Problems , 2004, SIAM J. Sci. Comput..

[11]  William L. Briggs,et al.  A multigrid tutorial , 1987 .

[12]  P. Hansbo,et al.  A finite element method for the simulation of strong and weak discontinuities in solid mechanics , 2004 .

[13]  R. LeVeque,et al.  A comparison of the extended finite element method with the immersed interface method for elliptic equations with discontinuous coefficients and singular sources , 2006 .

[14]  Wing Lok Wan Interface preserving coarsening multigrid for elliptic problems with highly discontinuous coefficients , 2000 .

[15]  A. Chorin A Numerical Method for Solving Incompressible Viscous Flow Problems , 1997 .

[16]  M. Semplice,et al.  Adaptive Mesh Refinement for Hyperbolic Systems Based on Third-Order Compact WENO Reconstruction , 2014, Journal of Scientific Computing.

[17]  Frédéric Gibou,et al.  A second order accurate projection method for the incompressible Navier-Stokes equations on non-graded adaptive grids , 2006, J. Comput. Phys..

[18]  Giovanni Russo,et al.  Second Order Multigrid Methods for Elliptic Problems with Discontinuous Coefficients on an Arbitrary Interface, I: One Dimensional Problems , 2011, 1111.1167.

[19]  Li-Tien Cheng,et al.  A second-order-accurate symmetric discretization of the Poisson equation on irregular domains , 2002 .

[20]  Zhilin Li,et al.  The Immersed Interface Method: Numerical Solutions of PDEs Involving Interfaces and Irregular Domains (Frontiers in Applied Mathematics) , 2006 .

[21]  R. Fedkiw,et al.  A fourth order accurate discretization for the Laplace and heat equations on arbitrary domains, with applications to the Stefan problem , 2005 .

[22]  S. Osher,et al.  A Non-oscillatory Eulerian Approach to Interfaces in Multimaterial Flows (the Ghost Fluid Method) , 1999 .

[23]  J. Dendy Black box multigrid , 1982 .

[24]  Mark Sussman,et al.  A sharp interface method for incompressible two-phase flows , 2007, J. Comput. Phys..

[25]  H. Udaykumar,et al.  Sharp interface Cartesian grid method III: Solidification of pure materials and binary solutions , 2005 .

[26]  Michael Oevermann,et al.  A sharp interface finite volume method for elliptic equations on Cartesian grids , 2009, J. Comput. Phys..

[27]  R. Fedkiw,et al.  A Boundary Condition Capturing Method for Poisson's Equation on Irregular Domains , 2000 .

[28]  Liqun Wang,et al.  Numerical method for solving matrix coefficient elliptic equation with sharp-edged interfaces , 2010, J. Comput. Phys..

[29]  A. Lew,et al.  A discontinuous‐Galerkin‐based immersed boundary method , 2008 .

[30]  Angelo Iollo,et al.  A finite-difference method for the variable coefficient Poisson equation on hierarchical Cartesian meshes , 2018, J. Comput. Phys..

[31]  Zhilin Li A Fast Iterative Algorithm for Elliptic Interface Problems , 1998 .

[32]  M. Cisternino,et al.  A Parallel Second Order Cartesian Method for Elliptic Interface Problems , 2012 .

[33]  Frédéric Gibou,et al.  An efficient fluid-solid coupling algorithm for single-phase flows , 2009, J. Comput. Phys..

[34]  T. Belytschko,et al.  The intrinsic XFEM: a method for arbitrary discontinuities without additional unknowns , 2006 .

[35]  Philippe Angot,et al.  A penalization method to take into account obstacles in incompressible viscous flows , 1999, Numerische Mathematik.

[36]  Ivo Babuska,et al.  The finite element method for elliptic equations with discontinuous coefficients , 1970, Computing.

[37]  A. Mayo The Fast Solution of Poisson’s and the Biharmonic Equations on Irregular Regions , 1984 .

[38]  Frédéric Gibou,et al.  Solving elliptic problems with discontinuities on irregular domains - the Voronoi Interface Method , 2015, J. Comput. Phys..

[39]  Jun Zou,et al.  A mortar element method for elliptic problems with discontinuous coefficients , 2002 .

[40]  Guo-Wei Wei,et al.  Matched interface and boundary (MIB) method for elliptic problems with sharp-edged interfaces , 2007, J. Comput. Phys..

[41]  John E. Dolbow,et al.  On strategies for enforcing interfacial constraints and evaluating jump conditions with the extended finite element method , 2004 .

[42]  P. Smereka,et al.  A Remark on Computing Distance Functions , 2000 .

[43]  Charles-Henri Bruneau,et al.  Level-set, penalization and cartesian meshes: A paradigm for inverse problems and optimal design , 2009, J. Comput. Phys..

[44]  C. Peskin Numerical analysis of blood flow in the heart , 1977 .

[45]  Frédéric Gibou,et al.  A Multigrid Method on Non-Graded Adaptive Octree and Quadtree Cartesian Grids , 2013, J. Sci. Comput..

[46]  Zhilin Li,et al.  The immersed finite volume element methods for the elliptic interface problems , 1999 .

[47]  S. Osher,et al.  A level set approach for computing solutions to incompressible two-phase flow , 1994 .

[48]  Chang-Ock Lee,et al.  A discontinuous Galerkin method for elliptic interface problems with application to electroporation , 2009 .

[49]  Michael Oevermann,et al.  A Cartesian grid finite volume method for elliptic equations with variable coefficients and embedded interfaces , 2006, J. Comput. Phys..

[50]  Ted Belytschko,et al.  A finite element method for crack growth without remeshing , 1999 .

[51]  Ronald Fedkiw,et al.  Level set methods and dynamic implicit surfaces , 2002, Applied mathematical sciences.

[52]  Frédéric Gibou,et al.  Second-Order Accurate Computation of Curvatures in a Level Set Framework Using Novel High-Order Reinitialization Schemes , 2008, J. Sci. Comput..

[53]  G. Puckett Introduction to “A Numerical Method for Solving Incompressible Viscous Flow Problems” , 1997 .

[54]  G. Russo,et al.  A Second Order Finite-Difference Ghost-Point Method for Elasticity Problems on Unbounded Domains with Applications to Volcanology , 2014 .

[55]  Maksymilian Dryja,et al.  A Neumann-Neumann algorithm for a mortar discretization of elliptic problems with discontinuous coefficients , 2005, Numerische Mathematik.

[56]  T. Chan,et al.  Robust multigrid methods for nonsmooth coefficient elliptic linear systems , 2000 .

[57]  Kazufumi Ito,et al.  Maximum Principle Preserving Schemes for Interface Problems with Discontinuous Coefficients , 2001, SIAM J. Sci. Comput..

[58]  Timothy P. Chartier,et al.  A Comparison of Algebraic Multigrid and Geometric Immersed Interface Multigrid Methods for Interface Problems , 2005, SIAM J. Sci. Comput..

[59]  Giovanni Russo,et al.  Finite-difference ghost-point multigrid methods on Cartesian grids for elliptic problems in arbitrary domains , 2013, J. Comput. Phys..

[60]  Isaac Harari,et al.  An efficient finite element method for embedded interface problems , 2009 .

[61]  L. Formaggia,et al.  Stability analysis of second-order time accurate schemes for ALE-FEM , 2004 .

[62]  Arnold Reusken,et al.  An extended pressure finite element space for two-phase incompressible flows with surface tension , 2007, J. Comput. Phys..

[63]  Zhilin Li,et al.  The Immersed Interface/Multigrid Methods for Interface Problems , 2002, SIAM J. Sci. Comput..