Pith. sign in

REVIEW 2 major objections 5 minor 23 references

Lipschitz regularity for the parabolic $(s,p)-$obstacle problem

T0 review · 2 major / 5 minor · reviewed 2026-07-11 · grok-4.5

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

Pith's one-line read Viscosity solutions of the parabolic fractional p-obstacle problem are locally Lipschitz in space and Hölder (sometimes Lipschitz) in time.

desk verdict First interior Lipschitz/Hölder theory for the parabolic fractional p-obstacle problem; solid adaptation of the unconstrained Ishii–Lions and barrier arguments, with one mild tail hypothesis that the authors already flag. read the letter →

arxiv 2607.04725 v1 pith:SLOXVS6D submitted 2026-07-06 math.AP

David Jesus , Aelson Sobral , José Miguel Urbano This is my paper · ORCID
classification math.AP MSC 35R3535B6535R0935K9235D40
keywords fractionalp-LaplacianobstacleproblemviscositysolutionsLipschitzregularityparabolicfreeboundarynonlocaloperatorsdegenerateequations
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 the obstacle problem for the parabolic fractional p-Laplace equation in the degenerate range 2 < p < 2/(1-s). Away from the contact set the solution evolves by the fractional p-caloric flow; on the contact set it is forced to stay above a given obstacle. The authors prove that viscosity solutions are locally Lipschitz continuous in space and Hölder continuous in time, with the time exponent determined by the natural scaling of the operator and by the time regularity of the obstacle. When the degeneracy is mild enough (p > 1/(1-s)) and the obstacle is Lipschitz in time, the time modulus upgrades to Lipschitz continuity as well. The result supplies the first foundational regularity theory for this free-boundary problem and shows that the free boundary does not destroy the Lipschitz spatial regularity already known for the unconstrained equation.

What carries the argument

A nonlocal Ishii–Lions doubling-variables argument, localized so that the maximum point on the subsolution side is forced away from the obstacle (where the equation holds classically), combined with a barrier comparison that stays strictly above the obstacle and a comparison principle for the obstacle problem.

What would settle it

Construct a viscosity solution whose spatial modulus of continuity is strictly worse than Lipschitz (or whose time modulus is strictly worse than the claimed α) while still satisfying the equation and the tail-continuity hypothesis; any such counter-example would refute Theorem 1.1.

Watch

Extended reading notes

Core claim

Under the mild tail-continuity assumption that u belongs to C_loc((-1,0); L^{p-1}_{sp}(R^d)), every viscosity solution of min{u-φ, ∂_t u + (-Δ_p)^s u}=0 in the unit cylinder is locally Lipschitz continuous in space. The same solution is Hölder continuous in time with exponent α = min{(1/(1-q_c))^{-}, α_φ}, where q_c = -1 + p(1-s); when q_c > 0 and the obstacle is Lipschitz in time the time modulus becomes Lipschitz.

Load-bearing premise

The solution's nonlocal tail must be continuous in time; without that control the far-field error terms cannot be absorbed when the time variables are doubled.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper studies the parabolic obstacle problem min{u-φ, ∂t u+(-Δp)s u}=0 for the fractional p-Laplacian in the degenerate range 2<p<2/(1-s). Under a mild tail-continuity assumption u∈Cloc(-1,0;Lsp^{p-1}(Rd)) and for obstacles that are Lipschitz in space and Hölder in time, Theorem 1.1 asserts that viscosity solutions are locally Lipschitz continuous in space and Hölder continuous in time with exponent α=min{(1/(1-qc))-, αφ}, where qc:=-1+p(1-s). When qc>0 and αφ=1 the time modulus upgrades to Lipschitz. The argument proceeds by a viscosity comparison principle (Theorem 2.1), an Ishii–Lions doubling-variables argument that forces the subsolution contact point off the coincidence set (Section 3), and a barrier construction that stays strictly above the obstacle (Proposition 4.1).

Significance. This appears to be the first regularity theory for the parabolic fractional p-obstacle problem. The result is foundational rather than sharp free-boundary analysis, but it correctly extends the unconstrained Lipschitz theory of the authors’ companion paper [15] to the constrained setting. The obstacle-specific ingredients—localization off the coincidence set via large L in (3.6) and (3.9), the comparison principle that reduces to the same viscosity inequalities, and the barrier that remains strictly above the obstacle—are carefully executed and of independent interest. The work therefore supplies a solid base for subsequent free-boundary studies and for applications (American options, filtration) that involve nonlocal nonlinear parabolic obstacles.

