arxiv: 2605.06503 · v1 · submitted 2026-05-07 · 🧮 math.AP

Recognition: unknown

Sharp local well-posedness for the Hirota-Satsuma system

Rafael Deiga

Authors on Pith no claims yet

Pith reviewed 2026-05-08 06:45 UTC · model grok-4.3

classification 🧮 math.AP

keywords Hirota-Satsuma systemlocal well-posednessFourier restriction normsoff-diagonal regularitydispersion ratioSobolev spacesglobal well-posedness

0 comments

The pith

The Hirota-Satsuma system admits sharp local well-posedness in H^k times H^s spaces when the dispersion ratio satisfies a specific condition.

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

The paper proves local existence and uniqueness for solutions to the Hirota-Satsuma system in Sobolev spaces where the two components may have different regularity indices. The allowed difference depends on the ratio of the dispersion coefficients in the linear terms. Earlier results required equal regularity for both components, but this work removes that restriction. It also carries global well-posedness results into the new off-diagonal setting.

Core claim

We establish sharp local existence results for the Hirota-Satsuma system in H^k(R) × H^s(R), depending on the ratio between the dispersion of the components. These theorems significantly generalize previous works, which were restricted to the diagonal case of equal regularity s=k. Furthermore, we extend the known global well-posedness theory to the off-diagonal regime.

What carries the argument

The Fourier restriction norm method combined with the integrated-by-parts strong solution framework that generalizes the classical notion of strong solution.

Load-bearing premise

The ratio between the dispersion coefficients must satisfy a specific condition for the off-diagonal estimates to close.

What would settle it

An explicit initial datum in H^k × H^s whose solution fails to exist or loses uniqueness when the dispersion ratio condition is violated would show the condition is necessary.

Figures

Figures reproduced from arXiv: 2605.06503 by Rafael Deiga.

**Figure 1.** Figure 1: Regularity regions for LWP with a ∈ (1/4, ∞) \ {1} (left) and a = 1/4 (right) for initial data (u0, v0) ∈ Hk × Hs . The yellow line represents the results by Yang and Zhang [30]. The set A 0 a corresponds to the blue area, including a portion of the continuous black line, while Aa comprises both the blue and gray regions, inclusive of the entire continuous black line. In the red zone, the problem is C 2 -i… view at source ↗

**Figure 2.** Figure 2: For a ∈ (−∞, 1/4) \ {0}, the yellow line represents the LWP results established by Yang and Zhang [30]. The set A 0 a corresponds to the blue region, while Aa comprises both the blue and gray areas. In the red and orange regions, the problem is C 2 -ill-posed and C 3 -ill-posed (for a ̸= −1/8), respectively; see Theorem 1.2 and Remark 1.1. By analyzing the multilinear estimates required to establish Theore… view at source ↗

read the original abstract

We establish sharp local existence results for the Hirota-Satsuma system in $H^k(\mathbb{R}) \times H^s(\mathbb{R})$, depending on the ratio between the dispersion of the components. These theorems significantly generalize previous works, which were restricted to the diagonal case of equal regularity $s=k$. Furthermore, we extend the known global well-posedness theory to the off-diagonal regime. The argument relies on the Fourier restriction norm method coupled with the concept of integrated-by-parts strong solution - a framework that generalizes the classical notion of strong solution.

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

Deiga gets the first off-diagonal local well-posedness for the Hirota-Satsuma system, with the gap between k and s controlled by the dispersion ratio.

read the letter

