Algorithms composition approach based on difference potentials method for parabolic problems

In this work we develop an efficient and flexible Algorithms Composition Approach based on the idea of the difference potentials method (DPM) for parabolic problems in composite and complex domains. Here, the parabolic equation serves both as the simplified model, and as the first step towards future development of the proposed framework for more realistic systems of materials, fluids, or chemicals with different properties in the different domains. Some examples of such models include the ocean-atmosphere models, chemotaxis models in biology, and blood flow models. Very often, such models are heterogeneous systems described by different types of partial differential equations (PDEs) in different domains, and they have to take into consideration the complex structure of the computational subdomains. The major challenge here is to design an efficient and flexible numerical method that can capture certain properties of analytical solutions in different domains, while handling the arbitrary geometries and complex structures of the subdomains. The Algorithms Compositions principle, as well as the Domain Decomposition idea, are one ways to overcome these difficulties while developing very efficient and accurate numerical schemes for the problems. The Algorithms Composition Approach proposed here can handle the complex geometries of the domains without the use of unstructured meshes, and can be employed with fast Poisson solvers. Our method combines the simplicity of the finite difference methods on Cartesian meshes with the flexibility of the Difference Potentials method. The developed method is very well suited for parallel computations as well, since most of the computations in each domain are performed independently of the others. AMS subject classification: 65M06, 65M22, 65M55, 65M70, 35K05, 35K20

[1]  N. K. Kulman,et al.  Method of difference potentials and its applications , 2001 .

[2]  R. Fedkiw,et al.  A boundary condition capturing method for incompressible flame discontinuities , 2001 .

[3]  V. Ryaben'kii On the Method of Difference Potentials , 2006, J. Sci. Comput..

[4]  Boyce E. Griffith,et al.  On the order of accuracy of the immersed boundary method: Higher order convergence rates for sufficiently smooth problems , 2005 .

[5]  D. Gottlieb,et al.  Numerical analysis of spectral methods : theory and applications , 1977 .

[6]  Yekaterina Epshteyn,et al.  Upwind-Difference Potentials Method for Patlak-Keller-Segel Chemotaxis Model , 2012, J. Sci. Comput..

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

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

[9]  Ronald Fedkiw,et al.  A Boundary Condition Capturing Method for Multiphase Incompressible Flow , 2000, J. Sci. Comput..

[10]  Carlos Alberto Brebbia,et al.  The Boundary Element Method for Engineers , 1978 .

[11]  Ronald Fedkiw,et al.  The immersed interface method. Numerical solutions of PDEs involving interfaces and irregular domains , 2007, Math. Comput..

[12]  E. Tadmor,et al.  New High-Resolution Central Schemes for Nonlinear Conservation Laws and Convection—Diffusion Equations , 2000 .

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

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

[15]  Anne Greenbaum,et al.  Fast Parallel Iterative Solution of Poisson's and the Biharmonic Equations on Irregular Regions , 2011, SIAM J. Sci. Comput..

[16]  Charles S. Peskin,et al.  Shared-Memory Parallel Vector Implementation of the Immersed Boundary Method for the Computation of Blood Flow in the Beating Mammalian Heart , 2004, The Journal of Supercomputing.

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

[18]  C. Peskin,et al.  Simulation of a Flapping Flexible Filament in a Flowing Soap Film by the Immersed Boundary Method , 2002 .

[19]  Leslie Greengard,et al.  A fast algorithm for particle simulations , 1987 .

[20]  C. Peskin The immersed boundary method , 2002, Acta Numerica.

[21]  L. Fauci,et al.  A computational model of aquatic animal locomotion , 1988 .

[22]  Jonas Koko,et al.  Operator-splitting and Lagrange multiplier domain decomposition methods for numerical simulation of two coupled Navier-Stokes fluids , 2006 .

[23]  S. Tsynkov Numerical solution of problems on unbounded domains. a review , 1998 .

[24]  L. Greengard,et al.  A Fast Poisson Solver for Complex Geometries , 1995 .

[25]  Randall J. LeVeque,et al.  Immersed Interface Methods for Stokes Flow with Elastic Boundaries or Surface Tension , 1997, SIAM J. Sci. Comput..

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

[27]  Xu-Dong Liu,et al.  Convergence of the ghost fluid method for elliptic equations with interfaces , 2003, Math. Comput..

[28]  Semyon Tsynkov,et al.  Artificial boundary conditions for the numerical solution of external viscous flow problems , 1995 .

[29]  Viktor S. Ryaben’kii Difference potentials analogous to Cauchy integrals , 2012 .

[30]  C. DeWitt-Morette,et al.  Mathematical Analysis and Numerical Methods for Science and Technology , 1990 .

[31]  Claire Chainais-Hillairet,et al.  Finite volume scheme for multi-dimensional drift-diffusion equations and convergence analysis , 2003 .

[32]  Anne Greenbaum,et al.  Rapid Parallel Evaluation of Integrals in Potential Theory on General Three-Dimensional Regions , 1998 .

[33]  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 .

[34]  Alfio Quarteroni,et al.  A Domain Decomposition Method for Advection-Diffusion Processes with Application to Blood Solutes , 2002, SIAM J. Sci. Comput..

[35]  Semyon Tsynkov,et al.  Active Shielding and Control of Noise , 2001, SIAM J. Appl. Math..

[36]  Charles S. Peskin,et al.  Mathematical aspects of heart physiology , 1975 .

[37]  I. Tuval,et al.  Bacterial swimming and oxygen transport near contact lines. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[38]  Kimmo Berg,et al.  European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS) , 2004 .

[39]  B. Perthame Transport Equations in Biology , 2006 .

[40]  Alfio Quarteroni,et al.  Mathematical and Numerical Modeling of Solute Dynamics in Blood Flow and Arterial Walls , 2001, SIAM J. Numer. Anal..

[41]  Carlos E. Kenig,et al.  Boundary value problems for elliptic equations , 1991 .

[42]  Semyon Tsynkov,et al.  The Method of Difference Potentials for the Helmholtz Equation Using Compact High Order Schemes , 2012, Journal of Scientific Computing.

[43]  UPWIND-DIFFERENCE POTENTIALS METHOD FOR CHEMOTAXIS MODELS , .

[44]  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 .

[45]  Alexander Kurganov,et al.  New Interior Penalty Discontinuous Galerkin Methods for the Keller-Segel Chemotaxis Model , 2008, SIAM J. Numer. Anal..

[46]  Anita Mayo,et al.  The rapid evaluation of volume integrals of potential theory on general regions , 1992 .

[47]  Heinz-Otto Kreiss,et al.  An Embedded Boundary Method for the Wave Equation with Discontinuous Coefficients , 2005, SIAM J. Sci. Comput..

[48]  Francis Filbet,et al.  Asymptotic behaviour of a finite-volume scheme for the transient drift-diffusion model , 2007 .