|
证明部分信息下的原始问题等同于分离问题的一个重要工具是将滤波器描述为滤波方程的唯一解(见[7]和[21])。为了推导由π求解的滤波方程,我们首先给出了H-鞅的一个表示定理。附录A中给出了以下技术结果的证明。提案3.5。在假设2.1和3.1下,每个H-局部鞅M都允许分解mt=M+ZtДsdIs+ZtψsdIs+ZtZRw(s,q)Mπ(ds,dq),其中Д和ψ是H-适应过程,而w是由R索引的H-可预测过程,因此a。s、 ZtДsds<∞,Ztψsds<∞,ZtZR | w(s,q)| mp,H(dt,dq)<∞, t型≥ 我们现在可以证明以下基本结果,其证明被推迟到附录A。定理3.6。回忆(3.10),让y∈ Y是Z的初始分布,假设2.1和3.1成立。然后滤波器πt:=(πt(i);我∈ S) t型≥0求解Kushner-Stratonovich系统πt(i)=yi+ZtQXj=1λjiπs(j)ds+Ztπs(i)σ-1nβi-QXj=1βjπs(j)odIs+Ztπs(i)nα(ηs,i)-QXj=1α(ηs,j)πs(j)odIs+ZtZRwπi(s,q)- πs-(一)mπ(ds,dq),(3.14)对于任何i∈ S、 这里,βi=r- g(i)和(3.15)wπi(s,q):=dλN(i)πs- (i) 1{c(ηs-,i) 6=0}δc(ηs-,i) (dq)dhPQj=1πs-(j) λN(j)1{c(ηs-,j) 6=0}δc(ηs-,j) (dq)idenotes测度λN(i)πs的Radon-Nikodym导数-(i) 1{c(ηs-,i) 6=0}δc(ηs-,i) (dq)分别为qj=1πs- (j) λN(j)1{c(ηs-,j) 6=0}δc(ηs-,j) (dq)。让我们介绍过程η的跳跃时间和跳跃大小的顺序,用{Tn,ζn}n表示≥1,递归定义为T:=inf{T>0:Rtc(ηs- , Zs公司- )dNs6=0},Tn+1:=inft>Tn:ZtTnc(ηs- , Zs公司- )dNs6=0, ζn:=ηTn- ηTn-= c(ηT-n、 ZT公司-n) ,n≥ 1.部分信息下的公共债务控制9在上述定义中,我们使用标准惯例 = +∞.然后是与η(cf。
|