arXiv subjects

Jens Markus Melenk

Publications and source records attributed to Jens Markus Melenk.

At least 19 recordsLinked to original sources

arXiv2026

Wavenumber-explicit $hp$-FEM analysis of Maxwell's equations with impedance boundary conditions in piecewise smooth media

We consider the time-harmonic Maxwell equations with impedance boundary conditions on a bounded Lipschitz domain $Ω$ with analytic boundary $Γ$. We suppose that $Ω$ consists of multiple subdomains, and that the permeability and permittivity tensors are analytic on every subdomain, but may jump across subdomain interfaces. Under these conditions we show that for any wavenumber $k\in\mathbb{C}$ with $|k|\geq 1$ for which Maxwell's equations are polynomially well-posed, a Galerkin discretization based on Nédélec elements of order $p$ on a mesh with mesh width $h$ is quasi-optimal, provided that there holds the wavenumber-explicit scale resolution condition a) that $|k|h/p$ is sufficiently small and b) that $p/\log |k|$ is bounded from below.

math.NA↗

arXiv2026

Wavenumber-explicit analytic regularity of the heterogeneous Maxwell equations with impedance boundary conditions

We consider the time-harmonic Maxwell equations at a nonzero wavenumber $k\in\mathbb{C}$ on a bounded and simply connected Lipschitz domain $Ω$ with an analytic boundary $Γ$, on which we impose impedance boundary conditions. We suppose that the (possibly complex-valued) permeability and permittivity tensor fields $\boldsymbolμ^{-1}$ and $\boldsymbol{\varepsilon}$ are piecewise analytic in $Ω$ and discontinuous only across certain mutually disjoint analytic surfaces inside of $Ω$. We show that under these circumstances, any weak solution of Maxwell's equations is piecewise analytic in $Ω$ and that the growth of its derivatives can be controlled explicitly in the wavenumber $k$.

math.AP↗

arXiv2026

Length-explicit stability analysis of Helmholtz problems in leaky circular waveguides

Motivated by the study and simulation of long, coiled optical fibers we consider in this article a simplified model that is prevalent in the engineering community. Mathematically, the problem is specified as follows: Time-harmonic wave propagation is modeled by the Helmholtz equation; the waveguide is a bounded circular section with a transparent boundary condition on one end; the dissipation of energy is modeled by an impedance boundary condition on the outer hull of the waveguide. We show a stability estimate that is explicit in terms of the angular length of the waveguide. The analysis is based on a separation of variables ansatz and the study of the related (nonselfadjoint) modal eigenvalue problem. The key property there is to show that the modes form a Riesz basis in both $L^2$ and $H^1$ spaces. To this end we apply perturbation theory for selfadjoint operators and the concept of local subordination of perturbations [B. Mityagin and P. Siegl, JAM 139 (2019)]. Since the possibility of nontrivial Jordan chains cannot be ruled out, our whole methodology is conducted accordingly. In addition, in contrast to previous works, we include a bounded but heterogeneous part of the waveguide into our considered setting.

math.AP↗

arXiv2026

Exponential Convergence of $hp$-FEM for the Integral Fractional Laplacian on cuboids

For the Dirichlet integral fractional Laplacian, we prove root exponential convergence of tensor-product $hp$-finite element approximations on $(0,1)^3$, for forcing $f$ that is analytic in $[0,1]^3$. Exploiting analytic regularity estimates in weighted Sobolev spaces, we prove for $hp$-GLL interpolation approximations with $N$ degrees of freedom the energy norm error bound $\lesssim \exp(-b\sqrt[6]{N})$. Tensor product mesh families which are geometrically refined towards all sides of $(0,1)^3$ are used. Numerical experiments with $hp$-Galerkin FEM confirm the bound.

math.NA↗

arXiv2025

Stability Analysis for Electromagnetic Waveguides. Part 1: Acoustic and Homogeneous Electromagnetic Waveguides

In a time-harmonic setting, we show for heterogeneous acoustic and homogeneous electromagnetic wavesguides stability estimates with the stability constant depending linearly on the length $L$ of the waveguide. These stability estimates are used for the analysis of the (ideal) ultraweak (UW) variant of the Discontinuous Petrov Galerkin (DPG) method. For this UW DPG, we show that the stability deterioration with $L$ can be countered by suitably scaling the test norm of the method. We present the ``full envelope approximation'', a UW DPG method based on non-polynomial ansatz functions that allows for treating long waveguides.

