Pith. sign in

REVIEW 3 major objections 5 minor 20 references

On symmetry of traveling solitary waves for dispersion generalized NLS

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper proves that boosted solitary waves for dispersion-generalized NLS are cylindrically symmetric about their velocity and satisfy a conjugation symmetry, up to translation and phase.

desk verdict A promising but incomplete symmetry proof: the crucial Fourier-support identity is asserted, not derived, and the actual equation gives a different Minkowski relation. read the letter →

arxiv 1908.06771 v1 pith:JI24RSWR submitted 2019-08-19 math.AP math-phmath.MP

Lars Bugiera , Enno Lenzmann , Armin Schikorra , Jérémy Sok This is my paper · ORCID
classification math.APmath-phmath.MP MSC 35Q5535B0635A2335R11
keywords travelingsolitarywavesdispersiongeneralizedNLSboostedgroundstatesFourierSteinerrearrangementsymmetrizationMinkowskisumconnectivityfractionalhalf-waveequation
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

Traveling solitary waves are the basic moving coherent structures of nonlinear dispersive equations, but for most dispersion operators there is no Galilean boost that turns a moving wave into a standing one, so the shape of a moving wave has been difficult to constrain. This paper shows that when the nonlinearity power $\sigma$ is an integer and the dispersion symbol is cylindrically symmetric and strictly increasing in the perpendicular frequency variables, every boosted ground state in $n \geq 2$ is cylindrically symmetric about the velocity direction and satisfies the conjugation symmetry that makes $\operatorname{Re} Q$ even and $\operatorname{Im} Q$ odd, up to translation and phase; in $n=1$ the conjugation symmetry alone holds. The proof Steiner-symmetrizes the Fourier transform of a minimizer, proves the rearranged function is again a minimizer, and then uses a rigidity result to force the Fourier phase to be affine. The theorems cover fourth-order (biharmonic) NLS, fractional NLS, and half-wave and square-root Klein-Gordon equations.

What carries the argument

The main tool is the Fourier Steiner rearrangement $u^{\sharp_e} = \mathcal{F}^{-1}((\mathcal{F}u)^{*_e})$, where $*_e$ is the symmetric-decreasing rearrangement in the $(n-1)$-dimensional hyperplanes perpendicular to $e$. Applied to a boosted ground state, it decreases the kinetic part of the Weinstein functional $J_{v,\omega,\sigma}$ while the Brascamp–Lieb–Luttinger inequality increases the $L^{2\sigma+2}$ denominator, so $J_{v,\omega,\sigma}(u^{\sharp_e}) \leq J_{v,\omega,\sigma}(u)$; equality forces $|\widehat{u}| = |\widehat{u}|^{*_e}$. The connectedness lemmas for the frequency support $\Omega$ then activate the equality case of the Hardy–Littlewood majorant problem, which converts equality into the affine phase rigidity $\widehat{Q}_{\omega,v}(\xi) = e^{i(\alpha + \beta \cdot \xi)} |\widehat{Q}_{\omega,v}|^{*_e}(\xi)$.

What would settle it

Compute the support of the Fourier-transformed profile equation: $\widehat{|Q|^{2\sigma}Q}$ has support $(\sigma+1)\Omega \oplus \sigma(-\Omega)$, so the claimed identity $\Omega = \oplus_{k=1}^{2\sigma+1} \Omega$ requires $\Omega = -\Omega$. A concrete check is to construct or numerically exhibit a boosted ground state whose frequency support is not symmetric about the origin; then the paper's connectedness step cannot hold as written, and the symmetry conclusion would need a different proof.

Watch

Extended reading notes

Core claim

