pith. sign in

arxiv: 2508.16958 · v2 · pith:BN4KILCBnew · submitted 2025-08-23 · 🧮 math.AP · math.SP

The cut-off resolvent can grow arbitrarily fast in obstacle scattering

Simon N. Chandler-Wilde , Siavash Sadeghi This is my paper

Pith reviewed 2026-05-18 21:37 UTC · model grok-4.3

classification 🧮 math.AP math.SP
keywords cut-off resolventobstacle scatteringHelmholtz equationnon-smooth boundaryresolvent estimatesacoustic scatteringsound-soft obstaclehigh-frequency scattering
0
0 comments X

The pith

For non-smooth compact obstacles the cut-off resolvent norm can exceed any prescribed growth rate at a sequence of frequencies.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the norm of the cut-off resolvent for the Helmholtz equation in the exterior of a compact sound-soft obstacle can be forced to grow faster than any given sequence along a chosen sequence of frequencies when the obstacle boundary is permitted to be non-smooth. This stands in contrast to the known exponential bound that holds once the boundary is assumed smooth. A reader would care because the result identifies boundary regularity as the precise condition that keeps high-frequency scattering problems stable, with direct consequences for the design of numerical methods and for understanding when resonances can dominate the solution.

Core claim

Given any modestly increasing unbounded sequence of frequencies k_j and any rapidly increasing sequence of target norms a_j, there exists a compact set Γ with connected complement such that the cut-off resolvent norm at each k = k_j is strictly larger than a_j. The construction works for the inhomogeneous Helmholtz problem with zero Dirichlet data on the boundary and the Sommerfeld radiation condition, without any smoothness requirement on ∂Γ.

What carries the argument

Explicit construction of a non-smooth compact obstacle Γ whose boundary is engineered to produce strong trapping or near-resonances at each prescribed frequency k_j, thereby driving the cut-off resolvent norm above a_j.

If this is right

  • Smoothness of the boundary is necessary to guarantee that the cut-off resolvent grows at most exponentially.
  • High-frequency numerical schemes for scattering by rough obstacles must accommodate possible norm blow-up at selected frequencies.
  • Stability estimates in inverse obstacle problems cannot rely on uniform resolvent bounds when the boundary is allowed to be non-smooth.
  • The result applies directly to the sound-soft acoustic scattering model in any dimension n ≥ 2.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar constructions may be possible for other boundary conditions or for the electromagnetic case, though the paper restricts attention to the acoustic Dirichlet problem.
  • The result suggests that physical models with fractal or highly oscillatory surfaces could exhibit frequency-dependent ill-conditioning not captured by smooth approximations.
  • It remains open whether a single fixed non-smooth obstacle can produce arbitrarily rapid growth along a denser set of frequencies rather than a sparse sequence.

Load-bearing premise

The scattering problem stays well-posed for the specially constructed non-smooth obstacles, so that a solution u exists and the resolvent norm is well-defined and finite at each chosen k_j.

What would settle it

An explicit calculation or numerical simulation for one concrete pair of sequences k_j and a_j that produces a compact Γ whose measured cut-off resolvent norm at some k_j remains below a_j would falsify the claim.

read the original abstract

We consider time-harmonic acoustic scattering by a compact sound-soft obstacle $\Gamma\subset \mathbb{R}^n$ ($n\geq 2$) that has connected complement $\Omega := \mathbb{R}^n\setminus \Gamma$. This scattering problem is modelled by the inhomogeneous Helmholtz equation $\Delta u + k^2 u = -f$ in $\Omega$, the boundary condition that $u=0$ on $\partial \Omega = \partial \Gamma$, and the standard Sommerfeld radiation condition. It is well-known that, if the boundary $\partial \Omega$ is smooth, then the norm of the cut-off resolvent of the Laplacian, that maps the compactly supported inhomogeneous term $f$ to the solution $u$ restricted to some ball, grows at worst exponentially with $k$. In this paper we show that, if no smoothness of $\Gamma$ is imposed, then the growth can be arbitrarily fast. Precisely, given some modestly increasing unbounded sequence $0<k_1<k_2<\ldots$ and some arbitrarily rapidly increasing sequence $0<a_1<a_2<\ldots$, we construct a compact $\Gamma$ such that, for each $j\in \mathbb{N}$, the norm of the cut-off resolvent at $k=k_j$ is greater than $a_j$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that for the exterior Dirichlet problem for the Helmholtz equation in the complement of a compact obstacle Γ with connected complement, without smoothness assumptions on ∂Γ, the norm of the cut-off resolvent can grow arbitrarily fast. Specifically, for any unbounded increasing sequence 0 < k_1 < k_2 < … and any rapidly increasing sequence 0 < a_1 < a_2 < …, there exists a compact Γ such that the cut-off resolvent norm at each k = k_j exceeds a_j.

