Pith. sign in

REVIEW 3 major objections 4 minor 20 references

Standing wave solutions of $abcd$-systems for water waves

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Bona-Smith system admits nontrivial bifurcating standing waves when a single mode resonates.

desk verdict Plausible extension of Chen-Iooss to Bona-Smith, but the load-bearing uniform bound in Lemma 3.2 is false for parameters satisfying αq²=γβ², so the main existence theorem is not established. read the letter →

arxiv 2507.00436 v1 pith:H7452GEM submitted 2025-07-01 math.AP

Peifei Song , Yuhao Xie , Min Chen , Shenghao Li This is my paper · ORCID
classification math.AP MSC 35Q3535G2535D30
keywords abcd-systemsstandingwavesbifurcationLyapunov-SchmidtmethodBona-SmithsystemwatersmalldivisorproblemBoussinesq-typesystems
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper asks which of the four-parameter $abcd$-systems for long water waves admit nontrivial standing-wave solutions obtainable by the Lyapunov-Schmidt bifurcation method. It divides the well-posed systems into three families: feasible, infeasible (where small-divisor problems block the method), and uncertain feasible (where the method works only for special parameters). The main new existence result is for the Bona-Smith system, a two-way model with $a=0$, $b=d>0$, $c<0$: at parameters where the linearized resonance set has exactly one mode and a nondegeneracy condition holds, nontrivial doubly $2\pi$-periodic standing waves bifurcate, with the wave profile and amplitude given explicitly.

What carries the argument

The argument is carried by the linearized operator $L$ acting on pairs $(\eta,u)$ with $\eta$ even in $x$ and $u$ odd in $x$, whose Fourier symbol is $\Delta(p,q)=q^2(1+\alpha p^2)^2-\beta^2 p^2(1+\gamma\alpha p^2)$. Nontrivial kernel modes occur exactly on the resonance set $\Sigma(\alpha,\beta,\gamma)$; the proof works when $\Sigma$ has a single point $(p_0,q_0)$, so the kernel is spanned by $\zeta_0=(1,0)$, $\xi_0$, and $\bar\xi_0$. The Lyapunov-Schmidt reduction projects the nonlinear system onto this finite kernel, uses the implicit function theorem to solve the complementary equation, and reduces the two compatibility conditions to one complex scalar equation $h(A,\bar A,B,\mu,\nu)=A H(|A|^2,B,\mu,\nu)=0$. Symmetry under $x$-reflection and time shifts forces this form, and solving $H=0$ gives the amplitude formula (4.11).

What would settle it

