关于Feller-Dynkin生成元局部性质的证明求助

嘿，我来帮你梳理这个问题的证明思路，核心是结合Feller半群的定义、生成元的性质，以及马尔可夫过程的局部行为来推导。

先明确已知条件和目标：

• 我们有Feller-Dynkin半群$(P_t)_t$，对应强连续马尔可夫过程$(X_t)_t$，生成元$L:D_L \to C_0(\mathbb{R}^+)$，且$C2_0(\mathbb{R}^+) \subset D_L$
• 对任意概率测度$\mu$，$\mathbb{P}_\mu[X_t \in \mathbb{R}^{+]=1$，说明过程始终停留在$\mathbb{R}}+$内
• 要证：若$f,g \in D_L$且在$x \in \mathbb{R}^+$的某个邻域上$f=g$，则$Lf(x)=Lg(x)$

证明步骤 #

1. 转化问题简化目标
   令$h = f - g$，则$h \in D_L$（$D_L$是线性空间），且$h$在$x$的邻域$U$上恒为0。我们只需要证明$Lh(x)=0$即可。

2. 构造光滑截断函数
   取$\psi \in C^{2_0(\mathbb{R}}+)$（满足已知的定义域包含条件），要求：

   • $\psi(x) = 1$
   • $\psi$的支撑集$\text{supp}(\psi) \subset U$（即$U$外$\psi$恒为0）
   • $0 \leq \psi \leq 1$

3. 利用生成元的乘积法则
   对于Feller生成元，当其中一个因子是光滑紧支函数时，乘积法则成立：
   $$
   L(\psi h)(x) = \psi(x)Lh(x) + h(x)L\psi(x)
   $$
   注意到$\psi h$在整个$\mathbb{R}^+$上恒为0：在$U$内$h=0$，在$U$外$\psi=0$，因此$L(\psi h)(x)=0$。代入上式：
   $$
   0 = 1 \cdot Lh(x) + 0 \cdot L\psi(x)
   $$
   直接得到$Lh(x)=0$。

4. 还原原结论
   因为$Lf(x)-Lg(x)=L(f-g)(x)=Lh(x)=0$，所以$Lf(x)=Lg(x)$，证毕。

补充说明：乘积法则的合理性 #

这个乘积法则可以通过生成元的定义直接验证：
$$
\begin{align*}
\frac{P_t(\psi h)(x) - \psi(x)h(x)}{t} &= \frac{\mathbb{E}_x[\psi(X_t)h(X_t)] - \psi(x)h(x)}{t} \
&= \mathbb{E}_x\left[\psi(X_t)\frac{h(X_t)-h(x)}{t}\right] + h(x)\frac{\mathbb{E}_x[\psi(X_t)] - \psi(x)}{t}
\end{align*}
$$
当$t \downarrow 0$时，第一部分因$\psi$连续有界、$\frac{h(X_t)-h(x)}{t}$依概率收敛到$Lh(x)$，最终收敛到$\psi(x)Lh(x)$；第二部分同理收敛到$h(x)L\psi(x)$，因此乘积法则成立。

备注：内容来源于stack exchange，提问作者Parchment2382