arXiv subjects

Jeffrey Galkowski

Publications and source records attributed to Jeffrey Galkowski.

At least 37 records · Page 2Linked to original sources

arXiv2024

Helmholtz FEM solutions are locally quasi-optimal modulo low frequencies

For $h$-FEM discretisations of the Helmholtz equation with wavenumber $k$, we obtain $k$-explicit analogues of the classic local FEM error bounds of [Nitsche, Schatz 1974], [Wahlbin 1991], [Demlow, Guzmán, Schatz 2011], showing that these bounds hold with constants independent of $k$, provided one works in Sobolev norms weighted with $k$ in the natural way. We prove two main results: (i) a bound on the local $H^1$ error by the best approximation error plus the $L^2$ error, both on a slightly larger set, and (ii) the bound in (i) but now with the $L^2$ error replaced by the error in a negative Sobolev norm. The result (i) is valid for shape-regular triangulations, and is the $k$-explicit analogue of the main result of [Demlow, Guzmán, Schatz, 2011]. The result (ii) is valid when the mesh is locally quasi-uniform on the scale of the wavelength (i.e., on the scale of $k^{-1}$) and is the $k$-explicit analogue of the results of [Nitsche, Schatz 1974], [Wahlbin 1991]. Since our Sobolev spaces are weighted with $k$ in the natural way, the result (ii) indicates that the Helmholtz FEM solution is locally quasi-optimal modulo low frequencies (i.e., frequencies $\lesssim k$). Numerical experiments confirm this property, and also highlight interesting propagation phenomena in the Helmholtz FEM error.

math.NA↗

arXiv2024

Propagation for Schrödinger operators with potentials singular along a hypersurface

In this article, we study propagation of defect measures for Schrödinger operators, $-h^2Δ_g+V$, on a Riemannian manifold $(M,g)$ of dimension $n$ with $V$ having conormal singularities along a hypersurface $Y$ in the sense that derivatives along vector fields tangent to $Y$ preserve the regularity of $V$. We show that the standard propagation theorem holds for bicharacteristics travelling transversally to the surface $Y$ whenever the potential is absolutely continuous. Furthermore, even when bicharacteristics are tangent to $Y$ at exactly first order, as long as the potential has an absolutely continuous first derivative, standard propagation continues to hold.

math.AP↗

arXiv2024

The $hp$-FEM applied to the Helmholtz equation with PML truncation does not suffer from the pollution effect

We consider approximation of the variable-coefficient Helmholtz equation in the exterior of a Dirichlet obstacle using perfectly-matched-layer (PML) truncation; it is well known that this approximation is exponentially accurate in the PML width and the scaling angle, and the approximation was recently proved to be exponentially accurate in the wavenumber $k$ in [Galkowski, Lafontaine, Spence, 2021]. We show that the $hp$-FEM applied to this problem does not suffer from the pollution effect, in that there exist $C_1,C_2>0$ such that if $hk/p\leq C_1$ and $p \geq C_2 \log k$ then the Galerkin solutions are quasioptimal (with constant independent of $k$), under the following two conditions (i) the solution operator of the original Helmholtz problem is polynomially bounded in $k$ (which occurs for "most" $k$ by [Lafontaine, Spence, Wunsch, 2021]), and (ii) either there is no obstacle and the coefficients are smooth or the obstacle is analytic and the coefficients are analytic in a neighbourhood of the obstacle and smooth elsewhere. This $hp$-FEM result is obtained via a decomposition of the PML solution into "high-" and "low-frequency" components, analogous to the decomposition for the original Helmholtz solution recently proved in [Galkowski, Lafontaine, Spence, Wunsch, 2022]. The decomposition is obtained using tools from semiclassical analysis (i.e., the PDE techniques specifically designed for studying Helmholtz problems with large $k$).

math.AP↗

arXiv2023

An abstract formulation of the flat band condition

Motivated by the study of flat bands in models of twisted bilayer graphene (TBG), we give abstract conditions which guarantee the existence of a discrete set of parameters for which periodic Hamiltonians exhibit flat bands. As an application, we show that a scalar operator derived from the chiral model of TBG has flat bands for a discrete set of parameters.

math.AP↗

arXiv2023

Classical Wave methods and modern gauge transforms: Spectral Asymptotics in the one dimensional case

