Immersed boundary smooth extension: A high-order method for solving PDE on arbitrary smooth domains using Fourier spectral methods

The Immersed Boundary method is a simple, efficient, and robust numerical scheme for solving PDE in general domains, yet it only achieves first-order spatial accuracy near embedded boundaries. In this paper, we introduce a new high-order numerical method which we call the Immersed Boundary Smooth Extension (IBSE) method. The IBSE method achieves high-order accuracy by smoothly extending the unknown solution of the PDE from a given smooth domain to a larger computational domain, enabling the use of simple Cartesian-grid discretizations (e.g. Fourier spectral methods). The method preserves much of the flexibility and robustness of the original IB method. In particular, it requires minimal geometric information to describe the boundary and relies only on convolution with regularized delta-functions to communicate information between the computational grid and the boundary. We present a fast algorithm for solving elliptic equations, which forms the basis for simple, high-order implicit-time methods for parabolic PDE and implicit-explicit methods for related nonlinear PDE. We apply the IBSE method to solve the Poisson, heat, Burgers', and Fitzhugh-Nagumo equations, and demonstrate fourth-order pointwise convergence for Dirichlet problems and third-order pointwise convergence for Neumann problems.

[1]  D. Shirokoff,et al.  A Sharp-Interface Active Penalty Method for the Incompressible Navier–Stokes Equations , 2013, J. Sci. Comput..

[2]  H. Fasel,et al.  A high-order immersed interface method for simulating unsteady incompressible flows on irregular domains , 2005 .

[3]  Tim Colonius,et al.  The immersed boundary method: A projection approach , 2007, J. Comput. Phys..

[4]  John P. Boyd Fourier embedded domain methods: extending a function defined on an irregular region to a rectangle so that the extension is spatially periodic and C∞ , 2005, Appl. Math. Comput..

[5]  Eric Darve,et al.  The Inverse Fast Multipole Method , 2014, ArXiv.

[6]  R. Aliev,et al.  A simple two-variable model of cardiac excitation , 1996 .

[7]  Shan Zhao,et al.  High order matched interface and boundary method for elliptic equations with discontinuous coefficients and singular sources , 2006, J. Comput. Phys..

[8]  N LinnickMark,et al.  A high-order immersed interface method for simulating unsteady incompressible flows on irregular domains , 2005 .

[9]  Zhoushun Zheng,et al.  Efficient high-order immersed interface methods for heat equations with interfaces , 2014 .

[10]  A. Pacheco-Vega,et al.  A General Scheme for the Boundary Conditions in Convective and Diffusive Heat Transfer With Immersed Boundary Methods , 2007 .

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

[12]  Robert Michael Kirby,et al.  A Study of Different Modeling Choices For Simulating Platelets Within the Immersed Boundary Method , 2012, Applied numerical mathematics : transactions of IMACS.

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

[14]  Eric Darve,et al.  The Inverse Fast Multipole Method: Using a Fast Approximate Direct Solver as a Preconditioner for Dense Linear Systems , 2015, SIAM J. Sci. Comput..

[15]  Leslie Greengard,et al.  THE FAST SINC TRANSFORM AND IMAGE RECONSTRUCTION FROM NONUNIFORM SAMPLES IN k-SPACE , 2006 .

[16]  F. John Partial differential equations , 1967 .

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

[18]  Mark Lyon,et al.  High-order unconditionally stable FC-AD solvers for general smooth domains II. Elliptic, parabolic and hyperbolic PDEs; theoretical considerations , 2010, J. Comput. Phys..

[19]  R. LeVeque,et al.  Analysis of a one-dimensional model for the immersed boundary method , 1992 .

[20]  Rodolfo Ruben Rosales,et al.  An efficient method for the incompressible Navier-Stokes equations on irregular domains with no-slip boundary conditions, high order up to the boundary , 2010, J. Comput. Phys..

[21]  Charles S. Peskin,et al.  A Gaussian-like immersed-boundary kernel with three continuous derivatives and improved translational invariance , 2015, J. Comput. Phys..

