pith. sign in

arxiv: 2604.00712 · v2 · submitted 2026-04-01 · 🧮 math.AP

Well-Posedness of the Helmholtz Equation with Rough Coefficients

Peijun Li , Yichun Zhu This is my paper

Pith reviewed 2026-05-13 22:20 UTC · model grok-4.3

classification 🧮 math.AP
keywords Helmholtz equationwell-posednessrough coefficientsparaproduct calculusBesov spacesLippmann-Schwinger equationscattering
0
0 comments X

The pith

The Helmholtz equation with rough compactly supported coefficients is well-posed under sharp regularity assumptions via paraproduct calculus.

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

This paper establishes that the Helmholtz equation modeling time-harmonic wave propagation remains well-posed even when the coefficients are rough and merely compactly supported, provided they meet a precise regularity threshold. The authors use paraproduct calculus in rescaled weighted Besov spaces to define the product between the solution and the coefficient at the lowest regularity level without any renormalization step. They then show that this formulation is equivalent to a rescaled Lippmann-Schwinger integral equation incorporating the Sommerfeld radiation condition, which yields existence, uniqueness, and explicit wavenumber-dependent resolvent estimates in general Lp spaces, including an L2 theory useful for scattering amplitudes. These results supply a sharp analytic foundation for understanding wave behavior in highly irregular media where classical smoothness assumptions break down.

Core claim

We establish the well-posedness of the Helmholtz equation with rough and compactly supported coefficients in Rd under sharp regularity assumptions. Using a paraproduct calculus in rescaled weighted Besov spaces, we rigorously define the product between the solution and the coefficient at the lowest regularity level without renormalization. A rescaled Lippmann-Schwinger formulation is shown to be equivalent to the Helmholtz equation with the Sommerfeld radiation condition. We prove existence, uniqueness, and explicit wavenumber dependent resolvent estimates in a general Lp setting, including an L2 theory relevant to scattering amplitudes.

What carries the argument

Paraproduct calculus in rescaled weighted Besov spaces, which defines the product of the solution and coefficient at minimal regularity without renormalization and supports the equivalence to the rescaled Lippmann-Schwinger equation.

If this is right

  • Solutions exist and are unique for the Helmholtz equation with the Sommerfeld condition when coefficients satisfy the sharp regularity.
  • Explicit resolvent estimates hold that depend on the wavenumber in Lp spaces including L2.
  • The differential Helmholtz equation is equivalent to the rescaled Lippmann-Schwinger integral equation.
  • The L2 theory directly supports analysis of scattering amplitudes in irregular media.

Where Pith is reading between the lines

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

  • The same paraproduct approach may extend well-posedness results to other elliptic or hyperbolic equations with low-regularity coefficients.
  • Numerical schemes for wave propagation in rough media could be justified by these resolvent bounds.
  • Inverse problems that recover rough coefficients from scattering data now rest on a firmer analytic footing.

Load-bearing premise

The coefficients must be compactly supported and meet the exact regularity threshold that lets the paraproduct define their product with the solution without renormalization.

What would settle it

Construct a compactly supported coefficient whose regularity falls below the Besov threshold; the Helmholtz equation then loses uniqueness or the product fails to be well-defined in the rescaled space.

read the original abstract

We establish the well-posedness of the Helmholtz equation with rough and compactly supported coefficients in Rd under sharp regularity assumptions. Using a paraproduct calculus in rescaled weighted Besov spaces, we rigorously define the product between the solution and the coefficient at the lowest regularity level without renormalization. A rescaled Lippmann-Schwinger formulation is shown to be equivalent to the Helmholtz equation with the Sommerfeld radiation condition. We prove existence, uniqueness, and explicit wavenumber dependent resolvent estimates in a general Lp setting, including an L2 theory relevant to scattering amplitudes. The results provide a sharp analytic foundation for wave propagation and scattering in highly irregular media.

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

1 major / 1 minor

Summary. The manuscript establishes the well-posedness of the Helmholtz equation with rough and compactly supported coefficients in R^d under sharp regularity assumptions. Using a paraproduct calculus in rescaled weighted Besov spaces, it rigorously defines the product between the solution and the coefficient at the lowest regularity level without renormalization. A rescaled Lippmann-Schwinger formulation is shown to be equivalent to the Helmholtz equation with the Sommerfeld radiation condition. The paper proves existence, uniqueness, and explicit wavenumber-dependent resolvent estimates in a general L^p setting, including an L^2 theory relevant to scattering amplitudes.

Significance. If the results hold, they provide a sharp analytic foundation for wave propagation and scattering in highly irregular media. The paraproduct approach to defining the coefficient-solution product at the lowest regularity without renormalization is a technical strength that could enable further progress in scattering theory for media with limited smoothness. The L^2 resolvent estimates are particularly relevant for applications to scattering amplitudes.

