{"id":"23a0f3cd-452a-438a-bb2c-5ee320892bb0","arxiv_id":"1908.04890","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Small nonlinear Helmholtz equations have solutions with prescribed incoming and outgoing wave patterns at infinity, on Euclidean space and asymptotically conic manifolds, under a dimension-degree condition.","lead":"This paper proves that small nonlinear Helmholtz equations have solutions whose behavior at infinity is described by an incoming and an outgoing wave, on Euclidean space and on asymptotically conic manifolds. It gives a new existence and asymptotic expansion result for standing waves of nonlinear Schrödinger and wave equations, using modern microlocal analysis.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4.1's asymptotic expansion uses regularity that the contraction argument does not provide: Lemma 4.2 assumes H^{2,l;1,k+2}_+ (or at least H^{2,l;1,k}_+ for a corrected proof), while the fixed point is only in X^{2,l;1,k}_+.","rationale":"The reader's weakest_assumption correctly identifies the mismatch between the k angular regularity supplied by the contraction on X^{2,l;1,k}_+ and the k+2 angular regularity assumed in Lemma 4.2. My stress-test confirms this is the central unproven step, but sharpens it in two ways. First, Proposition 4.1 cannot literally apply Lemma 4.2 to u because u contains the incoming term u_-, which violates the M_+ module condition; the lemma must be applied to w = u − u_-, with the right-hand side changed to N[u] − Pu_-. Second, the proof of Lemma 4.2 appears to go through with k instead of k+2: the terms that used k+2, namely [P,B]w and r^{-2}Qw_+, only need k angular module derivatives to land in H^{0,1/2+ε;0,k}_+. If that check succeeds, the gap is cosmetic; if it fails, the central theorem is unproven as written. Since the issue is localized and no independent evidence of a false conclusion exists, the reader's CONDITIONAL verdict remains appropriate. I would not upgrade to REJECT because the contraction, algebra, and microlocal framework are otherwise internally consistent, and the missing step is a concrete estimate that can be supplied or refuted by inspection of (4.15)–(4.18).","tokens_in":42113,"tokens_out":15522,"duration_ms":156639,"concrete_test":"Independently redo the proof of Lemma 4.2 under the weaker hypothesis w ∈ H^{2,l;1,k}_+ instead of H^{2,l;1,k+2}_+, taking F = N[u] − Pu_- and checking the terms in (4.15)–(4.18). In particular, verify that [P,B]w = r^{-2}Aw with A ∈ M_+ needs only Aw ∈ H^{2,l;0,k}_+, and that r^{-2}Qw_+ needs only {D_y^β w ∈ H^{2,l}: |β| ≤ k}; both follow from w ∈ H^{2,l;1,k}_+. Then check that Dr \\tilde w_+ ∈ r^{-1/2-ε} L^2(([R,∞), dr; H^k(∂M)) and that integration to infinity yields b ∈ H^k(∂M). If this weakened lemma holds, the theorem's expansion is valid after a two-line correction; if any term genuinely requires |β| = k+2, the stated asymptotics lack a proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Proposition 4.1 does not match the regularity produced by the contraction argument. The fixed point is w ∈ X^{2,l;1,k}_+, so u = u_- + w has only k angular module derivatives, and u itself does not lie in any H^{2,l;1,k}_+ space: the incoming term u_- satisfies r(D_r−λ)u_- ≈ -2λ r u_-, which is not in H^{2,l}. Lemma 4.2, however, assumes w ∈ H^{2,l;1,k+2}_+ and Pw = F ∈ H^{0,1/2+ε;1,k}_+. Proposition 4.1 says 'the proof is therefore completed by the following lemma' after only showing Pu = N[u] ∈ H^{0,3/4;1,k}_+, with no argument supplying u ∈ H^{2,l;1,k+2}_+, or w ∈ H^{2,l;1,k+2}_+. If one instead applies the lemma to w with F = N[u] − Pu_-, the right-hand side is in H^{0,1/2+ε;1,k}_+, but w has only H^{2,l;1,k}_+ regularity. This gap is load-bearing because the outgoing coefficient b ∈ H^k and the O(r^{-ε}) remainder in (4.11) are obtained solely through Lemma 4.2. The contraction and algebra arguments are otherwise coherent, so the issue is localized rather than fatal, but as written the asymptotic expansion is not established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves existence and asymptotic expansion of small solutions to nonlinear Helmholtz equations (Δ−λ²)u = N[u] on R^n and on asymptotically conic manifolds. Under the condition (p−1)(n−1)/2 > 2 and k > (n−1)/2, the authors claim that for every incoming datum f ∈ H^{k+2}(S^{n−1}) of sufficiently small norm there exists a solution u with asymptotic expansion u(r,ω) = r^{−(n−1)/2}(e^{−iλr}f(ω) + e^{iλr}g(ω) + O(r^{−ε′})) for some g ∈ H^k(S^{n−1}). The proof develops anisotropic Sobolev spaces with module regularity, establishes the invertibility of P = Δ−λ² between such spaces (Theorem 2.6), proves multiplicative (algebra) properties, and then runs a contraction mapping argument on X^{2,ℓ;1,k}_+ for w = u − u_−, where u_− carries the prescribed incoming wave. The asymptotics of the fixed point are then extracted via Lemma 4.2 in Proposition 4.1.","tokens_in":42383,"tokens_out":15160,"duration_ms":138550,"significance":"If the main theorem holds, the paper provides a substantial generalization of Gutierrez's nonlinear Helmholtz eigenfunctions to broad nonlinearities, including derivative nonlinearities, and to the general setting of asymptotically conic manifolds. The microlocal framework, especially the module-regularity spaces and the detailed proof of the resolvent mapping properties in Theorem 2.6, is a valuable technical contribution. The paper also gives a clear parametrization of small nonlinear eigenfunctions by their incoming radiation pattern, with uniqueness in a natural space. These strengths make the central claim worth pursuing. However, as written, the proof of the asymptotic expansion has a significant gap that affects the main theorems.","major_comments":[{"comment":"The proof of the asymptotic expansion (4.11) applies Lemma 4.2 to the fixed point w, but Lemma 4.2 assumes w ∈ H^{2,ℓ;1,k+2}_+, while the contraction argument in §4.2 produces only w ∈ X^{2,ℓ;1,k}_+, i.e., w ∈ H^{2,ℓ;1,k}_+ with Pw ∈ H^{0,ℓ+1;1,k}_+. The proof of Lemma 4.2 explicitly requires the N-module regularity of order at least 2 for the tangential derivatives (see the sentence after (4.18)), so the k+2 hypothesis is not superfluous. The right-hand side N[u_−+w] is only shown to lie in H^{0,3/4;1,k}_+ (discussion below (4.7)), and no elliptic or propagation estimate in the paper upgrades w to H^{2,ℓ;1,k+2}_+. Consequently, the existence of the outgoing coefficient b ∈ H^k and the O(r^{−ε′}) remainder in (4.11) is not established by the written proof. Since (4.11) is exactly the asymptotic statement in Theorems 1.1 and 1.4, this gap is load-bearing.","section":"§4.3, Proposition 4.1 and Lemma 4.2"}],"minor_comments":[{"comment":"In the displayed mapping property (2.44), the domain of the resolvent should be H^{s−2,ℓ+1;κ,k}_±, not H^{2−s,ℓ+1;κ,k}_±; as written the indices are inconsistent with (2.43).","section":"§2.3, Eq. (2.44)"},{"comment":"In the contraction estimate, the norm on the left is said to be taken in X^{2,ℓ;1,k}_+ while the difference w1−w2 is measured in H^{2,ℓ;1,k}_+; this is acceptable since the X norm controls the H norm, but the wording should be made explicit to avoid confusion.","section":"§4.2, Eq. (4.9)"},{"comment":"The title contains an unintended space in 'HELMHOL TZ', and a similar spacing issue appears in the abstract; these should be corrected in revision.","section":"Title and abstract"},{"comment":"The asymmetry between the regularity assumptions on w (H^{2,ℓ;1,k+2}_+) and on F (H^{0,1/2+ε;1,k}_+) is surprising and should be discussed; if the lemma is to be retained in this form, the authors should explain why k+2 is natural rather than merely sufficient for the proof.","section":"§4.3, Lemma 4.2"}],"recommendation":"major_revision","confidential_remarks":"The gap identified in Proposition 4.1 is real and central, but the surrounding machinery appears sound and the issue is likely fixable by either weakening the hypothesis of Lemma 4.2 through a more careful microlocal argument, or by adding a separate bootstrap/regularity step. I do not recommend rejection, but the paper should not be accepted in its current form. The dependence on prior work of the authors and collaborators (e.g., [12], [32]) is substantial but the paper does provide detailed proofs of the key mapping properties, which mitigates concerns about novelty and self-containedness."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the thing about arXiv:1908.04890. The machinery is impressive and the existence result is likely correct, but the advertised asymptotic expansion has a regularity gap that, as written, is not justified.\n\nWhat's actually new: Gutiérrez only handled the cubic case in dimensions 3 and 4. This paper covers all integer p,n satisfying (p-1)(n-1)/2 > 2, allows derivative nonlinearities, and works on asymptotically conic manifolds. That is a substantial step. The proof strategy is coherent: they set up Vasy's anisotropic Sobolev spaces with module regularity, prove an invertibility result (Theorem 2.6) with remarkable care, and run a contraction argument in X^{2,l;1,k}_+. The algebra estimates in Section 2.5 are detailed and plausible.\n\nThe soft spot is Proposition 4.1. The contraction produces a fixed point w only in X^{2,l;1,k}_+, i.e., with angular regularity k. Lemma 4.2, which is supposed to give the outgoing coefficient b, assumes w is in H^{2,l;1,k+2}_+. The paper jumps from 'we know Pu=N[u] is in H^{0,3/4;1,k}_+' to 'the proof is completed by the lemma,' but the lemma's hypothesis about two extra angular derivatives is not verified anywhere. In fact, the proof of the lemma itself uses those two extra derivatives when handling the term r^{-2} Q w_+: a second-order tangential operator needs two more angular derivatives on w to stay in H^{0,1/2+ε;0,k}_+. So the asymptotic expansion (4.11) is not established as written. The existence of w is likely fine; the missing piece is a bootstrap to gain angular regularity from the equation, which seems plausible since P w has angular regularity k and P is elliptic in the tangential directions. But that bootstrap is not in the paper.\n\nSo my verdict: the central existence theorem is probably right and the paper is worth refereeing, but the referee should ask the authors to fix the regularity gap before publication. It is a localized problem, not a fatal flaw in the overall approach.","headline":"New range of cases and a serious microlocal framework, but the asymptotic expansion rests on an unproven angular regularity gain.","tokens_in":43037,"tokens_out":6014,"would_cite":false,"duration_ms":57005,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J61","35B40","35P25","58J40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Small incoming radiation patterns at infinity determine nonlinear Helmholtz eigenfunctions with a two-wave asymptotic expansion, on Euclidean space and asymptotically conic manifolds.","keywords":["nonlinear Helmholtz equation","asymptotically conic manifolds","anisotropic Sobolev spaces","module regularity","radial point estimates","scattering data","standing waves","asymptotic expansion"],"falsifier":"Take the fixed point $w$ built in Section 4.2 for a concrete nonlinearity, such as $N[u]=|u|^{p-1}u$ on $\\mathbb R^n$ with admissible $n,p$, and test whether $w\\in H^{2,\\ell;1,k+2}_+$ rather than only $H^{2,\\ell;1,k}_+$. If an admissible small $f$ yields a fixed point whose angular regularity stops at $k$, then Lemma 4.2 cannot be applied and the stated $O(r^{-\\epsilon'})$ expansion with $g\\in H^k$ does not follow. Conversely, an estimate showing that the outgoing resolvent $R(\\lambda+i0)$ gains two angular derivatives on these module spaces would close the gap and make the expansion unconditional.","tokens_in":41837,"feed_emoji":"🌊","tokens_out":9955,"duration_ms":89172,"temperature":0.7,"pith_summary":"This paper proves that nonlinear Helmholtz equations $(\\Delta-\\lambda^2)u=N[u]$, where $N$ is a sum of monomials of degree at least $p$ in $u$, $\\bar u$, and derivatives up to order two, admit small solutions whose behavior at infinity is fixed by incoming data. Under the condition $(p-1)(n-1)/2>2$ and $k>(n-1)/2$, every sufficiently small $f\\in H^{k+2}(\\mathbb S^{n-1})$ is the incoming coefficient of a solution $u$ with asymptotic form $u(r,\\omega)=r^{-(n-1)/2}(e^{-i\\lambda r}f(\\omega)+e^{+i\\lambda r}g(\\omega)+O(r^{-\\epsilon}))$ for some $g\\in H^k(\\mathbb S^{n-1})$. The same statement holds when Euclidean space is replaced by an asymptotically conic manifold. If the paper is right, small nonlinear eigenfunctions inherit the linear scattering parametrization by radiation patterns at infinity, and for phase-equivariant nonlinearities they give time-periodic standing waves of nonlinear Schrodinger and wave equations.","feed_headline":"Nonlinear Helmholtz waves exist for small prescribed incoming data","feed_subtitle":"Each small incoming pattern yields an eigenfunction with fixed two-wave asymptotics, on Euclidean and conic spaces.","key_machinery":"The load-bearing object is a family of anisotropic Sobolev spaces $H^{s,\\ell;\\kappa,k}_+$ with module regularity: on top of $s$ ordinary derivatives and $\\ell$ orders of spatial decay, functions have $\\kappa$ derivatives with respect to a module $\\mathcal M_+$ of operators that annihilate the outgoing oscillation $e^{i\\lambda r}$, and $k$ angular derivatives from a module $\\mathcal N$ of tangential operators. The Helmholtz operator $P=\\Delta_g+V-\\lambda^2$ is shown to be an isomorphism $P:X^{s,\\ell;\\kappa,k}_+\\to H^{s-2,\\ell+1;\\kappa,k}_+$, where $X^{s,\\ell;\\kappa,k}_+$ consists of functions in $H^{s,\\ell;\\kappa,k}_+$ whose image under $P$ has the stated regularity; the proof combines elliptic estimates, propagation of regularity along bicharacteristics, and radial-point estimates at the incoming and outgoing radial sets $R_\\pm$. An algebra property for these spaces, requiring $\\kappa\\ge1$ and $k\\ge(n-1)/2$, turns the nonlinear term into an element of the correct weighted space and provides the one-order decay gain encoded in $(p-1)(n-1)/2>2$.","core_discovery":"On the paper's own terms, the discovery is that the linear parametrization of Helmholtz eigenfunctions by their data on the sphere at infinity survives small nonlinear perturbations. Fix a nonlinearity $N$ that is a sum of monomials of degree at least $p$ in $u$, $\\bar u$, and derivatives up to order two, assume $(p-1)(n-1)/2>2$, and take $k>(n-1)/2$. Then each sufficiently small incoming pattern $f\\in H^{k+2}(\\mathbb S^{n-1})$ is the incoming coefficient of a solution $u$ of $(\\Delta-\\lambda^2)u=N[u]$ with $u(r,\\omega)=r^{-(n-1)/2}(e^{-i\\lambda r}f(\\omega)+e^{+i\\lambda r}g(\\omega)+O(r^{-\\epsilon'}))$ for some outgoing coefficient $g\\in H^k(\\mathbb S^{n-1})$. The same statement holds on asymptotically conic manifolds, with the sphere replaced by the boundary of the radial compactification. The proof produces the solution as a fixed point of a contraction on a space with module regularity, and uniqueness is shown among small solutions with the same leading incoming term.","pith_inferences":["The map $f\\mapsto g$ would constitute a nonlinear scattering matrix between Sobolev spaces on the sphere at infinity; composing it with the linear scattering relation could describe nonlinear reflection off metric or potential perturbations.","The gap between the fixed point in $H^{2,\\ell;1,k}_+$ and the $H^{2,\\ell;1,k+2}_+$ assumption of the expansion lemma is testable: a two-derivative angular smoothing estimate for the outgoing resolvent would remove the gap, while a counterexample fixed point with angular regularity exactly $k$ would invalidate the stated form of the expansion.","The threshold $(p-1)(n-1)/2>2$ is tied to the choice $\\kappa=1$; higher module regularity would change the decay bookkeeping and might reach the low-dimensional cases $n=3,4$ with $p=3$ that fall outside this paper's range."],"forward_implications":["Small nonlinear Helmholtz eigenfunctions are parametrized by incoming radiation patterns just as linear ones are, with the outgoing pattern determined by the incoming one.","For phase-equivariant nonlinearities such as $\\alpha|u|^{2q}u$, each such eigenfunction produces a global time-periodic standing wave of the nonlinear Schrodinger equation, despite the wave having no spatial decay.","The same existence and asymptotic expansion is valid on asymptotically conic manifolds, so the phenomenon is geometric and does not rely on Euclidean translation symmetry.","Prescribing small incoming data selects exactly one small nonlinear eigenfunction in the relevant weighted Sobolev space."],"supporting_citations":[{"why":"supplies the anisotropic Sobolev spaces and the invertibility theorem for the Helmholtz operator between them.","marker":"[32]"},{"why":"provides the radial-point estimates and the asymptotic expansion of linear Helmholtz eigenfunctions that define incoming and outgoing data.","marker":"[23]"},{"why":"introduces test modules and the positive commutator machinery used to prove module regularity estimates.","marker":"[12]"},{"why":"supplies the algebra lemma for anisotropic spaces that underpins the multiplicative property of the module-regularity spaces.","marker":"[13]"},{"why":"gives the first nonlinear Helmholtz eigenfunction results and the contraction-map template that this paper adapts.","marker":"[10]"},{"why":"demonstrates the same module-regularity strategy for a semilinear wave equation, providing the model for the nonlinear fixed-point argument.","marker":"[8]"}],"fun_headline_variants":["Small incoming data yield nonlinear Helmholtz eigenfunctions","Nonlinear Helmholtz solutions exist for small input patterns","Existence and asymptotics for nonlinear Helmholtz waves","Nonlinear eigenfunctions from small data on spheres and conic spaces","Contraction arguments prove nonlinear Helmholtz wave existence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The contraction mapping produces a fixed point with only $k$ orders of angular regularity, while the lemma that yields the outgoing coefficient $g$ assumes $k+2$ orders; the paper does not prove that the fixed point has those extra two angular derivatives.","fun_headline_variants_meta":{"raw":{"variants":["Small incoming data yield nonlinear Helmholtz eigenfunctions","Nonlinear Helmholtz solutions exist for small input patterns","Existence and asymptotics for nonlinear Helmholtz waves","Nonlinear eigenfunctions from small data on spheres and conic spaces","Contraction arguments prove nonlinear Helmholtz wave existence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000304,"raw_usage":{"total_tokens":1847,"prompt_tokens":1149,"completion_tokens":698,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":765,"completion_tokens_details":{"reasoning_tokens":621}},"tokens_in":765,"tokens_out":698,"duration_ms":7088,"temperature":1.0,"reasoning_tokens":621,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:30:21.929059+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the fixed point $w$ built in Section 4.2 for a concrete nonlinearity, such as $N[u]=|u|^{p-1}u$ on $\\mathbb R^n$ with admissible $n,p$, and test whether $w\\in H^{2,\\ell;1,k+2}_+$ rather than only $H^{2,\\ell;1,k}_+$. If an admissible small $f$ yields a fixed point whose angular regularity stops at $k$, then Lemma 4.2 cannot be applied and the stated $O(r^{-\\epsilon'})$ expansion with $g\\in H^k$ does not follow. Conversely, an estimate showing that the outgoing resolvent $R(\\lambda+i0)$ gains two angular derivatives on these module spaces would close the gap and make the expansion unconditional.","supporting_citations":[{"cited_title":"A minicourse on microlocal analysis for wave propagation","cited_arxiv_id":null,"evidence_quote":"supplies the anisotropic Sobolev spaces and the invertibility theorem for the Helmholtz operator between them."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the radial-point estimates and the asymptotic expansion of linear Helmholtz eigenfunctions that define incoming and outgoing data."},{"cited_title":"Spectral and scattering theory for symbolic po- tentials of order zero","cited_arxiv_id":null,"evidence_quote":"introduces test modules and the positive commutator machinery used to prove module regularity estimates."},{"cited_title":"Semilinear wave equations on asymptotically de Sitter, Kerr–de Sitter and Minkowski spacetimes","cited_arxiv_id":null,"evidence_quote":"supplies the algebra lemma for anisotropic spaces that underpins the multiplicative property of the module-regularity spaces."},{"cited_title":"Non trivialLq solutions to the Ginzburg-Landau equation","cited_arxiv_id":null,"evidence_quote":"gives the first nonlinear Helmholtz eigenfunction results and the contraction-map template that this paper adapts."},{"cited_title":"The Feynman propagator on perturbations of Minkowski space","cited_arxiv_id":null,"evidence_quote":"demonstrates the same module-regularity strategy for a semilinear wave equation, providing the model for the nonlinear fixed-point argument."}],"review_version":1}