Global Estimates and Regularity of Retarded Parabolic Equations with Fast-growing Nonlinearities

Desheng Li

REVIEW 3 major objections 5 minor 20 references

Global Estimates and Regularity of Retarded Parabolic Equations with Fast-growing Nonlinearities

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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…

desk verdict 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. read the letter →

arxiv 1908.02961 v1 pith:YTBHUDJJ submitted 2019-08-08 math.DS math.AP

Desheng Li This is my paper · ORCID

classification math.DSmath.AP MSC 35B4035B4135B6535K2035K58

keywords retardedparabolicequationglobalweaksolutionfast-growingnonlinearitydissipativestructureexponentialdecayestimatesH2regularityGalerkinapproximationdelayedreaction-diffusion

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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_*$.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

Here'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.

The 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.

Second, 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.

There are also a few small blemishes: a cross-reference to "Lemma 3.1" that should be Lemma 2.4, and some typos. Nothing more.

Bottom 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.

Referee Report

3 major / 5 minor

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.

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 (3)

[Section 3, opening paragraph and proof of Theorem 3.1] 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.
[Theorem 5.1] 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 2.1, Lemmas 2.4 and 2.7] 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.

minor comments (5)

[Proof of Theorem 3.1] 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.
[Proof of Theorem 3.5] The sentence 'This verifies (4.1)' at the end of the proof should refer to (3.25), not (4.1).
[Section 2.2] The sentence 'Let X be a Banach space X' contains a redundant repetition and should be rewritten.
[Throughout] There are several typographical errors, including 'othorgonal basis', 'Cauchy-Schwartz inequality', and 'Combing the above estimate together'; these should be corrected during revision.
[Reference [7]] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction found; the admitted Galerkin limit-passing gap is a rigor issue, not a circularity.

full rationale

The derivation chain does not define its conclusions into its hypotheses or rename a fitted input as a prediction. The retarded integral inequality in Lemma 2.4 is quoted from the author's own preprint [7], but it is a general comparison tool whose stated hypotheses (E, K, κ, ϑ, ρ) do not include the target PDE, the nonlinearities, or the desired well-posedness statement; citing it is therefore not importing the theorem being proved. The Lq, L∞, H1, and H2 estimates are then genuine consequences of differential inequalities, Gronwall-type arguments, and the Uniform Gronwall Lemma, not of the conclusions themselves. The one clearly weak point is Section 3's assertion, after deriving estimates on Galerkin approximations, that "Passing to the limit one immediately concludes that these estimates hold true for u": no compactness or strong-convergence argument is supplied, so the limiting passage is unproved. That is a correctness/rigor gap, not a circular reduction, because the estimates are first established on approximations and then asserted for the weak limit; the assertion does not presuppose the theorem's conclusion. No self-cited uniqueness theorem is invoked to force an ansatz, and no fitted parameter is presented as a prediction. Hence, despite the self-citation and the compactness gap, the paper does not exhibit circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard inequalities, one external integral-inequality lemma from the author's own unpublished preprint, the Uniform Gronwall lemma, and an unproved Galerkin limit passage. No invented physical entities or fitted parameters appear.

assumptions (5)

domain assumption Lemma 2.4 and Lemma 2.7: the retarded integral inequalities of Li, Liu and Ju
Stated in Section 2, cited from the author's unpublished preprint [7]; they are load-bearing for the Lq decay estimates in Theorem 3.1 and are used as a black box.
standard math Uniform Gronwall lemma from Temam [12, pp. 89]
Used in Section 4 to convert integrated estimates into pointwise H2 bounds; assumed from the literature.
standard math Fractional powers of the Laplacian and spectral basis expansion
Section 2.2 uses the eigenbasis of -Δ and the equivalence of norms to build Galerkin approximations.
domain assumption Structure conditions (F0), (F1), (G1) and regularity assumptions on h and the delays
These are the hypotheses on f, g, h, and ri that define the class of equations studied; the conclusions are conditional on them.
ad hoc to paper Convergence of Galerkin approximations sufficiently strong to preserve the Lq and H1 energy estimates
Section 3 asserts 'Passing to the limit one immediately concludes'; no compactness argument is supplied, so the proof relies on this unstated regularity fact.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Global Estimates and Regularity of Retarded Parabolic Equations with Fast-growing Nonlinearities." pith.science (2026). https://pith.science/paper/YTBHUDJJ

