Pith. sign in

REVIEW 4 minor 29 references

Global existence of small data solutions to 3-D semilinear Euler-Poisson-Darboux equations

T0 review · 0 major / 4 minor · reviewed 2026-07-11 · grok-4.5

Pith's one-line read For three-dimensional Euler-Poisson-Darboux equations with damping μ ≥ 14/5, small data solutions exist globally once the power exceeds max{5/3, 1 + 2/μ}.

desk verdict Solid 3-D global-existence result for the EPD equation when μ ≥ 14/5, with an honest gap below the Fujita line for 14/5 ≤ μ < 3. read the letter →

arxiv 2607.04575 v1 pith:GMNPU3FC submitted 2026-07-06 math.AP

classification math.AP MSC 35L7035L6535L67
keywords Euler-Poisson-DarbouxequationcriticalexponentglobalexistenceBesselfunctionvectorfieldKlainerman-Sobolevinequalityscale-invariantdampingFujita
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

The paper settles part of a long-standing open question about when small smooth initial data produce global solutions of the three-dimensional semilinear Euler-Poisson-Darboux equation. When the damping coefficient μ is at least 14/5, the expected critical threshold collapses to the Fujita exponent 5/3. The authors prove that solutions remain global for every power p larger than the slightly stronger number max{5/3, 1 + 2/μ}. They obtain the result by constructing sharp time-decay estimates for the linear equation via Bessel and Hankel functions, then closing a contraction mapping argument inside a carefully weighted space of vector-field norms. For μ ≥ 3 the statement is optimal; for 14/5 ≤ μ < 3 a technical gap of size at most 1/21 remains, which the authors attribute to the present decay estimates rather than to the true critical exponent.

What carries the argument

A family of time-decay estimates for the linear homogeneous and inhomogeneous Euler-Poisson-Darboux operators, expressed through Bessel functions of the first and second kinds (or Hankel functions) and measured in Klainerman-type vector-field norms on R^{3}; these estimates convert the nonlinear problem into a contraction mapping inside a weighted space X(T).

What would settle it

Either construct a global solution for some μ in [14/5, 3) and some p with 5/3 < p ≤ 1 + 2/μ, or exhibit finite-time blow-up for arbitrarily small data in that same range.

Watch

Extended reading notes

Core claim

Theorem 1.1 asserts that if μ ≥ 14/5 and p > max{5/3, 1 + 2/μ}, then for all sufficiently small initial data the Cauchy problem admits a unique global solution belonging to the classical energy space C([1,∞); H^{2}) igcap C^{1}([1,∞); H^{1}) igcap C^{2}([1,∞); L^{2}). When μ ≥ 3 this completely solves the open question (A1); when 14/5 ≤ μ < 3 the same proof yields global existence above a slightly larger threshold.

Load-bearing premise

The proof needs the time integral of the nonlinearity to converge, which forces the artificial lower bound p > 1 + 2/μ and leaves a small gap below the expected Fujita exponent when μ is less than 3.

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

0 major / 4 minor

Summary. The paper studies the 3-D semilinear Euler-Poisson-Darboux equation □u + (μ/t)∂_t u = |u|^p for t ≥ 1, with compactly supported smooth initial data of size ε. For μ ≥ 14/5 (so that p_crit(3,μ) coincides with the Fujita exponent 5/3), Theorem 1.1 asserts global existence of a unique small-data solution in C([1,∞); H^{2}) igcap C^{1}([1,∞); H^{1}) igcap C^{2}([1,∞); L^{2}) whenever p > max{5/3, 1 + 2/μ}. The proof proceeds by writing the solution via Fourier multipliers built from Bessel/Hankel functions, deriving zone-by-zone L^{2} decay estimates for the homogeneous and inhomogeneous linear problems under the vector-field norms (1.5), establishing a Sobolev embedding on S^{2} (Lemma 2.3), and closing a contraction mapping argument in the weighted space X(T) of (5.1).

