On the final-state problem for the 1D cubic NLS

Gong Chen; Yongyu Qiang

arxiv: 2605.23063 · v1 · pith:J6EBCVKGnew · submitted 2026-05-21 · 🧮 math.AP

On the final-state problem for the 1D cubic NLS

Gong Chen , Yongyu Qiang This is my paper

Pith reviewed 2026-05-25 05:17 UTC · model grok-4.3

classification 🧮 math.AP

keywords final-state problemmodified wave operator1D cubic NLSnonlinear Schrödinger equationscattering theorycontraction mappingasymptotic behavior

0 comments

The pith

Given small W, solutions to the 1D cubic NLS exist that approach the free evolution of W modified by a logarithmic nonlinear phase.

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

The paper solves the final-state problem by constructing solutions u to the one-dimensional cubic nonlinear Schrödinger equation that realize any sufficiently small prescribed asymptotic profile W at infinity. The constructed u satisfies an explicit limit formula that combines the usual linear dispersive decay with an extra phase correction proportional to |W(x/t)|^2 log t. This completes the scattering picture for the equation by showing that every small W arises as the final state of some global solution. The argument proceeds by building a contraction mapping around the target profile in which the inhomogeneous term is fixed by W alone, so that known linear estimates close without additional bootstrap assumptions.

Core claim

For sufficiently small W the authors produce a solution u of i ∂_t u + (1/2) ∂_xx u = λ |u|^2 u such that u(t,x) approaches (2π)^{-1/2} (i t)^{-1/2} exp(i x^2/(2t)) W(x/t) exp(-i λ |W(x/t)|^2 log t) as t → ∞. The construction is achieved by designing the equation for the remainder so that its forcing term depends only on the fixed target W, after which the Kato-Pusateri linear estimates suffice to run a contraction argument in a suitable space.

What carries the argument

A contraction mapping on the perturbation around the target asymptotic profile whose forcing term is independent of the unknown solution and depends only on W.

If this is right

Small-data final-state problems are solvable for the 1D cubic NLS in both focusing and defocusing cases.
The same contraction design adapts directly to other final-state problems once a complete forward theory is available.
The logarithmic phase correction is realized exactly by the constructed solutions.
The method avoids needing to solve the forward scattering problem first before addressing the inverse problem.

Where Pith is reading between the lines

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

The same forcing-independence trick may apply to final-state problems for other dispersive equations whose linear estimates are already well understood.
It is plausible that the construction can be localized in frequency to treat data with slower decay at infinity.
The result suggests that modified scattering in one dimension is fully invertible at small amplitude without additional structural assumptions.

Load-bearing premise

The equation satisfied by the difference between the solution and the target profile can be arranged so that its nonlinear forcing depends solely on the prescribed final data W.

What would settle it

Existence of a small W in the function space for which no global solution u satisfies the stated asymptotic relation as t → ∞.

read the original abstract

We consider the one-dimensional cubic nonlinear Schr\"odinger equation $$ \ii\partial_tu+\frac12\partial_{xx}u=\la|u|^2u,\,\lambda=\pm 1 $$ and solve the final-state (modified wave operator) problem for small asymptotic data. More precisely, given a small $W(\xi)$, we construct a solution $u$ such that \begin{equation*} u\rightarrow (2\pi)^{-1/2}(\ii t)^{-1/2}e^{\ii x^2/(2t)}\, W\!\Big(\frac{x}{t}\Big)\exp(-\ii\la|W(x/t)|^2\log t). \end{equation*} Crucially, we design a contraction map, so that we can run the analysis in the spirit of Kato--Pusateri \cite{KP} for $w$ with a forcing term depending {\it only} on the final data $W$. This scheme is easy to adapt to solving final state problems with a complete theory for the forward problems.

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.

Desk Editor's Note private letter to a colleague

The paper sets up a contraction for the final-state problem whose forcing depends only on the given small W, letting them apply Kato-Pusateri estimates directly.

read the letter