@misc{pith2026190802961,
  author       = {Pith},
  title        = {Pith review of: Global Estimates and Regularity of Retarded Parabolic Equations with Fast-growing Nonlinearities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YTBHUDJJ}},
  note         = {Machine review of arXiv:1908.02961}
}

abstract

This paper is concerned with global estimates and regularity of solutions for the initial value problem of the retarded parabolic equation $$\frac{\patial u}{\patial t}-\Delta u=f(x,u)+g(u(x,t-r_1(t)),\cdots,u(x,t-r_m(t)))+h(x,t)$$ in a bounded domain $\Omega\subset R^n$ with fast-growing nonlinearities and a dissipative structure, which is associated with the homogeneous Dirichlet boundary condition. Our results reveal some deeper inherent connections between dissipative structures and the regularity of solutions for such problems.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[7]

D. Li, Q. Liu and X. Ju, Uniform Decay Estimates for Solutions of a C lass of Retarded Integral Inequalities, preprint

work page
[1]

Chueshov, A

I. Chueshov, A. Rezounenko, Finite-dimensional global attrac tors for parabolic nonlinear equations with state-dependent delay, Commun. Pure Appl. Anal. 1 4 (5) (2015) 1685-1704

work page 2015
[2]

Hale, Asymptotic Behavior of Dissipative Systems, Math

J.K. Hale, Asymptotic Behavior of Dissipative Systems, Math. Sur veys Monogr. 25, Amer. Math. Soc., R.I., 1989

work page 1989
[3]

J. K. Hale, Theory of functional diﬀerential equations, Second edition, Applied Mathe- matical Sciences, Vol. 3. Springer-Verlag, New York-Heidelberg, 1 977

work page
[4]

Harraga, M

H. Harraga, M. Yebdri, Pullback attractors for a class of semiline ar nonclassical diﬀu- sion equations with delay. Electron. J. Diﬀerential Equations 2016, Paper No.7, 33 pp. MR3466478

work page 2016
[5]

Henry, Geometric theory of semilinear parabolic equations, Le cture Notes in Mathe- matics, 840

D. Henry, Geometric theory of semilinear parabolic equations, Le cture Notes in Mathe- matics, 840. Springer-Verlag, Berlin-New York, 1981

work page 1981
[6]

P. E. Kloeden, T. Lorenz, Pullback attractors of reaction-diﬀu sion inclusions with space- dependent delay, Discrete Contin. Dyn. Syst. Ser. B 22 (5) (2017 ) 1909-1964. 23

work page 2017
[8]

Mar ´ ın-Rubio, J

P. Mar ´ ın-Rubio, J. Real, Pullback attractors for 2D-Navier-Stokes equations with delays in continuous and sub-linear operators, Discrete Contin. Dyn. Syst . 26 (3) (2010) 989-1006

work page 2010

Show all 20 references

[9]

Robinson, Inﬁnite-dimensional dynamical systems, Cambrid ge University Press, Cam- bridge, 2001

J.C. Robinson, Inﬁnite-dimensional dynamical systems, Cambrid ge University Press, Cam- bridge, 2001

2001
[10]

Sell, and Y.C

G.R. Sell, and Y.C. You, Dynamics of Evolution Equations, Springer -Verlag, New York, 2002

2002
[11]

Samprogna, T

R. Samprogna, T. Caraballo, Pullback attractor for a dynamic b oundary non-autonomous problem with inﬁnite delay, Discrete Contin. Dyn. Syst. Ser. B 23 (2) (2018) 509-523

2018
[12]

Temam, Inﬁnite-Dimensional Dynamical Systems in Mechanics and Physics, Springer- Verlag, New York, 1988

R. Temam, Inﬁnite-Dimensional Dynamical Systems in Mechanics and Physics, Springer- Verlag, New York, 1988

