Showing 1–8 of 8 results for author: van Venetië, R

Adaptive space-time BEM for the heat equation

Authors: Gregor Gantner, Raymond van Venetië

Abstract: We consider the space-time boundary element method (BEM) for the heat equation with prescribed initial and Dirichlet data. We propose a residual-type a posteriori error estimator that is a lower bound and, up to weighted $L_2$-norms of the residual, also an upper bound for the unknown BEM error. The possibly locally refined meshes are assumed to be prismatic, i.e., their elements are tensor-produc… ▽ More We consider the space-time boundary element method (BEM) for the heat equation with prescribed initial and Dirichlet data. We propose a residual-type a posteriori error estimator that is a lower bound and, up to weighted $L_2$-norms of the residual, also an upper bound for the unknown BEM error. The possibly locally refined meshes are assumed to be prismatic, i.e., their elements are tensor-products $J\times K$ of elements in time $J$ and space $K$. While the results do not depend on the local aspect ratio between time and space, assuming the scaling $|J| \eqsim {\rm diam}(K)^2$ for all elements and using Galerkin BEM, the estimator is shown to be efficient and reliable without the additional $L_2$-terms. In the considered numerical experiments on two-dimensional domains in space, the estimator seems to be equivalent to the error, independently of these assumptions. In particular for adaptive anisotropic refinement, both converge with the best possible convergence rate. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Journal ref: Computers & Mathematics with Applications, 107 (2022), 117-131

Efficient space-time adaptivity for parabolic evolution equations using wavelets in time and finite elements in space

Authors: Raymond van Venetië, Jan Westerdiep

Abstract: Considering the space-time adaptive method for parabolic evolution equations introduced in [arXiv:2101.03956 [math.NA]], this work discusses an implementation of the method in which every step is of linear complexity. Exploiting the product structure of the space-time cylinder, the method allows for a family of trial spaces given as the spans of wavelets-in-time tensorized with (locally refined) f… ▽ More Considering the space-time adaptive method for parabolic evolution equations introduced in [arXiv:2101.03956 [math.NA]], this work discusses an implementation of the method in which every step is of linear complexity. Exploiting the product structure of the space-time cylinder, the method allows for a family of trial spaces given as the spans of wavelets-in-time tensorized with (locally refined) finite element spaces-in-space. On spaces whose bases are indexed by double-trees, we derive an algorithm that applies the resulting bilinear forms in linear complexity. We provide extensive numerical experiments to demonstrate the linear runtime of the resulting adaptive loop. △ Less

Submitted 19 April, 2021; v1 submitted 16 April, 2021; originally announced April 2021.

MSC Class: 35K20; 65M04; 65M50; 65T60; 65Y20

Operator preconditioning: the simplest case

Authors: Rob Stevenson, Raymond van Venetië

Abstract: Using the framework of operator or Calderón preconditioning, uniform preconditioners are constructed for elliptic operators discretized with continuous finite (or boundary) elements. The preconditioners are constructed as the composition of an opposite order operator, discretized on the same ansatz space, and two diagonal scaling operators. Using the framework of operator or Calderón preconditioning, uniform preconditioners are constructed for elliptic operators discretized with continuous finite (or boundary) elements. The preconditioners are constructed as the composition of an opposite order operator, discretized on the same ansatz space, and two diagonal scaling operators. △ Less

Submitted 23 February, 2021; originally announced February 2021.

MSC Class: 65F08; 65N38; 65N30; 45Exx

A wavelet-in-time, finite element-in-space adaptive method for parabolic evolution equations

Authors: Rob Stevenson, Raymond van Venetië, Jan Westerdiep

Abstract: In this work, an $r$-linearly converging adaptive solver is constructed for parabolic evolution equations in a simultaneous space-time variational formulation. Exploiting the product structure of the space-time cylinder, the family of trial spaces that we consider are given as the spans of wavelets-in-time and (locally refined) finite element spaces-in-space. Numerical results illustrate our theor… ▽ More In this work, an $r$-linearly converging adaptive solver is constructed for parabolic evolution equations in a simultaneous space-time variational formulation. Exploiting the product structure of the space-time cylinder, the family of trial spaces that we consider are given as the spans of wavelets-in-time and (locally refined) finite element spaces-in-space. Numerical results illustrate our theoretical findings. △ Less

Submitted 25 May, 2022; v1 submitted 11 January, 2021; originally announced January 2021.

MSC Class: 35K20; 65F08; 65M12; 65M60; 65T60