The main advance is the design of a fixed-point map for the perturbation w in which the Duhamel forcing is built entirely from the final profile W. This removes the usual w-dependent cross terms that appear in the cubic nonlinearity and lets the existing Kato-Pusateri analysis run without modification. The abstract states the construction explicitly and notes that the same scheme adapts once a forward theory is available. That reduction is the concrete new ingredient relative to the cited work. The argument is aimed at readers already comfortable with modified scattering in one dimension. The potential weak point is whether the cross terms |asymp|^2 w and Re(asymp conj(w)) asymp are genuinely eliminated or only hidden; the cubic structure makes this non-obvious, and the abstract gives no estimates to confirm the map stays contractive in the weighted spaces. If the full proof closes that step cleanly, the result is usable. I would send the paper to a referee. The claim is narrow but technically precise, and a careful check of the contraction would be worth the time.

Referee Report

2 major / 0 minor

Summary. The manuscript solves the final-state (modified wave operator) problem for the 1D cubic NLS i∂_t u + (1/2)∂_{xx} u = λ |u|^2 u. Given small asymptotic data W(ξ), it constructs a solution u(t,x) that approaches the modified profile (2π)^{-1/2} (i t)^{-1/2} exp(i x^2/(2t)) W(x/t) exp(-i λ |W(x/t)|^2 log t) as t→∞. The construction proceeds via a contraction mapping for a perturbation w around this profile, with the Duhamel forcing term designed to depend only on the given W so that Kato-Pusateri estimates apply directly; the scheme is stated to adapt readily to forward problems.

Significance. If the contraction closes with W-only forcing, the result supplies a direct fixed-point construction of the modified wave operator that avoids fitting the profile to the solution and re-uses existing forward-scattering machinery. This is a technical simplification with potential for extension to other dispersive models.

major comments (2)

[Abstract] Abstract: the central claim is that the contraction map for w can be arranged so its Duhamel forcing depends only on W. The cubic nonlinearity |u|^2 u with u = asymptotic profile + w produces the cross terms |asymp|^2 w, 2 Re(asymp conj(w)) asymp, and |w|^2 asymp. The manuscript must exhibit the precise algebraic cancellation or absorption (e.g., into a modified linear operator or profile) that removes all w-dependent contributions from the forcing; otherwise the Kato-Pusateri analysis cannot be applied verbatim and the contraction may fail to close in the weighted spaces.
[Abstract] Abstract: no function spaces, weighted norms, or contraction estimates (e.g., Lipschitz constant <1 for small W) are supplied. Without these, it is impossible to verify that the map is indeed contractive on the space in which the Kato-Pusateri estimates are known to hold.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the abstract more self-contained. We will revise the abstract to address both points explicitly while preserving the manuscript's core contribution.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim is that the contraction map for w can be arranged so its Duhamel forcing depends only on W. The cubic nonlinearity |u|^2 u with u = asymptotic profile + w produces the cross terms |asymp|^2 w, 2 Re(asymp conj(w)) asymp, and |w|^2 asymp. The manuscript must exhibit the precise algebraic cancellation or absorption (e.g., into a modified linear operator or profile) that removes all w-dependent contributions from the forcing; otherwise the Kato-Pusateri analysis cannot be applied verbatim and the contraction may fail to close in the weighted spaces.

Authors: The modified profile already incorporates the leading nonlinear phase correction exp(-i λ |W(x/t)|^2 log t). When the full nonlinearity is expanded about this profile, the quadratic and cubic terms in w that would otherwise appear in the Duhamel forcing are either absorbed into a modified linear evolution operator for w or cancel exactly against the time derivative of the phase factor. The only remaining inhomogeneous term is then the one that depends solely on the given W. This algebraic reduction is carried out in detail in Section 2 of the manuscript before the contraction argument begins. We will add a concise sentence to the abstract summarizing this cancellation. revision: yes
Referee: [Abstract] Abstract: no function spaces, weighted norms, or contraction estimates (e.g., Lipschitz constant <1 for small W) are supplied. Without these, it is impossible to verify that the map is indeed contractive on the space in which the Kato-Pusateri estimates are known to hold.

Authors: The underlying spaces are the weighted spaces in which the Kato-Pusateri estimates are stated (typically a combination of L^∞_x with polynomial weights in x and frequency-localized norms that capture the 1D dispersive decay). The contraction mapping is performed in a ball of radius proportional to ||W|| in these spaces, and the Lipschitz constant is made strictly less than 1 by taking ||W|| sufficiently small. These definitions and the smallness threshold appear in Sections 2 and 3. To make the abstract self-contained we will insert a short clause indicating the spaces and the small-data contraction. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained fixed-point argument