Significance. The result settles the global-existence half of the open question (A1) for all μ ≥ 3 and for a large range of p when 14/5 ≤ μ < 3. Combined with the known blow-up theory for p ≤ p_crit, it therefore completes the critical-exponent picture for the 3-D EPD equation in the regime where the Fujita exponent dominates. The technical contribution is a careful adaptation of the vector-field method to the non-commuting damping term, using explicit Bessel asymptotics and a new embedding (2.20) that replaces the 2-D estimate of the authors’ earlier work. The gap of size at most 1/21 for 14/5 ≤ μ < 3 is openly acknowledged and does not affect the theorem as stated.

minor comments (4)
  1. Remark 1.1 and the sentence after (5.18) correctly flag the integrability restriction p > 1 + 2/μ, but a short forward reference in the introduction to the forthcoming work on the remaining gap would help the reader locate the limitation.
  2. In the definition of X(T) (1.11)/(5.1) the weight for μ ≥ 3 is written t^{3/2 − 3/(1+δ)}; the same δ appears later as ε_{1}. Unifying the notation would avoid a minor inconsistency.
  3. Several long displays in Sections 3–4 (e.g., (3.38)–(3.39), (3.84)–(3.85)) list every term arising from the recurrence relations; a brief remark that only the leading asymptotic is needed for the subsequent L^{2} bounds would improve readability without changing the argument.
  4. The tables of known results and open cases on pages 3–4 are useful; adding a column that records whether the data are radial would make the comparison with [4], [20], [23] and [3] more precise.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: self-contained fixed-point existence proof with fully derived 3-D decay estimates

full rationale

The paper proves global small-data existence for the 3-D semilinear Euler-Poisson-Darboux equation by constructing an explicit solution operator via Bessel/Hankel multipliers (Section 2), deriving a Sobolev embedding under the vector-field norms (Lemma 2.3), establishing homogeneous and inhomogeneous time-decay estimates under those norms (Lemmas 3.1–3.3 and 4.1), and closing a contraction mapping in the space X(T) of (5.1). Every estimate is written out from the asymptotic properties of the special functions and Hardy/Klainerman inequalities; no parameter is fitted to data, no uniqueness theorem is imported to forbid alternatives, and the classical Strauss/Fujita exponents appear only as background. Self-citations to the authors’ earlier 2-D papers supply motivation and related results but are not load-bearing: the 3-D estimates are re-proved in full. The technical gap p > 1 + 2/μ (Remark 1.1) is openly attributed to integrability of the Duhamel integral and does not create a circular reduction. The derivation is therefore independent of its inputs by construction.

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

The paper rests on classical special-function identities, the Klainerman vector-field calculus, and the known blow-up theory for the same equation. No free parameters are fitted; the only ad-hoc choices are technical cut-offs (ε₁, δ) that can be taken arbitrarily small.

assumptions (3)
  • standard math Asymptotic and recurrence formulae for Bessel J_ν, Y_ν and Hankel H_ν^± functions (Lemma 2.1–2.2, taken from NIST Handbook).
    Used throughout Sections 2–4 to bound the Fourier multipliers Ψ_j.
  • standard math Klainerman-Sobolev inequality and the commutation relations [□,Z] for the standard Lorentz vector fields (cited from Klainerman 1985).
    Underpins the vector-field norms (1.5) and the pointwise decay (2.30).
  • domain assumption Known blow-up for 1 < p ≤ p_crit(n,μ) (cited from several earlier papers).
    Used only to frame the open question; not needed for the existence proof itself.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Global existence of small data solutions to 3-D semilinear Euler-Poisson-Darboux equations." pith.science (2026). https://pith.science/paper/GMNPU3FC

@misc{pith2026260704575,
  author       = {Pith},
  title        = {Pith review of: Global existence of small data solutions to 3-D semilinear Euler-Poisson-Darboux equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GMNPU3FC}},
  note         = {Machine review of arXiv:2607.04575}
}
abstract

