REVIEW 5 major objections 4 minor 36 references
Lifespan estimate for the semilinear regular Euler-Poisson-Darboux-Tricomi equation
T0 review · 5 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read The paper proves finite-time blow-up at the Strauss exponent for the semilinear Euler-Poisson-Darboux-Tricomi equation, with lifespan $T(\varepsilon)\le e^{C\varepsilon^{-p(p-1)}}$.
desk verdict Endpoint Strauss-index blow-up and exponential lifespan for the regular EPDT equation is a real step beyond Palmieri, but the paper leans on unproved linear decay estimates and skipped cases in local well-posedness. 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
The key object is the explicit adjoint-solution family $\Phi_\beta(t,x)=t^{-\beta+1}F(a,b;\frac n2;\frac{(m+1)^2|x|^2}{t^{2(m+1)}})$, with hypergeometric parameters $a=\frac{2\beta+\mu-1+\sqrt{\delta}}{4(m+1)}$ and $b=\frac{2\beta+\mu-1-\sqrt{\delta}}{4(m+1)}$. This family replaces the wave-equation test function of earlier work and makes the $m$-dependent coefficients of the Gellerstedt operator tractable: its two-sided bounds convert the weighted integrals $H_\beta$, $I_\beta$, and $J_\beta$ into a second-order ODE inequality for $J_\beta$, whose blow-up time gives the lifespan estimate. In the $\delta=1$ part, the load-bearing mechanism is instead the reduction to a Tricomi-type equation with power nonlinearity, together with Kato's ODE lemma applied to the spatial integral $F(t)$.
What would settle it
Compute the exact fundamental-solution decay for the transformed damped wave equation (3.5) at the borderline cases listed in Lemma 3.2 and check whether the logarithmic factor in (3.8b) and (3.9b) is genuinely present; if the true decay differs from the quoted rates for any parameters in the range $0<\delta<(m+1)^2n^2$, the local well-posedness step and hence Theorem 2.1 would fail.
Extended reading notes
Core claim
The central claim is a blow-up statement for the regular semilinear Euler-Poisson-Darboux-Tricomi equation. For $m,\mu,\nu\ge 0$, $n\ge 1$, $0<\delta<(m+1)^2n^2$, nonnegative nontrivial compactly supported data with support radius $M<1/(m+1)$, and $p=p_S(n+\frac{\mu}{m+1},m)$ satisfying $p>\frac{2(m+1)}{(m+1)n-\sqrt{\delta}}$ (with the additional condition $\mu\ge m$ when $n=1$), every small-energy solution blows up in finite time and the lifespan obeys $T(\varepsilon)\le e^{C\varepsilon^{-p(p-1)}}$. Separately, for $\delta=1$, the authors prove blow-up at $p=\max\{p_S(n+\frac{\mu}{m+1},m),\,p_F((m+1)n+\frac{\mu-1-\sqrt{\delta}}{2})\}$. Both results are obtained by constructing an $m$-dependent solution of the adjoint equation as a Gaussian hypergeometric function and feeding the resulting integral identities through Zhou's ODE inequality for the first theorem or through Kato's lemma for the second.
Load-bearing premise
The lifespan bound rests on the linear $(L^1\cap L^2)\to L^2$ decay estimates quoted from earlier work in Lemmas 3.1 and 3.2, including the borderline logarithmic cases; if any of those rates is off, the Duhamel bounds, the contraction argument, and the blow-up estimate all collapse.
Editorial extensions
If this is right
- For every $0<\delta<(m+1)^2n^2$ satisfying the stated conditions, the Strauss index $p_S(n+\frac{\mu}{m+1},m)$ is an upper bound for the critical exponent: no global small-data solution exists at or below this index in the parameter range covered.
- The lifespan estimate $T(\varepsilon)\le e^{C\varepsilon^{-p(p-1)}}$ gives the explicit blow-up time scale for initial size $\varepsilon$ at the critical power, matching the structure of Strauss-conjecture lifespan bounds for wave equations.
- The $\delta=1$ result extends the Fujita-versus-Strauss competition to the EPDT model: blow-up holds at the larger of the two indices, and for $n\ge 3$ the Strauss index always dominates.
- Local well-posedness in the energy space $\mathcal{C}([1,T);H^1)\cap\mathcal{C}^1([1,T);L^2)$ follows from the quoted linear decay estimates, so the blow-up statements apply to the unique energy solutions constructed in Proposition 2.1.
Reading between the lines
- The paper states that the Fujita-index case for $\delta\ne 1$ is deferred to follow-up work; a natural extension is to run the same hypergeometric-test-function machinery with $\beta$ tuned to $p_F((m+1)n+\frac{\mu-1-\sqrt{\delta}}{2})$ and derive a matching lifespan bound for the parabolic-like regime.
- Because the local well-posedness proof lists five parameter cases and verifies only the first in detail, an independent check of the four remaining cases would clarify whether the full range $0<\delta<(m+1)^2n^2$ in Theorem 2.1, rather than only the verified case, is needed.
- If the exponential lifespan bound is sharp, it should be compatible with known lower bounds for the Tricomi equation when $\mu=\nu=0$; testing the limit $m\to 0$ against the classical Strauss lifespan asymptotics is a simple consistency check.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the semilinear regular Euler-Poisson-Darboux-Tricomi equation (1.1) with scale-invariant damping and mass. It claims local well-posedness (Proposition 2.1), then constructs a new test function from Gaussian hypergeometric functions and, using a second-order ODE inequality of Zhou, derives an upper lifespan bound T(ε) ≤ exp(C ε^{-p(p-1)}) at the Strauss index p = p_S(n + μ/(m+1), m) for 0 < δ < (m+1)^2 n^2 (Theorem 2.1). It also proves a blow-up result for δ = 1 at p = max{p_S, p_F} by Kato's lemma (Theorem 2.2).
Significance. If the gaps identified below are repaired, the main lifespan estimate is a meaningful contribution: it extends the Strauss-index upper bound at the critical exponent to the regular EPDT equation in the δ-range where the Fujita index is not dominant, and it introduces a hypergeometric test function that reduces to the known test function for m = 0. The explicit algebraic comparison of p_S and p_F in Section 5, including the threshold a(m), is also useful. The paper is honest about quoting several key estimates, but that honesty also exposes that the proof of existence in the theorem's parameter range is incomplete.
major comments (5)
- [Section 3, Proposition 2.1 and (3.12)–(3.13)] The local well-posedness proof is carried out only for Case 1, δ > (m+1)^2(n+1)^2; Cases 2–5 are dismissed with 'no further details will be provided'. However, Theorem 2.1 assumes 0 < δ < (m+1)^2 n^2, which lies in Cases 3–5 (and for n = 1 in Case 3), and Case 4 involves the borderline logarithmic estimates (3.8b)/(3.9b). It is not demonstrated that the contraction constants C2T and C3T in (3.12)–(3.13) tend to 0 as T → 1+ in these omitted cases. Consequently, the existence of the solution whose lifespan is bounded in Theorem 2.1 is not established. This gap must be filled by proving the omitted cases or by citing a theorem that covers the EPDT equation in this exact parameter range.
- [Section 3, Lemmas 3.1–3.2] The (L1∩L2)–L2 decay estimates are quoted from [26] and [32] with the comment 'we only list the results', without proofs and without precise theorem numbers. These estimates are not auxiliary: they drive the Duhamel bounds (3.19)–(3.22) and (3.25)–(3.26), and the logarithmic borderline cases appear precisely in the parameter range needed for Theorem 2.1. The transformations (3.2)–(3.5) are nontrivial, so the paper should either prove these estimates in the EPDT setting or give exact, verifiable statements from the cited works that cover the transformed equation.
- [Abstract and Theorem 2.1] The abstract states that the lifespan estimate holds 'for any δ>0', but Theorem 2.1 requires 0 < δ < (m+1)^2 n^2, the additional lower bound p > 2(m+1)/((m+1)n − √δ), and, when n = 1, the condition μ ≥ m. The abstract overstates the theorem and should be corrected to match the actual hypotheses.
- [Section 5.1, reduction to Theorem 2.1] The reduction 'in view of Theorem 2.1' in Section 5.1 is invalid as stated because Theorem 2.2 assumes the initial data are supported in a ball of arbitrary radius M > 0, whereas Theorem 2.1 requires 0 < M < 1/(m+1). Therefore the cases n ≥ 3 and n = 2 with μ < a(m) are not proved for arbitrary M. The authors must either provide direct proofs for those cases or add the small-support hypothesis to Theorem 2.2.
- [Section 5, Lemma 5.4 and Remark 5.1] The lower bound G(t) ≥ C t^{-m} in Lemma 5.4 is essential for the Kato-lemma blow-up argument in Theorem 2.2, but the proof is omitted with the comment that it is 'quite similar' to [4] and [14]. Since Theorem 2.2 is a main result, this lemma should be proved in the text or its proof should be reproduced from the cited sources.
minor comments (4)
- [Section 5.1, equation (5.4)] The initial condition for ∂t w(1,x) is written as ∂t w(1,x) = w(1,x), which appears to be a typo; it should presumably be a new symbol w1(x), with the later line 'w(1,x) = (μ/2)εu0 + εu1' corrected to define w1(x).
- [Section 5.2, (5.12)–(5.13)] The step 'integrating twice' leading to the max{...,1} in (5.13) should explicitly justify why F(t) ≥ C(t+M) when the displayed exponent is below 1; this uses convexity of F and positivity of F'(1), but the text leaves it implicit.
- [Title and references] There are several typographical issues, including the title 'ESTIMA TE' and reference [24] 'On the the critical exponent'; these should be corrected in a final version.
- [Section 4.2, proof of Lemma 4.6] In the display for Ω2(t), the integral over R appears as '∫ R' instead of '∫_{R^n}'; this should be cleaned up.
Circularity Check
No significant circularity: the lifespan estimate follows from an independently constructed test function and externally cited ODE and decay estimates.
full rationale
I examined the derivation chain of Theorems 2.1 and 2.2. The test function in Section 4 is built from first principles by solving the conjugate equation with Gaussian hypergeometric functions, and the parameter beta is chosen algebraically from the Strauss exponent, not fitted to the lifespan conclusion. The second-order ODE blow-up lemma is attributed to Zhou [36] and Kato's lemma to Yordanov-Zhang [34], both external to the present authors, and the decay estimates in Lemmas 3.1-3.2 are quoted from Palmieri-Reissig [26] and Wirth [32], again not from this paper's own results. The local well-posedness proof is only fully written for Case 1, with Cases 2-5 dismissed as 'no further details will be provided'; this is an omitted verification and a potential correctness risk, but it is not circular reasoning, because the missing estimates are external inputs rather than consequences of the target lifespan bound. No parameter is fitted to the data being predicted, and no load-bearing step reduces by definition to a previous conclusion of the same paper. The abstract's phrase 'for any delta>0' does overstate the theorem's hypothesis 0 < delta < (m+1)^2 n^2, but this is an accuracy issue, not circularity. Accordingly, no circular step meeting the evidentiary standard was found.
Assumptions & free parameters
assumptions (6)
- domain assumption Finite propagation speed: supp u(t,.) subset {|x| <= phi(t)-phi(1)+M} with phi(t)=t^(m+1)/(m+1).
- domain assumption Linear decay estimates in Lemmas 3.1 and 3.2 from [26] and [32].
- standard math Zhou's ODE blow-up lemma (Lemma 4.7), quoted from [36].
- standard math Kato's lemma (Lemma 5.1), quoted from [34] (Yordanov-Zhang).
- standard math Gaussian hypergeometric function identities from NIST [22], formulas 15.4.20, 15.5.1, 15.4.23.
- standard math Gagliardo-Nirenberg inequality (Lemma 3.3).
Cite this review
Pith. "Pith review of Lifespan estimate for the semilinear regular Euler-Poisson-Darboux-Tricomi equation." pith.science (2026). https://pith.science/paper/KFK7MHSJ
@misc{pith2026250202084,
author = {Pith},
title = {Pith review of: Lifespan estimate for the semilinear regular Euler-Poisson-Darboux-Tricomi equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/KFK7MHSJ}},
note = {Machine review of arXiv:2502.02084}
}
abstract
In this paper, we begin by establishing local well-posedness for the semilinear regular Euler-Poisson-Darboux-Tricomi equation. Subsequently, we derive a lifespan estimate with the Strauss index given by $p=p_{S}(n+\frac{\mu}{m+1}, m)$ for any $\delta>0$, where $\delta$ is a parameter to describe the interplay between damping and mass. This is achieved through the construction of a new test function derived from the Gaussian hypergeometric function and a second-order ordinary differential inequality, as proven by Zhou \cite{Zhou2014}. Additionally, we extend our analysis to prove a blow-up result with the index $p=\max\{p_{S}(n+\frac{\mu}{m+1}, m), p_{F}((m+1)n+\frac{\mu-1-\sqrt\delta}{2})\}$ by applying Kato$^{\prime}$s Lemma ( i.e., Lemma \ref{katolemma} ), specifically in the case of $\delta=1$.
Reference graph
Works this paper leans on
-
[24]
A. P ALMIERI , On the the critical exponent for the semilinear Euler-Pois son-Darboux-Tricomi equation with power nonlinearity , arXiv:2105.09879, (2021)
work page Pith review arXiv 2021
-
[27]
A. P ALMIERI , Z. T U, Lifespan of semilinear wave equation with scale invariant dissipation and mass and sub-Strauss power nonlinearity , J. Math. Anal. Appl. , 470 (2019), 447-469
work page 2019
-
[26]
A. P ALMIERI , M. R EISSIG , Semi-linear wave models with power non-linearity andscal e- invariant time-dependent mass and dissipation, II , Math. Nachr ., 291 (2018), 1859-1892
work page 2018
-
[32]
W IRTH , Solution representations for a wave equation with weak dis sipation, Math
J. W IRTH , Solution representations for a wave equation with weak dis sipation, Math. Methods Appl. Sci., 27 (2004), 101-124
work page 2004
-
[4]
M.F. B EN HASSEN , M. H AMOUDA , M.A. H AMZA , H.K. T EKA , Nonexistence result for the generalized Tricomi equation with the scale-invariant dam ping, mass term and time derivative nonlinearity, Asymptot. Anal., 128 (2022), 495-515
work page 2022
-
[14]
M. H AMOUDA , M.A. H AMZA , Blow-up and lifespan estimate for the generalized Tricomi equation with mixed nonlinearities , Adv. Pure Appl. Math., 12 (2021), 54-70
work page 2021
-
[1]
J. B ARROS -N ETO , I.M. G ELFAND , Fundamental solutions for the Tricomi operator , Duke Math. J., 98 (1999), 465-483
work page 1999
-
[2]
J. B ARROS -N ETO , I.M. G ELFAND , Fundamental solutions for the Tricomi operator. II , Duke Math. J., 111 (2002), 561-584
work page 2002
Show all 36 references
-
[3]
B ARROS -N ETO , I.M
J. B ARROS -N ETO , I.M. G ELFAND , Fundamental solutions for the Tricomi operator. III , Duke Math. J., 128 (2005), 119-140
2005
-
[5]
D ′ABBICCO , Small data solutions for the Euler-Poisson-Darboux equat ion with a power nonlinearity, J
M. D ′ABBICCO , Small data solutions for the Euler-Poisson-Darboux equat ion with a power nonlinearity, J. Differential Equations, 286 (2021), 531-556
2021
-
[6]
D ′ABBICCO , The semilinear Euler-Poisson-Darboux equation: a case of wave with critical dissipation, arXiv:2008.08703, (2020)
M. D ′ABBICCO , The semilinear Euler-Poisson-Darboux equation: a case of wave with critical dissipation, arXiv:2008.08703, (2020)
2020 arXiv
-
[7]
D ′ABBICCO , S
M. D ′ABBICCO , S. L UCENTE , NLWE with a special scale-invariant damping in odd space dimension, Discrete Contin. Dyn. Syst. , AIMS Proceedings (2015), 312-319
2015
-
[8]
D ′ABBICCO , S
M. D ′ABBICCO , S. L UCENTE , M. R EISSIG , A shift in the Strauss exponent for semilinear wave equations with a not effective damping , J. Differential Equations, 259 (2015), 5040-5073
2015
-
[9]
F RANKL , On the problems of Chaplygin for mixed sub- and supersonic fl ows, Bull
F. F RANKL , On the problems of Chaplygin for mixed sub- and supersonic fl ows, Bull. Acad. Sci. URSS. Sér . Math., 9 (1945), 121-143
1945
-
[10]
F RIEDMAN , Partial Differential Equations , Krieger, New Y ork (1976), 1215-1240
A. F RIEDMAN , Partial Differential Equations , Krieger, New Y ork (1976), 1215-1240
1976
-
[11]
F UJITA , On the blowing up of solutions of the Cauchy problem for ut = ∆ u +u1+α , J
H. F UJITA , On the blowing up of solutions of the Cauchy problem for ut = ∆ u +u1+α , J. Fac. Sci. Univ. Tokyo Sect. I, 13 (1966), 109-124
1966
-
[12]
G EORGIEV , H
V. G EORGIEV , H. L INDBLAD , C.D.S OGGE , Weighted Strichartz estimates and global exis- tence for semilinear wave equations , Amer . J. Math., 119 (1997), 1291-1319
1997
-
[13]
G LASSEY , Existence in the large for □u =F (u) in two space dimensions , Math
R.T. G LASSEY , Existence in the large for □u =F (u) in two space dimensions , Math. Z., 178 (1981), 233-261
1981
-
[15]
H AYAKAWA, On nonexistence of global solutions of some semilinear par abolic differential equations, Proc
K. H AYAKAWA, On nonexistence of global solutions of some semilinear par abolic differential equations, Proc. Jpn. Acad., 49 (1973), 503-505
1973
-
[16]
D. H E, I. W ITT, H. Y IN, On semilinear Tricomi equations with critical exponents o r in two space dimensions, J. Differential Equations, 263 (2017), 8102-8137
2017
-
[17]
D. H E, I. W ITT, H. Y IN, On the global solution problem for semilinear generalized Tricomi equations, I, Calc. V ar . Partial Differential Equations,56 (2017), 1-24. 24 Y .- Q. LI AND F. GUO
2017
-
[18]
D. H E, I. W ITT, H. Y IN, On the global solution problem for semilinear generalized Tricomi equations, II, Pacific J. Math. , 314 (2021), 1-24
2021
-
[19]
J OHN , Blow-up of solutions of nonlinear wave equations in three s pace dimensions , Proc
F. J OHN , Blow-up of solutions of nonlinear wave equations in three s pace dimensions , Proc. Nat. Acad. Sci. U.S.A. , 28 (1979), 1559-1560
1979
-
[20]
J. L IN, Z. T U, Lifespan of semilinear generalized Tricomi equation with Strauss type expo- nent, arXiv:1903.11351, (2019)
2019 arXiv
-
[21]
W. N. N ASCIMENTO , A. P ALMIERI , M. R EISSIG , Semi-linear wave models with power non- linearity and scale-invariant time-dependent mass and dis sipation, Math. Nachr ., 290 (2017), 1779-1805
2017
-
[22]
O LVER , D.W
F.W.J. O LVER , D.W. L OZIER , R.F. B OISVERT , C.W. C LARK , NIST Handbook of Mathe- matical Functions, U.S. Depart-ment of Commerce, Washington, 2010
2010
-
[23]
P ALMIERI , Global existence of solutions for semi-linear wave equati on with scaleinvariant damping and mass in exponentially weighted spaces , J
A. P ALMIERI , Global existence of solutions for semi-linear wave equati on with scaleinvariant damping and mass in exponentially weighted spaces , J. Math. Anal. Appl., 461 (2018), 1215-1240
2018
-
[25]
P ALMIERI , M
A. P ALMIERI , M. R EISSIG , A competition between Fujita and Strauss type exponents fo r blow-up of semi-linear wave equations with scale-invarian t damping and mass , J. Differential Equations, 266 (2019), 1176-1220
2019
-
[28]
S HISHKINA , S.M
E.L. S HISHKINA , S.M. S ITNIK , General form of the Euler-Poisson-Darboux equation and ap plica- tion of transmutation method, Electron. J. Differential Equations, (2017), Paper No. 177, 20. pp
2017
-
[29]
S TRAUSS , Nonlinear scattering theory at low energy , J
W.A. S TRAUSS , Nonlinear scattering theory at low energy , J. Funct. Anal., 41 (1981), 110-133
1981
-
[30]
S UN, Sharp lifespan estimates for subcritical generalized sem ilinear Tricomi equations , Math
Y. S UN, Sharp lifespan estimates for subcritical generalized sem ilinear Tricomi equations , Math. Methods Appl. Sci. , 44 (2021), 10239-10251
2021
-
[31]
T ATARU, Strichartz estimates in the hyperbolic space and global ex istence for the semilin- ear wave equation, Trans
D. T ATARU, Strichartz estimates in the hyperbolic space and global ex istence for the semilin- ear wave equation, Trans. Amer . Math. Soc., 353 (2001), 795-807
2001
-
[33]
Y AGDJIAN , A note on the fundamental solution for the Tricomi-type equ ation in the hy- perbolic domain, J
K. Y AGDJIAN , A note on the fundamental solution for the Tricomi-type equ ation in the hy- perbolic domain, J. Differential Equations, 206 (2004), 227-252
2004
-
[34]
Y ORDANOV , Q.S
B.T. Y ORDANOV , Q.S. Z HANG , Finite time blow up for critical wave equations in high di- mensions, J. Funct. Anal., 231 (2006), 361-374
2006
-
[35]
Z HOU , Blow up of solutions to semilinear wave equations with crit ical exponent in high dimensions, Chin
Y. Z HOU , Blow up of solutions to semilinear wave equations with crit ical exponent in high dimensions, Chin. Ann. Math. , 28 B (2007), 205-212
2007
-
[36]
ZHOU , W
Y. ZHOU , W. H AN, Life-span of solutions to critical semilinear wave equati ons, Comm. Partial Differential Equations, 39 (2014), 439-451. YUEQUN LI SCHOOL OF MATHEMATICAL SCIENCES , NANJING NORMAL UNIVERSITY NANJING 210023, C HINA Email address: yqli1214@163.com FEI GUO SCHO...
2014
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.