Generalized Summation-by-parts Operators for First and Second Derivatives

Generalized Summation-by-Parts Operators for First and Second Derivatives David César Del Rey Fernández Doctor of Philosophy Graduate Department of Institute for Aerospace Studies University of Toronto 2015 Higher-order methods represent an attractive means of efficiently solving partial differential equations (PDEs) for certain classes of problems. The theory of classical finite-difference (FD) summation-by-parts (SBP) operators with weak imposition of boundary conditions using simultaneous approximation terms (SATs) is extended in several new directions. The SBP-SAT approach is advantageous as it leads to provably consistent, conservative, and stable higher-order discretizations, gives a straightforward means to develop numerical boundary conditions and inter-block coupling, and results in efficient parallel schemes with constant communication overhead, regardless of the order of the scheme. We develop a framework for generalized SBP (GSBP) operators that extends the theory of classical FD-SBP operators to operators with one or more of the following characteristics: i) non-repeating interior operator, ii) nonuniform nodal distribution in the computational domain, and iii) operators that exclude one or both boundary nodes. Necessary and sufficient conditions for the existence of first-derivative GSBP operators are derived. For diagonalnorm operators, we show that if a quadrature rule with positive weights exists, then an associated GSBP operator is guaranteed to exist. This reduces the search for diagonal-norm GSBP operators to the search for quadrature rules with positive weights. Furthermore, we prove that dense-norm GSBP operators on n distinct nodes of up to order n−1 always exist. The framework enables one to show that many known operators have the SBP property and gives a straightforward methodology for the construction of novel operators. We extend the GSBP framework to include approximations to the second derivative with a variable coefficient and develop GSBP operators more accurate than the application of the first-derivative operator twice that lead to stable discretizations of PDEs with crossii derivative terms. We propose a novel decomposition of classical FD-SBP operators that leads to efficient implementations and simplifies the construction of Jacobian matrices. We show how to construct SATs, derive various novel operators, and demonstrate that they have preferential error characteristics relative to classical FD-SBP operators in the context of the linear convection and linear convection-diffusion equations.

[1]  P. Olsson Summation by parts, projections, and stability. II , 1995 .

[2]  David C. Del Rey Fernández,et al.  A generalized framework for nodal first derivative summation-by-parts operators , 2014, J. Comput. Phys..

[3]  John A. Ekaterinaris,et al.  High-order accurate, low numerical diffusion methods for aerodynamics , 2005 .

[4]  H. Kreiss,et al.  Finite Element and Finite Difference Methods for Hyperbolic Partial Differential Equations , 1974 .

[5]  A. Chertock,et al.  Strict Stability of High-Order Compact Implicit Finite-Difference Schemes: The Role of Boundary Conditions for Hyperbolic PDEs, II , 2000 .

[6]  Didier Vigneron,et al.  An implicit high order finite volume scheme for the solution of 3D Navier-Stokes equations with new discretization of diffusive terms , 2008 .

[7]  Michael T. Heath,et al.  Energy stable numerical methods for hyperbolic partial differential equations using overlapping domain decomposition , 2012, J. Comput. Phys..

[8]  J. Oden,et al.  A discontinuous hp finite element method for convection—diffusion problems , 1999 .

[9]  Jason E. Hicken,et al.  Summation-by-parts operators and high-order quadrature , 2011, J. Comput. Appl. Math..

[10]  Jan Nordström,et al.  Analysis of the order of accuracy for node-centered finite volume schemes , 2009 .

[11]  Carl Ollivier-Gooch,et al.  A high-order accurate unstructured finite volume Newton-Krylov algorithm for inviscid compressible flows , 2008, J. Comput. Phys..

[12]  Jan Nordström,et al.  Superconvergent functional output for time-dependent problems using finite differences on summation-by-parts form , 2012, J. Comput. Phys..