major comments (1)
  1. The equivalence between the Helmholtz equation (with Sommerfeld radiation condition) and the rescaled Lippmann-Schwinger equation in the rescaled weighted Besov spaces is load-bearing for the existence, uniqueness, and resolvent estimates. At the claimed sharp regularity threshold, the manuscript must verify that the paraproduct definition and rescaling map the radiation condition into the same space without remainder terms that could destroy uniqueness; the abstract provides no indication of this verification.
minor comments (1)
  1. The abstract refers to 'sharp regularity assumptions' without specifying the precise Besov indices or the precise threshold; adding these details would improve accessibility.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and insightful comments. We address the major comment below and have revised the manuscript to improve clarity on the equivalence result.

read point-by-point responses

  1. Referee: The equivalence between the Helmholtz equation (with Sommerfeld radiation condition) and the rescaled Lippmann-Schwinger equation in the rescaled weighted Besov spaces is load-bearing for the existence, uniqueness, and resolvent estimates. At the claimed sharp regularity threshold, the manuscript must verify that the paraproduct definition and rescaling map the radiation condition into the same space without remainder terms that could destroy uniqueness; the abstract provides no indication of this verification.

    Authors: We agree that verifying the equivalence at the sharp regularity threshold is essential. In the manuscript, this is established in Theorem 4.2 and the surrounding discussion in Section 4: the rescaled Lippmann-Schwinger formulation is shown to be equivalent to the Helmholtz equation with Sommerfeld radiation condition in the rescaled weighted Besov spaces. The proof confirms that the paraproduct product (defined without renormalization) and the rescaling operator map the radiation condition into the target space with no remainder terms, owing to the compact support of the coefficients and the continuity properties of the paraproduct in these spaces. This bijective correspondence preserves uniqueness. To address the abstract, we have revised it to explicitly note this verification of the radiation condition under the paraproduct definition. We believe the existing proof already covers the concern, but the revision makes the structure more transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central derivation establishes well-posedness of the Helmholtz equation via paraproduct calculus in rescaled weighted Besov spaces to define the rough-coefficient product without renormalization, followed by equivalence to a rescaled Lippmann-Schwinger integral equation that incorporates the Sommerfeld radiation condition. This chain relies on standard function-space estimates and does not reduce any load-bearing step to a self-definition, fitted parameter renamed as prediction, or self-citation chain. The equivalence and resolvent estimates are presented as independently verified results under the stated sharp regularity and compact support assumptions, with no evidence that the radiation condition mapping or uniqueness is forced by construction from the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard properties of Besov spaces and paraproduct estimates; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Paraproduct calculus defines the product of rough functions in weighted Besov spaces without renormalization at the stated regularity threshold.
    Invoked to justify the product between solution and coefficient at lowest regularity.
  • domain assumption The rescaled Lippmann-Schwinger formulation is equivalent to the Helmholtz equation plus Sommerfeld radiation condition.
    Used to convert the differential equation into an integral equation for existence proofs.

pith-pipeline@v0.9.0 · 5398 in / 1270 out tokens · 25497 ms · 2026-05-13T22:20:33.805699+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.

  • Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Using a paraproduct calculus in rescaled weighted Besov spaces, we rigorously define the product between the solution and the coefficient at the lowest regularity level without renormalization.

  • Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    A rescaled Lippmann–Schwinger formulation is shown to be equivalent to the Helmholtz equation with the Sommerfeld radiation condition.

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

