{"id":"2201d1e1-126c-4770-8c0b-af5ab8190020","arxiv_id":"2607.04575","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For the 3D Euler-Poisson-Darboux equation with μ ≥ 14/5, small-data global solutions exist whenever p > max{5/3, 1 + 2/μ}.","lead":"The paper proves global existence of small smooth solutions to the 3D semilinear Euler-Poisson-Darboux equation for damping coefficients μ ≥ 14/5 and powers p above a threshold that is the Fujita exponent or slightly larger. This closes part of a long-standing open problem on critical exponents for damped waves that was already settled in 1D and 2D.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates the integrability condition p > 1 + 2/μ as the sole technical obstruction that prevents the result from reaching the full Fujita line when 14/5 ≤ μ < 3. That obstruction is openly acknowledged by the authors and does not affect the validity of the statement that is actually proved. The remainder of the proof is a standard (if lengthy) vector-field / Fourier-multiplier argument whose individual steps check out on inspection. Consequently there is no load-bearing concern that would justify lowering the verdict from ACCEPT or reducing the high confidence already assigned by the Reader.","tokens_in":49027,"tokens_out":507,"duration_ms":5496,"concrete_test":"Independently recompute the time integral that appears after (5.16) and (5.18) for a concrete intermediate value, e.g. μ = 2.9 and p = 1.7 (which satisfies p > 5/3 but p < 1 + 2/μ). Verify that the integral diverges exactly as claimed; if a refined weight or a different frequency decomposition makes the same integral converge, the gap can be closed without changing the rest of the argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1.1) is a pure fixed-point argument in the space X(T) of (5.1). The only place where the argument is forced to stop short of the expected Fujita threshold is the time-integrability condition after (5.18), which requires p > 1 + 2/μ when 14/5 ≤ μ < 3. The authors themselves flag this gap in Remark 1.1 and attribute it to the present decay estimates rather than to the true critical exponent. All other estimates (Bessel/Hankel asymptotics, the Sobolev embedding (2.20), the homogeneous and inhomogeneous decay lemmas of Sections 3–4, and the contraction mapping of Section 5) appear internally consistent and are written out in full. No hidden circularity or unjustified interchange of limits is visible. The gap is therefore a limitation of the method, not a flaw that undermines the theorem as stated.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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).","tokens_in":49219,"tokens_out":873,"duration_ms":7000,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a natural and carefully executed continuation of the authors’ 2-D series. The remaining gap for 14/5 ≤ μ < 3 is modest and already announced for future work; I see no reason to delay publication of the present result."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper closes the global-existence half of the open problem for the 3-D semilinear Euler-Poisson-Darboux equation when μ ≥ 14/5 and p > max{5/3, 1 + 2/μ}. That is a concrete advance: previous global results were either lower-dimensional, radial, or restricted to smaller μ. The theorem is clean and the authors flag the remaining gap themselves.\n\nWhat works is the linear analysis. They write the solution via Bessel/Hankel multipliers, split frequency space into the usual three zones, and get the decay estimates under the vector-field norms they already used in 2-D. The new technical piece is the Sobolev embedding on S^{2} (Lemma 2.3) that replaces the simpler S^{1} estimate; once they have that, the contraction in X(T) closes for the stated range of p. The estimates are written out zone-by-zone and look correct on inspection. Self-citations to their own 2-D papers are background, not circular.\n\nThe soft spot is real but limited. For 14/5 ≤ μ < 3 the method forces p > 1 + 2/μ instead of the expected Fujita threshold 5/3, leaving a gap of size at most 1/21. They attribute it to the time-integrability of the Duhamel term and say they will treat the remaining cases with weighted Strichartz estimates later. That is honest; it does not undermine the theorem as stated. For μ ≥ 3 the gap disappears and the result is sharp relative to the known blow-up theory.\n\nThis is for people who work on damped waves and critical exponents. The argument is pure analysis, self-contained, and free of free parameters or data-fitting. I would send it to referees without hesitation; the gap is a limitation of the method, not a flaw that kills the claim. Worth reading if you care about the 3-D case; not a revolution, but a legitimate step that fills a known hole.","headline":"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.","tokens_in":49818,"tokens_out":569,"would_cite":true,"duration_ms":7711,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L70","35L65","35L67"],"pacs":[],"model":"grok-4.5","headline":"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/μ}.","keywords":["Euler-Poisson-Darboux equation","critical exponent","global existence","Bessel function","vector field","Klainerman-Sobolev inequality","scale-invariant damping","Fujita exponent"],"falsifier":"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.","tokens_in":49925,"feed_emoji":"∿️","tokens_out":812,"duration_ms":7774,"temperature":0.7,"pith_summary":"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.","feed_headline":"Global solutions found for 3-D damped wave equations","feed_subtitle":"When damping is strong enough, small data stay global once the power clears a Fujita-type threshold","key_machinery":"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).","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Global small-data solutions for 3-D Euler-Poisson-Darboux when μ≥14/5","3-D semilinear EPD equations admit global solutions above Fujita threshold","Small data yield global energy-space solutions for damped 3-D EPD waves","Open question resolved: global existence in 3-D EPD for μ≥14/5 and p>5/3","Global classical solutions exist for 3-D EPD under strong damping condition"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Global small-data solutions for 3-D Euler-Poisson-Darboux when μ≥14/5","3-D semilinear EPD equations admit global solutions above Fujita threshold","Small data yield global energy-space solutions for damped 3-D EPD waves","Open question resolved: global existence in 3-D EPD for μ≥14/5 and p>5/3","Global classical solutions exist for 3-D EPD under strong damping condition"]},"model":"grok-4.5","effort":"low","cost_usd":0.005742,"raw_usage":{"total_tokens":1615,"prompt_tokens":891,"num_sources_used":0,"completion_tokens":123,"cost_in_usd_ticks":57420000,"prompt_tokens_details":{"text_tokens":891,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":601,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":891,"tokens_out":123,"duration_ms":5084,"temperature":1.0,"reasoning_tokens":601,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T17:01:43.007821+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}