Showing 1–20 of 20 results for author: Faustmann, M

Weighted analytic regularity for the integral fractional Laplacian in polyhedra

Authors: Markus Faustmann, Carlo Marcati, Jens Markus Melenk, Christoph Schwab

Abstract: On polytopal domains in $\mathbb{R}^3$, we prove weighted analytic regularity of solutions to the Dirichlet problem for the integral fractional Laplacian with analytic right-hand side. Employing the Caffarelli-Silvestre extension allows to localize the problem and to decompose the regularity estimates into results on vertex, edge, face, vertex-edge, vertex-face, edge-face and vertex-edge-face neig… ▽ More On polytopal domains in $\mathbb{R}^3$, we prove weighted analytic regularity of solutions to the Dirichlet problem for the integral fractional Laplacian with analytic right-hand side. Employing the Caffarelli-Silvestre extension allows to localize the problem and to decompose the regularity estimates into results on vertex, edge, face, vertex-edge, vertex-face, edge-face and vertex-edge-face neighborhoods of the boundary. Using tangential differentiability of the extended solutions, a bootstrap** argument based on Caccioppoli inequalities on dyadic decompositions of the neighborhoods provides weighted, analytic control of higher order solution derivatives. △ Less

Submitted 27 July, 2023; v1 submitted 21 July, 2023; originally announced July 2023.

Comments: arXiv admin note: text overlap with arXiv:2112.08151

MSC Class: 26A33; 35A20; 35B45; 35J70; 35R11

FEM-BEM coupling in Fractional Diffusion

Authors: Markus Faustmann, Alexander Rieder

Abstract: We derive and analyze a fully computable discrete scheme for fractional partial differential equations posed on the full space $\mathbb{R}^d$ . Based on a reformulation using the well-known Caffarelli-Silvestre extension, we study a modified variational formulation to obtain well-posedness of the discrete problem. Our scheme is obtained by combining a diagonalization procedure with a reformulation… ▽ More We derive and analyze a fully computable discrete scheme for fractional partial differential equations posed on the full space $\mathbb{R}^d$ . Based on a reformulation using the well-known Caffarelli-Silvestre extension, we study a modified variational formulation to obtain well-posedness of the discrete problem. Our scheme is obtained by combining a diagonalization procedure with a reformulation using boundary integral equations and a coupling of finite elements and boundary elements. For our discrete method we present a-priori estimates as well as numerical examples. △ Less

Submitted 22 February, 2023; originally announced February 2023.

MSC Class: 65N38; 65N30

Fractional Diffusion in the full space: decay and regularity

Authors: Markus Faustmann, Alexander Rieder

Abstract: We consider fractional partial differential equations posed on the full space $\R^d$. Using the well-known Caffarelli-Silvestre extension to $\R^d \times \R^+$ as equivalent definition, we derive existence and uniqueness of weak solutions. We show that solutions to a truncated extension problem on $\R^d \times (0,\YY)$ converge to the solution of the original problem as $\YY \rightarrow \infty$. M… ▽ More We consider fractional partial differential equations posed on the full space $\R^d$. Using the well-known Caffarelli-Silvestre extension to $\R^d \times \R^+$ as equivalent definition, we derive existence and uniqueness of weak solutions. We show that solutions to a truncated extension problem on $\R^d \times (0,\YY)$ converge to the solution of the original problem as $\YY \rightarrow \infty$. Moreover, we also provide an algebraic rate of decay and derive weighted analytic-type regularity estimates for solutions to the truncated problem. These results pave the way for a rigorous analysis of numerical methods for the full space problem, such as FEM-BEM coupling techniques. △ Less

Submitted 13 January, 2023; originally announced January 2023.

MSC Class: 35R11; 35B65; 65N15

Two-level error estimation for the integral fractional Laplacian

Authors: Markus Faustmann, Ernst Peter Stephan, David Wörgötter

Abstract: For the singular integral definition of the fractional Laplacian, we consider an adaptive finite element method steered by two-level error indicators. For this algorithm, we show linear convergence in two and three space dimensions as well as convergence of the algorithm with optimal algebraic rates in 2D, when newest vertex bisection is employed for mesh refinement. For the singular integral definition of the fractional Laplacian, we consider an adaptive finite element method steered by two-level error indicators. For this algorithm, we show linear convergence in two and three space dimensions as well as convergence of the algorithm with optimal algebraic rates in 2D, when newest vertex bisection is employed for mesh refinement. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Exponential Convergence of hp FEM for the Integral Fractional Laplacian in Polygons