[13]  Jing Gong,et al.  Interface procedures for finite difference approximations of the advection-diffusion equation , 2011, J. Comput. Appl. Math..

[14]  Marco Luciano Savini,et al.  Discontinuous Galerkin solution of the Reynolds-averaged Navier–Stokes and k–ω turbulence model equations , 2005 .

[15]  Antony Jameson,et al.  Facilitating the Adoption of Unstructured High-Order Methods Amongst a Wider Community of Fluid Dynamicists , 2011 .

[16]  David C. Del Rey Fernández,et al.  Review of summation-by-parts operators with simultaneous approximation terms for the numerical solution of partial differential equations , 2014 .

[17]  Jan Nordström,et al.  Conservative Finite Difference Formulations, Variable Coefficients, Energy Estimates and Artificial Dissipation , 2006, J. Sci. Comput..

[18]  David Gottlieb,et al.  Spectral Methods on Arbitrary Grids , 1995 .

[19]  H. Kreiss,et al.  Time-Dependent Problems and Difference Methods , 1996 .

[20]  David C. Del Rey Fernández,et al.  Generalized Summation-by-Parts Operators for the Second Derivative , 2014, SIAM J. Sci. Comput..

[21]  D. Gottlieb,et al.  A Stable and Conservative Interface Treatment of Arbitrary Spatial Accuracy , 1999 .

[22]  Nail K. Yamaleev,et al.  Discretely conservative finite-difference formulations for nonlinear conservation laws in split form: Theory and boundary conditions , 2013, J. Comput. Phys..

[23]  Magnus Svärd,et al.  A stable high-order finite difference scheme for the compressible Navier-Stokes equations: No-slip wall boundary conditions , 2008, J. Comput. Phys..

[24]  D. Gottlieb,et al.  Time-stable boundary conditions for finite-difference schemes solving hyperbolic systems: methodology and application to high-order compact schemes , 1994 .

[25]  Chunlei Liang,et al.  Extension of the SD Method to Viscous Flow on Unstructured Grids , 2009 .

[26]  Jason E. Hicken,et al.  Parallel Newton-Krylov Solver for the Euler Equations Discretized Using Simultaneous-Approximation Terms , 2008 .

[27]  Magnus Svärd,et al.  A stable high-order finite difference scheme for the compressible Navier-Stokes equations, far-field boundary conditions , 2007, J. Comput. Phys..

[28]  Daniele Funaro,et al.  Domain decomposition methods for pseudo spectral approximations , 1987 .

[29]  Ramji Kamakoti,et al.  High-Order Narrow Stencil Finite-Difference Approximations of Second-Order Derivatives Involving Variable Coefficients , 2009, SIAM J. Sci. Comput..

[30]  H. T. Huynh,et al.  A Flux Reconstruction Approach to High-Order Schemes Including Discontinuous Galerkin Methods , 2007 .

[31]  David W. Zingg,et al.  A parallel Newton-Krylov-Schur flow solver for the Navier-Stokes equations discretized using summation-by-parts operators , 2013 .

[32]  Jason E. Hicken,et al.  Superconvergent Functional Estimates from Summation-By-Parts Finite-Difference Discretizations , 2011, SIAM J. Sci. Comput..

[33]  B. Gustafsson The convergence rate for difference approximations to mixed initial boundary value problems , 1975 .

[34]  Bradley K. Alpert,et al.  Hybrid Gauss-Trapezoidal Quadrature Rules , 1999, SIAM J. Sci. Comput..

[35]  J. Hesthaven,et al.  Nodal Discontinuous Galerkin Methods: Algorithms, Analysis, and Applications , 2007 .

[36]  Magnus Svärd,et al.  Stable and Accurate Artificial Dissipation , 2004, J. Sci. Comput..

[37]  Ken Mattsson,et al.  A solution to the stability issues with block norm summation by parts operators , 2013, J. Comput. Phys..