In this article, we consider the asymptotic behaviour of the spectral function of Schrödinger operators on the real line. Let $H: L^2(\mathbb{R})\to L^2(\mathbb{R})$ have the form $$ H:=-\frac{d^2}{dx^2}+V, $$ where $V$ is a formally self-adjoint first order differential operator with smooth coefficients, bounded with all derivatives. We show that the kernel of the spectral projector, $\mathbb{1}_{(-\infty,ρ^2]}(H)$, has a complete asymptotic expansion in powers of $ρ$. This settles the 1-dimensional case of a conjecture made by the last two authors.

math.SP↗

arXiv2023

Local absorbing boundary conditions on fixed domains give order-one errors for high-frequency waves

We consider approximating the solution of the Helmholtz exterior Dirichlet problem for a nontrapping obstacle, with boundary data coming from plane-wave incidence, by the solution of the corresponding boundary value problem where the exterior domain is truncated and a local absorbing boundary condition coming from a Padé approximation (of arbitrary order) of the Dirichlet-to-Neumann map is imposed on the artificial boundary (recall that the simplest such boundary condition is the impedance boundary condition). We prove upper- and lower-bounds on the relative error incurred by this approximation, both in the whole domain and in a fixed neighbourhood of the obstacle (i.e. away from the artificial boundary). Our bounds are valid for arbitrarily-high frequency, with the artificial boundary fixed, and show that the relative error is bounded away from zero, independent of the frequency, and regardless of the geometry of the artificial boundary.

math.NA↗

arXiv2023

Perfectly-matched-layer truncation is exponentially accurate at high frequency

We consider a wide variety of scattering problems including scattering by Dirichlet, Neumann, and penetrable obstacles. We consider a radial perfectly-matched layer (PML) and show that for any PML width and a steep-enough scaling angle, the PML solution is exponentially close, both in frequency and the tangent of the scaling angle, to the true scattering solution. Moreover, for a fixed scaling angle and large enough PML width, the PML solution is exponentially close to the true scattering solution in both frequency and the PML width. In fact, the exponential bound holds with rate of decay $c(w\tanθ-C) k$ where $w$ is the PML width and $θ$ is the scaling angle. More generally, the results of the paper hold in the framework of black-box scattering under the assumption of an exponential bound on the norm of the cutoff resolvent, thus including problems with strong trapping. These are the first results on the exponential accuracy of PML at high-frequency with non-trivial scatterers.

math.AP↗

arXiv2022

Semiclassical resolvent bounds for compactly supported radial potentials

We employ separation of variables to prove weighted resolvent estimates for the semiclassical Schrödinger operator $-h^2 Δ+ V(|x|) - E$ in dimension $n \ge 2$, where $h, \, E > 0$, and $V: [0, \infty) \to \mathbb{R}$ is $L^\infty$ and compactly supported. The weighted resolvent norm grows no faster than $\exp(Ch^{-1})$, while an exterior weighted norm grows $\sim h^{-1}$. We introduce a new method based on the Mellin transform to handle the two-dimensional case.

math.AP↗

arXiv2022

The scattering phase: seen at last

The scattering phase, defined as $ \log \det S ( λ) / 2πi $ where $ S ( λ) $ is the (unitary) scattering matrix, is the analogue of the counting function for eigenvalues when dealing with exterior domains and is closely related to Krein's spectral shift function. We revisit classical results on asymptotics of the scattering phase and point out that it is never monotone in the case of strong trapping of waves. Perhaps more importantly, we provide the first numerical calculations of scattering phases for non-radial scatterers. They show that the asymptotic Weyl law is accurate even at low frequencies and reveal effects of trapping such as lack of monotonicity. This is achieved by using the recent high level multiphysics finite element software FreeFEM.

math.SP↗

arXiv2022

High-frequency estimates on boundary integral operators for the Helmholtz exterior Neumann problem

We study a commonly-used second-kind boundary-integral equation for solving the Helmholtz exterior Neumann problem at high frequency, where, writing $Γ$ for the boundary of the obstacle, the relevant integral operators map $L^2(Γ)$ to itself. We prove new frequency-explicit bounds on the norms of both the integral operator and its inverse. The bounds on the norm are valid for piecewise-smooth $Γ$ and are sharp up to factors of $\log k$ (where $k$ is the wavenumber), and the bounds on the norm of the inverse are valid for smooth $Γ$ and are observed to be sharp at least when $Γ$ is smooth with strictly-positive curvature. Together, these results give bounds on the condition number of the operator on $L^2(Γ)$; this is the first time $L^2(Γ)$ condition-number bounds have been proved for this operator for obstacles other than balls.

