Pith. sign in

REVIEW 2 minor 1 cited by

Equivalence of definitions of fractional caloric functions

T0 review · 0 major / 2 minor · reviewed 2026-05-23 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Nonnegative distributional solutions of the fractional heat equation are equivalent to caloric functions satisfying the mean value property for the space-time isotropic α-stable process.

desk verdict The paper proves equivalence for nonnegative distributional solutions to the fractional heat equation and caloric functions via the alpha-stable mean value property, plus some kernel estimates. read the letter →

arxiv 2410.16188 v2 submitted 2024-10-21 math.AP math.PR

Artur Rutkowski This is my paper
classification math.APmath.PR
keywords fractionalheatequationcaloricfunctionsmeanvaluepropertyα-stableprocessdistributionalsolutionsDirichletkernelPoisson
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

The paper establishes that for nonnegative functions, being a distributional solution to the fractional heat equation is the same as satisfying a mean value property defined using the isotropic α-stable process in space-time. This unifies two ways of defining fractional caloric functions. A sympathetic reader would care because it allows transferring properties between the PDE definition and the probabilistic mean value definition. The work also gives conditions under which such functions are classical and provides estimates for related kernels.

What carries the argument

The mean value property with respect to the space-time isotropic α-stable process, which equates the function value at a point to its average over space-time balls defined by the stable process.

What would settle it

A counterexample consisting of a nonnegative function that satisfies one definition but not the other would disprove the equivalence.

Watch

Extended reading notes

Core claim

We prove that nonnegative distributional solutions of the fractional heat equation coincide with caloric functions, which are functions satisfying the mean value property with respect to the space-time isotropic α-stable process. Sufficient conditions are provided for the boundary and exterior data to ensure the solutions are classical, along with off-diagonal estimates for the derivatives of the Dirichlet heat kernel and the lateral Poisson kernel.

Load-bearing premise

The functions under consideration are nonnegative.

Editorial extensions

If this is right

  • Distributional solutions can be characterized via the mean value property without direct reference to the fractional Laplacian.
  • Under suitable boundary and exterior data conditions, the solutions become classical.
  • Off-diagonal estimates hold for derivatives of the Dirichlet heat kernel and lateral Poisson kernel.

Reading between the lines

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

  • Similar equivalences might hold for signed solutions if additional regularity is assumed.
  • The equivalence could extend to other nonlocal operators beyond the fractional heat equation.
  • These kernel estimates might aid in numerical approximations or regularity theory for related equations.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The manuscript proves equivalence between nonnegative distributional solutions of the fractional heat equation and caloric functions satisfying the mean-value property with respect to the space-time isotropic α-stable process. It additionally supplies sufficient conditions on boundary/exterior data under which solutions are classical, together with off-diagonal estimates for derivatives of the Dirichlet heat kernel and the lateral Poisson kernel.

Significance. The equivalence result, if established, connects two standard notions of fractional caloric functions in the nonnegative setting and thereby supplies a tool for transferring regularity or uniqueness statements between the distributional and potential-theoretic frameworks. The kernel estimates are presented as potentially independent contributions to the analysis of stable processes.

minor comments (2)
  1. [Abstract] The abstract states the result for nonnegative solutions but does not indicate the precise range of α ∈ (0,2) for which the equivalence is proved; adding this interval would improve clarity.
  2. [Introduction] Notation for the space-time isotropic α-stable process and the associated mean-value property should be introduced with a brief reference to the underlying Lévy measure or generator in the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive recommendation to accept the manuscript.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper establishes a direct equivalence proof between nonnegative distributional solutions of the fractional heat equation and caloric functions (mean-value property w.r.t. the space-time isotropic α-stable process). No derivation reduces by construction to inputs via self-definition, fitted parameters renamed as predictions, or load-bearing self-citation chains. The nonnegative restriction is explicit in the abstract; kernel estimates and boundary conditions are independent supplementary results. The derivation is self-contained against external benchmarks.

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

Based on the abstract alone, the claim rests on standard background results in real analysis, distribution theory, and stochastic processes; no free parameters, ad-hoc axioms, or new invented entities are mentioned.

assumptions (1)
  • standard math Standard axioms and results of real analysis, measure theory, and distribution theory
    Implicitly required to make sense of distributional solutions and mean-value properties; typical for papers in math.AP.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivalence of definitions of fractional caloric functions." pith.science (2026). https://pith.science/paper/2410.16188