math.NA↗

arXiv2025

Regularity of vector fields with piecewise regular curl and divergence

We consider a bounded Lipschitz domain $Ω\subseteq\mathbb{R}^3$ with sufficiently smooth boundary and prove piecewise Sobolev regularity of vector fields that have piecewise regular curl and divergence, but may be discontinuous across mutually disjoint and sufficiently smooth surfaces inside of $Ω$. The main idea behind our approach is to employ recently developed parametrices for the curl-operator and the regularity theory of Poisson transmission problems. We conclude our work by applying our findings to the heterogeneous time-harmonic Maxwell equations with either a) impedance, b) natural or c) essential boundary conditions and providing wavenumber-explicit piecewise regularity estimates for these equations.

math.AP↗

arXiv2024

A note on the shift theorem for the Laplacian in polygonal domains (extended version)

We present a shift theorem for solutions of the Poisson equation in a finite planar cone (and hence also on plane polygons) for Dirichlet, Neumann, and mixed boundary conditions. The range in which the shift theorem holds depends on the angle of the cone. For the right endpoint of the range, the shift theorem is described in terms of Besov spaces rather than Sobolev spaces.

math.AP↗

arXiv2024

Optimally truncated WKB approximation for the 1D stationary Schrödinger equation in the highly oscillatory regime

This paper is dedicated to the efficient numerical computation of solutions to the 1D stationary Schrödinger equation in the highly oscillatory regime. We compute an approximate solution based on the well-known WKB-ansatz, which relies on an asymptotic expansion w.r.t. the small parameter $\varepsilon$. Assuming that the coefficient in the equation is analytic, we derive an explicit error estimate for the truncated WKB series, in terms of $\varepsilon$ and the truncation order $N$. For any fixed $\varepsilon$, this allows to determine the optimal truncation order $N_{opt}$ which turns out to be proportional to $\varepsilon^{-1}$. When chosen this way, the resulting error of the optimally truncated WKB series behaves like $\mathcal{O}(\exp(-r/\varepsilon))$, with some parameter $r>0$. The theoretical results established in this paper are confirmed by several numerical examples.

math.NA↗

arXiv2024

Optimal convergence rates in $L^2$ for a first order system least squares finite element method -- Part II: inhomogeneous Robin boundary conditions

We consider divergence-based high order discretizations of an $L^2$-based first order system least squares formulation of a second order elliptic equation with Robin boundary conditions. For smooth geometries, we show optimal convergence rates in the $L^2(Ω)$ norm for the scalar variable. Convergence rates for the $L^2(Ω)$-norm error of the gradient of the scalar variable as well as vectorial variable are also derived. Numerical examples illustrate the analysis.

math.NA↗

arXiv2024

An implementation of hp-FEM for the fractional Laplacian

We consider the discretization of the $1d$-integral Dirichlet fractional Laplacian by $hp$-finite elements. We present quadrature schemes to set up the stiffness matrix and load vector that preserve the exponential convergence of $hp$-FEM on geometric meshes. The schemes are based on Gauss-Jacobi and Gauss-Legendre rules. We show that taking a number of quadrature points slightly exceeding the polynomial degree is enough to preserve root exponential convergence. The total number of algebraic operations to set up the system is $\mathcal{O}(N^{5/2})$, where $N$ is the problem size. Numerical example illustrate the analysis. We also extend our analysis to the fractional Laplacian in higher dimensions for $hp$-finite element spaces based on shape regular meshes.

math.NA↗

arXiv2024

FEM-BEM coupling for the high-frequency Helmholtz problem

We present a wavenumber-explicit analysis of FEM-BEM coupling methods for time-harmonic Helmholtz problems proposed in arXiv:2004.03523 for conforming discretizations and in arXiv:2105.06173 for discontinuous Galerkin (DG) volume discretizations. We show that the conditions that $kh/p$ be sufficiently small and that $\log(k) / p$ be bounded imply quasi-optimality of both conforming and DG-method, where $k$ is the wavenumber, $h$ the mesh size, and $p$ the approximation order. The analysis relies on a $k$-explicit regularity theory for a three-field coupling formulation.

math.NA↗

arXiv2023

Fractional Dissipative PDEs