The central claim is that symmetry of traveling solitary waves is not an artifact of Galilean invariance but follows from a variational–rearrangement mechanism available for any dispersion operator in the stated class. Concretely, under Assumptions 1 and 2 with $v \parallel e$ and $0 < \sigma < \sigma_*$ an integer, any boosted ground state $Q_{\omega,v} \in H^s(\mathbb{R}^n)$ has the form $Q_{\omega,v}(x) = e^{i\alpha} Q^{\sharp_e}(x + x_0)$, so it is cylindrically symmetric about $e$ and satisfies the conjugation symmetry almost everywhere. In $n=1$ the same argument yields $Q_{\omega,v}(x) = e^{i\alpha} Q^{\bullet}(x + x_0)$, which makes $\operatorname{Re} Q_{\omega,v}$ even and $\operatorname{Im} Q_{\omega,v}$ odd. The proof's pivotal step is showing that the open set $\Omega = \{\xi \in \mathbb{R}^n : |\widehat{Q}_{\omega,v}(\xi)| > 0\}$ is connected; the authors deduce this from the fact that $\Omega$ equals its own $(2\sigma+1)$-fold Minkowski sum, together with cylindrical symmetry of $\Omega$ (or one-dimensionality in $n=1$).

Load-bearing premise

The proof depends on the identity that the frequency set where the minimizer's Fourier transform does not vanish equals its own $(2\sigma+1)$-fold Minkowski sum; if that set equality fails for a genuine minimizer, the connectedness argument that unlocks the phase-rigidity result collapses.

Editorial extensions

If this is right

  • Fourth-order (biharmonic) NLS, fractional NLS, and half-wave and square-root Klein-Gordon equations with integer subcritical $\sigma$ admit no symmetry-breaking boosted ground states: every minimizer is a translate and phase of a function whose Fourier modulus is Steiner-symmetric.
  • When $\widehat{Q}_{\omega,v} \in L^1$, the symmetrized profile is positive definite in Bochner's sense, so after centering it attains its maximum at the origin, $|Q_{\omega,v}(x)| \leq Q_{\omega,v}(0)$.
  • In $n \geq 2$ the profile is completely determined by the Steiner rearrangement of its Fourier modulus; in particular, all boosted ground states for given parameters have the same Fourier modulus and differ only by translation and phase.
  • For $n=1$, the conjugation symmetry holds for half-wave and square-root Klein-Gordon equations with arbitrary integer $\sigma$, since the frequency support must be one of $\mathbb{R}_{>0}$, $\mathbb{R}_{<0}$, or $\mathbb{R}$.

Reading between the lines

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

  • The all-plus Minkowski identity $\Omega = \oplus_{k=1}^{2\sigma+1} \Omega$ deserves scrutiny: the Fourier transform of $|Q|^{2\sigma}Q$ is a convolution with $\sigma$ factors of $\overline{\widehat{Q}}(-\cdot)$, whose support is $(\sigma+1)\Omega \oplus \sigma(-\Omega)$. If a minimizer's frequency support is not symmetric about the origin, the paper's connectedness step would need a mixed-sign var
  • The same rearrangement scheme looks transferable to anisotropic dispersions such as $i\partial_t u = \Delta_x u - \gamma \sqrt{-\Delta_y} u - |u|^{2\sigma} u$, where the natural rearrangement would act only in the Fourier variables conjugate to the anisotropic part; proving symmetry there would test the robustness of the Fourier-Steiner mechanism.
  • If the connectedness and rigidity steps hold, boosted ground states are characterized by their Fourier modulus, which suggests that uniqueness questions for traveling waves in these models reduce to one-dimensional monotonicity problems for the symbol $p$.
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 / 5 minor

Summary. The paper studies traveling solitary waves for dispersion-generalized NLS equations i∂_t u = P(D)u - |u|^{2σ}u with integer σ. It proves an existence theorem for boosted ground states by variational compactness methods, develops Fourier-space Steiner rearrangement inequalities, and then aims to show that every boosted ground state is, up to translation and phase, given by the inverse Fourier transform of its Steiner-rearranged Fourier modulus. This would imply cylindrical symmetry about the velocity direction (n ≥ 2) and conjugation symmetry (n ≥ 1). The central technical step is a claimed identity for the Fourier support Ω = {ξ : |Q̂_{ω,v}(ξ)| > 0}, namely Ω = ⊕_{k=1}^{2σ+1} Ω, which is used to prove that Ω is connected and thereby to invoke the equality case of the Hardy-Littlewood majorant problem.

