{"id":"70248890-1a92-4e84-9428-c75de1109753","arxiv_id":"2505.05268","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new Morawetz estimate for the scale-invariant damped wave equation yields global existence for the mu equals 1 semilinear problem in R^n with n at least 4.","lead":"This paper proves a new Morawetz-type energy estimate for wave equations with a 1/t damping term, then uses it to show that the semilinear damped wave equation has global small-data solutions in four or more space dimensions. It closes a case in the critical-exponent theory of damped wave equations that had resisted previous methods.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.3, the unproved q=2 endpoint that feeds the weighted Strichartz interpolation, is the load-bearing gap: it does not follow from Theorem 1.1, and without it Theorem 3.2 and the global existence application are not established as written.","rationale":"Good-faith reading: the paper aims to close the mu=1 case by Morawetz-type estimates, and the multiplier computation in Section 2 is detailed and internally plausible. The homogeneous pointwise decay in Lemma 3.1 is also plausible; in particular (3.8) is not the real weakness, because t in [2,T0] is a compact interval and smooth compactly supported data simply give a bounded solution there up to a T0-dependent constant. The reader's identified assumption is therefore less load-bearing than claimed. The genuine load-bearing concern is the unproved q=2 endpoint Lemma 3.3. It is used in (3.19) to establish the q=2 endpoint of Theorem 3.2, and all q in (2, 2(n+2)/n] used for the nonlinear application are obtained by interpolation from that endpoint. The estimate does not follow from Theorem 1.1 by an elementary Hardy step, because the weights are mismatched: the Morawetz theorem supplies |u|^{1/2} on first derivatives and has source weights with exponent gamma>1, while Lemma 3.3 needs |u|^{-1/2} on the solution and no extra powers on the source. The logarithmic factor in (3.18) is claimed to absorb the critical difficulty, but the proof is omitted. There is also a second gap: Theorem 1.2 is never proved after the linear estimates; the nonlinear contraction argument is only announced. Both gaps are fillable in principle, so the paper should not be rejected outright, but the current text does not establish the stated theorem. Hence I keep the conditional verdict, with partial agreement with the reader's rationale.","tokens_in":28656,"tokens_out":18936,"duration_ms":203929,"concrete_test":"Independently re-derive Lemma 3.3 for mu=1, n>=4 by starting from the frequency representation (A.3) with nu=0, splitting into low, medium, and high frequencies as in Lemma 3.1, and tracking the logarithmic singularity of the Hankel functions at zero frequency. Check whether the resulting bound is exactly C log t times the unweighted L2 norm on the right of (3.18). If any extra power t^epsilon appears, then (3.19) fails and the q=2 endpoint, and with it the interpolation behind Theorem 3.2, is lost.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim Theorem 1.2 rests on the weighted Strichartz estimate Theorem 3.2. Theorem 3.2 is obtained by interpolating the endpoint q=2, and that endpoint is exactly the estimate (3.19), which is derived from Lemma 3.3. Lemma 3.3 is not proved; the text says the proof is similar to Lemma 3.1 in [24] and omits it. This is not a harmless omission. Lemma 3.3 asserts the bound || |t-|x||^{-1/2} t^{1/2} phi(t) ||_{L2_x} <= C log t || (tau^2-|y|^2)^{1/2} tau^{1/2} F ||_{L2([2,t)xR^n)}, while the proved Morawetz estimate (1.6) controls || |t-|x||^{1/2} grad phi || with a source norm carrying (1+|u|)^{gamma/2}(1+u)^{gamma/2} for a fixed gamma>1. Passing from |u|^{1/2} grad phi to the stronger inverse-weight |u|^{-1/2} phi, and removing the extra factors (1+|u|)^{gamma/2}(1+u)^{gamma/2}, is exactly the delicate part for mu=1, where the Hankel functions have a logarithmic singularity at zero frequency. No derivation is supplied for this step, and it cannot be obtained by the compact-time observation used for (3.8). In addition, the promised application is never proved: after Lemma 3.4 the paper moves to the appendix, and no Picard iteration or nonlinear fixed-point argument for Theorem 1.2 appears. These gaps are likely fillable, but as written the central claim is not supported.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes a Morawetz-type L2-L2 estimate for the linear inhomogeneous wave equation with scale-invariant damping, Box phi + (mu/t) partial_t phi = F, in R^n with n >= 4 and mu in (0,2). The proof in Section 2 introduces a multiplier that is adapted to the damping term by viewing the operator as an (n+1+mu)-dimensional radial operator. The authors then use this estimate to derive weighted Strichartz estimates for the inhomogeneous problem and state, as Theorem 1.2, a sharp global existence result for the semilinear problem with mu = 1 in R^n (n >= 4) for p in (p_crit(n,1), p_conf(n,1)]. The paper claims that this closes the mu = 1 case, which was left open by the Tricomi-transform approach.","tokens_in":28972,"tokens_out":12564,"duration_ms":117142,"significance":"If fully established, the results are significant. The Morawetz-type estimate in Theorem 1.1 is new and the multiplier construction is an elegant way to handle the scale-invariant damping. Theorem 1.2 would complete the global existence picture for mu = 1 in high dimensions and, together with known blow-up results, would verify the conjectured critical exponent in that case. The self-contained proof of Theorem 1.1 in Section 2 is a strength of the paper. However, the route from the linear estimates to the nonlinear application is currently incomplete, so the central claim is not yet supported.","major_comments":[{"comment":"Lemma 3.3 is the q = 2 endpoint of Theorem 3.2, but its proof is omitted with only a reference to Lemma 3.1 in [24]. This is not a routine adaptation. The estimate (3.18) controls the inverse characteristic weight |t-|x||^{-1/2} on the function phi, whereas the proved Morawetz estimate (1.6) controls |t-|x||^{1/2} on the gradient and carries additional (1+|u|)^{gamma/2}(1+u)^{gamma/2} source weights. The passage between these two is precisely the delicate mu = 1 behavior caused by the logarithmic singularity in (3.5). Since (3.19) and the interpolation producing (3.16) depend on Lemma 3.3, Theorem 3.2 is not established as written.","section":"Section 3.2, Lemma 3.3 and Eq. (3.18)"},{"comment":"The promised application is not proved. After Lemma 3.4, the paper moves directly to the appendix, and no Picard iteration or fixed-point argument for Theorem 1.2 appears. There is no definition of the solution space, no estimate of the nonlinear term |phi|^p in the dual space required by the weighted Strichartz inequality (3.16), and no iteration argument. Theorem 1.2 is the main application stated in the abstract and introduction, so this is a load-bearing omission.","section":"Section 3, proof of Theorem 1.2"},{"comment":"The proof of the homogeneous weighted Strichartz estimate contains unproved technical claims. The small-time pointwise bound (3.8) asserts the decay (1+t)^{-n/2}(1+|t-|x||)^{-n/2}, which is stronger than the free-wave decay (3.7) from which it is said to follow, and no derivation is supplied. In the large-time part, the high-frequency contributions in Cases II.2 and II.3 are controlled with factors of the form 2^{delta j}, and the summation over j requires additional high-frequency decay that is not written down. The weighted L^q estimate (3.6) therefore needs a complete proof or a precise citation.","section":"Section 3.1, Lemma 3.1 and Eq. (3.8)"}],"minor_comments":[{"comment":"The two characteristic variables are both denoted by u: the text writes 'u = t-|x|, u = t+|x|'. This makes the factors (1+|u|) and (1+u) in (1.6) ambiguous; please use distinct symbols, for example u and bar-u.","section":"Notation before Theorem 1.1"},{"comment":"The integration in (2.4) is written over R^3, but the statement is in R^n; this appears to be a typo.","section":"Proof of Lemma 2.1, Eq. (2.4)"},{"comment":"The expressions '|j|22nj' and similar are not typeset clearly; they should read |j|^2 2^{nj} or the intended power should be specified.","section":"Eqs. (3.9)-(3.10)"},{"comment":"Several steps in the proof of Lemma 3.4, including the proofs of Lemmas 3.5 and 3.6 and the Lorentz-rotation reduction, are delegated to [9] with 'we omit the details'. More detail would improve the self-containedness of the paper, even if the arguments are standard.","section":"Section 3.2, Lemma 3.4"},{"comment":"There is a typo in the abstract: 'etimate' should be 'estimate'.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a substantial new linear estimate and an attractive multiplier idea, but the nonlinear application is not actually carried out and a key linear endpoint (Lemma 3.3) is unproved. The authors should be asked to supply a complete proof of Lemma 3.3 and the full Picard iteration for Theorem 1.2 before the claims can be considered established. I would also ask them to clarify the relationship with the announced mu = 1 results in [15] and [16]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take on arXiv:2505.05268.\n\nThe part worth your time is Section 2. The modified Morawetz multiplier (2.2), the standard one plus μ/(2t), is a genuine idea, and viewing □ + (μ/t)∂t as an (n+1+μ)-dimensional operator is what makes it work. The positivity analysis is done carefully, case by case, and the appendices contain real dyadic-decomposition work with Hankel functions, including the μ=1 logarithmic singularity at zero frequency. The linear estimate, Theorem 1.1, is a solid contribution, and I would send it to a referee on that basis.\n\nNow the soft spots, in order of size. First and biggest: the advertised application, Theorem 1.2, is not proved in the manuscript. After Lemma 3.4 the text ends. There is no Picard iteration, no contraction mapping, no solution space. The introduction says global existence follows by a standard Picard iteration, but the iteration is never written down. For a paper whose title promises an application, that is a structural gap, not a cosmetic one.\n\nSecond: Lemma 3.3, the q=2 endpoint of the weighted Strichartz estimate, is deferred to Lemma 3.1 in [24] with the proof omitted. It is load-bearing, since Theorem 3.2 comes from interpolating this endpoint, and it does not follow trivially from Theorem 1.1: the Morawetz estimate controls |u|^{1/2}∇ϕ with a source weight carrying (1+|u|)^{γ/2}(1+u)^{γ/2}, while Lemma 3.3 asserts control of |u|^{-1/2}ϕ with an unsmeared weight. Passing from gradient control to inverse-weight control is exactly where the μ=1 logarithmic singularity is expected to bite. This step needs to be in the text.\n\nThird, smaller: the small-time pointwise bound (3.8) is asserted with the comment that the damping provides more decay. The exponent n/2 is stronger than the free-wave bound (3.7) it is said to follow from. Plausible, but a derivation is needed for the integrability claims in Lemma 3.1.\n\nNone of this looks like a dead end. The gaps are fillable, and the architecture — Morawetz estimate, interpolation, GLS-style localization — is the right one. The self-citation pattern is heavy but mostly legitimate: [15, 16] are the prior works that explicitly left μ=1 open, and [24] is the source of the omitted argument.\n\nWho should read this: people working on scale-invariant damping and the μ=1 endpoint; the Morawetz multiplier is the genuinely reusable piece.\n\nMy recommendation: send it to peer review, but with a referee who knows the Lai-Zhou/GLS machinery, and make the referee check Lemma 3.3 and demand a real fixed-point section. As submitted, Theorem 1.2 is a claim, not a proof.","headline":"The Morawetz estimate is real and its proof is careful; the advertised μ=1 global existence theorem is not actually proved in this version — Lemma 3.3 is deferred, the small-time decay (3.8) is asserted, and no fixed-point argument appears.","tokens_in":29568,"tokens_out":5907,"would_cite":false,"duration_ms":50548,"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":"A Morawetz-type weighted energy estimate for the scale-invariant damped wave equation is proved, and it yields global weak solutions for the previously open $\\mu=1$ case in dimensions $n\\ge4$.","keywords":["Morawetz type estimate","semilinear wave equation","scale invariant damping","global existence","Strichartz estimate","critical exponent","weighted energy estimate","Euler-Poisson-Darboux equation"],"falsifier":"Take the homogeneous equation (3.1) with $\\mu=1$, $n=4$, and a fixed compactly supported datum, and compute, numerically or from the Hankel representation, the maximum of $(1+t)^{2}(1+|t-|x||)^{2-\\delta}|v(t,x)|$ over $2\\le t\\le T_0$; if this quantity is unbounded, (3.8) is false and the proof's integrability argument collapses.","tokens_in":28391,"feed_emoji":"🌊","tokens_out":10491,"duration_ms":93298,"temperature":0.7,"pith_summary":"This paper proves a Morawetz-type weighted energy estimate for the linear damped wave equation $\\partial_t^2\\phi-\\Delta\\phi+\\frac{\\mu}{t}\\partial_t\\phi=F$ in dimensions $n\\ge4$, for damping strength $\\mu\\in(0,2)$, using a multiplier chosen on the view that $\\partial_t^2+\\frac{\\mu}{t}\\partial_t$ is the radial Laplacian in $\\mu+1$ time dimensions. The estimate bounds weighted $L^2$ norms of $\\nabla_{t,x}\\phi$, $\\phi/|x|$, and $\\phi/t$ by a weighted $L^2$ norm of the forcing term. As an application, the paper treats the semilinear equation with $\\mu=1$, the case that earlier Tricomi-transform arguments could not reach, and proves that small compactly supported data produce global weak solutions whenever $p_{\\mathrm{crit}}(n,1)<p\\le p_{\\mathrm{conf}}(n,1)$. This closes the $\\mu=1$ gap for the regular Cauchy problem in dimensions $n\\ge4$, and known blow-up results make the critical exponent sharp.","feed_headline":"Global existence proved for μ=1 damped wave equations","feed_subtitle":"A Morawetz multiplier treats damping as a higher-dimensional wave operator, closing the open μ=1 range in dimensions n≥4.","key_machinery":"The load-bearing object is the multiplier $X=(t+r)(\\partial_t+\\partial_r+\\frac{n-1}{2r}+\\frac{\\mu}{2t})+|t-r|(\\partial_t-\\partial_r-\\frac{n-1}{2r}+\\frac{\\mu}{2t})$, with $r=|x|$. The paper's viewpoint is that $\\partial_t^2+\\frac{\\mu}{t}\\partial_t$ is the radial Laplace operator in $1+\\mu$ time dimensions, so the multiplier for the damped equation adds a $\\mu/(2t)$ term to the classical wave-equation multiplier. Integrating $X\\phi(\\Box\\phi+\\frac{\\mu}{t}\\partial_t\\phi)r^{n-1}t^\\mu$ over the light cones produces positive boundary terms on time slices and light-cone surfaces, converting the damped wave operator into weighted $L^2$ energy control. This multiplier is then combined with Hankel-function solution representations, Littlewood-Paley decompositions, and the localization technique for weighted Strichartz estimates from [9] and [24] to obtain the linear estimates. The $\\mu=1$ logarithmic singularity at zero frequency is handled by viewing the equation as an ultra-hyperbolic equation in $\\mathbb{R}^{2+n}$ and applying Lorentz-type rotations to remove support restrictions.","core_discovery":"The central claim, Theorem 1.1, is that for $n\\ge4$, $\\mu\\in(0,2)$, and $\\gamma>1$, the zero-data solution of the linear inhomogeneous problem (1.5) satisfies a weighted energy inequality. Written with $u=t-|x|$, it is\n$$\\sup_{t_0<t\\le T} $t^{{\\mu/2}}$\\Big(\\|(1+|u|)^{1/2}\\nabla_{t,x}\\phi\\|_{$L^{2}$(\\mathbb{R}^n)}+\\|(1+|u|)^{1/2}\\phi/|x|\\|_{$L^{2}$(\\mathbb{R}^n)}+\\|(1+|u|)^{1/2}\\phi/t\\|_{$L^{2}$(\\mathbb{R}^n)}\\Big)\\le C\\,\\|(1+|u|)^{\\gamma/2}(1+u)^{\\gamma/2}$t^{{\\mu/2}}$F\\|_{$L^{2}$([t_0,T]\\times\\mathbb{R}^n)}.$$\nThis is the weighted $L^2$-$L^2$ endpoint the authors extract by choosing a multiplier adapted to the damping. Interpolating it with an $L^1$-$L^\\infty$ estimate derived from Fourier integral representations of the solution gives the weighted Strichartz estimates for the linear equation. The application is Theorem 1.2: for $n\\ge4$ and $p_{\\mathrm{crit}}(n,1)<p\\le p_{\\mathrm{conf}}(n,1)$, the regular Cauchy problem (1.8) with small $C^\\infty_c$ data admits a global weak solution $\\phi$ with $|1+t^2-|x|^2|^\\gamma t^{1/(p+1)}\\phi\\in L^{p+1}([2,\\infty)\\times\\mathbb{R}^n)$ for some $\\gamma$ in the interval $\\frac{1}{p(p+1)}<\\gamma<\\frac{np-(n+2)}{2(p+1)}$.","pith_inferences":["The paper's $(n+1+\\mu)$-dimensional reading suggests trying the same multiplier for $\\mu\\ge2$ or non-integer damping; the multiplier formula is algebraic in $\\mu$, so testing whether the restriction $0<\\mu<2$ is essential would be a direct extension.","The small-time decay assertion (3.8) is the part most worth checking independently; if it fails, only the small-time portion of Lemma 3.1 would need repair, not the large-time Fourier-integral analysis.","The Lorentz-rotation argument used to remove the support restriction is dimension-agnostic, so the same strategy should give $\\mu=1$ global existence in lower dimensions $n=2,3$, with only the numerology of the weights changed.","The logarithmic singularity at zero frequency for $\\mu=1$ is characteristic of other degenerate hyperbolic equations, suggesting the weighted estimates may transfer to those settings at the same parameter value."],"forward_implications":["With $\\mu=1$ covered, the regular problem is now solved across $\\mu\\in(0,2)$ for $n\\ge4$ in the range between the shifted Strauss exponent and the conformal exponent, so the critical exponent $p_{\\mathrm{crit}}(n,1)$ is sharp for this parameter set.","Since the estimate is stated for all $\\mu\\in(0,2)$, any nonlinearity that fits the weighted $L^2$ forcing norm can be treated by the same Picard iteration, not just the pure power nonlinearity $|u|^p$.","The weighted Strichartz estimates carry the characteristic weight $(t^2-|x|^2)^\\gamma$, which is exactly the weight required for the spacetime $L^{p+1}$ norm in Theorem 1.2, so the global existence statement is matched to the estimates rather than obtained by an ad hoc device.","The small-time part of the proof uses the same Morawetz estimate directly, so the argument supplies a unified weighted $L^2$ framework for both the local and the long-time analysis of the damped equation."],"supporting_citations":[{"why":"Supplies the Hankel-function solution representations and symbol asymptotics used to estimate the homogeneous damped equation.","marker":"[36]"},{"why":"Provides the localization technique, Lemma 3.6, and the dyadic decomposition Lemma A.4 used for the weighted Strichartz endpoint.","marker":"[9]"},{"why":"Gives the elementary Morawetz multiplier proof for the classical wave equation that Lemma 3.3 of the present paper follows.","marker":"[24]"},{"why":"Provides the integral representation for the scale-invariant damped equation that yields the support condition (3.15).","marker":"[30]"},{"why":"Supplies the kernel estimate used in the medium- and high-frequency decay arguments.","marker":"[28]"},{"why":"Establishes the Morawetz-type estimate in $\\mathbb{R}^3$ whose localization step is referenced in the proof of Proposition 3.1.","marker":"[25]"},{"why":"Establishes global existence for $\\mu\\in(0,1)\\cup(1,2)$, which is the result this paper extends to the remaining case $\\mu=1$.","marker":"[16]"},{"why":"Gives blow-up at the critical exponent, making the range in Theorem 1.2 sharp.","marker":"[7]"}],"fun_headline_variants":["Morawetz multiplier treats damping as extra dimension","Sharp global existence for damped wave with μ=1","Damped wave estimate via higher-dimensional trick","Morawetz estimate unlocks global existence for semilinear damped wave"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the pointwise decay bound $|v(t,x)|\\le \\epsilon C(1+t)^{-n/2}(1+|t-|x||)^{-n/2+\\delta}$ for the homogeneous damped equation, particularly the small-time estimate (3.8) with exponent $n/2$, which the paper asserts without proof; if that decay is weaker than claimed, the weighted Strichartz lemma and Theorem 1.2 no longer follow.","fun_headline_variants_meta":{"raw":{"variants":["Morawetz multiplier treats damping as extra dimension","Sharp global existence for damped wave with μ=1","Damped wave estimate via higher-dimensional trick","Morawetz estimate unlocks global existence for semilinear damped wave"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001122,"raw_usage":{"total_tokens":4745,"prompt_tokens":1100,"completion_tokens":3645,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":716,"completion_tokens_details":{"reasoning_tokens":3581}},"tokens_in":716,"tokens_out":3645,"duration_ms":23913,"temperature":1.0,"reasoning_tokens":3581,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:09:28.077036+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the homogeneous equation (3.1) with $\\mu=1$, $n=4$, and a fixed compactly supported datum, and compute, numerically or from the Hankel representation, the maximum of $(1+t)^{2}(1+|t-|x||)^{2-\\delta}|v(t,x)|$ over $2\\le t\\le T_0$; if this quantity is unbounded, (3.8) is false and the proof's integrability argument collapses.","supporting_citations":[{"cited_title":"Wirth,Solution representations for a wave equation with weak dissipation, Math","cited_arxiv_id":null,"evidence_quote":"Supplies the Hankel-function solution representations and symbol asymptotics used to estimate the homogeneous damped equation."},{"cited_title":"Georgiev, H","cited_arxiv_id":null,"evidence_quote":"Provides the localization technique, Lemma 3.6, and the dyadic decomposition Lemma A.4 used for the weighted Strichartz endpoint."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the elementary Morawetz multiplier proof for the classical wave equation that Lemma 3.3 of the present paper follows."},{"cited_title":"Palmieri, Integral representation formulae for the solution of a wave equation with time-dependent damping and mass in the scale-invariant case, Math","cited_arxiv_id":null,"evidence_quote":"Provides the integral representation for the scale-invariant damped equation that yields the support condition (3.15)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the Morawetz-type estimate in $\\mathbb{R}^3$ whose localization step is referenced in the proof of Proposition 3.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives blow-up at the critical exponent, making the range in Theorem 1.2 sharp."}],"review_version":1}