pith. sign in

arxiv: 2604.07697 · v1 · submitted 2026-04-09 · 🧮 math.PR

Stochastic fractional heat equation with general rough noise

Bin Qian , Ran Wang This is my paper

Pith reviewed 2026-05-10 18:21 UTC · model grok-4.3

classification 🧮 math.PR
keywords stochastic fractional heat equationwell-posednessfractional Laplacianrough noiseweighted spacesmild solutionHurst parameter
0
0 comments X

The pith

The stochastic fractional heat equation has a unique mild solution without requiring the nonlinearity to vanish at zero.

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

The paper proves existence and uniqueness of mild solutions to the one-dimensional stochastic fractional heat equation driven by white-in-time, fractional-Brownian-in-space noise, for fractional Laplacian order α between 1 and 2 and Hurst index H in the interval ((3-α)/4, 1/2). It removes the earlier technical restriction σ(0)=0 that Liu and Mao had imposed, following the weighted-space strategy that Hu and Wang used successfully for the standard Laplacian case. Precise bounds on the fractional heat kernel are used to show that a fixed-point map is a contraction in a suitable weighted Banach space. A reader should care because the result enlarges the class of admissible nonlinearities for which global well-posedness can be asserted in this rough-noise regime.

Core claim

For 1<α<2 and (3-α)/4 < H < 1/2, the equation ∂_t u = −(−Δ)^{α/2} u + σ(t,x,u) ḊW admits a unique mild solution in weighted spaces without the assumption σ(0)=0. The proof proceeds by establishing sharp estimates on the heat kernel generated by the fractional Laplacian and verifying that these estimates suffice to close a contraction mapping argument in the chosen weighted norm.

What carries the argument

A fixed-point argument in weighted function spaces whose weight is a suitable power-decay function, closed by precise two-sided estimates on the fractional heat kernel.

If this is right

  • Existence and uniqueness hold for nonlinearities that do not vanish at the zero state.
  • The same weighted-space framework that worked for α=2 extends directly to 1<α<2 once the kernel estimates are available.
  • Global-in-time mild solutions are obtained without additional growth restrictions beyond those needed for the contraction.
  • The approach yields a pathwise continuous version of the solution in the weighted space.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The weighted-space technique may apply to other nonlocal operators whose heat kernels admit comparable decay and singularity estimates.
  • Removing σ(0)=0 opens the possibility of studying invariant measures or long-time asymptotics for models in which noise persists at equilibrium.
  • Multidimensional or spatially correlated versions of the same equation could be treated by analogous kernel estimates.

Load-bearing premise

The heat kernel estimates for the fractional Laplacian are sharp enough to make the fixed-point operator contractive in the weighted spaces for the stated range of α and H.

What would settle it

Explicit construction or numerical simulation of a nonlinearity with σ(0)≠0 for which the weighted-norm iteration diverges or the candidate mild solution blows up in finite time, within the given parameter interval.

read the original abstract

