Pith. sign in

REVIEW 3 major objections 4 minor 24 references

Local classical solutions of a kinetic equation for three waves interactions in presence of a Dirac measure at the origin

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

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

Pith's one-line read A singular Rayleigh-Jeans wave profile makes the condensate density grow, not stay constant.

desk verdict Technically serious and genuinely new construction, but the main theorem as printed is not proven: the flux computation drops a λ² factor, so the advertised condensate growth formula and time change do not follow. read the letter →

arxiv 2505.00267 v1 pith:3TXGDGZH submitted 2025-05-01 math.AP

Miguel Escobedo This is my paper · ORCID
classification math.AP MSC 45K0545A0545M0582C4082C0582C22
keywords waveturbulencethreewavescollisionscondensateclassicalsolutionsingularRayleigh-Jeansequilibriumkineticequationsemigroupestimatesfixedpoint
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 proves that the kinetic system describing three-wave interactions around a condensate admits local classical solutions whose wave density is singular at zero frequency, with $F(\tau,X)\sim\lambda(\tau)/X$ as $X\to0$. The result matters because such singular behavior makes the condensate density increase in time: $n(\tau)=n(0)\exp\big((\pi^2/3)\int_0^\tau \lambda(s)^2\,ds\big)$, whereas a regular density near $X=0$ would leave $n$ constant. The construction splits the solution into a singular leading term and a correction, linearizes the collision operator around the equilibrium $X^{-1}$, and closes a fixed-point argument using new semigroup smoothing estimates. If the theorem is right, it supplies a rigorous mechanism for condensate growth in wave turbulence and validates a formal prediction based on the flux of waves toward zero frequency.

What carries the argument

The argument is carried by the ansatz $f(t,X)=\big(\lambda(t)\phi(X)+g(t,X)\big)/X$, which separates the singular Rayleigh-Jeans leading term $\lambda/X$ from a correction $g/X$. Substitution linearizes the collision operator around $X^{-1}$ into the operator $L$ defined in (1.21); the paper studies the semigroup $S(t)$ generated by $L$, whose fundamental solution is known explicitly through the Mellin transform and the meromorphic function $B(s)$ of (10.20)--(10.22). The new Lemma 2.3 uses the pole-zero structure of $B$ to prove a modulus-of-continuity estimate for $u(t,X)/X$ in terms of an integrable function $\Omega_{2\theta}$, and this integrability is what allows the flux integral to be evaluated as $-\pi^2\lambda^2/3$. A fixed-point argument on $g$ and $\lambda$, with $\lambda$ solving the integral equation (8.1), yields the local classical solution.

What would settle it

Numerically evaluate the meromorphic function $B(s)$ defined by (10.20)--(10.22) in the strip $0<\Re(s)<2$ and compare its first poles and zeros with Proposition 10.2; a single mismatch would break the semigroup estimate (2.7) and the fixed-point construction. Separately, for a numerically constructed solution of the form $F=(\lambda\phi+g)/X$, one could measure the flux $\lim_{\delta\to0}\int_\delta^\infty \tilde Q(F,F)\sqrt{X}\,dX$ and check whether it equals $-\pi^2\lambda^2/3$.

Watch

Extended reading notes

Core claim

The paper establishes that the coupled three-wave kinetic system with a condensate has local classical solutions whose wave-density component is singular at zero frequency, behaving as $F(\tau,X)=\lambda(\tau)/X+o(1/X)$ as $X\to0$, for a positive function $\lambda$ determined by the initial data. With the condensate density defined by $n(\tau)=n(0)\exp\big((\pi^2/3)\int_0^\tau \lambda(s)^2\,ds\big)$, the pair $(F,n)$ satisfies the system pointwise and in $L^\infty_{\mathrm{loc}}(L^1_{\mathrm{loc}})$, conserves total wave number and energy, and makes $n$ strictly increasing. The strictly increasing $n$ is the paper's central discovery: a regular behavior of $F$ near $X=0$ would force $n$ to be constant by Fubini's theorem, so the singular Rayleigh-Jeans behavior is exactly what drives the condensate growth. The flux of waves toward zero frequency is computed as $-\pi^2\lambda^2/3$, matching a formal prediction.

Load-bearing premise

