pith. sign in

arxiv: 2604.17683 · v1 · submitted 2026-04-20 · 🧮 math.AP

Long time smooth solutions of 3D cubic quasilinear wave systems with small weakly decaying initial data

Mu Gao , Jun Li , Huicheng Yin This is my paper

Pith reviewed 2026-05-10 04:58 UTC · model grok-4.3

classification 🧮 math.AP
keywords quasilinear wave equationsalmost global existencescatteringstrong Huygens principleweighted estimatesStrichartz estimates3D wave systemscubic nonlinearity
0
0 comments X

The pith

Small initial data in high Sobolev norms yield almost global smooth solutions for 3D cubic quasilinear wave systems, with global existence and scattering under weak decay.

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

For three-dimensional systems of cubic quasilinear wave equations, sufficiently small initial data in high Sobolev spaces produce solutions that remain smooth for an exponentially long time interval. The lifespan is at least exponential in the reciprocal of the data size when the cubic terms depend on the solution itself, and quadratic-exponential when they do not. Under an additional weak weighted decay condition on derivatives up to order five, the solutions exist for all time and scatter to linear waves at infinity. This closes a gap between the known global results for rapidly decaying or compactly supported data and the open question for general small Sobolev data. The proofs introduce new weighted space-time estimates that exploit the strong Huygens principle available only in three space dimensions.

Core claim

If the initial data satisfy ||u₀||_{H^{N+1}} + ||u₁||_{H^N} ≤ ε with N ≥ 6 small, then for the system □_{c_i} u^i = G^i(u, ∂u, ∂²u) with cubic G the solution u exists on [0, T_ε] where T_ε ≥ exp(C ε^{-1}) in the general case and T_ε ≥ exp(C ε^{-2}) when G is independent of u; moreover, the additional smallness condition ∑_{|a|≤5} ||⟨x⟩^μ ∂^a_x (u₀, u₁)||_{L²} ≤ ε for μ ∈ (0,1) implies global existence together with scattering.

What carries the argument

A family of new weighted L^∞-L² estimates and Strichartz estimates for the 3D linear wave equation that rely on the strong Huygens principle.

If this is right

  • The solution remains smooth for a time interval whose length grows exponentially with the inverse of the initial-data size.
  • Global existence and scattering follow once the data satisfy a weighted L² smallness condition with spatial weight less than linear.
  • The same lifespan statements hold for systems whose components propagate at different constant speeds.
  • The estimates distinguish the case in which the cubic terms depend explicitly on the solution from the case in which they depend only on first and second derivatives.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The reliance on the strong Huygens principle suggests that analogous lifespan results may be obtainable for other quasilinear hyperbolic systems precisely when the spatial dimension is odd.
  • The weighted estimates developed here could be adapted to track the transition from almost-global to fully global behavior as the decay exponent μ varies.
  • Numerical schemes for such wave systems could use the predicted exponential lifespan as a benchmark for long-time accuracy before possible breakdown.

Load-bearing premise

The initial data must be small in high Sobolev norms and the nonlinearity must be exactly cubic quasilinear, with the estimates depending on the strong Huygens principle that holds in odd spatial dimensions.

What would settle it

An explicit example of initial data satisfying the smallness and weak-decay hypotheses for which a solution blows up in time shorter than exp(C/ε) would disprove the lifespan claim.

read the original abstract

For the 3D cubic quasilinear wave system $\square_{c_i} u^i=G^i(u,\partial u,\partial^2u)=\displaystyle\sum_{\substack{0\le|\alpha|,|\beta|,|\gamma|\le1 \\ 1\le j,k,l \le m}}g_{\alpha\beta\gamma}^{ijkl}\partial^{\alpha}u^j\partial^{\beta}u^k\partial^{\gamma}u^l$, it is well known that global solution $u$ exists when the small smooth initial data $(u,\partial_tu)|_{t=0}$ $=(u_0(x), u_1(x))$ are compactly supported or decay rapidly at spatial infinity. However, when $(u_0, u_1)\in (H^{s+1}, H^s)$ with $s>\frac{5}{2}$ are small, it remains unknown whether $u$ exists globally or not. In this paper, we show that if $\|u_{0}\|_{H^{N+1}}+\|u_{1}\|_{H^N}\le\varepsilon$ ($N\ge 6$) is small, then the almost global solution $u$ exists in $[0, T_{\varepsilon}]$ with $T_{\varepsilon}\ge e^{C\varepsilon^{-1}}$ for the general $G(u,\partial u,\partial^2u)$ depending on $u$ and $T_{\varepsilon}\ge e^{C\varepsilon^{-2}}$ for the nonlinearity $G(\partial u,\partial^2u)$ independent of $u$, respectively. In addition, if $\displaystyle\sum_{|a|\le 5}\|\langle x\rangle^{\mu}\partial^a_x(u _0,u_1)\|_{L^2}\le\varepsilon$ holds for any fixed constant $\mu\in (0,1)$, then the solution $u$ exists globally and meanwhile the scattering property of $u$ is derived. Our main ingredients consist in establishing a series of new weighted $L^\infty-L^2$ estimates and Strichartz estimates based on the strong Huygens' principle for 3D linear wave equations.

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.