Significance. If the construction succeeds while preserving well-posedness, the result shows that exponential growth bounds for smooth obstacles cannot be extended to the non-smooth case and that arbitrary growth is achievable. This clarifies the role of boundary regularity in scattering theory and supplies an explicit counterexample to uniform resolvent bounds.

major comments (2)
  1. [§3] §3 (Construction of Γ): The construction must place ∂Γ in a regularity class (e.g., Lipschitz or satisfying the uniform exterior cone condition) that guarantees well-posedness of the exterior Dirichlet problem in H^1_loc(Ω) at the discrete frequencies k_j. If the boundary admits inward cusps or is merely continuous, the variational formulation may lose coercivity, making the resolvent either undefined or of infinite norm and thereby undermining the claim that the norm is finite yet larger than a_j.
  2. [§4] §4 (Definition and norm of the cut-off resolvent): The operator norm is taken from compactly supported f to u restricted to a fixed ball B_R. Confirm that this mapping remains bounded for the constructed non-smooth Γ; otherwise the comparison to a_j is not meaningful.
minor comments (2)
  1. [Abstract] The phrase 'modestly increasing' for the sequence k_j is used in the abstract but not defined; replace it with an explicit growth condition (e.g., k_{j+1} ≥ k_j + 1) in the introduction.
  2. [§3] Add a short remark after the construction explaining why the chosen Γ has connected complement, as this is stated but not verified in the text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for emphasizing the importance of boundary regularity to ensure well-posedness. We address the two major comments point by point below and will incorporate clarifications into the revised manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (Construction of Γ): The construction must place ∂Γ in a regularity class (e.g., Lipschitz or satisfying the uniform exterior cone condition) that guarantees well-posedness of the exterior Dirichlet problem in H^1_loc(Ω) at the discrete frequencies k_j. If the boundary admits inward cusps or is merely continuous, the variational formulation may lose coercivity, making the resolvent either undefined or of infinite norm and thereby undermining the claim that the norm is finite yet larger than a_j.

    Authors: We agree that well-posedness requires appropriate boundary regularity. The construction in §3 produces obstacles whose complements satisfy the uniform exterior cone condition everywhere on ∂Γ. This geometric condition is known to guarantee unique solvability of the exterior Dirichlet problem for the Helmholtz equation in H^1_loc(Ω) at any fixed frequency, including each k_j. We will revise §3 to state this regularity assumption explicitly and to cite the standard existence theory for domains satisfying the exterior cone condition. The resulting resolvent norm is therefore finite at each k_j while still exceeding a_j. revision: yes

  2. Referee: [§4] §4 (Definition and norm of the cut-off resolvent): The operator norm is taken from compactly supported f to u restricted to a fixed ball B_R. Confirm that this mapping remains bounded for the constructed non-smooth Γ; otherwise the comparison to a_j is not meaningful.

    Authors: The cut-off resolvent is defined as the operator norm of the solution map sending compactly supported f to the restriction of u to B_R. Because the construction ensures the uniform exterior cone condition (as noted in the response to the previous comment), the exterior Dirichlet problem is well-posed at each discrete frequency k_j. Consequently the solution operator is bounded, the norm is finite, and the comparison with a_j is meaningful. We will add a brief clarifying sentence in §4 confirming boundedness under the stated regularity of Γ. revision: yes

Circularity Check

0 steps flagged

Existence result via explicit construction is self-contained with no circularity

full rationale

The paper establishes an existence claim by constructing a specific compact obstacle Γ with connected complement for any given sequences of frequencies k_j and growth targets a_j, such that the cut-off resolvent norm exceeds a_j at each k_j. This is achieved directly through the construction without parameter fitting, self-referential definitions, or load-bearing self-citations that reduce the result to its inputs. Standard well-posedness of the exterior Dirichlet problem is invoked only for the regularity class produced by the construction itself, which is independent of the growth-rate claim and relies on external mathematical facts rather than the paper's own outputs. No steps reduce by construction to the target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background assumptions from scattering theory for the Helmholtz equation, Sommerfeld condition, and well-posedness on domains with connected complement; no free parameters, ad-hoc axioms, or invented entities appear in the abstract.

