Searcharxiv⌕ Search

arXiv subjects

Jens Markus Melenk

Publications and source records attributed to Jens Markus Melenk.

At least 55 records · Page 3Linked to original sources
arXiv2020

Runge-Kutta approximation for $C_0$-semigroups in the graph norm with applications to time domain boundary integral equations

We consider the approximation to an abstract evolution problem with inhomogeneous side constraint using $A$-stable Runge-Kutta methods. We derive a priori estimates in norms other than the underlying Banach space. Most notably, we derive estimates in the graph norm of the generator. These results are used to study convolution quadrature based discretizations of a wave scattering and a heat conduction problem.

math.NA↗
arXiv2020

On commuting $p$-version projection-based interpolation on tetrahedra

On the reference tetrahedron $\widehat K$, we define three projection-based interpolation operators on $H^2(\widehat K)$, ${\mathbf H}^1(\widehat K,\operatorname{\mathbf{curl}})$, and ${\mathbf H}^1(\widehat K,\operatorname{div})$. These operators are projections onto space of polynomials, they have the commuting diagram property and feature the optimal convergence rate as the polynomial degree increases in $H^{1-s}(\widehat K)$, ${\mathbf H}^{-s}(\widehat K,\operatorname{\mathbf{curl}})$, ${\mathbf H}^{-s}(\widehat K,\operatorname{div})$ for $0 \leq s \leq 1$.

math.NA↗
arXiv2019

Stable decompositions of $hp$-BEM spaces and an optimal Schwarz preconditioner for the hypersingular integral operator in 3D

We consider fractional Sobolev spaces $H^θ(Γ)$, $θ\in [0,1]$, on a 2D surface $Γ$. We show that functions in $H^θ(Γ)$ can be decomposed into contributions with local support in a stable way. Stability of the decomposition is inherited by piecewise polynomial subspaces. Applications include the analysis of additive Schwarz preconditioners for discretizations of the hypersingular integral operator by the $p$-version of the boundary element method with condition number bounds that are uniform in the polynomial degree $p$.

math.NA↗
arXiv2019

$hp$-FEM for the fractional heat equation

We consider a time dependent problem generated by a nonlocal operator in space. Applying a discretization scheme based on $hp$-Finite Elements and a Caffarelli-Silvestre extension we obtain a semidiscrete semigroup. The discretization in time is carried out by using $hp$-Discontinuous Galerkin based timestepping. We prove exponential convergence for such a method in an abstract framework for the discretization in the original domain $Ω$.

math.NA↗
arXiv2019

Analysis of the $hp$-version of a first order system least squares method for the Helmholtz equation

Extending the wavenumber-explicit analysis of [Chen & Qiu, J. Comput. Appl. Math. 309 (2017)], we analyze the $L^2$-convergence of a least squares method for the Helmholtz equation with wavenumber $k$. For domains with an analytic boundary, we obtain improved rates in the mesh size $h$ and the polynomial degree $p$ under the scale resolution condition that $hk/p$ is sufficiently small and $p/\log k$ is sufficiently large.

math.NA↗
arXiv2019

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

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.

math.NA↗
arXiv2017

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

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.

math.NA↗
arXiv2017

Approximation of the high-frequency Helmholtz kernel by nested directional interpolation

We present and analyze an approximation scheme for a class of highly oscillatory kernel functions, taking the 2D and 3D Helmholtz kernels as examples. The scheme is based on polynomial interpolation combined with suitable pre- and postmultiplication by plane waves. It is shown to converge exponentially in the polynomial degree and supports multilevel approximation techniques. Our convergence analysis may be employed to establish exponential convergence of certain classes of fast methods for discretizations of the Helmholtz integral operator that feature polylogarithmic-linear complexity.

math.NA↗
arXiv2017

Runge-Kutta convolution quadrature and FEM-BEM coupling for the time dependent linear Schrödinger equation

We propose a numerical scheme to solve the time dependent linear Schrödinger equation. The discretization is carried out by combining a Runge-Kutta time-stepping scheme with a finite element discretization in space. Since the Schrödinger equation is posed on the whole space $\R^d$ we combine the interior finite element discretization with a convolution quadrature based boundary element discretization. In this paper we analyze the resulting fully discrete scheme in terms of stability and convergence rate. Numerical experiments confirm the theoretical findings.

math.NA↗
arXiv2017

Local convergence of the boundary element method on polyhedral domains

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.

math.NA↗
arXiv2015

Local high-order regularization and applications to hp-methods

We develop a regularization operator based on smoothing on a locally defined length scale. This operator is defined on $L_1$ and has approximation properties that are given by the local regularity of the function it is applied to and the local length scale. Additionally, the regularized function satisfies inverse estimates commensurate with the approximation orders. By combining this operator with a classical hp-interpolation operator, we obtain an hp-Clément type quasi-interpolation operator, i.e., an operator that requires minimal smoothness of the function to be approximated but has the expected approximation properties in terms of the local mesh size and polynomial degree. As a second application, we consider residual error estimates in hp-boundary element methods that are explicit in the local mesh size and the local approximation order.

math.NA↗
arXiv2015

Optimal additive Schwarz methods for the $hp$-BEM: the hypersingular integral operator in 3D on locally refined meshes

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.

math.NA↗
arXiv2015

Local inverse estimates for non-local boundary integral operators

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.

math.NA↗
arXiv2015

Robust exponential convergence of $hp$-FEM in balanced norms for singularly perturbed reaction-diffusion equations

The $hp$-version of the finite element method is applied to a singularly perturbed reaction-diffusion equation posed in one- and two-dimensional domains with analytic boundary. On suitably designed \emph{Spectral Boundary Layer meshes}, robust exponential convergence in a balanced norm is shown. This balanced norm is stronger than the energy norm in that the boundary layers are $O(1)$ uniformly in the singular perturbation parameter. Robust exponential convergence in the maximum norm is also established. The theoretical findings are illustrated with two numerical experiments.

math.NA↗
arXiv2015

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

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.

math.NA↗
arXiv2015

Simultaneous quasi-optimal convergence in FEM-BEM coupling

We consider the symmetric FEM-BEM coupling that connects two linear elliptic second order partial differential equations posed in a bounded domain $Ω$ and its complement, where the exterior problem is restated by an integral equation on the coupling boundary $Γ=\partialΩ$. We assume that the corresponding transmission problem admits a shift theorem for data in $H^{-1+s}$, $s \in [-1,-1+s_0]$, $s_0 > 1/2$. We analyze the discretization by piecewise polynomials of degree $k$ for the domain variable and piecewise polynomials of degree $k-1$ for the flux variable on the coupling boundary. Given sufficient regularity we show that (up to logarithmic factors) the optimal convergence $O(h^{k+1/2})$ in the $H^{-1/2}(Γ)$-norm is obtained for the flux variable, while classical arguments by Céa-type quasi-optimality and standard approximation results provide only $O(h^k)$ for the overall error in the natural product norm on $H^1(Ω)\times H^{-1/2}(Γ)$.

math.NA↗
arXiv2014

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

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$.

math.NA↗