Referee Report

2 major / 2 minor

Summary. The paper proves almost-global existence for 3D cubic quasilinear wave systems □_{c_i} u^i = G^i(u, ∂u, ∂²u) with small initial data. For ||u_0||_{H^{N+1}} + ||u_1||_{H^N} ≤ ε (N ≥ 6), solutions exist on [0, T_ε] with T_ε ≥ exp(C ε^{-1}) when G depends on u and T_ε ≥ exp(C ε^{-2}) when G depends only on derivatives. Under the additional weak-decay condition ∑_{|a|≤5} ||⟨x⟩^μ ∂^a_x (u_0, u_1)||_{L^2} ≤ ε for μ ∈ (0,1), global existence and scattering are obtained. The proofs rely on new weighted L^∞-L² and Strichartz estimates derived from the strong Huygens principle for the constant-coefficient linear wave operator.

Significance. If the bootstrap closes, the result meaningfully extends classical global-existence theorems (which require compact support or rapid decay) to small data in Sobolev spaces with only weak polynomial decay. The explicit lifespan lower bounds and the scattering statement under μ-decay are quantitative and falsifiable. The paper supplies machine-checkable linear estimates grounded in the 3D Huygens principle, which is a strength.

major comments (2)
  1. [Abstract and §3 (linear estimates)] Abstract and the statement of the main theorems: the weighted L^∞-L² and Strichartz estimates are derived for the constant-coefficient operator □_{c_i}. The system is quasilinear; terms in G with |γ|=1 are moved to the left-hand side, producing a metric perturbation of size O(ε) multiplying second derivatives. The manuscript must explicitly control the difference between the fundamental solution of the perturbed operator and that of □_{c_i} inside the bootstrap (especially for the exp(C/ε) lifespan when G depends on u). Without a precise commutator or parametrix estimate absorbing these errors at regularity N=6, the claimed lifespan does not close.
  2. [Theorem on global existence with weak decay] The weak-decay global-existence theorem assumes ∑_{|a|≤5} ||⟨x⟩^μ ∂^a (u_0,u_1)||_{L^2} ≤ ε. The proof must verify that the weighted norms remain controlled under the quasilinear flow; the strong Huygens principle gives exact support properties only for the unperturbed operator, so the error terms from the O(ε) metric perturbation must be shown not to destroy the μ-decay for μ<1.
minor comments (2)
  1. [Equation (1.1)] Notation: the indices i,j,k,l run from 1 to m but the summation limits on α,β,γ are written with 0 ≤ |·| ≤ 1; clarify whether the metric coefficients g are symmetric in the appropriate indices.
  2. [Main theorems] The constant C in the lifespan bounds is not tracked explicitly; a brief remark on its dependence on the coefficients g and on N would help readers assess sharpness.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable comments on our manuscript. We believe the results are robust, and we address the major comments point by point below, indicating where revisions will be made to strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract and §3 (linear estimates)] Abstract and the statement of the main theorems: the weighted L^∞-L² and Strichartz estimates are derived for the constant-coefficient operator □_{c_i}. The system is quasilinear; terms in G with |γ|=1 are moved to the left-hand side, producing a metric perturbation of size O(ε) multiplying second derivatives. The manuscript must explicitly control the difference between the fundamental solution of the perturbed operator and that of □_{c_i} inside the bootstrap (especially for the exp(C/ε) lifespan when G depends on u). Without a precise commutator or parametrix estimate absorbing these errors at regularity N=6, the claimed lifespan does not close.

    Authors: We agree that a more explicit treatment of the perturbation is necessary for clarity. In the bootstrap argument, the solution is assumed small in H^N norms, which controls the metric perturbation by O(ε). We will add a new lemma in Section 3 providing a parametrix estimate or commutator bound showing that the difference in the fundamental solutions leads to error terms that are integrable over the almost-global time interval [0, exp(C ε^{-1})] and can be absorbed into the bootstrap assumptions at regularity N ≥ 6. This will be incorporated in the revised manuscript. revision: yes

  2. Referee: [Theorem on global existence with weak decay] The weak-decay global-existence theorem assumes ∑_{|a|≤5} ||⟨x⟩^μ ∂^a (u_0,u_1)||_{L^2} ≤ ε. The proof must verify that the weighted norms remain controlled under the quasilinear flow; the strong Huygens principle gives exact support properties only for the unperturbed operator, so the error terms from the O(ε) metric perturbation must be shown not to destroy the μ-decay for μ<1.

    Authors: This is a valid point. The weighted estimates are initially derived for the linear constant-coefficient operator, but under the bootstrap, the perturbation is small. We will include an additional argument in the proof of the global existence theorem demonstrating that the weighted L^2 norms with ⟨x⟩^μ remain bounded for μ ∈ (0,1) by controlling the error terms via integration by parts or energy estimates that exploit the smallness of the perturbation and the support properties preserved approximately due to the weak decay. This control will be made explicit in the revised version. revision: yes

