{"id":"5a4029cd-7b00-4190-88f9-5f719e6897dc","arxiv_id":"1908.02961","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A retarded semilinear heat equation with polynomial-growth nonlinearities and a dissipative structure has unique global solutions, exponential decay, and H2 regularity for solution exponents above a computable threshold.","lead":"This mathematics paper proves that heat equations with time-delayed, fast-growing nonlinearities still have unique global solutions that decay toward a bounded range. It provides rigorous estimates that could underpin the long-time analysis of delayed reaction-diffusion systems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.1's global existence rests on an unproved Galerkin limit passage: Section 3 derives uniform estimates only for smooth approximations and asserts they pass to u without compactness or nonlinear-convergence argument.","rationale":"Read in good faith: the paper's goal is to prove global estimates and regularity for retarded parabolic equations with polynomial growth. The estimates are plausible and the structure conditions (F0), (F1), (G1) are standard. However, the only route from estimates to existence is the sentence in Section 3, 'Passing to the limit one immediately concludes...', and the statement in Section 5 that existence follows by 'very standard argument via Galerkin approximation'. The reader's weakest_assumption names exactly this unproved limit passage, and I agree. This is the most load-bearing concern because every later theorem (3.2, 3.5, 4.x, 5.1, 5.3, 5.4) assumes the limit solution exists and satisfies the estimates. It is not an objection to the consensus; it is an internal gap in the argument. The gap is likely repairable: with q>q*, f(u_k) and G(t,u_{k,t}) are bounded in L^2(0,T;H), so ∂_t u_k should be bounded in L^2 and Aubin–Lions gives strong L^2 convergence, allowing passage in the nonlinear terms. But the paper must supply this. The unpublished retarded inequality [7] is a second source of non-self-containedness, but without evidence against it I do not treat it as the primary attack. I recommend keeping the verdict conditional pending the compactness argument.","tokens_in":16129,"tokens_out":8461,"duration_ms":92185,"concrete_test":"Complete the Galerkin compactness step for (3.1): with h_k→h in L∞(R;L^{qγ/γ}) and φ_k→φ in C_{V1}∩L∞_q, prove ∂_t u_k is bounded in L^2(0,T;H) using |f(u_k)|≤C(1+|u_k|^{2α}) and q>2α, and similarly for g; apply Aubin–Lions to obtain u_k→u strongly in L^2((0,T)×Ω) and a.e., then verify that f(u_k) and g(u_k(t-r_i)) converge to f(u) and g(u(t-r_i)) in L^1(0,T;H) and that the Galerkin system passes to the weak form. If this chain cannot be carried out with the paper's estimates, Theorem 5.1 is not established and the decay estimates in Theorem 3.1 apply only to the approximate sequence.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is global well-posedness in Theorem 5.1, and the proof strategy is: prove decay estimates for Galerkin approximations u_k, then pass to the limit. Section 3's opening paragraph says this explicitly: 'Passing to the limit one immediately concludes...' No compactness argument is given. For the estimates to pass, one needs a subsequence u_k converging to u strongly enough to identify f(u_k) and g(u_k(t-r_i)) with their pointwise limits. Weak-* compactness in L∞((0,T);V1) ∩ L∞((0,T);L^q) plus L^2(0,T;V2) does not suffice because f and g are not monotone; the proof never shows u_k→u a.e. or in L^2. This is not a cosmetic gap: Theorem 3.1's inequality (3.6) is for y(t)=|u(t)|_q^q and is first proved for u_k; without strong convergence the bound need not survive for the weak limit, and Theorem 5.1's existence and uniqueness are left without proof. The sequel H^2 estimates and regularity theorems inherit the same assumption. The proof is likely repairable via Aubin–Lions if ∂_t u_k is bounded in L^2(0,T;H) using q>q*, but that step is absent; the cited retarded inequality [7] is also an unpublished black box, though the main gap is the missing limit passage.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the initial-value problem for a retarded semilinear parabolic equation with homogeneous Dirichlet boundary conditions, allowing the nonlinearity f and the delay coupling g to have arbitrary polynomial growth rates. The main structural assumptions are the dissipativity condition (F0), the derivative bound (F1), and the subcritical growth condition (G1) with beta < gamma. The principal results are: exponential decay estimates in L^q and H^1 for q > q* (Theorems 3.1 and 3.5), L^infinity bounds and eventual invariance (Theorem 3.2 and Proposition 3.4), H^2 estimates under stronger forcing assumptions (Propositions 4.1 and 4.3, Theorem 4.4), and a global existence, uniqueness, and regularity theorem (Theorem 5.1, with Theorems 5.3 and 5.4) asserting weak solutions in C([-r,infinity); V1) intersected with L^infinity in V1 and L^q, together with u in L^2([0,T]; V2) for finite T.","tokens_in":16443,"tokens_out":5986,"duration_ms":61868,"significance":"If the proofs are completed, this would be a substantial contribution: it extends global well-posedness and decay theory for retarded parabolic equations to genuinely fast-growing, non-monotone nonlinearities with delays, giving a sharp-looking threshold q* and quantitative decay rates. The energy estimates in Sections 3 and 4 are written out in considerable detail and the structure conditions are used consistently. However, the central existence theorem rests on an unproved Galerkin compactness passage and on retarded integral inequalities quoted from an unpublished preprint; until those gaps are closed, the significance of the main claims cannot be fully assessed.","major_comments":[{"comment":"The Galerkin limit passage is asserted rather than proved. The text states that the estimates 'remain valid for u_k' and that 'passing to the limit one immediately concludes' they hold for u, but no compactness, pointwise-a.e. convergence, or strong L^2 convergence of the Galerkin sequence is established. Weak-* compactness in L^infinity((0,T); V1) cap L^infinity((0,T); L^q) and L^2(0,T; V2) is not sufficient to pass the nonlinear terms f(u_k) and g(u_k(t-r_i)) through the limit, since f and g are not monotone. Inequality (3.6) is first proved for y_k(t)=|u_k(t)|_q^q, and without strong convergence the bound need not survive for the weak limit. Because Theorem 5.1 and the later regularity results build on Theorem 3.1, this is a load-bearing gap. A proof via Aubin-Lions, requiring a uniform bound on partial_t u_k in L^2(0,T; H), or another explicit compactness argument, must be supplied.","section":"Section 3, opening paragraph and proof of Theorem 3.1"},{"comment":"Existence and uniqueness are asserted to follow from a 'very standard argument via Galerkin approximation methods as stated in the beginning of Section 3', but the argument is not given. In particular, uniqueness of weak solutions in the stated class is not immediate: f and g are only C^1 with polynomial growth, and the solution is merely known to lie in C([-r,infinity); V1) cap L^infinity((-r,infinity); L^q). Uniqueness does not follow from the routine semilinear theory without a separate difference estimate; such an estimate should be written out explicitly, including the treatment of the delayed terms.","section":"Theorem 5.1"},{"comment":"The retarded integral inequalities in Lemmas 2.4 and 2.7 are quoted from the author's unpublished preprint [7], and no proofs are included. These lemmas are the mechanism that converts the differential energy inequalities into the decay estimates of Theorems 3.1-3.5, and the constants M, lambda, and rho in those theorems depend on them. A journal proof cannot rest on an inaccessible reference; the author should either include full proofs of these lemmas in an appendix or replace them with published and available arguments.","section":"Section 2.1, Lemmas 2.4 and 2.7"}],"minor_comments":[{"comment":"The final paragraph refers twice to 'Lemma 3.1', but no Lemma 3.1 exists in the paper; from context this should be Lemma 2.4.","section":"Proof of Theorem 3.1"},{"comment":"The sentence 'This verifies (4.1)' at the end of the proof should refer to (3.25), not (4.1).","section":"Proof of Theorem 3.5"},{"comment":"The sentence 'Let X be a Banach space X' contains a redundant repetition and should be rewritten.","section":"Section 2.2"},{"comment":"There are several typographical errors, including 'othorgonal basis', 'Cauchy-Schwartz inequality', and 'Combing the above estimate together'; these should be corrected during revision.","section":"Throughout"},{"comment":"Reference [7] is an undated preprint; if it is to remain cited, the author should provide a preprint number, a date, and an availability statement, or ideally include the relevant proofs in the paper.","section":"Reference [7]"}],"recommendation":"major_revision","confidential_remarks":"The paper relies very heavily on the author's own unpublished preprint [7] for the central retarded integral inequalities; this is both a self-citation concern and an accessibility problem for referees. The Galerkin limit gap in Section 3 is likely repairable, but it is currently load-bearing for Theorem 5.1. If the author can supply the missing compactness argument and make the auxiliary inequalities available, the paper could become a solid contribution; otherwise the main existence theorem remains unsupported."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's the quick read. The paper moves the global-existence/decay story for retarded parabolic equations from delays with sublinear nonlinearities to delays with arbitrary polynomial growth (β<γ), under a dissipativity condition on f. That is a genuine advance, and the energy estimates in Sections 3–4 are worked out in detail. The H^2 decay estimates for separated delays are a useful addition. The paper is also honest: it states that the range 1≤q≤q* remains open, which is the kind of limitation a reader wants flagged.\n\nThe main soft spot is the Galerkin-to-limit passage in Section 3. The proof of Theorem 3.1 is formal for smooth solutions; the opening paragraphs say the estimates are first established for Galerkin approximations and then \"passing to the limit one immediately concludes\". No compactness or strong-convergence argument is given for the passage, and without it the L^q decay estimates for the actual weak solution are not justified. This matters because Theorem 5.1's existence and uniqueness rest on those estimates. The gap is likely repairable — one would expect Aubin–Lions with ∂t u_k bounded in L^2(0,T;H), using q>q* to control the nonlinearities — but the step is absent. A referee should require it.\n\nSecond, the retarded integral inequality (Lemma 2.4) is imported from an unpublished preprint by the same author. It is stated explicitly, so the paper is not circular, but the main decay results depend on it as a black box. For the paper to stand alone, that lemma either needs a proof in the appendix or a published reference.\n\nThere are also a few small blemishes: a cross-reference to \"Lemma 3.1\" that should be Lemma 2.4, and some typos. Nothing more.\n\nBottom line: this is a solid contribution with a real gap. I would send it to a serious referee, with instructions to verify the limit passage and the imported inequality. If those hold up, the paper is worth publishing. I'd bring it to reading group only after the gap is resolved.","headline":"Extends global well-posedness and decay for retarded parabolic equations to polynomial-growth delays, but the key Galerkin limit step is asserted rather than proved.","tokens_in":16933,"tokens_out":4518,"would_cite":false,"duration_ms":46884,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B40","35B41","35B65","35K20","35K58"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes that retarded parabolic equations with fast-growing nonlinearities have unique global weak solutions for all initial data above a critical integrability exponent, with exponential decay and higher regularity under…","keywords":["retarded parabolic equation","global weak solution","fast-growing nonlinearity","dissipative structure","exponential decay estimates","H2 regularity","Galerkin approximation","delayed reaction-diffusion equation"],"falsifier":"Take the model case $f(s) = -\\Lambda s|s|^{\\gamma-1}$, $g=0$, $h=0$, choose an $L^\\infty_q$ initial value with $q$ just above $q_*$, and integrate the Galerkin system (3.1) for increasing $k$. If the computed $L^q$ norms fail to satisfy the exponential decay bound of Theorem 3.1 uniformly in $k$, or if $|u_k(t)|_q$ does not converge to $|u(t)|_q$ as $k \\to \\infty$, the unproved limit passage in Section 3 is false; uniform agreement would support the theorem but would not prove it.","tokens_in":15923,"feed_emoji":"⏳","tokens_out":15382,"duration_ms":133529,"temperature":0.7,"pith_summary":"This paper studies retarded semilinear parabolic equations whose nonlinear terms may grow like arbitrary powers rather than remaining sublinear. The central claim is that, under a dissipative condition on the dominant term $f$ and a subcritical growth condition on the delay term $g$, every initial value in $C([-r,0];V_1) \\cap L^\\infty((-r,0); L^q(\\Omega))$ with $q > q_*$ gives a unique global weak solution. The solution stays bounded in $V_1$ and $L^q(\\Omega)$ for all time, decays exponentially in both norms, and under extra regularity of $h$ and the initial data gains $H^2$-regularity. The paper reads this as a direct connection between dissipativity and regularity in retarded problems.","feed_headline":"Retarded heat equations with fast nonlinearities get global solutions","feed_subtitle":"Under a dissipative condition, the delays do not block global existence, exponential decay, or H2 smoothing.","key_machinery":"The central object is a retarded integral inequality (Lemma 2.4, taken from the author's earlier work with Liu and Ju) that converts differential inequalities of the form $\\frac{d}{dt}|u|_q^q \\le -a |u|_q^q + b \\|u_t\\|_{C_q}^q + c$ into boundedness and exponential decay. The argument works with Galerkin approximations $u_k$, tests the equation against $|u|^{q-2}u$, $-\\Delta u$, and $-\\Delta u'$, and chooses the free parameter $\\varepsilon$ small enough that the delayed terms are absorbed by the dissipative term $\\Lambda |u|_{q_\\gamma}^{q_\\gamma}$. The threshold $q_* = \\max(\\beta(\\gamma-1)/(\\gamma-\\beta), 2\\alpha, 2\\beta)$ is the point above which these estimates close, so it controls both existence and regularity.","core_discovery":"On the paper's own terms, the discovery is Theorem 5.1: for $q_* < q \\le \\infty$ and $h \\in L^\\infty(\\mathbb{R}; L^{(q-1+\\gamma)/\\gamma}(\\Omega))$, the retarded initial-value problem has a unique global weak solution $u$ with $u \\in C([-r,\\infty); V_1) \\cap L^\\infty((-r,\\infty); V_1) \\cap L^\\infty((-r,\\infty); L^q(\\Omega))$, and $u \\in L^2([0,T]; V_2)$ for every finite $T$. The proofs give exponential decay of the $L^q$-norm for $q<\\infty$, uniform boundedness for $q=\\infty$, exponential decay of $\\|\\nabla u\\|$, and, under additional hypotheses on $h$ and the data, $H^2$-regularity of the solution. In the separated-delay case the $V_2$ decay estimate is obtained from data that are only in $V_2 \\cap L^\\infty_q$ with an extra weighted gradient integrability condition, rather than from $L^\\infty_\\infty$ data. The paper leaves open global existence for $1 \\le q \\le q_*$.","pith_inferences":["A direct extension of the proof would replace the asserted limit passage with an explicit compactness argument; if that gap can be filled, the Galerkin estimates become a complete existence proof and the same scheme may cover state-dependent delays.","If the decay rates $\\lambda_q$ stay bounded away from zero as $q \\to \\infty$, the $L^\\infty$ estimate in the delayed case could be improved to genuine decay, which the paper leaves open; the numerical experiment in the falsifier could test this.","Because the threshold $q_*$ is independent of the delay functions, the obstruction to existence for $q \\le q_*$ likely lies in the elliptic structure of the equation rather than in the memory; comparing delayed and non-delayed versions at the same $q$ experimentally would test that.","If the separated-delay $V_2$ decay estimate is valid, it provides a uniform absorbing set in $H^2$, giving a route to a global attractor in $V_2$ for the retarded semiflow; the paper does not pursue this."],"forward_implications":["For any $q > q_*$, every initial value in $C([-r,0];V_1) \\cap L^\\infty_q$ yields a unique global weak solution, with no smallness assumption on the initial data or on the delay length.","The solution's $L^q$-norm decays exponentially for $q<\\infty$ and stays uniformly bounded for $q=\\infty$, and the $H^1$-norm decays exponentially, so the system is dissipative in $V_1\\cap L^q$.","Under $h \\in L^\\infty(\\mathbb{R}\\times\\Omega) \\cap L^\\infty(\\mathbb{R};H^1)$ with local $h' \\in L^2(H)$, solutions starting in $V_2\\cap L^\\infty_\\infty$ become $C([-r,\\infty);V_2)$ with $u' \\in L^2((0,T);V_1) \\cap C([0,T];H)$.","In the separated-delay case, the same $V_2$ regularity and exponential decay hold starting from $V_2 \\cap L^\\infty_q$ data satisfying $\\int_{-r}^0 \\int_\\Omega |\\varphi|^{q-2}|\\nabla\\varphi|^2 dx dt < \\infty$, without requiring $L^\\infty_\\infty$ data.","For $1 \\le q \\le q_*$, global existence is left open; if it fails, $q_*$ is the exact existence threshold."],"supporting_citations":[{"why":"It supplies the retarded integral inequalities (Lemmas 2.4 and 2.7) that convert the differential inequalities for the $L^q$ norm into exponential decay and boundedness.","marker":"[7]"},{"why":"It provides the uniform Gronwall lemma and the abstract linear-equation regularity theorems used in Sections 4 and 5.","marker":"[12]"},{"why":"It provides the fractional-power theory that makes the gradient and Laplacian norms equivalent to the usual $V_1$ and $V_2$ norms.","marker":"[5]"}],"fun_headline_variants":["Dissipative retarded heat equations: global existence, decay, smoothing","Retarded parabolic PDEs with fast growth: global solutions and regularity","Global well-posedness for retarded heat equations via dissipative structure","Fast nonlinearities, time delays: global weak solutions and H2 bounds","Dissipativity unlocks global existence for retarded semilinear heat equations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The estimates are proved on smooth Galerkin approximations, and the paper then asserts that passing to the limit immediately gives the same estimates for the weak solution; no compactness, strong-convergence, or continuity argument is supplied for this passage, and the global $L^q$ decay estimates (hence the existence claim in Theorem 5.1) depend on it.","fun_headline_variants_meta":{"raw":{"variants":["Dissipative retarded heat equations: global existence, decay, smoothing","Retarded parabolic PDEs with fast growth: global solutions and regularity","Global well-posedness for retarded heat equations via dissipative structure","Fast nonlinearities, time delays: global weak solutions and H2 bounds","Dissipativity unlocks global existence for retarded semilinear heat equations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000202,"raw_usage":{"total_tokens":1359,"prompt_tokens":899,"completion_tokens":460,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":515,"completion_tokens_details":{"reasoning_tokens":366}},"tokens_in":515,"tokens_out":460,"duration_ms":6038,"temperature":1.0,"reasoning_tokens":366,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:29:02.593969+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the model case $f(s) = -\\Lambda s|s|^{\\gamma-1}$, $g=0$, $h=0$, choose an $L^\\infty_q$ initial value with $q$ just above $q_*$, and integrate the Galerkin system (3.1) for increasing $k$. If the computed $L^q$ norms fail to satisfy the exponential decay bound of Theorem 3.1 uniformly in $k$, or if $|u_k(t)|_q$ does not converge to $|u(t)|_q$ as $k \\to \\infty$, the unproved limit passage in Section 3 is false; uniform agreement would support the theorem but would not prove it.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the retarded integral inequalities (Lemmas 2.4 and 2.7) that convert the differential inequalities for the $L^q$ norm into exponential decay and boundedness."},{"cited_title":"Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, Springer- Verlag, New York, 1988","cited_arxiv_id":null,"evidence_quote":"It provides the uniform Gronwall lemma and the abstract linear-equation regularity theorems used in Sections 4 and 5."},{"cited_title":"Henry, Geometric theory of semilinear parabolic equations, Le cture Notes in Mathe- matics, 840","cited_arxiv_id":null,"evidence_quote":"It provides the fractional-power theory that makes the gradient and Laplacian norms equivalent to the usual $V_1$ and $V_2$ norms."}],"review_version":1}