{"id":"3fbaab23-33ac-406c-9809-f382e9ea1f0d","arxiv_id":"2502.02084","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Blow-up and a lifespan upper bound are established for the semilinear Euler-Poisson-Darboux-Tricomi equation at the Strauss critical exponent, using a new hypergeometric test function.","lead":"This paper proves that solutions to a semilinear Tricomi-type wave equation with time-dependent damping and mass blow up in finite time at the critical Strauss exponent, and gives an exponential upper bound on the lifespan. The proof introduces a Gaussian hypergeometric test function to handle the endpoint case that earlier iterative arguments could not.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Local well-posedness in the regime of Theorem 2.1 depends on decay estimates quoted without proof, with proof cases 2–5 omitted; if those estimates fail, the lifespan bound has no solution to attach to.","rationale":"The blow-up proof in Sections 4–5 is largely self-contained and appears consistent: the hypergeometric test-function construction, Lemma 4.6 estimates, and the ODE argument in Section 4.3 all check out algebraically, and the endpoint at the Strauss exponent with the exponential lifespan bound is plausible. The identified weakness is the supporting local well-posedness, which is indeed the least secure link: Lemmas 3.1–3.2 are quoted without proof, and the proof of Proposition 2.1 omits the cases covering the theorem's parameter range. However, this concern affects the existence framework more directly than the blow-up estimates themselves; the reader's statement that a wrong decay rate would make 'the subsequent blow-up estimates fail' is not accurate, since Sections 4–5 do not use those linear estimates. The gap is addressable by supplying the omitted contraction arguments, so the conditional verdict remains appropriate.","tokens_in":24329,"tokens_out":32163,"duration_ms":271621,"concrete_test":"Complete the proof of Proposition 2.1 for Case 4 (δ = (m+1)^2(n−1)^2) and Case 5 (0 < δ < (m+1)^2(n−1)^2) using estimates (3.8b)/(3.8c) and (3.9b)/(3.9c), and verify that in the contraction mapping argument the constants C2T and C3T tend to 0 as T→1+; if the logarithmic terms prevent this, Proposition 2.1 fails in exactly the parameter range of Theorem 2.1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central lifespan estimate (Theorem 2.1) presupposes a unique local solution, which is the content of Proposition 2.1. That proposition rests entirely on the (L1∩L2)-L2 decay estimates in Lemmas 3.1–3.2, quoted from [26] and [32] with the comment 'we only list the results.' The contraction argument is carried out only for Case 1 (δ > (m+1)^2(n+1)^2). Cases 2–5, which include the parameter range 0 < δ < (m+1)^2 n^2 of Theorem 2.1, are dismissed with 'no further details will be provided.' In particular, the borderline logarithmic estimates (3.8b)/(3.9b) appear exactly in the omitted cases, and it is not demonstrated that the contraction constants C2T, C3T still tend to 0 as T→1+ when logarithmic factors are present. If any of these decay rates is mis-stated or the contraction argument fails in the omitted cases, Proposition 2.1 does not hold, and Theorem 2.1's lifespan estimate has no existence statement to apply to. The abstract's 'for any δ>0' also overstates the theorem, which requires 0 < δ < (m+1)^2 n^2 and p > 2(m+1)/((m+1)n − sqrt(δ)).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":24606,"tokens_out":29101,"duration_ms":259002,"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":[{"comment":"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":"Section 3, Proposition 2.1 and (3.12)–(3.13)"},{"comment":"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.","section":"Section 3, Lemmas 3.1–3.2"},{"comment":"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":"Abstract and Theorem 2.1"},{"comment":"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":"Section 5.1, reduction to Theorem 2.1"},{"comment":"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.","section":"Section 5, Lemma 5.4 and Remark 5.1"}],"minor_comments":[{"comment":"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":"Section 5.1, equation (5.4)"},{"comment":"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.","section":"Section 5.2, (5.12)–(5.13)"},{"comment":"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":"Title and references"},{"comment":"In the display for Ω2(t), the integral over R appears as '∫ R' instead of '∫_{R^n}'; this should be cleaned up.","section":"Section 4.2, proof of Lemma 4.6"}],"recommendation":"major_revision","confidential_remarks":"The central lifespan derivation in Sections 4–5 appears algebraically coherent, and the hypergeometric test function is a plausible genuine novelty. However, the local well-posedness proof is incomplete exactly in the parameter range of Theorem 2.1, and Theorem 2.2's reduction inherits an unstated small-support restriction. I would ask the authors to supply the omitted LWP cases (or a precise reference) and to either prove Lemma 5.4 or restrict the statements appropriately, before the paper can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper closes the endpoint p=p_S(n+mu/(m+1),m) for 0<δ<(m+1)^2n^2, with the expected exponential lifespan bound, and the hypergeometric test function is a legitimate adaptation. Sections 4-5 are the core and they are in good shape; I checked the identity in Lemmas 4.1-4.2, the beta_p algebra, and the applications of Zhou's and Kato's lemmas. The result is conditional only on the linear decay estimates and local well-posedness, which are the soft underbelly.\n\nThe new thing: Palmieri [24] had subcritical blow-up and lifespan bounds for p below the Strauss index; endpoint p=p_S is new for this δ range. The test function built from Gaussian hypergeometric functions matches [27] when m=0, and beta_p=(m+1)n-mu+1 over 2 - (m+1)/p lands exactly on the Strauss root. That is nontrivial and I believe correct.\n\nWhat is missing: Proposition 2.1 (local well-posedness) is sketched. Lemmas 3.1-3.2 are 'we only list the results,' quoted from [26] and [32]. The contraction argument is written for Case 1 only; Cases 2-5, including the range δ<(m+1)^2 n^2 of Theorem 2.1, get 'no further details.' The borderline logarithmic estimates (3.8b)/(3.9b) live in those omitted cases, and it is not shown that C2T and C3T go to zero when logarithmic factors are present. If any of those decay rates is off, Theorem 2.1 has no solution to attach the lifespan bound to. This is a genuine gap, not a cosmetic one, but it is likely fixable by writing out the cases or citing a published LWP proof covering them.\n\nAlso the abstract says 'for any δ>0'; the theorem needs 0<δ<(m+1)^2 n^2 plus p>2(m+1)/((m+1)n-sqrt δ), and n=1 needs mu≥m. That is an overstatement, though minor by comparison.\n\nWho this is for: people working on Strauss and Fujita exponents for Tricomi-type equations with damping and mass. The endpoint blow-up and lifespan are worth having even if LWP needs patching. I would send it to a referee with instructions to focus on Lemmas 3.1-3.2 and the omitted cases; if those hold up, the main theorem is solid.","headline":"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.","tokens_in":25163,"tokens_out":2150,"would_cite":true,"duration_ms":21270,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B44","35G25"],"pacs":[],"model":"deepseek-v4-flash","headline":"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)}}$.","keywords":["semilinear Euler-Poisson-Darboux-Tricomi equation","Strauss exponent","Fujita exponent","Gaussian hypergeometric function","test function","lifespan estimate","finite-time blow-up","scale-invariant damping and mass"],"falsifier":"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.","tokens_in":24126,"feed_emoji":"💥","tokens_out":8775,"duration_ms":79835,"temperature":0.7,"pith_summary":"This paper studies the semilinear regular Euler-Poisson-Darboux-Tricomi equation $\\partial_t^2 u - t^{2m}\\Delta u + \\frac{\\mu}{t}\\partial_t u + \\frac{\\nu^2}{t^2} u = |u|^p$ on $t\\ge 1$, a scale-invariant wave-type model that combines the Tricomi operator $t^{2m}\\Delta$ with damping and mass terms. The authors set out to prove that, when the discriminant $\\delta=(\\mu-1)^2-4\\nu^2$ lies in $0<\\delta<(m+1)^2 n^2$, small nonnegative compactly supported data lead to finite-time blow-up at the Strauss exponent $p=p_S(n+\\frac{\\mu}{m+1},m)$, with a lifespan bound $T(\\varepsilon)\\le e^{C\\varepsilon^{-p(p-1)}}$. They also establish local well-posedness for admissible exponents and, for $\\delta=1$, a blow-up result at the larger of the Strauss and Fujita indices. If the results are correct, they locate the critical exponent for this equation in the damped and massive regime and provide the matching upper lifespan estimate at the critical power.","feed_headline":"Blow-up at Strauss exponent proven for EPDT equation","feed_subtitle":"A hypergeometric test function yields T(ε) ≤ exp(C ε^{-p(p-1)}) for the damped Tricomi model.","key_machinery":"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)$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Palmieri's earlier study of the EPDT equation supplies the blow-up range below the maximum index, the Strauss-type exponent in (1.8), and the problem treated here at critical powers.","marker":"[24]"},{"why":"Palmieri and Tu's lifespan paper provides the test-function template and the second-order ODE inequality that the present paper adapts to the Gellerstedt operator; the new hypergeometric function reduces to theirs when $m=0$.","marker":"[27]"},{"why":"Zhou and Han's ODE blow-up lemma appears as Lemma 4.7 and converts the differential inequality for $J_\\beta$ into the exponential lifespan bound.","marker":"[36]"},{"why":"Palmieri and Reissig supply the $(L^1\\cap L^2)$-$L^2$ decay estimates quoted in Lemmas 3.1 and 3.2, which underpin the Duhamel bounds and the contraction-mapping proof of local well-posedness.","marker":"[26]"},{"why":"Wirth's solution representations for weakly damped wave equations are the other source of the linear decay estimates used in Section 3.","marker":"[32]"},{"why":"Yordanov and Zhang's Kato-type lemma appears as Lemma 5.1 and is the ODE blow-up criterion used for the $\\delta=1$ result.","marker":"[34]"},{"why":"Ben Hassen et al. provide the special solution $\\lambda(t)$ of $\\lambda''-t^{2m}\\lambda=0$ and its asymptotics, used to build the test function $\\psi(t,x)=\\lambda(t)\\phi(x)$ in Section 5.","marker":"[4]"}],"fun_headline_variants":["Blow-up at Strauss exponent proven for EPDT","Hypergeometric test function proves EPDT blow-up","EPDT blows up at Strauss index with damping","New hypergeometric method gives EPDT blow-up"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Blow-up at Strauss exponent proven for EPDT","Hypergeometric test function proves EPDT blow-up","EPDT blows up at Strauss index with damping","New hypergeometric method gives EPDT blow-up"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001127,"raw_usage":{"total_tokens":4721,"prompt_tokens":1013,"completion_tokens":3708,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":629,"completion_tokens_details":{"reasoning_tokens":3643}},"tokens_in":629,"tokens_out":3708,"duration_ms":25591,"temperature":1.0,"reasoning_tokens":3643,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T13:24:38.896169+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"On the the critical exponent for the semilinear Euler-Poisson-Darboux-Tricomi equation with power nonlinearity","cited_arxiv_id":"2105.09879","evidence_quote":"Palmieri's earlier study of the EPDT equation supplies the blow-up range below the maximum index, the Strauss-type exponent in (1.8), and the problem treated here at critical powers."},{"cited_title":"P ALMIERI , Z","cited_arxiv_id":null,"evidence_quote":"Palmieri and Tu's lifespan paper provides the test-function template and the second-order ODE inequality that the present paper adapts to the Gellerstedt operator; the new hypergeometric function reduces to theirs when $m=0$."},{"cited_title":"ZHOU , W","cited_arxiv_id":null,"evidence_quote":"Zhou and Han's ODE blow-up lemma appears as Lemma 4.7 and converts the differential inequality for $J_\\beta$ into the exponential lifespan bound."},{"cited_title":"P ALMIERI , M","cited_arxiv_id":null,"evidence_quote":"Palmieri and Reissig supply the $(L^1\\cap L^2)$-$L^2$ decay estimates quoted in Lemmas 3.1 and 3.2, which underpin the Duhamel bounds and the contraction-mapping proof of local well-posedness."},{"cited_title":"W IRTH , Solution representations for a wave equation with weak dis sipation, Math","cited_arxiv_id":null,"evidence_quote":"Wirth's solution representations for weakly damped wave equations are the other source of the linear decay estimates used in Section 3."},{"cited_title":"Y ORDANOV , Q.S","cited_arxiv_id":null,"evidence_quote":"Yordanov and Zhang's Kato-type lemma appears as Lemma 5.1 and is the ODE blow-up criterion used for the $\\delta=1$ result."},{"cited_title":"B EN HASSEN , M","cited_arxiv_id":null,"evidence_quote":"Ben Hassen et al. provide the special solution $\\lambda(t)$ of $\\lambda''-t^{2m}\\lambda=0$ and its asymptotics, used to build the test function $\\psi(t,x)=\\lambda(t)\\phi(x)$ in Section 5."}],"review_version":1}