|
现在,积分(38)U(^C)≤ V(δD)+^CδDwe发现(39)U(^C)≤ V(D)+E^C,oZ∞.δDdu≤ V(D)+ED^C,DE=U(^C)<∞.因此,上述所有估计都必须是平等的。由此可知,平等拥有P u-几乎在(38)中的所有地方,这意味着δD=U′(^C)P u-几乎无处不在,因此∞.U′(^C)du=或∞.δDdu≤oD。此外,(39)还产生ED^C,或∞.U′(^C)duE=ED^C,常微分方程,即系数∞.U′(^C)du=oD on nd^C>0o。通过外稃5。1、此标识∞.U′(^C)du作为d与(12)和(13)的包络过程。这就完成了我们的证明。引理5.3。假设假设2。1保持。这种联合关系(16)成立。此外,如果V(^D)<∞, (16)中的上确界是C的精确定义,C^d在引理5中定义了C^。1.证据。让我们首先应用外稃5。1获得^δ,Δ^D∈˙D(^D)与V(^D)=ER∞V(δ)du。看到这个“≥” 保持(16),取C∈ C与U(C)=ER∞U(C)du<∞. 在不丧失一般性的情况下,我们可以假设V(^D)<∞ 和EDC,^DE<∞.然后不等式v(δ)中的所有项≥ U(C)- C^δ是Pu-可积。积分得到V(^D)≥ U(C)-EDC,R∞.^δduE。这意味着期望的估计值R∞.δdu≤o^D.为证明“≤” 在(16)中考虑^C,-V′(δ)∈ C其中^δ为上述选择。如果V(^D)=∞, 我们考虑Cn,^C∧ N∈ {U<∞}, n=1,2,在(16)到(Cn)-EDCn,^DE=EZ∞(U(^C)∧n)-(^C)∧n) U′(^C)∧n) du=EZ∞Vn(δ)du其中Vn如(34)所示。由于VnV,它遵循单调积分↑ ∞ 上述表达式收敛于ER∞V(δ)du≥ V(^D)我们得到“≤” 在(16)中,在第V(D)种情况下=∞.对于剩下的情况∞V(δ)du<∞, 首先让我们证明u(^C)=ER∞U(^C)du<∞. 事实上,据推测。1.U的渐近弹性一致小于one,即c>cγ时cU′(c)<γU(c),其中γ∈ [0, 1).
|