math.AP↗

arXiv2022

Does the Helmholtz boundary element method suffer from the pollution effect?

In $d$ dimensions, accurately approximating an arbitrary function oscillating with frequency $\lesssim k$ requires $\sim k^d$ degrees of freedom. A numerical method for solving the Helmholtz equation (with wavenumber $k$ and in $d$ dimensions) suffers from the pollution effect if, as $k\to\infty$, the total number of degrees of freedom needed to maintain accuracy grows faster than this natural threshold (i.e., faster than $k^d$ for domain-based formulations, such as finite element methods, and $k^{d-1}$ for boundary-based formulations, such as boundary element methods). It is well known that the $h$-version of the finite element method (FEM) (where accuracy is increased by decreasing the meshwidth $h$ and keeping the polynomial degree $p$ fixed) suffers from the pollution effect, and research over the last $\sim$ 30 years has resulted in a near-complete rigorous understanding of how quickly the number of degrees of freedom must grow with $k$ to maintain accuracy. In contrast to the $h$-FEM, at least empirically, the $h$-version of the boundary element method (BEM) does $\textit{not}$ suffer from the pollution effect (recall that in the boundary element method the scattering problem is reformulated as an integral equation on the boundary of the scatterer, with this integral equation then solved numerically using a finite-element-type approximation space). However, the current best results in the literature on how quickly the number of degrees of freedom for the $h$-BEM must grow with $k$ to maintain accuracy fall short of proving this. In this paper, we prove that the $h$-version of the Galerkin method applied to the standard second-kind boundary integral equations for solving the Helmholtz exterior Dirichlet problem does not suffer from the pollution effect when the obstacle is nontrapping (i.e., does not trap geometric-optic rays).

math.NA↗

arXiv2022

Decompositions of high-frequency Helmholtz solutions via functional calculus, and application to the finite element method

Over the last ten years, results from [Melenk-Sauter, 2010], [Melenk-Sauter, 2011], [Esterhazy-Melenk, 2012], and [Melenk-Parsania-Sauter, 2013] decomposing high-frequency Helmholtz solutions into "low"- and "high"-frequency components have had a large impact in the numerical analysis of the Helmholtz equation. These results have been proved for the constant-coefficient Helmholtz equation in either the exterior of a Dirichlet obstacle or an interior domain with an impedance boundary condition. Using the Helffer-Sjöstrand functional calculus, this paper proves analogous decompositions for scattering problems fitting into the black-box scattering framework of Sjöstrand-Zworski, thus covering Helmholtz problems with variable coefficients, impenetrable obstacles, and penetrable obstacles all at once. These results allow us to prove new frequency-explicit convergence results for (i) the $hp$-finite-element method applied to the variable coefficient Helmholtz equation in the exterior of a Dirichlet obstacle, when the obstacle and coefficients are analytic, and (ii) the $h$-finite-element method applied to the Helmholtz penetrable-obstacle transmission problem. In particular, the result in (i) shows that the $hp$-FEM applied to this problem does not suffer from the pollution effect.

math.AP↗

arXiv2022

Weyl remainders: an application of geodesic beams

We obtain new quantitative estimates on Weyl Law remainders under dynamical assumptions on the geodesic flow. On a smooth compact Riemannian manifold $(M,g)$ of dimension $n$, let $Π_λ$ denote the kernel of the spectral projector for the Laplacian, $\mathbb{1}_{[0,λ^2]}(-Δ_g)$. Assuming only that the set of near periodic geodesics over $W\subset M$ has small measure, we prove that as $λ\to \infty$ $$ \int_{W} Π_λ(x,x)dx=(2π)^{-n}\text{vol}_{\mathbb{R}^n}(B)\text{vol}_g(W)\,λ^n+O\Big(\frac{λ^{n-1}}{\log λ}\Big),$$ where $B$ is the unit ball. One consequence of this result is that the improved remainder holds on all product manifolds, in particular giving improved estimates for the eigenvalue counting function in the product setup. Our results also include logarithmic gains on asymptotics for the off-diagonal spectral projector $Π_λ(x,y)$ under the assumption that the set of geodesics that pass near both $x$ and $y$ has small measure, and quantitative improvements for Kuznecov sums under non-looping type assumptions. The key technique used in our study of the spectral projector is that of geodesic beams.

