Continuity of solutions to a nonlinear fractional diffusion equation
Pith reviewed 2026-05-25 11:51 UTC · model grok-4.3
The pith
Space-time Hölder continuity with explicit exponents is proved for weak solutions to the parabolic fractional p-Laplacian equation.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We provide space-time Hölder estimates for weak solutions, with explicit exponents.
Load-bearing premise
The equation admits weak solutions in the appropriate integral sense for the fractional p-Laplacian, and the Moser-type iteration applies directly to this nonlocal nonlinear operator without additional structural assumptions beyond p ≥ 2 and 0 < s < 1.
read the original abstract
We study a parabolic equation for the fractional $p-$Laplacian of order $s$, for $p\ge 2$ and $0<s<1$. We provide space-time H\"older estimates for weak solutions, with explicit exponents. The proofs are based on iterated discrete differentiation of the equation in the spirit of J. Moser.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes space-time Hölder continuity estimates with explicit exponents for weak solutions of the parabolic equation driven by the fractional p-Laplacian (p ≥ 2, 0 < s < 1). The proofs rely on iterated discrete differentiation of the weak formulation in the spirit of Moser iteration.
Significance. If the argument closes, the result supplies explicit Hölder exponents for a nonlocal nonlinear parabolic operator, extending classical Moser techniques beyond the local case and providing quantitative regularity that is useful for applications involving fractional diffusion.
major comments (2)
- [Main iteration argument (after the weak formulation)] The weak form is an integral identity over ℝ^n × ℝ^n. Discrete differentiation in space or time therefore generates cross terms involving the nonlocal kernel; the manuscript must show explicitly how these are absorbed by the same test-function powers used in the local Caccioppoli inequality, or supply the additional kernel estimates needed for p ≥ 2 and 0 < s < 1.
- [Statement of main theorem and assumptions] The claim that the method applies directly with no further structural assumptions beyond p ≥ 2 and 0 < s < 1 is load-bearing; if the cross-term control requires hidden restrictions on the kernel or on the range of s, the stated generality of the Hölder exponents would need adjustment.
minor comments (1)
- [Preliminaries] Clarify the precise definition of weak solution (test-function class and integrability) early in the paper so that the discrete-differentiation step can be verified directly.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the insightful comments on our manuscript. We address each major comment below, providing clarifications on how the cross terms are handled in the iteration argument.
read point-by-point responses
-
Referee: The weak form is an integral identity over ℝ^n × ℝ^n. Discrete differentiation in space or time therefore generates cross terms involving the nonlocal kernel; the manuscript must show explicitly how these are absorbed by the same test-function powers used in the local Caccioppoli inequality, or supply the additional kernel estimates needed for p ≥ 2 and 0 < s < 1.
Authors: In Sections 2 and 3, the weak formulation is differentiated discretely, and the resulting cross terms are controlled explicitly via the symmetry and positivity of the kernel together with the monotonicity of the p-Laplacian for p ≥ 2. The same power test functions as in the local Caccioppoli inequality are used; the nonlocal contributions are absorbed by splitting the integrals into near- and far-field parts and applying the fractional Sobolev inequality together with the kernel decay, all of which is carried out uniformly for 0 < s < 1. These estimates appear before the iteration begins and are referenced at each discrete-differentiation step. revision: no
-
Referee: The claim that the method applies directly with no further structural assumptions beyond p ≥ 2 and 0 < s < 1 is load-bearing; if the cross-term control requires hidden restrictions on the kernel or on the range of s, the stated generality of the Hölder exponents would need adjustment.
Authors: The kernel estimates employed (Lemmas 2.3–2.5) hold for the standard fractional kernel without additional structural assumptions and are valid throughout the full range 0 < s < 1, p ≥ 2. The resulting Hölder exponents are stated explicitly in Theorem 1.1 and depend on n, p, s in a manner that remains positive and finite for all admissible parameters; no hidden restrictions arise in the cross-term control. revision: no
Circularity Check
No circularity: Hölder estimates derived from weak form via adapted Moser iteration
full rationale
The paper states that space-time Hölder estimates follow from iterated discrete differentiation of the weak formulation of the fractional p-Laplacian equation, in the spirit of Moser. No step reduces a claimed prediction or exponent to a fitted parameter, self-defined quantity, or load-bearing self-citation whose content is unverified. The derivation chain begins from the integral weak form and applies standard iteration techniques with explicit control of constants; the method is presented as directly applicable under the stated assumptions p ≥ 2 and 0 < s < 1 without smuggling an ansatz or renaming a known result. The central claim therefore retains independent mathematical content from the equation itself.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
B. Abdellaoui, A. Attar, R. Bentifour, I. Peral, On fract ional p− Laplacian parabolic problem with general data, Ann. Mat. Pura Appl., 197 (2018), 329–356. 2
work page 2018
-
[2]
B¨ ogelein, Global gradient bounds for the parabolic p− Laplacian system, Proc
V. B¨ ogelein, Global gradient bounds for the parabolic p− Laplacian system, Proc. Lond. Math. Soc. (3), 111 (2015), 633–680. 3
work page 2015
- [3]
- [4]
- [5]
-
[6]
M. Cozzi, Regularity results and Harnack inequalities f or minimizers and solutions of nonlocal problems: a unified a pproach via fractional De Giorgi classes, J. Func. Anal., 272 (2017), 4762–4837. 3
work page 2017
-
[7]
L. A. Caffarelli, A. Vasseur, Drift diffusion equations wi th fractional diffusion and the quasi-geostrophic equation , Ann. of Math. (2), 171 (2010), 1903–1930. 2 NONLINEAR FRACTIONAL DIFFUSION 45
work page 2010
-
[8]
Y. Z. Chen, E. DiBenedetto, Boundary estimates for solut ions of nonlinear degenerate parabolic systems, J. Reine An gew. Math., 395 (1989), 102–131. 5
work page 1989
-
[9]
Da Prato, Spazi Lp,θ(Ω, δ) e loro propriet` a, Ann
G. Da Prato, Spazi Lp,θ(Ω, δ) e loro propriet` a, Ann. Mat. Pura Appl. (4), 69 (1965), 383–392. 32
work page 1965
-
[10]
DiBenedetto, Degenerate parabolic equations, Spri nger, New York, (1993)
E. DiBenedetto, Degenerate parabolic equations, Spri nger, New York, (1993). 3
work page 1993
-
[11]
E. DiBenedetto, U. Gianazza, V. Vespri, Harnack’s ineq uality for degenerate and singular parabolic equations, Sp ringer, New York, (2012). 3
work page 2012
-
[12]
A. Di Castro, T. Kuusi, G. Palatucci, Local behavior of f ractional p− minimizers, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 33 (2016), 1279–1299. 3
work page 2016
-
[13]
A. Di Castro, T. Kuusi, G. Palatucci, Nonlocal Harnack i nequalities, J. Funct. Anal., 267 (2014), 1807–1836. 3
work page 2014
-
[14]
G´ orka, Campanato theorem on metric measure spaces, Ann
P. G´ orka, Campanato theorem on metric measure spaces, Ann. Acad. Sci. Fenn. Math., 34 (2009), 523–528. 32
work page 2009
-
[15]
R. Hynd, E. Lindgren, H¨ older estimates and large time b ehavior for a nonlocal doubly nonlinear evolution, Anal. PD E, 9 (2016), 1447–1482. 2
work page 2016
-
[16]
Fine boundary regularity for the degenerate fractional $p$-Laplacian
A. Iannizzotto, S. Mosconi, M. Squassina, Fine boundar y regularity for the degenerate fractional p− Laplacian, preprint (2018), available at https://arxiv.org/abs/1807.09497 3
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[17]
A. Iannizzotto, S. Mosconi, M. Squassina, Global H¨ old er regularity for the fractional p− Laplacian, Rev. Mat. Iberoam., 32 (2016), 1353–1392. 3
work page 2016
- [18]
-
[19]
J. Korvenp¨ a¨ a, T. Kuusi, G. Palatucci, The obstacle pr oblem for nonlinear integro-differential operators, Calc. Var. Partial Differential Equations, 55 (2016), Paper No. 63, 29 pp. 3, 34, 36, 37
work page 2016
- [20]
- [21]
-
[22]
H. Chang-Lara, G. D´ avila, Regularity for solutions of non local parabolic equations, Calc. Var. Partial Different ial Equations, 49 (2014), 139–172. 2, 5
work page 2014
-
[23]
H. Chang-Lara, G. D´ avila, Regularity for solutions of non local parabolic equations II, J. Differential Equations , 256 (2014), 130–156. 2, 4, 5
work page 2014
-
[24]
E. Lindgren, H¨ older estimates for viscosity solution s of equations of fractional p− Laplace type, NoDEA Nonlinear Differential Equations Appl., 23 (2016), Art. 55, 18 pp. 3
work page 2016
-
[25]
J. M. Mazon, J. D. Rossi, J. Toledo, Fractional p− Laplacian evolution equations, J. Math. Pures. Appl., 105 (2016), 810–844. 2, 36
work page 2016
-
[26]
Puhst, On the evolutionary fractional p− Laplacian, Appl
D. Puhst, On the evolutionary fractional p− Laplacian, Appl. Math. Res. Express. AMRX, 2 (2015), 253–273. 2
work page 2015
-
[27]
Schikorra, Nonlinear commutators for the fractiona l p− Laplacian and applications, Math
A. Schikorra, Nonlinear commutators for the fractiona l p− Laplacian and applications, Math. Ann., 366 (2016), no. 1–2, 695–720. 3
work page 2016
-
[28]
R. E. Showalter, Monotone Operators in Banach Spaces an d Nonlinear Partial Differential Equations. Mathematical S urveys and Monographs, 49. American Mathematical Society, Providence, RI, 1997. 7, 35, 36
work page 1997
-
[29]
L. Silvestre, H¨ older continuity for integro-differen tial parabolic equations with polynomial growth respect to the gradient, Discrete Contin. Dyn. Syst. 28 (2010), no. 3, 106–1081. 2
work page 2010
-
[30]
Silvestre, H¨ older estimates for advection fractio nal-diffusion equations, Ann
L. Silvestre, H¨ older estimates for advection fractio nal-diffusion equations, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 11 (2012), no. 4, 843–855. 2
work page 2012
-
[31]
M. Str¨ omqvist, Local boundedness of solutions to nonl ocal parabolic equations modeled on the fractional p− Laplacian, J. Diff. Eq., 266 (2019), 7948–7979. 2, 4, 33
work page 2019
-
[32]
Harnack's Inequality for Parabolic Nonlocal Equations
M. Str¨ omqvist, Harnack’s inequality for parabolic no nlocal equations, preprint (2018), available at https://arxiv.org/abs/1802.07649. 2, 13
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[33]
J. L. V´ azquez, The Dirichlet problem for the fractiona l p− Laplacian evolution equation, J. Differential Equations, 260 (2016), 6038–6056. 2
work page 2016
-
[34]
M. W arma, Local Lipschitz continuity of the inverse of t he fractional p− Laplacian, H¨ older type continuity and continuous dependence of solutions to associated parabolic equations on bounded domains, Nonlinear Anal., 135 (2016), 129–157. 2, 3 (L. Brasco) Dipartimento di Matematica e Informatica Universit`a degli Studi di Ferrara Via Machiavelli 35, 44...
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.