[论文解读] Continuous random field solutions to parabolic SPDEs on p.c.f. fractals

Ben Hambly, Weiye Yang|arXiv (Cornell University)|Sep 4, 2017

Advanced Mathematical Modeling in Engineering参考文献 5被引用 4

一句话总结

该论文通过柯尔莫哥洛夫型连续性定理，建立了在 p.c.f. 分形上抛物型随机偏微分方程（SPDE）存在连续随机场解的充分条件。论文推导了空间与时间上显式的赫尔德连续性指数，将欧几里得空间中的结果推广至分形域，并应用于 da Prato–Zabczyk 和 Walsh 型 SPDE，包括抛物型安德森模型中的弱间歇性。

ABSTRACT

We consider a general class of $L^2$-valued stochastic processes that arise primarily as solutions of parabolic SPDEs on p.c.f. fractals. Using a Kolmogorov-type continuity theorem, conditions are found under which these processes admit versions which are function-valued and jointly continuous in space and time, and the associated Hölder exponents are computed. We apply this theorem to the solutions of SPDEs in the theories of both da Prato--Zabczyk and Walsh. We conclude by discussing a version of the parabolic Anderson model on these fractals and demonstrate a weak form of intermittency.

研究动机与目标

• 建立在 p.c.f. 分形上求解抛物型 SPDE 的 $L^2$-值随机过程存在联合连续于时间和空间的连续随机场版本的条件。
• 将欧几里得空间中已有的连续性结果推广至 p.c.f. 分形，特别是将 [HY18] 中关于随机热方程的结果扩展至更广泛的 SPDE 类别。
• 通过推导单一连续性准则，统一 da Prato–Zabczyk 与 Walsh 框架下在分形域上 SPDE 的分析。
• 研究 p.c.f. 分形上的抛物型安德森模型，并通过矩增长估计展示其弱间歇性。

提出的方法

• 将柯尔莫哥洛夫型连续性定理扩展至定义在 $[0,T] \times F$ 上的随机过程，其中 $F$ 是 p.c.f. 自相似分形，以建立时间和空间的联合连续性。
• 该方法依赖于利用与 $F$ 上拉普拉斯算子 $\Delta_b$ 相关的半群 $S^b$ 来估计解过程增量的矩。
• 使用分形上的电阻度量作为空间距离，替代欧几里得度量，并利用热核 $p^N_t(x,y)$ 的标度性质。
• 关键估计涉及函数 $\kappa$ 的使用，该函数表征热核的标度行为，并应用更新理论来获得矩的上界。
• 该方法适用于乘法漂移和扩散项，对时变乘性噪声（Walsh 型 SPDE）有特殊处理。
• 证明利用了单位区间 $[0,1]$ 是 p.c.f. 分形的事实，无需依赖傅里叶分析或显式热核表达式，即可在 $[0,1]$ 上恢复已知结果。

实验结果

研究问题

• RQ1 在 p.c.f. 分形上，抛物型 SPDE 的弱解 $U(t)$ 在何种条件下存在联合连续于时间和空间的版本？
• RQ2 解的连续版本在时间和空间上的最优赫尔德指数是什么？它们如何依赖于分形的几何结构与 SPDE 系数？
• RQ3 da Prato–Zabczyk 与 Walsh 框架下 SPDE 在分形上的连续性结果能否统一？
• RQ4 在 p.c.f. 分形上，抛物型安德森模型是否表现出弱间歇性，以二阶矩的增长为度量？
• RQ5 分形上的电阻度量如何影响 SPDE 解的正则性，相较于欧几里得空间？

主要发现

• 在 $\beta$ 和 $\sigma$ 的弱正则性条件下，SPDE (1.1) 的解 $U(t)$ 几乎必然存在 $[0,T] \times F$ 上的联合连续版本。
• 时间与空间的赫尔德连续性指数由分形的谱维数 $d_s$ 和热核的标度函数 $\kappa$ 显式决定。
• 在 p.c.f. 分形上的随机热方程中，解几乎必然在空间上为 $\frac{1}{2}$-赫尔德连续，在时间上为 $\frac{1}{4}$-赫尔德连续，与欧几里得情形一致。
• 在紧致 p.c.f. 分形上的抛物型安德森模型表现出弱间歇性：当噪声系数 $g$ 非退化时，第二矩 $\mathbb{E}[u(t,x)^2]$ 随时间至少呈指数增长。
• 建立了第二矩 $I(t) = \inf_{x\in F} \mathbb{E}[u(t,x)^2]$ 的下界，表明 $\liminf_{t\to\infty} \exp(-c_{11}\kappa^{-1}(L_g^2)t) I(t) \geq \inf_x u_0(x)^2$，证实了弱间歇性。
• 该结果为 $[0,1]$ 上连续解的存在性提供了替代证明，无需使用傅里叶变换或显式热核表达式。