[38]  Jie Shen,et al.  Spectral Methods: Algorithms, Analysis and Applications , 2011 .

[39]  A. Huerta,et al.  Finite Element Methods for Flow Problems , 2003 .

[40]  H. Kreiss,et al.  Initial-Boundary Value Problems and the Navier-Stokes Equations , 2004 .

[41]  Forrester T. Johnson,et al.  THIRTY YEARS OF DEVELOPMENT AND APPLICATION OF CFD AT BOEING COMMERCIAL AIRPLANES, SEATTLE , 2005 .

[42]  Magnus Svärd,et al.  On Coordinate Transformations for Summation-by-Parts Operators , 2004, J. Sci. Comput..

[43]  H. T. Huynh,et al.  Differential Formulation of Discontinuous Galerkin and Related Methods for the Navier-Stokes Equations , 2013 .

[44]  Joseph Oliger,et al.  Energy and Maximum Norm Es-timates for Nonlinear Conservation Laws , 1994 .

[45]  Pelle Olsson High-Order Difference Methods and Dataparallel Implementation , 1992 .

[46]  Magnus Svärd,et al.  On the order of accuracy for difference approximations of initial-boundary value problems , 2006, J. Comput. Phys..

[47]  Travis C. Fisher,et al.  High-order entropy stable finite difference schemes for nonlinear conservation laws: Finite domains , 2013, J. Comput. Phys..

[48]  P. Roache Fundamentals of computational fluid dynamics , 1998 .

[49]  Gregor Gassner,et al.  A Skew-Symmetric Discontinuous Galerkin Spectral Element Discretization and Its Relation to SBP-SAT Finite Difference Methods , 2013, SIAM J. Sci. Comput..

[50]  H. C. Yee,et al.  Entropy Splitting for High Order Numerical Simulation of Compressible Turbulence , 2002 .

[51]  H. C. Yee DESIGNING ADAPTIVE LOW-DISSIPATIVE HIGH ORDER SCHEMES FOR LONG-TIME INTEGRATIONS , .

[52]  Jason E. Hicken,et al.  Dual consistency and functional accuracy: a finite-difference perspective , 2014, J. Comput. Phys..

[53]  Dimitri J. Mavriplis,et al.  Multigrid algorithms for high-order discontinuous Galerkin discretizations of the compressible Navier-Stokes equations , 2009, J. Comput. Phys..

[54]  Robert E. Harris,et al.  High-Order Adaptive Quadrature-Free Spectral Volume Method on Unstructured Grids , 2008 .

[55]  David L. Darmofal,et al.  p-Multigrid solution of high-order discontinuous Galerkin discretizations of the compressible Navier-Stokes equations , 2005 .

[56]  H. C. Yee,et al.  Entropy Splitting and Numerical Dissipation , 2000 .

[57]  Rémi Abgrall,et al.  High‐order CFD methods: current status and perspective , 2013 .

[58]  J. Tinsley Oden,et al.  Finite elements: An introduction , 1991 .

[59]  Ken Mattsson,et al.  Summation by Parts Operators for Finite Difference Approximations of Second-Derivatives with Variable Coefficients , 2012, J. Sci. Comput..

[60]  Gregor Gassner,et al.  An Energy Stable Discontinuous Galerkin Spectral Element Discretization for Variable Coefficient Advection Problems , 2014, SIAM J. Sci. Comput..

[61]  Jing Gong,et al.  A stable and conservative high order multi-block method for the compressible Navier-Stokes equations , 2009, J. Comput. Phys..

[62]  B. Strand Summation by parts for finite difference approximations for d/dx , 1994 .

[63]  R. Kannan,et al.  A Study of Viscous Flux Formulations for a p-Multigrid Spectral Volume Navier Stokes Solver , 2009, J. Sci. Comput..

[64]  David C. Del Rey Fernández,et al.  High-Order Compact-Stencil Summation-By-Parts Operators for the Compressible Navier-Stokes Equations , 2013 .