The whole construction stands on the sharp semigroup estimates for the linearized operator, which in turn depend on the exact locations of the poles and zeros of the function $B(s)$; if any of those locations or the quoted fundamental-solution formula is wrong, the fixed point that produces the solution does not close.

Editorial extensions

If this is right

  • The condensate density increases strictly on $(0,T)$, so the singular wave profile at zero frequency actively feeds the condensate rather than leaving it static.
  • The total number of waves and the energy remain conserved, so the growth of $n$ is financed by a transfer of waves toward zero frequency, not by loss from the system.
  • Any truncation of $F$ as a regular function near $X=0$ would miss the nonzero flux; the form $\lambda/X$ is the natural leading order for non-equilibrium condensate dynamics.
  • The local classical solution exists for a family of initial perturbations $\phi(X)/X$ with $\phi\equiv1$ near zero and $\phi'\le0$, so the theorem covers a large class of perturbations of the equilibrium $X^{-1}$.
  • Equation (1.14) gives an explicit exponential-in-$\int\lambda^2$ law for $n$, so the rate of condensate growth is controlled by the time-integrated square of the singular coefficient $\lambda$.

Reading between the lines

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

  • If the local-in-time singular solutions persist globally, they would provide a rigorous kinetic explanation of condensate growth from a Rayleigh-Jeans spectrum, going beyond the formal computation quoted from the literature.
  • The exact prefactor $\pi^2/3$ appears independent of the cut-off profile $\phi$ and of $R$; one could test whether the flux integral is a universal constant for any solution with leading order $\lambda/X$, linking the result to universality of wave-turbulence spectra.
  • The same linearized-operator and semigroup strategy could be tried on the Bose-gas variant with operator $\tilde Q_q$ by treating the additional particle-only collision terms as a perturbation, as the author suggests in a remark; a proof would extend the result to the Nordheim equation with condensate.
  • A numerical experiment could check the predicted growth law $n(\tau)=n(0)\exp\big((\pi^2/3)\int_0^\tau\lambda(s)^2\,ds\big)$ for approximate solutions, providing an observable signature distinguishing singular from regular equilibria.
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 the coupled wave-turbulence/condensate system (1.1)-(1.3) and claims local classical solutions whose wave density behaves as F(τ,X) ≈ λ(τ)/X near X=0, with condensate density satisfying n(τ)=n(0)exp((π²/3)∫λ²). The proof is based on an ansatz f=λϕ+g/X, a fixed-point argument in weighted spaces X_{-r,r+q}, detailed semigroup estimates for the linearized operator L, and an explicit flux computation for the singular part X^{-1}. Theorem 1.2 establishes existence in a restricted parameter range, and Theorem 1.1 is then stated for r∈[0,1/2), q∈[0,3), together with conservation laws (1.15), (1.16).

Significance. If the main result were valid, it would provide a rigorous construction of singular Rayleigh-Jeans-type fluctuations and prove the formal prediction that the condensate density is not constant in time. The paper contains substantial technical work: explicit Mellin representation of the semigroup, pointwise bounds in Propositions 2.1-2.2, the new regularizing Lemma 2.3, and a contraction fixed point in which λ is determined rather than fitted. These are valuable ingredients. However, the central advertised conclusion is presently not established because of the dropped λ² factor in the flux computation and because the theorem statement claims a parameter range not covered by the proof. The paper is therefore best viewed as a substantial but incomplete draft whose main claim needs repair.