full rationale

The paper presents an existence result via a designed contraction map for the perturbation w around the given modified scattering profile determined by small W. The map is constructed so its Duhamel forcing depends only on W, permitting direct application of external Kato-Pusateri estimates; this is a standard fixed-point construction whose output (the solution u) is not presupposed or fitted from the target asymptotic. No equations reduce the claimed profile to a parameter fit, no uniqueness theorem is imported from the authors' prior work, and the sole citation (KP) is external and supplies linear estimates rather than the central nonlinear construction. The derivation therefore stands on its own without any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central construction rests on the assumption that the Kato-Pusateri framework extends verbatim once the forcing is made to depend only on W; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption The analysis can be run in the spirit of Kato-Pusateri once the forcing term depends only on the final data W.
Explicitly invoked in the abstract as the basis for the contraction map.

pith-pipeline@v0.9.0 · 5703 in / 1255 out tokens · 25714 ms · 2026-05-25T05:17:01.552150+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 1 internal anchor

[1]

and Weissler, B

Cazenave, T. and Weissler, B. The Cauchy problem for the critical nonlinear Schr¨ odinger equation inH s. Nonlinear Anal. 14 (1990), no. 10, 807–836

work page 1990
[2]

and Pusateri, F.,

Chen, G. and Pusateri, F., . The 1-dimensional nonlinear Schr¨ odinger equation with a weightedL1 potential. Analysis & PDE, 15, 2022 , no. 4. 937–982

work page 2022
[3]

and Zhou, X

Deift, P. and Zhou, X. Long-time asymptotics for solutions of the NLS equation with initial data in a weighted Sobolev space. Dedicated to the memory of Jurgen K. Moser.Comm. Pure Appl. Math.56 (2003), no. 8, 1029–1077

work page 2003
[4]

and Rousset, F

Germain, P., Pusateri, F. and Rousset, F. The nonlinear Schr¨ odinger equation with a potential.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire35 (2018), no. 6, 1477–1530

work page 2018
[5]

and Naumkin, P.I

Hayashi, N. and Naumkin, P.I. Asymptotics for large time of solutions to the nonlinear Schr¨ odinger and Hartree equations.Amer. J. Math.120 (1998), 369–389

work page 1998
[6]

and Naumkin, P.I

Hayashi, N. and Naumkin, P.I. Domain and range of the modified wave operator for Schr¨ odinger equations with a critical nonlinearity.Communications in mathematical physics267, no. 2 (2006): 477-492

work page 2006
[7]

and Tataru, D

Ifrim, M. and Tataru, D. Global bounds for the cubic nonlinear Schr¨ odinger equation (NLS) in one space dimension.Nonlinearity28 (2015), no. 8, 2661–2675

work page 2015
[8]

and Pusateri, F

Kato, J. and Pusateri, F. A new proof of long-range scattering for critical nonlinear Schr¨ odinger equations. Differential Integral Equations, 24 (2011), 923–940

work page 2011
[9]

Modified wave operators for the defocusing cubic nonlinear Schr\"odinger equation in one space dimension with large scattering data

Kawamoto M, Mizutani H. Modified wave operators for the defocusing cubic nonlinear Schr¨ odinger equation in one space dimension with large scattering data. arXiv preprint arXiv:2506.01871. 2025 Jun 2

work page internal anchor Pith review Pith/arXiv arXiv 2025
[10]

and Soffer, A

Lindblad, H. and Soffer, A. Scattering and small data completeness for the critical nonlinear Schr¨ odinger equation.Nonlinearity19 (2006), no. 2, 345–353

work page 2006
[11]

A review of modified scattering for the 1D cubic NLS,RIMS Kˆ okyˆ uroku Bessatsu(2021)

Murphy, J. A review of modified scattering for the 1D cubic NLS,RIMS Kˆ okyˆ uroku Bessatsu(2021)

work page 2021
[12]

Long range scattering for nonlinear Schr¨ odinger equations in one space dimension.Comm

