arXiv subjects

David P. Hewett

Publications and source records attributed to David P. Hewett.

At least 19 recordsLinked to original sources

arXiv2026

A note on the convergence analysis of Laguerre approximations for analytic functions

In a recent paper (H. Wang, Math. Comp. 93, 2861-2884, 2024), Wang has presented a number of results concerning the convergence of approximations based on generalised Laguerre polynomials, claiming to have provided "the first rigorous proof of root-exponential convergence of Laguerre approximations for analytic functions". In this note we argue that the proofs of the main results of Wang's paper are incomplete, because they rely on taking a limit under an integral sign, and this is not properly justified. We explain how the proofs could be completed using the dominated convergence theorem, provided that certain nontrivial inequalities involving generalised Laguerre polynomials and their weighted Cauchy transforms hold. We make a related conjecture, which, if true, would complete the proofs of Wang's results. This conjecture remains unproven, but appears plausible, based on numerical experiments.

math.NA↗

arXiv2026

Properties of IFS attractors with non-empty interiors, related rough domains, and associated function spaces and scattering problems

We study fractal sets $Γ\subset \mathbb{R}^n$ with non-empty interior $Ω$, that are attractors of iterated function systems (IFSs) of contracting similarities satisfying the open set condition. Examples for $n=2$ are the closures of the Koch snowflake domain and the Gosper island domain. Our first result is that $Ω$ is thick in the sense of Triebel. A consequence is that $C_0^\infty(Ω)$ is dense in the Sobolev space $H^s_Γ:= \{ϕ\in H^s(\mathbb{R}^n): \mathrm{supp}(ϕ)\subset Γ\}$ for all $s\in\mathbb{R}$. Our second result, accompanied by results on pointwise multiplication by characteristic functions and uniform extension operators, is that the spaces $\{H^s(Ω)\}_{s\in \mathbb{R}}$, where $H^s(Ω):=\{ϕ|_Ω: u\in H^s(\mathbb{R}^n)\}$, form an interpolation scale. This is established as a special case of new extension and interpolation results for Besov and Triebel-Lizorkin spaces, applying to large classes of domains $Ω$ that are thick and have boundary with Assouad dimension $<n$. Our third contribution is to prove best approximation error estimates in fractional negative-order Sobolev spaces for piecewise constant approximations on a ``fractal mesh'' of $Γ$, generated by the IFS, in which the mesh elements are self-similar copies of $Γ$. As an application we study sound-soft acoustic scattering in $\mathbb{R}^{n+1}$ by the fractal screen $Γ\times \{0\}$. Using our density result we prove that the standard PDE formulation of this problem is equivalent to the standard first kind boundary integral equation in which the boundary condition is imposed by restriction to the (relative) interior of the screen. To solve this equation we consider a piecewise-constant Galerkin boundary element method on a fractal mesh, and, using our best approximation error estimates, we prove convergence rates for the Galerkin approximation.

math.FA↗

arXiv2026

Kernels of trace operators via fine continuity

Given a closed subset $Γ$ of $\mathbb{R}^n$ that is the support of a measure $μ$, we study the kernels of trace operators from fractional Sobolev spaces $H_p^α(\mathbb{R}^n)$ into the space of $μ$-equivalence classes of functions on $Γ$. We characterise these kernels as the closure of $C_c^\infty(\mathbb{R}^n\setminus Γ)$ in $H_p^α(\mathbb{R}^n)$, provided quasi continuous representatives of elements of $H_p^α(\mathbb{R}^n)$ have the following key property: they vanish quasi everywhere on $Γ$ if and only if they vanish $μ$-almost everywhere on $Γ$. We establish that this key property holds if the measures satisfy localized upper density conditions. Such measures need not be doubling, in particular the set $Γ$ may be a finite union of closed sets having different Hausdorff dimensions. We provide corresponding results for spaces $H_p^α(Ω)$ on domains $Ω\subset \mathbb{R}^n$ satisfying a weakened version of the measure density condition. We observe that the above key property is essential for the convergence of Galerkin integral equation methods, based on integration with respect to the measure $μ$, for certain BVPs in the complement of $Γ$.

math.FA↗

arXiv2026

Integral Equation Methods for Scattering by Multifractal Obstacles