Significance. If the main symmetry theorem were valid, it would be a substantial advance: it would establish symmetry properties for traveling solitary waves in a broad class of non-Galilean-invariant dispersive equations, including fractional NLS, biharmonic NLS, half-wave, and square-root Klein-Gordon equations. The paper also contains a useful self-contained proof of existence of boosted ground states and several Fourier rearrangement inequalities that are of independent interest. The manuscript is clearly written and the existence part is carefully argued. However, the main theorem rests on an unsupported and, as stated, incorrect support identity, so the symmetry conclusions are not established; the significance is therefore conditional on a substantial repair of the proof.

major comments (3)
  1. [§4.2, Eq. (1.16)] The identity Ω = ⊕_{k=1}^{2σ+1} Ω is asserted without derivation. For integer σ, the nonlinearity satisfies |Q|^{2σ}Q = Q^{σ+1} \bar{Q}^{σ}; its Fourier transform is the convolution of σ+1 copies of Q̂ and σ copies of \overline{Q̂(-·)}. Even after passing to the rearranged profile Q^{♯_e}, whose Fourier transform f = |Q̂|^{*e} is nonnegative, the profile equation gives supp(f) = (σ+1)supp(f) ⊕ σ(-supp(f)) by Lemma 4.1, not supp(f) = (2σ+1)supp(f). Thus Eq. (1.16) is not the relation forced by the profile equation, and the hypothesis f = h(f * ... * f) of Lemma 4.2 is not satisfied by f = |Q̂|^{*e}.
  2. [§5, Lemma 5.1 and Eq. (5.1)] The one-dimensional classification Ω ∈ {R_{>0}, R_{<0}, R} is consistent with the paper's assumed identity Ω = mΩ, but it is not consistent with the support identity actually forced by the Fourier-transformed profile equation. If Ω = R_{>0}, then (σ+1)Ω ⊕ σ(-Ω) = R, not R_{>0}. Therefore the proof of Theorem 3 does not merely lack a derivation of (5.1); it starts from an identity that is incompatible with the equation satisfied by the profile, so the contradiction argument in Lemma 5.1 does not apply to the actual support set.
  3. [§4.2 and Lemma A.4] Because the connectedness of Ω = {|Q̂_{ω,v}| > 0} is not established, the equality case of the Hardy-Littlewood majorant problem stated in Lemma A.4 cannot be invoked. The conclusion Q̂_{ω,v}(ξ) = e^{i(α + β·ξ)} (|Q̂_{ω,v}|)^{*e}(ξ), and hence the final statements of Theorems 2 and 3, do not follow. Since connectedness of the Fourier support is the load-bearing step of the entire symmetry argument, this gap invalidates the main theorems as written.
minor comments (5)
  1. [§3.1, Lemma 3.1] The proof refers to 'item (iv)' in Lemma 3.1, but the lemma contains only items (i)–(iii); the reference should be to item (iii).
  2. [§3.2, proof of Lemma 3.2] Two consecutive paragraphs in the proof are both labeled 'Step 3'; the second one should be renumbered as 'Step 4' to avoid confusion.
  3. [§4.1, Lemma 4.2] The phrase 'with m factors in the convolution product on the left side' should refer to the right side of Eq. (4.1), where the m-fold convolution appears.
  4. [§2.1] After the rescaling, the text says Q_{ω,v} solves (1.5), but (1.5) is the explicit equation for the classical NLS case; the intended reference is the profile equation (1.3).
  5. [§1.4, Theorem 3] Theorem 3 states Q_{ω,v} ∈ H^{1/2}(R), while the hypotheses of Theorem 1 allow general s ≥ 1/2; the statement should either assume s = 1/2 or read H^s(R).