In this chapter we provide an introduction to fractional dissipative partial differential equations (PDEs) with a focus on trying to understand their dynamics. The class of PDEs we focus on are reaction-diffusion equations but we also provide an outlook on closely related classes of PDEs. To simplify the exposition, we only discuss the cases of fractional time derivatives and fractional space derivatives in the PDE separately. As our main tools, we describe analytical as well as numerical methods, which are generically necessary to study nonlinear dynamics. We start with the analytical study of steady states and local linear stability for fractional time derivatives. Then we extend this view to a global perspective and consider time-fractional PDEs and gradient flows. Next, we continue to steady states, linear stability analysis and bifurcations for space-fractional PDEs. As a final analytical consideration we discuss existence and stability of traveling waves for space-fractional PDEs. In the last parts, we provide numerical discretization schemes for fractional (dissipative) PDEs and we utilize these techniques within numerical continuation in applied examples of fractional reaction-diffusion PDEs. We conclude with a brief summary and outlook on open questions in the field.

math.AP↗

arXiv2023

Optimally truncated WKB approximation for the highly oscillatory stationary 1D Schrödinger equation

We discuss the numerical solution of initial value problems for $\varepsilon^2\,φ''+a(x)\,φ=0$ in the highly oscillatory regime, i.e., with $a(x)>0$ and $0<\varepsilon\ll 1$. We analyze and implement an approximate solution based on the well-known WKB-ansatz. The resulting approximation error is of magnitude $\mathcal{O}(\varepsilon^{N})$ where $N$ refers to the truncation order of the underlying asymptotic series. When the optimal truncation order $N_{opt}$ is chosen, the error behaves like $\mathcal{O}(\varepsilon^{-2}\exp(-c\varepsilon^{-1}))$ with some $c>0$.

math.NA↗

arXiv2023

Weighted analytic regularity for the integral fractional Laplacian in polyhedra

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 bootstrapping argument based on Caccioppoli inequalities on dyadic decompositions of the neighborhoods provides weighted, analytic control of higher order solution derivatives.

math.AP↗

arXiv2023

On interpolation spaces of piecewise polynomials on mixed meshes

We consider fractional Sobolev spaces $H^θ$, $θ\in (0,1)$, on 2D domains and $H^1$-conforming discretizations by globally continuous piecewise polynomials on a mesh consisting of shape-regular triangles and quadrilaterals. We prove that the norm obtained from interpolating between the discrete space equipped with the $L^2$-norm on the one hand and the $H^1$-norm on the other hand is equivalent to the corresponding continuous interpolation Sobolev norm, and the norm-equivalence constants are independent of meshsize and polynomial degree. This characterization of the Sobolev norm is then used to show an inverse inequality between $H^1$ and $H^θ$.

math.NA↗

arXiv2023

Cost-optimal adaptive iterative linearized FEM for semilinear elliptic PDEs

We consider scalar semilinear elliptic PDEs where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. We formulate an adaptive iterative linearized finite element method (AILFEM) which steers the local mesh refinement as well as the iterative linearization of the arising nonlinear discrete equations. To this end, we employ a damped Zarantonello iteration so that, in each step of the algorithm, only a linear Poisson-type equation has to be solved. We prove that the proposed AILFEM strategy guarantees convergence with optimal rates, where rates are understood with respect to the overall computational complexity (i.e., the computational time). Moreover, we formulate and test an adaptive algorithm where also the damping parameter of the Zarantonello iteration is adaptively adjusted. Numerical experiments underline the theoretical findings.

math.NA↗

arXiv2022

Weighted analytic regularity for the integral fractional Laplacian in polygons

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 bootstrapping based on Caccioppoli inequalities on dyadic decompositions of vertex, edge, and edge-vertex neighborhoods.

math.AP↗

arXiv2022

An exponentially convergent discretization for space-time fractional parabolic equations using $hp$-FEM

We consider a space-time fractional parabolic problem. Combining a sinc-quadrature based method for discretizing the Riesz-Dunford integral with $hp$-FEM in space yields an exponentially convergent scheme for the initial boundary value problem with homogeneous right-hand side. For the inhomogeneous problem, an $hp$-quadrature scheme is implemented. We rigorously prove exponential convergence with focus on small times $t$, proving robustness with respect to startup singularities due to data incompatibilities.

math.NA↗