Caetano et al. (Proc. R. Soc. A. 481:20230650, 2025) have proposed a formulation for sound-soft acoustic scattering by a compact scatterer O $\subset$ Rn, in which the scattered field is represented as an acoustic Newtonian potential whose density is the solution of an operator equation on a compact set $Γ$ $\subset$ O. In the case that $Γ$ is Ahlfors-David d-regular (a d-set), for some d $\in$ (n--2, n], they show, moreover, that the operator equation can be interpreted as an integral equation, the integration with respect to d-dimensional Hausdorff measure, and present a convergent Galerkin scheme for numerical computation. In this paper we make a substantial extension of these results so that they apply to more realistic fractal scatterers that are multifractal, in the sense that they have spatially varying fractal dimension. Firstly, we provide, inspired by Claret et al. (J. Math. Pures Appl. 212:103888, 2026), an interpretation of this operator equation as an equation between a trace space on $Γ$ and its dual, and, in many cases, relate the density to a notion of the normal derivative of the scattered field on $Γ$. Secondly, we show that the operator equation is equivalent to an integral equation on $Γ$ whenever $Γ$ is the support of a Radon measure $μ$ such that: (i) the trace operator from H1(Rn) to L2($Γ$, $μ$) is continuous and; (ii) certain canonical singular integrals with respect to $μ$ are finite; and we characterise a large class of measures for which (i) and (ii) hold. Finally, we show that Galerkin methods based on finite element subspaces of L2($Γ$, $μ$) are convergent if and only if, additionally, C$\infty$\_0 (Rn\$Γ$) is dense in the kernel of the trace operator. These results apply, in particular, if $Γ$ is a finite union of d-sets with different values of d. In the case that each d-set is the attractor of an iterated function system of contracting similarities, we establish rates of convergence for the Galerkin method.

math.AP↗

arXiv2026

Acoustic scattering by fractal inhomogeneities via geometry-conforming Galerkin methods for the Lippmann-Schwinger equation

We propose and analyse a numerical method for time-harmonic acoustic scattering in $\mathbb{R}^n$, $n=2,3$, by a class of inhomogeneities (penetrable scatterers) with fractal boundary. Our method is based on a Galerkin discretisation of the Lippmann-Schwinger volume integral equation, using a discontinuous piecewise-polynomial approximation space on a geometry-conforming mesh comprising elements which themselves have fractal boundary. We first provide a semi-discrete well-posedness and error analysis for both the $h$- and $p$-versions of our method for completely arbitrary inhomogeneities (without any regularity assumption on the boundary of the inhomogeneity or of the mesh elements). We prove convergence estimates for the integral equation solution and superconvergence estimates for linear functionals such as scattered field and far-field pattern evaluations, and elucidate how the regularity of the inhomogeneity boundary and the regularity of the refractive index affect the rates of convergence predicted. We then specialise to the case where the inhomogeneity is an ``$n$-attractor'', i.e.\ the fractal attractor of an iterated function system satisfying the open set condition with non-empty interior, showing how in this case the self-similarity of the inhomogeneity can be used to generate geometry-conforming meshes. For the $h$-version with piecewise constant approximation we also present singular quadrature rules, supported by a fully discrete error analysis, permitting practical implementation of our method. We present numerical results for two-dimensional examples, which validate our theoretical results and show that our method is significantly more accurate than a comparable method involving replacement of the fractal inhomogeneity by a smoother prefractal approximation.

math.NA↗

arXiv2024

A Hausdorff-measure boundary element method for acoustic scattering by fractal screens

Sound-soft fractal screens can scatter acoustic waves even when they have zero surface measure. To solve such scattering problems we make what appears to be the first application of the boundary element method (BEM) where each BEM basis function is supported in a fractal set, and the integration involved in the formation of the BEM matrix is with respect to a non-integer order Hausdorff measure rather than the usual (Lebesgue) surface measure. Using recent results on function spaces on fractals, we prove convergence of the Galerkin formulation of this ``Hausdorff BEM'' for acoustic scattering in $\mathbb{R}^{n+1}$ ($n=1,2$) when the scatterer, assumed to be a compact subset of $\mathbb{R}^n\times\{0\}$, is a $d$-set for some $d\in (n-1,n]$, so that, in particular, the scatterer has Hausdorff dimension $d$. For a class of fractals that are attractors of iterated function systems, we prove convergence rates for the Hausdorff BEM and superconvergence for smooth antilinear functionals, under certain natural regularity assumptions on the solution of the underlying boundary integral equation. We also propose numerical quadrature routines for the implementation of our Hausdorff BEM, along with a fully discrete convergence analysis, via numerical (Hausdorff measure) integration estimates and inverse estimates on fractals, estimating the discrete condition numbers. Finally, we show numerical experiments that support the sharpness of our theoretical results, and our solution regularity assumptions, including results for scattering in $\mathbb{R}^2$ by Cantor sets, and in $\mathbb{R}^3$ by Cantor dusts.

