[论文解读] Harnack Inequalities for Degenerate Diffusions

Charles L. Epstein, Camelia A. Pop|arXiv (Cornell University)|Jun 18, 2014

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

一句话总结

本文通过基于随机表示和Girsanov变换的概率方法，建立了具有退化扩散和奇异漂移系数的抛物型Kimura方程的尺度不变Harnack不等式。作者将Feynman-Kac公式推广至退化情形，并通过Sturm方法对模型算子的低阶扰动进行新颖适应，证明了Harnack不等式。

ABSTRACT

We study various probabilistic and analytical properties of a class of degenerate diffusion operators arising in Population Genetics, the so-called generalized Kimura diffusion operators. Our main results is a stochastic representation of weak solutions to a degenerate parabolic equation with singular lower-order coefficients, and the proof of the scale-invariant Harnack inequality for nonnegative solutions to the Kimura parabolic equation. The stochastic representation of solutions that we establish is a considerable generalization of the classical results on Feynman-Kac formulas concerning the assumptions on the degeneracy of the diffusion matrix, the boundedness of the drift coefficients, and on the a priori regularity of the weak solutions.

研究动机与目标

• 建立具有退化扩散和奇异漂移系数的Kimura抛物型方程非负解的尺度不变Harnack不等式。
• 将Feynman-Kac公式推广至具有无界漂移和退化扩散矩阵的退化抛物方程的弱解。
• 构造与广义Kimura算子相关的连续马尔可夫过程，并求解相应的局部鞅问题。
• 通过时间改变过程和Girsanov公式，证明具有奇异漂移的Kimura随机微分方程的解的存在性与正则性。
• 建立半群理论与随机过程之间的联系，并为抛物方程的弱解导出随机表示。

提出的方法

• 将Sturm的概率方法适配于Harnack不等式，将广义Kimura算子视为具有已知Harnack性质的模型算子的低阶扰动。
• 通过广义Kimura算子在域 $ S_{n,m} = \mathbb{R}^n_+ \times \mathbb{R}^m $ 上关联的局部鞅问题的解，构造一个连续马尔可夫过程。
• 使用Girsanov公式将具有奇异漂移的SDE转化为时间改变的扩散过程，从而能够应用概率估计。
• 利用加权Sobolev空间与各向异性H"older空间控制解的正则性，并推导先验估计。
• 通过扩散过程路径上的期望，导出弱解的随机表示，将经典Feynman-Kac公式推广至退化情形。
• 通过涉及首次退出时间与时间改变过程的一系列估计，控制 $ u^{1/3} $ 的 $ L^1 $-范数，最终导出Harnack不等式。

实验结果

研究问题

• RQ1 能否为具有退化扩散和奇异漂移的Kimura抛物型方程的非负解建立尺度不变Harnack不等式？
• RQ2 如何将Feynman-Kac公式扩展至具有无界和退化系数的退化抛物方程的弱解？
• RQ3 广义Kimura算子生成的半群与相应随机微分方程的解之间存在何种关系？
• RQ4 漂移中的对数型奇异性如何影响解的正则性与随机表示？
• RQ5 Girsanov变换与时间改变过程等概率技术在分析具有边界退化的退化抛物方程时，其适用程度如何？

主要发现

• 本文证明了非负解的Kimura抛物型方程 $ u_t - \widehat{L}u = 0 $ 的尺度不变Harnack不等式，如定理7.8所述。
• 为具有奇异漂移的退化抛物方程建立了弱解的随机表示，推广了经典Feynman-Kac公式。
• Harnack不等式通过基于Sturm方法的概率方法导出，利用了首次退出时间与时间改变过程的估计。
• 作者证明了对于 $ (t,w) \in Q^R_{cR}(s,z) $，有 $$ \mathbb{E}_{\mathbb{P}^z}\left[ \frac{1}{R} \int_0^R u^{1/3}(s - r^2 \wedge \tau_r, Z(r^2 \wedge \tau_r)) \mathbf{1}_{\{s - r^2 \wedge \tau_r \leq s - 2R^2/3\}} \, dr \right] \leq C \cdot u^{1/3}(t,w) $$ 其中 $ c \in (\sqrt{2}/\sqrt{3}, 1) $，该不等式最终导出Harnack不等式。
• 证明依赖于一系列涉及 $ u^{1/3} $ 的 $ L^1 $-范数、对数变换与时间改变路径积分的估计，最终得到统一有界性 $ \int_c^1 \frac{\ln I(\beta)}{\beta} \, d\beta \leq C $，从而推出 $ I(c) \leq C $。