REVIEW 3 major objections 5 minor 29 references
H\"older regularity of weak solutions to nonlocal doubly degenerate parabolic equations
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For nonlocal doubly degenerate parabolic equations, locally bounded weak solutions are locally Hölder continuous under a parabolic tail condition.
desk verdict The right result, probably true, but Section 5's away-from-zero proof leans on three lemmas whose proofs are omitted, so the paper is not fully verified as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are the nonlocal parabolic tail $\mathrm{Tail}_m(f;Q)$ together with a Caccioppoli-type inequality (Lemma 3.1 and its variant Lemma 5.1). The tail measures the $L^{p-1}$ contribution of $f$ outside a cylinder, normalized by $|y-x_0|^{n+sp}$; every De Giorgi step requires a smallness condition of the form $\varrho^{\frac{n\kappa}{p-1}}\theta^{1/m}\mathrm{gTail}_m(\dots)\le\nu_*\omega$, where $\kappa=\frac{sp}{n}\frac{m-(p-1)}{m}$ encodes the time–space scaling of the fractional Sobolev embedding. The intrinsic-scaling parameter $\theta=(4\omega)^{q+1-p}$ stretches the time scale according to the oscillation $\omega$, and the iteration of nested cylinders $Q_j=Q_{\varrho_j}^{(A\theta_j)}$ converts a measure-density estimate into geometric decay of the oscillation.
What would settle it
Take the equation with $p>2$, $0<q<p-1$ on $\mathbb{R}^n$ and construct a family of locally bounded solutions with $\|u\|_{L^\infty(Q_R)}$ fixed but with $\operatorname{Tail}_m(|u|;Q_R)$ growing without bound (e.g., by adding a slowly decaying, high-frequency far-field term supported outside $B_R$). If the oscillation over $Q_{r,cr^{sp}}$ stops decaying in $r$ once the tail exceeds a threshold depending on $\omega$, the smallness conditions such as (4.20) are essential and not just technical. If instead the Hölder estimate persists with $\gamma_0$ uniformly bounded independent of the tail, the tail assumption is removable.
Extended reading notes
Core claim
The central claim is that for $p>2$ and $0<q<p-1$, any locally bounded weak solution $u$ of (2.1)--(2.3) in the sense of Definition 2.1 is locally Hölder continuous in $\Omega_T$, with no sign restriction on $u$. Concretely, if $Q_R(z_0)\subset\Omega_T$, then for any smaller cylinder $Q_{r,cr^{sp}}(z_0)$ meeting $Q_{R/4}(z_0)$ one has $\mathrm{ess\,osc}_{Q_{r,cr^{sp}}(z_0)}u\le \gamma_0(r/R)^\alpha$, where the Hölder exponent $\alpha\in(0,1)$ depends only on the data and the constants $\delta,c,\gamma_0$ depend also on $R$, $\|u\|_\infty$ and the parabolic tail $\mathrm{Tail}_m(|u|;Q_R(z_0))$. The proof treats the near-zero regime by De Giorgi iteration on intrinsic cylinders of height $\theta\,r^{sp}$ and the away-from-zero regime by transforming $u$ through $v=\bar v^q$ to reduce the equation to a $p$-Laplace-type problem; no expansion of positivity is used.
Load-bearing premise
The proof's load-bearing premise is that the solution satisfies a parabolic tail condition—its far-away values are integrable enough that the nonlocal tail $\operatorname{Tail}_m(|u|;Q_R)$ is finite—and that this tail is small relative to the local oscillation in every De Giorgi step; if the tail is large or the integrability exponent $m$ is too close to $p-1$, the iteration does not close and the Hölder estimate is not obtained.
Editorial extensions
If this is right
- The estimate (2.5) is quantitative: the Hölder exponent $\alpha$ is determined solely by $\{n,m,p,q,s,\Lambda\}$, while the radius ratio $\delta$ and the multiplicative constant $\gamma_0$ absorb the initial data, the radius $R$, and the tail.
- Because the proof treats sign-changing solutions directly, the result covers solutions that cross zero, which is exactly the case where the degeneracy of $\partial_t(|u|^{q-1}u)$ is most delicate.
- The kernel only needs to be symmetric and comparable to $|x-y|^{-(n+sp)}$, so the conclusion is uniform over that whole class of nonlocal operators, not tied to one particular kernel.
- In the away-from-zero regime the rescaled function $v$ satisfies a parabolic equation with a power-reduced nonlinearity and bounded coefficient; the oscillation decay obtained there transfers back to $u$ through the Hölder-continuous power map $v\mapsto v^{1/q}$, so the pointwise modulus persists at the vertex.
Reading between the lines
- The smallness thresholds such as (4.20), (4.29), and (4.39) suggest a testable trade-off: fixing the local oscillation $\omega$ while increasing the far-field tail should shrink the admissible starting radius $\varrho_0$ but leave the exponent $\alpha$ unchanged; a finite-volume discretization with manufactured far-field data could check whether the pre-factor $\gamma_0$ grows like a power of the
- The power renormalization $v=\bar v^q$ in Section 5 is a general device: once $u$ is bounded away from zero by a controlled fraction of its oscillation, the doubly degenerate nonlinearity is converted into the standard $p$-Laplace-type structure. The same device should apply to the doubly singular range $1<p<2$ and to the borderline case, modulo a different choice of exponent, which is a natural n
- Since the oscillation decay for the normalized solution $v$ is obtained at every step, the proof likely upgrades to a modulus of continuity estimate at each point rather than only on nested cylinders; extracting an explicit modulus would give a quantitative route toward a Harnack inequality for nonnegative doubly degenerate nonlocal solutions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves local Hölder continuity for locally bounded weak solutions of a nonlocal doubly degenerate parabolic equation ∂t(|u|^{q-1}u) + L_K u = 0, where L_K is a fractional p-Laplacian-type operator with kernel comparable to |x-y|^{-n-sp}, under the assumptions p>2, 0<q<p-1, and a parabolic tail condition on the solution. The proof follows the intrinsic-scaling De Giorgi method. When the solution is near zero, the author derives oscillation decay via Caccioppoli inequalities, De Giorgi-type lemmas, and measure propagation arguments. When the solution is away from zero, the equation is transformed by v = (u/μ^-)^q, an approach that introduces a nonlocal drift term; Hölder continuity is then obtained from an oscillation-decay proposition for v. The paper states the main theorem (Theorem 2.2) and provides detailed arguments for the near-zero case, but several central lemmas in the away-from-zero case are stated without proofs.
Significance. If the result is correct, it extends the known Hölder regularity theory for local doubly degenerate parabolic equations to the nonlocal setting, a direction with only few prior results. The paper is carefully structured, and the proof in the near-zero case follows a demanding intrinsic-scaling machinery with explicit Caccioppoli inequalities and tail estimates; the author also credits the relevant literature. The main caveat is that the away-from-zero case, which is essential for sign-changing solutions, relies on Lemmas 5.3–5.5 whose proofs are entirely omitted. Because these lemmas are used in Proposition 5.7 and hence in the final Hölder estimate, the central claim is not yet fully verified in the manuscript as written. The tail condition is a stated hypothesis rather than an unstated assumption; it is a genuinely nonlocal condition and makes the theorem depend on global decay, which is consistent with the nonlocal nature of the operator but should be emphasized as a limitation.
major comments (3)
- [§5.2 (Lemmas 5.3–5.5)] The proofs of Lemmas 5.3, 5.4, and 5.5 are explicitly omitted (the text states "The proofs of Lemma 5.3-5.5 are omitted"). These lemmas are load-bearing: Lemma 5.3 propagates a pointwise lower bound forward in time, Lemma 5.4 propagates measure-theoretic information, and Lemma 5.5 provides the measure-shrinking estimate that closes the De Giorgi iteration in the away-from-zero case. Proposition 5.7 invokes all three, and the final Hölder continuity in §5.3–§5.4 depends on Proposition 5.7. The lemmas are not immediate corollaries of Lemma 5.2 because the equation (5.6) for v contains a non-divergence-form drift term involving ¯v outside B_ρ, and the Caccioppoli inequality (5.14) contains a tail with (¯v − k^{1/q})_± instead of (v − k)_±. The manuscript must either supply complete proofs of these lemmas or give a precise reduction showing that they follow from Lemma 5.2 and the stated tail conditions (5.28), (5.31), (5.35). As written, the away-from-zero oscillation decay (5.39) is unsupported.
- [§3 (Lemma 3.1)] Lemma 3.1, the Caccioppoli inequality, is the foundation of all subsequent De Giorgi arguments, but its proof is only sketched. After the time-mollification and limiting steps for the parabolic term, the text says "The rest of the proof is similar to that of [9, Lemma 2.5] and [23, Proposition 2.1], and so is omitted." In particular, the handling of the nonlocal tail term on R^n \ B_R and the convergence of the nonlinear integral terms under the mollification are not shown. Since this inequality is applied iteratively in Lemmas 4.1, 4.2, 4.4, 4.6, and 4.7, and in Lemma 5.1, a complete verification of the terms unique to the doubly degenerate structure—especially the g_± terms and the tail term with (u−k)_±^{p-1}—should be included or, at minimum, the proof should be given in an appendix.
- [§5.1 (Lemma 5.1)] Lemma 5.1 states the Caccioppoli inequality for the transformed function v, but its proof also ends with "the desired estimate (5.14) follows from the proof of [1, Lemma 7.6] and we omit the details." This is a substantial local estimate whose proof involves a nonlocal drift term, a new tail term with (¯v − k^{1/q})_±, and a convolution argument. The dependence on [1] should be made precise: either state the exact steps from [1, Lemma 7.6] that are being reused, or provide a self-contained verification. As written, the proof of Lemma 5.1 is incomplete, and Lemma 5.2 and the subsequent away-from-zero arguments rely on it directly.
minor comments (5)
- [§5 (heading)] The section heading contains a typo: "aw ay from zero" should be "away from zero".
- [§5.2] Before Lemma 5.2, the sentence "The proofs of Lemma 5.3-5.5 are omitted" is a fragment in context; it would be clearer to state explicitly that these proofs will be provided in a longer version or to give a short outline of the method, since the reader is otherwise left without guidance.
- [§2 (Definition 2.1)] The parabolic tail condition appears in Definition 2.1 through u ∈ L^m_loc(0,T; L^{p-1}_{sp}(R^n)), but it is not discussed in the introduction. Because the main theorem's constants depend on Tail_m(|u|; Q_R), the authors should explicitly mention, already in the introduction, that the result is not purely local and requires a global tail condition; this is a noteworthy difference from the local theory.
- [§4.3, Step 2] In the decomposition of the tail term, the notation "gTail_m((u−μ_-)_-; Q_0)" is introduced but the reader may confuse Q_0 with the cylinder Q_0 defined in §3; it would help to use a different symbol or to explicitly restate the definition of Q_0 in this context.
- [§5.3, Step 2] In the proof of (5.53), the notation "T, T', T''" is introduced without explicitly writing the corresponding integrals for T and T''; this makes the estimates harder to follow. Adding explicit definitions would improve readability.
Circularity Check
No circularity: the derivation chain is self-contained; omitted proofs of Lemmas 5.3-5.5 are a formal gap, not a circular reduction.
full rationale
The paper derives Hölder regularity via a De Giorgi-type iteration. The key energy estimate, Lemma 3.1, is proved in the paper from the weak formulation, with only standard mollification and truncation steps referred to prior external works. The quantity ω in (3.4) is a normalization built from sup_Q_R|u| and the parabolic tail; the tail smallness conditions (4.3), (4.11), (4.20), (4.29), and their analogues are then verified in Section 4.3, Step 2, from the definition of ω and the choice of a sufficiently small cylinder radius, not by assuming the desired oscillation decay. Thus no fitted parameter is renamed as a prediction. Section 5 introduces v=(u/µ^-)^q and a time rescaling derived from the equation itself; the transformed equation (5.6) is obtained by direct computation from (2.4), not imported as an unproved ansatz. The subsequent Lemma 5.2 is proved in detail, while Lemmas 5.3-5.5 are stated with the sentence 'The proofs of Lemma 5.3-5.5 are omitted.' This is an explicit missing-support / completeness gap in the paper, and those lemmas are load-bearing for the away-from-zero case. However, missing proofs are a correctness risk, not circularity: the omitted statements are not defined in terms of the target Hölder conclusion, and no self-citation chain forces the result. References to [5,6,9,23] etc. are to external prior work, not to the present author's own unverified claims. Therefore the claimed derivation does not reduce to its inputs by construction, and the circularity score is 0.
Assumptions & free parameters
free parameters (3)
- data-dependent constants =
abstract dependence on {n,m,p,q,s,Λ}
- choice of ξ0, σ*, A, B, ν1, ν2 =
explicit formulas in (4.19), (4.18), (4.38), (4.47), (5.48), (5.49), (5.50), (5.54)
- ω = 4 ξ0^{-1} sup_{Q_R}|u| + 4 Tail_m(|u|;Q_R)^{m/(m-(p-q-1))} =
defined in (3.4)
assumptions (5)
- domain assumption The kernel K is measurable, symmetric, and comparable to |x-y|^{-n-sp} uniformly in t (Assumption (2.3)).
- domain assumption Weak solutions belong to C_loc(0,T;L^{q+1}_{loc}(Ω)) ∩ L^p_loc(0,T;W^{s,p}_{loc}(Ω)) ∩ L^m_loc(0,T;L^{p-1}_{sp}(R^n)) with m>p-1 (Definition 2.1).
- standard math The local doubly nonlinear regularity results [5,6,24] and the nonlocal p-Laplace De Giorgi estimates [9,15,23] are correct.
- standard math The Sobolev embedding Lemma 2.5 from [9, Lemma 2.2] is valid in the stated range.
- domain assumption Solutions are locally bounded in L^{∞}_{loc}(Ω_T) and the cylinder Q_R(z0) is contained in Ω_T.
Cite this review
Pith. "Pith review of H\"older regularity of weak solutions to nonlocal doubly degenerate parabolic equations." pith.science (2026). https://pith.science/paper/TVNUUDJQ
@misc{pith2026250905914,
author = {Pith},
title = {Pith review of: H\"older regularity of weak solutions to nonlocal doubly degenerate parabolic equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/TVNUUDJQ}},
note = {Machine review of arXiv:2509.05914}
}
abstract
We study local regularity for nonlocal doubly degenerate parabolic equations. The model equation is \begin{equation*}\begin{split} \partial_t(|u|^{q-1}u)+\mathrm{P}.\mathrm{V}.\int_{\mathbb{R}^n}\frac{|u(x,t)-u(y,t)|^{p-2}(u(x,t)-u(y,t))}{|x-y|^{n+sp}}\,\mathrm{d}y=0, \end{split} \end{equation*} where $0<s<1$, $p>2$ and $0<q<p-1$. Under a parabolic tail condition, we show that any locally bounded and sign-changing solution is locally H\"older continuous. Our proof is based on a nonlocal version of De Giorgi technique and the method of intrinsic scaling.
Reference graph
Works this paper leans on
-
[1]
Local H\"older regularity for bounded, signed solutions to nonlocal Trudinger equations
K. Adimurthi: Local Hölder regularity for bounded, signed solutions to nonlocal Trudinger equations, ArXiv:2503.07184
-
[2]
K. Adimurthi, H. Prasad, and V . Tewary: Local Hölder regularity for nonlocal par- abolicp-Laplace equations, ArXiv:2205.09695, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci
-
[3]
A. Banerjee, P. Garain and J. Kinnunen: Some local properties of subsolution and supersolutions for a doubly nonlinear nonlocalp-Laplace equation, Ann. di Mat. Pura ed Appl., (4) 201, 4, 1717-1751, (2022)
work page 2022
-
[4]
A. Banerjee, P. Garain and J. Kinnunen: Lower semicontinuity and pointwise behavior of supersolutions for some doubly nonlinear nonlocal parabolicp-Laplace equations, Commun. Contemp. Math., 25, 8, (2023)
work page 2023
-
[5]
V . Bögelein, F. Duzaar and N. Liao: On the Hölder regularity of signed solutions to a doubly nonlinear equation, J. Funct. Anal., 281(9), (2021)
work page 2021
-
[6]
V . Bögelein, F. Duzaar, N. Liao and L. Schätzler: On the Hölder regularity of signed solutions to a doubly nonlinear equation. Part II, Rev. Mat. Iberoam., 39(3), 1005- 1037, (2022)
work page 2022
-
[7]
V . Bögelein, A. Heran, L. Schätzler and T. Singer: Harnack’s inequality for doubly nonlinear equations of slow diffusion type, Calc. Var., 60, 215 (2021)
work page 2021
- [8]
Show all 29 references
-
[9]
S. S. Byun and K. Kim: A Hölder estimate with an optimal tail for nonlocal parabolic p-Laplace equations, Ann. di Mat. Pura ed Appl., 203, 109-147, (2024)
2024
-
[10]
Di Castro, T
A. Di Castro, T. Kuusi and G. Palatucci: Local behavior of fractionalp-minimizers, Ann. Inst. H. Poincaré Anal. Non Linéaire, 33, 1279-1299, (2016). 42 QIFAN LI
2016
-
[11]
Di Castro, T
A. Di Castro, T. Kuusi and G. Palatucci: Nonlocal Harnack inequalities, J. Funct. Anal., 267, 1807-1836, (2014)
2014
-
[12]
Ciani and K
S. Ciani and K. Nakamura: Diverse regularities for nonlocal parabolic De Giorgi classes I, ArXiv:2508.16247
-
[13]
DiBenedetto: Degenerate Parabolic Equations
E. DiBenedetto: Degenerate Parabolic Equations. Universitext, Springer, New York (1993)
1993
-
[14]
DiBenedetto,U
E. DiBenedetto,U. Gianazza, and V . Vespri: Harnack’s Inequality for Degenerate and Singular Parabolic Equations, Springer Monographs in Mathematics, New York, (2012)
2012
-
[15]
M. Ding, C. Zhang and S. Zhou: Local boundedness and Hölder continuity for the parabolic fractionalp-Laplace equations, Calc. Var. 60, 38, (2021)
2021
-
[16]
Fornaro and M
S. Fornaro and M. Sosio: Intrinsic Harnack estimates for some doubly nonlinear degenerate parabolic equations, Adv. Differ. Equ., 13(1-2), 139-168, (2008)
2008
-
[17]
Gianazza and J
U. Gianazza and J. Siljander: Local bounds of the gradient of weak solutions to the porous medium equation, Partial Differ. Equ. Appl. 4, 8, (2023)
2023
-
[18]
A. V . Ivanov: Hölder estimates for quasilinear doubly degenerate parabolic equa- tions, Zap. Nauchn. Sem. LOMI., 171, 70-105, (1989)
1989
-
[19]
Kassmann and M
M. Kassmann and M. Weidner: The parabolic Harnack inequality for nonlocal equations, Duke Math. J., 173, (17), 3413-3451, (2024)
2024
-
[20]
K. Kim, H. Lee and H. Prasad: Local Hölder regularity for nonlocal porous media and fast diffusion equations with general kernel, ArXiv:2504.15735
-
[21]
Liao: Regularity of weak supersolutions to elliptic and parabolic equations: lower semicontinuity and pointwise behavior, J
N. Liao: Regularity of weak supersolutions to elliptic and parabolic equations: lower semicontinuity and pointwise behavior, J. Math. Pures Appl., (9), 147, 179-204, (2021)
2021
-
[22]
Liao: Personal communication, (2023)
N. Liao: Personal communication, (2023)
2023
-
[23]
Liao: Hölder regularity for parabolic fractionalp-Laplacian, Calc
N. Liao: Hölder regularity for parabolic fractionalp-Laplacian, Calc. Var. 63, 22, (2024)
2024
-
[24]
Liao and L
N. Liao and L. Schätzler: On the Hölder regularity of signed solutions to a doubly nonlinear equation. Part III, Int. Math. Res. Not., 3, 2376-2400, (2022)
2022
-
[25]
Nakamura: Local properties of fractional parabolic De Giorgi classes of orders, p, J
K. Nakamura: Local properties of fractional parabolic De Giorgi classes of orders, p, J. Funct. Anal., 285, 110049, (2023)
2023
-
[26]
M. M. Porzio and V . Vespri: Hölder estimates for local solutions of some doubly nonlinear degenerate parabolic equations, J. Differ. Equ., 103 146-178, (1993)
1993
-
[27]
Shang and C
B. Shang and C. Zhang: Weak Harnack estimates for a doubly nonlinear nonlocal p-Laplace equation, ArXiv:2502.19925
-
[28]
J. M. Urbano: The method of intrinsic scaling: A Systematic Approach to Regularity for Degenerate and Singular PDEs, Lecture Notes in Math., 1930, (2008)
2008
-
[29]
Vespri: Harnack type inequalities for solutions of certain doubly nonlinear para- bolic equations, J
V . Vespri: Harnack type inequalities for solutions of certain doubly nonlinear para- bolic equations, J. Math. Anal. Appl., 181(1), 104-131, (1994). * Department ofMathematics School ofMathematics andStatistics WuhanUniversity ofTechnology 430070, 122 LuoshiRoad, Wuhan, Hubei...
1994
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.