[论文解读] Heat Equation With a Geometric Rough Path Potential in One Space Dimension: Existence and Regularity of Solution

H.-J. Kim, Sergey V. Lototsky|arXiv (Cornell University)|Dec 21, 2017

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

一句话总结

本文通过几何粗糙路径理论，建立了由 Hölder 连续函数导出的分布值势函数的单变量热方程解的存在性与正则性。采用正则化方法和 Stratonovich 类型的乘积 $ u\dot{W} $ 解释，证明了解在空间上具有 Hölder 正则性 $ C^{1+\alpha} $，在时间上具有 $ C^{(1+\alpha)/2} $ 正则性，与经典抛物理论相比，空间损失一阶导数、时间损失半阶导数，结果一致。

ABSTRACT

A solution of the heat equation with a distribution-valued potential is constructed by regularization. When the potential is the generalized derivative of a Hölder continuous function, regularity of the resulting solution is in line with the standard parabolic theory.

研究动机与目标

• 严格建立一维热方程在分布值势函数 $ \dot{W} $ 下解的存在性与正则性，其中 $ W $ 是 Hölder 连续阶 $ \alpha \in (0,1) $ 的函数。
• 通过几何粗糙路径（GRP）理论，解决当 $ \dot{W} $ 为广义函数时乘积 $ u\dot{W} $ 解释的歧义性。
• 证明解在空间上损失一阶导数、时间上损失半阶导数，正则性达到空间 $ C^{1+\alpha} $、时间 $ C^{(1+\alpha)/2} $，与预期一致。
• 通过 $ W $ 的光滑逼近 $ W^{(\varepsilon)} $，定义并分析经典与广义 GRP 解，确保在适当范数下收敛。
• 将结果推广至具有变系数及非零 Dirichlet 条件或一般边界条件的更一般的抛物方程。

提出的方法

• 利用几何粗糙路径理论解释乘积 $ u\dot{W} $，确保即使在 $ W $ 不规则时，经典微积分规则（如 $ \int_0^x W(s)\dot{W}(s)ds = \frac{1}{2}W^2(x) $）依然成立。
• 将解构造为正则化方程解 $ u^{(\varepsilon)} $ 的极限，其中 $ W^{(\varepsilon)} $ 是 $ W $ 的光滑逼近，且 $ \dot{W}^{(\varepsilon)} \in L_\infty $。
• 采用变分（广义）弱解形式，证明在逼近 $ W^{(\varepsilon)} $ 的 $ L^\infty $ 收敛下，解在 $ L^2 $-型范数下收敛。
• 应用算子 $ \mathbf{L} $ 的谱理论，证明其具有纯点谱，特征值满足 $ \lambda_k \sim k^2 $，从而可通过特征函数展开构造基本解。
• 将基本 GRP 解表示为 $ \mathfrak{p}(t,x,y) = e^{-\int_0^x W(s)ds} \mathfrak{p}_W(t,x,y) e^{\int_0^y W(s)ds} $，其中 $ \mathfrak{p}_W $ 是正则化方程的基本解。
• 通过变量替换 $ u(t,x) = v(t,x)\exp\left(-\int_{L_1}^x W(s)ds\right) $，将粗糙势函数问题转化为具有光滑系数的标准抛物方程。

实验结果

研究问题

• RQ1 当 $ W $ 是 Hölder 连续阶 $ \alpha \in (0,1) $ 的函数时，热方程在粗糙势函数 $ \dot{W} $ 下是否存在经典解？其正则性如何？
• RQ2 当 $ \dot{W} $ 为分布函数时，尤其在缺乏时间参数的情况下，如何解释乘积 $ u\dot{W} $ ？
• RQ3 具有几何粗糙路径势函数的热方程解是否表现出与预期一致的正则性损失：空间损失一阶导数、时间损失半阶导数？
• RQ4 通过正则化构造的广义解在 $ W $ 的逼近下是否稳定？当经典解存在时，是否与广义解一致？
• RQ5 能否将结果推广至具有变系数、非零 Dirichlet 边界条件或周期边界条件的方程？

主要发现

• 证明了当 $ W $ 是 Hölder 连续阶 $ \alpha \in (0,1) $ 的函数时，热方程在势函数 $ \dot{W} $ 下的经典 GRP 解在空间上属于 $ C^{1+\alpha} $，在时间上属于 $ C^{(1+\alpha)/2} $，与预期正则性损失一致。
• 广义 GRP 解被构造为正则化方程解的极限，且在逼近 $ W^{(\varepsilon)} $ 的 $ L^\infty $ 收敛下，解在 $ L^2 $-型范数下收敛。
• 基本 GRP 解被显式给出为 $ \mathfrak{p}(t,x,y) = e^{-\int_0^x W(s)ds} \mathfrak{p}_W(t,x,y) e^{\int_0^y W(s)ds} $，其中 $ \mathfrak{p}_W $ 是正则化方程的基本解。
• 算子 $ \mathbf{L} $ 的特征值 $ \lambda_k $ 满足 $ \lambda_k \sim k^2 $，特征函数 $ \mathfrak{m}_k $ 构成 $ L^2((0,\pi)) $ 中的正交基，从而实现解的谱表示。
• 若经典 GRP 解存在，则其与广义 GRP 解一致，确保两种形式之间的统一性。
• 对具有变系数 $ a,b,c,f $ 及一般边界条件的方程，结果可推广，但需超出标准抛物理论的额外分析。