Compute the quantities $C$ and $D$ in (3.13)-(3.14) over a large range of $(p,|q|)$ for a concrete parameter set such as $\alpha_0=5$, $\beta_0=4$, $\gamma_0=\frac14$; if any non-resonant pair violates the claimed uniform bound, the key estimate of Lemma 3.2 fails. A more targeted check is to verify the displayed inequality after (3.16), namely whether $q^2(1+\alpha p^2)-\beta^2 p^2\ge 4\beta^2/\alpha+3\beta^2 p^2$ actually follows from $|q|\ge 2\beta/\sqrt{\alpha}$ for all admissible $\alpha,\beta,\gamma$.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central claim is an existence theorem. For the Bona-Smith system with parameters $(\alpha,\beta,\gamma)$ near $(\alpha_0,\beta_0,\gamma_0)$, assuming the resonance set $\Sigma=\{(p,q)\in\mathbb{N}^2: q(1+\alpha p^2)-\beta p\sqrt{1+\gamma\alpha p^2}=0\}$ has exactly one element $(p_0,q_0)$ and the coefficient $\beta_2$ in (4.10) is nonzero, there is a family of nontrivial standing waves $U=T_\tau U_0$ in $H^{k,e}_{\#\#,0}\times H^{k,o}_{\#\#}$, $k\ge 2$, for $\mu,\nu,B$ close to $0$ with the right side of (4.11) nonnegative. The leading free surface is $\eta_0(x,t)=2|A|\cos(q_0 t)\cos(p_0 x)+B+O(|A|(|\mu|+|\nu|+|A|+|B|))$, with $|A|^2$ given by (4.11). The bifurcation set is a discrete union of Whitney umbrellas in the space of wave length, time period, and mean wave amplitude.

Load-bearing premise

The argument needs a single constant that bounds how strongly the linearized equations amplify each non-resonant Fourier mode, for every mode except the one resonant pair; the proof's derivation of that bound contains an incorrect inequality, so this premise is not fully established.

Editorial extensions

If this is right

  • For the Bona-Smith system, at each isolated parameter triple where a single spatial-temporal mode resonates, a branch of nontrivial standing waves with leading profile $2|A|\cos(q_0 t)\cos(p_0 x)$ exists when the coefficient $\beta_2$ is nonzero.
  • The amplitude is determined by the balance $|A|^2 = \frac{1}{\beta_2}\{(2+2\gamma_0\alpha_0p_0^2)\mu - (2p_0q_0\sqrt{1+\gamma_0\alpha_0p_0^2}-\gamma_0\beta_0 p_0^2)\nu + \beta_0(1+\gamma_0\alpha_0p_0^2)B\}$, so the branch structure locally is a Whitney umbrella in parameter space.
  • The feasibility classification tells which $abcd$-systems can be attacked by Lyapunov-Schmidt for standing waves: three feasible families, two infeasible families blocked by small divisors, and eleven uncertain families that depend on parameter restrictions.
  • The theory gives a concrete numerical prediction: for $\alpha_0=5$, $\beta_0=4$, $\gamma_0=\frac14$, the unique resonant mode is $(p_0,q_0)=(1,1)$ and the computed amplitude is $|A|\approx 0.572$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: the same reduction should apply to the other two feasible families ($a<0,b>0,c=0,d>0$ and $a=0,b>0,c=0,d>0$), with the same three-parameter bifurcation picture, once the analogous kernel-uniqueness and $\beta_2\ne 0$ conditions hold.
  • Editorial extension: for the eleven uncertain feasible systems, the paper's criterion suggests a practical check: locate parameter sets where $\Sigma(\alpha,\beta,\gamma)$ is finite and unique; each such set should admit the same local standing-wave bifurcation despite the generic small-divisor obstruction.
  • Editorial extension: because $B$ is the spatial mean of $\eta$, the result implies standing waves persist with a nonzero mean level, a prediction that numerical time-stepping of the Bona-Smith equations could test directly.
  • Editorial extension: when $\Sigma$ contains more than one element, one expects modal-interaction branches; the single-kernel theorem here is the building block for analyzing such near-resonant cases.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies standing-wave bifurcations for the class of Bona--Chen--Saut abcd-systems for water waves. It first proposes a feasibility classification of these systems for the Lyapunov--Schmidt method, according to whether the kernel of the linearized operator is finite-dimensional and whether the pseudo-inverse is uniformly bounded. The main part of the paper specializes to the Bona--Smith system, written after rescaling as (3.1), and considers parameter values (α0,β0,γ0) for which the set Σ in (3.11) has a unique element (p0,q0). The authors construct the linearized operator L0, its kernel spanned by ξ0, ξ̄0, ζ0, and a bounded right inverse ~L0^{-1}. They then apply an equivariant Lyapunov--Schmidt reduction, solve the projected equation by the implicit function theorem, and derive a bifurcation equation h(A,̄A,B,μ,ν)=AH(|A|²,B,μ,ν)=0. The leading-order amplitude relation is printed as (4.11), and Lemma 4.1 states the existence of a family of nontrivial bifurcating standing waves U=T_τU0 in H^{k,e}_{♮♮,0}×H^{k,o}_{♮♮}, k≥2, for μ,ν,B close to 0 with the right-hand side of (4.11) nonnegative and β2≠0. A numerical illustration is given in Section 5 for α0=5, β0=4, γ0=1/4.

Significance. If the main theorem were established, it would provide an explicit standing-wave bifurcation result for the Bona--Smith system, extending the Chen--Iooss treatment of the coupled BBM system. The use of an equivariant Lyapunov--Schmidt reduction is appropriate, and the explicit computation of the bifurcation equation and the leading-order amplitude relation is a useful contribution. The paper also correctly identifies the role of the mean value B of η as a distinguished parameter. However, the central linear estimate of Lemma 3.2 is not established and, as stated, is false, and the printed amplitude formula in Lemma 4.1 is inconsistent with the derivation in Eq. (4.11). Because the bounded pseudo-inverse is the bridge that justifies the implicit-function step, the existence proof as written collapses unless these issues are repaired. The paper does not provide machine-checked proofs or reproducible code; its value depends on the analytic arguments, which currently have load-bearing gaps.

major comments (3)
  1. [§3, Lemma 3.2] The uniform bound (3.13)–(3.14) is not established and is, as stated, false. In the second case |q|<2β/√α, the proof reduces C to a sequence d_p whose limit is computed with denominator |αq²−γβ²|; the text excludes only q²=γβ²/α by saying that the limiting point (+∞,√(γβ²/α)) lies in Σ. But equality αq²=γβ² for an integer q does not force any finite pair (p,|q|) into Σ; it only cancels the degree-four part of Δ(p,q). For example, taking α0=(2√3−3)/3, β0=2√(2α0), γ0=1/2 gives a singleton Σ={(1,1)}, yet for q=2 one has Δ(p,2)=q²(1+αp²)²−β²p²(1+γαp²)≡4 and C(p,2) grows without bound as p→∞, so (3.13) fails. Since Proposition 3.1 and the boundedness of ~L0^{-1} used in §4 depend directly on Lemma 3.2, the Lyapunov--Schmidt reduction is not justified under the hypotheses of the paper.
  2. [§4, Lemma 4.1 and Eq. (4.11)] The amplitude formula in the statement of Lemma 4.1 contradicts the formula derived in the text. Equation (4.11), together with h2 immediately above it, gives |A|² = β2^{-1}[(2p0q0√(1+γ0α0p0²)−γ0β0p0²)μ − (2+2γ0α0p0²)ν − β0(1+γ0α0p0²)B], up to the displayed order. Lemma 4.1 instead states |A|² = β2^{-1}[(2+2γ0α0p0²)μ − (2p0q0√(1+γ0α0p0²)−γ0β0p0²)ν + β0(1+γ0α0p0²)B]. Thus the coefficients of μ and ν are interchanged and the sign of the B term is reversed. The numerical example in §5 uses the signs of (4.11), so it does not illustrate the printed theorem. The statement of the main existence result must be corrected to agree with the bifurcation equation.
  3. [§2.2] The classification of abcd-systems into feasible, infeasible, and uncertain feasible cases is presented as a conclusion, but Section 2.1 verifies only three representative cases: a=0,b>0,c<0,d>0; a=c=d=0,b=1/3; and a<0,b>0,c<0,d>0. The remaining types listed in Section 2.2 are asserted without checking either the finite-kernel condition or the pseudo-inverse bound case by case. This does not directly affect the Bona-Smith theorem, but if the classification is one of the paper's claims, it needs a genuine systematic verification or should be explicitly labeled as a conjecture based on the three worked cases.
minor comments (4)
  1. [§3, Lemma 3.2 proof] In the first case |q|≥2β/√α, the inequality p/((2β/√α)√(1+αp²)−βp) ≤ p/(2βp) is not valid, because the denominator is asymptotic to βp for large p, not 2βp; the constant should be adjusted (for example to 1/β).
  2. [§2.1, Case III] The closing sentence of Case III reads 'when a = 0, b >0, c <0, d >0', but the case under discussion has a<0; the condition should be a<0.
  3. [§4, paragraph before (4.3)] The reference to 'Theorem 3.3' should be to Lemma 3.3, and in the same paragraph the orthogonality set is written as {ξ0, ζ0, ζ0}⊥ with ζ0 repeated; it should presumably be {ξ0, ξ̄0, ζ0}⊥.
  4. [§4, Lemma 4.1 and §1] There are several typographical errors that should be cleaned up, including 'whcih' in Section 1, 'Purude University' in the affiliation, and the garbled remainder term 'O{|A|(|µ| + |ν| + | + |A| + |B|)}' in Lemma 4.1, which has an extra vertical bar and an omitted term.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detected: the bifurcation and amplitude formula are derived from the governing equations via an explicit Lyapunov-Schmidt reduction.

full rationale

The paper's central claim—existence of nontrivial bifurcating standing waves for the Bona-Smith system—is obtained by a self-contained Lyapunov-Schmidt reduction. The linearized operator is solved mode-by-mode using the explicit determinant Delta(p,q) in (3.6)-(3.8); the kernel set Sigma is characterized in Lemma 3.1; Lemma 3.2 supplies uniform bounds on the coefficients C and D of the pseudo-inverse; and the bounded right-inverse is then used with the implicit function theorem to solve the projected equation (4.3). The bifurcation function h(A,bar A,B,mu,nu) is computed from inner products of the nonlinear terms against the kernel modes, leading to the real amplitude equation H(|A|^2,B,mu,nu)=0 and the explicit formula (4.11) for |A|^2. No parameter appearing in the conclusion is fitted to the target amplitude; B is a free average-of-eta parameter, and |A|^2 is forced by the compatibility condition, so the result is not equivalent to its inputs by construction. Chen-Iooss [6] and other self-authored references are cited as background, motivation, or standard method references, not as the source of the existence theorem. The apparent technical weakness in Lemma 3.2 flagged by the skeptic is a correctness concern about a stated uniform bound, not a circularity: the lemma is asserted and argued within the present derivation rather than imported from prior work or identified with the target conclusion. Accordingly, no circular step can be exhibited with the required specificity, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No empirical fitting and no postulated physical entities. The proof relies on standard PDE tools and on well-posedness and regularity results imported from Bona-Chen-Saut. The main nonstandard assumption is the uniqueness of the kernel mode, which the example in Section 5 realizes.

assumptions (4)
  • domain assumption The abcd-system (1.1) with parameter relations (1.2) is a valid water-wave model, and its nonlinear Cauchy problem is well-posed under conditions (C1) and (C2).
    The paper restricts to systems satisfying C1 or C2, citing Bona, Chen and Saut [1,2] for well-posedness. The Bona-Smith system falls in this class, and the whole Lyapunov-Schmidt program is built inside this assumption.
  • standard math For k >= 2, the quadratic nonlinearities u^2 and u*eta lie in H^k and the products are continuous.
    Sobolev algebra in two dimensions, invoked in Section 4 above equation (4.1) for the Lyapunov-Schmidt reduction.
  • standard math The implicit function theorem applies to the reduced equation F(V, A, \bar A, B, mu, nu) on the chosen Banach space.
    Standard Lyapunov-Schmidt reduction; it relies on the invertibility with uniform bound of L0 on the complement of the kernel, which is where Lemma 3.2 enters.
  • domain assumption The nondegeneracy condition that Sigma(alpha, beta, gamma) has a unique element (p0, q0) and beta2 is nonzero holds for the parameter values considered.
    Imposed in Lemma 4.1 and verified for the example in Section 5. It is not shown to be generic over all admissible parameters.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Standing wave solutions of $abcd$-systems for water waves." pith.science (2026). https://pith.science/paper/H7452GEM

@misc{pith2026250700436,
  author       = {Pith},
  title        = {Pith review of: Standing wave solutions of $abcd$-systems for water waves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H7452GEM}},
  note         = {Machine review of arXiv:2507.00436}
}
abstract