The one thing to take away is that Deiga has extended local well-posedness for the Hirota-Satsuma system to the case where the two unknowns have different Sobolev indices k and s, with the allowed gap depending on the dispersion ratio between the components. This is the first such result off the diagonal. The paper builds on previous diagonal results by using Fourier restriction norms in space-time and introducing the integrated-by-parts strong solution to facilitate integration by parts in time. This helps close the estimates for the nonlinear terms like (uv)_x and u^2_x when the regularities differ. They also carry the global well-posedness over to this regime. What it does well is filling that specific gap without introducing free parameters or circular definitions. The framework is reproducible in principle, as it relies on multiplier estimates and contraction mapping in the appropriate Banach spaces. The citation pattern is appropriate, referencing the standard works on the system and the method. The soft spots are around the new solution concept and the sharpness. The integrated-by-parts idea is presented as a generalization, but one would need to check if it coincides with the usual notion when k=s or if it loses some properties. For sharpness, the paper claims the results are sharp, but the abstract does not detail how they show necessity of the ratio condition—whether through scaling or explicit examples. The potential issue with off-diagonal bilinear estimates closing is real if the resonance function does not give enough cancellation, but assuming the paper handles the phase properly, it should be okay. Overall, this is a solid technical paper for the field of dispersive PDEs. It is aimed at researchers who care about precise well-posedness thresholds for coupled systems. A serious reader in math.AP would get value from the details of the estimates. It shows clear thinking and deserves a serious referee to verify the calculations. I recommend sending it to peer review rather than desk rejecting it.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes sharp local well-posedness for the Hirota-Satsuma system in the off-diagonal Sobolev spaces H^k(R) × H^s(R), with the admissible range of (k,s) depending on the ratio of the dispersion coefficients. The argument combines the Fourier restriction norm method in X^{s,b} spaces with a new notion of integrated-by-parts strong solutions that generalizes the classical strong-solution framework to permit time integration by parts. This extends prior results, which were limited to the diagonal case s = k, and also extends the known global well-posedness theory to the off-diagonal regime.

Significance. If the off-diagonal estimates close, the work would constitute a meaningful advance in the well-posedness theory of coupled dispersive systems. Handling unequal regularities and providing ratio-dependent thresholds broadens the scope of the Fourier restriction technique beyond symmetric settings. The integrated-by-parts strong solution concept is a potentially reusable tool for other systems where standard strong solutions fail to close estimates.

major comments (2)

[§3] §3, Definition 3.1: The integrated-by-parts strong solution is the key device for recovering derivatives in the off-diagonal regime, yet the definition does not explicitly quantify the additional time regularity or the precise loss of derivatives incurred when integration by parts is performed inside the X^{s,b} norm; this loss must be shown to be absorbed by the claimed b-parameter range without degrading sharpness.
[§4.2] §4.2, Lemma 4.3 (off-diagonal bilinear estimate): The resonance function Φ(ξ,η) = ξ³ + a η³ − (ξ+η)³ arising from the Hirota-Satsuma dispersion must produce sufficient decay for the multiplier when k ≠ s. The manuscript states that the estimate holds under a ratio condition on a, but the worst-case multiplier bounds for the interaction (uv)_x are not displayed; without these explicit bounds it is impossible to verify that the b-choice closes the contraction for the full range of claimed (k,s).

minor comments (2)

[Introduction] The admissible region in the (k,s)-plane is described in the introduction but would benefit from an explicit figure or table listing the boundary curves for representative values of the dispersion ratio.
[§1] Notation for the two dispersion coefficients is introduced in §1 but reused without reminder in later sections; a short notational table would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the two major comments point by point below, indicating the revisions we will incorporate.

read point-by-point responses

Referee: §3, Definition 3.1: The integrated-by-parts strong solution is the key device for recovering derivatives in the off-diagonal regime, yet the definition does not explicitly quantify the additional time regularity or the precise loss of derivatives incurred when integration by parts is performed inside the X^{s,b} norm; this loss must be shown to be absorbed by the claimed b-parameter range without degrading sharpness.