major comments (3)
  1. [§9, Proposition 9.1 and §9.1] The flux computation drops the factor λ(t)². In the proof of Proposition 9.1 the decomposition is Aδ(f<,f<)=λ(t)²Aδ(F1,F1)+λ(t)Aδ(F1,h)+λ(t)Aδ(h,F1)+Aδ(h,h). The proof then shows Aδ(F1,F1)→-π²/3 and that the cross terms and Aδ(h,h) vanish, so the rigorous conclusion is ∫~Q(f(t),f(t))√X dX = -(π²/3)λ(t)², not -π²/3. Section 9.1 uses the constant value to set n'/n=π²/3, whereas Theorem 1.1, Eq. (1.14), requires n'/n=(π²/3)λ(τ)². Since λ is only known to satisfy |β−1|<1/4 and is not shown to be identically 1, the constructed n does not satisfy (1.14), and the claimed inversion of the time change (1.4) is inconsistent. This is the central advertised property and must be corrected, for instance by defining n through n'/n=(π²/3)λ² and adjusting the time change accordingly.
  2. [Theorem 1.1 vs Theorem 1.2] Theorem 1.1 is stated for r∈[0,1/2), q∈[0,3), but the only existence result proved, Theorem 1.2, covers r∈(0,1/2), q∈(1,3/2). The proof of Proposition 8.2 explicitly restricts to 0<r<1/2 and 0<q<3/2. Moreover, Proposition 9.1 relies on the assertion that h(t)=g(t)/X belongs to L1(0,∞), which requires r>0 and q>0; for r=0 or q=0 this integrability fails. Thus the endpoint r=0 and values q∈[0,1] or q≥3/2, including all q=0 cases, are not covered by the arguments, and the theorem statement must be restricted accordingly or supplied with additional proofs.
  3. [§9, proof of (1.16)] The proof that Φ∈L1((0,∞)²) is completed by the statement 'I2,1 finite if q−r>1' in the estimate of I2,1. This condition q−r>1 is not assumed in Theorem 1.1 (nor in Theorem 1.2), so the conservation law (1.16) is not established for the stated parameter range. The assertion that (1.16) 'follows from the symmetry properties of ~Q' is not sufficient for the singular functions considered here; a separate argument is needed under the hypotheses actually used, or the theorem must be restricted to q−r>1.
minor comments (4)
  1. [§7, Eq. (7.1)] Equation (7.1) contains a typographical error: it reads 'g(t)=g(τ)/τ', which is dimensionally inconsistent; it should presumably define the change of variables g(t)=g(τ), τ=∫β^{-1}dt, and this should be written carefully.
  2. [§2, use of B(1)] The symbol B(1) is used before the function B(s) is defined in (10.20)-(10.22); please give the definition or a reference at first use.
  3. [Throughout] The text contains many OCR-like artifacts (e.g., '/BD', 'bracehtipupleft', and stray vertical bars in displayed formulas) that make the paper unnecessarily hard to read and should be removed in the final version.
  4. [§9.1, property (1.15)] The sentence 'Property (1.15) follows from the very definition of n(τ)' appears before n has been linked to the ODE; the argument should be spelled out or moved after n is defined.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the nonlinear existence argument is not forced by its inputs, and the prior linear-semigroup results cited from the author's earlier work are modular rather than conclusion-bearing; the main caveat is a non-circular consistency gap in Section 9.1.

full rationale

The paper constructs the solution through a fixed-point ansatz f(t,X)=(λ(t)φ(X)+g(t,X))/X. The function λ is not fitted to n or to the target formula (1.14); it is determined by the integral equation (8.1), and the rate π²/3 is obtained by direct integration of the leading term Aδ(F1,F1) in Proposition 9.1. The regularity estimates used to close the fixed point depend on Propositions 2.1 and 2.2 and Lemma 2.3; the first two are quoted from [10] and the fundamental-solution expansions in the proof of Lemma 2.3 are quoted from [9]. These are linear semigroup results whose assumptions do not include the existence of the nonlinear solution, so the dependence is modular and not a self-citation chain that smuggles in the conclusion. No equation in the paper is shown to be equivalent to an input by construction: the asymptotic behavior X^{-1}λ(τ) is an ansatz rather than a consequence of the target, and the leading flux computation does not use the claimed monotonicity of n as an assumption. A genuine caveat is that Proposition 9.1 states the limit of the flux as −π²/3 after inserting f< = λ(t)F1 + h, which drops the factor λ(t)² that the displayed decomposition would produce; Section 9.1 then defines n(τ)=e^(π²τ/3) rather than n(0)exp((π²/3)∫λ²), so the proof of (1.14) appears inconsistent unless λ≡1. Separately, the endpoint and range extension from Theorem 1.2 to Theorem 1.1 is not justified by the displayed proof, since Proposition 8.2 explicitly requires r∈(0,1/2) and q<3/2. These are correctness and rigor gaps in the derivation as written, not circular reductions, so they are noted here without raising the circularity score.

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

The central claim rests on prior semigroup and Mellin transform results from the author's own work, on standard fixed point tools, and on the physics modeling assumption that (1.1)-(1.3) is the correct reduced system. No new particles, forces, or conserved quantities are introduced by this paper beyond the mathematical solution classes.

