David A. Kopriva’s research while affiliated with San Diego State University and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (139)


Figure 1: Diagram of the correct, Ω, erroneous, Ωe, and reference, D, domains
Figure 2: Correct domain (solid lines) and Erroneous domain (dashed line) boundary curves in two space dimensions used to isolate the boundary errors to one boundary
Figure 5: Correct and erroneous domains in two space dimensions with linear and quadratic perturbations. On the left, the approximate curve matches at least one end point. On the right is the minimax approximation
Figure 9: Correct domain with a circular boundary
Global Bounds for the Error in Solutions of Linear Hyperbolic Systems due to Inaccurate Boundary Geometry
  • Preprint
  • File available

March 2025

·

45 Reads

David A. Kopriva

·

·

We derive global estimates for the error in solutions of linear hyperbolic systems due to inaccurate boundary geometry. We show that the error is bounded by data and bounded in time when the solutions in the true and approximate domains are bounded. We show that boundary data evaluation errors due to the incorrect locations of the boundaries are secondary effects, whereas the primary errors are from the Jacobian and metric terms. In two space dimensions, specifically, we show that to lowest order the errors are proportional to the errors in the boundary curves and their derivatives. The results illustrate the importance of accurately approximating boundaries, and they should be helpful for high-order mesh generation and the design of optimization algorithms for boundary approximations.

Download


Figure 1: Spectral element mesh for the Reyran river valley including a portion of the Mediterranean Sea
Figure 3: Spectral element computation of the water heights at 1985s after the break of the Malpasset dam
HOHQMesh: An All Quadrilateral/Hexahedral Unstructured Mesh Generator for High Order Elements

December 2024

·

170 Reads

·

1 Citation

The Journal of Open Source Software

David A. Kopriva

·

·

·

[...]

·

HOHQMesh generates unstructured all-quadrilateral and hexahedral meshes with high order boundary information for use with spectral element solvers. Model input by the user requires only an optional outer boundary curve plus any number of inner boundary curves that are built as chains of simple geometric entities (lines and circles), user defined equations, and cubic splines. Inner boundary curves can be designated as interface boundaries to force element edges along them. Quadrilateral meshes are generated automatically with the mesh sizes guided by a background grid and the model, without additional input by the user. Hexahedral meshes are generated by extrusions of a quadrilateral mesh, including sweeping along a curve, and can follow bottom topography. The mesh files that HOHQMesh generates include high order polynomial interpolation points of arbitrary order


Mimetic Metrics for the DGSEM

October 2024

·

52 Reads

Free-stream preservation is an essential property for numerical solvers on curvilinear grids. Key to this property is that the metric terms of the curvilinear mapping satisfy discrete metric identities, i.e., have zero divergence. Divergence-free metric terms are furthermore essential for entropy stability on curvilinear grids. We present a new way to compute the metric terms for discontinuous Galerkin spectral element methods (DGSEMs) that guarantees they are divergence-free. Our proposed mimetic approach uses projections that fit within the de Rham Cohomology.


Energy Bounds for Discontinuous Galerkin Spectral Element Approximations of Well-Posed Overset Grid Problems for Hyperbolic Systems

October 2024

·

51 Reads

Journal of Computational Physics

We show that even though the Discontinuous Galerkin Spectral Element Method is stable for hyperbolic boundary-value problems, and the overset domain problem is well-posed in an appropriate norm, the energy of the approximation of the latter is bounded by data only for fixed polynomial order, mesh, and time. In the absence of dissipation, coupling of the overlapping domains is destabilizing by allowing positive eigenvalues in the system to be integrated in time. This coupling can be stabilized in one space dimension by using the upwind numerical flux. To help provide additional dissipation, we introduce a novel penalty method that applies dissipation at arbitrary points within the overlap region and depends only on the difference between the solutions. We present numerical experiments in one space dimension to illustrate the implementation of the well-posed penalty formulation, and show spectral convergence of the approximations when sufficient dissipation is applied




Analysis of an Explicit, High-Order Semi-Lagrangian Nodal Method

December 2022

·

123 Reads