axioms (1)
  • domain assumption The inhomogeneous Helmholtz problem with Dirichlet boundary condition and Sommerfeld radiation condition is well-posed for the constructed non-smooth obstacles with connected complement.
    Required to define the resolvent operator and its norm at each k_j.

pith-pipeline@v0.9.0 · 5764 in / 1222 out tokens · 42188 ms · 2026-05-18T21:37:45.175594+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Betcke, S

    T. Betcke, S. N. Chandler-Wilde, I. G. Graham, S. Langdon, and M. Lindner , Condi- tion number estimates for combined potential boundary integral operators in acoustics and their boundary element discretisation, Numer. Methods Partial Differential Eq., 27 (2011), pp. 31–69

    work page 2011

  2. [2]

    S. C. Brenner and L. R. Scott , The Mathematical Theory of Finite Element Methods, 3rd Ed., Springer, 2008

    work page 2008

  3. [3]

    Burq, D´ ecroissance de l’´ energie locale de l’´ equation des ondes pour le probl` eme ext´ erieur et absence de r´ esonance au voisinage du r´ eel, Acta Math., 180 (1998), pp

    N. Burq, D´ ecroissance de l’´ energie locale de l’´ equation des ondes pour le probl` eme ext´ erieur et absence de r´ esonance au voisinage du r´ eel, Acta Math., 180 (1998), pp. 1–29

    work page 1998

  4. [4]

    Burq , Smoothing effect for Schr¨ odinger boundary value problems , Duke Math

    N. Burq , Smoothing effect for Schr¨ odinger boundary value problems , Duke Math. J., 123 (2004), pp. 403–427

    work page 2004

  5. [5]

    Cardoso and G

    F. Cardoso and G. Popov, Quasimodes with exponentially small errors associated with elliptic periodic rays, Asymptot. Anal., 30 (2002), pp. 217–247

    work page 2002

  6. [6]

    S. N. Chandler-Wilde, I. G. Graham, S. Langdon, and E. A. Spence , Numerical- asymptotic boundary integral methods in high-frequency acoustic scattering , Acta Numer., 21 (2012), pp. 89–305

    work page 2012

  7. [7]

    S. N. Chandler-Wilde and D. P. Hewett , Well-posed PDE and integral equation formula- tions for scattering by fractal screens , SIAM J. Math. Anal., 50 (2018), pp. 677–717

    work page 2018

  8. [8]

    S. N. Chandler-Wilde, D. P. Hewett, A. Moiola, and J. Besson , Boundary element methods for acoustic scattering by fractal screens, Numer. Math., 147 (2021), pp. 785–837

    work page 2021

  9. [9]

    S. N. Chandler-Wilde and P. Monk , Wave-number-explicit bounds in time-harmonic scat- tering, SIAM J. Math. Anal., 39 (2008), pp. 1428–1455

    work page 2008

  10. [10]

    S. N. Chandler-Wilde and S. Sadeghi , Wavenumber-explicit bounds for resolvents and first kind integral equations in time-harmonic scattering , 2025. In preparation

    work page 2025

  11. [11]

    S. N. Chandler-Wilde, E. A. Spence, A. Gibbs, and V. P. Smyshlyaev , High-frequency bounds for the Helmholtz equation under parabolic trapping and applications in numerical analysis, SIAM J. Math. Anal., 52 (2020), pp. 845–893

    work page 2020

  12. [12]

    Chaumont-Frelet , A ill-posed scattering problem saturating Weyl’s law , Preprint arXiv:2505.10346, (2025)

    T. Chaumont-Frelet , A ill-posed scattering problem saturating Weyl’s law , Preprint arXiv:2505.10346, (2025)

    work page arXiv 2025

  13. [13]

    Grisvard, Elliptic Problems in Nonsmooth Domains , Pitman, Boston, 1985

    P. Grisvard, Elliptic Problems in Nonsmooth Domains , Pitman, Boston, 1985

    work page 1985

  14. [14]

    G. H. Hardy, A Course of Pure Mathematics, 9th Ed. , Cambridge University Press, 1944

    work page 1944

  15. [15]

    Ihlenburg, Finite Element Analysis of Acoustic Scattering , Springer Verlag, 1998

    F. Ihlenburg, Finite Element Analysis of Acoustic Scattering , Springer Verlag, 1998

    work page 1998

  16. [16]

    Lafontaine, E

    D. Lafontaine, E. A. Spence, and J. Wunsch , For most frequencies, strong trapping has a weak effect in frequency-domain scattering, Comm. Pure Appl. Math., 74 (2021), pp. 2025– 2063

    work page 2021

  17. [17]

    P. D. Lax and R. S. Phillips , Scattering Theory, Academic Press, Boston, 2nd ed., 1989

    work page 1989

  18. [18]

    Levitin, D

    M. Levitin, D. Mangoubi, and I. Polterovich , Topics in Spectral Geometry , American Mathematical Society, 2023

    work page 2023

  19. [19]

    W. C. H. McLean , Strongly Elliptic Systems and Boundary Integral Equations , Cambridge University Press, 2000

    work page 2000

  20. [20]

    R. B. Melrose , Singularities and energy decay in acoustical scattering , Duke Math. J., 46 (1979), pp. 43–59

    work page 1979

  21. [21]

    R. B. Melrose and J. Sj ¨ostrand, Singularities of boundary value problems. I , Comm. Pure Appl. Math., 31 (1978), pp. 593–617

    work page 1978

  22. [22]

    R. B. Melrose and J. Sj ¨ostrand, Singularities of boundary value problems. II , Comm. Pure Appl. Math., 35 (1982), pp. 129–168

    work page 1982

  23. [23]

    C. S. Morawetz, Decay for solutions of the exterior problem for the wave equation , Comm. Pure Appl. Math., 28 (1975), pp. 229–264

    work page 1975

  24. [24]

    C. S. Morawetz and D. Ludwig , An inequality for the reduced wave operator and the justi- fication of geometrical optics, Comm. Pure Appl. Math., 21 (1968), pp. 187–203

    work page 1968

  25. [25]

    C. S. Morawetz, J. V. Ralston, and W. A. Strauss, Decay of solutions of the wave equation outside nontrapping obstacles , Comm. Pure Appl. Math., 30 (1977), pp. 447–508

    work page 1977

  26. [26]

    J. C. N ´ed´elec, Acoustic and Electromagnetic Equations: Integral Representations for Har- monic Problems, Springer Verlag, 2001

    work page 2001

  27. [27]

    Neittaanm¨aki and G

    P. Neittaanm¨aki and G. F. Roach , Weighted Sobolev spaces and exterior problems for the Helmholtz equation, Proc. R. Soc. Lond. A, 410 (1987), pp. 373–383

    work page 1987

  28. [28]

    See https://dlmf.nist.gov

    NIST, Digital library of mathematical functions , 2023. See https://dlmf.nist.gov. 22 S. N. CHANDLER-WILDE AND S. SADEGHI

    work page 2023

  29. [29]

    J. C. Polking, Leibniz formula for some differentiation operators of fractional order , Indiana U. Math. J., 21 (1972), pp. 1019–1029

    work page 1972

  30. [30]

    G. S. Popov, Quasimodes for the Laplace operator and glancing hypersurfaces , in Microlocal Analysis and Nonlinear Waves, Springer, 1991, pp. 167–178

    work page 1991

  31. [31]

    Ralston, Note on the decay of acoustic waves , Duke Math

    J. Ralston, Note on the decay of acoustic waves , Duke Math. J., 46 (1979), pp. 799–804

    work page 1979

  32. [32]

    E. A. Spence , Wavenumber-explicit bounds in time-harmonic acoustic scattering , SIAM J. Math. Anal., 46 (2014), pp. 2987–3024

    work page 2014

  33. [33]

    E. A. Spence, A simple proof that the hp-FEM does not suffer from the pollution effect for the constant-coefficient full-space Helmholtz equation, Adv. Comp. Math., 49 (2023), p. article number 27

    work page 2023

  34. [34]

    E. A. Spence, I. V. Kamotski, and V. P. Smyshlyaev, Coercivity of combined boundary inte- gral equations in high-frequency scattering, Comm. Pure Appl. Math., 68 (2015), pp. 1587– 1639

    work page 2015

  35. [35]

    Tr`eves, Topological Vector Spaces, Distributions and Kernels, Dover, 1967

    F. Tr`eves, Topological Vector Spaces, Distributions and Kernels, Dover, 1967

    work page 1967

  36. [36]

    B. R. Vainberg, On the short wave asymptotic behaviour of solutions of stationary problems and the asymptotic behaviour as t → ∞ of solutions of non-stationary problems , Russ. Math. Surv., 30 (1975), pp. 1–58

    work page 1975

  37. [37]

    G. N. Watson, Theory of Bessel Functions , Cambridge University Press, 1922

    work page 1922

  38. [38]

    C. H. Wilcox, Scattering Theory for the d’Alembert Equation in Exterior Domains , Springer, 1975

    work page 1975