-
A hypocoercivity-exploiting stabilised finite element method for Kolmogorov equation
Authors:
Zhaonan Dong,
Emmanuil H. Georgoulis,
Philip J. Herbert
Abstract:
We propose a new stabilised finite element method for the classical Kolmogorov equation. The latter serves as a basic model problem for large classes of kinetic-type equations and, crucially, is characterised by degenerate diffusion. The stabilisation is constructed so that the resulting method admits a \emph{numerical hypocoercivity} property, analogous to the corresponding property of the PDE pr…
▽ More
We propose a new stabilised finite element method for the classical Kolmogorov equation. The latter serves as a basic model problem for large classes of kinetic-type equations and, crucially, is characterised by degenerate diffusion. The stabilisation is constructed so that the resulting method admits a \emph{numerical hypocoercivity} property, analogous to the corresponding property of the PDE problem. More specifically, the stabilisation is constructed so that spectral gap is possible in the resulting ``stronger-than-energy'' stabilisation norm, despite the degenerate nature of the diffusion in Kolmogorov, thereby the method has a provably robust behaviour as the ``time'' variable goes to infinity. We consider both a spatially discrete version of the stabilised finite element method and a fully discrete version, with the time discretisation realised by discontinuous Galerkin timestep**. Both stability and a priori error bounds are proven in all cases. Numerical experiments verify the theoretical findings.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
A deep implicit-explicit minimizing movement method for option pricing in jump-diffusion models
Authors:
Emmanuil H. Georgoulis,
Antonis Papapantoleon,
Costas Smaragdakis
Abstract:
We develop a novel deep learning approach for pricing European basket options written on assets that follow jump-diffusion dynamics. The option pricing problem is formulated as a partial integro-differential equation, which is approximated via a new implicit-explicit minimizing movement time-step** approach, involving approximation by deep, residual-type Artificial Neural Networks (ANNs) for eac…
▽ More
We develop a novel deep learning approach for pricing European basket options written on assets that follow jump-diffusion dynamics. The option pricing problem is formulated as a partial integro-differential equation, which is approximated via a new implicit-explicit minimizing movement time-step** approach, involving approximation by deep, residual-type Artificial Neural Networks (ANNs) for each time step. The integral operator is discretized via two different approaches: a) a sparse-grid Gauss--Hermite approximation following localised coordinate axes arising from singular value decompositions, and b) an ANN-based high-dimensional special-purpose quadrature rule. Crucially, the proposed ANN is constructed to ensure the asymptotic behavior of the solution for large values of the underlyings and also leads to consistent outputs with respect to a priori known qualitative properties of the solution. The performance and robustness with respect to the dimension of the methods are assessed in a series of numerical experiments involving the Merton jump-diffusion model.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
A posteriori error estimates for discontinuous Galerkin methods on polygonal and polyhedral meshes
Authors:
Andrea Cangiani,
Zhaonan Dong,
Emmanuil H. Georgoulis
Abstract:
We present a new residual-type energy-norm a posteriori error analysis for interior penalty discontinuous Galerkin (dG) methods for linear elliptic problems. The new error bounds are also applicable to dG methods on meshes consisting of elements with very general polygonal/polyhedral shapes. The case of simplicial and/or box-type elements is included in the analysis as a special case. In particula…
▽ More
We present a new residual-type energy-norm a posteriori error analysis for interior penalty discontinuous Galerkin (dG) methods for linear elliptic problems. The new error bounds are also applicable to dG methods on meshes consisting of elements with very general polygonal/polyhedral shapes. The case of simplicial and/or box-type elements is included in the analysis as a special case. In particular, for the upper bounds, an arbitrary number of very small faces are allowed on each polygonal/polyhedral element, as long as certain mild shape regularity assumptions are satisfied. As a corollary, the present analysis generalizes known a posteriori error bounds for dG methods, allowing in particular for meshes with an arbitrary number of irregular hanging nodes per element. The proof hinges on a new conforming recovery strategy in conjunction with a Helmholtz decomposition formula. The resulting a posteriori error bound involves jumps on the tangential derivatives along elemental faces. Local lower bounds are also proven for a number of practical cases. Numerical experiments are also presented, highlighting the practical value of the derived a posteriori error bounds as error estimators.
△ Less
Submitted 12 July, 2023; v1 submitted 18 August, 2022;
originally announced August 2022.
-
Discrete Gradient Flow Approximations of High Dimensional Evolution Partial Differential Equations via Deep Neural Networks
Authors:
Emmanuil H. Georgoulis,
Michail Loulakis,
Asterios Tsiourvas
Abstract:
We consider the approximation of initial/boundary value problems involving, possibly high-dimensional, dissipative evolution partial differential equations (PDEs) using a deep neural network framework. More specifically, we first propose discrete gradient flow approximations based on non-standard Dirichlet energies for problems involving essential boundary conditions posed on bounded spatial domai…
▽ More
We consider the approximation of initial/boundary value problems involving, possibly high-dimensional, dissipative evolution partial differential equations (PDEs) using a deep neural network framework. More specifically, we first propose discrete gradient flow approximations based on non-standard Dirichlet energies for problems involving essential boundary conditions posed on bounded spatial domains. The imposition of the boundary conditions is realized weakly via non-standard functionals; the latter classically arise in the construction of Galerkin-type numerical methods and are often referred to as "Nitsche-type" methods. Moreover, inspired by the seminal work of Jordan, Kinderleher, and Otto (JKO) \cite{jko}, we consider the second class of discrete gradient flows for special classes of dissipative evolution PDE problems with non-essential boundary conditions. These JKO-type gradient flows are solved via deep neural network approximations. A key, distinct aspect of the proposed methods is that the discretization is constructed via a sequence of residual-type deep neural networks (DNN) corresponding to implicit time-step**. As a result, a DNN represents the PDE problem solution at each time node. This approach offers several advantages in the training of each DNN. We present a series of numerical experiments which showcase the good performance of Dirichlet-type energy approximations for lower space dimensions and the excellent performance of the JKO-type energies for higher spatial dimensions.
△ Less
Submitted 1 June, 2022;
originally announced June 2022.
-
Robust interior penalty discontinuous Galerkin methods
Authors:
Zhaonan Dong,
Emmanuil H. Georgoulis
Abstract:
Classical interior penalty discontinuous Galerkin (IPDG) methods for diffusion problems require a number of assumptions on the local variation of mesh-size, polynomial degree, and of the diffusion coefficient to determine the values of the, so-called, discontinuity-penalization parameter and/or to perform error analysis. Variants of IPDG methods involving weighted averages of the gradient of the a…
▽ More
Classical interior penalty discontinuous Galerkin (IPDG) methods for diffusion problems require a number of assumptions on the local variation of mesh-size, polynomial degree, and of the diffusion coefficient to determine the values of the, so-called, discontinuity-penalization parameter and/or to perform error analysis. Variants of IPDG methods involving weighted averages of the gradient of the approximate solution have been proposed in the context of high-contrast diffusion coefficients to mitigate the dependence of the contrast in the stability and in the error analysis. Here, we present a new IPDG method, involving carefully constructed weighted averages of the gradient of the approximate solution, which is shown to be robust even for the most extreme simultaneous local mesh, polynomial degree and diffusion coefficient variation scenarios, without resulting in unreasonably large penalization. The new method, henceforth termed as \emph{robust IPDG} (RIPDG), offers typically significantly better conditioning than the standard IPDG method when applied to scenarios with strong mesh/polynomial degree/diffusion local variation. On the other hand, when using uniform meshes, constant polynomial degree and for problems with constant diffusion coefficients, the RIPDG method is identical to the classical IPDG. Numerical experiments indicate the favourable performance of the new RIPDG method over the classical version in terms of conditioning and error.
△ Less
Submitted 23 May, 2022; v1 submitted 5 August, 2021;
originally announced August 2021.
-
GPU-accelerated discontinuous Galerkin methods on polytopic meshes
Authors:
Zhaonan Dong,
Emmanuil H. Georgoulis,
Thomas Kappas
Abstract:
Discontinuous Galerkin (dG) methods on meshes consisting of polygonal/polyhedral (henceforth, collectively termed as \emph{polytopic}) elements have received considerable attention in recent years. Due to the physical frame basis functions used typically and the quadrature challenges involved, the matrix-assembly step for these methods is often computationally cumbersome. To address this important…
▽ More
Discontinuous Galerkin (dG) methods on meshes consisting of polygonal/polyhedral (henceforth, collectively termed as \emph{polytopic}) elements have received considerable attention in recent years. Due to the physical frame basis functions used typically and the quadrature challenges involved, the matrix-assembly step for these methods is often computationally cumbersome. To address this important practical issue, this work proposes two parallel assembly implementation algorithms on CUDA-enabled graphics cards for the interior penalty dG method on polytopic meshes for various classes of linear PDE problems. We are concerned with both single GPU parallelization, as well as with implementation on distributed GPU nodes. The results included showcase almost linear scalability of the quadrature step with respect to the number of GPU-cores used since no communication is needed for the assembly step. In turn, this can justify the claim that polytopic dG methods can be implemented extremely efficiently, as any assembly computing time overhead compared to finite elements on `standard' simplicial or box-type meshes can be effectively circumvented by the proposed algorithms.
△ Less
Submitted 15 February, 2021; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Adaptive non-hierarchical Galerkin methods for parabolic problems with application to moving mesh and virtual element methods
Authors:
Andrea Cangiani,
Emmanuil H. Georgoulis,
Oliver J. Sutton
Abstract:
We present a posteriori error estimates for inconsistent and non-hierarchical Galerkin methods for linear parabolic problems, allowing them to be used in conjunction with very general mesh modification for the first time. We treat schemes which are non-hierarchical in the sense that the spatial Galerkin spaces used on consecutive time-steps may be completely unrelated from one another. The practic…
▽ More
We present a posteriori error estimates for inconsistent and non-hierarchical Galerkin methods for linear parabolic problems, allowing them to be used in conjunction with very general mesh modification for the first time. We treat schemes which are non-hierarchical in the sense that the spatial Galerkin spaces used on consecutive time-steps may be completely unrelated from one another. The practical interest of this setting is demonstrated by applying our results to finite element methods on moving meshes and using the estimators to drive an adaptive algorithm based on a virtual element method on a mesh of arbitrary polygons. The a posteriori error estimates, for the error measured in the $L^2(H^1)$ and $L^{\infty}(L^2)$ norms, are derived using the elliptic reconstruction technique in an abstract framework designed to precisely encapsulate our notion of inconsistency and non-hierarchicality and requiring no particular compatibility between the computational meshes used on consecutive time-steps, thereby significantly relaxing this basic assumption underlying previous estimates.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Convergence of adaptive discontinuous Galerkin methods (corrected version of [Math. Comp. 87 (2018), no. 314, 2611--2640])
Authors:
Christian Kreuzer,
Emmanuil H. Georgoulis
Abstract:
We develop a general convergence theory for adaptive discontinuous Galerkin methods for elliptic PDEs covering the popular SIPG, NIPG and LDG schemes as well as all practically relevant marking strategies. Another key feature of the presented result is, that it holds for penalty parameters only necessary for the standard analysis of the respective scheme. The analysis is based on a quasi interpola…
▽ More
We develop a general convergence theory for adaptive discontinuous Galerkin methods for elliptic PDEs covering the popular SIPG, NIPG and LDG schemes as well as all practically relevant marking strategies. Another key feature of the presented result is, that it holds for penalty parameters only necessary for the standard analysis of the respective scheme. The analysis is based on a quasi interpolation into a newly developed limit space of the adaptively created non-conforming discrete spaces, which enables to generalise the basic convergence result for conforming adaptive finite element methods by Morin, Siebert, and Veeser [A basic convergence result for conforming adaptive finite elements, Math. Models Methods Appl. Sci., 2008, 18(5), 707--737].
△ Less
Submitted 4 September, 2020; v1 submitted 27 September, 2019;
originally announced September 2019.
-
A posteriori error estimates for the Allen-Cahn problem
Authors:
Konstantinos Chrysafinos,
Emmanuil H. Georgoulis,
Dimitra Plaka
Abstract:
This work is concerned with the proof of \emph{a posteriori} error estimates for fully-discrete Galerkin approximations of the Allen-Cahn equation in two and three spatial dimensions. The numerical method comprises of the backward Euler method combined with conforming finite elements in space. For this method, we prove conditional type \emph{a posteriori} error estimates in the…
▽ More
This work is concerned with the proof of \emph{a posteriori} error estimates for fully-discrete Galerkin approximations of the Allen-Cahn equation in two and three spatial dimensions. The numerical method comprises of the backward Euler method combined with conforming finite elements in space. For this method, we prove conditional type \emph{a posteriori} error estimates in the $L^{}_4(0,T;L^{}_4(Ω))$-norm that depend polynomially upon the inverse of the interface length $ε$. The derivation relies crucially on the availability of a spectral estimate for the linearized Allen-Cahn operator about the approximating solution in conjunction with a continuation argument and a variant of the elliptic reconstruction. The new analysis also appears to improve variants of known \emph{a posteriori} error bounds in $L_2(H^1)$, $L_\infty^{}(L_2^{})$-norms in certain regimes.
△ Less
Submitted 29 July, 2019;
originally announced July 2019.
-
$hp$-Version discontinuous Galerkin methods on essentially arbitrarily-shaped elements
Authors:
Andrea Cangiani,
Zhaonan Dong,
Emmanuil H. Georgoulis
Abstract:
We extend the applicability of the popular interior-penalty discontinuous Galerkin (dG) method discretizing advection-diffusion-reaction problems to meshes comprising extremely general, essentially arbitrarily-shaped element shapes. In particular, our analysis allows for \emph{curved} element shapes, without the use of non-linear elemental maps. The feasibility of the method relies on the definiti…
▽ More
We extend the applicability of the popular interior-penalty discontinuous Galerkin (dG) method discretizing advection-diffusion-reaction problems to meshes comprising extremely general, essentially arbitrarily-shaped element shapes. In particular, our analysis allows for \emph{curved} element shapes, without the use of non-linear elemental maps. The feasibility of the method relies on the definition of a suitable choice of the discontinuity penalization, which turns out to be explicitly dependent on the particular element shape, but essentially independent on small shape variations. This is achieved upon proving extensions of classical trace and Markov-type inverse estimates to arbitrary element shapes. A further new $H^1-L_2$-type inverse estimate on essentially arbitrary element shapes enables the proof of inf-sup stability of the method in a streamline-diffusion-like norm. These inverse estimates may be of independent interest. A priori error bounds for the resulting method are given under very mild structural assumptions restricting the magnitude of the local curvature of element boundaries. Numerical experiments are also presented, indicating the practicality of the proposed approach.
△ Less
Submitted 10 May, 2021; v1 submitted 4 June, 2019;
originally announced June 2019.
-
Hypocoercivity-compatible finite element methods for the long-time computation of Kolmogorov's equation
Authors:
Emmanuil H. Georgoulis
Abstract:
This work is concerned with the development of a family of Galerkin finite element methods for the classical Kolmogorov's equation. Kolmogorov's equation serves as a sufficiently rich, for our purposes, model problem for kinetic-type equations and is characterised by diffusion in one of the two (or three) spatial directions only. Nonetheless, its solution admits typically decay properties to some…
▽ More
This work is concerned with the development of a family of Galerkin finite element methods for the classical Kolmogorov's equation. Kolmogorov's equation serves as a sufficiently rich, for our purposes, model problem for kinetic-type equations and is characterised by diffusion in one of the two (or three) spatial directions only. Nonetheless, its solution admits typically decay properties to some long time equilibrium, depending on closure by suitable boundary/decay-at-infinity conditions. A key attribute of the proposed family of methods is that they also admit similar decay properties at the (semi)discrete level for very general families of triangulations. The method construction uses ideas by the general theory of hypocoercivity developed by Villani [23], along with judicious choice of numerical flux functions. These developments turn out to be sufficient to imply that the proposed finite element methods admit a priori error bounds with constants independent of the final time, despite Kolmogorov equation's degenerate diffusion nature. Thus, the new methods provably allow for robust error analysis for final times tending to infinity. The extension to three spatial dimensions is also briefly discussed.
△ Less
Submitted 17 December, 2020; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Recovered finite element methods on polygonal and polyhedral meshes
Authors:
Zhaonan Dong,
Emmanuil H. Georgoulis,
Tristan Pryer
Abstract:
Recovered finite element methods (R-FEM) have been recently introduced for meshes consisting of simplicial and/or box-type meshes. Here, utilising the flexibility of R-FEM framework, we extend their definition on polygonal and polyhedral meshes in two and three spatial dimensions, respectively. A key attractive feature of this framework is its ability to produce conforming discretizations, yet inv…
▽ More
Recovered finite element methods (R-FEM) have been recently introduced for meshes consisting of simplicial and/or box-type meshes. Here, utilising the flexibility of R-FEM framework, we extend their definition on polygonal and polyhedral meshes in two and three spatial dimensions, respectively. A key attractive feature of this framework is its ability to produce conforming discretizations, yet involving only as many degrees of freedom as discontinuous Galerkin methods over general polygonal/polyhedral meshes with potentially many faces per element. A priori error bounds are shown for general linear, possibly degenerate, second order advection-diffusion-reaction boundary value problems. A series of numerical experiments highlights the good practical performance of the proposed numerical framework.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Revealing new dynamical patterns in a reaction-diffusion model with cyclic competition via a novel computational framework
Authors:
Andrea Cangiani,
Emmanuil H. Georgoulis,
Andrew Yu. Morozov,
Oliver J. Sutton
Abstract:
Understanding how patterns and travelling waves form in chemical and biological reaction-diffusion models is an area which has been widely researched, yet is still experiencing fast development. Surprisingly enough, we still do not have a clear understanding about all possible types of dynamical regimes in classical reaction-diffusion models such as Lotka-Volterra competition models with spatial d…
▽ More
Understanding how patterns and travelling waves form in chemical and biological reaction-diffusion models is an area which has been widely researched, yet is still experiencing fast development. Surprisingly enough, we still do not have a clear understanding about all possible types of dynamical regimes in classical reaction-diffusion models such as Lotka-Volterra competition models with spatial dependence. In this work, we demonstrate some new types of wave propagation and pattern formation in a classical three species cyclic competition model with spatial diffusion, which have been so far missed in the literature. These new patterns are characterised by a high regularity in space, but are different from patterns previously known to exist in reaction-diffusion models, and may have important applications in improving our understanding of biological pattern formation and invasion theory. Finding these new patterns is made technically possible by using an automatic adaptive finite element method driven by a novel a posteriori error estimate which is proven to provide a reliable bound for the error of the numerical method. We demonstrate how this numerical framework allows us to easily explore the dynamical patterns both in two and three spatial dimensions.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.
-
A posteriori error bounds for fully-discrete hp-discontinuous Galerkin timestep** methods for parabolic problems
Authors:
Emmanuil H. Georgoulis,
Omar Lakkis,
Thomas P. Wihler
Abstract:
We consider fully discrete time-space approximations of abstract linear parabolic partial differential equations (PDEs) consisting of an $hp$-version discontinuous Galerkin (DG) time step** scheme in conjunction with standard (conforming) Galerkin discretizations in space. We derive abstract computable a posteriori error bounds resulting, for instance, in concrete bounds in…
▽ More
We consider fully discrete time-space approximations of abstract linear parabolic partial differential equations (PDEs) consisting of an $hp$-version discontinuous Galerkin (DG) time step** scheme in conjunction with standard (conforming) Galerkin discretizations in space. We derive abstract computable a posteriori error bounds resulting, for instance, in concrete bounds in $L_{\infty}(I;L_2(Ω))$- and $L_{2}(I;H^{1}(Ω))$-type norms when $I$ is the temporal and $Ω$ the spatial domain for the PDE. We base our methodology for the analysis on a novel space-time reconstruction approach. Our approach is flexible as it works for any type of elliptic error estimator and leaves their choice of up to the user. It also allows exhibits mesh-change estimators in a clear an concise way. We also show how our approach allows the derivation of such bounds in the $H^1(I;H^{-1}(Ω))$ norm.
△ Less
Submitted 8 February, 2021; v1 submitted 19 August, 2017;
originally announced August 2017.
-
Virtual Element Method for Quasilinear Elliptic Problems
Authors:
Andrea Cangiani,
Panagiotis Chatzipantelidis,
Ganesh Diwan,
Emmanuil H. Georgoulis
Abstract:
We present a Virtual Element Method (VEM) for the solution of Dirichlet problems for the quasilinear equation $-\text{div} (k(u)\text{grad} u)=f$ with essential boundary conditions. Within the VEM the nonlinear coefficient is evaluated with the piecewise polynomial projection of the virtual element ansatz.
Well posedness of the discrete problem and optimal order a priori error estimates in the…
▽ More
We present a Virtual Element Method (VEM) for the solution of Dirichlet problems for the quasilinear equation $-\text{div} (k(u)\text{grad} u)=f$ with essential boundary conditions. Within the VEM the nonlinear coefficient is evaluated with the piecewise polynomial projection of the virtual element ansatz.
Well posedness of the discrete problem and optimal order a priori error estimates in the $H^1$ and $L^2$ norms are proven. In addition, the convergence of fixed point iterations for the solution of the resulting nonlinear system is established. Numerical examples confirm the convergence analysis.
△ Less
Submitted 25 May, 2018; v1 submitted 5 July, 2017;
originally announced July 2017.
-
Recovered Finite Element Methods
Authors:
Emmanuil H. Georgoulis,
Tristan Pryer
Abstract:
We introduce a family of Galerkin finite element methods which are constructed via recovery operators over element-wise discontinuous approximation spaces. This new family, termed collectively as recovered finite element methods (R-FEM) has a number of attractive features over both classical finite element and discontinuous Galerkin approaches, most important of which is its potential to produce s…
▽ More
We introduce a family of Galerkin finite element methods which are constructed via recovery operators over element-wise discontinuous approximation spaces. This new family, termed collectively as recovered finite element methods (R-FEM) has a number of attractive features over both classical finite element and discontinuous Galerkin approaches, most important of which is its potential to produce stable conforming approximations in a variety of settings. Moreover, for special choices of recovery operators, R-FEM produces the same approximate solution as the classical conforming finite element method, while, trivially, one can recast (primal formulation) discontinuous Galerkin methods. A priori error bounds are shown for linear second order boundary value problems, verifying the optimality of the proposed method. Residual-type a posteriori bounds are also derived, highlighting the potential of R-FEM in the context of adaptive computations. Numerical experiments highlight the good approximation properties of the method in practice. A discussion on the potential use of R-FEM in various settings is also included.
△ Less
Submitted 10 May, 2017;
originally announced May 2017.
-
Analysis of Discontinuous Galerkin Methods using Mesh-Dependent Norms and Applications to Problems with Rough Data
Authors:
Emmanuil H. Georgoulis,
Tristan Pryer
Abstract:
We prove the inf-sup stability of a discontinuous Galerkin scheme for second order elliptic operators in (unbalanced) mesh-dependent norms for quasi-uniform meshes for all spatial dimensions. This results in a priori error bounds in these norms. As an application we examine a problem with rough source term where the solution can not be characterised as a weak solution and show quasi-optimal error…
▽ More
We prove the inf-sup stability of a discontinuous Galerkin scheme for second order elliptic operators in (unbalanced) mesh-dependent norms for quasi-uniform meshes for all spatial dimensions. This results in a priori error bounds in these norms. As an application we examine a problem with rough source term where the solution can not be characterised as a weak solution and show quasi-optimal error control.
△ Less
Submitted 28 March, 2017; v1 submitted 17 October, 2016;
originally announced October 2016.
-
A Trefftz polynomial space-time discontinuous Galerkin method for the second order wave equation
Authors:
Lehel Banjai,
Emmanuil H. Georgoulis,
Oluwaseun Lijoka
Abstract:
A new space-time discontinuous Galerkin (dG) method utilising special Trefftz polynomial basis functions is proposed and fully analysed for the scalar wave equation in a second order formulation. The dG method considered is motivated by the class of interior penalty dG methods, as well as by the classical work of Hughes and Hulbert. The choice of the penalty terms included in the bilinear form is…
▽ More
A new space-time discontinuous Galerkin (dG) method utilising special Trefftz polynomial basis functions is proposed and fully analysed for the scalar wave equation in a second order formulation. The dG method considered is motivated by the class of interior penalty dG methods, as well as by the classical work of Hughes and Hulbert. The choice of the penalty terms included in the bilinear form is essential for both the theoretical analysis and for the practical behaviour of the method for the case of lowest order basis functions. A best approximation result is proven for this new space-time dG method with Trefftz-type basis functions. Rates of convergence are proved in any dimension and verified numerically in spatial dimensions $d = 1$ and $d = 2$. Numerical experiments highlight the effectiveness of the Trefftz method in problems with energy at high frequencies.
△ Less
Submitted 6 October, 2016;
originally announced October 2016.
-
$hp$-Version space-time discontinuous Galerkin methods for parabolic problems on prismatic meshes
Authors:
Andrea Cangiani,
Zhaonan Dong,
Emmanuil H. Georgoulis
Abstract:
We present a new $hp$-version space-time discontinuous Galerkin (dG) finite element method for the numerical approximation of parabolic evolution equations on general spatial meshes consisting of polygonal/polyhedral (polytopic) elements, giving rise to prismatic space-time elements. A key feature of the proposed method is the use of space-time elemental polynomial bases of \emph{total} degree, sa…
▽ More
We present a new $hp$-version space-time discontinuous Galerkin (dG) finite element method for the numerical approximation of parabolic evolution equations on general spatial meshes consisting of polygonal/polyhedral (polytopic) elements, giving rise to prismatic space-time elements. A key feature of the proposed method is the use of space-time elemental polynomial bases of \emph{total} degree, say $p$, defined in the physical coordinate system, as opposed to standard dG-time-step** methods whereby spatial elemental bases are tensorized with temporal basis functions. This approach leads to a fully discrete $hp$-dG scheme using less degrees of freedom for each time step, compared to standard dG time-step** schemes employing tensorized space-time, with acceptable deterioration of the approximation properties. A second key feature of the new space-time dG method is the incorporation of very general spatial meshes consisting of possibly polygonal/polyhedral elements with \emph{arbitrary} number of faces. A priori error bounds are shown for the proposed method in various norms. An extensive comparison among the new space-time dG method, the (standard) tensorized space-time dG methods, the classical dG-time-step**, and conforming finite element method in space, is presented in a series of numerical experiments.
△ Less
Submitted 28 April, 2017; v1 submitted 4 May, 2016;
originally announced May 2016.
-
A posteriori error estimates for the virtual element method
Authors:
Andrea Cangiani,
Emmanuil H. Georgoulis,
Tristan Pryer,
Oliver J. Sutton
Abstract:
An posteriori error analysis for the virtual element method (VEM) applied to general elliptic problems is presented. The resulting error estimator is of residual-type and applies on very general polygonal/polyhedral meshes. The estimator is fully computable as it relies only on quantities available from the VEM solution, namely its degrees of freedom and element-wise polynomial projection. Upper a…
▽ More
An posteriori error analysis for the virtual element method (VEM) applied to general elliptic problems is presented. The resulting error estimator is of residual-type and applies on very general polygonal/polyhedral meshes. The estimator is fully computable as it relies only on quantities available from the VEM solution, namely its degrees of freedom and element-wise polynomial projection. Upper and lower bounds of the error estimator with respect to the VEM approximation error are proven. The error estimator is used to drive adaptive mesh refinement in a number of test problems. Mesh adaptation is particularly simple to implement since elements with consecutive co-planar edges/faces are allowed and, therefore, locally adapted meshes do not require any local mesh post-processing.
△ Less
Submitted 24 April, 2017; v1 submitted 18 March, 2016;
originally announced March 2016.
-
Adaptivity and blow-up detection for nonlinear evolution problems
Authors:
Andrea Cangiani,
Emmanuil H. Georgoulis,
Irene Kyza,
Stephen Metcalfe
Abstract:
This work is concerned with the development of a space-time adaptive numerical method, based on a rigorous a posteriori error bound, for a semilinear convection-diffusion problem which may exhibit blow-up in finite time. More specifically, a posteriori error bounds are derived in the $L^{\infty}(L^2)+L^2(H^1)$-type norm for a first order in time implicit-explicit (IMEX) interior penalty discontinu…
▽ More
This work is concerned with the development of a space-time adaptive numerical method, based on a rigorous a posteriori error bound, for a semilinear convection-diffusion problem which may exhibit blow-up in finite time. More specifically, a posteriori error bounds are derived in the $L^{\infty}(L^2)+L^2(H^1)$-type norm for a first order in time implicit-explicit (IMEX) interior penalty discontinuous Galerkin (dG) in space discretization of the problem, although the theory presented is directly applicable to the case of conforming finite element approximations in space. The choice of the discretization in time is made based on a careful analysis of adaptive time step** methods for ODEs that exhibit finite time blow-up. The new adaptive algorithm is shown to accurately estimate the blow-up time of a number of problems, including one which exhibits regional blow-up.
△ Less
Submitted 11 February, 2015;
originally announced February 2015.
-
Fast multilevel sparse Gaussian kernels for high-dimensional approximation and integration
Authors:
Zhaonan Dong,
Emmanuil H. Georgoulis,
Jeremy Levesley,
Fuat Usta
Abstract:
A fast multilevel algorithm based on directionally scaled tensor-product Gaussian kernels on structured sparse grids is proposed for interpolation of high-dimensional functions and for the numerical integration of high-dimensional integrals. The algorithm is based on the recent Multilevel Sparse Kernel-based Interpolation (MLSKI) method (Georgoulis, Levesley \& Subhan, \emph{SIAM J. Sci. Comput.},…
▽ More
A fast multilevel algorithm based on directionally scaled tensor-product Gaussian kernels on structured sparse grids is proposed for interpolation of high-dimensional functions and for the numerical integration of high-dimensional integrals. The algorithm is based on the recent Multilevel Sparse Kernel-based Interpolation (MLSKI) method (Georgoulis, Levesley \& Subhan, \emph{SIAM J. Sci. Comput.}, 35(2), pp.~A815--A831, 2013), with particular focus on the fast implementation of Gaussian-based MLSKI for interpolation and integration problems of high-dimen-sional functions $f:[0,1]^d\to\mathbb{R}$, with $5\le d\le 10$. The MLSKI interpolation procedure is shown to be interpolatory and a fast implementation is proposed. More specifically, exploiting the tensor-product nature of anisotropic Gaussian kernels, one-dimensional cardinal basis functions on a sequence of hierarchical equidistant nodes are precomputed to machine precision, rendering the interpolation problem into a fully parallelisable ensemble of linear combinations of function evaluations. A numerical integration algorithm is also proposed, based on interpolating the (high-dimensional) integrand. A series of numerical experiments highlights the applicability of the proposed algorithm for interpolation and integration for up to 10-dimensional problems.
△ Less
Submitted 14 January, 2015;
originally announced January 2015.
-
A posteriori error estimates for leap-frog and cosine methods for second order evolution problems
Authors:
Emmanuil H. Georgoulis,
Omar Lakkis,
Charalambos Makridakis,
Juha M. Virtanen
Abstract:
We consider second order explicit and implicit two-step time-discrete schemes for wave-type equations. We derive optimal order aposteriori estimates controlling the time discretization error. Our analysis, has been motivated by the need to provide aposteriori estimates for the popular leap-frog method (also known as Verlet's method in molecular dynamics literature); it is extended, however, to gen…
▽ More
We consider second order explicit and implicit two-step time-discrete schemes for wave-type equations. We derive optimal order aposteriori estimates controlling the time discretization error. Our analysis, has been motivated by the need to provide aposteriori estimates for the popular leap-frog method (also known as Verlet's method in molecular dynamics literature); it is extended, however, to general cosine-type second order methods. The estimators are based on a novel reconstruction of the time-dependent component of the approximation. Numerical experiments confirm similarity of convergence rates of the proposed estimators and of the theoretical convergence rate of the true error.
△ Less
Submitted 27 November, 2014;
originally announced November 2014.
-
Adaptive discontinuous Galerkin approximations to fourth order parabolic problems
Authors:
Emmanuil H. Georgoulis,
Juha M. Virtanen
Abstract:
An adaptive algorithm, based on residual type a posteriori indicators of errors measured in $L^{\infty}(L^2)$ and $L^2(L^2)$ norms, for a numerical scheme consisting of implicit Euler method in time and discontinuous Galerkin method in space for linear parabolic fourth order problems is presented. The a posteriori analysis is performed for convex domains in two and three space dimensions for local…
▽ More
An adaptive algorithm, based on residual type a posteriori indicators of errors measured in $L^{\infty}(L^2)$ and $L^2(L^2)$ norms, for a numerical scheme consisting of implicit Euler method in time and discontinuous Galerkin method in space for linear parabolic fourth order problems is presented. The a posteriori analysis is performed for convex domains in two and three space dimensions for local spatial polynomial degrees $r\ge 2$. The a posteriori estimates are then used within an adaptive algorithm, highlighting their relevance in practical computations, which results into substantial reduction of computational effort.
△ Less
Submitted 11 March, 2013;
originally announced March 2013.
-
Convergence of a discontinuous Galerkin multiscale method
Authors:
Daniel Elfverson,
Emmanuil H. Georgoulis,
Axel Målqvist,
Daniel Peterseim
Abstract:
A convergence result for a discontinuous Galerkin multiscale method for a second order elliptic problem is presented. We consider a heterogeneous and highly varying diffusion coefficient in $L^\infty(Ω,\mathbb{R}^{d\times d}_{sym})$ with uniform spectral bounds and without any assumption on scale separation or periodicity. The multiscale method uses a corrected basis that is computed on patches/su…
▽ More
A convergence result for a discontinuous Galerkin multiscale method for a second order elliptic problem is presented. We consider a heterogeneous and highly varying diffusion coefficient in $L^\infty(Ω,\mathbb{R}^{d\times d}_{sym})$ with uniform spectral bounds and without any assumption on scale separation or periodicity. The multiscale method uses a corrected basis that is computed on patches/subdomains. The error, due to truncation of corrected basis, decreases exponentially with the size of the patches. Hence, to achieve an algebraic convergence rate of the multiscale solution on a uniform mesh with mesh size $H$ to a reference solution, it is sufficient to choose the patch sizes as $\mathcal{O}(H|\log(H^{-1})|)$. We also discuss a way to further localize the corrected basis to element-wise support leading to a slight increase of the dimension of the space. Improved convergence rate can be achieved depending on the piecewise regularity of the forcing function. Linear convergence in energy norm and quadratic convergence in $L^2$-norm is obtained independently of the forcing function. A series of numerical experiments confirms the theoretical rates of convergence.
△ Less
Submitted 23 November, 2012;
originally announced November 2012.
-
An a posteriori error estimator for discontinuous Galerkin methods for non-stationary convection-diffusion problems
Authors:
Andrea Cangiani,
Emmanuil H. Georgoulis,
Stephen Metcalfe
Abstract:
This work is concerned with the derivation of a robust a posteriori error estimator for a discontinuous Galerkin method discretisation of linear non-stationary convection-diffusion initial/boundary value problems and with the implementation of a corresponding adaptive algorithm. More specifically, we derive a posteriori bounds for the error in the $L^2(H^1)$-type norm for an interior penalty disco…
▽ More
This work is concerned with the derivation of a robust a posteriori error estimator for a discontinuous Galerkin method discretisation of linear non-stationary convection-diffusion initial/boundary value problems and with the implementation of a corresponding adaptive algorithm. More specifically, we derive a posteriori bounds for the error in the $L^2(H^1)$-type norm for an interior penalty discontinuous Galerkin (dG) discretisation in space and a backward Euler discretisation in time. An important feature of the estimator is robustness with respect to the Péclet number of the problem which is verified in practice by a series of numerical experiments. Finally, an adaptive algorithm is proposed utilising the error estimator. Optimal rate of convergence of the adaptive algorithm is observed in a number of test problems.
△ Less
Submitted 15 November, 2012;
originally announced November 2012.
-
Discontinuous Galerkin Methods for Mass Transfer through Semi-Permeable Membranes
Authors:
Andrea Cangiani,
Emmanuil H. Georgoulis,
Max Jensen
Abstract:
A discontinuous Galerkin (dG) method for the numerical solution of initial/boundary value multi-compartment partial differential equation (PDE) models, interconnected with interface conditions, is presented and analysed. The study of interface problems is motivated by models of mass transfer of solutes through semi-permeable membranes. More specifically, a model problem consisting of a system of s…
▽ More
A discontinuous Galerkin (dG) method for the numerical solution of initial/boundary value multi-compartment partial differential equation (PDE) models, interconnected with interface conditions, is presented and analysed. The study of interface problems is motivated by models of mass transfer of solutes through semi-permeable membranes. More specifically, a model problem consisting of a system of semilinear parabolic advection-diffusion-reaction partial differential equations in each compartment, equipped with respective initial and boundary conditions, is considered. Nonlinear interface conditions modelling selective permeability, congestion and partial reflection are applied to the compartment interfaces. An interior penalty dG method is presented for this problem and it is analysed in the space-discrete setting. The a priori analysis shows that the method yields optimal a priori bounds, provided the exact solution is sufficiently smooth. Numerical experiments indicate agreement with the theoretical bounds and highlight the stability of the numerical method in the advection-dominated regime.
△ Less
Submitted 14 April, 2013; v1 submitted 11 September, 2012;
originally announced September 2012.
-
On Local Super-Penalization of Interior Penalty Discontinuous Galerkin Methods
Authors:
Andrea Cangiani,
John Chapman,
Emmanuil H. Georgoulis,
Max Jensen
Abstract:
We prove in an abstract setting that standard (continuous) Galerkin finite element approximations are the limit of interior penalty discontinuous Galerkin approximations as the penalty parameter tends to infinity. We apply this result to equations of non-negative characteristic form and the non-linear, time dependent system of incompressible miscible displacement. Moreover, we investigate varying…
▽ More
We prove in an abstract setting that standard (continuous) Galerkin finite element approximations are the limit of interior penalty discontinuous Galerkin approximations as the penalty parameter tends to infinity. We apply this result to equations of non-negative characteristic form and the non-linear, time dependent system of incompressible miscible displacement. Moreover, we investigate varying the penalty parameter on only a subset of a triangulation and the effects of local super-penalization on the stability of the method, resulting in a partly continuous, partly discontinuous method in the limit. An iterative automatic procedure is also proposed for the determination of the continuous region of the domain without loss of stability of the method.
△ Less
Submitted 25 May, 2012;
originally announced May 2012.
-
Multilevel Sparse Kernel-Based Interpolation
Authors:
Emmanuil H. Georgoulis,
Jeremy Levesley,
Fazli Subhan
Abstract:
A multilevel kernel-based interpolation method, suitable for moderately high-dimensional function interpolation problems, is proposed. The method, termed multilevel sparse kernel-based interpolation (MLSKI, for short), uses both level-wise and direction-wise multilevel decomposition of structured (or mildly unstructured) interpolation data sites in conjunction with the application of kernel-based…
▽ More
A multilevel kernel-based interpolation method, suitable for moderately high-dimensional function interpolation problems, is proposed. The method, termed multilevel sparse kernel-based interpolation (MLSKI, for short), uses both level-wise and direction-wise multilevel decomposition of structured (or mildly unstructured) interpolation data sites in conjunction with the application of kernel-based interpolants with different scaling in each direction. The multilevel interpolation algorithm is based on a hierarchical decomposition of the data sites, whereby at each level the detail is added to the interpolant by interpolating the resulting residual of the previous level. On each level, anisotropic radial basis functions are used for solving a number of small interpolation problems, which are subsequently linearly combined to produce the interpolant. MLSKI can be viewed as an extension of $d$-boolean interpolation (which is closely related to ideas in sparse grid and hyperbolic crosses literature) to kernel-based functions, within the hierarchical multilevel framework to achieve accelerated convergence. Numerical experiments suggest that the new algorithm is numerically stable and efficient for the reconstruction of large data in $\mathbb{R}^{d}\times \mathbb{R}$, for $d = 2, 3, 4$, with tens or even hundreds of thousands data points. Also, MLSKI appears to be generally superior over classical radial basis function methods in terms of complexity, run time and convergence at least for large data sets.
△ Less
Submitted 18 April, 2012;
originally announced April 2012.
-
A posteriori $L^\infty(L^2)$-error bounds in finite element approximation of the wave equation
Authors:
Emmanuil H. Georgoulis,
Omar Lakkis,
Charalambos Makridakis
Abstract:
We address the error control of Galerkin discretization (in space) of linear second order hyperbolic problems. More specifically, we derive a posteriori error bounds in the L\infty(L2)-norm for finite element methods for the linear wave equation, under minimal regularity assumptions. The theory is developed for both the space-discrete case, as well as for an implicit fully discrete scheme. The der…
▽ More
We address the error control of Galerkin discretization (in space) of linear second order hyperbolic problems. More specifically, we derive a posteriori error bounds in the L\infty(L2)-norm for finite element methods for the linear wave equation, under minimal regularity assumptions. The theory is developed for both the space-discrete case, as well as for an implicit fully discrete scheme. The derivation of these bounds relies crucially on carefully constructed space- and time-reconstructions of the discrete numerical solutions, in conjunction with a technique introduced by Baker (1976, SIAM J. Numer. Anal., 13) in the context of a priori error analysis of Galerkin discretization of the wave problem in weaker-than-energy spatial norms.
△ Less
Submitted 28 November, 2012; v1 submitted 18 March, 2010;
originally announced March 2010.
-
A posteriori error bounds for discontinuous Galerkin methods for quasilinear parabolic problems
Authors:
Emmanuil H. Georgoulis,
Omar Lakkis
Abstract:
We derive a posteriori error bounds for a quasilinear parabolic problem, which is approximated by the $hp$-version interior penalty discontinuous Galerkin method (IPDG). The error is measured in the energy norm. The theory is developed for the semidiscrete case for simplicity, allowing to focus on the challenges of a posteriori error control of IPDG space-discretizations of strictly monotone qua…
▽ More
We derive a posteriori error bounds for a quasilinear parabolic problem, which is approximated by the $hp$-version interior penalty discontinuous Galerkin method (IPDG). The error is measured in the energy norm. The theory is developed for the semidiscrete case for simplicity, allowing to focus on the challenges of a posteriori error control of IPDG space-discretizations of strictly monotone quasilinear parabolic problems. The a posteriori bounds are derived using the elliptic reconstruction framework, utilizing available a posteriori error bounds for the corresponding steady-state elliptic problem.
△ Less
Submitted 17 January, 2010;
originally announced January 2010.
-
A posteriori error control for discontinuous Galerkin methods for parabolic problems
Authors:
Emmanuil H. Georgoulis,
Omar Lakkis,
Juha M. Virtanen
Abstract:
We derive energy-norm a posteriori error bounds for an Euler time-step** method combined with various spatial discontinuous Galerkin schemes for linear parabolic problems. For accessibility, we address first the spatially semidiscrete case, and then move to the fully discrete scheme by introducing the implicit Euler time-step**. All results are presented in an abstract setting and then illust…
▽ More
We derive energy-norm a posteriori error bounds for an Euler time-step** method combined with various spatial discontinuous Galerkin schemes for linear parabolic problems. For accessibility, we address first the spatially semidiscrete case, and then move to the fully discrete scheme by introducing the implicit Euler time-step**. All results are presented in an abstract setting and then illustrated with particular applications. This enables the error bounds to hold for a variety of discontinuous Galerkin methods, provided that energy-norm a posteriori error bounds for the corresponding elliptic problem are available. To illustrate the method, we apply it to the interior penalty discontinuous Galerkin method, which requires the derivation of novel a posteriori error bounds. For the analysis of the time-dependent problems we use the elliptic reconstruction technique and we deal with the nonconforming part of the error by deriving appropriate computable a posteriori bounds for it.
△ Less
Submitted 18 March, 2010; v1 submitted 26 April, 2008;
originally announced April 2008.
-
Extending the range of error estimates for radial approximation in Euclidean space and on spheres
Authors:
R. A. Brownlee,
E. H. Georgoulis,
J. Levesley
Abstract:
We adapt Schaback's error doubling trick [R. Schaback. Improved error bounds for scattered data interpolation by radial basis functions. Math. Comp., 68(225):201--216, 1999.] to give error estimates for radial interpolation of functions with smoothness lying (in some sense) between that of the usual native space and the subspace with double the smoothness. We do this for both bounded subsets of…
▽ More
We adapt Schaback's error doubling trick [R. Schaback. Improved error bounds for scattered data interpolation by radial basis functions. Math. Comp., 68(225):201--216, 1999.] to give error estimates for radial interpolation of functions with smoothness lying (in some sense) between that of the usual native space and the subspace with double the smoothness. We do this for both bounded subsets of R^d and spheres. As a step on the way to our ultimate goal we also show convergence of pseudoderivatives of the interpolation error.
△ Less
Submitted 30 May, 2007;
originally announced May 2007.