major comments (2)
  1. The full Lipschitz-in-space / Hölder-in-time statement of Theorem 1.1 relies on the tail-continuity hypothesis (1.2). This is used crucially to absorb the far-field difference after time doubling: see the choice of K that yields (3.11)–(3.12) and the subsequent estimate of I4 in Lemma 3.4. The paper itself notes that any spatial Hölder exponent strictly less than min{1,sp/(p-1)} survives without (1.2). The manuscript should either (i) state a weaker theorem that does not require (1.2) and then upgrade under the extra assumption, or (ii) give a short argument showing that viscosity solutions automatically satisfy the needed time continuity of the tail under the standing L∞ bound. As written, the dependence is load-bearing for the strongest claim.
  2. Several geometric estimates (Lemmas 3.2–3.4) and the barrier computation in Proposition 4.1 are declared “identical to [15]” after only minor modifications (replacement of time Hölder continuity by the modulus (3.12), and the extra localization that keeps the barrier above the obstacle). While the reductions appear correct, a self-contained sketch of the places where the obstacle intervenes (or an explicit pointer to the precise statements in [15] that are being invoked) would make the paper independently readable and would allow a referee to verify that no hidden dependence on the unconstrained setting has been overlooked.
minor comments (5)
  1. Page 2, line after (1.3): the sentence “If, in addition, p>1/(1-s)” is slightly imprecise; the correct condition for Lipschitz-in-time is qc>0, i.e., p>1/(1-s), which is already stated correctly in Theorem 1.1. Align the abstract wording with the theorem.
  2. Definition 2.1: the test-function class is C2 in space and C1 in time, yet the operator is evaluated on the truncated function φr that equals u outside Qr. A brief remark that the principal-value integral remains well-defined under the standing tail assumption would help readers unfamiliar with the nonlocal viscosity theory.
  3. In the proof of Theorem 2.1 the authors write “we can argue as in [15, Theorem 3.2] since we arrived at the same viscosity inequalities.” Adding one sentence that records the precise inequalities obtained after the obstacle localization would make the reduction fully transparent.
  4. Notation: the symbols γ- and γ+ for numbers strictly smaller/larger than γ are introduced on page 5 but used only sparingly; either employ them consistently or drop them in favour of the more common “any eta<eta0” language.
  5. References [15] and [12] are still arXiv preprints; if they have been accepted or updated, the bibliographic data should be refreshed before publication.

Circularity Check

1 steps flagged · score 2.0 of 10

Standard black-box reuse of authors' prior unconstrained estimates; obstacle-specific localization and comparison are proved independently, with no definitional loop or fitted prediction.

  1. self citation load bearing [Section 3.2, Lemmas 3.2–3.4 and Theorem 3.1]
    "We recall the following estimates in the concavity cone; see [15, Lemmas 4.4 and 4.5]. … The proof is identical to that of [15, Lemma 4.6]. … The proof is identical to that of [15, Lemma 4.7]. … The proof follows the same steps as [15, Theorem 4.1]."

    The decisive lower bounds on the nonlocal operator differences I1–I4 that produce the contradiction for spatial Lipschitz continuity are imported wholesale from the authors' concurrent unconstrained paper rather than re-derived. While the reduction to those inequalities is new (via obstacle localization), the quantitative estimates themselves are load-bearing and rest solely on the self-citation.

full rationale

The paper is a pure-analysis regularity result with no data, no fitted parameters, and no self-definitional identities. Its derivation chain is: (i) prove a comparison principle for the obstacle problem by a doubling-variables argument that forces the subsolution contact point off the coincidence set (Theorem 2.1, using only the viscosity definition); (ii) run an Ishii–Lions doubling argument with a large spatial penalization L that again forces the maximum off the obstacle (display (3.6) and claim (3.9)), thereby obtaining exactly the same viscosity inequalities that appear for the unconstrained fractional p-caloric equation; (iii) import the geometric cone and tail estimates for those inequalities from the authors' earlier unconstrained paper [15]; (iv) construct a barrier that stays strictly above the obstacle and apply the new comparison principle to obtain the time modulus. Steps (i), (ii) and the barrier construction are self-contained and obstacle-specific. The only self-citation is the black-box reuse of geometric estimates and barrier computations already established for the homogeneous equation; those estimates do not depend on the obstacle problem and are not used to justify a uniqueness claim that would force the present result. Consequently the central claim of Theorem 1.1 does not reduce by construction to its inputs, and the circularity score remains low.

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

