|
假设4.8保证欧盟·, V1,φT(·)对所有人来说都很明确∈ Φ(1),并允许我们放松Carassus et al.(2015)关于U在0左右的行为的假设2.7,即EU-(·, 0) < ∞. 然后是假设。7(连同假设4.10)用于表明u(x)<∞ 对于所有x>0。注意假设4。7更容易验证经典假设u(x)<∞ (对于全部或部分x>0),这通常是在终端财富效用最大化理论中提出的。在命题6.1中,我们将证明,在假设4.7、4.8和4.10下+·, Vx,φT(·)< ∞为了所有的x≥ 0和φ∈ Φ(x)。因此Φ(U,x)=Φ(x)。请注意,如果存在一些问题∈ Φ(U,x)等于+·, Vx,φT(·)= ∞ 和欧盟-·, Vx,φT(·)< ∞ th en u(x)=∞ 问题是不适定的。我们提出了一些假设4.7或4.8成立的例子。示例ii)说明了假设4.7和4.8之间的区别,以及我们不合并假设和假设EU+·, V1,φT(·)< ∞, 无论如何∈ Φ(1).i) 如果U在上面有界,那么这两个假设在三个方面都是正确的。我们直接得到Φ(U,x)=Φ(x)对于所有x≥ 0.ii)假设欧盟-(·, 0) < ∞ 这是真的。让x≥ 0和φ∈ Φ(x)是固定的。用这个U-对于所有ω都是非递减的∈ Ohm 我们明白了-(·,Vx,φT(·))≤ 欧盟-(·, 0) < +∞,因此,EU(·,Vx,φT(·))得到了很好的定义,Φ(U,x)=Φ(x),假设4.8成立。iii)假设存在一些^x≥ 1使U(·,^x)- 1) ≥ 0p-几乎可以肯定的是andbu(^x):=supφ∈Φ(^x)EU(·,V^x,φT(·))<∞,我们出发的地方∈ Φ(^x)\\Φ(U,^x),EU(·,V^x,φT(·))=-∞. 让φ∈ Φ(1)应固定。那么使用thatU对所有ω都是非递减的∈ Ohm, 我们有P-a lm几乎确定的u(·,V1,φT(·)+^x- 1) ≥ U(·,^x)- 1) ≥ 因此U(·,V1,φT(·)+^x- 1) =U+(·,V1,φT(·)+^x- 1) P-几乎可以肯定。
|