free parameters (3)
  • R = R > R*(r,q) large enough
    Cutoff radius in the initial data φ(X)=φ(X/R); Theorem 1.1 requires R large so that the quadratic term Q_N(φ) is small (Proposition 4.1). It is chosen in the proof, not fitted to data.
  • T* = T* < T*(r,q) small enough
    Time horizon for local existence; the fixed point contraction in Section 8 requires T small. It is an ad hoc proof parameter.
  • M* = M* small
    Radius of the fixed point ball B_{T*,X^{-r,r+q}}(0,M*); chosen small to make the map T a contraction. It is an ad hoc proof parameter.
assumptions (3)
  • standard math Banach fixed point theorem and Duhamel formula are valid in the chosen weighted spaces.
    Used throughout Sections 7 and 8 to construct g and λ via contraction; these are classical tools.
  • standard math The semigroup S(t) generated by L has the pointwise estimates and Mellin representation stated in Propositions 2.1 and 2.2, and the function B(s) has the pole and zero structure described in Proposition 10.2.
    These are prior theorems from [9] and [10] quoted in Section 2; they are load-bearing for the regularizing estimate in Lemma 2.3 and for many bounds in the fixed point argument.
  • domain assumption The physical system (1.1)-(1.3) correctly models fluctuations around equilibrium for 3D cubic NLS waves with a condensate after neglecting four-wave interactions and under suitable temperature assumptions.
    This modeling is taken from the physics literature [7,8,17,19] and is not proved in this paper; the theorem concerns this specific system.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Local classical solutions of a kinetic equation for three waves interactions in presence of a Dirac measure at the origin." pith.science (2026). https://pith.science/paper/3TXGDGZH

@misc{pith2026250500267,
  author       = {Pith},
  title        = {Pith review of: Local classical solutions of a kinetic equation for three waves interactions in presence of a Dirac measure at the origin},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3TXGDGZH}},
  note         = {Machine review of arXiv:2505.00267}
}
read the original abstract

The existence of local, classical solutions is proved, for a system of two coupled equations that describe, in the framework of the wave turbulence theory, the fluctuations around an equilibrium, of a system of nonlinear waves satisfying the 3-d cubic Schr\"odinger equation, weakly interacting in presence of a condensate. The function that describes the density of waves behaves like a singular Rayleigh Jeans equilibria near the origin, and induces a strictly increasing behavior in time of the function describing the condensate's density.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 23 canonical work pages

  1. [1]

    Alexandre, L

    R. Alexandre, L. Desvillettes, C. Villani, B. Wennberg, Entropy Dissipation and Long-Range Interactions. Arch. Rational Mech. Anal. 152, 3 27–355 (2000)

    work page 2000

  2. [2]

    Alexandre, Y

    R. Alexandre, Y. Morimoto, S. Ukai, C.-J. Xu, T. Yang, Reg ularizing Effect and Local Existence for the Non-Cutoff Boltzmann Equation. Arch Rational Mech Anal 198, 39–123 (2010)

    work page 2010

  3. [3]

    Bandyopadhyay, J

    J. Bandyopadhyay, J. Lukkarinen, Smoothing Properties of a Linearization of the Three Waves Collision Operator in the bosonic Boltzmann-No rdheim Equation. J. Funct. Anal., 286 (2024) 110289

    work page 2024

  4. [4]

    J. L. Chen, W.X. Li, C.J. Xu, Sharp regularization effect fo r the non-cutoff Boltzmann equation with hard potentials. Ann. Inst. H. Poincar´ e C Ana l. Non Lin´ eaire (2024), DOI 10.4171/AIHPC/121

    work page doi:10.4171/aihpc/121 2024

  5. [5]

    Cort´ es and M

    E. Cort´ es and M. Escobedo, On a system of equations for th e normal fluid-condensate interaction in a Bose gas. J. Funct. Anal. , 278 (2020), 108315

    work page 2020

  6. [6]

    Deng and Z

    Y. Deng and Z. Hani, Long time justification of wave turbul ence theory. Preprint, arXiv:2311.10082 [math.AP]

    arXiv

  7. [7]

    Dyachenko, A

    S. Dyachenko, A. C. Newell, A. Pushkarev and V. E. Zakharo v, Optical turbulence: weak turbulence, condensates and collapsing filaments in th e nonlinear Schr¨ odinger equation. Phys. D, 57 (1992) 96-160

    work page 1992

  8. [8]

    Eckern, Relaxation processes in a condensed Bose gas

    U. Eckern, Relaxation processes in a condensed Bose gas. J. Low Temp. Phys. , 54 (1984), 333–359. 10.1007/BF00683281

    work page doi:10.1007/bf00683281 1984

