[论文解读] On subhamonicity for symmetric Markov processes

Zhen-Qing Chen, Kazuhiro Kuwae|ArXiv.org|Dec 16, 2009

Geometry and complex manifolds参考文献 19被引用 9

一句话总结

本文在局部紧致可分度量空间上的对称 Hunt 过程背景下，建立了解析与概率意义上的次调和性的等价性，扩展了此前关于调和性的结果。主要贡献包括：针对次调和函数的 Riesz 型分解定理，以及在自然可积性与正则性条件下，对局部有界且精细连续的 ${\mathcal{E}}$-次调和函数所成立的强最大值原理。

ABSTRACT

We establish the equivalence of the analytic and probabilistic notions of subharmonicity in the framework of general symmetric Hunt processes on locally compact separable metric spaces, extending an earlier work of the first named author on the equivalence of the analytic and probabilistic notions of harmonicity. As a corollary, we prove a strong maximum principle for locally bounded finely continuous subharmonic functions in the space of functions locally in the domain of the Dirichlet form under some natural conditions.

研究动机与目标

• 在局部紧致可分度量空间上的对称 Hunt 过程背景下，建立解析与概率定义的次调和性之间的等价性。
• 将先前关于调和函数的结果扩展至次调和情形，尤其针对非局部与跳跃型过程。
• 在自然可积性与正则性条件下，证明局部有界且精细连续的 ${\mathcal{E}}$-次调和函数的强最大值原理。
• 为处理底层过程的非局部性与不连续性，建立 ${\mathcal{E}}$-次调和函数的 Riesz 型分解定理。
• 通过概率与解析方法，将经典强最大值原理推广至非局部算子与跳跃过程。

提出的方法

• 通过 $ u(X_{t \tau_D}) $ 在准处处 $ x \in D $ 上的统一可积性，将次调和性以概率方式定义为一个上鞅。
• 通过不等式 $ \mathcal{E}(u, v) \leq 0 $ 对所有非负 $ v \in \mathcal{F} \cap C_c^+(D) $ 成立，将次调和性以解析方式定义，其中 $ u \in \mathcal{F}_{D,\text{loc}} $。
• 采用 $ L^2(E; m) $ 上的正则局部 Dirichlet 型 $ (\mathcal{E}, \mathcal{F}) $ 框架，其中 $ E $ 为局部紧致可分度量空间。
• 为 $ \mathcal{E} $-次调和函数建立 Riesz 型分解定理，将其分解为一个势函数与一个调和部分。
• 利用统一可积上鞅理论与 Hunt 过程的强马尔可夫性质，建立概率定义与解析定义之间的联系。
• 将结果应用于具体例子，包括带跳跃的扩散过程与对称 Lévy 过程，以验证等价性并推导具体条件。

实验结果

研究问题

• RQ1 在局部紧致可分度量空间上的对称 Hunt 过程背景下，解析与概率定义的次调和性是否等价？
• RQ2 在非局部与跳跃扩散设定下，强最大值原理是否可推广至局部有界且精细连续的 $ \mathcal{E} $-次调和函数？
• RQ3 当过程不连续时，Dirichlet 型 $ \mathcal{E}(u, v) $ 如何在 $ \mathcal{F}_{D,\text{loc}} $ 中的函数上合理地延拓？
• RQ4 在存在跳跃分量的情况下，何种条件可确保一个概率意义下的次调和函数也是解析意义下的次调和函数？
• RQ5 经典强最大值原理在二阶椭圆算子情形下，多大程度上可推广至通过对称马尔可夫过程得到的非局部算子？

主要发现

• 在标准可积性与正则性条件下，对称 Hunt 过程在局部紧致可分度量空间上，其解析与概率意义的次调和性是等价的。
• 为 $ \mathcal{E} $-次调和函数建立了 Riesz 型分解定理，使其可分解为一个势函数与一个调和部分。
• 在过程相对于底层测度满足绝对连续性条件的假设下，局部有界且精细连续的 $ \mathcal{E} $-次调和函数满足强最大值原理。
• 对于对称 Lévy 过程（标准布朗运动与 $ \alpha $-稳定过程之和）的例子，当 $ (1 \wedge |x|^{-d - \alpha}) u(x) \in L^1(\mathbb{R}^d) $ 时，等价性成立。
• 概率条件 $ u(x) \leq \mathbb{E}_x[u(X_{\tau_U})] $ 对几乎所有 $ x \in U $ 成立，且 $ u(X_{\tau_U}) \in L^1(\mathbb{P}_x) $，等价于解析条件 $ \mathcal{E}(u, v) \leq 0 $ 对所有非负 $ v \in \mathcal{F} \cap C_c^+(D) $ 成立。
• 结果将经典强最大值原理推广至非局部与跳跃型过程，在具有测度收缩性质的奇异空间（如 Alexandrov 空间）的几何分析中具有应用。