1988
[13]

C. C. Travis, G. F. Webb, Partial diﬀerential equations with dev iating arguments in the time variable, J. Math. Anal. Appl. 56(1976) 397-409

1976
[14]

C. C. Travis, G. F. Webb, Existence, stability, and compactnes s in the α -norm for partial functional diﬀerential equations. Trans. Amer. Math. Soc. 240 ( 1978) 129-129

1978
[15]

Vishik, Asymptotic Behavior of Solutions of Evlutionary Equa tions, Cambridge Uni- versity Press, Cambriage, England, 1992

M.I. Vishik, Asymptotic Behavior of Solutions of Evlutionary Equa tions, Cambridge Uni- versity Press, Cambriage, England, 1992

1992
[16]

Vishik, S.V

M.I. Vishik, S.V. Zelik and V.V. Chepyzhov, Regular attractors an d nonautonomous per- turbations of them, Mat. Sb. 204 (2013), 1-42

2013
[17]

Y. Wang, P. E. Kloeden, Pullback attractors of a multi-valued pr ocess generated by parabolic diﬀerential equations with unbounded delays, Nonlinear An al. 90 (2013), 86- 95

2013
[18]

Wang, Y.J

J.Y. Wang, Y.J. Wang, Pullback attractors for reaction-diﬀusio n delay equations on un- bounded domains with non-autonomous deterministic and stochast ic forcing terms. J. Math. Phys. 54 (2013), no. 8, 082703, 25 pp. MR3135474

2013
[19]

Wu, Theory and applications of partial functional diﬀerentia l equations, Applied Math- ematical Sciences, 119

J. Wu, Theory and applications of partial functional diﬀerentia l equations, Applied Math- ematical Sciences, 119. Springer-Verlag, New York, 1996

1996
[20]

K. Zhu, C. Sun, Pullback attractors for nonclassical diﬀusion e quations with delays, J. Math. Phys. 56 (9) (2015) 092703, 20 pp. 24

2015

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [7]

D. Li, Q. Liu and X. Ju, Uniform Decay Estimates for Solutions of a C lass of Retarded Integral Inequalities, preprint

work page

[2] [1]

Chueshov, A

I. Chueshov, A. Rezounenko, Finite-dimensional global attrac tors for parabolic nonlinear equations with state-dependent delay, Commun. Pure Appl. Anal. 1 4 (5) (2015) 1685-1704

work page 2015

[3] [2]

Hale, Asymptotic Behavior of Dissipative Systems, Math

J.K. Hale, Asymptotic Behavior of Dissipative Systems, Math. Sur veys Monogr. 25, Amer. Math. Soc., R.I., 1989

work page 1989

[4] [3]

J. K. Hale, Theory of functional diﬀerential equations, Second edition, Applied Mathe- matical Sciences, Vol. 3. Springer-Verlag, New York-Heidelberg, 1 977

work page

[5] [4]

Harraga, M

H. Harraga, M. Yebdri, Pullback attractors for a class of semiline ar nonclassical diﬀu- sion equations with delay. Electron. J. Diﬀerential Equations 2016, Paper No.7, 33 pp. MR3466478

work page 2016

[6] [5]

Henry, Geometric theory of semilinear parabolic equations, Le cture Notes in Mathe- matics, 840

D. Henry, Geometric theory of semilinear parabolic equations, Le cture Notes in Mathe- matics, 840. Springer-Verlag, Berlin-New York, 1981

work page 1981

[7] [6]

P. E. Kloeden, T. Lorenz, Pullback attractors of reaction-diﬀu sion inclusions with space- dependent delay, Discrete Contin. Dyn. Syst. Ser. B 22 (5) (2017 ) 1909-1964. 23

work page 2017

[8] [8]

Mar ´ ın-Rubio, J

P. Mar ´ ın-Rubio, J. Real, Pullback attractors for 2D-Navier-Stokes equations with delays in continuous and sub-linear operators, Discrete Contin. Dyn. Syst . 26 (3) (2010) 989-1006

work page 2010