We continue the study for standing wave solutions of $abcd$-systems which was started by Chen and Iooss \cite{chen2005standing} for the BBM system via the Lyapunov-Schmidt method. In this paper, we will first discuss the feasibility of the Lyapunov-Schmidt method for bifurcating standing wave solutions of $abcd$-systems. These systems will be characterized into three categories: feasible, infeasible and uncertain feasible ones. In particular, we prove the existence of nontrivial bifurcating standing waves for the Bona-Smith system.

Figures

Figures reproduced from arXiv: 2507.00436 by the authors.

Figure 1
Figure 1. The the standing waves surface. Acknowledgements S. Li is supported by the National Natural Science Foundation of China (no. 12001084 and no. 12071061). 18 [PITH_FULL_IMAGE:figures/full_fig_p018_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    J.L. Bona, M. Chen, J. Saut. Boussinesq equations and other system for small-amplitude long waves in nonlinear dispersive media. I: Derivation and linear theory. J. Nonlinear Sci , 12(4):283–318, 2002

    work page 2002

  2. [2]

    J.L. Bona, M. Chen, J. Saut. Boussinesq equations and other systems for small-amplitude long waves in nonlinear dispersive media. II: The nonlinear theory. Nonlinearity, 17(3):925–952, 2004

    work page 2004

  3. [3]

    J.L. Bona, R. Smith. A model for the two-way propagation of water waves in a channel. Math. Proc. Cambridge Philos. Soc , 79(1):164–182, 1976

    work page 1976

  4. [4]

    Boussinesq

    J.V. Boussinesq. Th´ eorie g´ en´ erale des mouvements qui sont propag´ es dans un canal rectangulaire horizontal. C. R. Acad. Sci. Paris , 73(1):256–260, 1871

    work page

  5. [5]

    M. Berti. KAM theory for partial differential equations. Anal. Theory Appl , 35(3):235–267, 2019

    work page 2019

  6. [6]

    M. Chen, G. Iooss. Standing waves for a two-way model system for water waves. Eur. J. Mech. B, Fluids, 24(1):113–124, 2005

    work page 2005

  7. [7]

    M. Chen, G. Iooss. Periodic wave patterns of two-dimensional Boussinesq systems. Eur. J. Mech. B, Fluids, 25(4):393–405, 2006

    work page 2006

  8. [8]

    Haragus, G

    M. Haragus, G. Iooss. Local bifurcations, center manifolds, and normal forms in infinite-dimensional dynamical systems. Springer, 2011

    work page 2011

Show all 20 references
  1. [9]

    G. Iooss. Small divisor problems in fluid mechanics. J. Dyn. Differ. Equations , 27(3):787–802, 2015

    2015

  2. [10]

    Iooss, P.I

    G. Iooss, P.I. Plotnikov, J.F. Toland. Standing waves on an infinitely deep perfect fluid under gravity. Arch. Ration. Mech. Anal , 177(3):367–478, 2005

    2005

  3. [11]

    D.J. Kaup. A higher-order water-wave equation and the method for solving it. Prog. Theor. Phys , 54(2):396–408, 1975

    1975

  4. [12]

    S. H. Li, M. Chen, B. Y. Zhang. Standing lattice wave patterns of a Boussinesq system. J. Math. Fluid Mech, 21:1–21, 2019

    2019

  5. [13]

    S. H. Li, M. Chen. Diamond shaped standing wave patterns of a two-dimensional Boussinesq system. Appl Numer Math , 141:91–101, 2019

    2019

  6. [14]

    Peregrine

    D.H. Peregrine. Equations for water waves and the approximations behind them. Waves on beaches and resulting sediment transport , 95–121, 1972

    1972

  7. [15]

    Rabinowitz

    P.H. Rabinowitz. Some global results for nonlinear eigenvalue problems. J. Funct. Anal, 7(3):487–513, 1971

    1971

  8. [16]

    Plotnikov, J.F

    P.I. Plotnikov, J.F. Toland. Nash-Moser theory for standing water waves Arch. Ration. Mech. Anal , 159(1):1–83, 2001

    2001

  9. [17]

    R.L. Sachs. On the integrable variant of the Boussinesq system: Painlev´ e property, rational solutions, a related many-body system, and equivalence with the AKNS hierarchy. Physica D , 30(1–2):1–27, 1988. 19

    1988

  10. [18]

    Schonbek

    M.E. Schonbek. Existence of solutions for the Boussinesq system of equations. J. Differ. Equations , 42(3):325–352, 1981

    1981

  11. [19]

    Teng, T.Y

    M.H. Teng, T.Y. Wu. A bidirectional long-wave model. Methods Appl. Anal , 1(1):108–117, 1994

    1994

  12. [20]

    Chierchia, J

    L. Chierchia, J. You. KAM Tori for 1D Nonlinear Wave Equations with Periodic Boundary Conditions. Commun. Math. Phys , 211(2):497–525, 2000. 20

    2000

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.