Circularity Check

1 steps flagged · score 6.0 of 10

Fourier-support identity (1.16) is asserted without proof; the actual profile equation gives mixed-sign convolutions, so Lemma 4.2's key premise is unsupported.

  1. other [Eq. (1.16) and Section 4.2, proof of Theorem 2; reused as Eq. (5.1) in Section 5 for Theorem 3]
    "To eventually show that Ω above is in fact connected in our case, we will exploit the equation (1.5) in Fourier space. As a consequence, we find that Ω must be equal to its m-fold Minkowski sum with the integer m = 2σ + 1, i.e., we have (1.16) Ω = ⊕_{k=1}^{m} Ω := {y1 + ... + ym : yk ∈ Ω, 1 ≤ k ≤ m}. ... By writing the equation (1.3) in Fourier space, we find that the set Ω = {Q̂*1 > 0} = {|Q̂(ξ)| > 0} is a connected set in Rn by using Lemma 4.2 with f = |Q̂|*1 and h = (pv(ξ)+ω)^{-1}."

    Lemma 4.2 requires f to satisfy (4.1), f(x) = h(x)(f * ... * f)(x) with m factors. But the Fourier transform of the profile equation (1.3) is (p_v(ξ)+ω)Q̂(ξ) = F(|Q|^{2σ}Q)(ξ). For integer σ, F(|Q|^{2σ}Q) is a convolution of σ+1 copies of Q̂ and σ copies of \overline{Q̂(-·)}; hence its support is contained in (σ+1)Ω ⊕ σ(−Ω), not necessarily in the all-plus Minkowski sum mΩ. The equality Ω = mΩ asserted in (1.16) is therefore not a consequence of the profile equation; it would follow if the phases of Q̂ were affine, i.e., if there were no cancellation in the convolution, which is exactly the rigidity conclusion of Lemma A.4 that the connectedness argument is supposed to unlock.

full rationale

The main theorem's proof chain is: minimizer -> equality in the Brascamp-Lieb-Luttinger rearrangement -> |Q̂| = |Q̂|^{*e} -> connectedness of Ω -> Lemma A.4 -> affine phase. The only load-bearing step that is not derived is the connectedness premise. The paper asserts Eq. (1.16), Ω = mΩ, as a consequence of writing the profile equation in Fourier space, but the actual Fourier-transformed equation yields a convolution with mixed signs: σ+1 copies of Q̂ and σ copies of \overline{Q̂(-·)}. The support of such a convolution is contained in (σ+1)Ω ⊕ σ(−Ω), not in the all-plus sum mΩ. Equality in this support inclusion would require exactly the kind of phase rigidity that the paper is trying to prove. Consequently, Lemma 4.2 is applied with a hypothesis that has not been established; without Eq. (1.16), the connectedness of Ω, and hence the applicability of Lemma A.4, does not follow as written. The use of [17] is a self-citation, but Lemma A.4 is a stated rigidity theorem with assumptions that do not include the target result, so it would be legitimate external support if its hypothesis (connected support) were established; the circularity lies in the unsupported bridge to that hypothesis, not in the citation itself. The same unsupported identity is reused in the one-dimensional Theorem 3 via Eq. (5.1). This is a partial circularity: the central proof reduces to an asserted structural identity that is not forced by the equations and would require the conclusion to prove. Score 6.

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

The central claim rests on an unproven support identity that is effectively assumed rather than derived. The other axioms are either standard inequalities or explicit domain restrictions. No fitted parameters or invented entities are present.