Authors: We agree that Definition 3.1 would benefit from an explicit statement of the time-regularity gain and the derivative loss incurred by the integration-by-parts procedure inside the X^{s,b} norm. In the revised manuscript we will augment the definition with the precise estimate ||∂_t u||_{X^{k,b-1}} ≲ ||u||_{X^{k,b}} + lower-order terms, and we will insert a short paragraph immediately after the definition showing that the loss is controlled by the admissible range b > 1/2 + ε(a,k,s) already chosen in the contraction argument. This clarification does not change the claimed (k,s) thresholds or the sharpness statement. revision: yes
Referee: §4.2, Lemma 4.3 (off-diagonal bilinear estimate): The resonance function Φ(ξ,η) = ξ³ + a η³ − (ξ+η)³ arising from the Hirota-Satsuma dispersion must produce sufficient decay for the multiplier when k ≠ s. The manuscript states that the estimate holds under a ratio condition on a, but the worst-case multiplier bounds for the interaction (uv)_x are not displayed; without these explicit bounds it is impossible to verify that the b-choice closes the contraction for the full range of claimed (k,s).

Authors: We accept that the worst-case multiplier bounds for the resonant interaction (uv)_x were not written out explicitly in the off-diagonal setting. In the revision we will add a dedicated subsection to the proof of Lemma 4.3 that computes the symbol |m(ξ,η)| ≲ |ξ+η|^{-δ} |ξ|^{-α} |η|^{-β} under the ratio condition on a, with the exponents α,β,δ expressed in terms of k-s and the dispersion ratio. We will then verify that these decay rates are compatible with the chosen b-interval, thereby closing the contraction for the full range of (k,s) stated in the main theorems. revision: yes

Circularity Check

0 steps flagged

No circularity: well-posedness follows from independent multiplier estimates in X^{s,b} spaces

full rationale

The derivation proceeds by establishing local existence via contraction mapping in Fourier restriction spaces X^{s,b} for the Hirota-Satsuma system, using bilinear estimates derived from the dispersion relation and an integrated-by-parts notion of strong solution. These estimates are obtained through explicit multiplier bounds and resonance analysis on the space-time Fourier side, without any parameter fitting to the target existence statement or reduction of the off-diagonal regularity conditions to a self-referential definition. Prior results on the diagonal case are cited only for context and are not invoked as a uniqueness theorem or load-bearing premise that forces the current off-diagonal thresholds; the central contraction argument remains externally verifiable against standard dispersive PDE techniques.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on standard properties of Sobolev spaces, Fourier transforms, and dispersive estimates, plus the newly introduced integrated-by-parts strong solution concept; no free parameters are fitted to data.

axioms (1)

standard math Standard properties of Sobolev spaces H^k and Fourier restriction norms for dispersive equations
Invoked to control linear and nonlinear terms in the local existence proof.

invented entities (1)

integrated-by-parts strong solution no independent evidence
purpose: Generalizes the classical notion of strong solution to close the estimates in the off-diagonal case
Introduced in the abstract as the key new framework; no independent evidence outside the paper is provided.

pith-pipeline@v0.9.0 · 5377 in / 1268 out tokens · 37655 ms · 2026-05-08T06:45:33.964253+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

32 extracted references · 27 canonical work pages

[1]

On the local well-posedness for some systems of coupled KdV equations,

B. Alvarez-Samaniego and X. Carvajal, “On the local well-posedness for some systems of coupled KdV equations,”Nonlinear Anal., vol. 69, no. 2, pp. 692–715, 2008. [Online]. Available: https://doi.org/10.1016/j.na.2007.06.009

work page doi:10.1016/j.na.2007.06.009 2008
[2]

On the regularization mechanism for the periodic Korteweg-de Vries equation,

A. V. Babin, A. A. Ilyin, and E. S. Titi, “On the regularization mechanism for the periodic Korteweg-de Vries equation,” Comm. Pure Appl. Math., vol. 64, no. 5, pp. 591–648, 2011. [Online]. Available: https://doi.org/10.1002/cpa.20356

work page doi:10.1002/cpa.20356 2011
[3]

Sharp well-posedness and ill-posedness results for a quadratic non-linear Schr¨ odinger equation,