A parallel algorithm for solving linear parabolic evolution equations

Authors: Raymond van Venetië, Jan Westerdiep

Abstract: We present an algorithm for the solution of a simultaneous space-time discretization of linear parabolic evolution equations with a symmetric differential operator in space. Building on earlier work, we recast this discretization into a Schur-complement equation whose solution is a quasi-optimal approximation to the weak solution of the equation at hand. Choosing a tensor-product discretization, w… ▽ More We present an algorithm for the solution of a simultaneous space-time discretization of linear parabolic evolution equations with a symmetric differential operator in space. Building on earlier work, we recast this discretization into a Schur-complement equation whose solution is a quasi-optimal approximation to the weak solution of the equation at hand. Choosing a tensor-product discretization, we arrive at a remarkably simple linear system. Using wavelets in time and standard finite elements in space, we solve the resulting system in linear complexity on a single processor, and in polylogarithmic complexity when parallelized in both space and time. We complement these theoretical findings with large-scale parallel computations showing the effectiveness of the method. △ Less

Submitted 6 September, 2021; v1 submitted 18 September, 2020; originally announced September 2020.

MSC Class: 35K20; 65M22; 65F10; 65M60; 65Y05; 65F08

Uniform preconditioners of linear complexity for problems of negative order

Authors: Rob Stevenson, Raymond van Venetië

Abstract: We propose a multi-level type operator that can be used in the framework of operator (or Caldéron) preconditioning to construct uniform preconditioners for negative order operators discretized by piecewise polynomials on a family of possibly locally refined partitions. The cost of applying this multi-level operator scales linearly in the number of mesh cells. Therefore, it provides a uniform preco… ▽ More We propose a multi-level type operator that can be used in the framework of operator (or Caldéron) preconditioning to construct uniform preconditioners for negative order operators discretized by piecewise polynomials on a family of possibly locally refined partitions. The cost of applying this multi-level operator scales linearly in the number of mesh cells. Therefore, it provides a uniform preconditioner that can be applied in linear complexity when used within the preconditioning framework from our earlier work [Math. of Comp., 322(89) (2020), pp. 645-674]. △ Less

Submitted 29 September, 2020; v1 submitted 14 April, 2020; originally announced April 2020.

MSC Class: 65F08; 65N38; 65N30; 45Exx

Journal ref: Comput. Methods Appl. Math., (2020)

Uniform preconditioners for problems of positive order

Authors: Rob Stevenson, Raymond van Venetië

Abstract: Using the framework of operator or Caldéron preconditioning, uniform preconditioners are constructed for elliptic operators of order $2s \in [0,2]$ discretized with continuous finite (or boundary) elements. The cost of the preconditioner is the cost of the application an elliptic opposite order operator discretized with discontinuous or continuous finite elements on the same mesh, plus minor cost… ▽ More Using the framework of operator or Caldéron preconditioning, uniform preconditioners are constructed for elliptic operators of order $2s \in [0,2]$ discretized with continuous finite (or boundary) elements. The cost of the preconditioner is the cost of the application an elliptic opposite order operator discretized with discontinuous or continuous finite elements on the same mesh, plus minor cost of linear complexity. Herewith the construction of a so-called dual mesh is avoided. △ Less

Submitted 21 June, 2019; originally announced June 2019.

MSC Class: 65F08; 65N38; 65N30; 45EXX

Uniform preconditioners for problems of negative order

Authors: Rob Stevenson, Raymond van Venetië

Abstract: Uniform preconditioners for operators of negative order discretized by (dis)continuous piecewise polynomials of any order are constructed from a boundedly invertible operator of opposite order discretized by continuous piecewise linears. Besides the cost of the application of the latter discretized operator, the other cost of the preconditioner scales linearly with the number of mesh cells. Compar… ▽ More Uniform preconditioners for operators of negative order discretized by (dis)continuous piecewise polynomials of any order are constructed from a boundedly invertible operator of opposite order discretized by continuous piecewise linears. Besides the cost of the application of the latter discretized operator, the other cost of the preconditioner scales linearly with the number of mesh cells. Compared to earlier proposals, the preconditioner has the following advantages: It does not require the inverse of a non-diagonal matrix; it applies without any mildly grading assumption on the mesh; and it does not require a barycentric refinement of the mesh underlying the trial space. △ Less

Submitted 27 September, 2018; v1 submitted 14 March, 2018; originally announced March 2018.

MSC Class: 65F08; 65N38; 65N30; 45EXX

Journal ref: Math. Comp. 89 (2020), 645-674