|
(A.4)类似地,对于t≥ k/z*i(^l) (此处,· 表示天花板功能),让zt-ZT提供的ibe-i(l):=(z*i(l)-k^lτt,对于1≤ l≤^l,z*i(l),对于^l<l≤ k、 我们观察到zt-我∈ Zi((R)Zi- τt),对于所有t≥ k/z*i(^l), 我们有Vavgi(\'zi)- Vavgi((R)zi- τt)-kτt^l^lXl=1hi(l)v′i(z*i(l))≤kXl=1hi(l)vi(z*i(l))-kXl=1hi(l)vi(zt-i(l))-kτt^l^lXl=1hi(l)v′i(z*i(l))=^lXl=1hi(l)六(z*i(l))- 六(z*i(l)- kτt/^l)-kτt^lv′i(z*i(l)).这意味着,dd'ziVavgi('zi-) ≤ lim支持→∞Vavgi((R)zi)- Vavgi((R)zi- τt)τt≤ γ*. (A.5)从(A.3)、(A.4)和(A.5)中,我们有“ziVavgi”(“zi-) =dd'ziVavgi('zi+)=γ*. (A.6)这确定了功能Vavgi((R)zi)是不同的,并完成了预防。引理5.2的证明。考虑函数“wi:[0,1]→ [0,1],由wi(pi):=(w)给出*0的i(pi)≤ pi<π,w*i(+pi)+(pi- pi)1-w*i(▄pi)1-pifor▄pi≤ 圆周率≤ 1、自w起*[0,1]上的iis凹面,可以验证函数“Wii”也在[0,1]上凹面。自w起*我知道wi,我们有w*i(π)≥ wi(▄pi)。由于函数wi(pi)在区间[~pi,1]上是凸的,我们有wi(pi)≤ ?wi(pi),forpi∈ [pi,1]。然而,由于w*I是支配wi的最小凹函数,我们得到wi=w*i、 因此,w*iis在区间内呈线性【~pi,1】,因此p*我≤ pi。假设π=1。那么wi(·)是单位区间[0,1]上的凹函数,因此w*i(pi)=wi(pi),对于pi∈ [0, 1] [0,p*i] 。此外,如果p*i<1,则wi(pi)在[p]上是线性的*i、 1]和不等式(5.1)holds,事实上,具有等式。这就完成了引理5.2的证明,如果▄pi=1。对于其余的证明,我们假设π<1。定义gi:[0,1)→ R+asgi(pi):=1- wi(pi)1- 圆周率。现在,我们提供函数w的另一个特征*I和p点*i、 Let^pi∈ [0,1]由^pi给出:=min arg minpi∈[0,π]{g(π)}。函数gi(pi)在紧区间[0,~pi]上的连续性保证了^pi的存在。设^ai:=gi(^pi)。
|