I. Bejenaru and T. Tao, “Sharp well-posedness and ill-posedness results for a quadratic non-linear Schr¨ odinger equation,”J. Funct. Anal., vol. 233, no. 1, pp. 228–259, 2006. [Online]. Available: https://doi.org/10.1016/j.jfa.2005.08.004

work page doi:10.1016/j.jfa.2005.08.004 2006
[4]

Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. I. Schr¨ odinger equations,

J. Bourgain, “Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. I. Schr¨ odinger equations,”Geom. Funct. Anal., vol. 3, no. 2, pp. 107–156, 1993. [Online]. Available: https://doi.org/10.1007/BF01896020

work page doi:10.1007/bf01896020 1993
[5]

Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. II. The KdV-equation,

——, “Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. II. The KdV-equation,”Geom. Funct. Anal., vol. 3, no. 3, pp. 209–262, 1993. [Online]. Available: https://doi.org/10.1007/BF01895688 SHARP LOCAL WELL-POSEDNESS FOR THE HIROTA-SATSUMA SYSTEM 35

work page doi:10.1007/bf01895688 1993
[6]

Periodic Korteweg de Vries equation with measures as initial data,

——, “Periodic Korteweg de Vries equation with measures as initial data,”Selecta Math. (N.S.), vol. 3, no. 2, pp. 115–159,
[7]

Available: https://doi.org/10.1007/s000290050008

[Online]. Available: https://doi.org/10.1007/s000290050008

work page doi:10.1007/s000290050008
[8]

Asymptotics, frequency modulation, and low regularity ill-posedness for canonical defocusing equations,

M. Christ, J. Colliander, and T. Tao, “Asymptotics, frequency modulation, and low regularity ill-posedness for canonical defocusing equations,”Amer. J. Math., vol. 125, no. 6, pp. 1235–1293, 2003. [Online]. Available: http://muse.jhu.edu/journals/american journal of mathematics/v125/125.6christ.pdf

2003
[9]

Normal form approach to global well-posedness of the quadratic derivative nonlinear Schr¨ odinger equation on the circle,

J. Chung, Z. Guo, S. Kwon, and T. Oh, “Normal form approach to global well-posedness of the quadratic derivative nonlinear Schr¨ odinger equation on the circle,”Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, vol. 34, no. 5, pp. 1273–1297, 2017. [Online]. Available: https://doi.org/10.1016/j.anihpc.2016.10.003

work page doi:10.1016/j.anihpc.2016.10.003 2017
[10]

Sharp local well-posedness for the Schr¨ odinger–Korteweg–de Vries system,

S. Correia, F. Linares, and J. D. Silva, “Sharp local well-posedness for the Schr¨ odinger–Korteweg–de Vries system,”Math. Res. Lett., vol. 32, no. 6, pp. 1791–1844, 2025. [Online]. Available: https://doi.org/10.4310/mrl.260112012243

work page doi:10.4310/mrl.260112012243 2025
[11]

Sharp local well-posedness and nonlinear smoothing for dispersive equations through frequency-restricted estimates,

S. Correia, F. Oliveira, and J. D. Silva, “Sharp local well-posedness and nonlinear smoothing for dispersive equations through frequency-restricted estimates,”SIAM J. Math. Anal., vol. 56, no. 4, pp. 5604–5633, 2024. [Online]. Available: https://doi.org/10.1137/23M156923X

work page doi:10.1137/23m156923x 2024
[12]

Sharp blow-up stability for self-similar solutions of the modified Korteweg-de Vries equation,

S. Correia and R. Cˆ ote, “Sharp blow-up stability for self-similar solutions of the modified Korteweg-de Vries equation,” 2024. [Online]. Available: https://arxiv.org/abs/2402.16423

work page arXiv 2024
[13]

Global well-posedness of the initial value problem for the Hirota-Satsuma system,

X. S. Feng, “Global well-posedness of the initial value problem for the Hirota-Satsuma system,”Manuscripta Math., vol. 84, no. 3-4, pp. 361–378, 1994. [Online]. Available: https://doi.org/10.1007/BF02567462