A discrete analysis of the phase and dissipation errors of an explicit, semi-Lagrangian spectral element method is performed. The semi-Lagrangian method advects the Lagrange interpolant according the Lagrangian form of the transport equations and uses a least-square fit to correct the update for interface constraints of neighbouring elements. By assuming a monomial representation instead of the Lagrange form, a discrete version of the algorithm on a single element is derived. The resulting algebraic system lends itself to both a Modified Equation analysis and an eigenvalue analysis. The Modified Equation analysis, which Taylor expands the stencil at a single space location and time instance, shows that the semi-Lagrangian method is consistent with the PDE form of the transport equation in the limit that the element size goes to zero. The leading order truncation term of the Modified Equation is of the order of the degree of the interpolant which is consistent with numerical tests reported in the literature. The dispersion relations show that the method is negligibly dispersive, as is common for semi-Lagrangian methods. An eigenvalue analysis shows that the semi-Lagrangian method with a nodal Chebyshev interpolant is stable for a Courant-Friedrichs-Lewy condition based on the minimum collocation node spacing within an element that is greater than unity.


Figure 1: Exploded view of the overset grid problem showing physical, Γa, Γ d , and artificial interior, Γ b ,Γc, boundaries
Figure 2: Diagram of the original problem domain Ω, sketched in 2D
Figure 3: Diagrams of the overset geometry in 2D with the vertical projection of the domains and curves on the right. The physical boundaries are Γa and Γ d . The interior interfaces are Γ b and Γ b . The normals are defined to point to the exterior of the overset domains, Ωu and Ωv. Boundaries are traversed in a counter-clockwise fashion as illustrated by the white arrows and paths on the right. As a result of their definition in terms of the original overset domains, the normals on the complementary domains Ω¯ u and Ω¯ v are not in standard outward form. (C.f. ˆ nc pointing into subdomain Ω¯ v .)
Figure 4: The overset domain problem in one space dimension
On the Theoretical Foundation of Overset Grid Methods for Hyperbolic Problems II: Entropy Bounded Formulations for Nonlinear Conservation Laws

December 2022

·

124 Reads

·

2 Citations

Journal of Computational Physics

We derive entropy conserving and entropy dissipative overlapping domain formulations for systems of nonlinear hyperbolic equations in conservation form, such as would be approximated by overset mesh methods. The entropy conserving formulation imposes a two-way coupling at the artificial interface boundaries through nonlinear penalty functions that vanish when the solutions coincide. The penalty functions are expressed in terms of entropy conserving fluxes originally introduced for finite volume schemes. In addition to the interface coupling, which is required, entropy dissipation and coupling can optionally be added through the use of linear penalties within the overlap region.


HORSES3D: a high-order discontinuous Galerkin solver for flow simulations and multi-physics applications

June 2022

·

837 Reads

We present the latest developments of our High-Order Spectral Element Solver (HORSES3D), an open source high-order discontinuous Galerkin framework, capable of solving a variety of flow applications, including compressible flows (with or without shocks), incompressible flows, various RANS and LES turbulence models, particle dynamics, multiphase flows, and aeroacoustics. We provide an overview of the high-order spatial discretisation (including energy/entropy stable schemes) and anisotropic p-adaptation capabilities. The solver is parallelised using MPI and OpenMP showing good scalability for up to 1000 processors. Temporal discretisations include explicit, implicit, multigrid, and dual time-stepping schemes with efficient preconditioners. Additionally, we facilitate meshing and simulating complex geometries through a mesh-free immersed boundary technique. We detail the available documentation and the test cases included in the GitHub repository.


Citations (62)


... This is what one must do when the mesh generator, e.g. HOHQMesh [19], HOPR [20], provides only an approximation to the boundary. This situation is where a boundary is defined by an interpolant only in terms of a set of points, and the exact "truth" boundary is never actually known by a solver. ...

Reference:

Global Bounds for the Error in Solutions of Linear Hyperbolic Systems due to Inaccurate Boundary Geometry
HOHQMesh: An All Quadrilateral/Hexahedral Unstructured Mesh Generator for High Order Elements

The Journal of Open Source Software

... Moreover, DG schemes offer high flexibility in element sizes and shapes, allow for adaptive mesh refinement, and permit a local adjustment of the order of accuracy [4,5]. Consequently, the DG and derived methods such as the tensor-product based discontinuous Galerkin spectral element method gained great popularity over recent decades, manifesting in a plethora of highly efficient code frameworks [6,7,8,9,10,11,3]. A general drawback of DG methods, similar to other high-order methods, is their lack of robustness in the presence of discontinuities (Gibbs phenomenon) or due to strongly non-linear flux functions (aliasing). ...

HORSES3D: A high-order discontinuous Galerkin solver for flow simulations and multi-physics applications
  • Citing Article
  • February 2023