There is an interesting open question: for $n$-D ($n\ge 1$) semilinear Euler-Poisson-Darboux equation $\partial_t^2u-\Delta u+\frac{\mu}{t}\partial_tu=|u|^p$, where $t\ge 1$, $p>1$ and $\mu>0$, the global small data weak solution $u$ will exist when $p>p_{crit}(n,\mu)=\max\{p_s(n+\mu), p_f(n)\}$ with the Strauss exponent $p_{s}(n+\mu)=\frac{n+\mu+1+\sqrt{(n+\mu)^2+10(n+\mu)-7}}{2(n+\mu-1)}$ and the Fujita exponent $p_f(n)=1+\frac{2}{n}$. The blowup of weak solution $u$ has been shown when $1<p\le p_{crit}(n,\mu)$ meanwhile this open question has been solved for $n=1,2$. In the present paper, we focus on this open question for $n=3$ and establish the global existence of small data solution $u$ for $\mu\geq\frac{14}{5}$ (equivalent to $p_{crit}(3,\mu)=p_f(3)=\frac53$) and $p>\max\{\frac53, 1+\frac{2}{\mu}\}$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 2 linked inside Pith

  1. [1]

    D’Abbicco, Small data solutions for the Euler-Poisson-Darboux equation with a power non- linearity

    M. D’Abbicco, Small data solutions for the Euler-Poisson-Darboux equation with a power non- linearity. J. Differential Equations286(2021), 531-556. 42

  2. [2]

    D’Abbicco, The threshold of effective damping for semilinear wave equations

    M. D’Abbicco, The threshold of effective damping for semilinear wave equations. Math. Meth- ods Appl. Sci.38(2015), no. 6, 1032-1045

  3. [3]

    D’Abbicco, S

    M. D’Abbicco, S. Lucente, M. Reissig, Semilinear wave equations with effective damping. Chin. Ann. Math. Ser. B34(2013), no. 3, 345-380

  4. [4]

    D’Abbicco, S

    M. D’Abbicco, S. Lucente, M. Reissig, A shift in the Strauss exponent for semilinear wave equations with a not effective damping. J. Differential Equations259(2015), no. 10, 5040-5073

  5. [5]

    Fujita, On the blowing up of solutions of the Cauchy Problem foru t = ∆u+u 1+α

    H. Fujita, On the blowing up of solutions of the Cauchy Problem foru t = ∆u+u 1+α. J. Fac. Sci. Univ. Tokyo13(1966), 109-124

  6. [6]

    Takamura, Nonexistence of global solutions to the Euler- Poisson-Darboux equation inR n: subcritical case

    Fan Mengting, Lai Ning-An, H. Takamura, Nonexistence of global solutions to the Euler- Poisson-Darboux equation inR n: subcritical case. Nonlinear Anal.256(2025), Paper No. 113781, 10 pp

  7. [7]

    Preprint (2025), arXiv:2505.05268

    He Daoyin, Lai Ning-An, Morawetz type estimate for damped wave equation inR n(n≥4)and its application. Preprint (2025), arXiv:2505.05268

  8. [8]

    Discrete Contin

    He Daoyin, Li Qianqian, Yin Huicheng, Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, II. Discrete Contin. Dynam. Systems.56(2026), 315-336