work page doi:10.1007/bf02567462 1994
[14]

Global solutions for 3D quadratic Schr¨ odinger equations,

P. Germain, N. Masmoudi, and J. Shatah, “Global solutions for 3D quadratic Schr¨ odinger equations,”Int. Math. Res. Not. IMRN, no. 3, pp. 414–432, 2009. [Online]. Available: https://doi.org/10.1093/imrn/rnn135

work page doi:10.1093/imrn/rnn135 2009
[15]

Poincar´ e-Dulac normal form reduction for unconditional well-posedness of the periodic cubic NLS,

Z. Guo, S. Kwon, and T. Oh, “Poincar´ e-Dulac normal form reduction for unconditional well-posedness of the periodic cubic NLS,”Comm. Math. Phys., vol. 322, no. 1, pp. 19–48, 2013. [Online]. Available: https://doi.org/10.1007/s00220-013-1755-5

work page doi:10.1007/s00220-013-1755-5 2013
[16]

Soliton solutions of a coupled Korteweg-de Vries equation,

R. Hirota and J. Satsuma, “Soliton solutions of a coupled Korteweg-de Vries equation,”Phys. Lett. A, vol. 85, no. 8-9, pp. 407–408, 1981. [Online]. Available: https://doi.org/10.1016/0375-9601(81)90423-0

work page doi:10.1016/0375-9601(81)90423-0 1981
[17]

H¨ ormander,The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators, ser

L. H¨ ormander,The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators, ser. Classics in Math- ematics. Springer Berlin, Heidelberg, 2007, reprint of the 1994 edition

2007
[18]

A smoothing effect and polynomial growth of the Sobolev norms for the KP-II equation,

J. P. Isaza, L. J. Mej´ ıa, and N. Tzvetkov, “A smoothing effect and polynomial growth of the Sobolev norms for the KP-II equation,”J. Differential Equations, vol. 220, no. 1, pp. 1–17, 2006. [Online]. Available: https://doi.org/10.1016/j.jde.2004.10.002

work page doi:10.1016/j.jde.2004.10.002 2006
[19]

A bilinear estimate with applications to the KdV equation,

C. E. Kenig, G. Ponce, and L. Vega, “A bilinear estimate with applications to the KdV equation,”J. Amer. Math. Soc., vol. 9, no. 2, pp. 573–603, 1996. [Online]. Available: https://doi.org/10.1090/S0894-0347-96-00200-7

work page doi:10.1090/s0894-0347-96-00200-7 1996
[20]

Unconditional uniqueness of solutions for nonlinear dispersive equations,

N. Kishimoto, “Unconditional uniqueness of solutions for nonlinear dispersive equations,” 2021. [Online]. Available: https://arxiv.org/abs/1911.04349

work page arXiv 2021
[21]

Normal form approach to unconditional well-posedness of nonlinear dispersive PDEs on the real line,

S. Kwon, T. Oh, and H. Yoon, “Normal form approach to unconditional well-posedness of nonlinear dispersive PDEs on the real line,”Ann. Fac. Sci. Toulouse Math. (6), vol. 29, no. 3, pp. 649–720, 2020. [Online]. Available: https://doi.org/10.5802/afst.1643

work page doi:10.5802/afst.1643 2020
[22]

Linares and G

F. Linares and G. Ponce,Introduction to Nonlinear Dispersive Equations, 2nd ed., ser. Universitext. Springer New York, NY, 2015

2015
[23]

Feedback boundary stabilization for the Hirota-Satsuma system with time-delay,

V. H. G. Martinez and J. R. Mu˜ noz, “Feedback boundary stabilization for the Hirota-Satsuma system with time-delay,” 2024. [Online]. Available: https://arxiv.org/abs/2408.15705

work page arXiv 2024
[24]

Milnor,Morse Theory, ser

