The $hp$-FEM does not suffer from the pollution effect for piecewise-smooth Helmholtz problems with Gevrey regularity at boundaries
Abstract
We consider the $hp$-FEM applied to the Helmholtz scattering problem with wavenumber $k$, truncated with a perfectly-matched layer. The scatterer consists of a combination of Dirichlet, Neumann, and penetrable obstacles together with variable coefficients. Provided that the Helmholtz solution operator is polynomially bounded in $k$, all coefficients are piecewise smooth, all boundary surfaces are Gevrey and all coefficients restricted to boundary surfaces are Gevrey together with all their normal derivatives, we show that the $hp$-FEM is quasioptimal when $p\geq 1+\varepsilon \log k$ and $hk/p$ is sufficiently small; i.e., the $hp$-FEM does not suffer from the pollution effect. This result generalises the analogous results in both [Bernkopf, Chaumont-Frelet, Melenk 2025] (proved for piecewise analytic coefficients and analytic boundaries) and [Galkowski, Lafontaine, Spence, Wunsch 2024] (proved for smooth coefficients that are analytic near analytic obstacles) to a much larger class of scatterers.
Disclosure
“and (C.59). Acknowledgements JG, MM, and ES were supported by ERC Synergy Grant “PSINumScat” 101167139. JG was supported by EPSRC grants EP/V001760/1 and EP/V051636/1 and the Leverhulme Trust under Research Project Grant RPG-2023-325. ChatGPT version 5.5 was used (i) to prove some of the combinatorial relations in Lemma B.12, (ii) to search the literature, and (iii) to help proofread various parts of the paper. References [1] S. Agmon, A. Douglis, and L. Nirenberg. Estimates”
PDF page 50
- Classification
- Proof ideas or individual proof-step assistance
- Multiplier
- 8
- Verified
Structural counts
Count notes
- arXiv source was unavailable; PDF-text fallbacks were used.
- Appendix pages include the first PDF page with an explicit Appendix heading through the final page.