The paper works entirely inside the standard viscosity theory of nonlocal parabolic equations. No free parameters are fitted; the only external inputs are classical comparison and doubling-variable techniques plus the authors’ prior unconstrained estimates. The viscosity definition and the tail space are domain-standard; the comparison principle is proved rather than postulated.

assumptions (4)
  • domain assumption Viscosity subsolution/supersolution inequalities for the nonlocal operator (−Δp)s (Definition 2.1 and Lemma 2.1).
    Standard Crandall–Ishii–Lions framework extended to nonlocal operators; used throughout Sections 2–4.
  • domain assumption Tail space membership u∈Cloc(−1,0;Lsp^{p−1}(Rd)) (assumption (1.2)).
    Needed to control far-field integrals when time variables are doubled; standard in nonlocal parabolic theory.
  • standard math Geometric cone estimates for the nonlocal p-Laplacian (Lemmas 3.2–3.4, imported from [15]).
    Proved in the unconstrained companion paper; treated as black-box analytic facts.
  • domain assumption Obstacle φ is Lipschitz in space and Hölder in time.
    Hypothesis of Theorem 1.1; regularity of the solution cannot exceed that of the obstacle on the coincidence set.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Lipschitz regularity for the parabolic $(s,p)-$obstacle problem." pith.science (2026). https://pith.science/paper/SLOXVS6D

@misc{pith2026260704725,
  author       = {Pith},
  title        = {Pith review of: Lipschitz regularity for the parabolic $(s,p)-$obstacle problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SLOXVS6D}},
  note         = {Machine review of arXiv:2607.04725}
}
abstract

We study the obstacle problem for the parabolic fractional $p-$Laplace equation \[\partial_t u+(-\Delta_p)^su = 0\] in the degenerate range $2<p<2/(1-s)$. We prove that viscosity solutions are locally Lipschitz continuous in space and H\"older continuous in time. If, in addition, $p>1/(1-s)$, the time regularity improves to Lipschitz continuity.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 2 linked inside Pith

  1. [15]

    Jesus, A

    D. Jesus, A. Sobral, and J.M. Urbano,Fractionalp−caloric functions are Lipschitz, arXiv:2603.12065

    arXiv

  2. [1]

    Andreu, J.M

    F. Andreu, J.M. Maz´ on, J.D. Rossi, and J. Toledo,A nonlocalp−Laplacian evolution equation with nonhomogeneous Dirichlet boundary conditions, SIAM J. Math. Anal. 40 (2008/09), no. 5, 1815–1851

    2008

  3. [2]

    Barrios, A

    B. Barrios, A. Figalli and X. Ros-Oton,Free boundary regularity in the parabolic fractional obstacle problem, Comm. Pure Appl. Math.71(2018), no. 10, 2129–2159

    2018

  4. [3]

    Biswas and A

    A. Biswas and A. Sen,Improved H¨ older regularity of fractional(p, q)− −Poisson equation with regular data, arXiv:2507.09920

    arXiv

  5. [4]

    Biswas and E

    A. Biswas and E. Topp,Lipschitz regularity of fractionalp−Laplacian, Ann. PDE 11 (2025), no. 2, Paper No. 27, 43 pp

    2025

  6. [5]

    Borrin and D

    H. Borrin and D. Marcon,An obstacle problem arising from American options pricing: regularity of solutions, Calc. Var. Partial Differential Equations63(2024), no. 2, Paper No. 33, 42 pp

    2024

  7. [6]

    Brasco, E

    L. Brasco, E. Lindgren, and M.H. Str¨ omqvist,Continuity of solutions to a nonlinear fractional diffusion equation, J. Evol. Equ. 21 (2021), no. 4, 4319–4381

    2021

  8. [7]

    Caffarelli and A

    L.A. Caffarelli and A. Figalli,Regularity of solutions to the parabolic fractional ob- stacle problem, J. Reine Angew. Math.680(2013), 191–233

    2013