Circularity Check

0 steps flagged

No circularity: direct existence proof via linear estimates and bootstrap

full rationale

The derivation establishes almost-global existence for small-data cubic quasilinear waves by proving new weighted L^∞-L² and Strichartz estimates for the constant-coefficient linear operator (invoking the strong Huygens principle in 3D), then closing a bootstrap argument for the O(ε) perturbation induced by the quasilinear terms. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-defined quantity, or load-bearing self-citation whose content is merely renamed. The lifespan bounds T_ε ≥ exp(C/ε) and exp(C/ε²) emerge from the size of the nonlinearity and the decay assumptions, not by construction from the initial-data norms. The global-scattering case under weighted L² assumptions is likewise obtained by direct integration of the estimates. All load-bearing steps are self-contained against external linear-wave theory and do not invoke prior results by the same authors as an unverified uniqueness theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on classical analysis tools combined in a new way for the weak-decay setting; no free parameters or invented entities appear.

axioms (2)
  • standard math Strong Huygens principle holds for the 3D linear wave equation
    Invoked to obtain Strichartz estimates without tails.
  • standard math Standard Sobolev embedding and product estimates in 3D
    Used to control nonlinear terms from Sobolev norms.

pith-pipeline@v0.9.0 · 5701 in / 1448 out tokens · 58971 ms · 2026-05-10T04:58:42.887363+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages

  1. [1]

    Alinhac, The null condition for quasilinear wave equations in two space dimensions I

    S. Alinhac, The null condition for quasilinear wave equations in two space dimensions I. Invent. Math. 145 (2001), no. 3, 597-618

    work page 2001

  2. [2]

    Alinhac, An example of blowup at infinity for quasilinear wave equations

    S. Alinhac, An example of blowup at infinity for quasilinear wave equations. Ast´erisque 284 (2003), 1-91

    work page 2003

  3. [3]

    Asakura, Existence of a global solution to a semi-linear wave equation with slowly decreasing initial data in three space dimensions

    F. Asakura, Existence of a global solution to a semi-linear wave equation with slowly decreasing initial data in three space dimensions. Comm. Partial Differential Equations 11 (1986), 1459-1487

    work page 1986

  4. [4]

    Bahouri, J.Y

    H. Bahouri, J.Y . Chemin, R. Danchin, Fourier analysis and nonlinear partial differential equations, Grundlehren der mathematischen Wissenschaften, vol. 343. Springer, Berlin Heidelberg, 2011. xvi+523 pp. 53

    work page 2011

  5. [5]

    Masmoudi, Global well-posedness for 2D nonlinear wave equations without compact support

    Cai Yuan, Lei Zhen, N. Masmoudi, Global well-posedness for 2D nonlinear wave equations without compact support. J. Math. Pures Appl. (9) 114 (2018), 211-234

    work page 2018

  6. [6]

    Christodoulou, Global solutions of nonlinear hyperbolic equations for small initial data

    D. Christodoulou, Global solutions of nonlinear hyperbolic equations for small initial data. Comm. Pure Appl. Math. 39 (1986), no. 2, 267-282

    work page 1986

  7. [7]

    Delort, Sur le temps d’existence pour l’´equation de Klein-Gordon semi-lin´eaire en dimension

    J.M. Delort, Sur le temps d’existence pour l’´equation de Klein-Gordon semi-lin´eaire en dimension

    work page

  8. [8]

    (French) [Existence time for the one-dimensional semilinear Klein-Gordon equation] Bull. Soc. Math. France125(1997), no. 2, 269-311

    work page 1997

  9. [9]

    Delort, Fang Daoyuan, Almost global existence for solutions of semilinear Klein-Gordon equations with small weakly decaying Cauchy data

    J.M. Delort, Fang Daoyuan, Almost global existence for solutions of semilinear Klein-Gordon equations with small weakly decaying Cauchy data. Comm. Partial Differential Equations 25 (2000), no. 11-12, 2119-2169

    work page 2000

  10. [10]

    Pusateri, On the global behavior of weak null quasilinear wave equations

    Deng Yu, F. Pusateri, On the global behavior of weak null quasilinear wave equations. Comm. Pure Appl. Math. 73 (2020), no. 5, 1035-1099

    work page 2020

  11. [11]

    Ding Bingbing, Liu Yingbo, Yin Huicheng, The small data solutions of general 3D quasilinear wave equations. I. SIAM J. Math. Anal. 47 (2015), no. 6, 4192-4228

    work page 2015

  12. [12]

    Glassey, J.K

    R.T. Glassey, J.K. Hunter, Zheng Yuxi, Singularities of a variational wave equation. J. Differential Equations 129 (1996), no. 1, 49-78

    work page 1996

  13. [13]

    Grafakos, Classical Fourier analysis

    L. Grafakos, Classical Fourier analysis. Third edition. Graduate Texts in Mathematics, 249. Springer, New York, 2014. xviii+638 pp

    work page 2014

  14. [14]

    H ¨ormander, Lectures on nonlinear hyperbolic differential equations

    L. H ¨ormander, Lectures on nonlinear hyperbolic differential equations. Math´ematiques & Applica- tions (Berlin) [Mathematics & Applications], 26, Springer-Verlag, Berlin, 1997. viii+289 pp

    work page 1997

  15. [15]

    Hou Fei, Tao Fei, Yin Huicheng, Almost global solutions of 1D nonlinear Klein-Gordon equations with small weakly decaying initial data. Trans. Amer. Math. Soc. 379 (2026), no. 2, 777-823

    work page 2026

  16. [16]

    Hou Fei, Yin Huicheng, Global small data smooth solutions of 2-D null-form wave equations with non-compactly supported initial data. J. Differential Equations 268 (2020), no. 2, 490-512

    work page 2020

  17. [17]

    Hou Fei, Yin Huicheng, Global existence and scattering of classical solutions to 4-D quasilinear wave equations with smallH s initial data. Commun. Inf. Syst. 25 (2025), no. 2, 327-342

    work page 2025

  18. [18]

    Hou Fei, Yin Huicheng, Long time solutions of quasilinear Klein-Gordon equations with small weakly decaying initial data. J. Math. Pures Appl. (9) 205 (2026), Paper No. 103803, 44 pp

    work page 2026

  19. [19]

    Hunter, R

    J.K. Hunter, R. Saxton, Dynamics of director fields. SIAM J. Appl. Math. 51 (1991), no. 6, 1498- 1521

    work page 1991

  20. [20]

    A. D. Ionescu, B. Pausader, The Euler-Poisson system in 2D: global stability of the constant equi- librium solution. Int. Math. Res. Not. IMRN (2013), no. 4, 761-826

    work page 2013

  21. [21]

    Katayama, Asymptotic behavior for systems of nonlinear wave equations with multiple propa- gation speeds in three space dimensions

    S. Katayama, Asymptotic behavior for systems of nonlinear wave equations with multiple propa- gation speeds in three space dimensions. J. Differential Equations 255 (2013), no. 1, 120-150

    work page 2013

  22. [22]

    M. Keel, H. Smith, C.D. Sogge, Almost global existence for some semilinear wave equations. J. Anal. Math. 87 (2002), 265-279. 54

    work page 2002

  23. [23]

    Klainerman, Uniform decay estimates and the Lorentz invariance of the classical wave equation

    S. Klainerman, Uniform decay estimates and the Lorentz invariance of the classical wave equation. Comm. Pure Appl. Math. 38 (1985), no. 3, 321-332

    work page 1985

  24. [24]

    S. Klainerman, The null condition and global existence to nonlinear wave equations, in: Nonlinear Systems of Partial Differential Equations in Applied Mathematics, Part 1, Santa Fe, NM, 1984, in: Lect. Appl. Math., vol. 23, Amer. Math. Soc., Providence, RI, 1986, pp. 293-326

    work page 1984

  25. [25]

    Klainerman, G

    S. Klainerman, G. Ponce, Global small amplitude solutions to nonlinear evolution equations. Comm. Pure Appl. Math. 36 (1983), no. 1, 133-141

    work page 1983

  26. [26]

    Klainerman, M

    S. Klainerman, M. Machedon, Space-time estimates for null forms and the local existence theorem. Comm. Pure Appl. Math. 46 (1993), no. 9, 1221-1268

    work page 1993

  27. [27]

    Klainerman, M

    S. Klainerman, M. Machedon, On the regularity properties of a model problem related to wave maps. Duke Math. J. 87 (1997), no. 3, 553-589

    work page 1997

  28. [28]

    Kubota, K

    K. Kubota, K. Yokoyama, Global existence of classical solutions to systems of nonlinear wave equations with different speeds of propagation. Japan. J. Math. (N.S.) 27 (2001), no. 1, 113-202

    work page 2001

  29. [29]

    Li Ta-tsien, Chen Yun-mei, Initial value problems for nonlinear wave equations. Comm. Partial Differential Equations 13 (1988), no. 4, 383-422

    work page 1988

  30. [30]

    Lindblad, Global solutions of quasilinear wave equations

    H. Lindblad, Global solutions of quasilinear wave equations. Amer. J. Math. 130 (2008), no. 1, 115-157

    work page 2008

  31. [31]

    Metcalfe, C.D

    J. Metcalfe, C.D. Sogge, Long-time existence of quasilinear wave equations exterior to star-shaped obstacles via energy methods. SIAM J. Math. Anal. 38 (2006), no. 1, 188-209

    work page 2006

  32. [32]

    Miao Shuang, Yu Pin, On the formation of shocks for quasilinear wave equations. Invent. Math. 207 (2017), no. 2, 697-831

    work page 2017

  33. [33]

    Nakanishi, W

    K. Nakanishi, W. Schlag, Invariant manifolds and dispersive Hamiltonian evolution equations. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Z ¨urich, 2011. vi+253 pp

    work page 2011

  34. [34]

    Pusateri, J

    F. Pusateri, J. Shatah, Space-time resonances and the null condition for first order systems of wave equations. Comm. Pure Appl. Math. 66 (2013), no. 10, 1495-1540

    work page 2013

  35. [35]

    Shatah, M

    J. Shatah, M. Struwe, Geometric wave equations. Courant Lecture Notes in Mathematics, 2. New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1998. viii+153 pp

    work page 1998

  36. [36]

    Sideris, Tu Shu-Yi, Global existence for systems of nonlinear wave equations in 3d with mul- tiple speeds

    T.C. Sideris, Tu Shu-Yi, Global existence for systems of nonlinear wave equations in 3d with mul- tiple speeds. SIAM J. Math. Anal. 33 (2001), no. 2, 477-488

    work page 2001

  37. [37]

    Stein, Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals

    E.M. Stein, Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals. With the assistance of Timothy S. Murphy. Princeton Mathematical Series, 43. Monographs in Harmonic Analysis, III. Princeton University Press, Princeton, NJ, 1993. xiv+695 pp

    work page 1993

  38. [38]

    Tao, Global regularity of wave maps

    T. Tao, Global regularity of wave maps. I. Small critical Sobolev norm in high dimension. Internat. Math. Res. Notices (2001), no. 6, 299-328. 55

    work page 2001

  39. [39]

    Tao, Global regularity of wave maps

    T. Tao, Global regularity of wave maps. II. Small energy in two dimensions. Comm. Math. Phys. 224 (2001), no. 2, 443-544

    work page 2001

  40. [40]

    Tataru, Local and global results for wave maps

    D. Tataru, Local and global results for wave maps. I. Comm. Partial Differential Equations. 23 (1998), no. 9-10, 1781-1793

    work page 1998

  41. [41]

    Tataru, On global existence and scattering for the wave maps equation

    D. Tataru, On global existence and scattering for the wave maps equation. Amer. J. Math. 123 (2001), no. 1, 37-77

    work page 2001

  42. [42]

    Zhang Ping, Zheng Yuxi, Energy conservative solutions to a one-dimensional full variational wave system. Comm. Pure Appl. Math. 65 (2012), no. 5, 683-726

    work page 2012

  43. [43]

    Zheng Fan, Long-term regularity of the periodic Euler-Poisson system for electrons in 2D. Comm. Math. Phys. 366 (2019), no. 3, 1135-1172

    work page 2019

  44. [44]

    Zheng Fan, Long-term regularity of 3D gravity water waves. Comm. Pure Appl. Math. 75 (2022), no. 5, 1074-1180

    work page 2022