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$).
翻译:我们认为,在Drichlet障碍体外,使用完全匹配的平流层(PML)计分法,折合的赫尔马霍茨等值的近似值;众所周知,这一近似值在PML宽度和缩放角度中是指数性的准确度,而最近,近近似值在[Galkowski, Lafontaine, Spence, 2021] 的波数美元中是指数性的准确度。我们显示,用于这一问题的美元-FEM不会受到污染效应的影响,因为美元存在美元(C_1,C_2>美元),如果美元/pleq C_1美元和$p geq C_2\log k$,那么加勒金解决方案在[Galerkin] 中是指数性的,在以下两个条件下(i)原Helmholtz 问题的解决方案操作者以美元(这是“最接近的”美元, 美元,而现在的”平流化的“平流化的” 和“市” 的“平流” 的“平流法” 工具证明了一个“平流” 和“平流” 的“平流的“平流” 的“平流” 的“平流” 的“平流” 的“平流” 的“平流” 的“平流” 的“平流” 和“平流” 的“平流” 的“平流” 技术是“平流” 的“平流” 。