math.NA↗

arXiv2023

Numerical evaluation of singular integrals on non-disjoint self-similar fractal sets

We consider the numerical evaluation of a class of double integrals with respect to a pair of self-similar measures over a self-similar fractal set (the attractor of an iterated function system), with a weakly singular integrand of logarithmic or algebraic type. In a recent paper [Gibbs, Hewett and Moiola, Numer. Alg., 2023] it was shown that when the fractal set is "disjoint" in a certain sense (an example being the Cantor set), the self-similarity of the measures, combined with the homogeneity properties of the integrand, can be exploited to express the singular integral exactly in terms of regular integrals, which can be readily approximated numerically. In this paper we present a methodology for extending these results to cases where the fractal is non-disjoint but non-overlapping (in the sense that the open set condition holds). Our approach applies to many well-known examples including the Sierpinski triangle, the Vicsek fractal, the Sierpinski carpet, and the Koch snowflake.

math.NA↗

arXiv2022

Interpolation of Hilbert and Sobolev Spaces: Quantitative Estimates and Counterexamples

This paper provides an overview of interpolation of Banach and Hilbert spaces, with a focus on establishing when equivalence of norms is in fact equality of norms in the key results of the theory. (In brief, our conclusion for the Hilbert space case is that, with the right normalisations, all the key results hold with equality of norms.) In the final section we apply the Hilbert space results to the Sobolev spaces $H^s(Ω)$ and $\widetilde{H}^s(Ω)$, for $s\in \mathbb{R}$ and an open $Ω\subset \mathbb{R}^n$. We exhibit examples in one and two dimensions of sets $Ω$ for which these scales of Sobolev spaces are not interpolation scales. In the cases when they are interpolation scales (in particular, if $Ω$ is Lipschitz) we exhibit examples that show that, in general, the interpolation norm does not coincide with the intrinsic Sobolev norm and, in fact, the ratio of these two norms can be arbitrarily large.

math.FA↗

arXiv2022

Accelerated Calderón preconditioning for Maxwell transmission problems

We investigate a range of techniques for the acceleration of Calderón (operator) preconditioning in the context of boundary integral equation methods for electromagnetic transmission problems. Our objective is to mitigate as far as possible the high computational cost of the barycentrically-refined meshes necessary for the stable discretisation of operator products. Our focus is on the well-known PMCHWT formulation, but the techniques we introduce can be applied generically. By using barycentric meshes only for the preconditioner and not for the original boundary integral operator, we achieve significant reductions in computational cost by (i) using "reduced" Calderón preconditioners obtained by discarding constituent boundary integral operators that are not essential for regularisation, and (ii) adopting a "bi-parametric" approach in which we use a lower quality (cheaper) $\mathcal{H}$-matrix assembly routine for the preconditioner than for the original operator, including a novel approach of discarding far-field interactions in the preconditioner. Using the boundary element software Bempp (www.bempp.com), we compare the performance of different combinations of these techniques in the context of scattering by multiple dielectric particles. Applying our accelerated implementation to 3D electromagnetic scattering by an aggregate consisting of 8 monomer ice crystals of overall diameter 1cm at 664GHz leads to a 99% reduction in memory cost and at least a 75% reduction in total computation time compared to a non-accelerated implementation.

math.NA↗

arXiv2021

Density results for Sobolev, Besov and Triebel--Lizorkin spaces on rough sets

We investigate two density questions for Sobolev, Besov and Triebel--Lizorkin spaces on rough sets. Our main results, stated in the simplest Sobolev space setting, are that: (i) for an open set $Ω\subset\mathbb R^n$, $\mathcal{D}(Ω)$ is dense in $\{u\in H^s(\mathbb R^n):{\rm supp}\, u\subset \overlineΩ\}$ whenever $\partialΩ$ has zero Lebesgue measure and $Ω$ is "thick" (in the sense of Triebel); and (ii) for a $d$-set $Γ\subset\mathbb R^n$ ($0<d<n$), $\{u\in H^{s_1}(\mathbb R^n):{\rm supp}\, u\subset Γ\}$ is dense in $\{u\in H^{s_2}(\mathbb R^n):{\rm supp}\, u\subset Γ\}$ whenever $-\frac{n-d}{2}-m-1<s_{2}\leq s_{1}<-\frac{n-d}{2}-m$ for some $m\in\mathbb N_0$. For (ii), we provide concrete examples, for any $m\in\mathbb N_0$, where density fails when $s_1$ and $s_2$ are on opposite sides of $-\frac{n-d}{2}-m$. The results (i) and (ii) are related in a number of ways, including via their connection to the question of whether $\{u\in H^s(\mathbb R^n):{\rm supp}\, u\subset Γ\}=\{0\}$ for a given closed set $Γ\subset\mathbb R^n$ and $s\in \mathbb R$. They also both arise naturally in the study of boundary integral equation formulations of acoustic wave scattering by fractal screens. We additionally provide analogous results in the more general setting of Besov and Triebel--Lizorkin spaces.

