|
那么,对于任何τ∈ T(X),τ*(2.15)中的定义属于E(X)。因此,E(X)={τ*∈ T(X):τ*= 画→∞Θnτ,对于某些τ∈ T(X)}=[τ∈T(X){limn→∞Θnτ}。(3.4)证明。根据命题3.1,τ*∈ T(X)定义良好,ker(τ*) =序号∈Nker(Θnτ)。As ker(τ*) Iτ*(再次根据命题3.1),Θτ*(x) =τ*(x) 对于所有x∈ ker(τ*). 对于x/∈ ker(τ*), 我们有/∈ 对于所有n,ker(Θnτ),即Θnτ(x)=1∈ N、 鉴于(2.10),这给出了J(x;L*Θn-1τ(x))≥这是由a和b上的适当条件保证的。具体地说,a(·)>0和| b(·)|/a(·)的局部可积性意味着弱解X在定律中的存在和唯一性。另一方面,当er X达到X的有界ariesof X时,完全由Feller的爆炸测试表征。我们参考第5.5节。B、 5.5。Karatzas和Shreve(1991)的C进行了详细的阐述。所有n的u(x)∈ N、 根据(2.12),这可以写成J(x;Txker(ΘN-1τ)) ≥ 所有n的u(x)∈ N、 由于提案3.1,{ker(ΘN-1τ)}n∈Nis是Borel集和ker(τ)的一个非减量序列*) =序号∈Nker(Θn-1τ). 然后根据假设2.1(ii)得出thatJ(x;Txker(τ*)) ≥ lim信息→∞J(x;Txker(n-1τ)) ≥ u(x)。这意味着x∈ Cτ*∪ Iτ*. 如果x∈ Iτ*, 然后Θτ*(x) =τ*(x) ;如果x∈ Cτ*, 然后Θτ*(x) =1=τ*(x) ,澳大利亚证券交易所/∈ ker(τ*). 因此,我们得出结论,Θτ*(x) =τ*(x) 对于所有x∈ 十、 即τ*∈ E(X)。对于(3.4)中的第一个等式” 这种关系是上述结果的直接结果。请注意“” 关系也是正确的,因为对于每个τ*∈ E(X),可以简单地取τ∈ 右侧的T(X)为τ*它本身(3.4)中的最后一组只是第二组的重新表述。该定理表明,在其假设下,通过定点迭代可以找到每个平衡点。此外,它还规定了一种判断给定停止定律是否非平衡的方法。
|