-
Ultra-weak least squares discretizations for unique continuation and Cauchy problems
Authors:
Harald Monsuur,
Rob Stevenson
Abstract:
In this paper, conditional stability estimates are derived for unique continuation and Cauchy problems associated to the Poisson equation in ultra-weak variational form. Numerical approximations are obtained as minima of regularized least squares functionals. The arising dual norms are replaced by discretized dual norms, which leads to a mixed formulation in terms of trial- and test-spaces. For st…
▽ More
In this paper, conditional stability estimates are derived for unique continuation and Cauchy problems associated to the Poisson equation in ultra-weak variational form. Numerical approximations are obtained as minima of regularized least squares functionals. The arising dual norms are replaced by discretized dual norms, which leads to a mixed formulation in terms of trial- and test-spaces. For stable pairs of such spaces, and a proper choice of the regularization parameter, the $L_2$-error on a subdomain in the obtained numerical approximation can be bounded by the best possible fractional power of the sum of the data error and the error of best approximation. Compared to the use of a standard variational formulation, the latter two errors are measured in weaker norms. To avoid the use of $C^1$-finite element test spaces, nonconforming finite element test spaces can be applied as well. They either lead to the qualitatively same error bound, or in a simplified version, to such an error bound modulo an additional data oscillation term. Numerical results illustrate our theoretical findings.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
A pollution-free ultra-weak FOSLS discretization of the Helmholtz equation
Authors:
Harald Monsuur,
Rob Stevenson
Abstract:
We consider an ultra-weak first order system discretization of the Helmholtz equation. When employing the optimal test norm, the `ideal' method yields the best approximation to the pair of the Helmholtz solution and its scaled gradient w.r.t.~the norm on $L_2(Ω)\times L_2(Ω)^d$ from the selected finite element trial space. On convex polygons, the `practical', implementable method is shown to be po…
▽ More
We consider an ultra-weak first order system discretization of the Helmholtz equation. When employing the optimal test norm, the `ideal' method yields the best approximation to the pair of the Helmholtz solution and its scaled gradient w.r.t.~the norm on $L_2(Ω)\times L_2(Ω)^d$ from the selected finite element trial space. On convex polygons, the `practical', implementable method is shown to be pollution-free essentially whenever the order $\tilde{p}$ of the finite element test space grows proportionally with $\max(\log κ,p^2)$, with $p$ being the order at trial side. Numerical results also on other domains show a much better accuracy than for the Galerkin method.
△ Less
Submitted 12 July, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
A convenient inclusion of inhomogeneous boundary conditions in minimal residual methods
Authors:
Rob Stevenson
Abstract:
Inhomogeneous essential boundary conditions can be appended to a well-posed PDE to lead to a combined variational formulation. The domain of the corresponding operator is a Sobolev space on the domain $Ω$ on which the PDE is posed, whereas the codomain is a Cartesian product of spaces, among them fractional Sobolev spaces of functions on $\partialΩ$. In this paper, easily implementable minimal res…
▽ More
Inhomogeneous essential boundary conditions can be appended to a well-posed PDE to lead to a combined variational formulation. The domain of the corresponding operator is a Sobolev space on the domain $Ω$ on which the PDE is posed, whereas the codomain is a Cartesian product of spaces, among them fractional Sobolev spaces of functions on $\partialΩ$. In this paper, easily implementable minimal residual discretizations are constructed which yield quasi-optimal approximation from the employed trial space, in which the evaluation of fractional Sobolev norms is fully avoided.
△ Less
Submitted 10 July, 2023; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Minimal residual methods in negative or fractional Sobolev norms
Authors:
Harald Monsuur,
Rob Stevenson,
Johannes Storn
Abstract:
For numerical approximation the reformulation of a PDE as a residual minimisation problem has the advantages that the resulting linear system is symmetric positive definite, and that the norm of the residual provides an a posteriori error estimator. Furthermore, it allows for the treatment of general inhomogeneous boundary conditions. In many minimal residual formulations, however, one or more ter…
▽ More
For numerical approximation the reformulation of a PDE as a residual minimisation problem has the advantages that the resulting linear system is symmetric positive definite, and that the norm of the residual provides an a posteriori error estimator. Furthermore, it allows for the treatment of general inhomogeneous boundary conditions. In many minimal residual formulations, however, one or more terms of the residual are measured in negative or fractional Sobolev norms. In this work, we provide a general approach to replace those norms by efficiently evaluable expressions without sacrificing quasi-optimality of the resulting numerical solution. We exemplify our approach by verifying the necessary inf-sup conditions for four formulations of a model second order elliptic equation with inhomogeneous Dirichlet and/or Neumann boundary conditions. We report on numerical experiments for the Poisson problem with mixed inhomogeneous Dirichlet and Neumann boundary conditions in an ultra-weak first order system formulation.
△ Less
Submitted 25 May, 2023; v1 submitted 25 January, 2023;
originally announced January 2023.
-
Interpolation Operators for parabolic Problems
Authors:
Rob Stevenson,
Johannes Storn
Abstract:
We introduce interpolation operators with approximation and stability properties suited for parabolic problems in primal and mixed formulations. We derive localized error estimates for tensor product meshes (occurring in classical time-marching schemes) as well as locally in space-time refined meshes.
We introduce interpolation operators with approximation and stability properties suited for parabolic problems in primal and mixed formulations. We derive localized error estimates for tensor product meshes (occurring in classical time-marching schemes) as well as locally in space-time refined meshes.
△ Less
Submitted 8 December, 2022;
originally announced December 2022.
-
Improved rates for a space-time FOSLS of parabolic PDEs
Authors:
Gregor Gantner,
Rob Stevenson
Abstract:
We consider the first-order system space-time formulation of the heat equation introduced in [Bochev, Gunzburger, Springer, New York (2009)], and analyzed in [Führer, Karkulik, Comput. Math. Appl. 92 (2021)] and [Gantner, Stevenson, ESAIM Math. Model. Numer. Anal.} 55 (2021)], with solution components $(u_1,{\bf u}_2)=(u,-\nabla_{\bf x} u)$. The corresponding operator is boundedly invertible betwe…
▽ More
We consider the first-order system space-time formulation of the heat equation introduced in [Bochev, Gunzburger, Springer, New York (2009)], and analyzed in [Führer, Karkulik, Comput. Math. Appl. 92 (2021)] and [Gantner, Stevenson, ESAIM Math. Model. Numer. Anal.} 55 (2021)], with solution components $(u_1,{\bf u}_2)=(u,-\nabla_{\bf x} u)$. The corresponding operator is boundedly invertible between a Hilbert space $U$ and a Cartesian product of $L_2$-type spaces, which facilitates easy first-order system least-squares (FOSLS) discretizations. Besides $L_2$-norms of $\nabla_{\bf x} u_1$ and ${\bf u}_2$, the (graph) norm of $U$ contains the $L_2$-norm of $\partial_t u_1 +{\rm div}_{\bf x} {\bf u}_2$. When applying standard finite elements w.r.t. simplicial partitions of the space-time cylinder, estimates of the approximation error w.r.t. the latter norm require higher-order smoothness of ${\bf u}_2$. In experiments for both uniform and adaptively refined partitions, this manifested itself in disappointingly low convergence rates for non-smooth solutions $u$.
In this paper, we construct finite element spaces w.r.t. prismatic partitions. They come with a quasi-interpolant that satisfies a near commuting diagram in the sense that, apart from some harmless term, the aforementioned error depends exclusively on the smoothness of $\partial_t u_1 +{\rm div}_{\bf x} {\bf u}_2$, i.e., of the forcing term $f=(\partial_t-Δ_x)u$. Numerical results show significantly improved convergence rates.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Applications of a space-time FOSLS formulation for parabolic PDEs
Authors:
Gregor Gantner,
Rob Stevenson
Abstract:
In this work, we show that the space-time first-order system least-squares (FOSLS) formulation [Führer, Karkulik, Comput. Math. Appl. 92 (2021)] for the heat equation and its recent generalization [Gantner, Stevenson, ESAIM Math. Model. Numer. Anal. 55 (2021)] to arbitrary second-order parabolic PDEs can be used to efficiently solve parameter-dependent problems, optimal control problems, and probl…
▽ More
In this work, we show that the space-time first-order system least-squares (FOSLS) formulation [Führer, Karkulik, Comput. Math. Appl. 92 (2021)] for the heat equation and its recent generalization [Gantner, Stevenson, ESAIM Math. Model. Numer. Anal. 55 (2021)] to arbitrary second-order parabolic PDEs can be used to efficiently solve parameter-dependent problems, optimal control problems, and problems on time-dependent spatial domains.
△ Less
Submitted 20 August, 2022;
originally announced August 2022.
-
Least squares solvers for ill-posed PDEs that are conditionally stable
Authors:
Wolfgang Dahmen,
Harald Monsuur,
Rob Stevenson
Abstract:
This paper is concerned with the design and analysis of least squares solvers for ill-posed PDEs that are conditionally stable. The norms and the regularization term used in the least squares functional are determined by the ingredients of the conditional stability assumption. We are then able to establish a general error bound that, in view of the conditional stability assumption, is qualitativel…
▽ More
This paper is concerned with the design and analysis of least squares solvers for ill-posed PDEs that are conditionally stable. The norms and the regularization term used in the least squares functional are determined by the ingredients of the conditional stability assumption. We are then able to establish a general error bound that, in view of the conditional stability assumption, is qualitatively the best possible, without assuming consistent data. The price for these advantages is to handle dual norms which reduces to verifying suitable inf-sup stability. This, in turn, is done by constructing appropriate Fortin projectors for all sample scenarios. The theoretical findings are illustrated by numerical experiments.
△ Less
Submitted 1 June, 2023; v1 submitted 15 July, 2022;
originally announced July 2022.
-
A well-posed First Order System Least Squares formulation of the instationary Stokes equations
Authors:
Gregor Gantner,
Rob Stevenson
Abstract:
In this paper, a well-posed simultaneous space-time First Order System Least Squares formulation is constructed of the instationary incompressible Stokes equations with slip boundary conditions. As a consequence of this well-posedness, the minimization over any conforming triple of finite element spaces for velocities, pressure and stress tensor gives a quasi-best approximation from that triple. T…
▽ More
In this paper, a well-posed simultaneous space-time First Order System Least Squares formulation is constructed of the instationary incompressible Stokes equations with slip boundary conditions. As a consequence of this well-posedness, the minimization over any conforming triple of finite element spaces for velocities, pressure and stress tensor gives a quasi-best approximation from that triple. The formulation is practical in the sense that all norms in the least squares functional can be efficiently evaluated. Being of least squares type, the formulation comes with an efficient and reliable a posteriori error estimator. In addition, a priori error estimates are derived, and numerical results are presented.
△ Less
Submitted 26 January, 2022;
originally announced January 2022.
-
Minimal residual space-time discretizations of parabolic equations: Asymmetric spatial operators
Authors:
Rob Stevenson,
Jan Westerdiep
Abstract:
We consider a minimal residual discretization of a simultaneous space-time variational formulation of parabolic evolution equations. Under the usual `LBB' stability condition on pairs of trial- and test spaces we show quasi-optimality of the numerical approximations without assuming symmetry of the spatial part of the differential operator. Under a stronger LBB condition we show error estimates in…
▽ More
We consider a minimal residual discretization of a simultaneous space-time variational formulation of parabolic evolution equations. Under the usual `LBB' stability condition on pairs of trial- and test spaces we show quasi-optimality of the numerical approximations without assuming symmetry of the spatial part of the differential operator. Under a stronger LBB condition we show error estimates in an energy-norm which are independent of this spatial differential operator.
△ Less
Submitted 16 September, 2021; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Accuracy controlled data assimilation for parabolic problems
Authors:
Wolfgang Dahmen,
Rob Stevenson,
Jan Westerdiep
Abstract:
This paper is concerned with the recovery of (approximate) solutions to parabolic problems from incomplete and possibly inconsistent observational data, given on a time-space cylinder that is a strict subset of the computational domain under consideration. Unlike previous approaches to this and related problems our starting point is a regularized least squares formulation in a continuous infinite-…
▽ More
This paper is concerned with the recovery of (approximate) solutions to parabolic problems from incomplete and possibly inconsistent observational data, given on a time-space cylinder that is a strict subset of the computational domain under consideration. Unlike previous approaches to this and related problems our starting point is a regularized least squares formulation in a continuous infinite-dimensional setting that is based on stable variational time-space formulations of the parabolic PDE. This allows us to derive a priori as well as a posteriori error bounds for the recovered states with respect to a certain reference solution. In these bounds the regularization parameter is disentangled from the underlying discretization. An important ingredient for the derivation of a posteriori bounds is the construction of suitable Fortin operators which allow us to control oscillation errors stemming from the discretization of dual norms. Moreover, the variational framework allows us to contrive preconditioners for the discrete problems whose application can be performed in linear time, and for which the condition numbers of the preconditioned systems are uniformly proportional to that of the regularized continuous problem.
In particular, we provide suitable stop** criteria for the iterative solvers based on the a posteriori error bounds. The presented numerical experiments quantify the theoretical findings and demonstrate the performance of the numerical scheme in relation with the underlying discretization and regularization.
△ Less
Submitted 12 July, 2021; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Efficient numerical approximation of a non-regular Fokker--Planck equation associated with first-passage time distributions
Authors:
Udo Boehm,
Sonja Cox,
Gregor Gantner,
Rob Stevenson
Abstract:
In neuroscience, the distribution of a decision time is modelled by means of a one-dimensional Fokker--Planck equation with time-dependent boundaries and space-time-dependent drift. Efficient approximation of the solution to this equation is required, e.g., for model evaluation and parameter fitting. However, the prescribed boundary conditions lead to a strong singularity and thus to slow converge…
▽ More
In neuroscience, the distribution of a decision time is modelled by means of a one-dimensional Fokker--Planck equation with time-dependent boundaries and space-time-dependent drift. Efficient approximation of the solution to this equation is required, e.g., for model evaluation and parameter fitting. However, the prescribed boundary conditions lead to a strong singularity and thus to slow convergence of numerical approximations. In this article we demonstrate that the solution can be related to the solution of a parabolic PDE on a rectangular space-time domain with homogeneous initial and boundary conditions by transformation and subtraction of a known function. We verify that the solution of the new PDE is indeed more regular than the solution of the original PDE and proceed to discretize the new PDE using a space-time minimal residual method. We also demonstrate that the solution depends analytically on the parameters determining the boundaries as well as the drift. This justifies the use of a sparse tensor product interpolation method to approximate the PDE solution for various parameter ranges. The predicted convergence rates of the minimal residual method and that of the interpolation method are supported by numerical simulations.
△ Less
Submitted 16 December, 2021; v1 submitted 8 March, 2021;
originally announced March 2021.
-
A weighted POD-reduction approach for parametrized PDE-constrained Optimal Control Problems with random inputs and applications to environmental sciences
Authors:
Giuseppe Carere,
Maria Strazzullo,
Francesco Ballarin,
Gianluigi Rozza,
Rob Stevenson
Abstract:
Reduced basis approximations of Optimal Control Problems (OCPs) governed by steady partial differential equations (PDEs) with random parametric inputs are analyzed and constructed. Such approximations are based on a Reduced Order Model, which in this work is constructed using the method of weighted Proper Orthogonal Decomposition. This Reduced Order Model then is used to efficiently compute the re…
▽ More
Reduced basis approximations of Optimal Control Problems (OCPs) governed by steady partial differential equations (PDEs) with random parametric inputs are analyzed and constructed. Such approximations are based on a Reduced Order Model, which in this work is constructed using the method of weighted Proper Orthogonal Decomposition. This Reduced Order Model then is used to efficiently compute the reduced basis approximation for any outcome of the random parameter. We demonstrate that such OCPs are well-posed by applying the adjoint approach, which also works in the presence of admissibility constraints and in the case of non linear-quadratic OCPs, and thus is more general than the conventional Lagrangian approach. We also show that a step in the construction of these Reduced Order Models, known as the aggregation step, is not fundamental and can in principle be skipped for noncoercive problems, leading to a cheaper online phase. Numerical applications in three scenarios from environmental science are considered, in which the governing PDE is steady and the control is distributed. Various parameter distributions are taken, and several implementations of the weighted Proper Orthogonal Decomposition are compared by choosing different quadrature rules.
△ Less
Submitted 19 October, 2021; v1 submitted 28 February, 2021;
originally announced March 2021.
-
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.
-
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.
-
Further results on a space-time FOSLS formulation of parabolic PDEs
Authors:
Gregor Gantner,
Rob Stevenson
Abstract:
In [2019, Space-time least-squares finite elements for parabolic equations, arXiv:1911.01942] by Führer& Karkulik, well-posedness of a space-time First-Order System Least-Squares formulation of the heat equation was proven. In the present work, this result is generalized to general second order parabolic PDEs with possibly inhomogenoeus boundary conditions, and plain convergence of a standard adap…
▽ More
In [2019, Space-time least-squares finite elements for parabolic equations, arXiv:1911.01942] by Führer& Karkulik, well-posedness of a space-time First-Order System Least-Squares formulation of the heat equation was proven. In the present work, this result is generalized to general second order parabolic PDEs with possibly inhomogenoeus boundary conditions, and plain convergence of a standard adaptive finite element method driven by the least-squares estimator is demonstrated. The proof of the latter easily extends to a large class of least-squares formulations.
△ Less
Submitted 18 February, 2021; v1 submitted 22 May, 2020;
originally announced May 2020.
-
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.
-
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.
-
Stability of Galerkin discretizations of a mixed space-time variational formulation of parabolic evolution equations
Authors:
Rob Stevenson,
Jan Westerdiep
Abstract:
We analyze Galerkin discretizations of a new well-posed mixed space-time variational formulation of parabolic PDEs. For suitable pairs of finite element trial spaces, the resulting Galerkin operators are shown to be uniformly stable. The method is compared to two related space-time discretization methods introduced in [IMA J. Numer. Anal., 33(1) (2013), pp. 242-260] by R. Andreev and in [Comput. M…
▽ More
We analyze Galerkin discretizations of a new well-posed mixed space-time variational formulation of parabolic PDEs. For suitable pairs of finite element trial spaces, the resulting Galerkin operators are shown to be uniformly stable. The method is compared to two related space-time discretization methods introduced in [IMA J. Numer. Anal., 33(1) (2013), pp. 242-260] by R. Andreev and in [Comput. Methods Appl. Math., 15(4) (2015), pp. 551-566] by O. Steinbach.
△ Less
Submitted 16 December, 2019; v1 submitted 17 February, 2019;
originally announced February 2019.
-
Adaptive Strategies for Transport Equations
Authors:
W. Dahmen,
R. P. Stevenson
Abstract:
This paper is concerned with a posteriori error bounds for linear transport equations and related questions of contriving corresponding adaptive solution strategies in the context of Discontinuous-Petrov-Galerkin schemes. After indicating our motivation for this investigation in a wider context the first major part of the paper is devoted to the derivation and analysis of a posteriori error bounds…
▽ More
This paper is concerned with a posteriori error bounds for linear transport equations and related questions of contriving corresponding adaptive solution strategies in the context of Discontinuous-Petrov-Galerkin schemes. After indicating our motivation for this investigation in a wider context the first major part of the paper is devoted to the derivation and analysis of a posteriori error bounds that, under mild conditions on variable convection fields, are efficient and, modulo a data-oscillation term, reliable. In particular, it is shown that these error estimators are computed at a cost that stays uniformly proportional to the problem size. The remaining part of the paper is then concerned with the question whether typical bulk criteria known from adaptive strategies for elliptic problems entail a fixed error reduction rate also in the context of transport equations. This turns out to be significantly more difficult than for elliptic problems and at this point we can give a complete affirmative answer for a single spatial dimension. For the general multidimensional case we provide partial results which we find of interest in their own right. An essential distinction from known concepts is that global arguments enter the issue of error reduction. An important ingredient of the underlying analysis, which is perhaps interesting in its own right, is to relate the derived error indicators to the residuals that naturally arise in related least squares formulations. This reveals a close interrelation between both settings regarding error reduction in the context of adaptive refinements.
△ Less
Submitted 21 February, 2019; v1 submitted 6 September, 2018;
originally announced September 2018.
-
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.
-
A quadratic finite element wavelet Riesz basis
Authors:
Nikolaos Rekatsinas,
Rob Stevenson
Abstract:
In this paper, continuous piecewise quadratic finite element wavelets are constructed on general polygons in $\mathbb{R}^2$. The wavelets are stable in $H^s$ for $|s|<\frac{3}{2}$ and have two vanishing moments. Each wavelet is a linear combination of 11 or 13 nodal basis functions. Numerically computed condition numbers for $s \in \{-1,0,1\}$ are provided for the unit square.
In this paper, continuous piecewise quadratic finite element wavelets are constructed on general polygons in $\mathbb{R}^2$. The wavelets are stable in $H^s$ for $|s|<\frac{3}{2}$ and have two vanishing moments. Each wavelet is a linear combination of 11 or 13 nodal basis functions. Numerically computed condition numbers for $s \in \{-1,0,1\}$ are provided for the unit square.
△ Less
Submitted 3 January, 2018;
originally announced January 2018.
-
An optimal adaptive Fictitious Domain Method
Authors:
Stefano Berrone,
Andrea Bonito,
Rob Stevenson,
Marco Verani
Abstract:
We consider a Fictitious Domain formulation of an elliptic partial differential equation and approximate the resulting saddle-point system using an inexact preconditioned Uzawa iterative algorithm. Each iteration entails the approximation of an elliptic problems performed using adaptive finite element methods. We prove that the overall method converges with the best possible rate and illustrate nu…
▽ More
We consider a Fictitious Domain formulation of an elliptic partial differential equation and approximate the resulting saddle-point system using an inexact preconditioned Uzawa iterative algorithm. Each iteration entails the approximation of an elliptic problems performed using adaptive finite element methods. We prove that the overall method converges with the best possible rate and illustrate numerically our theoretical findings.
△ Less
Submitted 20 September, 2018; v1 submitted 26 December, 2017;
originally announced December 2017.
-
A saturation property for the spectral-Galerkin approximation of a Dirichlet problem in a square
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
Both practice and analysis of adaptive $p$-FEMs and $hp$-FEMs raise the question what increment in the current polynomial degree $p$ guarantees a $p$-independent reduction of the Galerkin error. We answer this question for the $p$-FEM in the simplified context of homogeneous Dirichlet problems for the Poisson equation in the two dimensional unit square with polynomial data of degree $p$. We show t…
▽ More
Both practice and analysis of adaptive $p$-FEMs and $hp$-FEMs raise the question what increment in the current polynomial degree $p$ guarantees a $p$-independent reduction of the Galerkin error. We answer this question for the $p$-FEM in the simplified context of homogeneous Dirichlet problems for the Poisson equation in the two dimensional unit square with polynomial data of degree $p$. We show that an increment proportional to $p$ yields a $p$-robust error reduction and provide computational evidence that a constant increment does not.
△ Less
Submitted 3 January, 2018; v1 submitted 26 December, 2017;
originally announced December 2017.
-
An optimal adaptive wavelet method for First Order System Least Squares
Authors:
Nikolaos Rekatsinas,
Rob Stevenson
Abstract:
In this paper, it is shown that any well-posed 2nd order PDE can be reformulated as a well-posed first order least squares system. This system will be solved by an adaptive wavelet solver in optimal computational complexity. The applications that are considered are second order elliptic PDEs with general inhomogeneous boundary conditions, and the stationary Navier-Stokes equations.
In this paper, it is shown that any well-posed 2nd order PDE can be reformulated as a well-posed first order least squares system. This system will be solved by an adaptive wavelet solver in optimal computational complexity. The applications that are considered are second order elliptic PDEs with general inhomogeneous boundary conditions, and the stationary Navier-Stokes equations.
△ Less
Submitted 16 November, 2017;
originally announced November 2017.
-
On p-Robust Saturation for hp-AFEM
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
We consider the standard adaptive finite element loop SOLVE, ESTIMATE, MARK, REFINE, with ESTIMATE being implemented using the $p$-robust equilibrated flux estimator, and MARK being Dörfler marking. As a refinement strategy we employ $p$-refinement. We investigate the question by which amount the local polynomial degree on any marked patch has to be increase in order to achieve a $p$-independent e…
▽ More
We consider the standard adaptive finite element loop SOLVE, ESTIMATE, MARK, REFINE, with ESTIMATE being implemented using the $p$-robust equilibrated flux estimator, and MARK being Dörfler marking. As a refinement strategy we employ $p$-refinement. We investigate the question by which amount the local polynomial degree on any marked patch has to be increase in order to achieve a $p$-independent error reduction. The resulting adaptive method can be turned into an instance optimal $hp$-adaptive method by the addition of a coarsening routine.
△ Less
Submitted 13 November, 2016;
originally announced November 2016.
-
Adaptive Spectral Galerkin Methods with Dynamic Marking
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
The convergence and optimality theory of adaptive Galerkin methods is almost exclusively based on the Dörfler marking. This entails a fixed parameter and leads to a contraction constant bounded below away from zero. For spectral Galerkin methods this is a severe limitation which affects performance. We present a dynamic marking strategy that allows for a super-linear relation between consecutive d…
▽ More
The convergence and optimality theory of adaptive Galerkin methods is almost exclusively based on the Dörfler marking. This entails a fixed parameter and leads to a contraction constant bounded below away from zero. For spectral Galerkin methods this is a severe limitation which affects performance. We present a dynamic marking strategy that allows for a super-linear relation between consecutive discretization errors, and show exponential convergence with linear computational complexity whenever the solution belongs to a Gevrey approximation class.
△ Less
Submitted 1 November, 2015;
originally announced November 2015.
-
On the stability of DPG formulations of transport equations
Authors:
D. Broersen,
W. Dahmen,
R. P. Stevenson
Abstract:
In this paper we formulate and analyze a Discontinuous Petrov Galerkin formulation of linear transport equations with variable convection fields. We show that a corresponding {\em infinite dimensional} mesh-dependent variational formulation, in which besides the principal field also its trace on the mesh skeleton is an unknown, is uniformly stable with respect to the mesh, where the test space is…
▽ More
In this paper we formulate and analyze a Discontinuous Petrov Galerkin formulation of linear transport equations with variable convection fields. We show that a corresponding {\em infinite dimensional} mesh-dependent variational formulation, in which besides the principal field also its trace on the mesh skeleton is an unknown, is uniformly stable with respect to the mesh, where the test space is a certain product space over the underlying domain partition.
Our main result states then the following. For piecewise polynomial trial spaces of degree $m$, we show under mild assumptions on the convection field that piecewise polynomial test spaces of degree $m+1$ over a refinement of the primal partition with uniformly bounded refinement depth give rise to uniformly (with respect to the mesh size) stable Petrov-Galerkin discretizations. The partitions are required to be shape regular but need not be quasi-uniform. An important startup ingredient is that for a constant convection field one can identify the exact optimal test functions with respect to a suitably modified but uniformly equivalent broken test space norm as piecewise polynomials. These test functions are then varied towards simpler and stably computable near-optimal test functions for which the above result is derived via a perturbation analysis. We conclude indicating some consequences of the results that will be treated in forthcoming work.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
Convergence and Optimality of hp-AFEM
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
We design and analyze an adaptive $hp$-finite element method (hp-AFEM) in dimensions $n=1,2$. The algorithm consists of iterating two routines: hp-NEARBEST finds a near-best $hp$-approximation of the current discrete solution and data to a desired accuracy, and REDUCE improves the discrete solution to a finer but comparable accuracy. The former hinges on a recent algorithm by Binev for adaptive…
▽ More
We design and analyze an adaptive $hp$-finite element method (hp-AFEM) in dimensions $n=1,2$. The algorithm consists of iterating two routines: hp-NEARBEST finds a near-best $hp$-approximation of the current discrete solution and data to a desired accuracy, and REDUCE improves the discrete solution to a finer but comparable accuracy. The former hinges on a recent algorithm by Binev for adaptive $hp$-approximation, and acts as a coarsening step. We prove convergence and instance optimality.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
Instance optimality of the adaptive maximum strategy
Authors:
Lars Diening,
Christian Kreuzer,
Rob Stevenson
Abstract:
In this paper, we prove that the standard adaptive finite element method with a (modified) `maximum marking strategy' is `instance optimal' for the `total error', being the sum of the energy error and the oscillation. This result will be derived in the model setting of Poisson's equation on a polygon, linear finite elements, and conforming triangulations created by newest vertex bisection.
In this paper, we prove that the standard adaptive finite element method with a (modified) `maximum marking strategy' is `instance optimal' for the `total error', being the sum of the energy error and the oscillation. This result will be derived in the model setting of Poisson's equation on a polygon, linear finite elements, and conforming triangulations created by newest vertex bisection.
△ Less
Submitted 21 November, 2014; v1 submitted 3 June, 2013;
originally announced June 2013.