math.FA↗

arXiv2021

Boundary element methods for acoustic scattering by fractal screens

We study boundary element methods for time-harmonic scattering in $\mathbb{R}^n$ ($n=2,3$) by a fractal planar screen, assumed to be a non-empty bounded subset $Γ$ of the hyperplane $Γ_\infty=\mathbb{R}^{n-1}\times \{0\}$. We consider two distinct cases: (i) $Γ$ is a relatively open subset of $Γ_\infty$ with fractal boundary (e.g.\ the interior of the Koch snowflake in the case $n=3$); (ii) $Γ$ is a compact fractal subset of $Γ_\infty$ with empty interior (e.g.\ the Sierpinski triangle in the case $n=3$). In both cases our numerical simulation strategy involves approximating the fractal screen $Γ$ by a sequence of smoother "prefractal" screens, for which we compute the scattered field using boundary element methods that discretise the associated first kind boundary integral equations. We prove sufficient conditions on the mesh sizes guaranteeing convergence to the limiting fractal solution, using the framework of Mosco convergence. We also provide numerical examples illustrating our theoretical results.

math.NA↗

arXiv2018

Calderón preconditioning of PMCHWT boundary integral equations for scattering by multiple absorbing dielectric particles

We consider the simulation of electromagnetic scattering by single and multiple isotropic homogeneous dielectric particles using boundary integral equations. Galerkin discretizations of the classical Poggio-Miller-Chang-Harrington-Wu-Tsai (PMCHWT) boundary integral equation formulation provide accurate solutions for complex particle geometries, but are well-known to lead to ill-conditioned linear systems. In this paper we carry out an experimental investigation into the performance of Calderón preconditioning techniques for single and multiple absorbing obstacles, which involve a squaring of the PMCHWT operator to produce a well-conditioned second-kind formulation. For single-particle scattering configurations we find that Calderón preconditioning is actually often outperformed by simple "mass-matrix" preconditioning, i.e. working with the strong form of the discretized PMCHWT operator. In the case of scattering by multiple particles we find that a significant saving in computational cost can be obtained by performing block-diagonal Calderón preconditioning in which only the self-interaction blocks are preconditioned. Using the boundary element software library Bempp (www.bempp.com) the numerical performance of the different methods is compared for a range of wavenumbers, particle geometries and complex refractive indices relevant to the scattering of light by atmospheric ice crystals.

math.NA↗

arXiv2018

Contour integral solutions of the parabolic wave equation

We present a simple systematic construction and analysis of solutions of the two-dimensional parabolic wave equation that exhibit far-field localisation near a given algebraic plane curve. Our solutions are complex contour integral superpositions of elementary plane wave solutions with polynomial phase, the desired localisation being associated with the coalescence of saddle points. Our solutions provide a unified framework in which to describe some classical phenomena in two-dimensional high frequency wave propagation, including smooth and cusped caustics, whispering gallery and creeping waves, and tangent ray diffraction by a smooth boundary. We also study a subclass of solutions exhibiting localisation near a cubic parabola, and discuss their possible relevance to the study of the canonical inflection point problem governing the transition from whispering gallery waves to creeping waves.

math-ph↗

arXiv2018

Electromagnetic shielding by thin periodic structures and the Faraday cage effect

In this note we consider the scattering of electromagnetic waves (governed by the time-harmonic Maxwell equations) by a thin periodic layer of perfectly conducting obstacles. The size of the obstacles and the distance between neighbouring obstacles are of the same small order of magnitude $δ$, $δ$ being small. By deriving homogenized interface conditions for three model configurations, namely (i) discrete obstacles, (ii) parallel wires, (iii) a wire mesh, we show that the limiting behaviour as $δ\to0$ depends strongly on the topology of the periodic layer, with full shielding (the so-called "Faraday cage effect") occurring only in the case of a wire mesh.