[65]  Chunlei Liang,et al.  Spectral difference method for compressible flow on unstructured grids with mixed elements , 2009, J. Comput. Phys..

[66]  Ken Mattsson,et al.  Boundary Procedures for Summation-by-Parts Operators , 2003, J. Sci. Comput..

[67]  Erik Schnetter,et al.  Optimized High-Order Derivative and Dissipation Operators Satisfying Summation by Parts, and Applications in Three-dimensional Multi-block Evolutions , 2005, J. Sci. Comput..

[68]  Antony Jameson,et al.  On the Non-linear Stability of Flux Reconstruction Schemes , 2012, J. Sci. Comput..

[69]  Jan Nordström,et al.  Boundary and Interface Conditions for High-Order Finite-Difference Methods Applied to the Euler and Navier-Stokes Equations , 1999 .

[70]  P. Tesini,et al.  High‐order accurate p‐multigrid discontinuous Galerkin solution of the Euler equations , 2009 .

[71]  R. McLachlan,et al.  SKEW-ADJOINT FINITE DIFFERENCE METHODS ON NONUNIFORM GRIDS , 2022 .

[72]  Jan Nordström,et al.  Revisiting and Extending Interface Penalties for Multi-domain Summation-by-Parts Operators , 2010, J. Sci. Comput..

[73]  Jan Nordström,et al.  High-order finite difference methods, multidimensional linear problems, and curvilinear coordinates , 2001 .

[74]  David C. Del Rey Fernández,et al.  New Diagonal-Norm Summation-by-Parts Operators for the First Derivative with Increased Order of Accuracy , 2015 .

[75]  Antony Jameson,et al.  CFD for Aerodynamic Design and Optimization: Its Evolution over the Last Three Decades , 2003 .

[76]  Magnus Svärd,et al.  Review of summation-by-parts schemes for initial-boundary-value problems , 2013, J. Comput. Phys..

[77]  Antony Jameson,et al.  Application of High-Order Energy Stable Flux Reconstruction Schemes to the Euler Equations , 2011 .

[78]  J. Nordström,et al.  Summation by Parts Operators for Finite Difference Approximations of Second-Derivatives with Variable Coefficients , 2004, Journal of Scientific Computing.

[79]  Olsson,et al.  SUMMATION BY PARTS, PROJECTIONS, AND STABILITY. I , 2010 .

[80]  Jan Nordström,et al.  Duality based boundary conditions and dual consistent finite difference discretizations of the Navier-Stokes and Euler equations , 2014, J. Comput. Phys..

[81]  D. Gottlieb,et al.  A new method of imposing boundary conditions in pseudospectral approximations of hyperbolic equations , 1988 .

[82]  Thomas H. Pulliam,et al.  Fundamental Algorithms in Computational Fluid Dynamics , 2014 .

[83]  Jan Nordström,et al.  Stable Robin solid wall boundary conditions for the Navier-Stokes equations , 2011, J. Comput. Phys..

[84]  Antony Jameson,et al.  Energy stable flux reconstruction schemes for advection-diffusion problems on triangles , 2013, J. Comput. Phys..

[85]  Magnus Svärd,et al.  Stable and accurate schemes for the compressible Navier-Stokes equations , 2008, J. Comput. Phys..

[86]  Z. Wang High-order methods for the Euler and Navier–Stokes equations on unstructured grids , 2007 .

[87]  Jan Nordström,et al.  On the impact of boundary conditions on dual consistent finite difference discretizations , 2013, J. Comput. Phys..

[88]  David W. Zingg,et al.  Fifty Years of Aerodynamics: Successes, Challenges, and Opportunities , 2004 .

[89]  I. G. Currie Fundamental mechanics of fluids , 1974 .

[90]  Ken Mattsson,et al.  Optimal diagonal-norm SBP operators , 2014, J. Comput. Phys..