[论文解读] Exact Asymptotic Formulas for the Heat Kernels of Space and Time-Fractional Equations

Chang‐Song Deng, René L. Schilling|arXiv (Cornell University)|Mar 30, 2018

Fractional Differential Equations Solutions参考文献 21被引用 3

一句话总结

本文利用次序化与逆次序化技术，推导出空间-时间分数阶扩散方程的热核的精确渐近公式。研究建立了n维分数阶热方程 ∂ᵗᵘ/∂tᵇ = −(−Δₓ)ᵞu（其中 β, γ ∈ (0,1)）的基本解在大时间与小时间下的精确渐近行为，将经典高斯行为推广至非局部、异常扩散过程。

ABSTRACT

This paper aims to study the asymptotic behaviour of the fundamental solutions (heat kernels) of non-local (partial and pseudo differential) equations with fractional operators in time and space. In particular, we obtain exact asymptotic formulas for the heat kernels of time-changed Brownian motions and Cauchy processes. As an application, we obtain exact asymptotic formulas for the fundamental solutions to the $n$-dimensional fractional heat equations in both time and space \begin{gather*} \frac{\partial^β}{\partial t^β}u(t,x) = -(-Δ_x)^γu(t,x), \quad β,γ\in(0,1). \end{gather*}

研究动机与目标

• 分析具有分数阶时间与空间导数的非局部演化方程的基本解（热核）的渐近行为。
• 通过次序化与逆次序化技术，推导时间改变的布朗运动与柯西过程的热核的精确渐近公式。
• 为n维分数阶热方程 ∂ᵗᵘ/∂tᵇ = −(−Δₓ)ᵞu（其中 β, γ ∈ (0,1)）提供精确的小时间与大时间渐近行为。
• 利用概率与分析方法，将经典热核结果（如高斯核）推广至分数阶设定。
• 利用拉普拉斯方法与广义渐近分析，建立包含幂律与指数项的积分的严格渐近展开。

提出的方法

• 利用博赫纳次序化原理，将时间改变的莱维过程（如柯西过程）与空间分数阶方程的基本解联系起来。
• 应用逆次序化以建模亚扩散，通过布朗运动的时变转移密度推导热核。
• 采用傅里叶-拉普拉斯变换，将随机过程与分数阶PDE联系起来，特别是具有柯普托导数的时间分数阶方程。
• 应用拉普拉斯方法对具有指数衰减的积分进行渐近展开，利用引理4.5处理在 (0,∞) 上、具有严格凸速率函数的积分。
• 利用引理4.6，推导形如 ∫₀^∞ sᵃ e⁻ᴮˢᵇ⁻ᶜˢ⁻ᵈ (1+ϕ(s)) ds 在 B→∞ 时的精确渐近公式，其中 ϕ 满足正则性与增长条件。
• 通过临界点分析与变量替换，识别积分中主导贡献，从而确立热核的主导阶渐近行为。

实验结果

研究问题

• RQ1 对于n维时间-空间分数阶方程 ∂ᵗᵘ/∂tᵇ = −(−Δₓ)ᵞu（其中 β, γ ∈ (0,1)），热核的精确小时间与大时间渐近行为是什么？
• RQ2 在分数阶设定下，次序化布朗运动（次序化）与逆次序化过程（亚扩散）的热核渐近行为有何不同？
• RQ3 当次序化过程为 α=1/2 的稳定分布时（即柯西过程），能否为空间分数阶方程的基本解推导出精确渐近公式？
• RQ4 对于分数阶热方程，热核的主导阶渐近展开在时间 t 与空间距离 |x−y| 上的精确形式为何？
• RQ5 被积函数中扰动项 ϕ(s) 如何影响渐近行为？在何种条件下其对主导项的贡献可忽略？

主要发现

• 对于具有 β-稳定次序化的时变布朗运动，热核表现出由广义逆高斯分布决定的精确渐近行为，其大时间与小时间展开均精确。
• 对于逆次序化过程（亚扩散），热核满足具有柯普托导数的时间分数阶方程，其渐近行为通过在时间积分转移密度上应用拉普拉斯方法推导得出。
• 当 β=1/2 时，柯西过程的热核显式由泊松核给出，其在 t→0 与 t→∞ 时的渐近行为已被推导，证实了空间与时间上的幂律衰减。
• 在给定条件下，积分 ∫₀^∞ sᵃ e⁻ᴮˢᵇ⁻ᶜˢ⁻ᵈ (1+ϕ(s)) ds 在 B→∞ 时的主导阶渐近公式为 I(B)，其显式依赖于参数 a, b, c, d 与 ϕ。
• 若 ϕ 满足 limsupₛ→∞ s⁻θ(1+ϕ(s))<∞（对某个 θ∈ℝ）且 ϕ(0+)=0，则当 B→∞ 时，扰动项 ϕ(s) 对渐近展开的贡献可忽略。
• 推导出n维分数阶热方程 ∂ᵗᵘ/∂tᵇ = −(−Δₓ)ᵞu 的基本解的精确渐近公式，表明当 t→∞ 时核按 t⁻ⁿᐟᵇ 衰减，当 |x|→∞ 时行为如 |x|⁻ⁿ⁻²ᵞ，且包含伽马函数与幂律的精确常数。