|
我们证明了索赔的“严格”部分。因为D(t)=δ和δ∈ (0,1)我们已经-1(ez)=zlnδ≥ 0.根据命题7,对于<来说,严格地表现出比<更大的DI,这是必要的,并且能够满足ln D(D-1(ez))在z上是严格凸的(-∞, 0]. 然而,lnd(D-1(ez))=lndzlnδ= ln D(t),其中t=zlnδ∈ [0, ∞)当z取任意值时(-∞, 0]. 因此,lnd(D)的严格凸性-1(ez))在z上(-∞, 0]等价于[0]上t中lnd(t)的严格凸性,∞). 根据命题4,在[0]上,t中Lnd(t)的严格凸性,∞) 相当于显示出严格的DI。下面将使用以下符号:o如果数据和数据呈现相同的DI首选项,我们写D~是的如果DRE呈现的DI首选项比D多,我们写D<DID;o如果DRE比D严格地提供更多的DI首选项,我们就写D做根据Prelec[19],以下推论刻画了来自同一DI类的任意两个折扣函数之间的关系。推论9([19])。对于任意两个折扣函数D和D,我们有D~仅当D(t)=D(t)c时,其中c>0是一个不依赖于t的常数。<D关系是一个偏序。事实上,“更多DI”和“严格更多DI”关系都是可传递的,这是在下面的命题中建立的。提议10。如果D<DID和D<DID,那么D<DID。如果D<D或D<D中至少有一个关系是严格的,则D做证据假设D<DID和D<DID。通过命题7,我们知道-1(ez)和ln D(D-1(ez))在z上是凸的(-∞, 0]. 定义hi=ln Difori∈ {1,2,3},我们可以等价地表示ho H-1和ho H-1.凸面(-∞, 0].为了证明及物性,有必要证明lnd(D-1(ez))在z上是凸的(-∞, 0],或相当于ho H-1是凸的(-∞, 0].设f=ho H-1和f=ho H-1.然后D-1(ez)= HH-1(z)= 啊-1.啊-1(z)= Fo f(z)=f(z)。根据这个假设,fand fare是凸函数。
|