[论文解读] On the Cauchy problem for integro-differential operators in Hölder classes and the uniqueness of the martingale problem

R. Mikulevíčius, H. Pragarauskas|arXiv (Cornell University)|Mar 17, 2011

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

一句话总结

本文在核 $m(t,x,y)$ 的弱正则性假设下（即关于 $x$ 的 Hölder 连续性与关于 $y$ 的可测性，且具有非退化下界），建立了在 Hölder-Zygmund 空间中，对阶数 $\alpha \in (0,2)$ 的抛物型积分微分算子的柯西问题解的存在性与唯一性。关键贡献在于通过解析估计与 Itô-Wentzell 公式技术，证明了相关鞅问题的弱唯一性，将先前结果推广至正则性更低的系数情形。

ABSTRACT

The existence and uniqueness in Hölder spaces of solutions of the Cauchy problem to parabolic integro-differential equation of the order α\in(0,2) is investigated. The principal part of the operator has kernel m(t,x,y)/|y|^{d+α} with a bounded nondegenerate m, Hölder in x and measurable in y. The result is applied to prove the uniqueness of the corresponding martingale problem.

研究动机与目标

• 在 Hölder-Zygmund 空间中，建立一类抛物型积分微分算子的柯西问题解的存在性与唯一性。
• 放松对核 $m(t,x,y)$ 的正则性要求，允许其关于 $y$ 可测，同时保持关于 $x$ 的 Hölder 连续性与非退化条件。
• 通过柯西问题的解理论与 Itô 公式，证明相关鞅问题的弱唯一性。
• 将先前关于具有较弱正则系数的算子的鞅解唯一性结果进行推广，尤其针对 $\alpha = 1$ 的情形。

提出的方法

• 利用 Itô-Wentzell 公式，将光滑核的解估计推广至满足非退化条件的可测核。
• 应用参数延拓法，将常系数算子的可解性推广至变系数算子。
• 通过单位分解与局部化技术，推导 Hölder-Zygmund 空间中的先验 Schauder 估计。
• 分析缺乏关于 $\xi$ 光滑性的算子符号 $\psi(t,x,\xi)$，需采用非傅里叶乘子方法。
• 利用柯西问题的解 $u$ 构造一个鞅，并应用 Itô 公式，证明鞅解的唯一性。
• 建立范数 $|u|_{\alpha,\beta}$ 与解算子 $T_\tau u$ 的范数之间的等价性，以恢复完整的正则性估计。

实验结果

研究问题

• RQ1 在 $y$ 上具有可测核、$x$ 上具有 Hölder 连续系数的非局部抛物型算子，其柯西问题在 Hölder-Zygmund 空间中是否具有唯一解？
• RQ2 在核的正则性假设最小化的条件下，此类算子相关的鞅问题是否具有弱唯一性？
• RQ3 在非局部算子背景下，Itô-Wentzell 公式如何用于将正则性从光滑核传播至可测核？
• RQ4 当 $y$ 方向缺乏光滑性时，非退化条件 $m_0 \geq \eta > 0$ 的作用是什么？
• RQ5 能否通过 Hölder 空间中的参数延拓法，将常系数算子的解理论推广至变系数算子？

主要发现

• 在 $m$ 关于 $x$ 的 Hölder 连续性与非退化条件 $m \geq m_0 > 0$（其中 $m_0$ 光滑且关于 $y$ 齐次）下，柯西问题 $\partial_t u = Lu + f$ 在 $C^{\alpha + \beta}(H)$ 中存在唯一解，对 $f \in C^\beta(H)$。
• 解算子 $T_\tau$ 满足一致有界性：$|u|_{\alpha,\beta} \leq C |T_\tau u|_\beta$，从而可从扰动方程的解中恢复完整正则性。
• 在 $\alpha \in (0,2)$，$\beta \in (0,1]$，且满足假设 A、B1、B2（$\rho \geq 0$，$l = 0$）的条件下，对 $L = A + B^0$，其相关鞅问题的弱唯一性得以确立。
• 若 Lévy 测度满足 $\int_{|c|>R} \rho \, d\pi \to 0$ 当 $R \to \infty$，则鞅问题的解 $\mathbf{P}_{s,x}$ 关于 $(s,x)$ 是弱连续的。
• 在 $\mathbf{P}_{s,x}$ 下，过程 $X_t$ 是强马氏过程，且解满足 $u(s,x) = \mathbf{E}_{s,x} \left[ \int_s^T f(r,X_r) \, dr \right]$，将 PDE 解与鞅测度下的期望联系起来。
• 本结果通过允许 $y$ 方向的可测核，同时保持 $x$ 方向的 Hölder 正则性，推广了文献 [1] 与 [13] 中的先前唯一性结果。