|
(15) 最后,我们证明了Ps,tf“Vs,tf对于完成证明的所有f P PkpSq:fix x P和0dsatdt,并定义新的prq:“Ps,rVr,tfpxq,sdrdt。那么函数W可与d\'drW prq“d\'drPs,r˙Vr,tfpxq\'Ps,rd\'drVr,t˙fpxq”Ps,rHrVr,tfpxq\'Ps,rHrVr,tfpxq“0这表明W是常数,特别是W psq“W ptq,相当于Vs,tfpxq“Ps、tfpxq和证明已完成。4、Feller属性在本节中,我们为相关传递算子的唯一性建立了一个有效的标准—Feller属性。一个中心结果是,具有紧状态空间的多项式过程是Feller过程。我们首先简要介绍以下主题:Revuz和Yor(1994);B–ottcher(2014)。为此,我们将一组SARdbyCpSq表示为:“tf P CpSq:@εa0 DKAS紧,这样x R ku的| fpxq |ε为S上的连续函数空间在单位内消失。回想一下,配备了}f}:“supxPS | fpxq |,CpSq是一个Banach空间。定义4.1。转移算子pPs,tqps,tqP被称为Feller,如果对于所有的f P CpSq:i)Ps,tf P CpSq,ii)}Ps,tf}d}f}对于所有的Ps,tq P,iii)pPs、tqps、tqP在Banach空间pCpSq上是强连续的}。}q、 在这种情况下,族pPs、tqps、tqP也被称为伐木进化系统。请注意,对于任何马尔可夫过程,由于CpSq中的函数是有界的,因此相关的转移算子Ps、TAR在PSQ上定义。此外,所有马尔可夫过程都满足iiq性质。Feller过程的相关性源于这样一个事实,即人们可以将一个独特的进化系统与Feller过程联系起来,见命题III.2.2。在Revuz andYor(1994)中。提案4.1。让SARdbe紧凑。然后一个S值多项式过程X“pXtq0dtd是一个Feller过程。证明。用pPs,tqps,tqP表示X的转移算子。由于SARdis紧,我们有CpSq“CpSq”。
|