math.AP↗

arXiv2022

Semiclassical resolvent bounds for long range Lipschitz potentials

We give an elementary proof of weighted resolvent estimates for the semiclassical Schrödinger operator $-h^2 Δ+ V(x) - E$ in dimension $n \neq 2$, where $h, \, E > 0$. The potential is real-valued, $V$ and $\partial_r V$ exhibit long range decay at infinity, and may grow like a sufficiently small negative power of $r$ as $r \to 0$. The resolvent norm grows exponentially in $h^{-1}$, but near infinity it grows linearly. When $V$ is compactly supported, we obtain linear growth if the resolvent is multiplied by weights supported outside a ball of radius $CE^{-1/2}$ for some $C > 0$. This $E$-dependence is sharp and answers a question of Datchev and Jin.

math.AP↗

arXiv2021

Lower bounds for Steklov eigenfunctions

Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author's previous work.

math.AP↗

arXiv2021

Applying GMRES to the Helmholtz equation with strong trapping: how does the number of iterations depend on the frequency?

We consider GMRES applied to discretisations of the high-frequency Helmholtz equation with strong trapping; recall that in this situation the problem is exponentially ill-conditioned through an increasing sequence of frequencies. Under certain assumptions about the distribution of the eigenvalues, we prove upper bounds on how the number of GMRES iterations grows with the frequency. Our main focus is on boundary-integral-equation formulations of the exterior Dirichlet and Neumann obstacle problems in 2- and 3-d; for these problems, we investigate numerically the sharpness (in terms of dependence on frequency) of both our bounds and various quantities entering our bounds. This paper is therefore the first comprehensive study of the frequency-dependence of the number of GMRES iterations for Helmholtz boundary-integral equations under trapping.

math.NA↗

arXiv2021

Improvements for eigenfunction averages: An application of geodesic beams

Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{ϕ_λ\}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-Δ_gϕ_λ=λ^2 ϕ_λ$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(M,H)$, even when $H=\{x\}$, for which $$ \Big|\int_Hϕ_λdσ_H\Big|=O\Big(\frac{λ^{\frac{k-1}{2}}}{\sqrt{\log λ}}\Big)\qquad \text{or}\qquad |ϕ_λ(x)|=O\Big(\frac{λ^{\frac{n-1}{2}}}{\sqrt{\log λ}}\Big), $$ as $λ\to \infty$. These conditions require no global assumption on the manifold $M$ and instead relate to the structure of the set of recurrent directions in the unit normal bundle to $H$. Our results extend all previously known conditions guaranteeing improvements on averages, including those on sup-norms. For example, we show that if $(M,g)$ is a surface with Anosov geodesic flow, then there are logarithmically improved averages for any $H\subset M$. We also find weaker conditions than having no conjugate points which guarantee $\sqrt{\log λ}$ improvements for the $L^\infty$ norm of eigenfunctions. Our results are obtained using geodesic beam techniques, which yield a mechanism for obtaining general quantitative improvements for averages and sup-norms.

math.AP↗

arXiv2021

Eigenvalues of the truncated Helmholtz solution operator under strong trapping

For the Helmholtz equation posed in the exterior of a Dirichlet obstacle, we prove that if there exists a family of quasimodes (as is the case when the exterior of the obstacle has stable trapped rays), then there exist near-zero eigenvalues of the standard variational formulation of the exterior Dirichlet problem (recall that this formulation involves truncating the exterior domain and applying the exterior Dirichlet-to-Neumann map on the truncation boundary). Our motivation for proving this result is that a) the finite-element method for computing approximations to solutions of the Helmholtz equation is based on the standard variational formulation, and b) the location of eigenvalues, and especially near-zero ones, plays a key role in understanding how iterative solvers such as the generalised minimum residual method (GMRES) behave when used to solve linear systems, in particular those arising from the finite-element method. The result proved in this paper is thus the first step towards rigorously understanding how GMRES behaves when applied to discretisations of high-frequency Helmholtz problems under strong trapping (the subject of the companion paper [Marchand, Galkowski, Spence, Spence, 2021]).

math.AP↗