Searcharxiv⌕ Search

arXiv subjects

Jan Glaubitz

Publications and source records attributed to Jan Glaubitz.

35 records · Page 2Linked to original sources

Construction and application of provable positive and exact cubature formulas

Many applications require multi-dimensional numerical integration, often in the form of a cubature formula. These cubature formulas are desired to be positive and exact for certain finite-dimensional function spaces (and weight functions). Although there are several efficient procedures to construct positive and exact cubature formulas for many standard cases, it remains a challenge to do so in a more general setting. Here, we show how the method of least squares can be used to derive provable positive and exact formulas in a general multi-dimensional setting. Thereby, the procedure only makes use of basic linear algebra operations, such as solving a least squares problem. In particular, it is proved that the resulting least squares cubature formulas are ensured to be positive and exact if a sufficiently large number of equidistributed data points is used. We also discuss the application of provable positive and exact least squares cubature formulas to construct nested stable high-order rules and positive interpolatory formulas. Finally, our findings shed new light on some existing methods for multivariate numerical integration and under which restrictions these are ensured to be successful.

math.NA↗

Sequential image recovery from noisy and under-sampled Fourier data

A new algorithm is developed to jointly recover a temporal sequence of images from noisy and under-sampled Fourier data. Specifically, we consider the case where each data set is missing vital information that prevents its (individual) accurate recovery. Our new method is designed to restore the missing information in each individual image by "borrowing" it from the other images in the sequence. As a result, {\em all} of the individual reconstructions yield improved accuracy. The use of high resolution Fourier edge detection methods is essential to our algorithm. In particular, edge information is obtained directly from the Fourier data which leads to an accurate coupling term between data sets. Moreover, data loss is largely avoided as coarse reconstructions are not required to process inter- and intra-image information. Numerical examples are provided to demonstrate the accuracy, efficiency and robustness of our new method.

math.NA↗

Energy-stable global radial basis function methods on summation-by-parts form

Radial basis function methods are powerful tools in numerical analysis and have demonstrated good properties in many different simulations. However, for time-dependent partial differential equations, only a few stability results are known. In particular, if boundary conditions are included, stability issues frequently occur. The question we address in this paper is how provable stability for RBF methods can be obtained. We develop and construct energy-stable radial basis function methods using the general framework of summation-by-parts operators often used in the Finite Difference and Finite Element communities.

math.NA↗

Stable high-order cubature formulas for experimental data

In many applications, it is impractical -- if not even impossible -- to obtain data to fit a known cubature formula (CF). Instead, experimental data is often acquired at equidistant or even scattered locations. In this work, stable (in the sense of nonnegative only cubature weights) high-order CFs are developed for this purpose. These are based on the approach to allow the number of data points N to be larger than the number of basis functions K which are integrated exactly by the CF. This yields an (N-K)-dimensional affine linear subspace from which cubature weights are selected that minimize certain norms corresponding to stability of the CF. In the process, two novel classes of stable high-order CFs are proposed and carefully investigated.

math.NA↗

Towards stability of radial basis function based cubature formulas

Cubature formulas (CFs) based on radial basis functions (RBFs) have become an important tool for multivariate numerical integration of scattered data. Although numerous works have been published on such RBF-CFs, their stability theory can still be considered as underdeveloped. Here, we strive to pave the way towards a more mature stability theory for RBF-CFs. In particular, we prove stability for RBF-CFs based on compactly supported RBFs under certain conditions on the shape parameter and the data points. Moreover, it is shown that asymptotic stability of many RBF-CFs is independent of polynomial terms, which are often included in RBF approximations. While our findings provide some novel conditions for stability of RBF-CFs, the present work also demonstrates that there are still many gaps to fill in future investigations.

math.NA↗

Stabilizing Radial Basis Function Methods for Conservation Laws Using Weakly Enforced Boundary Conditions

It is well understood that boundary conditions (BCs) may cause global radial basis function (RBF) methods to become unstable for hyperbolic conservation laws (CLs). Here we investigate this phenomenon and identify the strong enforcement of BCs as the mechanism triggering such stability issues. Based on this observation we propose a technique to weakly enforce BCs in RBF methods. In the case of hyperbolic CLs, this is achieved by carefully building RBF methods from the weak form of the CL, rather than the typically enforced strong form. Furthermore, we demonstrate that global RBF methods may violate conservation, yielding physically unreasonable solutions when the approximation does not take into account these considerations. Numerical experiments validate our theoretical results.

math.NA↗

Towards Stable Radial Basis Function Methods for Linear Advection Problems

In this work, we investigate (energy) stability of global radial basis function (RBF) methods for linear advection problems. Classically, boundary conditions (BC) are enforced strongly in RBF methods. By now it is well-known that this can lead to stability problems, however. Here, we follow a different path and propose two novel RBF approaches which are based on a weak enforcement of BCs. By using the concept of flux reconstruction and simultaneous approximation terms (SATs), respectively, we are able to prove that both new RBF schemes are strongly (energy) stable. Numerical results in one and two spatial dimensions for both scalar equations and systems are presented, supporting our theoretical analysis.