Authors: Markus Faustmann, Carlo Marcati, Jens Markus Melenk, Christoph Schwab

Abstract: We prove exponential convergence in the energy norm of $hp$ finite element discretizations for the integral fractional diffusion operator of order $2s\in (0,2)$ subject to homogeneous Dirichlet boundary conditions in bounded polygonal domains $Ω\subset \mathbb{R}^2$. Key ingredient in the analysis are the weighted analytic regularity from our previous work and meshes that feature anisotropic geome… ▽ More We prove exponential convergence in the energy norm of $hp$ finite element discretizations for the integral fractional diffusion operator of order $2s\in (0,2)$ subject to homogeneous Dirichlet boundary conditions in bounded polygonal domains $Ω\subset \mathbb{R}^2$. Key ingredient in the analysis are the weighted analytic regularity from our previous work and meshes that feature anisotropic geometric refinement towards $\partialΩ$. △ Less

Submitted 23 September, 2022; originally announced September 2022.

Journal ref: SIAM J. Numer. Anal.61(2023), no.6, 2601-2622

Exponential convergence of hp-FEM for the integral fractional Laplacian in 1D

Authors: Markus Faustmann, Carlo Marcati, Jens Markus Melenk, Christoph Schwab

Abstract: We prove weighted analytic regularity for the solution of the integral fractional Poisson problem on bounded intervals with analytic right-hand side. Based on this regularity result, we prove exponential convergence of the hp-FEM on geometric boundary-refined meshes. We prove weighted analytic regularity for the solution of the integral fractional Poisson problem on bounded intervals with analytic right-hand side. Based on this regularity result, we prove exponential convergence of the hp-FEM on geometric boundary-refined meshes. △ Less

Submitted 8 April, 2022; originally announced April 2022.

Exponential meshes and $\mathcal{H}$-matrices

Authors: Niklas Angleitner, Markus Faustmann, Jens Markus Melenk

Abstract: In our previous works, we proved that the inverse of the stiffness matrix of an $h$-version finite element method (FEM) applied to scalar second order elliptic boundary value problems can be approximated at an exponential rate in the block rank by $\mathcal{H}$-matrices. Here, we improve on this result in multiple ways: (1) The class of meshes is significantly enlarged and includes certain exponen… ▽ More In our previous works, we proved that the inverse of the stiffness matrix of an $h$-version finite element method (FEM) applied to scalar second order elliptic boundary value problems can be approximated at an exponential rate in the block rank by $\mathcal{H}$-matrices. Here, we improve on this result in multiple ways: (1) The class of meshes is significantly enlarged and includes certain exponentially graded meshes. (2) The dependence on the polynomial degree $p$ of the discrete ansatz space is made explicit in our analysis. (3) The bound for the approximation error is sharpened, and (4) the proof is simplified. △ Less

Submitted 18 March, 2022; originally announced March 2022.

Weighted analytic regularity for the integral fractional Laplacian in polygons

Authors: Markus Faustmann, Carlo Marcati, Jens Markus Melenk, Christoph Schwab

Abstract: We prove weighted analytic regularity of solutions to the Dirichlet problem for the integral fractional Laplacian in polygons with analytic right-hand side. We localize the problem through the Caffarelli-Silvestre extension and study the tangential differentiability of the extended solutions, followed by bootstrap** based on Caccioppoli inequalities on dyadic decompositions of vertex, edge, and… ▽ More We prove weighted analytic regularity of solutions to the Dirichlet problem for the integral fractional Laplacian in polygons with analytic right-hand side. We localize the problem through the Caffarelli-Silvestre extension and study the tangential differentiability of the extended solutions, followed by bootstrap** based on Caccioppoli inequalities on dyadic decompositions of vertex, edge, and edge-vertex neighborhoods. △ Less

Submitted 20 December, 2022; v1 submitted 15 December, 2021; originally announced December 2021.

Journal ref: SIAM J. Math. Anal.54(2022), no.6, 6323-6357

$\mathcal{H}$-inverses for RBF interpolation

Authors: Niklas Angleitner, Markus Faustmann, Jens Markus Melenk