Show all 24 references
  1. [9]

    Escobedo, Classical approximation of a linearized th ree waves kinetic equation

    M. Escobedo, Classical approximation of a linearized th ree waves kinetic equation. J. Funct. Anal. 282 (2022), 109390

    2022

  2. [10]

    Escobedo, Regularizing effects in a linear kinetic equ ation for cubic interactions, J

    M. Escobedo, Regularizing effects in a linear kinetic equ ation for cubic interactions, J. Differ. Equ. 413, 662-750 (2024)

    2024

  3. [11]

    Escobedo, J.J.L

    M. Escobedo, J.J.L. Vel´ azquez, On the theory of Weak Tu rbulence for the Nonlinear Schr¨ odinger Equation,Mem. Amer. Math. Soc. , 238, 1124 (2015)

    2015

  4. [12]

    Escobedo, J.J.L

    M. Escobedo, J.J.L. Vel´ azquez, Classical non-mass-preserving solutions of coagulation equations, Ann. I. H. Poincar´ e-AN 29 (2012), 589–635

    2012

  5. [13]

    Escobedo, S

    M. Escobedo, S. Mischler, J. J. L. Vel´ azquez, Singular solutions for the Uehling – Uhlenbeck equation, Proc. Roy. Soc. Edinburgh Sect. A 138 (2008), 67–107. 72

    2008

  6. [14]

    Germain, J

    P. Germain, J. La, K.Z. Zhang, Local Well-posedness for the Kinetic MMT Model. Commun. Math. Phys. 406, 18 (2025)

    2025

  7. [15]

    P. T. Gressman, R. M. Strain, Global classical solution s of the Boltzmann equation without angular cut-off. J. Amer. Math. Soc. 24 (2011), 771–84 7

    2011

  8. [16]

    A. H. M. Kierkels and J. J. L. Vel´ azquez, On the transfer of energy towards infinity in the theory of weak turbulence for the nonlinear Schr¨ odinger equation. J. Stat. Phys. , 159 (2015), 668-712

    2015

  9. [17]

    T. R. Kirkpatrick and J. R. Dorfman, Transport in a dilut e but condensed nonideal Bose gas: Kinetic equations. J. Low Temp. Phys. , 58 (3) (1985), 301–331

    1985

  10. [18]

    Lacaze, P

    R. Lacaze, P. Lallemand, Y. Pomeau and S. Rica, Dynamica l formation of a Bose- Einstein condensate. Phys. D 152-153 (2001), 779–786

    2001

  11. [19]

    Nazarenko, Wave Turbulence, Lecture Notes in Physics 825

    S. Nazarenko, Wave Turbulence, Lecture Notes in Physics 825. Springer 2011

    2011

  12. [20]

    L. W. Nordheim, On the Kinetic Method in the New Statisti cs and its Application in the Electron Theory of Conductivity, Proc. R. Soc. Lond. A 129, (1928) 689–698

    1928

  13. [21]

    D. V. Semikoz and I. I. Tkachev, Kinetics of Bose condens ation, Phys. Rev. Lett. 74, 3093–3097, (1995)

    1995

  14. [22]

    Soffer and Minh-Binh Tran, On the Energy Cascade of 3-Wa ve Kinetic Equa- tions: Beyond Kolmogorov–Zakharov Solutions

    A. Soffer and Minh-Binh Tran, On the Energy Cascade of 3-Wa ve Kinetic Equa- tions: Beyond Kolmogorov–Zakharov Solutions. Commun. Mat h. Phys. 376 (2020), 2229–2276

    2020

  15. [23]

    Spohn, Kinetics of Bose Einstein Condensation, Phys.D 239 (2010), 627-634

    H. Spohn, Kinetics of Bose Einstein Condensation, Phys.D 239 (2010), 627-634

    2010

  16. [24]

    V. E. Zakharov, V. S. L’vov and G. Falkovich, Kolmogorov Spectra of Turbulence I: Wave turbulence . Springer, Berlin, 1992. 73

    1992

Pith tools

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