math.NA↗

Constructing Positive Interpolatory Cubature Formulas

Positive interpolatory cubature formulas (CFs) are constructed for quite general integration domains and weight functions. These CFs are exact for general vector spaces of continuous real-valued functions that contain constants. At the same time, the number of data points -- all of which lie inside the domain of integration -- and cubature weights -- all positive -- is less or equal to the dimension of that vector space. The existence of such CFs has been ensured by Tchakaloff in 1957. Yet, to the best of the author's knowledge, this work is the first to provide a procedure to successfully construct them.

math.NA↗

Stable High Order Quadrature Rules for Scattered Data and General Weight Functions

Numerical integration is encountered in all fields of numerical analysis and the engineering sciences. By now, various efficient and accurate quadrature rules are known; for instance, Gauss-type quadrature rules. In many applications, however, it might be impractical---if not even impossible---to obtain data to fit known quadrature rules. Often, experimental measurements are performed at equidistant or even scattered points in space or time. In this work, we propose stable high order quadrature rules for experimental data, which can accurately handle general weight functions.

math.NA↗

Stable discretisations of high-order discontinuous Galerkin methods on equidistant and scattered points

In this work, we propose and investigate stable high-order collocation-type discretisations of the discontinuous Galerkin method on equidistant and scattered collocation points. We do so by incorporating the concept of discrete least squares into the discontinuous Galerkin framework. Discrete least squares approximations allow us to construct stable and high-order accurate approximations on arbitrary collocation points, while discrete least squares quadrature rules allow us their stable and exact numerical integration. Both methods are computed efficiently by using bases of discrete orthogonal polynomials. Thus, the proposed discretisation generalises known classes of discretisations of the discontinuous Galerkin method, such as the discontinuous Galerkin collocation spectral element method. We are able to prove conservation and linear $L^2$-stability of the proposed discretisations. Finally, numerical tests investigate their accuracy and demonstrate their extension to nonlinear conservation laws, systems, longtime simulations, and a variable coefficient problem in two space dimensions.

math.NA↗

Analysis of Artificial Dissipation of Explicit and Implicit Time-Integration Methods

Stability is an important aspect of numerical methods for hyperbolic conservation laws and has received much interest. However, continuity in time is often assumed and only semidiscrete stability is studied. Thus, it is interesting to investigate the influence of explicit and implicit time integration methods on the stability of numerical schemes. If an explicit time integration method is applied, spacially stable numerical schemes for hyperbolic conservation laws can result in unstable fully discrete schemes. Focusing on the explicit Euler method (and convex combinations thereof), undesired terms in the energy balance trigger this phenomenon and introduce an erroneous growth of the energy over time. In this work, we study the influence of artificial dissipation and modal filtering in the context of discontinuous spectral element methods to remedy these issues. In particular, lower bounds on the strength of both artificial dissipation and modal filtering operators are given and an adaptive procedure to conserve the (discrete) $\mathbf{L}_2$ norm of the numerical solution in time is derived. This might be beneficial in regions where the solution is smooth and for long time simulations. Moreover, this approach is used to study the connections between explicit and implicit time integration methods and the associated energy production. By adjusting the adaptive procedure, we demonstrate that filtering in explicit time integration methods is able to mimic the dissipative behavior inherent in implicit time integration methods. This contribution leads to a better understanding of existing algorithms and numerical techniques, in particular the application of artificial dissipation as well as modal filtering in the context of numerical methods for hyperbolic conservation laws together with the selection of explicit or implicit time integration methods.

math.NA↗

Shock Capturing by Bernstein Polynomials for Scalar Conservation Laws

A main disadvantage of many high-order methods for hyperbolic conservation laws lies in the famous Gibbs-Wilbraham phenomenon, once discontinuities appear in the solution. Due to the Gibbs-Wilbraham phenomenon, the numerical approximation will be polluted by spurious oscillations, which produce unphysical numerical solutions and might finally blow up the computation. In this work, we propose a new shock capturing procedure to stabilise high-order spectral element approximations. The procedure consists of going over from the original (polluted) approximation to a convex combination of the original approximation and its Bernstein reconstruction, yielding a stabilised approximation. The coefficient in the convex combination, and therefore the procedure, is steered by a discontinuity sensor and is only activated in troubled elements. Building up on classical Bernstein operators, we are thus able to prove that the resulting Bernstein procedure is total variation diminishing and preserves monotone (shock) profiles. Further, the procedure can be modified to not just preserve but also to enforce certain bounds for the solution, such as positivity. In contrast to other shock capturing methods, e.g. artificial viscosity methods, the new procedure does not reduce the time step or CFL condition and can be easily and efficiently implemented into any existing code. Numerical tests demonstrate that the proposed shock-capturing procedure is able to stabilise and enhance spectral element approximations in the presence of shocks.