Abstract: We consider the interpolation problem for a class of radial basis functions (RBFs) that includes the classical polyharmonic splines (PHS). We show that the inverse of the system matrix for this interpolation problem can be approximated at an exponential rate in the block rank in the $\mathcal{H}$-matrix format if the block structure of the $\mathcal{H}$-matrix arises from a standard clustering alg… ▽ More We consider the interpolation problem for a class of radial basis functions (RBFs) that includes the classical polyharmonic splines (PHS). We show that the inverse of the system matrix for this interpolation problem can be approximated at an exponential rate in the block rank in the $\mathcal{H}$-matrix format if the block structure of the $\mathcal{H}$-matrix arises from a standard clustering algorithm. △ Less

Submitted 14 September, 2021; v1 submitted 13 September, 2021; originally announced September 2021.

$\mathcal{H}$-matrix approximability of inverses of FEM matrices for the time-harmonic Maxwell equations

Authors: Markus Faustmann, Jens Markus Melenk, Maryam Parvizi

Abstract: The inverse of the stiffness matrix of the time-harmonic Maxwell equation with perfectly conducting boundary conditions is approximated in the blockwise low-rank format of ${\mathcal H}$-matrices. We prove that root exponential convergence in the block rank can be achieved if the block structure conforms to a standard admissibility criterion. The inverse of the stiffness matrix of the time-harmonic Maxwell equation with perfectly conducting boundary conditions is approximated in the blockwise low-rank format of ${\mathcal H}$-matrices. We prove that root exponential convergence in the block rank can be achieved if the block structure conforms to a standard admissibility criterion. △ Less

Submitted 7 September, 2022; v1 submitted 27 March, 2021; originally announced March 2021.

Caccioppoli-type estimates and $\mathcal{H}$-Matrix approximations to inverses for FEM-BEM couplings

Authors: Markus Faustmann, Jens Markus Melenk, Maryam Parvizi

Abstract: We consider three different methods for the coupling of the finite element method and the boundary element method, the Bielak-MacCamy coupling, the symmetric coupling, and the Johnson-Nédélec coupling. For each coupling we provide discrete interior regularity estimates. As a consequence, we are able to prove the existence of exponentially convergent $\mathcal{H}$-matrix approximants to the inverse… ▽ More We consider three different methods for the coupling of the finite element method and the boundary element method, the Bielak-MacCamy coupling, the symmetric coupling, and the Johnson-Nédélec coupling. For each coupling we provide discrete interior regularity estimates. As a consequence, we are able to prove the existence of exponentially convergent $\mathcal{H}$-matrix approximants to the inverse matrices corresponding to the lowest order Galerkin discretizations of the couplings. △ Less

Submitted 26 August, 2020; originally announced August 2020.

Local convergence of the FEM for the integral fractional Laplacian

Authors: Markus Faustmann, Michael Karkulik, Jens Markus Melenk

Abstract: We provide for first order discretizations of the integral fractional Laplacian sharp local error estimates on proper subdomains in both the local $H^1$-norm and the localized energy norm. Our estimates have the form of a local best approximation error plus a global error measured in a weaker norm. We provide for first order discretizations of the integral fractional Laplacian sharp local error estimates on proper subdomains in both the local $H^1$-norm and the localized energy norm. Our estimates have the form of a local best approximation error plus a global error measured in a weaker norm. △ Less

Submitted 30 May, 2022; v1 submitted 28 May, 2020; originally announced May 2020.

Approximating inverse FEM matrices on non-uniform meshes with $\mathcal{H}$-matrices

Authors: Niklas Angleitner, Markus Faustmann, Jens Markus Melenk

Abstract: We consider the approximation of the inverse of the finite element stiffness matrix in the data sparse $\mathcal{H}$-matrix format. For a large class of shape regular but possibly non-uniform meshes including graded meshes, we prove that the inverse of the stiffness matrix can be approximated in the $\mathcal{H}$-matrix format at an exponential rate in the block rank. Since the storage complexity… ▽ More We consider the approximation of the inverse of the finite element stiffness matrix in the data sparse $\mathcal{H}$-matrix format. For a large class of shape regular but possibly non-uniform meshes including graded meshes, we prove that the inverse of the stiffness matrix can be approximated in the $\mathcal{H}$-matrix format at an exponential rate in the block rank. Since the storage complexity of the hierarchical matrix is logarithmic-linear and only grows linearly in the block-rank, we obtain an efficient approximation that can be used, e.g., as an approximate direct solver or preconditioner for iterative solvers. △ Less