@misc{pith2026241016188,
  author       = {Pith},
  title        = {Pith review of: Equivalence of definitions of fractional caloric functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2410.16188}},
  note         = {Machine review of arXiv:2410.16188}
}
abstract

We prove equivalence between nonnegative distributional solutions of the fractional heat equation and caloric functions, i.e., functions satisfying the mean value property with respect to the space-time isotropic $\alpha$-stable process. We also provide sufficient conditions for the boundary and exterior data under which the solutions are classical and we give off-diagonal estimates for the derivatives of the Dirichlet heat kernel and the lateral Poisson kernel, which might be of their own interest.

Discussion (0). Sign in to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Modelling Anomalous Diffusion: The Role of CTRWs and Non-Local Dynamics

    math.PR 2026-07 conditional novelty 4.0 of 10

    CTRW scaling limits are semi-Markov time-changed processes whose laws solve general non-local evolution equations, with new pointwise theory for killed subordinate Brownian motion on domains.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · cited by 1 Pith paper

  1. [1]

    Abatangelo

    N. Abatangelo. Large s-harmonic functions and boundary blow-up solutions for the fractional Laplacian. Discrete Contin. Dyn. Syst. , 35(12):5555–5607, 2015

    work page 2015

  2. [2]

    Armstrong, K

    G. Armstrong, K. Bogdan, T. Grzywny, Ł. Leżaj, and L. Wang . Yaglom limit for unimodal Lévy processes. Ann. Inst. Henri Poincaré Probab. Stat. , 59(3):1688–1721, 2023. 20 ARTUR RUTKOWSKI

    work page 2023

  3. [3]

    Armstrong, K

    G. Armstrong, K. Bogdan, and A. Rutkowski. Caloric funct ions and boundary regularity for the fractional Laplacian i n Lipschitz open sets. Math. Ann. , 2024

    work page 2024

  4. [4]

    Barrios, I

    B. Barrios, I. Peral, F. Soria, and E. Valdinoci. A Widder ’s type theorem for the heat equation with nonlocal diffusion . Arch. Ration. Mech. Anal. , 213(2):629–650, 2014

    work page 2014

  5. [5]

    Biler, G

    P. Biler, G. Karch, and W. A. Woyczyński. Asymptotics for conservation laws involving Lévy diffusion generators. Studia Math., 148(2):171–192, 2001

    work page 2001

  6. [6]

    R. M. Blumenthal and R. K. Getoor. Some theorems on stable processes. Trans. Amer. Math. Soc. , 95:263–273, 1960

    work page 1960

  7. [7]

    K. Bogdan. Representation of α-harmonic functions in Lipschitz domains. Hiroshima Math. J. , 29(2):227–243, 1999

    work page 1999

  8. [8]

    Bogdan and T

    K. Bogdan and T. Byczkowski. Potential theory for the α-stable Schrödinger operator on bounded Lipschitz domains . Studia Math. , 133(1):53–92, 1999

    work page 1999