math.NA↗

High Order Edge Sensors with $\ell^1$ Regularization for Enhanced Discontinuous Galerkin Methods

This paper investigates the use of $\ell^1$ regularization for solving hyperbolic conservation laws based on high order discontinuous Galerkin (DG) approximations. We first use the polynomial annihilation method to construct a high order edge sensor which enables us to flag troubled elements. The DG approximation is enhanced in these troubled regions by activating $\ell^1$ regularization to promote sparsity in the corresponding jump function of the numerical solution. The resulting $\ell^1$ optimization problem is efficiently implemented using the alternating direction method of multipliers. By enacting $\ell^1$ regularization only in troubled cells, our method remains accurate and efficient, as no additional regularization or expensive iterative procedures are needed in smooth regions. We present results for the inviscid Burgers' equation as well as a nonlinear system of conservation laws using a nodal collocation-type DG method as a solver.

math.NA↗

Stability of Correction Procedure via Reconstruction With Summation-by-Parts Operators for Burgers' Equation Using a Polynomial Chaos Approach

In this paper, we consider Burgers' equation with uncertain boundary and initial conditions. The polynomial chaos (PC) approach yields a hyperbolic system of deterministic equations, which can be solved by several numerical methods. Here, we apply the correction procedure via reconstruction (CPR) using summation-by-parts operators. We focus especially on stability, which is proven for CPR methods and the systems arising from the PC approach. Due to the usage of split-forms, the major challenge is to construct entropy stable numerical fluxes. For the first time, such numerical fluxes are constructed for all systems resulting from the PC approach for Burgers' equation. In numerical tests, we verify our results and show also the advantage of the given ansatz using CPR methods. Moreover, one of the simulations, i.e. Burgers' equation equipped with an initial shock, demonstrates quite fascinating observations. The behaviour of the numerical solutions from several methods (finite volume, finite difference, CPR) differ significantly from each other. Through careful investigations, we conclude that the reason for this is the high sensitivity of the system to varying dissipation. Furthermore, it should be stressed that the system is not strictly hyperbolic with genuinely nonlinear or linearly degenerate fields.

math.NA↗

Application of Modal Filtering to a Spectral Difference Method

We adapt the spectral viscosity (SV) formulation implemented as a modal filter to a Spectral Difference Method (SD) solving hyperbolic conservation laws. In the SD Method we use selections of different orthogonal polynomials (APK polynomials). Furthermore we obtain new error bounds for filtered APK extensions of smooth functions. We demonstrate that the modal filter also depends on the chosen polynomial basis in the SD Method. Spectral filtering stabilizes the scheme and leaves weaker oscillations. Hence, the selection of the family of orthogonal polynomials on triangles and their specific modal filter possesses a positive influence on the stability and accuracy of the SD Method. In the second part, we initiate a stability analysis for a linear scalar test case with periodic initial condition to find the best selection of APK polynomials and their specific modal filter. To the best of our knowledge, this work is the first that gives a stability analysis for a scheme with spectral filtering. Finally, we demonstrate the influence of the underlying basis of APK polynomials in a well-known test case.

math.NA↗

Enhancing stability of correction procedure via reconstruction using summation-by-parts operators I: Artificial dissipation

The correction procedure via reconstruction (CPR, also known as flux reconstruction) is a framework of high order semidiscretisations used for the numerical solution of hyperbolic conservation laws. Using a reformulation of these schemes relying on summation-by-parts (SBP) operators and simultaneous approximation terms (SATs), artificial dissipation / spectral viscosity operators are investigated in this first part of a series. Semidiscrete stability results for linear advection and Burgers' equation as model problems are extended to fully discrete stability by an explicit Euler method. As second part of this series, Glaubitz, Ranocha, Öffner, and Sonar (Enhancing stability of correction procedure via reconstruction using summation-by-parts operators II: Modal filtering, 2016) investigate connections to modal filters and their application instead of artificial dissipation.

math.NA↗

Enhancing stability of correction procedure via reconstruction using summation-by-parts operators II: Modal filtering

A recently introduced framework of semidiscretisations for hyperbolic conservation laws known as correction procedure via reconstruction (CPR, also known as flux reconstruction) is considered in the extended setting of summation-by-parts (SBP) operators using simultaneous approximation terms (SATs). This reformulation can yield stable semidiscretisations for linear advection and Burgers' equation as model problems. In order to enhance these properties, modal filters are introduced to this framework. As a second part of a series, the results of Ranocha, Glaubitz, Öffner, and Sonar ("Enhancing stability of correction procedure via reconstruction using summation-by-parts operators I: Artificial dissipation", 2016) concerning artificial dissipation / spectral viscosity are extended, yielding fully discrete stable schemes. Additionally, a new adaptive strategy to compute the filter strength is introduced and different possible applications of modal filters are compared both theoretically and numerically.

math.NA↗