Submitted 12 May, 2020; v1 submitted 11 May, 2020; originally announced May 2020.

On the stability of Scott-Zhang type operators and application to multilevel preconditioning in fractional diffusion

Authors: Markus Faustmann, Jens Markus Melenk, Maryam Parvizi

Abstract: We provide an endpoint stability result for Scott-Zhang type operators in Besov spaces. For globally continuous piecewise polynomials these are bounded from $H^{3/2}$ into $B^{3/2}_{2,\infty}$; for elementwise polynomials these are bounded from $H^{1/2}$ into $B^{1/2}_{2,\infty}$. As an application, we obtain a multilevel decomposition based on Scott-Zhang operators on a hierarchy of meshes genera… ▽ More We provide an endpoint stability result for Scott-Zhang type operators in Besov spaces. For globally continuous piecewise polynomials these are bounded from $H^{3/2}$ into $B^{3/2}_{2,\infty}$; for elementwise polynomials these are bounded from $H^{1/2}$ into $B^{1/2}_{2,\infty}$. As an application, we obtain a multilevel decomposition based on Scott-Zhang operators on a hierarchy of meshes generated by newest vertex bisection with equivalent norms up to (but excluding) the endpoint case. A local multilevel diagonal preconditioner for the fractional Laplacian on locally refined meshes with optimal eigenvalue bounds is presented. △ Less

Submitted 7 October, 2021; v1 submitted 19 December, 2019; originally announced December 2019.

Quasi-optimal convergence rate for an adaptive method for the integral fractional Laplacian

Authors: Markus Faustmann, Jens Markus Melenk, Dirk Praetorius

Abstract: For the discretization of the integral fractional Laplacian $(-Δ)^s$, $0 < s < 1$, based on piecewise linear functions, we present and analyze a reliable weighted residual a posteriori error estimator. In order to compensate for a lack of $L^2$-regularity of the residual in the regime $3/4 < s < 1$, this weighted residual error estimator includes as an additional weight a power of the distance fro… ▽ More For the discretization of the integral fractional Laplacian $(-Δ)^s$, $0 < s < 1$, based on piecewise linear functions, we present and analyze a reliable weighted residual a posteriori error estimator. In order to compensate for a lack of $L^2$-regularity of the residual in the regime $3/4 < s < 1$, this weighted residual error estimator includes as an additional weight a power of the distance from the mesh skeleton. We prove optimal convergence rates for an $h$-adaptive algorithm driven by this error estimator. Key to the analysis of the adaptive algorithm are local inverse estimates for the fractional Laplacian. △ Less

Submitted 26 March, 2019; v1 submitted 25 March, 2019; originally announced March 2019.

Local convergence of the boundary element method on polyhedral domains

Authors: Markus Faustmann, Jens Markus Melenk

Abstract: The local behavior of the lowest order boundary element method on quasi-uniform meshes for Symm's integral equation and the stabilized hyper-singular integral equation on polygonal/polyhedral Lipschitz domains is analyzed. We prove local a priori estimates in $L^2$ for Symm's integral equation and in $H^1$ for the hypersingular equation. The local rate of convergence is limited by the local regula… ▽ More The local behavior of the lowest order boundary element method on quasi-uniform meshes for Symm's integral equation and the stabilized hyper-singular integral equation on polygonal/polyhedral Lipschitz domains is analyzed. We prove local a priori estimates in $L^2$ for Symm's integral equation and in $H^1$ for the hypersingular equation. The local rate of convergence is limited by the local regularity of the sought solution and the sum of the global regularity and additional regularity provided by the shift theorem for a dual problem. △ Less

Submitted 14 February, 2017; originally announced February 2017.

Journal ref: Numer. Math. 140 (2018), pp. 593-637

Robust exponential convergence of hp-FEM in balanced norms for singularly perturbed reaction-diffusion problems: corner domains

Authors: Jens Markus Melenk, Markus Faustmann

