|
使用类似于案例A第二部分的论证,我们发现G′(x)≤ k、 o如上所述,我们发现G(x)≥ 通常的论点现在暗示(II)在b=br的情况下也成立。案例C:我们需要证明(I.b)。如果G′(0)≤ 在这种情况下,k也成立,然后结果由与情况B完全相同的参数跟随。因此,足以表明G′(0)≤k代表b≥^b当(2.4)保持时。在(3.5)中,我们将函数h定义为,h(b)=r- rrerb公司- rerb=G′(0)。因此,当b=^b时,通过(3.12)中^b的定义,G′(0)=k。因此,为了证明G′(0)≤ k代表a ny b≥^b足以表明,对于b,h(b)在b中不增加≥^b.但当b≥ b*, 正如我们在引理3.2的证明中所看到的。因此,足以证明^b≥ b*. (2.4)的右侧等于h(b*), 参见(3.4)。利用(3.12)中^b的定义和引理3.5来找到k≤ h(b*), k=h(^b),k≤ h(b**).但是因为h在b处是最大的*, 参见Lemm a 3.2的证明,followsk=h(^b)≤ h(b**) ≤ h(b*). (4.5)但自^b∈ [b]**, ∞) 根据定义,唯一的可能性是^b≥ b*; 要查看此内容,请使用b**≤ b*(引理3.5),(4.5),当b≤ b*b时不增加≥ b*.
|