[22]  Eric Darve,et al.  An $$\mathcal O (N \log N)$$O(NlogN)  Fast Direct Solver for Partial Hierarchically Semi-Separable Matrices , 2013 .

[23]  Z. Jane Wang,et al.  An immersed interface method for simulating the interaction of a fluid with moving boundaries , 2006, J. Comput. Phys..

[24]  Yang Liu,et al.  Properties of Discrete Delta Functions and Local Convergence of the Immersed Boundary Method , 2012, SIAM J. Numer. Anal..

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

[26]  Nathan Albin,et al.  A spectral FC solver for the compressible Navier-Stokes equations in general domains I: Explicit time-stepping , 2011, J. Comput. Phys..

[28]  Eric Darve,et al.  An O(NlogN)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal O (N \log N)$$\end{document} Fast Direct Solver fo , 2013, Journal of Scientific Computing.

[29]  Mark Lyon,et al.  High-order unconditionally stable FC-AD solvers for general smooth domains I. Basic elements , 2010, J. Comput. Phys..

[30]  Oscar P. Bruno,et al.  Spatially Dispersionless, Unconditionally Stable FC–AD Solvers for Variable-Coefficient PDEs , 2012, Journal of Scientific Computing.

[31]  Lloyd N. Trefethen,et al.  Impossibility of Fast Stable Approximation of Analytic Functions from Equispaced Samples , 2011, SIAM Rev..

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

[33]  Boyce E. Griffith,et al.  Hybrid finite difference/finite element version of the immersed boundary method , 2012 .

[34]  S. H. Lui,et al.  Spectral domain embedding for elliptic PDEs in complex domains , 2009 .

[35]  B. Engquist,et al.  Numerical approximations of singular source terms in differential equations , 2004 .

[36]  Arnold Neumaier,et al.  Introduction to Numerical Analysis , 2001 .

[37]  Feriedoun Sabetghadam,et al.  Fourier spectral embedded boundary solution of the Poisson's and Laplace equations with Dirichlet boundary conditions , 2009, J. Comput. Phys..

[38]  Gianluca Iaccarino,et al.  IMMERSED BOUNDARY METHODS , 2005 .

[39]  Charles S. Peskin,et al.  Tether Force Constraints in Stokes Flow by the Immersed Boundary Method on a Periodic Domain , 2009, SIAM J. Sci. Comput..

[40]  Willem Hundsdorfer,et al.  IMEX extensions of linear multistep methods with general monotonicity and boundedness properties , 2007, J. Comput. Phys..

[41]  Xiaolei Yang,et al.  A smoothing technique for discrete delta functions with application to immersed boundary method in moving boundary simulations , 2009, J. Comput. Phys..

[42]  B. Griffith,et al.  An immersed boundary method for rigid bodies , 2014, 1505.07865.

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

[44]  Xiaolin Zhong,et al.  A new high-order immersed interface method for solving elliptic equations with imbedded interface of discontinuity , 2007, J. Comput. Phys..

[45]  Alfonso Bueno-Orovio Fourier embedded domain methods: Periodic and Cinfinity extension of a function defined on an irregular region to a rectangle via convolution with Gaussian kernels , 2006, Appl. Math. Comput..

[46]  Leslie Greengard,et al.  The Fast Gauss Transform , 1991, SIAM J. Sci. Comput..

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

[48]  M. Lai,et al.  An Immersed Boundary Method with Formal Second-Order Accuracy and Reduced Numerical Viscosity , 2000 .

[49]  D. Bartuschat Algebraic Multigrid , 2007 .

[50]  G. M.,et al.  Partial Differential Equations I , 2023, Applied Mathematical Sciences.

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

[52]  S. Yoshizawa,et al.  An Active Pulse Transmission Line Simulating Nerve Axon , 1962, Proceedings of the IRE.

[53]  Andreas Mark,et al.  Derivation and validation of a novel implicit second-order accurate immersed boundary method , 2008, J. Comput. Phys..

[54]  James Demmel,et al.  LAPACK Users' Guide, Third Edition , 1999, Software, Environments and Tools.

[55]  Thomas T. Bringley Analysis of the immersed boundary method for Stokes flow , 2008 .