Consider the following nonlinear one-dimensional stochastic fractional heat equation $$\frac{\partial }{\partial t}u(t, x)= -(-\Delta)^{\alpha/2}u(t, x) +\sigma(t,x,u(t,x)) \dot{W}(t, x), $$ where $-(-\Delta)^{\alpha/2}$ is the fractional Laplacian on $\mathbb R$ for $1<\alpha<2$, and $\dot{W}$ is a Gaussian noise that is white in time and behaves in space as a fractional Brownian motion with Hurst index $H$ satisfying $\frac{3-\alpha}{4}<H<\frac12$. When $\alpha=2$, Hu and Wang ({\it Ann. Inst. Henri Poincar\'e Probab. Stat.} {\bf 58} (2022) 379-423) studied the well-posedness of the solution and its H\"older continuity, removing the technical condition $\sigma(0)=0$ that was previously assumed in Hu et al. ({\it Ann. Probab.} {\bf 45} (2017) 4561-4616). Their approach relied on working in a weighted space with a suitable power decay function. For the case $\alpha\in (1,2)$, inspired by Hu and Wang, we investigate the well-posedness of the stochastic fractional heat equation without imposing the technical condition of $\sigma(0)=0$, which was required in the earlier work of Liu and Mao ({\it Bull. Sci. Math.} {\bf181} (2022) 103207). In our analysis, precise estimates of the heat kernel associated with the fractional Laplacian $-(-\Delta)^{\alpha/2}$ play a crucial role.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves well-posedness (existence and uniqueness of mild solutions) for the one-dimensional stochastic fractional heat equation driven by space-time noise that is white in time and fractional Brownian in space with Hurst index H satisfying (3-α)/4 < H < 1/2, where the spatial operator is the fractional Laplacian of order α ∈ (1,2). The key novelty is removal of the assumption σ(0)=0 that was required in Liu-Mao, achieved by working in weighted Banach spaces and using precise heat-kernel estimates for (−Δ)^{α/2}.

Significance. If the fixed-point argument closes, the result extends the weighted-space technique of Hu-Wang (α=2 case) to the fractional setting and removes a technical restriction from earlier fractional work. This strengthens the theory of SPDEs with multiplicative rough noise and supplies the analytic foundation needed for subsequent regularity or long-time studies.

major comments (2)
  1. [Fixed-point section (likely §3) and heat-kernel estimates (likely §2)] The contraction-mapping argument in the weighted space (sup_t t^β ∥u(t,·)w(·)∥_∞ with w(x)∼(1+|x|)^{-γ}) relies on a uniform bound <1 for the stochastic-convolution term. The double integral against the covariance |x-y|^{2H-2} and the kernel p_t^α(x)∼t^{-1/α}f_α(x t^{-1/α}) must be controlled with constants that remain bounded as H↓(3-α)/4. The manuscript should exhibit the explicit H-dependence of these constants (or prove they stay O(1)) to confirm the map is a contraction throughout the stated interval.
  2. [Weighted-space setup and contraction estimate] The choice of weight exponent γ and time weight β must be shown to work simultaneously for all α∈(1,2) and all H>(3-α)/4. If the admissible range for (β,γ) shrinks to empty near the lower threshold on H, the argument requires an additional restriction on σ or on the open interval for H.
minor comments (2)
  1. [Abstract and introduction] State explicitly whether the result extends to H=1/2 or stops strictly below 1/2, and whether the constants are uniform in α.
  2. [Introduction] Add a short comparison table or paragraph contrasting the admissible (α,H) region with the earlier Liu-Mao and Hu-Wang ranges.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. We address each major comment below and will revise the paper accordingly to strengthen the presentation of the estimates.

read point-by-point responses

  1. Referee: [Fixed-point section (likely §3) and heat-kernel estimates (likely §2)] The contraction-mapping argument in the weighted space (sup_t t^β ∥u(t,·)w(·)∥_∞ with w(x)∼(1+|x|)^{-γ}) relies on a uniform bound <1 for the stochastic-convolution term. The double integral against the covariance |x-y|^{2H-2} and the kernel p_t^α(x)∼t^{-1/α}f_α(x t^{-1/α}) must be controlled with constants that remain bounded as H↓(3-α)/4. The manuscript should exhibit the explicit H-dependence of these constants (or prove they stay O(1)) to confirm the map is a contraction throughout the stated interval.

    Authors: We agree that explicit control on the H-dependence strengthens the argument. In Section 3, the contraction relies on bounding the stochastic convolution in the weighted norm via the heat-kernel estimates of Lemma 2.3. The relevant double integral is estimated by splitting into near- and far-field contributions and using the scaling p_t^α(x) ∼ t^{-1/α} f_α(x t^{-1/α}) together with the covariance |x-y|^{2H-2}. Because H > (3-α)/4 the singularity is integrable, and the resulting constant C(α,H) remains bounded (in fact continuous) as H ↓ (3-α)/4; this follows from the uniform integrability provided by the fractional heat kernel decay and a direct application of the Hardy-Littlewood-Sobolev inequality in the scaled variables. We will add a short appendix or remark computing the explicit dependence and verifying sup_{H>(3-α)/4} C(α,H) < ∞, so that the contraction constant can be made strictly less than 1 on a sufficiently small time interval for any H in the open interval. revision: yes

  2. Referee: [Weighted-space setup and contraction estimate] The choice of weight exponent γ and time weight β must be shown to work simultaneously for all α∈(1,2) and all H>(3-α)/4. If the admissible range for (β,γ) shrinks to empty near the lower threshold on H, the argument requires an additional restriction on σ or on the open interval for H.

    Authors: The parameters β and γ are chosen after fixing α ∈ (1,2) and H > (3-α)/4; they are not required to be uniform over the entire parameter region. For any such pair (α,H), the heat-kernel decay allows us to pick γ > 0 small enough that the weighted L^∞ norm absorbs the spatial tails, while β > 0 is chosen small enough to control the temporal singularity at t=0 but large enough for the stochastic integral to map into the space. The admissible set for (β,γ) is non-empty for every H strictly above the threshold because the critical exponent (3-α)/4 arises precisely from the integrability condition that becomes strict inequality when H exceeds it; thus β and γ can be taken positive (though smaller when H is close to the boundary). We will insert an explicit construction of β(α,H) and γ(α,H) satisfying the required inequalities (e.g., 0 < β < min{1/2, c(H-(3-α)/4)}) together with a verification that these choices close the fixed-point argument without further restrictions on σ. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent heat-kernel estimates and prior external results

full rationale

The paper establishes well-posedness of the stochastic fractional heat equation for 1<α<2 and H>(3-α)/4 by a fixed-point argument in weighted spaces, explicitly invoking precise estimates on the fractional heat kernel p_t^α(x) and building on the α=2 case from Hu and Wang (2022) while removing the σ(0)=0 assumption from Liu and Mao (2022). No step reduces a claimed prediction or uniqueness result to a self-definition, a fitted parameter renamed as output, or a load-bearing self-citation whose validity is presupposed without independent verification. The heat-kernel estimates are presented as an external analytic ingredient sufficient to close the contraction, and the argument remains self-contained against standard semigroup and stochastic-convolution bounds outside the paper's own fitted quantities.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard analytic properties of the fractional Laplacian and its heat kernel plus Gaussian noise regularity; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The heat kernel of −(−Δ)^{α/2} admits precise pointwise and integral estimates sufficient for the fixed-point argument in weighted spaces.
    Invoked to control the stochastic convolution and close the Picard iteration without σ(0)=0.
  • standard math The noise is a centered Gaussian field white in time and fractional Brownian in space with Hurst index H ∈ ((3-α)/4, 1/2).
    Standard definition of the driving noise; the lower bound on H ensures the spatial regularity is compatible with the fractional diffusion.

pith-pipeline@v0.9.0 · 5604 in / 1473 out tokens · 21350 ms · 2026-05-10T18:21:41.505222+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    Balan, M

    R. Balan, M. Jolis, L. Quer-Sardanyons. SPDEs with affine multiplicative fractional noise in space with index 1 4 ăHă 1 2.Electron. J. Probab.,20(54), 1–36 (2015)

    work page 2015

  2. [2]

    Balan, M

    R. Balan, M. Jolis, L. Quer-Sardanyons. SPDEs with rough noise in space: H¨ older continuity of the solution.Statist. Probab. Lett.,119, 310–316 (2016)

    work page 2016

  3. [3]

    Blumenthal, R

    R. Blumenthal, R. Getoor. Some theorems on stable processes.Trans. Amer. Math. Soc.,95, 263–273 (1960)

    work page 1960

  4. [4]

    Chen, R.C

    L. Chen, R.C. Dalang. Moments, intermittency and growth indices for the nonlinear fractional stochastic heat equation.Stoch. Partial Differ. Equ. Anal. Comput.,3, 360–397 (2015)

    work page 2015

  5. [5]

    Chen, X.C

    Z.-Q. Chen, X.C. Zhang. Heat kernels and analyticity of non-symmetric jump diffusion semi- groups.Probab. Theory Relat. Fields,165(1), 267–312 (2016)

    work page 2016

  6. [6]

    Da Prato, J

    G. Da Prato, J. Zabczyk. Stochastic equations in infinite dimensions. Second edition. Cam- bridge University Press, Cambridge (2014)

    work page 2014

  7. [7]

    R. C. Dalang. Extending the martingale measure stochastic integral with applications to spatially homogeneous s.p.d.e.’s.Electron. J. Probab.,4(6), 1–29 (1999)

    work page 1999

  8. [8]

    R. C. Dalang, L. Quer-Sardanyons. Stochastic integrals for spde’s: A comparison.Expo. Math., 29(1), 67–109 (2011)

    work page 2011

  9. [9]

    Y. Hu. Some recent progress on stochastic heat equations.Acta Math. Sci. Ser. B,39(3), 874–914 (2019)

    work page 2019

  10. [10]

    Y. Hu, J. Huang, K. Lˆ e, D. Nualart, S. Tindel. Stochastic heat equation with rough depen- dence in space.Ann. Probab.,45(6), 4561–4616 (2017)

    work page 2017

  11. [11]

    Y. Hu, J. Huang, K. Lˆ e, D. Nualart, S. Tindel. Parabolic Anderson model with rough dependence in space. Computation and combinatorics in dynamics, stochastics and control, 477–498. Abel Symp., 13, Springer, Cham (2018)

    work page 2018

  12. [12]

    Y. Hu, X. Wang. Stochastic heat equation with general rough noise.Ann. Inst. Henri Poincar´ e Probab. Stat.,58(1), 379–423 (2022)

    work page 2022

  13. [13]

    Ikeda, S

    N. Ikeda, S. Watanabe. Stochastic Differential Equations and Diffusion Processes. 2nd edi- tion. North-Holland, Amsterdam-New York (1981)

    work page 1981

  14. [14]

    Karatzas, S.E

    I. Karatzas, S.E. Shreve. Brownian Motion and Stochastic Calculus. 2nd edition. Graduate Texts in Mathematics 113. Springer-Verlag, New York (1991)

    work page 1991

  15. [15]

    T. Kurtz. The Yamada-Watanabe-Engelbert theorem for general stochastic equations and inequalities.Electron. J. Probab.,12, 951–965 (2007)

    work page 2007

  16. [16]

    C. Liu, B. Qian, R. Wang. Growth rates for the H¨ older coefficients of the linear stochastic fractional heat equation with rough dependence in space. arXiv:2507.22379 (2025)

    work page internal anchor Pith review arXiv 2025

  17. [17]

    J. Liu, L. Mao. Nonlinear fractional stochastic heat equation driven by Gaussian noise rough in space.Bull. Sci. Math.,181, 103207 (2022)

    work page 2022

  18. [18]

    M. Li, C. Huang, Y. Hu. Asymptotic separation for stochastic Volterra integral equations with doubly singular kernels.Appl. Math. Lett.,113, 106880 (2021)

    work page 2021

  19. [19]

    S. Liu, Y. Hu, X. Wang. Nonlinear stochastic wave equation driven by rough noise.J. Dif- ferential Equations,331, 99–161 (2022)

    work page 2022

  20. [20]

    Pipiras, M.S

    V. Pipiras, M.S. Taqqu. Integration questions related to fractional Brownian motion.Probab. Theory Relat. Fields,118(2), 251–291 (2000)

    work page 2000

  21. [21]

    B. Qian, M. Wang, R. Wang, Y. Xiao. Temporal regularity for the nonlinear stochastic heat equation with spatially rough noise.J. Differential Equations,461, 114097 (2026)

    work page 2026

  22. [22]

    Sanz-Sol´ e, M

    M. Sanz-Sol´ e, M. Sarr` a. H¨ older continuity for the stochastic heat equation with spatially correlated noise. Seminar on Stochastic Analysis, Random Fields and Applications III. Progr. Probab. 52. Birkh¨ auser, Basel (2002)

    work page 2002

  23. [23]

    J. Song. SPDEs with colored Gaussian noise: a survey.Commun. Math. Stat.,6(4), 481–492 (2018) 28 B. QIAN AND R. WANG

    work page 2018

  24. [24]

    J. Song, X. Song, F. Xu. Fractional stochastic wave equation driven by a Gaussian noise rough in space.Bernoulli,26(4), 2699–2726 (2020)

    work page 2020

  25. [25]

    J. Walsh. An introduction to stochastic partial differential equations. ´Ecole d’´Et´ e de Proba- bilit´ es de Saint-Flour, XIV–1984. Lecture Notes in Math. 1180, Springer, Berlin, 265–439 (1986) Bin Qian, Department of Mathematics and Statistics, Suzhou University of Technology, Chang- shu, Jiangsu, 215500, China. Email address:binqiancn@126.com Ran W an...

    work page 1984