math.NA↗

arXiv2017

A hybrid numerical-asymptotic boundary element method for high frequency scattering by penetrable convex polygons

We present a novel hybrid numerical-asymptotic boundary element method for high frequency acoustic and electromagnetic scattering by penetrable (dielectric) convex polygons. Our method is based on a standard reformulation of the associated transmission boundary value problem as a direct boundary integral equation for the unknown Cauchy data, but with a nonstandard numerical discretization which efficiently captures the high frequency oscillatory behaviour. The Cauchy data is represented as a sum of the classical geometrical optics approximation, computed by a beam tracing algorithm, plus a contribution due to diffraction, computed by a Galerkin boundary element method using oscillatory basis functions chosen according to the principles of the Geometrical Theory of Diffraction. We demonstrate with a range of numerical experiments that our boundary element method can achieve a fixed accuracy of approximation using only a relatively small, frequency-independent number of degrees of freedom. Moreover, for the scattering scenarios we consider, the inclusion of the diffraction term provides an order of magnitude improvement in accuracy over the geometrical optics approximation alone.

math.NA↗

arXiv2017

Well-posed PDE and integral equation formulations for scattering by fractal screens

We consider time-harmonic acoustic scattering by planar sound-soft (Dirichlet) and sound-hard (Neumann) screens embedded in $\mathbb{R}^n$ for $n = 2$ or $3$. In contrast to previous studies in which the screen is assumed to be a bounded Lipschitz (or smoother) relatively open subset of the plane, we consider screens occupying an arbitrary bounded subset of the plane. Thus our study includes cases where the screen is a relatively open set with a boundary that is fractal, or indeed has positive surface measure, and cases where the screen has empty interior and is fractal, or indeed has positive surface measure. We elucidate for which screen geometries the classical formulations of screen scattering are well-posed, showing that the classical formulation for sound-hard scattering is not well-posed if the screen boundary has Hausdorff dimension greater than $n-2$. We also propose novel well-posed boundary integral equation (BIE) and boundary value problem (BVP) formulations, valid for arbitrary bounded screens. In fact, we show that for sufficiently irregular screens there exist whole families of well-posed formulations, with infinitely many distinct solutions, the distinct formulations distinguished by the sense in which the boundary conditions are understood. To select the physically correct solution we propose limiting geometry principles, taking the limit of solutions for a convergent sequence of more regular screens, this a natural procedure for those fractal screens for which there exists a standard sequence of prefractal approximations. We present examples exhibiting interesting physical behaviours, including penetration of waves through screens with "holes" in them, where the "holes" have no interior points, so that the screen and its closure scatter differently. Our results depend on subtle and interesting properties of fractional Sobolev spaces on non-Lipschitz sets.

math.AP↗

arXiv2017

Homogenized boundary conditions and resonance effects in Faraday cages

We present a mathematical study of two-dimensional electrostatic and electromagnetic shielding by a cage of conducting wires (the so-called `Faraday cage effect'). Taking the limit as the number of wires in the cage tends to infinity we use the asymptotic method of multiple scales to derive continuum models for the shielding, involving homogenized boundary conditions on an effective cage boundary. We show how the resulting models depend on key cage parameters such as the size and shape of the wires, and, in the electromagnetic case, on the frequency and polarisation of the incident field. In the electromagnetic case there are resonance effects, whereby at frequencies close to the natural frequencies of the equivalent solid shell, the presence of the cage actually amplifies the incident field, rather than shielding it. By appropriately modifying the continuum model we calculate the modified resonant frequencies, and their associated peak amplitudes. We discuss applications to radiation containment in microwave ovens and acoustic scattering by perforated shells.

math-ph↗

arXiv2017

Sobolev spaces on non-Lipschitz subsets of $\mathbb{R}^n$ with application to boundary integral equations on fractal screens

We study properties of the classical fractional Sobolev spaces (or Bessel potential spaces) on non-Lipschitz subsets of $\mathbb{R}^n$. We investigate the extent to which the properties of these spaces, and the relations between them, that hold in the well-studied case of a Lipschitz open set, generalise to non-Lipschitz cases. Our motivation is to develop the functional analytic framework in which to formulate and analyse integral equations on non-Lipschitz sets. In particular we consider an application to boundary integral equations for wave scattering by planar screens that are non-Lipschitz, including cases where the screen is fractal or has fractal boundary.

math.FA↗