Computer Physics Communications

... As it stands, the finite volume scheme (38) is not structure preserving: it is neither compliant with the extra conservation laws (1c) nor with (25). Therefore some ad hoc modifications have to be designed in order to make the scheme structure preserving. ...

On the Theoretical Foundation of Overset Grid Methods for Hyperbolic Problems II: Entropy Bounded Formulations for Nonlinear Conservation Laws

Journal of Computational Physics

... Many works were focused on finding an entropy stable semidiscretization (in space), isolating the entropy conservative flux. These techniques have been applied to many applications, inter alia for shallow water equations [33,63,45], for Euler's equation [46,32,12,50,49,17], Navier Stokes problems [31,64,18,43,42], magneto hydrodynamics problems [13], multiphase or multicomponent problems [16,52,44] and generally for hyperbolic problems [1,3,39,40,14,9,25,26,38,35,51], also in the Lagrangian framework [10,20,11]. More recently also fully discrete entropy stable or entropy conservative schemes have been introduced, e.g. ...

On the Theoretical Foundation of Overset Grid Methods for Hyperbolic Problems Ii: Entropy Bounded Formulations for Nonlinear Conservation Laws
  • Citing Article
  • January 2022

SSRN Electronic Journal

... That, uniqueness, and the fact that the solutions of (2) are the same in norm to the solution of OP, which is known to be well-posed, imply existence, from which well-posedness of (2) follows. See [4]. ...

On the Theoretical Foundation of Overset Grid Methods for Hyperbolic Problems: Well-Posedness and Conservation

Journal of Computational Physics

... The discretized problem can then be solved numerically to obtain an approximate solution of the original problem. DG discretization approaches for hyperbolic balance laws are for example used in [18,26,27,54]. ...

A Split-form, Stable CG/DG-SEM for Wave Propagation Modeled by Linear Hyperbolic Systems

Journal of Scientific Computing

... Using lifting approaches [7,62] and proper continuous boundary conditions, it is straightforward to apply the results (formulations that lead to energy conservation and bounds) from the continuous analysis and develop stable numerical schemes. This procedure enables research groups using different numerical techniques such as finite difference [63,64,65], finite volume [66,67], spectral elements [68,69], flux reconstruction [70,71,71], discontinuous Galerkin [72,73,74] and continuous Galerkin schemes [75,76] to make use of the results. The only requirement is that one can formulate the numerical procedure on summation-by-parts (SBP) form with weak boundary conditions on simultaneous approximation term (SAT) form [77,78] or equivalently through numerical flux functions [74]. ...

Stability of Discontinuous Galerkin Spectral Element Schemes for Wave Propagation when the Coefficient Matrices have Jumps

... Approximative solutions which constitute the output to initial boundary value problems (IBVPs) are for most applications of practical interest generated by numerical algorithms such as finite difference [1][2][3], finite volume [4,5], spectral elements [6,7], flux reconstruction [8,9], discontinuous Galerkin [10][11][12] and continuous Galerkin [13,14] schemes. The investigation of stability, accuracy and convergence of these approximations dominate in the numerical analysis literature (see [15][16][17][18][19][20][21] for examples regarding linear problems and [22][23][24][25][26][27][28][29][30] for nonlinear ones). ...

Stability of Discontinuous Galerkin Spectral Element Schemes for Wave Propagation when the Coefficient Matrices have Jumps

Journal of Scientific Computing

... The spatial DGSEM discretization of the bulk Eq. (1) used in this work is similar to the one in Breuer et al. (2023). The general DGSEM framework is detailed in Kronbichler (2021) and Winters et al. (2021) and the book of Hesthaven and Warburton (2008). As there is sufficient literature on the method and its application in chromatography, we only provide concise definitions essential for seamless comprehension of this work. ...

Construction of Modern Robust Nodal Discontinuous Galerkin Spectral Element Methods for the Compressible Navier–Stokes Equations
  • Citing Chapter
  • January 2021

... In more challenging setups, it might be necessary to use a more robust slip-wall boundary condition. For instance, entropy-stable wall boundary conditions have been developed in [78,79]. Figure 4 shows the evolution of the magnetized Kelvin-Helmholtz instability problem for the fourth-order ( = 3) ...

Stability of Wall Boundary Condition Procedures for Discontinuous Galerkin Spectral Element Approximations of the Compressible Euler Equations

Lecture Notes in Computational Science and Engineering