|
弱收敛下的上半连续性在本节中,我们证明命题2.2。证据让x>0。从假设2.3(ii)可以看出,对于任何n∈ N un(x)<∞. 因此,我们可以选择一个序列^πn∈ An(x),n∈ 满足(2.3)的N。在不丧失一般性的情况下(通过传递到子序列),我们假设limitlimn→∞存在EPn[U(V^πnT,S(n))]。我们将证明存在^π∈ A(x)如(5.1)EP【U(V^πT,S)】≥ 画→∞EPn[U(V^πnT,S(n))],这将给出命题2.2。证明将分两步进行。第一步:选择Q∈ M(S)(回想一下,我们假设M(S)6=) 并设置Z:=dQdP。从假设2.5可以看出,存在一个序列Qn∈ M(S(n)),n∈ (2.1)适用。对于任何n,{V^πnt}Tt=0是一个Qnsuper–鞅。因此,EPnV^πnTdQndPn= 方程n【V^πnT】≤ V^πn=x。我们得出结论,序列V^πnTdQndPn;Pn, n∈ N很紧。这与(2.1)一起产生序列S(n),dQndPn,V^πnTdQndPn; Pn, n∈ N在空间D([0,T];Rd)×R上是紧的。从普罗霍洛夫定理可以看出,存在一个子序列S(n),dQndPn,V^πnTdQndPn; Pn(为了简单起见,子序列仍然用n表示)弱收敛。从(2.1)中,我们得到(5.2)S(n),dQndPn,V^πnTdQndPn; Pn=> (S,Z,Y),其中Y是某个随机变量。尤其是弱收敛(5.3)S(n),V^πnT; Pn=>S、 YZ公司.随机向量(S、Z、Y)定义在新的概率空间()Ohm,~F,~P),这可能不同于原始概率空间(Ohm, F、 P)。我们在新的概率空间上重新定义了过滤FS(由S生成的通常过滤)和集合M(S),A(·)(与之前一样,这些集合是根据FS定义的Ohm,F,▄P)。设置(注意YZ≥ 0)(5.4)V:=EPYZ | FST其中,先验V可以等于∞ 概率有限。
|