23 extracted references · 23 canonical work pages

  1. [1]

    Agmon, Lower bounds for solutions of Schr¨ odinger equations, J

    S. Agmon, Lower bounds for solutions of Schr¨ odinger equations, J. Analyse Math., 23 (1970), 1–25

    work page 1970

  2. [2]

    S. Agmon, Spectral properties of Schr¨ odinger operators and scattering theory, Annali della Scuola Normale Su- periore di Pisa, Classe di Scienze 4e s´ erie, tome 2, no 2 (1975), 151–218

    work page 1975

  3. [3]

    Bourgain, P

    J. Bourgain, P. Shao, C. Sogge, and X. Yao, OnL p-resolvent estimates and the density of eigenvalues for compact Riemannian manifolds, Comm. Math. Phys., 333 (2015), 1483–1527

    work page 2015

  4. [4]

    P. Caro, T. Helin, and M. Lassas, Inverse scattering for a random potential, Anal. Appl. (Singap.), 17 (2019), 513–567

    work page 2019

  5. [5]

    Bahouri, J

    H. Bahouri, J. Chemin, and R. Danchin, Fourier Analysis and Nonlinear Partial differential Equations, Springer, 2011

    work page 2011

  6. [6]

    Colton and R

    D. Colton and R. Kress, Inverse Acoustic and Electromagnetic Scattering Theory, 2nd ed., Appl. Math. Sci. 93, Springer-Verlag, Berlin, 1998

    work page 1998

  7. [7]

    Dyatlov and M

    S. Dyatlov and M. Zworski, Mathematical Theory of Scattering Resonances, vol. 200, American Mathematical Soc., Providence, RI, 2019

    work page 2019

  8. [8]

    Goldberg and W

    M. Goldberg and W. Schlag, A limiting absorption principle for the three-dimensional Schr¨ odinger equation with Lp potentials, Int. Math. Res. Not. IMRN, 75 (2004), 4049–4071

    work page 2004

  9. [9]

    Kato, Growth properties of solutions of the reduced wave equation with a variable coefficient, Comm

    T. Kato, Growth properties of solutions of the reduced wave equation with a variable coefficient, Comm. Pure Appl. Math., 12 (1959), 403–425

    work page 1959

  10. [10]

    Kenig, A

    C. Kenig, A. Ruiz, and C. Sogge, Uniform Sobolev inequalities and unique continuation for second order constant coefficient differential operators, Duke Math. J., 55 (1987), 329–347

    work page 1987

  11. [11]

    Eskin, Lectures on Linear Partial Differential Equations, American Mathematical Soc., Providence, RI, 2011

    G. Eskin, Lectures on Linear Partial Differential Equations, American Mathematical Soc., Providence, RI, 2011

    work page 2011

  12. [12]

    Ionescu and D

    A. Ionescu and D. Jerison, On the absence of positive eigenvalues of Schr¨ odinger operators with rough potentials, Geom. Funct. Anal., 13 (2003), 1029–1081

    work page 2003

  13. [13]

    Lunardi, Interpolation Theory, Edizioni della Normale Pisa, 1999

    A. Lunardi, Interpolation Theory, Edizioni della Normale Pisa, 1999. WELL-POSEDNESS OF THE HELMHOLTZ EQUATION 37

    work page 1999

  14. [14]

    J. Li, H. Liu, and S. Ma, Determining a random Schr¨ odinger operator: both potential and source are random, Comm. Math. Phys., 381 (2021), 527–556

    work page 2021

  15. [15]

    P. Li, X. Yao, and Y. Zhao, The scattering resonances for Schr¨ odinger-type operators with unbounded potentials, SIAM J. Math. Anal., 56 (2024), 2149–2170

    work page 2024

  16. [16]

    Lassas, L

    M. Lassas, L. P¨ aiv¨ arinta, and E. Saksman, Inverse scattering problem for a two dimensional random potential, Comm. Math. Phys., 279 (2008), 669–703

    work page 2008

  17. [17]

    P¨ aiv¨ arinta, Analytic methods for inverse scattering theory, New Analytic and Geometric Methods in Inverse Problems, 165–185, Springer, Berlin, 2004

    L. P¨ aiv¨ arinta, Analytic methods for inverse scattering theory, New Analytic and Geometric Methods in Inverse Problems, 165–185, Springer, Berlin, 2004

    work page 2004

  18. [18]

    Reed and B

    M. Reed and B. Simon, Methods of Modern Mathematical Physics, Academic Press, 1972

    work page 1972

  19. [19]

    Simon, On positive eigenvalues of one body Schr¨ odinger operators, Comm

    B. Simon, On positive eigenvalues of one body Schr¨ odinger operators, Comm. Pure Appl. Math., 22 (1969), 531–538

    work page 1969

  20. [20]

    Sylvester and G

    J. Sylvester and G. Uhlmann, A global uniqueness theorem for an inverse boundary value problem, Ann. Math., 125 (1987), 153–169

    work page 1987

  21. [21]

    Triebel, Interpolation Theory, Function Spaces, Differential Operators, North-Holland, Amsterdam, 1978

    H. Triebel, Interpolation Theory, Function Spaces, Differential Operators, North-Holland, Amsterdam, 1978

    work page 1978

  22. [22]

    Triebel, Theory of Function Spaces, Birkh¨ auser Basel, 1983

    H. Triebel, Theory of Function Spaces, Birkh¨ auser Basel, 1983

    work page 1983

  23. [23]

    Triebel, Theory of Function Spaces III, Birkh¨ auser Basel, 2006

    H. Triebel, Theory of Function Spaces III, Birkh¨ auser Basel, 2006. SKLMS, ICMSEC, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Bei- jing 100190, China Email address:lipeijun@lsec.cc.ac.cn Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China Email address:steven00931002@hotmail.com

    work page 2006