Soliton resolution conjecture for the Benjamin-Ono equation: Explicit L^infty asymptotic error formula
Pith reviewed 2026-06-29 22:01 UTC · model grok-4.3
The pith
The soliton resolution conjecture holds for the Benjamin-Ono equation with explicit L^∞ error bounds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the soliton resolution conjecture for the Benjamin-Ono (BO) equation with an explicit error bound in the L^∞-norm. For the finite-order multisoliton case, the explicit L^∞-norm errors are bounded by O(|t|^{-1/4(1-1/2s)}) with initial data u0 ∈ H^{s,α}(R) for any s>1/2 and α≥1. For the infinite-order multisoliton case, the explicit L^∞-norm errors are bounded by O(|t|^{-1/3}) when u0 is expressed as an infinite sum of soliton profiles.
What carries the argument
Application of the Kato-Rellich theorem to reduce the resolution to an error estimate, together with construction of a trace-class operator that solves the inverse spectral problem for the Lax operator.
If this is right
- The L^∞ distance between the solution and the multisoliton profile decays at the stated algebraic rates.
- Initial data requirements are relaxed compared to earlier results that imposed extra moment conditions.
- The inverse spectral problem for the Lax operator is resolved by the trace-class operator construction.
- Explicit rates apply uniformly for both finite and infinite soliton sums under the given assumptions.
Where Pith is reading between the lines
- This explicit control may enable sharper analysis of long-time behavior in related integrable systems.
- Similar operator constructions could address open inverse problems in other Lax-pair integrable equations.
- Numerical simulations of the Benjamin-Ono equation could test the predicted decay exponents directly.
- The approach might generalize to remove implicit assumptions in soliton resolution for other dispersive models.
Load-bearing premise
The initial data either lies in the indicated Sobolev space or equals an exact infinite sum of soliton profiles, so that the Kato-Rellich theorem converts the resolution statement into a controllable error bound.
What would settle it
An initial datum in H^{s,α} for s>1/2 whose corresponding solution stays at a fixed positive L^∞ distance from every finite or infinite multisoliton sequence for arbitrarily large times.
read the original abstract
We prove the soliton resolution conjecture for the Benjamin-Ono (BO) equation with an explicit error bound in the $L^\infty$-norm. For the finite-order multisoliton case, the explicit $L^\infty$-norm errors are bounded by $\mathcal{O}(|t|^{-\frac{1}{4}(1-\frac{1}{2s})})$ with initial data $u_0 \in H^{s,\alpha}(\mathbb{R})$ for any $s>1/2$ and $\alpha \geqslant 1$. For the infinite-order multisoliton case, the explicit $L^\infty$-norm errors are bounded by $\mathcal{O}(|t|^{-1/3})$ when $u_0$ is expressed as an infinite sum of soliton profiles. Recently, Gassot, G\'erard, and Miller (arXiv:2601.10488, 2026) proved an implicit error bound in $H^1$-norm of the soliton resolution in the finite-order multisoliton case with $u_0 \in H^{1,1}\left( \mathbb{R} \right)$, requiring extra condition $x^2u_0(x) = c_0 + v_0(x), c_0\in \mathbb{R}, v_0(x) \in L^2(\mathbb{R})$. In the infinite-order multisoliton case, Gassot and G\'erard (arXiv:2603.15419, 2026) proved an implicit error bound in $L^\infty$-norm for the soliton resolution when $u_0$ is expressed as an infinite sum of soliton profiles. Notably, they highlighted the inverse spectral problem for the Lax operators as an interesting open problem. In order to address the soliton resolution with the explicit error in $L^\infty$-norm for finite/infinite-order multisoliton, there exist many open problems concerning initial conditions, error accuracy, and other related issues. Solving these open problems is the central objective of our work. In order to enlarge the initial data space and remove the extra conditions, we employ Kato-Rellich theorem to transform the soliton resolution conjecture into an error estimation problem between the sequence and the solution. It is worth noting that we solve the open inverse spectral problem for the Lax operator by constructing a trace-class operator based on the discrete spectrum.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to prove the soliton resolution conjecture for the Benjamin-Ono equation, establishing explicit L^∞ asymptotic error bounds. For finite-order multisoliton solutions with u0 ∈ H^{s,α}(R) (s > 1/2, α ≥ 1), the error is O(|t|^{-(1/4)(1-1/(2s))}). For the infinite-order case where u0 is an infinite sum of soliton profiles, the error is O(|t|^{-1/3}). The approach invokes the Kato-Rellich theorem to recast the resolution statement as an error estimate between the solution and soliton sequence, and constructs a trace-class operator to resolve the inverse spectral problem for the Lax operator, thereby enlarging the admissible initial-data space and removing extra conditions such as x²u0 = c0 + v0.
Significance. If the central claims are correct, the work would supply the first explicit L^∞ error formulas for BO soliton resolution, strengthening the recent implicit H¹ and L^∞ bounds of Gassot–Gérard–Miller. The explicit rates, the removal of auxiliary decay conditions via Kato-Rellich, and the asserted solution of the inverse-spectral problem via a trace-class operator would constitute a concrete advance for integrable dispersive equations.
major comments (2)
- [Abstract] Abstract: the statement that the Kato-Rellich theorem converts the resolution conjecture into a controllable error estimate between the solution and the soliton sequence is load-bearing for both the finite- and infinite-order claims, yet the abstract supplies neither the precise operator domain nor the resulting a-priori estimate that yields the displayed decay exponents; without these steps the explicit rates cannot be verified.
- [Abstract] Abstract: the construction of a trace-class operator that solves the inverse spectral problem for the Lax operator is asserted to remove the extra condition x²u0 = c0 + v0 and to handle the infinite-order case, but no explicit form of the operator, its trace-class property, or the spectral mapping is given; this step is central to the enlarged initial-data space and must be checked in detail.
minor comments (2)
- [Abstract] The citation arXiv:2601.10488, 2026 contains an inconsistent year; the arXiv identifier suggests 2024 or 2025.
- [Abstract] Notation H^{s,α}(R) is used without an explicit definition of the weight α; a short paragraph recalling the precise norm would improve readability.
Simulated Author's Rebuttal
We thank the referee for their detailed reading and for highlighting the need for greater precision in the abstract. The full technical development of the Kato-Rellich application and the trace-class operator construction appears in the body of the manuscript. We address each major comment below and indicate where revisions, if any, will be made.
read point-by-point responses
-
Referee: [Abstract] Abstract: the statement that the Kato-Rellich theorem converts the resolution conjecture into a controllable error estimate between the solution and the soliton sequence is load-bearing for both the finite- and infinite-order claims, yet the abstract supplies neither the precise operator domain nor the resulting a-priori estimate that yields the displayed decay exponents; without these steps the explicit rates cannot be verified.
Authors: The abstract is a concise summary; the precise operator domain (the Lax operator acting on H^{s,α} with s > 1/2) and the a-priori L^∞ error estimate obtained via Kato-Rellich perturbation are derived in detail in Sections 3–4. These steps produce the stated decay rate O(|t|^{-(1/4)(1-1/(2s))}) for the finite-order case and O(|t|^{-1/3}) for the infinite-order case. We will add one sentence to the abstract indicating the operator domain and the resulting error bound to improve readability. revision: partial
-
Referee: [Abstract] Abstract: the construction of a trace-class operator that solves the inverse spectral problem for the Lax operator is asserted to remove the extra condition x²u0 = c0 + v0 and to handle the infinite-order case, but no explicit form of the operator, its trace-class property, or the spectral mapping is given; this step is central to the enlarged initial-data space and must be checked in detail.
Authors: The explicit construction of the trace-class operator (built from the discrete spectrum of the Lax operator), verification of its trace norm, and the associated spectral mapping that eliminates the auxiliary condition x²u0 = c0 + v0 are given in Section 5. This construction directly enlarges the initial-data class to H^{s,α} (α ≥ 1) and resolves the inverse-spectral problem left open by Gassot–Gérard. Because the abstract is length-limited, these details reside in the main text; we can insert a brief parenthetical reference in the abstract if the editor requests. revision: no
Circularity Check
Derivation self-contained; no circular reductions identified
full rationale
The paper applies the Kato-Rellich theorem to recast soliton resolution as an error-estimation task between the solution and a soliton sequence, then constructs a trace-class operator from the discrete spectrum to resolve the inverse spectral problem for the Lax operator. These are presented as direct constructions that enlarge the initial-data space and yield the stated explicit L^∞ bounds (O(|t|^{-1/4(1-1/2s)}) for finite-order and O(|t|^{-1/3}) for infinite-order cases). No step reduces a claimed prediction or bound to a fitted parameter, self-defined quantity, or load-bearing self-citation; the cited prior works are by different authors and supply only background. The derivation therefore remains independent of its target result.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Kato-Rellich theorem applies to the Lax operators arising from the Benjamin-Ono equation under the stated Sobolev regularity
Reference graph
Works this paper leans on
-
[1]
J., Fokas, A
Ablowitz, M. J., Fokas, A. S., Musslimani, Z. H. On a new non-local formulation of water waves, Journal of Fluid Mechanics, 562 (2006), 313-343
2006
-
[2]
J., Toland, J
Amick, C. J., Toland, J. F. Uniqueness and related analytic properties for the Benjamin-Ono equation-a nonlinear Neumann problem in the plane, Acta Mathematica, 167 (1991), 107-126
1991
-
[3]
Orbital stability of Benjamin--Ono multisolitons
Badreddine, R., Killip, R., Vi s an, M. Orbital stability of Benjamin-Ono multisolitons, arXiv preprint arXiv:2509.14153, (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[4]
Benjamin, T. B. Internal waves of permanent form in fluids of great depth, Journal of Fluid Mechanics, 29 (1967), 559-592
1967
-
[5]
Blackstone, E., Gassot, L., G\'erard, P., Miller, P. D. The Benjamin-Ono equation in the zero-dispersion limit for rational initial data: generation of dispersive shock waves, Communications on Pure and Applied Mathematics, (2024) e70044
2024
-
[6]
Blackstone, E., Gassot, L., G\'erard, P., Miller, P. D. The Benjamin-Ono initial-value problem for rational data with application to long time asymptotics and scattering, Annales de l'Institut Henri Poincar\'e C, Analyse non lin\'eaire, (2025)
2025
-
[7]
Borghese, M., Jenkins, R., McLaughlin, K. D. T.-R. Long time asymptotic behavior of the focusing nonlinear Schr\"odinger equation, Annales de l'Institut Henri Poincar\'e C, Analyse non lin\'eaire, 35 (2018), 887-920
2018
-
[8]
On well-posedness for the Benjamin?Ono equation, Mathematische Annalen, 340 (2008), 497-542
Burq, N., Planchon, F. On well-posedness for the Benjamin?Ono equation, Mathematische Annalen, 340 (2008), 497-542
2008
-
[9]
Charlier, C., Lenells, J., Wang, D. S. The ``good'' Boussinesq equation: long-time asymptotics, Analysis & PDE, 16 (2023), 1351-1388
2023
-
[10]
Soliton resolution for the focusing modified KdV equation, Annales de l'Institut Henri Poincar\'e C, Analyse non lin\'eaire, 38 (2021), 2005-2071
Chen, G., Liu, J. Soliton resolution for the focusing modified KdV equation, Annales de l'Institut Henri Poincar\'e C, Analyse non lin\'eaire, 38 (2021), 2005-2071
2021
-
[11]
Chen, X. Explicit formula for the Benjamin-Ono equation with square integrable and real valued initial data and applications to the zero dispersion limit, Pure and Applied Analysis, 16 (2025), 101-126
2025
-
[12]
Scattering of the defocusing Calogero--Moser derivative nonlinear Schr\"odinger equation
Chen, X. Scattering of the defocusing Calogero-Moser derivative nonlinear Schr\"odinger equation, arXiv preprint arXiv:2511.06432, (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[13]
On the asymptotic stability of N -soliton solutions of the defocusing nonlinear Schr\"odinger equation, Communications in Mathematical Physics, 343 (2016), 921-969
Cuccagna, S., Jenkins, R. On the asymptotic stability of N -soliton solutions of the defocusing nonlinear Schr\"odinger equation, Communications in Mathematical Physics, 343 (2016), 921-969
2016
-
[14]
E., Acrivos, A
Davis, R. E., Acrivos, A. Solitary internal waves in deep water, Journal of Fluid Mechanics, 29 (1967), 593--607
1967
-
[15]
A., Park, J
Deift, P. A., Park, J. Long-time asymptotics for solutions of the NLS equation with a delta potential and even initial data, International Mathematics Research Notices, 2011 (2011), 5505-5624
2011
-
[16]
A., Venakides, S., Zhou, X
Deift, P. A., Venakides, S., Zhou, X. The collisionless shock region for the long-time behavior of solutions of the KdV equation, Communications on Pure and Applied Mathematics, 47 (1994), 199-206
1994
-
[17]
A., Zhou, X
Deift, P. A., Zhou, X. A steepest descent method for oscillatory Riemann-Hilbert problems. Asymptotics for the MKdV equation, Annals of Mathematics, 137 (1993), 295-368
1993
-
[18]
Soliton resolution for critical co-rotational wave maps and radial cubic wave equation, Communications in Mathematical Physics, 391 (2022), 779-871
Duyckaerts, T., Kenig, C., Martel, Y., Merle, F. Soliton resolution for critical co-rotational wave maps and radial cubic wave equation, Communications in Mathematical Physics, 391 (2022), 779-871
2022
-
[19]
Soliton resolution for the radial critical wave equation in all odd space dimensions, Acta Mathematica, 230 (2023), 1-92
Duyckaerts, T., Kenig, C., Merle, F. Soliton resolution for the radial critical wave equation in all odd space dimensions, Acta Mathematica, 230 (2023), 1-92
2023
- [20]
-
[21]
Gassot, L., G\'erard, P. Infinite-order multisoliton solutions to the Benjamin--Ono equation and soliton resolution, arXiv preprint arXiv:2603.15419, (2026)
-
[22]
An explicit formula for the Benjamin-Ono equation, Tunisian Journal of Mathematics, 5 (2023), 593--603
G\'erard, P. An explicit formula for the Benjamin-Ono equation, Tunisian Journal of Mathematics, 5 (2023), 593--603
2023
-
[23]
Lectures on integrable equations of Benjamin-Ono type, EMS Surveys in Mathematical Sciences, (2026)
G\'erard, P. Lectures on integrable equations of Benjamin-Ono type, EMS Surveys in Mathematical Sciences, (2026)
2026
-
[24]
On the integrability of the Benjamin-Ono equation on the torus, Communications on Pure and Applied Mathematics, 74 (2021), 1685-1747
G\'erard, P., Kappeler, T. On the integrability of the Benjamin-Ono equation on the torus, Communications on Pure and Applied Mathematics, 74 (2021), 1685-1747
2021
-
[25]
Sharp well-posedness results of the Benjamin-Ono equation in H^s( T , R ) and qualitative properties of its solutions, Acta Mathematica, 231 (2023), 31-88
G\'erard, P., Kappeler, T., Topalov, P. Sharp well-posedness results of the Benjamin-Ono equation in H^s( T , R ) and qualitative properties of its solutions, Acta Mathematica, 231 (2023), 31-88
2023
-
[26]
The Calogero-Moser derivative nonlinear Schr\"odinger equation, Communications on Pure and Applied Mathematics, 77 (2024), 4008-4062
G\'erard, P., Lenzmann, E. The Calogero-Moser derivative nonlinear Schr\"odinger equation, Communications on Pure and Applied Mathematics, 77 (2024), 4008-4062
2024
-
[27]
The cubic Szeg\"o equation on the real line: explicit formula and well-posedness on the Hardy class, Communications in Mathematical Physics, 405 (2024), 167
G\'erard, P., Pushnitski, A. The cubic Szeg\"o equation on the real line: explicit formula and well-posedness on the Hardy class, Communications in Mathematical Physics, 405 (2024), 167
2024
-
[28]
G\'erard, P., Topalov, P. On the low regularity phase space of the Benjamin-Ono equation, arXiv preprint arXiv:2308.07829, (2023)
-
[29]
R., Melville, W
Helfrich, K. R., Melville, W. K. Long nonlinear internal waves, Annual Review of Fluid Mechanics, 38 (2006), 395-425
2006
-
[30]
H., Graves, L
Hildebrandt, T. H., Graves, L. M. Implicit functions and their differentials in general analysis, Transactions of the American Mathematical Society, 29 (1927), 127-153
1927
-
[31]
Well-posedness and dispersive decay of small data solutions for the Benjamin-Ono equation, Annales Scientifiques de l'\'Ecole Normale Sup\'erieure, 52 (2019), 297-335
Ifrim, M., Tataru, D. Well-posedness and dispersive decay of small data solutions for the Benjamin-Ono equation, Annales Scientifiques de l'\'Ecole Normale Sup\'erieure, 52 (2019), 297-335
2019
-
[32]
D., Kenig, C
Ionescu, A. D., Kenig, C. E. Global well-posedness of the Benjamin-Ono equation in low-regularity spaces, Journal of the American Mathematical Society, 20 (2007), 753-798
2007
-
[33]
Soliton resolution for the energy-critical nonlinear wave equation in the radial case, Annals of PDE, 9 (2023)
Jendrej, J., Lawrie, A. Soliton resolution for the energy-critical nonlinear wave equation in the radial case, Annals of PDE, 9 (2023)
2023
-
[34]
Soliton resolution for energy-critical wave maps in the equivariant case, Journal of the American Mathematical Society, 38 (2025), 783-875
Jendrej, J., Lawrie, A. Soliton resolution for energy-critical wave maps in the equivariant case, Journal of the American Mathematical Society, 38 (2025), 783-875
2025
-
[35]
Soliton resolution for the derivative nonlinear Schr\"odinger equation, Communications in Mathematical Physics, 363 (2018), 1003-1049
Jenkins, R., Liu, J., Perry, P., Sulem, C. Soliton resolution for the derivative nonlinear Schr\"odinger equation, Communications in Mathematical Physics, 363 (2018), 1003-1049
2018
-
[36]
Perturbation theory for linear operators, Springer, Berlin, (1966)
Kato, T. Perturbation theory for linear operators, Springer, Berlin, (1966)
1966
-
[37]
J., Lakoba, T
Kaup, D. J., Lakoba, T. I., Matsuno, Y. Complete integrability of the Benjamin-Ono equation by means of action-angle variables, Physics Letters A, 238 (1998), 123-133
1998
-
[38]
Sharp well-posedness for the Benjamin-Ono equation, Inventiones Mathematicae, 236 (2024), 999-1054
Killip, R., Laurens, T., Vi s an, M. Sharp well-posedness for the Benjamin-Ono equation, Inventiones Mathematicae, 236 (2024), 999-1054
2024
-
[39]
Scaling-critical well-posedness for continuum Calogero-Moser models on the line, Communications of the American Mathematical Society, 5 (2025), 284-320
Killip, R., Laurens, T., Vi s an, M. Scaling-critical well-posedness for continuum Calogero-Moser models on the line, Communications of the American Mathematical Society, 5 (2025), 284-320
2025
-
[40]
Kim, T., Kwon, S. Soliton resolution for Calogero-Moser derivative nonlinear Schr\"odinger equation, arXiv preprint arXiv:2408.12843, (2024)
-
[41]
Nonlinear dispersive equations, Springer, Cham, (2021)
Klein, C., Saut, J.-C. Nonlinear dispersive equations, Springer, Cham, (2021)
2021
-
[42]
Q., Tian, S
Li, Z. Q., Tian, S. F., Yang, J. J. On the soliton resolution and the asymptotic stability of N -soliton solution for the Wadati-Konno-Ichikawa equation with finite density initial data in space-time solitonic regions, Advances in Mathematics, 409 (2022), 108639
2022
-
[43]
Q., Tian, S
Li, Z. Q., Tian, S. F., Yang, J. J. Soliton resolution for the Wadati-Konno-Ichikawa equation with weighted Sobolev initial data, Annales Henri Poincar\'e, 23 (2022), 2611-2655
2022
-
[44]
D., Xu, Z
Miller, P. D., Xu, Z. On the zero-dispersion limit of the benjamin-ono cauchy problem for positive initial data, Communications on Pure and Applied Mathematics, 64 (2011), 205-270
2011
-
[45]
Global well-posedness in L^2 for the periodic Benjamin-Ono equation, American Journal of Mathematics, 130 (2008), 635-683
Molinet, L. Global well-posedness in L^2 for the periodic Benjamin-Ono equation, American Journal of Mathematics, 130 (2008), 635-683
2008
-
[46]
The Cauchy problem for the Benjamin-Ono equation in L^2 revisited, Analysis & PDE, 5 (2012), 365-395
Molinet, L., Pilod, D. The Cauchy problem for the Benjamin-Ono equation in L^2 revisited, Analysis & PDE, 5 (2012), 365-395
2012
-
[47]
B\"acklund transform and conservation laws of the Benjamin-Ono equation, Journal of the Physical Society of Japan, 47 (1979), 1335-1340
Nakamura, A. B\"acklund transform and conservation laws of the Benjamin-Ono equation, Journal of the Physical Society of Japan, 47 (1979), 1335-1340
1979
-
[48]
Osborne, A. R. Nonlinear ocean wave and the inverse scattering transform, International Geophysics Series, Volume 97, Academic Press, Burlington, (2010)
2010
-
[49]
Paulsen, M. O. Justification of the Benjamin-Ono equation as an internal water waves model, Annals of PDE, 10 (2024), Paper No. 25
2024
-
[50]
Sur quelques g\'en\'eralisations de l'\'equation de Korteweg-de Vries, Journal de Math\'ematiques Pures et Appliqu\'ees, 58 (1979), 21-61
Saut, J.-C. Sur quelques g\'en\'eralisations de l'\'equation de Korteweg-de Vries, Journal de Math\'ematiques Pures et Appliqu\'ees, 58 (1979), 21-61
1979
-
[51]
M., Murphy, T
Stein, E. M., Murphy, T. S. Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton Mathematical Series, Volume 43, Princeton University Press, Princeton, (1993)
1993
-
[52]
Complete integrability of the Benjamin-Ono equation on the multi-soliton manifolds, Communications in Mathematical Physics, 383 (2021), 1051-1092
Sun, R. Complete integrability of the Benjamin-Ono equation on the multi-soliton manifolds, Communications in Mathematical Physics, 383 (2021), 1051-1092
2021
-
[53]
Global well-posedness of the Benjamin-Ono equation in H^1( R ) , Journal of Hyperbolic Differential Equations, 1 (2004), 27-49
Tao, T. Global well-posedness of the Benjamin-Ono equation in H^1( R ) , Journal of Hyperbolic Differential Equations, 1 (2004), 27-49
2004
-
[54]
Nonlinear Dispersive Equations: Local and Global Analysis, American Mathematical Society, (2006)
Tao, T. Nonlinear Dispersive Equations: Local and Global Analysis, American Mathematical Society, (2006)
2006
-
[55]
Why are solitons stable?, Bulletin of the American Mathematical Society, 46 (2009), 1-33
Tao, T. Why are solitons stable?, Bulletin of the American Mathematical Society, 46 (2009), 1-33
2009
-
[56]
F., Tong, J
Tian, S. F., Tong, J. F. On Cauchy problem for the spin-1 Gross-Pitaevskii equation: soliton resolution conjecture and asymptotic analysis, Communications in Mathematical Physics, 407 (2026), 52
2026
-
[57]
Wu, Y. L. Simplicity and finiteness of discrete spectrum of the Benjamin-Ono scattering operator, SIAM Journal on Mathematical Analysis, 48 (2016), 1348-1367
2016
-
[58]
J., Li, Z
Yang, J. J., Li, Z. Q., Tian, S. F. The modified Camassa-Holm equation with nonzero background: Soliton resolution conjecture and asymptotic stability of N-soliton solutions, Advances in Mathematics, 484 (2026), 110552
2026
-
[59]
J., Kruskal, M
Zabusky, N. J., Kruskal, M. D. Interaction of ``solitons'' in a collisionless plasma and the recurrence of initial states, Physical Review Letters, 15 (1965), 240-243
1965
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.