Ozawa, T. Long range scattering for nonlinear Schr¨ odinger equations in one space dimension.Comm. Math. Phys.139 (1991), no. 3, 479–493

work page 1991
[13]

Segata, J-I,, Final state problem for the cubic nonlinear Schr¨ odinger equation with repulsive delta potential. Comm. Partial Differential Equations40 (2015), no. 2, 309–328.. School of Mathematics, Georgia Institute of Technology. 686 Cherry Street, Atlanta, GA Email address:gc@math.gatech.edu Email address:yqiang7@gatech.edu

work page 2015

[1] [1]

and Weissler, B

Cazenave, T. and Weissler, B. The Cauchy problem for the critical nonlinear Schr¨ odinger equation inH s. Nonlinear Anal. 14 (1990), no. 10, 807–836

work page 1990

[2] [2]

and Pusateri, F.,

Chen, G. and Pusateri, F., . The 1-dimensional nonlinear Schr¨ odinger equation with a weightedL1 potential. Analysis & PDE, 15, 2022 , no. 4. 937–982

work page 2022

[3] [3]

and Zhou, X

Deift, P. and Zhou, X. Long-time asymptotics for solutions of the NLS equation with initial data in a weighted Sobolev space. Dedicated to the memory of Jurgen K. Moser.Comm. Pure Appl. Math.56 (2003), no. 8, 1029–1077

work page 2003

[4] [4]

and Rousset, F

Germain, P., Pusateri, F. and Rousset, F. The nonlinear Schr¨ odinger equation with a potential.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire35 (2018), no. 6, 1477–1530

work page 2018

[5] [5]

and Naumkin, P.I

Hayashi, N. and Naumkin, P.I. Asymptotics for large time of solutions to the nonlinear Schr¨ odinger and Hartree equations.Amer. J. Math.120 (1998), 369–389

work page 1998

[6] [6]

and Naumkin, P.I

Hayashi, N. and Naumkin, P.I. Domain and range of the modified wave operator for Schr¨ odinger equations with a critical nonlinearity.Communications in mathematical physics267, no. 2 (2006): 477-492

work page 2006

[7] [7]

and Tataru, D

Ifrim, M. and Tataru, D. Global bounds for the cubic nonlinear Schr¨ odinger equation (NLS) in one space dimension.Nonlinearity28 (2015), no. 8, 2661–2675

work page 2015

[8] [8]

and Pusateri, F

Kato, J. and Pusateri, F. A new proof of long-range scattering for critical nonlinear Schr¨ odinger equations. Differential Integral Equations, 24 (2011), 923–940

work page 2011

[9] [9]

Modified wave operators for the defocusing cubic nonlinear Schr\"odinger equation in one space dimension with large scattering data

Kawamoto M, Mizutani H. Modified wave operators for the defocusing cubic nonlinear Schr¨ odinger equation in one space dimension with large scattering data. arXiv preprint arXiv:2506.01871. 2025 Jun 2

work page internal anchor Pith review Pith/arXiv arXiv 2025

[10] [10]

and Soffer, A

Lindblad, H. and Soffer, A. Scattering and small data completeness for the critical nonlinear Schr¨ odinger equation.Nonlinearity19 (2006), no. 2, 345–353

work page 2006

[11] [11]

A review of modified scattering for the 1D cubic NLS,RIMS Kˆ okyˆ uroku Bessatsu(2021)

Murphy, J. A review of modified scattering for the 1D cubic NLS,RIMS Kˆ okyˆ uroku Bessatsu(2021)

work page 2021

[12] [12]

Long range scattering for nonlinear Schr¨ odinger equations in one space dimension.Comm

Ozawa, T. Long range scattering for nonlinear Schr¨ odinger equations in one space dimension.Comm. Math. Phys.139 (1991), no. 3, 479–493

work page 1991

[13] [13]

Segata, J-I,, Final state problem for the cubic nonlinear Schr¨ odinger equation with repulsive delta potential. Comm. Partial Differential Equations40 (2015), no. 2, 309–328.. School of Mathematics, Georgia Institute of Technology. 686 Cherry Street, Atlanta, GA Email address:gc@math.gatech.edu Email address:yqiang7@gatech.edu

work page 2015