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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- 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.
- 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.
- 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.
- 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
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
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).
- standard math Klainerman-Sobolev inequality and the commutation relations [□,Z] for the standard Lorentz vector fields (cited from Klainerman 1985).
- domain assumption Known blow-up for 1 < p ≤ p_crit(n,μ) (cited from several earlier papers).
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}\}$.
Reference graph
Works this paper leans on
-
[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
2021
-
[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
2015
-
[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
2013
-
[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
2015
-
[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
1966
-
[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
2025
-
[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
arXiv 2025
-
[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
2026
Show all 29 references
-
[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
1997
-
[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
2018
-
[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
2020
-
[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
1985
-
[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
1983
-
[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
2017
-
[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
2025 arXiv
-
[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
2026
-
[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
2026
-
[18]
Li Ta-tsien, Chen Yun-mei, Initial value problems for nonlinear wave equations. Comm. Partial Differential Equations13(1988), no. 4, 383–422
1988
-
[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
1991
-
[20]
Li Ta-tsien, Zhou Yi, Nonlinear wave equations, V ol. 2. Series in Contemporary Mathematics, 2, Springer, Berlin, 2017
2017
-
[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
2010
-
[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
2025
-
[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
2019
-
[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
2019
-
[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
1981
-
[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
2019
-
[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
2014
-
[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
1944
-
[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
2004
Reviewed July 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.