Guaranteed upper bounds for the velocity error of pressure-robust Stokes discretisations

This paper improves guaranteed error control for the Stokes problem with a focus on pressure-robustness, i.e. for discretisations that compute a discrete velocity that is independent of the exact pressure. A Prager-Synge type result relates the errors of divergence-free primal and H(div)-conforming dual mixed methods (for the velocity gradient) with an equilibration constraint that needs special care when discretised. To relax the constraints on the primal and dual method, a more general result is derived that enables the use of a recently developed mass conserving mixed stress discretisation to design equilibrated fluxes that yield pressure-independent guaranteed upper bounds for any pressure-robust (but not necessarily divergence-free) primal discretisation. Moreover, a provably efficient local design of the equilibrated fluxes is presented that reduces the numerical costs of the error estimator. All theoretical findings are verified by numerical examples which also show that the efficiency indices of our novel guaranteed upper bounds for the velocity error are close to 1

Guaranteed upper bounds for the velocity error of pressure-robust Stokes discretisations

This paper improves guaranteed error control for the Stokes problem with a focus on pressure-robustness, i.e. for discretisations that compute a discrete velocity that is independent of the exact pressure. A Prager-Synge type result relates the errors of divergence-free primal and H(div)-conforming dual mixed methods (for the velocity gradient) with an equilibration constraint that needs special care when discretised. To relax the constraints on the primal and dual method, a more general result is derived that enables the use of a recently developed mass conserving mixed stress discretisation to design equilibrated fluxes that yield pressure-independent guaranteed upper bounds for any pressure-robust (but not necessarily divergence-free) primal discretisation. Moreover, a provably efficient local design of the equilibrated fluxes is presented that reduces the numerical costs of the error estimator. All theoretical findings are verified by numerical examples which also show that the efficiency indices of our novel guaranteed upper bounds for the velocity error are close to 1

A posteriori error estimation and modeling of unsaturated flow in fractured porous media

This doctoral thesis focuses on three topics: (1) modeling of unsaturated flow in fractured porous media, (2) a posteriori error estimation for mixed-dimensional elliptic equations, and (3) contributions to open-source software for complex multiphysics processes in porous media. In our first contribution, following a Discrete-Fracture Matrix (DFM) approach, we propose a model where Richards' equation governs the water flow in the matrix, whereas fractures are represented as lower-dimensional open channels, naturally providing a capillary barrier to the water flow. Therefore, water in the matrix is only allowed to imbibe the fracture if the capillary barrier is overcome. When this occurs, we assume that the water inside the fracture flows downwards without resistance and, therefore, is instantaneously at hydrostatic equilibrium. This assumption can be justifiable for fractures with sufficiently large apertures, where capillary forces play no role. Mathematically, our model can be classified as a coupled PDE-ODE system of equations with variational inequalities, in which each fracture is considered a potential seepage face. Our second contribution deals with error estimation for mixed-dimensional (mD) elliptic equations, which, in particular, model single-phase flow in fractured porous media. Here, based on the theory of functional a posteriori error estimates, we derive guaranteed upper bounds for the mD primal and mD dual variables, and two-sided bounds for the mD primal-dual pair. Moreover, we improve the standard results of the functional approach by proposing four ways of estimating the residual errors based on the conservation properties of the approximations, that is, (1) no conservation, (2) subdomain conservation, (3) local conservation, and (4) pointwise conservation. This results in sharper and fully-computable bounds when mass is conserved either locally or exactly. To our knowledge, to date, no error estimates have been available for fracture networks, including fracture intersections and floating subdomains. Our last contribution is related to the development of open-source software. First, we present the implementation of a new multipoint finite-volume-based module for unsaturated poroelasticity, compatible with the Matlab Reservoir Simulation Toolbox (MRST). Second, we present a new Python-based simulation framework for multiphysics processes in fractured porous media, named PorePy. PorePy, by design, is particularly well-suited for handling mixed-dimensional geometries, and thus optimal for DFM models. The first two contributions discussed above were implemented in PorePy.Denne avhandlingen tar for seg tre emner: (1) modellering av flyt i umettet porøst medium med sprekker, (2) a posteriori feilestimater for blandet-dimensjonale elliptiske ligninger, og (3) bidrag til åpen kildekode for komplekse multifysikk-prosesser i porøse medier. I det første bidraget anvender vi en Discrete-Fracture Matrix (DFM) (Diskret-Sprekk Matrise) metode til å sette opp en modell hvor Richard's ligning modellerer vann-flyt i matrisen, og sprekkene representeres som lavere-dimensjonale åpne kanaler, som naturlig virker som kapillærbarrierer til vann-flyten. Derfor vil vann i matrisen kun få tilgang til sprekken når kapillærbarrieren blir brutt. Når det inntreffer, antar vi at vannet i sprekken flyter nedover uten motstand, og at hydrostatisk ekvilibrium derfor inntreffer øyeblikkelig. Slike antakelser kan rettferdiggjøres for sprekker med tilstrekkelig stor apertur (åpning), hvor kapillærkrefter ikke har noen innvirkning. Fra et matematisk standpunkt kan modellen klassifiseres som en sammenkoblet PDE-ODE med variasjonelle ulikheter hvor hver sprekk behandles som en filtreringsfase. Det andre bidraget tar for seg feilestimater for blandet-dimensjonale elliptiske ligninger, som modellerer en-fase flyt i porøse medier med sprekker. Her anvender vi teorien for "funksjonal a posteriori feilestimater" til å finne øvre skranker for primær og dual variablene, samt øvre og nedre skranker for primær-dual paret. Dessuten viser vi at vi kan forbedre standardresultatene fra "funksjonal a posteriori feilestimater" ved å foreslå fire måte å estimere residualfeilen basert på bevaringsegenskapene til diskretiseringen. De fire forskjellige bevaringsegenskapene er; ingen bevaringsegenskap, under- domene bevaring, lokal bevaring og punktvis bevaring. Dette fører til skarpere skranker som er mulige å beregne når masse er bevart enten lokalt, eller eksakt. Vi kjenner ikke til andre tilgjengelige feilestimater for sprekknettverk som inkluderer snitt av sprekker og sprekkrender som ligger innenfor domenets rand. Det siste bidraget omhandler utvikling av åpen kildekode. Først presenterer vi imple- menteringen av en multipunktfluks-basert modul for flyt i umettet deformerbart porøst medium som er kompatibelt med "Matlab Reservoir Simulation Toolbox"(MRST). I tillegg presenterer vi et nytt Python-basert rammeverk for simulering av multifysikkprosesser i porøse medier med sprekker, som heter PorePy. Dette rammeverket er designet for å håndtere geometrier med blandede dimensjoner og er derfor optimalt for DFM modeller. De to første bidragene i avhandlingen (nevnt over) er implementert i PorePy.Doktorgradsavhandlin

Generalized averaged Gaussian quadrature and applications

A simple numerical method for constructing the optimal generalized averaged Gaussian quadrature formulas will be presented. These formulas exist in many cases in which real positive GaussKronrod formulas do not exist, and can be used as an adequate alternative in order to estimate the error of a Gaussian rule. We also investigate the conditions under which the optimal averaged Gaussian quadrature formulas and their truncated variants are internal

MS FT-2-2 7 Orthogonal polynomials and quadrature: Theory, computation, and applications

Quadrature rules find many applications in science and engineering. Their analysis is a classical area of applied mathematics and continues to attract considerable attention. This seminar brings together speakers with expertise in a large variety of quadrature rules. It is the aim of the seminar to provide an overview of recent developments in the analysis of quadrature rules. The computation of error estimates and novel applications also are described