J. Milnor,Morse Theory, ser. Annals of Mathematics Studies, vol. 51. Princeton, NJ: Princeton University Press, 1969

1969
[25]

Local well-posedness in weighted Sobolev spaces for nonlinear dispersive equations with applications to dispersive blow up,

A. Mu˜ noz and A. Pastor, “Local well-posedness in weighted Sobolev spaces for nonlinear dispersive equations with applications to dispersive blow up,”Math. Ann., vol. 386, no. 1-2, pp. 207–246, 2023. [Online]. Available: https://doi.org/10.1007/s00208-022-02396-7

work page doi:10.1007/s00208-022-02396-7 2023
[26]

Counterexamples to bilinear estimates related with the KdV equation and the nonlinear Schr¨ odinger equation,

K. Nakanishi, H. Takaoka, and Y. Tsutsumi, “Counterexamples to bilinear estimates related with the KdV equation and the nonlinear Schr¨ odinger equation,”Methods Appl. Anal., vol. 8, no. 4, pp. 569–578, 2001, IMS Conference on Differential Equations from Mechanics (Hong Kong, 1999). [Online]. Available: https://doi.org/10.4310/MAA.2001.v8.n4.a7

work page doi:10.4310/maa.2001.v8.n4.a7 2001
[27]

On quadratic Schr¨ odinger equations inR 1+1: a normal form approach,

S. Oh and A. Stefanov, “On quadratic Schr¨ odinger equations inR 1+1: a normal form approach,”J. Lond. Math. Soc. (2), vol. 86, no. 2, pp. 499–519, 2012. [Online]. Available: https://doi.org/10.1112/jlms/jds016

work page doi:10.1112/jlms/jds016 2012
[28]

Numerical solution of Hirota-Satsuma coupled KdV system by RBF-PS Method,

M. Sadeeq, F. M. Omar, and M. Pirdawood, “Numerical solution of Hirota-Satsuma coupled KdV system by RBF-PS Method,”J. Univ. Duhok, vol. 25, no. 2, pp. 164–175, 2022. [Online]. Available: https://doi.org/10.26682/sjuod.2022.25.2.15

work page doi:10.26682/sjuod.2022.25.2.15 2022
[29]

Normal forms and quadratic nonlinear Klein-Gordon equations,

J. Shatah, “Normal forms and quadratic nonlinear Klein-Gordon equations,”Comm. Pure Appl. Math., vol. 38, no. 5, pp. 685–696, 1985. [Online]. Available: https://doi.org/10.1002/cpa.3160380516

work page doi:10.1002/cpa.3160380516 1985
[30]

Remark on the local ill-posedness for KdV equation,

N. Tzvetkov, “Remark on the local ill-posedness for KdV equation,”C. R. Acad. Sci. Paris S´ er. I Math., vol. 329, no. 12, pp. 1043–1047, 1999. [Online]. Available: https://doi.org/10.1016/S0764-4442(00)88471-2

work page doi:10.1016/s0764-4442(00)88471-2 1999
[31]

Local well-posedness of the coupled KdV-KdV systems onR,

X. Yang and B.-Y. Zhang, “Local well-posedness of the coupled KdV-KdV systems onR,”Evol. Equ. Control Theory, vol. 11, no. 5, pp. 1829–1871, 2022. [Online]. Available: https://doi.org/10.3934/eect.2022002

work page doi:10.3934/eect.2022002 2022
[32]

New approach for tanh and extended-tanh methods with applications on Hirota-Satsuma equations,

H. A. Zedan, “New approach for tanh and extended-tanh methods with applications on Hirota-Satsuma equations,”Comput. Appl. Math., vol. 28, no. 1, pp. 1–14, 2009. [Online]. Available: https://doi.org/10.1590/S0101-82052009000100001 Rafael Deiga, Center for Mathematical Analysis, Geometry and Dynamical Systems, Department of Mathematics, Instituto Superior ...

work page doi:10.1590/s0101-82052009000100001 2009