{"id":"802f6c1b-1c19-4613-9d8e-f2418c12114a","arxiv_id":"2507.08274","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For 2 < μ < 3 and p > 2, small initial data give a unique global solution to □u + (μ/t)∂_t u = |u|^p in two space dimensions.","lead":"The paper proves that small-amplitude solutions of a 2-D semilinear wave equation with scale-invariant damping exist globally when the damping coefficient μ lies between 2 and 3 and the nonlinearity power p exceeds 2. It fills the last open parameter range for a conjecture about the critical exponent, completing the picture when combined with earlier and forthcoming results.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Lemma 4.1's decay estimate (4.4) survives checking in all three frequency zones; the only genuine caveat is the completeness claim resting on the forthcoming paper [12].","rationale":"The reader correctly identifies the decay estimate (4.4) and the intermediate zone as the load-bearing point of the proof. My independent check of the Bessel-function estimates in Lemma 4.1 does not reveal an error: the pointwise bounds used in zones τ|ξ|≥1, τ|ξ|≤1≤t|ξ|, and t|ξ|≤1 all hold for 2<μ<3, and the t^{-1}τ factor is recovered in each zone. The only defect found is a harmless typo in (4.11). The contraction mapping argument in Section 5 then closes: the exponents in (5.13) and (5.19) satisfy the convergence conditions for p>2 after choosing ε_1 small, as the paper states. The 'completely solved' claim in the abstract and Remark 1.1, however, goes beyond Theorem 1.1 by invoking the forthcoming paper [12] for μ=1; this is an external dependency that cannot be verified from the manuscript alone. Because the reader's conditional acceptance already accounts for this external dependency and the main theorem's proof appears sound, the verdict should remain unchanged: conditional acceptance with moderate confidence is appropriate.","tokens_in":32972,"tokens_out":30617,"duration_ms":269791,"concrete_test":"Independently re-derive Lemma 4.1's intermediate-zone estimates (4.22)–(4.23) starting from the explicit formula (4.18) and the asymptotics (2.24)–(2.25); verify the pointwise reductions t^{1-μ/2}|ξ|^{2-μ/2}≤|ξ| and |ξ||Ψ1(t,τ,ξ)|≤t^{-1}τ hold on τ|ξ|≤1≤t|ξ| for every μ∈(2,3). If either inequality fails for some admissible μ, the Duhamel integral in (5.15) would not converge and the contraction argument would collapse.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest-assumption is correctly located: the contraction argument for Theorem 1.1 hinges on (4.4), ‖∂v‖_{Z,1,2} ≲ t^{-1}τ ‖v1‖_{Z,1,2}, and on the analogous bound behind (5.15). I checked the three frequency zones against the Bessel estimates (2.22)–(2.25). In zone τ|ξ|≥1, |Ψ1| ≲ t^{-μ/2}τ^{μ/2}|ξ|^{-1}, so |ξ||Ψ1| ≲ (t/τ)^{-μ/2} ≤ t^{-1}τ since μ/2>1 and τ≤t. In the intermediate zone τ|ξ|≤1≤t|ξ|, the estimates in (4.22)–(4.23) reduce to pointwise inequalities such as t^{1-μ/2}|ξ|^{2-μ/2}≤|ξ| and t^{-μ/2}|ξ|^{1-μ/2}τ≤t^{-1}τ, both valid because (t|ξ|)^{1-μ/2}≤1. In the low-frequency zone t|ξ|≤1, |ξ|≤1/t gives the t^{-1}τ factor directly. I found only a typo in (4.11): ‖|ξ_j|ˆv‖_{L^2} = t^{-1}‖t|ξ_j|∂_tˆv‖_{L^2} should read t^{-1}‖t|ξ_j|ˆv‖_{L^2}; this does not affect the subsequent bound because (4.10) already bounds ‖t|ξ_j|ˆv‖. The genuinely unsupported part is the abstract's 'solved completely' assertion, which depends on the forthcoming paper [12] for μ=1; that is external to Theorem 1.1 and does not undermine the proof presented here.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a global small-data existence theorem for the 2-D semilinear wave equation with scale-invariant damping, □u + (μ/t)∂_t u = |u|^p, in the previously open parameter range 2<μ<3 and p>2. The proof combines an explicit Fourier representation of the linear propagator in terms of Bessel and Hankel functions, a three-frequency-zone analysis, vector-field weighted norms of the type introduced in [21], and a Duhamel contraction argument in a space X(T). Theorem 1.1 states that for compactly supported smooth initial data of sufficiently small amplitude, a unique global solution exists in C([1,∞);H^2)∩C^1([1,∞);H^1)∩C^2([1,∞);L^2). The key analytic input is the decay estimate (4.4) for the inhomogeneous linear problem, together with the nonlinear estimates in Section 5 that reduce the required integrability to p>2.","tokens_in":33372,"tokens_out":28203,"duration_ms":276482,"significance":"If correct, Theorem 1.1 closes the last open range in the two-dimensional scale-invariant damping conjecture for μ≥2, namely 2<μ<3, since the cases μ=2 and μ≥3 are already covered by [2,3]. The proof is largely self-contained and has the desirable feature that the central decay estimate (4.4) is checked explicitly in all three frequency zones A1, A2, A3; the contraction argument then depends only on the condition p>2, which is exactly the Fujita exponent in two dimensions. The paper also gives explicit Bessel-function expressions and detailed pointwise bounds, so the main line of the proof is verifiable. The principal caveat is that the abstract's 'solved completely' assertion relies on the forthcoming paper [12] for the case μ=1, which is outside the present manuscript and not independently verifiable; this affects the completeness claim but not the validity of Theorem 1.1.","major_comments":[],"minor_comments":[{"comment":"There is a typo in (4.11): the displayed identity should read ‖|ξ_j| v̂‖_{L^2} = t^{-1}‖t|ξ_j| v̂‖_{L^2}, not t^{-1}‖t|ξ_j| ∂_t v̂‖_{L^2}. The subsequent bound uses (4.10) for ‖t|ξ_j| v̂‖, so the argument itself is unaffected, but the formula as written is incorrect.","section":"Section 4, Eq. (4.11)"},{"comment":"The assertion that the open question 'has been solved completely' is supported by the forthcoming paper [12] for the case μ=1, together with the preprints [11,19]. Since [12] is not yet available for independent verification, the completeness claim should be stated conditionally, for example by saying that the remaining case is treated in [12], rather than presenting the full conjecture as settled in this paper.","section":"Abstract and Remark 1.1"},{"comment":"The fixed-point argument is carried out in the space X(T), whose norm controls u, ∂u and their first-order vector-field derivatives in L^2, but Theorem 1.1 asserts H^2 regularity. The passage from the X(T)-bound to u∈C([1,∞);H^2)∩C^1([1,∞);H^1)∩C^2([1,∞);L^2) is not demonstrated in the text; it is only referred to as in [21] or §4 of [3]. A short argument using finite speed of propagation and the elliptic invertibility of the vector fields {L0, Lj, Ω} on ∂u, or a precise statement of the applicable regularity result from [3], should be included.","section":"Section 5, between (5.1) and (5.22)"},{"comment":"In the contraction estimate (5.20), the product estimate for ‖|u-v|(|u|+|v|)^{p-1}‖_{Z,1,(1+ε1,2)} suppresses the term where the vector field differentiates (|u|+|v|)^{p-1}. This term can be bounded by the same right-hand side because |u-v|≤|u|+|v| and the derivative of (|u|+|v|)^{p-1} is (p-1)(|u|+|v|)^{p-2}∂(|u|+|v|), but the step is not written out and should be made explicit for the contraction estimate to be fully self-contained.","section":"Section 5, Eq. (5.20)"},{"comment":"The estimates for ∂_t^2 Ψ0 and ∂_t^2 Ψ1 in the low-frequency zone A3 are stated without derivation. Since the relevant Bessel functions have singular small-argument asymptotics and the claimed bounds rely on cancellations between determinant terms, a one-line derivation or a precise reference to the Bessel identities used would improve readability and verifiability.","section":"Section 3, Eqs. (3.58)-(3.60)"}],"recommendation":"minor_revision","confidential_remarks":"The main theorem appears sound and the central estimate (4.4) has been checked in all frequency zones. The paper's value would be enhanced by softening the completeness claim in the abstract until the companion paper [12] is available. The H^2 regularity and the product-estimate details are local gaps that should be fixed in revision; they do not undermine the central existence argument."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is the right paper to fill the last open range 2<μ<3, p>2, and the core argument looks sound. The main theorem is new: previous work covered 0<μ<2 (except μ=1), μ=2, and μ≥3, so this is the remaining gap. The method is a genuine extension of the authors' Bessel-representation and vector-field machinery. The commutators with vector fields don't close cleanly, so they work directly with the Ψ0/Ψ1 symbols in Fourier space and split frequency space into three zones. I went through the key estimates, especially Lemma 4.1's (4.4), which is the load-bearing decay bound for the contraction. It survives checking in all three zones: the high-frequency bound gives |ξ||Ψ1| ≲ t^{-μ/2}τ^{μ/2} ≤ t^{-1}τ for μ>2; the intermediate and low zones give the same or better. The analogous bound behind (5.15) has the same structure.\n\nWhat's soft: the abstract's \"solved completely\" claim rests on the forthcoming paper [12] for μ=1. That is external and not yet checkable. It does not affect Theorem 1.1, but it should be flagged if this is marketed as the definitive completion. The H^2 regularity of the solution is not shown directly; it is handed over to [21] or [3, §4]. Probably fine, but for a paper whose title is about weak solutions, a few lines showing how the contraction in X(T) gives the stated regularity would make it self-contained. I also found one typo in (4.11): the displayed equality should be t^{-1}‖t|ξ_j| v̂‖, not t^{-1}‖t|ξ_j|∂_t v̂‖. It doesn't affect the bound, but it is a small readability issue.\n\nBottom line: the mathematical case for the range 2<μ<3 is convincing, and the proof is detailed enough that a specialist can verify it. The unsupported part is only the completeness claim. I'd send it to a serious referee, and I'd cite it if I worked in this area. The reading group would get something out of the Fourier/Bessel machinery, though it's heavy going.","headline":"The paper closes the last open range 2<μ<3 for the 2-D scale-invariant damping conjecture; the proof is technical but the key estimate checks out, with the completeness claim as the only real caveat.","tokens_in":33936,"tokens_out":1932,"would_cite":true,"duration_ms":20810,"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":"deepseek-v4-flash","headline":"For the 2-D damped wave equation, global small-data solutions exist for all $\\mu>2$ and $p>2$, closing the last open range of the scale-invariant damping conjecture.","keywords":["scale-invariant damping","global existence","weak solutions","Bessel functions","Hankel functions","vector field method","Klainerman-Sobolev inequality","Fujita exponent"],"falsifier":"Evaluate $\\partial_t\\Psi_1(t,\\tau,\\xi)$ numerically in the intermediate zone $\\tau|\\xi|\\le1\\le t|\\xi|$ for $\\mu$ close to $3$; if the ratio $|\\partial_t\\Psi_1|\\,/(t^{-1}\\tau)$ grows without bound as $t\\to\\infty$ for some fixed $\\tau,\\xi$, then Lemma 4.1 and Theorem 1.1 would fail.","tokens_in":32772,"feed_emoji":"🌊","tokens_out":8955,"duration_ms":95506,"temperature":0.7,"pith_summary":"The paper proves the final open range of the two-dimensional scale-invariant damping conjecture: for $2<\\mu<3$ and $p>2$, the semilinear wave equation $\\square u+\\frac{\\mu}{t}\\partial_t u=|u|^p$ has a unique global small-data solution in the Sobolev classes $C([1,\\infty);H^2)\\cap C^1([1,\\infty);H^1)\\cap C^2([1,\\infty);L^2)$. Combined with earlier results for $\\mu=2$, $\\mu\\ge3$, and $0<\\mu<2$, this settles the proposed threshold: above it global existence holds, while below it known blow-up results apply. The proof is explicit: it writes the linearized solution with Bessel and Hankel functions, splits frequencies into three zones, and converts sharp time-decay estimates into a contraction mapping. A sympathetic reader should care because scale-invariant damping is the borderline regime where damping neither vanishes nor fully dissipates, and two space dimensions make the Strauss-versus-Fujita threshold delicate.","feed_headline":"2-D damped wave equation solved for all μ>2","feed_subtitle":"Global small-data solutions exist for every p>2, closing the last open range of the conjecture.","key_machinery":"The machine that carries the proof is the explicit Fourier representation of the linear damped-wave propagator. For $\\rho=-(\\mu-1)/2\\in(-1,-1/2)$, the multipliers $\\Psi_0,\\Psi_1$ in (2.4)-(2.5) are built from Hankel functions $H^\\pm_\\rho$, and the frequency space is split into $A_1=\\{|\\xi|\\ge1\\}$, $A_2=\\{|\\xi|\\le1\\le t|\\xi|\\}$, and $A_3=\\{t|\\xi|\\le1\\}$. In each zone, standard Bessel asymptotics give the size of $\\Psi_0,\\Psi_1$ and their $t$- and $\\xi$-derivatives; these feed the homogeneous estimates (3.2), (3.52) and the inhomogeneous estimates (4.3), (4.4) in the $Z$-norms generated by the vector fields $\\partial,L_0,L_j,\\Omega_{12}$. The final contraction argument converts the linear decay into global existence for the nonlinear equation.","core_discovery":"The central claim is Theorem 1.1: for $2<\\mu<3$ and $p>2$, there is $\\varepsilon_0>0$ such that for $0<\\varepsilon<\\varepsilon_0$ the problem with data $(\\varepsilon u_0,\\varepsilon u_1)$ admits a unique global solution in the stated regularity classes. The paper's own framing is that this closes the conjecture for $\\mu\\ge2$, where global existence should hold exactly at the Fujita exponent $p_f(2)=2$. It does so by proving uniform-in-time decay of the linear propagator in the three frequency zones $A_1,A_2,A_3$, then using Duhamel's principle to show the nonlinear map is contractive on a closed ball in the norm $\\|u\\|_{X(T)}=\\sup_t(t^{-(\\delta-1)}\\|u\\|_{Z,1,2}+t\\|\\partial u\\|_{Z,1,2})$. The theorem is an extension result: it adds the missing interval $2<\\mu<3$ to previously known cases.","pith_inferences":["A natural extension not treated here is to weaken the nonlinearity near the critical power $p=2$ by a logarithmic factor; the paper's integrability condition $p>2$ is used only to make a time integral converge, so the same three-zone machinery may survive such a perturbation.","One testable consequence that the paper does not formulate is an explicit dependence of $\\varepsilon_0$ on $p$: tracking the constants in Proposition 5.1 should show $\\varepsilon_0$ shrinking as $p\\downarrow2$, which could be compared with the known blow-up threshold.","The proof suggests that the damping coefficient need not be exactly $\\mu/t$; the same Hankel-function estimates should tolerate small time-dependent perturbations of $\\mu/t$, although the paper does not address such perturbations."],"forward_implications":["Every nonvanishing damping strength $\\mu>2$ now has global small-data solutions for every $p>2$, matching the Fujita exponent $p_f(2)=2$.","Together with the paper's companion results, the full open question (A) is resolved: $0<\\mu<2$ requires $p>p_s(2+\\mu)$, while $\\mu\\ge2$ requires only $p>2$.","The solution exists for all $t\\ge1$ with uniform bounds on $t\\|\\partial u\\|_{Z,1,2}$, so no singularity or energy concentration develops at any finite time.","The explicit Bessel estimates provide a template for the remaining endpoint $\\mu=1$, which the paper announces is handled by a companion preprint with threshold $p>1+\\sqrt2$."],"supporting_citations":[{"why":"Supplies the explicit Fourier multipliers $\\Psi_0,\\Psi_1$ for the linear damped wave equation used throughout Sections 2-4.","marker":"[32]"},{"why":"Provides the Bessel and Hankel asymptotic bounds for large and small arguments that drive the three-zone decay estimates.","marker":"[24]"},{"why":"Introduces the $Z$-norms and the contraction-mapping scheme adapted here for the solution space $X(T)$.","marker":"[21]"},{"why":"Gives the Klainerman-Sobolev inequality used to turn $Z$-norm bounds into the sup-norm estimates needed for the nonlinearity.","marker":"[16]"},{"why":"Establishes the companion $\\mu=2$ case and supplies the closed-subspace fixed-point model that Section 5 follows.","marker":"[3]"}],"fun_headline_variants":["2-D wave equation with damping solved for all μ≥2","Closing conjecture: global solutions for μ>2 in damped wave equation","Damped wave equation: existence for every p>2 when μ>2","Final gap filled for scale-invariant damping in 2D","Global small-data solutions for μ>2 in semilinear wave equation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole theorem rests on one linear decay estimate: the derivative of the damped wave solution starting at time $\\tau$ may grow at most like $t^{-1}\\tau$, uniformly over all frequencies for every $2<\\mu<3$; if that estimate fails in the intermediate frequency zone, the Duhamel integral no longer converges and global existence does not follow.","fun_headline_variants_meta":{"raw":{"variants":["2-D wave equation with damping solved for all μ≥2","Closing conjecture: global solutions for μ>2 in damped wave equation","Damped wave equation: existence for every p>2 when μ>2","Final gap filled for scale-invariant damping in 2D","Global small-data solutions for μ>2 in semilinear wave equation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000279,"raw_usage":{"total_tokens":1699,"prompt_tokens":1028,"completion_tokens":671,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":644,"completion_tokens_details":{"reasoning_tokens":579}},"tokens_in":644,"tokens_out":671,"duration_ms":7039,"temperature":1.0,"reasoning_tokens":579,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:23:25.146222+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate $\\partial_t\\Psi_1(t,\\tau,\\xi)$ numerically in the intermediate zone $\\tau|\\xi|\\le1\\le t|\\xi|$ for $\\mu$ close to $3$; if the ratio $|\\partial_t\\Psi_1|\\,/(t^{-1}\\tau)$ grows without bound as $t\\to\\infty$ for some fixed $\\tau,\\xi$, then Lemma 4.1 and Theorem 1.1 would fail.","supporting_citations":[{"cited_title":"Wirth, Solution representations for a wave equation with weak dissipation","cited_arxiv_id":null,"evidence_quote":"Supplies the explicit Fourier multipliers $\\Psi_0,\\Psi_1$ for the linear damped wave equation used throughout Sections 2-4."},{"cited_title":"Olver, D.W","cited_arxiv_id":null,"evidence_quote":"Provides the Bessel and Hankel asymptotic bounds for large and small arguments that drive the three-zone decay estimates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the $Z$-norms and the contraction-mapping scheme adapted here for the solution space $X(T)$."},{"cited_title":"Klainerman, Uniform decay estimates and Lorentz invariance of the classical wave equation","cited_arxiv_id":null,"evidence_quote":"Gives the Klainerman-Sobolev inequality used to turn $Z$-norm bounds into the sup-norm estimates needed for the nonlinearity."},{"cited_title":"D’Abbicco, S","cited_arxiv_id":null,"evidence_quote":"Establishes the companion $\\mu=2$ case and supplies the closed-subspace fixed-point model that Section 5 follows."}],"review_version":1}