|
很明显,如果g在速度1时增加,则Д在速度1时减少。我们在这里展示的是,如果g在小于1的速度下增加,那么Д在大于1的速度下减少。由于y>0,集合{u,g(u)≥ y} 是非空的,所以我们可以考虑u+=inf{u,g(u)≥ y} 。因为g(0)=0≤ x我们还可以定义-= sup{u≤ u+,g(u)≤ x} 。由于(31),函数g不能向上跳,因此g(u-) = x和g(u+)=y。通过u的构造-和u+,我们有:[u-, u+) {u,g(u)∈ (33)自τu起-,u+g≤ 1、我们有:u+- u-≥ g(u+)- g(u-) = y- x、 (34)我们现在可以得到(32):τx,yν=u({u,g(u))≥ y} )- u({u,g(u))≥ x} )y- x=-u({u,g(u))∈ (x,y)})y- x个≤ -u([u-, u+)y- x个≤ -1、3号线使用(33),4号线是(34)的结果。步骤3:将g的力矩表示为φ力矩的函数。回想一下thatZg=ZZg=2Zy(y)dy.(35)的确,Zg(y)dy=ZZI0≤s≤g(y)ds dy=Zuu、 g(u)≥ sds=Zuu、 g(u)≥√sds=2ZyИ(y)dy,使用变量y的变化=√s、 (35)中的另一个等式也得到了类似的证明。步骤4:转化为关于转换的功能最大化问题。使用前面的讨论,supC∈CKZ(v- X(v))dv≤ 2个辅助单元∈Φ≤KZyИ(y)dy≤ 2个辅助单元∈ΦKZyИ(y)dy(36),其中Φ≤Kis可测函数集φ : [0, 1] → [0,1],supx,yτx,yД≤ -1,RИ(y)dy≤ K和ΦK={Д∈ Φ≤K、 RИ=K}。显然,在(36)中,第1行的右侧等于第2行的项。定义ДK(z)=最大值√2公里- z、 0或0的0≤ z≤ 1、请注意∈ ΦK.如果Д∈ ΦK,Д(0)≥ ^1K(0)。否则,使用τ0,yν≤ -1,^1(y)≤ φ(0) - y<ДK(0)- y≤ ^1K(y)。因此,RД(y)dy将严格小于K=RφK(y)dy = φ - ^1K:我们证明了这一点(0) > 0. 此外,根据结构,R(y) dy=0。定义=inf{y,(y)≤ 0}.因为τy,yν≤ -1、我们有(y)≤ y>yand为0(y)≥ y<y时为0。
|