|
因此,为了将来的参考,我们在这里总结如下:对于满足(2.3)的任何M和U,limT→∞e[U(~xtt)I{~xtt<M}]e[(~xtt)p/p]=0。仔细检查(4.17)表明U不需要凹来保证上述收敛性。与0<p<1的情况类似,命题4.2的证明(因此我们的结果)现在如下进行。对于效用U,XTT的最优性是:[U(~XTT)]≤e[U(XTT)]<0,因此对于任何T>0,则[U(XTT)]e[U(~XTT)]≤1。因此,命题4.2表明lim infT→∞e[U(XTT)]e[U(~XTT)]≥1。由于引理4.5,它可以得到结论infT→∞e[U(XTT)]e[(~XTT)p/p]≥1,这将在续集中建立。下面的辅助结果是引理4.4的类似结果:引理4.7假设假设2.1和2.2对p<0成立。然后,即使假设(2.3):1=limT→∞e[(YTT)q]1-pe[(~YTT)q]1-p=limT→∞yt~yt.证明。为了简化表示法,我们在整个证明中再次省略了XT、~XT、YT和~YT中的上标T。回到(4.11),利用20 PAOLO GUASONI,JOHANNES MUHLE-KARBE和HAO Xing方程(4.10)中的第二不等式,1≤(1+)e[Yqti{Ytyt≤δ}](yT)1/(1-p)+e[YqT](yT)1/(1-p)+e[Ytxti{Ytyt>δ},(4.18)其中q=p/(p-1)。现在,重复(4.11)之后的论点,在右边的第二项随着T→∞而消失。那么,将(4.18)的两侧提高到(1-p)-thpower,得到(4.19)1+1-p≤lim infT→∞yte[YqT]1-p≤lim infT→∞yte[~YqT]1-p,其中第二个不等式来自对偶问题~vtin(3.1)的最优性~y。另一方面,对于任何>0的修改,由(2.2)可知(4.20)limx↑∞u(x)(x+a)p-1=1。因此,对于任何>0,存在m,a>0,使得U(x)存在并且(4.21)(1-)(x+a)p-1≤U(x)≤(1+)(x+a)p-1,对于x≥m,a.XY的鞅性质,对于largeXT,ytyt=U(XT)的序条件ytyt=U(XT),以及(4.21)中的不等式依次产生1=e[XTYT]=e^xtyti{XT<m,a}-ayte^U(XT)I{XT≥m,a}+yte^U(XT)(XT+a)I{XT≥m,a}≥e^xtyti{XT<m,a}-ae^yti{XT≥m,a}+(1-)yte^(XT+a)pI{XT≥m,a}。到(3.7),当T→∞时,右边的两项为零。因此,1-≥lim supT→∞yte[(xt+a)pI{xt≥m,a}]≥lim supT→∞yte[(xt+a)p]-lim supT→∞yte[(xt+a)pI{xt<m,a}]。(4.22)让我们估计下面右边的第二项。为此,p<0和xt≥0意味着tyte[(xt+a)pI{xt<m,a}]≤apyte[i{xt<m,a}]≤apyteytytδmi{xt<m,a}=apδme[yti{xt<m,a}]→0,作为T→∞,(4.23),其中最后一步再次是(3.7)的结果。这里,δ是一个正常数,ytyt≥δmon{xt<m,a}。这种附子存在的原因如下。注意xt∈-V(yTYT),并且在长期投资中,每个因素x都会影响投资组合和弱激励21-V(y)支配-V+(y),其中V+(y)是V在y处的右导数。当y接近零时,V(y)是严格凸的,-V+是严格递减的。与-V+(0)=∞一起,这意味着存在δm>0,使得-v+(y)≥m,afory<δm,反过来ytyt≥δmon{xt<m,a}。鉴于(4.23),随着视界的增长,(4.22)右边的第二项消失,因此1-≥lim supT→∞yte[(xt+a)p]。现在注意,对于任意y∈y,Eh(xt+a)ytae[yt]+1i≤1,因此引理3.8表示(4.24)pe[(xt+a)p]≤pe[yqt]1-p(Ae[yt]+1)-p,对于q=pp-1。考虑到limT→∞e[yt]=0和p<0,前面的两个不等式意味着(4.25)1-≥lim supT→∞yte[(xt+a)p]≥lim supT→∞yte[(xt+a)p]≥lim supT=0。t→∞yte[yqt]1-p,对于任意y∈y,尤其对于ytand~yt成立。将这个不等式与(4.19)结合起来,并回顾任意选择的不等式,它得到1=limT→∞yte[YqT]1-p=limT→∞yte[~YqT]1-p。与E[~YqT]1-p=E[~xpt]=~yt(参见引理3.8),这产生了断言。我们现在准备完成命题4.2的证明,以及在p<0的情况下定理2.4的证明。对于p<0的命题4.2的证明。正如引理4.7前所讨论的,它证明了(4.26)lim infT→∞e[u(XT)]e[~xpt/p]≥1。Fix a>0。
|