Abstract: The hp-version of the finite element method is applied to singularly perturbed reaction-diffusion type equations on polygonal domains. The solution exhibits boundary layers as well as corner layers. On a class of meshes that are suitable refined near the boundary and the corners, robust exponential convergence (in the polynomial degree) is shown in both a balanced norm and the maximum norm. The hp-version of the finite element method is applied to singularly perturbed reaction-diffusion type equations on polygonal domains. The solution exhibits boundary layers as well as corner layers. On a class of meshes that are suitable refined near the boundary and the corners, robust exponential convergence (in the polynomial degree) is shown in both a balanced norm and the maximum norm. △ Less

Submitted 15 May, 2017; v1 submitted 28 October, 2016; originally announced October 2016.

Journal ref: Comp. Math. Appl. 74 (2017) pp. 1576-1589

Existence of $\mathcal{H}$-matrix approximants to the inverse of BEM matrices: the hyper-singular integral operator

Authors: Markus Faustmann, Jens Markus Melenk, Dirk Praetorius

Abstract: We consider discretizations of the hyper-singular integral operator on closed surfaces and show that the inverses of the corresponding system matrices can be approximated by blockwise low-rank matrices at an exponential rate in the block rank. We cover in particular the data-sparse format of $\mathcal{H}$-matrices. We show the approximability result for two types of discretizations. The first one… ▽ More We consider discretizations of the hyper-singular integral operator on closed surfaces and show that the inverses of the corresponding system matrices can be approximated by blockwise low-rank matrices at an exponential rate in the block rank. We cover in particular the data-sparse format of $\mathcal{H}$-matrices. We show the approximability result for two types of discretizations. The first one is a saddle point formulation, which incorporates the constraint of vanishing mean of the solution. The second discretization is based on a stabilized hyper-singular operator, which leads to symmetric positive definite matrices. In this latter setting, we also show that the hierarchical Cholesky factorization can be approximated at an exponential rate in the block rank. △ Less

Submitted 6 March, 2015; originally announced March 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1311.5028

Journal ref: IMA Journal of Numerical Analysis, 37 (2017), 1211-1244

Existence of $\mathcal{H}$-matrix approximants to the inverses of BEM matrices: the simple-layer operator

Authors: Markus Faustmann, Jens Markus Melenk, Dirk Praetorius

Abstract: We consider the question of approximating the inverse $\mathbf W = \mathbf V^{-1}$ of the Galerkin stiffness matrix $\mathbf V$ obtained by discretizing the simple-layer operator $V$ with piecewise constant functions. The block partitioning of $\mathbf W$ is assumed to satisfy any of the standard admissibility criteria that are employed in connection with clustering algorithms to approximate the d… ▽ More We consider the question of approximating the inverse $\mathbf W = \mathbf V^{-1}$ of the Galerkin stiffness matrix $\mathbf V$ obtained by discretizing the simple-layer operator $V$ with piecewise constant functions. The block partitioning of $\mathbf W$ is assumed to satisfy any of the standard admissibility criteria that are employed in connection with clustering algorithms to approximate the discrete BEM operator $\mathbf V$. We show that $\mathbf W$ can be approximated by blockwise low-rank matrices such that the error decays exponentially in the block rank employed. Similar exponential approximability results are shown for the Cholesky factorization of $\mathbf V$. △ Less

Submitted 6 November, 2014; v1 submitted 20 November, 2013; originally announced November 2013.

Journal ref: Math. Comp. 85 (2016), pp. 119-152

H-matrix approximability of the inverses of FEM matrices

Authors: Markus Faustmann, Jens Markus Melenk, Dirk Praetorius

Abstract: We study the question of approximability for the inverse of the FEM stiffness matrix for (scalar) second order elliptic boundary value problems by blockwise low rank matrices such as those given by the H-matrix format. We show that exponential convergence in the local block rank can be achieved. We also show that exponentially accurate LU-decompositions in the H-matrix format are possible for the… ▽ More We study the question of approximability for the inverse of the FEM stiffness matrix for (scalar) second order elliptic boundary value problems by blockwise low rank matrices such as those given by the H-matrix format. We show that exponential convergence in the local block rank can be achieved. We also show that exponentially accurate LU-decompositions in the H-matrix format are possible for the stiffness matrices arising in the FEM. Unlike prior works, our analysis avoids any coupling of the block rank r and the mesh width h and also covers mixed Dirichlet-Neumann-Robin boundary conditions. △ Less

Submitted 2 August, 2013; originally announced August 2013.

Comments: 23 pages, 6 figures

Journal ref: Numer. Math. 131 (2015), pp. 615-642