Show all 29 references
  1. [9]

    H ¨ormander, Lectures on nonlinear hyperbolic equations

    L. H ¨ormander, Lectures on nonlinear hyperbolic equations. Mathematiques & Applications, V ol. 26, Springer-Verlag, Heidelberg, 1997. viii+289 pp

  2. [10]

    Ikeda, M

    M. Ikeda, M. Sobajima, Life-span of solutions to semilinear wave equation with time-dependent critical damping for specially localized initial data. Math. Ann.372(3-4) (2018), 1017-1040

  3. [11]

    T. Imai, M. Kato, H. Takamura, K. Wakasa, The lifespan of solutions of semilinear wave equa- tions with the scale-invariant damping in two space dimensions. J. Differential Equations269 (2020), no. 10, 8387-8424

  4. [12]

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

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

  5. [13]

    Klainerman, G

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

  6. [14]

    Takamura, K

    Lai Ning-An, H. Takamura, K. Wakasa, Blow-up for semilinear wave equations with the scale invariant damping and super-Fujita exponent. J. Differential Equations263(2017), no. 9, 5377- 5394

  7. [15]

    Preprint (2025), arXiv:2503.18677

    Li Qianqian, Wang Dinghuai, Yin Huicheng, Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, I. Preprint (2025), arXiv:2503.18677

  8. [16]

    Li Qianqian, Yin Huicheng, Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, III. J. Differential Equations455(2026), 1-34, Article 11397

  9. [17]

    Preprint (2026)

    Li Qianqian, Yin Huicheng, Global small data weak solutions of 2-D semilinear wave equations with scale-invariant damping, IV . Preprint (2026). 43

  10. [18]

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

  11. [19]

    Li Ta-tsien, Yu Xin, Life-span of classical solutions to fully nonlinear wave equations. Comm. Partial Differential Equations16(1991), no. 6-7, 909-940

  12. [20]

    Li Ta-tsien, Zhou Yi, Nonlinear wave equations, V ol. 2. Series in Contemporary Mathematics, 2, Springer, Berlin, 2017

  13. [21]

    Olver, D.W

    F.W.J. Olver, D.W. Lozier, R.F. Boisvert, C.W. Clark, NIST Handbook of Mathematical Func- tions. U.S. Department of Commerce, Washington, 2010

  14. [22]

    Palmieri, On the critical exponent for the semilinear Euler-Poisson-Darboux-Tricomi equa- tion with power nonlinearity

    A. Palmieri, On the critical exponent for the semilinear Euler-Poisson-Darboux-Tricomi equa- tion with power nonlinearity. J. Differential Equations437(2025), Article 113309

  15. [23]

    Palmieri, A global existence result for a semilinear scale-invariant wave equation in even dimension

    A. Palmieri, A global existence result for a semilinear scale-invariant wave equation in even dimension. Math. Methods Appl. Sci.42(2019), no. 8, 2680-2706

  16. [24]

    Palmieri, M

    A. Palmieri, M. Reissig, A competition between Fujita and Strauss type exponents for blow-up of semi-linear wave equations with scale-invariant damping and mass. J. Differential Equations 266(2019), no. 2-3, 1176-1220

  17. [25]

    Strauss, Nonlinear scattering theory at low energy

    W. Strauss, Nonlinear scattering theory at low energy. J. Funct. Anal.41(1981), no. 1, 110-133

  18. [26]

    Differential Integral Equations32(2019), no

    Tu Ziheng, Lin Jiayun, Life-span of semilinear wave equations with scale-invariant damping: critical Strauss exponent case. Differential Integral Equations32(2019), no. 5-6, 249-264

  19. [27]

    Wakasugi, Critical exponent for the semilinear wave equation with scale invariant damping, in: Fourier Analysis

    Y . Wakasugi, Critical exponent for the semilinear wave equation with scale invariant damping, in: Fourier Analysis. Birkh¨auser, Cham, 2014, pp. 375-390

  20. [28]

    Watson, A Treatise on the Theory of Bessel Functions

    G.N. Watson, A Treatise on the Theory of Bessel Functions. Cambridge University Press, Cam- bridge; The Macmillan Company, New York, 1944. vi+804 pp

  21. [29]

    Wirth, Solution representations for a wave equation with weak dissipation

    J. Wirth, Solution representations for a wave equation with weak dissipation. Math. Methods Appl. Sci.27(2004), no. 1, 101-124

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.