定义λ:=η(x+K)- K2ηK。如果x>η+1ηK,f′(λ)>(η+1)K- (1 - η) K级- 对于所有λ,2ηK=0∈ (0,1),这意味着λ*= 1是最大化者。如果K<x≤η+1ηK,然后λ*=λ ≤ 1是最大值。对于x≤ K、 观察thatf(λ)=(-ηKλ -λ+ (1 - η) 如果0<λ,则x+ηK'λ≤xK,0,ifxK<λ≤ 1.(D.1)如果η≤ 1/2,然后是|λ≤x个-K4ηK≤ 0。这与(D.1)一起意味着supλ∈(0,1]f(λ)无最大化子。如果η>1/2,那么对于x>1-ηηK,可以检查∈ (0,xK),这意味着λ*=(R)λ是最大值(再次感谢(D.1));对于x≤1.-ηηK,我们有'λ≤ 0和thussupλ∈(0,1)f(λ)不允许最大化子。总结这些情况,得出^τx公式。Thena¨305; ve停止定律直接遵循^τx公式。命题4.5的证明。对于b≤ K、 J(x;L)*τ(x))=所有x>0的u(x),因此Iτ=R+。这意味着对于所有x>0的x,τ(x)=1(0,b)(x)=τ(x),即τ∈ E(R+)。在剩下的证明中,我们假设x的b>K≥ b、 L*τ(x)=0,因此J(x;L*τ(x))=u(x),这意味着[b,∞) Iτ。对于0<x≤ K、 J(x;L)*τ(x))>0=u(x),因此(0,K] Cτ。对于K<x<b,引理b.1-(iii)给出了j(x;L*τ(x))- u(x)=ηxb+(1- η) xb公司(b)- K)- (十)- K) =η(b- K) b类x个-b+Kbη(b- K)x+Kbη(b- K)=η(b- K) b(x- (b)x个- b′, 式中,b′:=Kbη(b- K) >Kη。(D.2)对于b>η+1ηK,观察b′<η+1ηK.(D.3)实际上,b′/(η+1ηK)=b(η+1)(b-k) <1当且仅当0<η(b-K)-K、 这相当于b>η+1ηK。因为(D.3)特别意味着b′<b,我们从(D.2)推导出J(x;L*τ(x))- u(x)>0叉<x<b′,J(x;L*τ(x))- 对于b′<x<b和J(x;L),u(x)<0*τ(b′)- u(b′)=0。因此,我们预测Sτ=(b′,b),Cτ=(0,b′),Iτ={b′}∪ [b,∞), 这意味着对于所有x>0的x,τ:=Θτ(x)=1(0,b′)(x)。通过上述(D.2)的相同论证,我们得到了[b′,∞) Iτ,(0,K] Cτ,当K<x<b′,J(x;L*τ(x))- u(x)=η(b′- K) (b′)(x- b′)x个- b′\', b′时:=Kb′η(b′)- K) 。As(D.3)yieldsKη(b′)-K) >1,我们有b′>b′。