assumptions (4)
  • ad hoc to paper The Fourier support identity Ω = ⊕_{k=1}^{2σ+1} Ω for Ω = {ξ: |Q̂_{ω,v}(ξ)|>0} (Eq. 1.16).
    Used to prove connectedness of Ω in Lemma 4.2 and Theorem 3. The text asserts it follows from the profile equation in Fourier space, but the Fourier transform of |Q|^{2σ}Q involves σ+1 copies of Q̂ and σ copies of \bar{Q̂}(-·), yielding a Minkowski-difference support inclusion, not the stated equality.
  • domain assumption Lemma A.4, the Lenzmann-Sok rigidity theorem for equality in the Hardy-Littlewood majorant problem.
    Imported from [17], a preprint by two of the present authors. It is a substantial external theorem, not machine-checked and not re-proved here; the present paper's conclusion depends on it once connectedness is established.
  • domain assumption Assumption 2: the symbol p(ξ) is cylindrically symmetric with respect to e and strictly increasing in |ξ_⊥|.
    This restricts the class of dispersion operators; it is stated as an assumption, but the abstract's claim of applicability to 'a broad class' inherits this restriction.
  • standard math Brascamp-Lieb-Luttinger inequality in Fourier space (Lemma A.3).
    Standard rearrangement inequality, cited and accepted; used for the L^p rearrangement bound in Lemma 3.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On symmetry of traveling solitary waves for dispersion generalized NLS." pith.science (2026). https://pith.science/paper/JI24RSWR

@misc{pith2026190806771,
  author       = {Pith},
  title        = {Pith review of: On symmetry of traveling solitary waves for dispersion generalized NLS},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JI24RSWR}},
  note         = {Machine review of arXiv:1908.06771}
}
abstract

We consider dispersion generalized nonlinear Schr\"odinger equations (NLS) of the form $i \partial_t u = P(D) u - |u|^{2 \sigma} u$, where $P(D)$ denotes a (pseudo)-differential operator of arbitrary order. As a main result, we prove symmetry results for traveling solitary waves in the case of powers $\sigma \in \mathbb{N}$. The arguments are based on Steiner type rearrangements in Fourier space. Our results apply to a broad class of NLS-type equations such as fourth-order (biharmonic) NLS, fractional NLS, square-root Klein-Gordon and half-wave equations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 19 canonical work pages

  1. [1]

    Frank and Nicola Visciglia, Maximizers for Gagliardo-Nirenberg in- equalities and related non-local problems , Math

    Jacopo Bellazzini, Rupert L. Frank and Nicola Visciglia, Maximizers for Gagliardo-Nirenberg in- equalities and related non-local problems , Math. Ann. 360 (2014), no. 3-4, 653–673

    work page 2014

  2. [2]

    Jacopo Bellazzini, Vladimir Georgiev, Enno Lenzmann, an d Nicola Visciglia, On Traveling Solitary Waves and Absence of Small Data Scattering for Nonlinear Hal f-Wave Equations , Comm. Math. Phys. (2019), in press, https://doi.org/10.1007/s00220-019-03374-y

    work page doi:10.1007/s00220-019-03374-y 2019

  3. [3]

    Denis Bonheure, Jean-Baptiste Casteras, Edeson Moreira dos Santos, and Robson Nascimento, Or- bitally stable standing waves of a mixed dispersion nonline ar Schr¨ odinger equation, SIAM J. Math. Anal. 50 (2018), no. 5, 5027–5071

    work page 2018

  4. [4]

    Lars Bugiera, Enno Lenzmann, Armin Schikorra, and J´ er´ e my Sok, On Symmetry and Uniqueness of ground state for linear and nonlinear elliptic PDEs , Preprint (2019)

    work page 2019

  5. [5]

    Thomas Boulenger, Dominik Himmelsbach, and Enno Lenzman n, Blowup for fractional NLS , J. Funct. Anal. 271 (2016), no. 9, 2569–2603

    work page 2016

  6. [6]

    Brascamp, Elliott H

    Herm J. Brascamp, Elliott H. Lieb and Joaquin M. Luttinger , A general rearrangement inequality for multiple integrals , J. Functional Analysis 17 (1974), 227–237. MR 0346109

    work page 1974

  7. [7]

    Ha ¨ ım Br´ ezis and Elliot Lieb,A relation between pointwise convergence of functions and c onvergence of functionals , Proc. Amer. Math. Soc. 88 (1983), no. 3, 486–490

    work page 1983

  8. [8]

    Capriani, The Steiner rearrangement in any codimension , Calc

    Guiseppe M. Capriani, The Steiner rearrangement in any codimension , Calc. Var. Partial Differen- tial Equations 49 (2014), no. 1-2, 517–548. MR 3148126

    work page 2014