Show all 35 references
  1. [9]

    Bogdan, T

    K. Bogdan, T. Byczkowski, T. Kulczycki, M. Ryznar, R. Son g, and Z. Vondraček. Potential analysis of stable processes and its extensions , volume 1980 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2009. Edited by Piotr Graczyk and Andrzej Stos

    1980

  2. [10]

    Bogdan, T

    K. Bogdan, T. Grzywny, and M. Ryznar. Heat kernel estima tes for the fractional Laplacian with Dirichlet conditions . Ann. Probab., 38(5):1901–1923, 2010

    1901

  3. [11]

    Bogdan and T

    K. Bogdan and T. Jakubowski. Estimates of heat kernel of fractional Laplacian perturbed by gradient operators. Comm. Math. Phys. , 271(1):179–198, 2007

    2007

  4. [12]

    Bogdan, Z

    K. Bogdan, Z. Palmowski, and L. Wang. Yaglom limit for st able processes in cones. Electron. J. Probab. , 23:Paper No. 11, 19, 2018

    2018

  5. [13]

    Bogdan, J

    K. Bogdan, J. Rosiński, G. Serafin, and Ł. Wojciechowski . Lévy systems and moment formulas for mixed Poisson integrals. In Stochastic analysis and related topics , volume 72 of Progr. Probab., pages 139–164. Birkhäuser/Springer, Cham, 2017

    2017

  6. [14]

    C. C. Burch. The Dini condition and regularity of weak so lutions of elliptic equations. J. Differential Equations , 30(3):308–323, 1978

    1978

  7. [15]

    H. Chan, D. Gómez-Castro, and J. L. Vázquez. Singular so lutions for fractional parabolic boundary value problems. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM , 116(4):Paper No. 159, 38, 2022

    2022

  8. [16]

    Chang-Lara and G

    H. Chang-Lara and G. Dávila. Regularity for solutions o f nonlocal parabolic equations II. J. Differential Equations , 256(1):130–156, 2014

    2014

  9. [17]

    Z.-Q. Chen. On notions of harmonicity. Proc. Amer. Math. Soc. , 137(10):3497–3510, 2009

    2009

  10. [18]

    Z.-Q. Chen, P. Kim, and R. Song. Heat kernel estimates fo r the Dirichlet fractional Laplacian. J. Eur. Math. Soc. (JEMS), 12(5):1307–1329, 2010

    2010

  11. [19]

    Chen and T

    Z.-Q. Chen and T. Kumagai. Heat kernel estimates for sta ble-like processes on d-sets. Stochastic Process. Appl. , 108(1):27–62, 2003

    2003

  12. [20]

    Chen and R

    Z.-Q. Chen and R. Song. Estimates on Green functions and Poisson kernels for symmetric stable processes. Math. Ann. , 312(3):465–501, 1998

    1998

  13. [21]

    K. L. Chung and Z. X. Zhao. From Brownian motion to Schrödinger’s equation , volume 312 of Grundlehren der Mathe- matischen Wissenschaften . Springer-Verlag, Berlin, 1995

    1995

  14. [22]

    J. L. Doob. Classical potential theory and its probabilistic counterp art. Classics in Mathematics. Springer-Verlag, Berlin,

  15. [23]

    Reprint of the 1984 edition

    1984

  16. [24]

    Eldredge and L

    N. Eldredge and L. Saloff-Coste. Widder’s representati on theorem for symmetric local Dirichlet spaces. J. Theoret. Probab., 27(4):1178–1212, 2014

    2014

  17. [25]

    Fernández-Real and X

    X. Fernández-Real and X. Ros-Oton. Boundary regularit y for the fractional heat equation. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM , 110(1):49–64, 2016

    2016

  18. [26]

    Freidlin

    M. Freidlin. Functional integration and partial differential equations , volume 109 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1985

    1985

  19. [27]

    Grzywny, M

    T. Grzywny, M. Kassmann, and Ł. Leżaj. Remarks on the non local Dirichlet problem. Potential Anal. , 54(1):119–151, 2021

    2021

  20. [28]

    K. M. Hui and K.-S. Chou. Nonnegative solutions of the he at equation in a cylindrical domain and Widder’s theorem. J. Math. Anal. Appl. , 532(2):Paper No. 127929, 18, 2024. EQUIV ALENCE OF DEFINITIONS OF FRACTIONAL CALORIC FUNCTION S 21

    2024

  21. [29]

    Ikeda and S

    N. Ikeda and S. Watanabe. On some relations between the h armonic measure and the Lévy measure for a certain class of Markov processes. J. Math. Kyoto Univ. , 2(1):79–95, 1962

    1962

  22. [30]

    Kulczycki

    T. Kulczycki. Intrinsic ultracontractivity for symme tric stable processes. Bull. Polish Acad. Sci. Math. , 46(3):325–334, 1998

    1998

  23. [31]

    Kulczycki and M

    T. Kulczycki and M. Ryznar. Gradient estimates of Diric hlet heat kernels for unimodal Lévy processes. Math. Nachr. , 291(2-3):374–397, 2018

    2018

  24. [32]

    N. S. Landkof. Foundations of modern potential theory . Die Grundlehren der mathematischen Wissenschaften, Band

  25. [33]

    Transla ted from the Russian by A

    Springer-Verlag, New York-Heidelberg, 1972. Transla ted from the Russian by A. P. Doohovskoy

    1972

  26. [34]

    K. Sato. Lévy processes and infinitely divisible distributions , volume 68 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1999. Translated f rom the 1990 Japanese original, Revised by the author

    1999

  27. [35]

    N. A. Watson. Introduction to heat potential theory , volume 182 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2012. Email address : artur.rutkowski@pwr.edu.pl F aculty of Pure and Applied Ma thema tics, Wrocła w Universit y of Science...

    2012

Pith tools

Reviewed May 23, 2026 · model on record in the stance chip above.