Show all 23 references
  1. [8]

    Chang-Lara and G

    H.A. Chang-Lara and G. D´ avila,Regularity for solutions of nonlocal parabolic equa- tions, Calc. Var. Partial Differential Equations 49 (2014), no. 1-2, 139–172

    2014

  2. [9]

    Crandall, H

    M.G. Crandall, H. Ishii, and P.-L. Lions,User’s guide to viscosity solutions of second order partial differential equations, Bull. Amer. Math. Soc. (N.S.)27(1992), no. 1, 1–67

    1992

  3. [10]

    De Filippis and G

    C. De Filippis and G. Mingione,Gradient regularity in mixed local and nonlocal prob- lems, Math. Ann.388(2024), no. 1, 261–328

    2024

  4. [11]

    Garain, E

    P. Garain, E. Lindgren, and A. Tavakoli,Higher H¨ older regularity for a subquadratic nonlocal parabolic equation, J. Differential Equations 419 (2025), 253–290

    2025

  5. [12]

    Giovagnoli, D

    D. Giovagnoli, D. Jesus, and L. Silvestre,C 1+α−regularity for fractionalp−harmonic functions, arXiv:2509.26565

  6. [13]

    Imbert, T

    C. Imbert, T. Jin, and L. Silvestre,H¨ older gradient estimates for a class of singular or degenerate parabolic equations, Adv. Nonlinear Anal. 8 (2019), no. 1, 845–867

    2019

  7. [14]

    Ishii and G

    H. Ishii and G. Nakamura,A class of integral equations and approximation of p−Laplace equations, Calc. Var. Partial Differential Equations 37 (2010), 485–522

    2010

  8. [16]

    Korvenp¨ a¨ a, T

    J. Korvenp¨ a¨ a, T. Kuusi, and G. Palatucci,The obstacle problem for nonlinear integro- differential operators, Calc. Var. Partial Differential Equations 55 (2016), no. 3, Art. 63, 29 pp

    2016

  9. [17]

    Kuusi, G

    T. Kuusi, G. Mingione, and Y. Sire,Nonlocal equations with measure data, Comm. Math. Phys.337(2015), no. 3, 1317–1368

    2015

  10. [18]

    Kuusi, G

    T. Kuusi, G. Mingione, and Y. Sire,Nonlocal self-improving properties, Anal. PDE8 (2015), no. 1, 57–114

    2015

  11. [19]

    Kuusi, G

    T. Kuusi, G. Mingione, and Y. Sire,Regularity issues involving the fractional p−Laplacian, in: Recent developments in nonlocal theory, 303–334, De Gruyter, Berlin, 2018

    2018

  12. [20]

    Liao,H¨ older regularity for parabolic fractionalp−Laplacian, Calc

    N. Liao,H¨ older regularity for parabolic fractionalp−Laplacian, Calc. Var. Partial Differential Equations 63 (2024), no. 1, Paper No. 22, 34 pp. 18 D. JESUS, A. SOBRAL, AND J.M. URBANO

    2024

  13. [21]

    Rodrigues,Obstacle Problems in Mathematical Physics, North-Holland Mathe- matics Studies, 134, North-Holland Publishing Co., Amsterdam, 1987

    J.F. Rodrigues,Obstacle Problems in Mathematical Physics, North-Holland Mathe- matics Studies, 134, North-Holland Publishing Co., Amsterdam, 1987

    1987

  14. [22]

    Ros-Oton,Obstacle Problems and Free Boundaries: An Overview, SeMA Journal 75 (2018), 399–419

    X. Ros-Oton,Obstacle Problems and Free Boundaries: An Overview, SeMA Journal 75 (2018), 399–419

    2018

  15. [23]

    Str¨ omqvist,Local boundedness of solutions to nonlocal parabolic equations mod- eled on the fractionalp−Laplacian, J

    M.H. Str¨ omqvist,Local boundedness of solutions to nonlocal parabolic equations mod- eled on the fractionalp−Laplacian, J. Differential Equations 266 (2019), no. 12, 7948– 7979. Applied Mathematics and Computational Sciences (AMCS), Computer, Elec- trical and Mathematical Sci...

    2019

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.