Show all 20 references
  1. [9]

    Gadi Fibich, The nonlinear Schr¨ odinger equation , Applied Mathematical Sciences, 192, Springer, Cham, 2015

    2015

  2. [10]

    Gadi Fibich, Boaz Ilan, and George Papanicolaou, Self-focusing with fourth-order dispersion , SIAM J. Appl. Math. 62 (2002), no. 4, 1437–1462

    2002

  3. [11]

    Lieb, and Michael Loss,Stability of Coulomb systems with magnetic fields

    J¨ urg Fr¨ ohlich, Elliott H. Lieb, and Michael Loss,Stability of Coulomb systems with magnetic fields. I. The one-electron atom , Comm. Math. Phys. 104 (1986), no. 2, 251–270

    1986

  4. [12]

    7, 166pp

    Patrick G´ erard, Enno Lenzmann, Oana Pocovnicu, and Pie rre Rapha¨ el,A two-soliton with transient turbulent regime for the cubic half-wave equation on the rea l line , Annals of PDE 4 (2018), Art. 7, 166pp

    2018

  5. [13]

    Dominik Himmelsbach, Blowup, solitary waves and scattering for the frac- tional nonlinear Schr¨ odinger equation , PhD Thesis (2017), University of Basel, http://edoc.unibas.ch/diss/DissB_12432

    2017

  6. [14]

    Pure Appl

    Younghun Hong and Yannick Sire, On Fractional Schr¨ odinger Equations in Sobolev Spaces , Com- mun. Pure Appl. Anal. 14 (2015), no. 6, 2265–2282

    2015

  7. [15]

    V. I. Karpman and A. G. Shagalov, Stability of solitons described by nonlinear Schr¨ odinger -type equations with higher-order dispersion , Phys. D 144 (2000), no. 1-2, 194–210

    2000

  8. [16]

    Rational Mech

    Joachim Krieger, Enno Lenzmann and Pierre Rapha¨ el, Nondispersive solutions to the L2-critical Half-Wave Equation , Arch. Rational Mech. Anal. 209 (2013), 61–129

    2013

  9. [17]

    Enno Lenzmann and J´ er´ emy Sok,A sharp rearrangement principle in Fourier space and symmet ry results for PDEs with arbitrary order , Preprint (2018), arXiv:1805.06294

    2018 arXiv

  10. [18]

    Lieb and Michael Loss, Analysis (Second edition), American Mathematical Society, Prov- idence, RI, 2001

    Elliott H. Lieb and Michael Loss, Analysis (Second edition), American Mathematical Society, Prov- idence, RI, 2001. MR 1817225

    2001

  11. [19]

    Ivan Naumkin and Pierre Rapha¨ el, Om small traveling waves to the mass critical fractional NLS , Calc. Var. Partial Differential Equations 57 (2018), no. 3, 36pp

    2018

  12. [20]

    Reed and B

    M. Reed and B. Simon, Methods of modern mathematical physics. II. Fourier analys is, self- adjointness, Academic Press, New York-London, 1975. University of Basel, Department of Mathematics and Compute r Science, Spiegelgasse 1, CH-4051 Basel, Switzerland. E-mail address : lar...

    1975

Pith tools

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