|
,m} 。根据命题3.1(iv),(3.23)中的每个函数都是空间变量x的凸函数,因此[14,定理6.1]yieldsJn+1m1≤ 冀Xj6=iλijλij(n)j≤ Jn+11。因为我是任意的,我们也有jn+1σm1≤ J(n+1)1≤ Jn+1σ1。(3.24)备注3.8。如果我们选择常数函数eh而不是1来应用运算符J(n)ito,那么,遵循与上面相同的策略,{J(n)iehT}n≥0是一个递减的函数序列,极限J(n)iehTvipointwise为n∞.设Bb([0,T]×(l,h);R) 表示从[0,T]×(l,h)到随机定义运算符J:Bb([0,T]×(l,h)的有界函数集;R) m级→ Bb([0,T]×(l,h);R) mbyJffm公司:=J(Pj6=1λ1jλfj)。。。Jm(Pj6=mλmjλmfj).提案3.9。(i) 让f∈ Bb([0,T]×(l,h);R) m.Thenlimn→∞Jnf=v虚拟机.(ii)向量(v,…,vm)trof值函数是运算符▄J的固定点,即▄Jv虚拟机=v虚拟机. (3.25)证明。(i) O注意到命题3.7第(iii)部分证明中的论点也表明J(n)ig→ 过孔n→ ∞ 对于任何有界g,因此要完成证明,就不需要回忆命题3.5中的关系(3.13)。(ii)让我∈ {1,…,m}。根据命题3.5,J(n+1)i1=JiXj6=iλijλij(n)j. (3.26)根据提案3.7(iii),对于每个j∈ {1,…,m},序列J(n)j1vjasn∞, 所以,让n∞ 在(3.26)中,单调收敛定理告诉usthatvi=JiXj6=iλijλivj. (3.27)4价值函数和停止策略在本节中,我们证明了价值函数v具有吸引人的结构属性,并确定了清算问题的最优策略(2.7)。边界下的首次通过时间是时间和波动性的递增函数,被证明是最优的。
|