-
A posteriori analysis of neural network approximations
Authors:
Thomas Führer,
Sergio Rojas
Abstract:
In a general setting, we study a posteriori estimates used in finite element analysis to measure the error between a solution and its approximation. The latter is not necessarily generated by a finite element method. We show that the error is equivalent to the sum of two residuals provided that the underlying variational formulation is well posed. The first contribution is the projection of the re…
▽ More
In a general setting, we study a posteriori estimates used in finite element analysis to measure the error between a solution and its approximation. The latter is not necessarily generated by a finite element method. We show that the error is equivalent to the sum of two residuals provided that the underlying variational formulation is well posed. The first contribution is the projection of the residual to a finite-dimensional space and is therefore computable, while the second one can be reliably estimated by a computable upper bound in many practical scenarios. Assuming sufficiently accurate quadrature, our findings can be used to estimate the error of, e.g., neural network outputs. Two important applications can be considered during optimization: first, the estimators are used to monitor the error in each solver step, or, second, the two estimators are included in the loss functional, and therefore provide control over the error. As a model problem, we consider a second-order elliptic partial differential equation and discuss different variational formulations thereof, including several options to include boundary conditions in the estimators. Various numerical experiments are presented to validate our findings.
△ Less
Submitted 8 July, 2025;
originally announced July 2025.
-
Tensor finite elements for smectic liquid crystals
Authors:
Thomas Führer,
Norbert Heuer,
Torsten Linß
Abstract:
We present a tensor-based finite element scheme for a smectic-A liquid crystal model. We propose a simple Céa-type finite element projection in the linear case and prove its quasi-optimal convergence. Special emphasis is put on the formulation and treatment of appropriate boundary conditions. For the nonlinear case we present a formulation in two space dimensions and prove the existence of a solut…
▽ More
We present a tensor-based finite element scheme for a smectic-A liquid crystal model. We propose a simple Céa-type finite element projection in the linear case and prove its quasi-optimal convergence. Special emphasis is put on the formulation and treatment of appropriate boundary conditions. For the nonlinear case we present a formulation in two space dimensions and prove the existence of a solution. We propose a discretization that extends the linear case in Uzawa-fashion to the nonlinear case by an additional Poisson solver. Numerical results illustrate the performance and convergence of our schemes.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
A space-time finite element method for parabolic obstacle problems
Authors:
José Joaquín Carvajal,
Davood Damircheli,
Thomas Führer,
Francisco Fuica,
Michael Karkulik
Abstract:
We propose and analyze a general framework for space-time finite element methods that is based on least-squares finite element methods for solving a first-order reformulation of the thick parabolic obstacle problem. Discretizations based on simplicial and prismatic meshes are studied and we show a priori error estimates for both. Convergence rates are derived for sufficiently smooth solutions. Rel…
▽ More
We propose and analyze a general framework for space-time finite element methods that is based on least-squares finite element methods for solving a first-order reformulation of the thick parabolic obstacle problem. Discretizations based on simplicial and prismatic meshes are studied and we show a priori error estimates for both. Convergence rates are derived for sufficiently smooth solutions. Reliable a posteriori bounds are provided and used to steer an adaptive algorithm. Numerical experiments including a one-phase Stefan problem and an American option pricing problem are presented.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Aubin--Nitsche-type estimates for space-time FOSLS for parabolic PDEs
Authors:
Thomas Führer,
Gregor Gantner
Abstract:
We develop Aubin--Nitsche-type estimates for recently proposed first-order system least-squares finite element methods (FOSLS) for the heat equation. Under certain assumptions, which are satisfied if the spatial domain is convex and the heat source and initial datum are sufficiently smooth, we prove that the $L^2$ error of approximations of the scalar field variable converges at a higher rate than…
▽ More
We develop Aubin--Nitsche-type estimates for recently proposed first-order system least-squares finite element methods (FOSLS) for the heat equation. Under certain assumptions, which are satisfied if the spatial domain is convex and the heat source and initial datum are sufficiently smooth, we prove that the $L^2$ error of approximations of the scalar field variable converges at a higher rate than the overall error. Furthermore, a higher-order conservation property is shown. In addition, we discuss quasi-optimality in weaker norms. Numerical experiments confirm our theoretical findings.
△ Less
Submitted 5 December, 2024;
originally announced December 2024.
-
Space-time FEM-BEM couplings for parabolic transmission problems
Authors:
Thomas Führer,
Gregor Gantner,
Michael Karkulik
Abstract:
We develop couplings of a recent space-time first-order system least-squares (FOSLS) method for parabolic problems and space-time boundary element methods (BEM) for the heat equation to numerically solve a parabolic transmission problem on the full space and a finite time interval. In particular, we demonstrate coercivity of the couplings under certain restrictions and validate our theoretical fin…
▽ More
We develop couplings of a recent space-time first-order system least-squares (FOSLS) method for parabolic problems and space-time boundary element methods (BEM) for the heat equation to numerically solve a parabolic transmission problem on the full space and a finite time interval. In particular, we demonstrate coercivity of the couplings under certain restrictions and validate our theoretical findings by numerical experiments.
△ Less
Submitted 22 September, 2024;
originally announced September 2024.
-
Mixed finite element methods for elliptic obstacle problems
Authors:
Thomas Führer,
Francisco Fuica
Abstract:
Mixed variational formulations for the first-order system of the elastic membrane obstacle problem and the second-order system of the Kirchhoff--Love plate obstacle problem are proposed. The force exerted by the rigid obstacle is included as a new unknown. A priori and a posteriori error estimates are derived for both obstacle problems. The a posteriori error estimates are based on conforming post…
▽ More
Mixed variational formulations for the first-order system of the elastic membrane obstacle problem and the second-order system of the Kirchhoff--Love plate obstacle problem are proposed. The force exerted by the rigid obstacle is included as a new unknown. A priori and a posteriori error estimates are derived for both obstacle problems. The a posteriori error estimates are based on conforming postprocessed solutions. Numerical experiments conclude this work.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Quasi-interpolators with application to postprocessing in finite element methods
Authors:
Thomas Führer,
Manuel A. Sánchez
Abstract:
We design quasi-interpolation operators based on piecewise polynomial weight functions of degree less than or equal to $p$ that map into the space of continuous piecewise polynomials of degree less than or equal to $p+1$. We show that the operators have optimal approximation properties, i.e., of order $p+2$. This can be exploited to enhance the accuracy of finite element approximations provided th…
▽ More
We design quasi-interpolation operators based on piecewise polynomial weight functions of degree less than or equal to $p$ that map into the space of continuous piecewise polynomials of degree less than or equal to $p+1$. We show that the operators have optimal approximation properties, i.e., of order $p+2$. This can be exploited to enhance the accuracy of finite element approximations provided that they are sufficiently close to the orthogonal projection of the exact solution on the space of piecewise polynomials of degree less than or equal to $p$. Such a condition is met by various numerical schemes, e.g., mixed finite element methods and discontinuous Petrov--Galerkin methods. Contrary to well-established postprocessing techniques which also require this or a similar closeness property, our proposed method delivers a conforming postprocessed solution that does not rely on discrete approximations of derivatives nor local versions of the underlying PDE. In addition, we introduce a second family of quasi-interpolation operators that are based on piecewise constant weight functions, which can be used, e.g., to postprocess solutions of hybridizable discontinuous Galerkin methods. Another application of our proposed operators is the definition of projection operators bounded in Sobolev spaces with negative indices. Numerical examples demonstrate the effectiveness of our approach.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Robust hybrid finite element methods for reaction-dominated diffusion problems
Authors:
Thomas Führer,
Diego Paredes
Abstract:
For a reaction-dominated diffusion problem we study a primal and a dual hybrid finite element method where weak continuity conditions are enforced by Lagrange multipliers. Uniform robustness of the discrete methods is achieved by enriching the local discretization spaces with modified face bubble functions which decay exponentially in the interior of an element depending on the ratio of the singul…
▽ More
For a reaction-dominated diffusion problem we study a primal and a dual hybrid finite element method where weak continuity conditions are enforced by Lagrange multipliers. Uniform robustness of the discrete methods is achieved by enriching the local discretization spaces with modified face bubble functions which decay exponentially in the interior of an element depending on the ratio of the singular perturbation parameter and the local mesh-size. A posteriori error estimators are derived using Fortin operators. They are robust with respect to the singular perturbation parameter. Numerical experiments are presented that show that oscillations, if present, are significantly smaller then those observed in common finite element methods.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Well-posedness of first-order acoustic wave equations and space-time finite element approximation
Authors:
Thomas Führer,
Roberto González,
Michael Karkulik
Abstract:
We study a first-order system formulation of the (acoustic) wave equation and prove that the operator of this system is an isomorphsim from an appropriately defined graph space to L^2. The results rely on well-posedness and stability of the weak and ultraweak formulation of the second-order wave equation. As an application we define and analyze a space-time least-squares finite element method for…
▽ More
We study a first-order system formulation of the (acoustic) wave equation and prove that the operator of this system is an isomorphsim from an appropriately defined graph space to L^2. The results rely on well-posedness and stability of the weak and ultraweak formulation of the second-order wave equation. As an application we define and analyze a space-time least-squares finite element method for solving the wave equation. Some numerical examples for one- and two- dimensional spatial domains are presented.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
A DPG method for linear quadratic optimal control problems
Authors:
Thomas Führer,
Francisco Fuica
Abstract:
The DPG method with optimal test functions for solving linear quadratic optimal control problems with control constraints is studied. We prove existence of a unique optimal solution of the nonlinear discrete problem and characterize it through first order optimality conditions. Furthermore, we systematically develop a priori as well as a posteriori error estimates. Our proposed method can be appli…
▽ More
The DPG method with optimal test functions for solving linear quadratic optimal control problems with control constraints is studied. We prove existence of a unique optimal solution of the nonlinear discrete problem and characterize it through first order optimality conditions. Furthermore, we systematically develop a priori as well as a posteriori error estimates. Our proposed method can be applied to a wide range of constrained optimal control problems subject to, e.g., scalar second-order PDEs and the Stokes equations. Numerical experiments that illustrate our theoretical findings are presented.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Mixed finite elements for Kirchhoff-Love plate bending
Authors:
Thomas Führer,
Norbert Heuer
Abstract:
We present a mixed finite element method with triangular and parallelogram meshes for the Kirchhoff-Love plate bending model. Critical ingredient is the construction of low-dimensional local spaces and appropriate degrees of freedom that provide conformity in terms of a sufficiently large tensor space and that allow for any kind of physically relevant Dirichlet and Neumann boundary conditions. For…
▽ More
We present a mixed finite element method with triangular and parallelogram meshes for the Kirchhoff-Love plate bending model. Critical ingredient is the construction of low-dimensional local spaces and appropriate degrees of freedom that provide conformity in terms of a sufficiently large tensor space and that allow for any kind of physically relevant Dirichlet and Neumann boundary conditions. For Dirichlet boundary conditions and polygonal plates, we prove quasi-optimal convergence of the mixed scheme. An a posteriori error estimator is derived for the special case of the biharmonic problem. Numerical results for regular and singular examples illustrate our findings. They confirm expected convergence rates and exemplify the performance of an adaptive algorithm steered by our error estimator.
△ Less
Submitted 29 May, 2024; v1 submitted 15 May, 2023;
originally announced May 2023.
-
Robust DPG Fortin operators
Authors:
Thomas Führer,
Norbert Heuer
Abstract:
At the fully discrete setting, stability of the discontinuous Petrov--Galerkin (DPG) method with optimal test functions requires local test spaces that ensure the existence of Fortin operators. We construct such operators for $H^1$ and $\boldsymbol{H}(\mathrm{div})$ on simplices in any space dimension and arbitrary polynomial degree. The resulting test spaces are smaller than previously analyzed c…
▽ More
At the fully discrete setting, stability of the discontinuous Petrov--Galerkin (DPG) method with optimal test functions requires local test spaces that ensure the existence of Fortin operators. We construct such operators for $H^1$ and $\boldsymbol{H}(\mathrm{div})$ on simplices in any space dimension and arbitrary polynomial degree. The resulting test spaces are smaller than previously analyzed cases. For parameter-dependent norms, we achieve uniform boundedness by the inclusion of exponential layers. As an example, we consider a canonical DPG setting for reaction-dominated diffusion. Our test spaces guarantee uniform stability and quasi-optimal convergence of the scheme. We present numerical experiments that illustrate the loss of stability and error control by the residual for small diffusion coefficient when using standard polynomial test spaces, whereas we observe uniform stability and error control with our construction.
△ Less
Submitted 30 January, 2023;
originally announced January 2023.
-
A DPG method for the quad-curl problem
Authors:
Thomas Führer,
Pablo Herrera,
Norbert Heuer
Abstract:
We derive an ultraweak variational formulation of the quad-curl problem in two and three dimensions. We present a discontinuous Petrov-Galerkin (DPG) method for its approximation and prove its quasi-optimal convergence. We illustrate how this method can be applied to the Stokes problem in two dimensions, after an application of the curl operator to eliminate the pressure variable. In this way, DPG…
▽ More
We derive an ultraweak variational formulation of the quad-curl problem in two and three dimensions. We present a discontinuous Petrov-Galerkin (DPG) method for its approximation and prove its quasi-optimal convergence. We illustrate how this method can be applied to the Stokes problem in two dimensions, after an application of the curl operator to eliminate the pressure variable. In this way, DPG techniques known from Kirchhoff-Love plates can be used. We present an a priori error estimate that improves a previous approximation result for effective shear forces by using a less restrictive regularity assumption. Numerical experiments illustrate our findings.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
First-order system least-squares finite element method for singularly perturbed Darcy equations
Authors:
Thomas Führer,
Juha Videman
Abstract:
We define and analyse a least-squares finite element method for a first-order reformulation of a scaled Brinkman model of fluid flow through porous media. We introduce a pseudostress variable that allows to eliminate the pressure variable from the system. It can be recovered by a simple post-processing. It is shown that the least-squares functional is uniformly equivalent, i.e., independent of the…
▽ More
We define and analyse a least-squares finite element method for a first-order reformulation of a scaled Brinkman model of fluid flow through porous media. We introduce a pseudostress variable that allows to eliminate the pressure variable from the system. It can be recovered by a simple post-processing. It is shown that the least-squares functional is uniformly equivalent, i.e., independent of the singular perturbation parameter, to a parameter dependent norm. This norm equivalence implies that the least-squares functional evaluated in the discrete solution provides an efficient and reliable a posteriori error estimator. Numerical experiments are presented.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Least-squares finite elements for distributed optimal control problems
Authors:
Thomas Führer,
Michael Karkulik
Abstract:
We provide a framework for the numerical approximation of distributed optimal control problems, based on least-squares finite element methods. Our proposed method simultaneously solves the state and adjoint equations and is $\inf$--$\sup$ stable for any choice of conforming discretization spaces. A reliable and efficient a posteriori error estimator is derived for problems where box constraints ar…
▽ More
We provide a framework for the numerical approximation of distributed optimal control problems, based on least-squares finite element methods. Our proposed method simultaneously solves the state and adjoint equations and is $\inf$--$\sup$ stable for any choice of conforming discretization spaces. A reliable and efficient a posteriori error estimator is derived for problems where box constraints are imposed on the control. It can be localized and therefore used to steer an adaptive algorithm. For unconstrained optimal control problems, i.e., the set of controls being a Hilbert space, we obtain a coercive least-squares method and, in particular, quasi-optimality for any choice of discrete approximation space. For constrained problems we derive and analyze a variational inequality where the PDE part is tackled by least-squares finite element methods. We show that the abstract framework can be applied to a wide range of problems, including scalar second-order PDEs, the Stokes problem, and parabolic problems on space-time domains. Numerical examples for some selected problems are presented.
△ Less
Submitted 2 August, 2023; v1 submitted 28 October, 2022;
originally announced October 2022.
-
On a mixed FEM and a FOSLS with $H^{-1}$ loads
Authors:
Thomas Führer
Abstract:
We study variants of the mixed finite element method (mixed FEM) and the first-order system least-squares finite element (FOSLS) for the Poisson problem where we replace the load by a suitable regularization which permits to use $H^{-1}$ loads. We prove that any bounded $H^{-1}$ projector onto piecewise constants can be used to define the regularization and yields quasi-optimality of the lowest-or…
▽ More
We study variants of the mixed finite element method (mixed FEM) and the first-order system least-squares finite element (FOSLS) for the Poisson problem where we replace the load by a suitable regularization which permits to use $H^{-1}$ loads. We prove that any bounded $H^{-1}$ projector onto piecewise constants can be used to define the regularization and yields quasi-optimality of the lowest-order mixed FEM resp. FOSLS in weaker norms. Examples for the construction of such projectors are given. One is based on the adjoint of a weighted Clément quasi-interpolator. We prove that this Clément operator has second-order approximation properties. For the modified mixed method we show optimal convergence rates of a postprocessed solution under minimal regularity assumptions -- a result not valid for the lowest-order mixed FEM without regularization. Numerical examples conclude this work.
△ Less
Submitted 1 February, 2023; v1 submitted 25 October, 2022;
originally announced October 2022.
-
Space-time finite element methods for parabolic distributed optimal control problems
Authors:
Thomas Führer,
Michael Karkulik
Abstract:
We present a method for the numerical approximation of distributed optimal control problems constrained by parabolic partial differential equations. We complement the first-order optimality condition by a recently developed space-time variational formulation of parabolic equations which is coercive in the energy norm, and a Lagrangian multiplier. Our final formulation fulfills the Babuška-Brezzi c…
▽ More
We present a method for the numerical approximation of distributed optimal control problems constrained by parabolic partial differential equations. We complement the first-order optimality condition by a recently developed space-time variational formulation of parabolic equations which is coercive in the energy norm, and a Lagrangian multiplier. Our final formulation fulfills the Babuška-Brezzi conditions on the continuous as well as discrete level, without restrictions. Consequently, we can allow for final-time desired states, and obtain an a-posteriori error estimator which is efficient and reliable. Numerical experiments confirm our theoretical findings.
△ Less
Submitted 21 August, 2022;
originally announced August 2022.
-
A DPG method for Reissner-Mindlin plates
Authors:
Thomas Führer,
Norbert Heuer,
Antti H. Niemi
Abstract:
We present a discontinuous Petrov-Galerkin (DPG) method with optimal test functions for the Reissner-Mindlin plate bending model. Our method is based on a variational formulation that utilizes a Helmholtz decomposition of the shear force. It produces approximations of the primitive variables and the bending moments. For any canonical selection of boundary conditions the method converges quasi-opti…
▽ More
We present a discontinuous Petrov-Galerkin (DPG) method with optimal test functions for the Reissner-Mindlin plate bending model. Our method is based on a variational formulation that utilizes a Helmholtz decomposition of the shear force. It produces approximations of the primitive variables and the bending moments. For any canonical selection of boundary conditions the method converges quasi-optimally. In the case of hard-clamped convex plates, we prove that the lowest-order scheme is locking free. Several numerical experiments confirm our results.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
DPG methods for a fourth-order div problem
Authors:
Thomas Führer,
Pablo Herrera,
Norbert Heuer
Abstract:
We study a fourth-order div problem and its approximation by the discontinuous Petrov-Galerkin method with optimal test functions. We present two variants, based on first and second-order systems. In both cases we prove well-posedness of the formulation and quasi-optimal convergence of the approximation. Our analysis includes the fully-discrete schemes with approximated test functions, for general…
▽ More
We study a fourth-order div problem and its approximation by the discontinuous Petrov-Galerkin method with optimal test functions. We present two variants, based on first and second-order systems. In both cases we prove well-posedness of the formulation and quasi-optimal convergence of the approximation. Our analysis includes the fully-discrete schemes with approximated test functions, for general dimension and polynomial degree in the first-order case, and for two dimensions and lowest-order approximation in the second-order case. Numerical results illustrate the performance for quasi-uniform and adaptively refined meshes.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
MINRES for second-order PDEs with singular data
Authors:
Thomas Führer,
Norbert Heuer,
Michael Karkulik
Abstract:
Minimum residual methods such as the least-squares finite element method (FEM) or the discontinuous Petrov--Galerkin method with optimal test functions (DPG) usually exclude singular data, e.g., non square-integrable loads. We consider a DPG method and a least-squares FEM for the Poisson problem. For both methods we analyze regularization approaches that allow the use of $H^{-1}$ loads, and also s…
▽ More
Minimum residual methods such as the least-squares finite element method (FEM) or the discontinuous Petrov--Galerkin method with optimal test functions (DPG) usually exclude singular data, e.g., non square-integrable loads. We consider a DPG method and a least-squares FEM for the Poisson problem. For both methods we analyze regularization approaches that allow the use of $H^{-1}$ loads, and also study the case of point loads. For all cases we prove appropriate convergence orders. We present various numerical experiments that confirm our theoretical results. Our approach extends to general well-posed second-order problems.
△ Less
Submitted 29 October, 2021;
originally announced November 2021.
-
A DPG method for shallow shells
Authors:
Thomas Führer,
Norbert Heuer,
Antti H. Niemi
Abstract:
We develop and analyze a discontinuous Petrov--Galerkin method with optimal test functions (DPG method) for a shallow shell model of Koiter type. It is based on a uniformly stable ultraweak formulation and thus converges robustly quasi-uniformly. Numerical experiments for various cases, including the Scordelis--Lo cylindrical roof, elliptic and hyperbolic geometries, illustrate its performance. Th…
▽ More
We develop and analyze a discontinuous Petrov--Galerkin method with optimal test functions (DPG method) for a shallow shell model of Koiter type. It is based on a uniformly stable ultraweak formulation and thus converges robustly quasi-uniformly. Numerical experiments for various cases, including the Scordelis--Lo cylindrical roof, elliptic and hyperbolic geometries, illustrate its performance. The built-in DPG error estimator gives rise to adaptive mesh refinements that are capable to resolve boundary and interior layers. The membrane locking is dealt with by raising the polynomial degree only of the tangential displacement trace variable.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
Analysis of backward Euler primal DPG methods
Authors:
Thomas Führer,
Norbert Heuer,
Michael Karkulik
Abstract:
We analyse backward Euler time stepping schemes for the primal DPG formulation of a class of parabolic problems. Optimal error estimates are shown in the natural norm and in the $L^2$ norm of the field variable. For the heat equation the solution of our primal DPG formulation equals the solution of a standard Galerkin scheme and, thus, optimal error bounds are found in the literature. In the prese…
▽ More
We analyse backward Euler time stepping schemes for the primal DPG formulation of a class of parabolic problems. Optimal error estimates are shown in the natural norm and in the $L^2$ norm of the field variable. For the heat equation the solution of our primal DPG formulation equals the solution of a standard Galerkin scheme and, thus, optimal error bounds are found in the literature. In the presence of advection and reaction terms, however, the latter identity is not valid anymore and the analysis of optimal error bounds requires to resort to elliptic projection operators. It is essential that these operators be projections with respect to the spatial part of the PDE, as in standard Galerkin schemes, and not with respect to the full PDE at a time step, as done previously.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
A robust DPG method for large domains
Authors:
Thomas Führer,
Norbert Heuer
Abstract:
We observe a dramatic lack of robustness of the DPG method when solving problems on large domains and where stability is based on a Poincaré-type inequality. We show how robustness can be re-established by using appropriately scaled test norms. As model cases we study the Poisson problem and the Kirchhoff--Love plate bending model, and also include fully discrete variants where optimal test functi…
▽ More
We observe a dramatic lack of robustness of the DPG method when solving problems on large domains and where stability is based on a Poincaré-type inequality. We show how robustness can be re-established by using appropriately scaled test norms. As model cases we study the Poisson problem and the Kirchhoff--Love plate bending model, and also include fully discrete variants where optimal test functions are approximated. Numerical experiments for both model problems, including an-isotropic domains and mixed boundary conditions, confirm our findings.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
Multilevel decompositions and norms for negative order Sobolev spaces
Authors:
Thomas Führer
Abstract:
We consider multilevel decompositions of piecewise constants on simplicial meshes that are stable in $H^{-s}$ for $s\in (0,1)$. Proofs are given in the case of uniformly and locally refined meshes. Our findings can be applied to define local multilevel diagonal preconditioners that lead to bounded condition numbers (independent of the mesh-sizes and levels) and have optimal computational complexit…
▽ More
We consider multilevel decompositions of piecewise constants on simplicial meshes that are stable in $H^{-s}$ for $s\in (0,1)$. Proofs are given in the case of uniformly and locally refined meshes. Our findings can be applied to define local multilevel diagonal preconditioners that lead to bounded condition numbers (independent of the mesh-sizes and levels) and have optimal computational complexity. Furthermore, we discuss multilevel norms based on local (quasi-)projection operators that allow the efficient evaluation of negative order Sobolev norms. Numerical examples and a discussion on several extensions and applications conclude this article.
△ Less
Submitted 15 June, 2021; v1 submitted 31 August, 2020;
originally announced September 2020.
-
A short note on plain convergence of adaptive least-squares finite element methods
Authors:
Thomas Führer,
Dirk Praetorius
Abstract:
We show that adaptive least-squares finite element methods driven by the canonical least-squares functional converge under weak conditions on PDE operator, mesh-refinement, and marking strategy. Contrary to prior works, our plain convergence does neither rely on sufficiently fine initial meshes nor on severe restrictions on marking parameters. Finally, we prove that convergence is still valid if a…
▽ More
We show that adaptive least-squares finite element methods driven by the canonical least-squares functional converge under weak conditions on PDE operator, mesh-refinement, and marking strategy. Contrary to prior works, our plain convergence does neither rely on sufficiently fine initial meshes nor on severe restrictions on marking parameters. Finally, we prove that convergence is still valid if a contractive iterative solver is used to obtain the approximate solutions (e.g., the preconditioned conjugate gradient method with optimal preconditioner). The results apply within a fairly abstract framework which covers a variety of model problems.
△ Less
Submitted 22 May, 2020;
originally announced May 2020.
-
A locking-free DPG scheme for Timoshenko beams
Authors:
Thomas Führer,
Carlos García Vera,
Norbert Heuer
Abstract:
We develop a discontinuous Petrov-Galerkin scheme with optimal test functions (DPG method) for the Timoshenko beam bending model with various boundary conditions, combining clamped, supported, and free ends. Our scheme approximates the transverse deflection and bending moment. It converges quasi-optimally in $L_2$ and is locking free. In particular, it behaves well (converges quasi-optimally) in t…
▽ More
We develop a discontinuous Petrov-Galerkin scheme with optimal test functions (DPG method) for the Timoshenko beam bending model with various boundary conditions, combining clamped, supported, and free ends. Our scheme approximates the transverse deflection and bending moment. It converges quasi-optimally in $L_2$ and is locking free. In particular, it behaves well (converges quasi-optimally) in the limit case of the Euler-Bernoulli model. Several numerical results illustrate the performance of our method.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
Space-time least-squares finite elements for parabolic equations
Authors:
Thomas Führer,
Michael Karkulik
Abstract:
We present a space-time least squares finite element method for the heat equation. It is based on residual minimization in L2 norms in space-time of an equivalent first order system. This implies that (i) the resulting bilinear form is symmetric and coercive and hence any conforming discretization is uniformly stable, (ii) stiffness matrices are symmetric, positive definite, and sparse, (iii) we h…
▽ More
We present a space-time least squares finite element method for the heat equation. It is based on residual minimization in L2 norms in space-time of an equivalent first order system. This implies that (i) the resulting bilinear form is symmetric and coercive and hence any conforming discretization is uniformly stable, (ii) stiffness matrices are symmetric, positive definite, and sparse, (iii) we have a local a-posteriori error estimator for free. In particular, our approach features full space-time adaptivity. We also present a-priori error analysis on simplicial space-time meshes which are highly structured. Numerical results conclude this work.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Ultraweak formulation of linear PDEs in nondivergence form and DPG approximation
Authors:
Thomas Führer
Abstract:
We develop and analyze an ultraweak formulation of linear PDEs in nondivergence form where the coefficients satisfy the Cordes condition. Based on the ultraweak formulation we propose discontinuous Petrov--Galerkin (DPG) methods. We investigate Fortin operators for the fully discrete schemes and provide a posteriori estimators for the methods under consideration. Numerical experiments are presente…
▽ More
We develop and analyze an ultraweak formulation of linear PDEs in nondivergence form where the coefficients satisfy the Cordes condition. Based on the ultraweak formulation we propose discontinuous Petrov--Galerkin (DPG) methods. We investigate Fortin operators for the fully discrete schemes and provide a posteriori estimators for the methods under consideration. Numerical experiments are presented in the case of uniform and adaptive mesh-refinement.
△ Less
Submitted 23 August, 2019;
originally announced August 2019.
-
An ultraweak formulation of the Reissner-Mindlin plate bending model and DPG approximation
Authors:
Thomas Führer,
Norbert Heuer,
Francisco-Javier Sayas
Abstract:
We develop and analyze an ultraweak variational formulation of the Reissner-Mindlin plate bending model both for the clamped and the soft simply supported cases. We prove well-posedness of the formulation, uniformly with respect to the plate thickness $t$. We also prove weak convergence of the Reissner-Mindlin solution to the solution of the corresponding Kirchhoff-Love model when $t\to 0$.
Base…
▽ More
We develop and analyze an ultraweak variational formulation of the Reissner-Mindlin plate bending model both for the clamped and the soft simply supported cases. We prove well-posedness of the formulation, uniformly with respect to the plate thickness $t$. We also prove weak convergence of the Reissner-Mindlin solution to the solution of the corresponding Kirchhoff-Love model when $t\to 0$.
Based on the ultraweak formulation, we introduce a discretization of the discontinuous Petrov-Galerkin type with optimal test functions (DPG) and prove its uniform quasi-optimal convergence. Our theory covers the case of non-convex polygonal plates.
A numerical experiment for some smooth model solutions with fixed load confirms that our scheme is locking free.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Trace operators of the bi-Laplacian and applications
Authors:
Thomas Führer,
Alexander Haberl,
Norbert Heuer
Abstract:
We study several trace operators and spaces that are related to the bi-Laplacian. They are motivated by the development of ultraweak formulations for the bi-Laplace equation with homogeneous Dirichlet condition, but are also relevant to describe conformity of mixed approximations.
Our aim is to have well-posed (ultraweak) formulations that assume low regularity, under the condition of an $L_2$ r…
▽ More
We study several trace operators and spaces that are related to the bi-Laplacian. They are motivated by the development of ultraweak formulations for the bi-Laplace equation with homogeneous Dirichlet condition, but are also relevant to describe conformity of mixed approximations.
Our aim is to have well-posed (ultraweak) formulations that assume low regularity, under the condition of an $L_2$ right-hand side function. We pursue two ways of defining traces and corresponding integration-by-parts formulas. In one case one obtains a non-closed space. This can be fixed by switching to the Kirchhoff-Love traces from [Führer, Heuer, Niemi, An ultraweak formulation of the Kirchhoff-Love plate bending model and DPG approximation, Math. Comp., 88 (2019)]. Using different combinations of trace operators we obtain two well-posed formulations. For both of them we report on numerical experiments with the DPG method and optimal test functions.
In this paper we consider two and three space dimensions. However, with the exception of a given counterexample in an appendix (related to the non-closedness of a trace space), our analysis applies to any space dimension larger than or equal to two.
△ Less
Submitted 16 April, 2019;
originally announced April 2019.
-
Adaptive Uzawa algorithm for the Stokes equation
Authors:
Giovanni Di Fratta,
Thomas Führer,
Gregor Gantner,
Dirk Praetorius
Abstract:
Based on the Uzawa algorithm, we consider an adaptive finite element method for the Stokes system. We prove linear convergence with optimal algebraic rates for the residual estimator (which is equivalent to the total error), if the arising linear systems are solved iteratively, e.g., by PCG. Our analysis avoids the use of discrete efficiency of the estimator. Unlike prior work, our adaptive Uzawa…
▽ More
Based on the Uzawa algorithm, we consider an adaptive finite element method for the Stokes system. We prove linear convergence with optimal algebraic rates for the residual estimator (which is equivalent to the total error), if the arising linear systems are solved iteratively, e.g., by PCG. Our analysis avoids the use of discrete efficiency of the estimator. Unlike prior work, our adaptive Uzawa algorithm can thus avoid to discretize the given data and does not rely on an interior node property for the refinement.
△ Less
Submitted 2 May, 2019; v1 submitted 31 December, 2018;
originally announced December 2018.
-
Optimal additive Schwarz preconditioning for adaptive 2D IGA boundary element methods
Authors:
Thomas Führer,
Gregor Gantner,
Dirk Praetorius,
Stefan Schimanko
Abstract:
We define and analyze (local) multilevel diagonal preconditioners for isogeometric boundary elements on locally refined meshes in two dimensions. Hypersingular and weakly-singular integral equations are considered. We prove that the condition number of the preconditioned systems of linear equations is independent of the mesh-size and the refinement level. Therefore, the computational complexity, w…
▽ More
We define and analyze (local) multilevel diagonal preconditioners for isogeometric boundary elements on locally refined meshes in two dimensions. Hypersingular and weakly-singular integral equations are considered. We prove that the condition number of the preconditioned systems of linear equations is independent of the mesh-size and the refinement level. Therefore, the computational complexity, when using appropriate iterative solvers, is optimal. Our analysis is carried out for closed and open boundaries and numerical examples confirm our theoretical results.
△ Less
Submitted 21 March, 2019; v1 submitted 14 August, 2018;
originally announced August 2018.
-
Optimal quasi-diagonal preconditioners for pseudodifferential operators of order minus two
Authors:
Thomas Führer,
Norbert Heuer
Abstract:
We present quasi-diagonal preconditioners for piecewise polynomial discretizations of pseudodifferential operators of order minus two in any space dimension. Here, quasi-diagonal means diagonal up to a sparse transformation. Considering shape regular simplicial meshes and arbitrary fixed polynomial degrees, we prove, for dimensions larger than one, that our preconditioners are asymptotically optim…
▽ More
We present quasi-diagonal preconditioners for piecewise polynomial discretizations of pseudodifferential operators of order minus two in any space dimension. Here, quasi-diagonal means diagonal up to a sparse transformation. Considering shape regular simplicial meshes and arbitrary fixed polynomial degrees, we prove, for dimensions larger than one, that our preconditioners are asymptotically optimal. Numerical experiments in two, three and four dimensions confirm our results. For each dimension, we report on condition numbers for piecewise constant and piecewise linear polynomials.
△ Less
Submitted 20 June, 2018;
originally announced June 2018.
-
Adaptive BEM with inexact PCG solver yields almost optimal computational costs
Authors:
Thomas Führer,
Alexander Haberl,
Dirk Praetorius,
Stefan Schimanko
Abstract:
We consider the preconditioned conjugate gradient method (PCG) with optimal preconditioner in the frame of the boundary element method (BEM) for elliptic first-kind integral equations. Our adaptive algorithm steers the termination of PCG as well as the local mesh-refinement. Besides convergence with optimal algebraic rates, we also prove almost optimal computational complexity. In particular, we p…
▽ More
We consider the preconditioned conjugate gradient method (PCG) with optimal preconditioner in the frame of the boundary element method (BEM) for elliptic first-kind integral equations. Our adaptive algorithm steers the termination of PCG as well as the local mesh-refinement. Besides convergence with optimal algebraic rates, we also prove almost optimal computational complexity. In particular, we provide an additive Schwarz preconditioner which can be computed in linear complexity and which is optimal in the sense that the condition numbers of the preconditioned systems are uniformly bounded. As model problem serves the 2D or 3D Laplace operator and the associated weakly-singular integral equation with energy space $\widetilde{H}^{-1/2}(Γ)$. The main results also hold for the hyper-singular integral equation with energy space $H^{1/2}(Γ)$.
△ Less
Submitted 1 June, 2018;
originally announced June 2018.
-
Fully discrete DPG methods for the Kirchhoff-Love plate bending model
Authors:
Thomas Führer,
Norbert Heuer
Abstract:
We extend the analysis and discretization of the Kirchhoff-Love plate bending problem from [T. Führer, N. Heuer, A.H. Niemi, An ultraweak formulation of the Kirchhoff-Love plate bending model and DPG approximation, arXiv:1805.07835, 2018] in two aspects. First, we present a well-posed formulation and quasi-optimal DPG discretization that includes the gradient of the deflection. Second, we construc…
▽ More
We extend the analysis and discretization of the Kirchhoff-Love plate bending problem from [T. Führer, N. Heuer, A.H. Niemi, An ultraweak formulation of the Kirchhoff-Love plate bending model and DPG approximation, arXiv:1805.07835, 2018] in two aspects. First, we present a well-posed formulation and quasi-optimal DPG discretization that includes the gradient of the deflection. Second, we construct Fortin operators that prove the well-posedness and quasi-optimal convergence of lowest-order discrete schemes with approximated test functions for both formulations. Our results apply to the case of non-convex polygonal plates where shear forces can be less than $L_2$-regular. Numerical results illustrate expected convergence orders.
△ Less
Submitted 22 May, 2018;
originally announced May 2018.
-
An ultraweak formulation of the Kirchhoff-Love plate bending model and DPG approximation
Authors:
Thomas Führer,
Norbert Heuer,
Antti H. Niemi
Abstract:
We develop and analyze an ultraweak variational formulation for a variant of the Kirchhoff-Love plate bending model. Based on this formulation, we introduce a discretization of the discontinuous Petrov-Galerkin type with optimal test functions (DPG). We prove well-posedness of the ultraweak formulation and quasi-optimal convergence of the DPG scheme. The variational formulation and its analysis re…
▽ More
We develop and analyze an ultraweak variational formulation for a variant of the Kirchhoff-Love plate bending model. Based on this formulation, we introduce a discretization of the discontinuous Petrov-Galerkin type with optimal test functions (DPG). We prove well-posedness of the ultraweak formulation and quasi-optimal convergence of the DPG scheme. The variational formulation and its analysis require tools that control traces and jumps in $H^2$ (standard Sobolev space of scalar functions) and $H(\mathrm{div\,Div})$ (symmetric tensor functions with $L_2$-components whose twice iterated divergence is in $L_2$), and their dualities. These tools are developed in two and three spatial dimensions. One specific result concerns localized traces in a dense subspace of $H(\mathrm{div\,Div})$. They are essential to construct basis functions for an approximation of $H(\mathrm{div\,Div})$. To illustrate the theory we construct basis functions of the lowest order and perform numerical experiments for a smooth and a singular model solution. They confirm the expected convergence behavior of the DPG method both for uniform and adaptively refined meshes.
△ Less
Submitted 20 May, 2018;
originally announced May 2018.
-
New a priori analysis of first-order system least-squares finite element methods for parabolic problems
Authors:
Thomas Führer,
Michael Karkulik
Abstract:
We provide new insights into the a priori theory for a time-stepping scheme based on least-squares finite element methods for parabolic first-order systems. The elliptic part of the problem is of general reaction-convection-diffusion type. The new ingredient in the analysis is an elliptic projection operator defined via a non-symmetric bilinear form, although the main bilinear form corresponding t…
▽ More
We provide new insights into the a priori theory for a time-stepping scheme based on least-squares finite element methods for parabolic first-order systems. The elliptic part of the problem is of general reaction-convection-diffusion type. The new ingredient in the analysis is an elliptic projection operator defined via a non-symmetric bilinear form, although the main bilinear form corresponding to the least-squares functional is symmetric. This new operator allows to prove optimal error estimates in the natural norm associated to the problem and, under additional regularity assumptions, in the $L^2$ norm. Numerical experiments are presented which confirm our theoretical findings.
△ Less
Submitted 10 May, 2018;
originally announced May 2018.
-
First-Order Least-Squares Method for the Obstacle Problem
Authors:
Thomas Führer
Abstract:
We define and analyse a least-squares finite element method for a first-order reformulation of the obstacle problem. Moreover, we derive variational inequalities that are based on similar but non-symmetric bilinear forms. A priori error estimates including the case of non-conforming convex sets are given and optimal convergence rates are shown for the lowest-order case. We provide also a posterior…
▽ More
We define and analyse a least-squares finite element method for a first-order reformulation of the obstacle problem. Moreover, we derive variational inequalities that are based on similar but non-symmetric bilinear forms. A priori error estimates including the case of non-conforming convex sets are given and optimal convergence rates are shown for the lowest-order case. We provide also a posteriori bounds that can be be used as error indicators in an adaptive algorithm. Numerical studies are presented.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
Superconvergent DPG methods for second order elliptic problems
Authors:
Thomas Führer
Abstract:
We consider DPG methods with optimal test functions and broken test spaces based on ultra-weak formulations of general second order elliptic problems. Under some assumptions on the regularity of solutions of the model problem and its adjoint, superconvergence for the scalar field variable is achieved by either increasing the polynomial degree in the corresponding approximation space by one or by a…
▽ More
We consider DPG methods with optimal test functions and broken test spaces based on ultra-weak formulations of general second order elliptic problems. Under some assumptions on the regularity of solutions of the model problem and its adjoint, superconvergence for the scalar field variable is achieved by either increasing the polynomial degree in the corresponding approximation space by one or by a local postprocessing. We provide a uniform analysis that allows to treat different test norms. Particularly, we show that in the presence of convection only the quasi-optimal test norm leads to higher convergence rates, whereas other norms considered do not. Moreover, we also prove that our DPG method delivers the best $L^2$ approximation of the scalar field variable up to higher order terms, which is the first theoretical explanation of an observation made previously by different authors. Numerical studies that support our theoretical findings are presented.
△ Less
Submitted 20 December, 2017;
originally announced December 2017.
-
Superconvergence in a DPG method for an ultra-weak formulation
Authors:
Thomas Führer
Abstract:
In this work we study a DPG method for an ultra-weak variational formulation of a reaction-diffusion problem. We improve existing a priori convergence results by sharpening an approximation result for the numerical flux. By duality arguments we show that higher convergence rates for the scalar field variable are obtained if the polynomial order of the corresponding approximation space is increased…
▽ More
In this work we study a DPG method for an ultra-weak variational formulation of a reaction-diffusion problem. We improve existing a priori convergence results by sharpening an approximation result for the numerical flux. By duality arguments we show that higher convergence rates for the scalar field variable are obtained if the polynomial order of the corresponding approximation space is increased by one. Furthermore, we introduce a simple elementwise postprocessing of the solution and prove superconvergence. Numerical experiments indicate that the obtained results are valid beyond the underlying model problem.
△ Less
Submitted 20 December, 2017; v1 submitted 21 July, 2017;
originally announced July 2017.
-
Combining the DPG method with finite elements
Authors:
Thomas Führer,
Norbert Heuer,
Michael Karkulik,
Rodolfo Rodríguez
Abstract:
We propose and analyze a discretization scheme that combines the discontinuous Petrov-Galerkin and finite element methods. The underlying model problem is of general diffusion-advection-reaction type on bounded domains, with decomposition into two sub-domains. We propose a heterogeneous variational formulation that is of the ultra-weak (Petrov-Galerkin) form with broken test space in one part, and…
▽ More
We propose and analyze a discretization scheme that combines the discontinuous Petrov-Galerkin and finite element methods. The underlying model problem is of general diffusion-advection-reaction type on bounded domains, with decomposition into two sub-domains. We propose a heterogeneous variational formulation that is of the ultra-weak (Petrov-Galerkin) form with broken test space in one part, and of Bubnov-Galerkin form in the other. A standard discretization with conforming approximation spaces and appropriate test spaces (optimal test functions for the ultra-weak part and standard test functions for the Bubnov-Galerkin part) gives rise to a coupled DPG-FEM scheme. We prove its well-posedness and quasi-optimal convergence. Numerical results confirm expected convergence orders.
△ Less
Submitted 24 April, 2017;
originally announced April 2017.
-
A linear Uzawa-type solver for nonlinear transmission problems
Authors:
Thomas Führer,
Dirk Praetorius
Abstract:
We propose an Uzawa-type iteration for the Johnson-Nédélec formulation of a Laplace-type transmission problem with possible (strongly monotone) nonlinearity in the interior domain. In each step, we sequentially solve one BEM for the weakly-singular integral equation associated with the Laplace-operator and one FEM for the linear Yukawa equation. In particular, the nonlinearity is only evaluated to…
▽ More
We propose an Uzawa-type iteration for the Johnson-Nédélec formulation of a Laplace-type transmission problem with possible (strongly monotone) nonlinearity in the interior domain. In each step, we sequentially solve one BEM for the weakly-singular integral equation associated with the Laplace-operator and one FEM for the linear Yukawa equation. In particular, the nonlinearity is only evaluated to build the right-hand side of the Yukawa equation. We prove that the proposed method leads to linear convergence with respect to the number of Uzawa iterations. Moreover, while the current analysis of a direct FEM-BEM discretization of the Johnson-Nédélec formulation requires some restrictions on the ellipticity (resp. strong monotonicity constant) in the interior domain, our Uzawa-type solver avoids such assumptions.
△ Less
Submitted 31 March, 2017;
originally announced March 2017.
-
On the DPG method for Signorini problems
Authors:
Thomas Führer,
Norbert Heuer,
Ernst P. Stephan
Abstract:
We derive and analyze discontinuous Petrov-Galerkin methods with optimal test functions for Signorini-type problems as a prototype of a variational inequality of the first kind. We present different symmetric and non-symmetric formulations where optimal test functions are only used for the PDE part of the problem, not the boundary conditions. For the symmetric case and lowest order approximations,…
▽ More
We derive and analyze discontinuous Petrov-Galerkin methods with optimal test functions for Signorini-type problems as a prototype of a variational inequality of the first kind. We present different symmetric and non-symmetric formulations where optimal test functions are only used for the PDE part of the problem, not the boundary conditions. For the symmetric case and lowest order approximations, we provide a simple a posteriori error estimate. In a second part, we apply our technique to the singularly perturbed case of reaction dominated diffusion. Numerical results show the performance of our method and, in particular, its robustness in the singularly perturbed case.
△ Less
Submitted 2 September, 2016;
originally announced September 2016.
-
A time-stepping DPG scheme for the heat equation
Authors:
Thomas Führer,
Norbert Heuer,
Jhuma Sen Gupta
Abstract:
We introduce and analyze a discontinuous Petrov-Galerkin method with optimal test functions for the heat equation. The scheme is based on the backward Euler time stepping and uses an ultra-weak variational formulation at each time step. We prove the stability of the method for the field variables (the original unknown and its gradient weighted by the square root of the time step) and derive a Céa-…
▽ More
We introduce and analyze a discontinuous Petrov-Galerkin method with optimal test functions for the heat equation. The scheme is based on the backward Euler time stepping and uses an ultra-weak variational formulation at each time step. We prove the stability of the method for the field variables (the original unknown and its gradient weighted by the square root of the time step) and derive a Céa-type error estimate. For low-order approximation spaces this implies certain convergence orders when time steps are not too small in comparison with mesh sizes. Some numerical experiments are reported to support our theoretical results.
△ Less
Submitted 1 July, 2016;
originally announced July 2016.
-
Robust coupling of DPG and BEM for a singularly perturbed transmission problem
Authors:
Thomas Führer,
Norbert Heuer
Abstract:
We consider a transmission problem consisting of a singularly perturbed reaction diffusion equation on a bounded domain and the Laplacian in the exterior, connected through standard transmission conditions. We establish a DPG scheme coupled with Galerkin boundary elements for its discretization, and prove its robustness for the field variables in so-called balanced norms. Our coupling scheme is th…
▽ More
We consider a transmission problem consisting of a singularly perturbed reaction diffusion equation on a bounded domain and the Laplacian in the exterior, connected through standard transmission conditions. We establish a DPG scheme coupled with Galerkin boundary elements for its discretization, and prove its robustness for the field variables in so-called balanced norms. Our coupling scheme is the one from [Führer, Heuer, Karkulik: On the coupling of DPG and BEM, arXiv:1508.00630], adapted to the singularly perturbed case by using the scheme from [Heuer, Karkulik: A robust DPG method for singularly perturbed reaction diffusion problems, arXiv:1509.07560]. Essential feature of our method is that optimal test functions have to be computed only locally. We report on various numerical experiments in two dimensions.
△ Less
Submitted 20 September, 2016; v1 submitted 16 March, 2016;
originally announced March 2016.
-
On the coupling of DPG and BEM
Authors:
Thomas Führer,
Norbert Heuer,
Michael Karkulik
Abstract:
We develop and analyze strategies to couple the discontinuous Petrov-Galerkin method with optimal test functions to (i) least-squares boundary elements and (ii) various variants of standard Galerkin boundary elements. Essential feature of our methods is that, despite the use of boundary integral equations, optimal test functions have to be computed only locally. We apply our findings to a standard…
▽ More
We develop and analyze strategies to couple the discontinuous Petrov-Galerkin method with optimal test functions to (i) least-squares boundary elements and (ii) various variants of standard Galerkin boundary elements. Essential feature of our methods is that, despite the use of boundary integral equations, optimal test functions have to be computed only locally. We apply our findings to a standard transmission problem in full space and present numerical experiments to validate our theory.
△ Less
Submitted 3 August, 2015;
originally announced August 2015.
-
DPG method with optimal test functions for a fractional advection diffusion equation
Authors:
Vincent J. Ervin,
Thomas Führer,
Norbert Heuer,
Michael Karkulik
Abstract:
We develop an ultra-weak variational formulation of a fractional advection diffusion problem in one space dimension and prove its well-posedness. Based on this formulation, we define a DPG approximation with optimal test functions and show its quasi-optimal convergence. Numerical experiments confirm expected convergence properties, for uniform and adaptively refined meshes.
We develop an ultra-weak variational formulation of a fractional advection diffusion problem in one space dimension and prove its well-posedness. Based on this formulation, we define a DPG approximation with optimal test functions and show its quasi-optimal convergence. Numerical experiments confirm expected convergence properties, for uniform and adaptively refined meshes.
△ Less
Submitted 23 July, 2015;
originally announced July 2015.
-
A wirebasket preconditioner for the mortar boundary element method
Authors:
Thomas Führer,
Norbert Heuer
Abstract:
We present and analyze a preconditioner of the additive Schwarz type for the mortar boundary element method. As a basic splitting, on each subdomain we separate the degrees of freedom related to its boundary from the inner degrees of freedom. The corresponding wirebasket-type space decomposition is stable up to logarithmic terms. For the blocks that correspond to the inner degrees of freedom stand…
▽ More
We present and analyze a preconditioner of the additive Schwarz type for the mortar boundary element method. As a basic splitting, on each subdomain we separate the degrees of freedom related to its boundary from the inner degrees of freedom. The corresponding wirebasket-type space decomposition is stable up to logarithmic terms. For the blocks that correspond to the inner degrees of freedom standard preconditioners for the hypersingular integral operator on open boundaries can be used. For the boundary and interface parts as well as the Lagrangian multiplier space, simple diagonal preconditioners are optimal. Our technique applies to quasi-uniform and non-uniform meshes of shape-regular elements. Numerical experiments on triangular and quadrilateral meshes confirm theoretical bounds for condition and MINRES iteration numbers.
△ Less
Submitted 1 June, 2015;
originally announced June 2015.
-
Local inverse estimates for non-local boundary integral operators
Authors:
Markus Aurada,
Michael Feischl,
Thomas Führer,
Michael Karkulik,
Jens Markus Melenk,
Dirk Praetorius
Abstract:
We prove local inverse-type estimates for the four non-local boundary integral operators associated with the Laplace operator on a bounded d-dimensional Lipschitz domain Omega for d >= 2 with piecewise smooth boundary. For piecewise polynomial ansatz spaces and d = 2 or 3, the inverse estimates are explicit in both the local mesh width and the approximation order. An application to efficiency esti…
▽ More
We prove local inverse-type estimates for the four non-local boundary integral operators associated with the Laplace operator on a bounded d-dimensional Lipschitz domain Omega for d >= 2 with piecewise smooth boundary. For piecewise polynomial ansatz spaces and d = 2 or 3, the inverse estimates are explicit in both the local mesh width and the approximation order. An application to efficiency estimates in a posteriori error estimation in boundary element methods is given.
△ Less
Submitted 16 April, 2015;
originally announced April 2015.
-
Optimal additive Schwarz methods for the $hp$-BEM: the hypersingular integral operator in 3D on locally refined meshes
Authors:
Thomas Führer,
Jens Markus Melenk,
Dirk Praetorius,
Alexander Rieder
Abstract:
We propose and analyze an overlapping Schwarz preconditioner for the $p$ and $hp$ boundary element method for the hypersingular integral equation in 3D. We consider surface triangulations consisting of triangles. The condition number is bounded uniformly in the mesh size $h$ and the polynomial order $p$. The preconditioner handles adaptively refined meshes and is based on a local multilevel precon…
▽ More
We propose and analyze an overlapping Schwarz preconditioner for the $p$ and $hp$ boundary element method for the hypersingular integral equation in 3D. We consider surface triangulations consisting of triangles. The condition number is bounded uniformly in the mesh size $h$ and the polynomial order $p$. The preconditioner handles adaptively refined meshes and is based on a local multilevel preconditioner for the lowest order space. Numerical experiments on different geometries illustrate its robustness.
△ Less
Submitted 18 August, 2015; v1 submitted 5 December, 2014;
originally announced December 2014.
