|
尽管通常两个凸函数可以在可数个点处相交,但给定H的特定形式,它最多可以在三个点处与递增凸函数相交,如图9所示。因此我们推断,对于一些0dadadad1,X媫pp媫q具有以下形式X媫pp媫q“ra,作为Y ra,1s。我们定义setA:“pa,b,cq P r0,1s,adbdc(.在证明拉格朗日乘数utin定理6.10等于零后,问题出现了,滥用符号轻微suppa,a,aqPAzT>>–φptq1'γ'pa,a,aqγ'BKBcpt,Apt,a,a,aqqγ1'γ'K'T,φptq1'γ'pa,a,aq'BKBcpt,Apt,a,a,aq'1'γ'BKBcpt'θpa,a aq,aaaxhP媫pxqHpxq(a)案例a“0。aaaxhHpxqP媫pxq(b)案例aa0。图9:“恒定线性”的X媫pp媫qH.其中,对于任何pt、a、a、aq P r0、T s^a\'pa、a,aq:“zaa^rgγpxqfpxq'gγpxqF pxqs'fγpxq'1'γdx'a'rgγpxqfpxq'gγpxqF pxq'1qs'fγpxq'1'γdx,θpa,a,aq:“f paqHpaq'f paqHpaq'pF paq'1qHpaq,Apt,a,aq:“gp 1qK^φptq1'γp380; aa'”;rgγpxqfpxq ` gγpxqF pxqs ` fγpxq˙1'γdx'φptq1'γza^“gγpxqfpxq'gγpxqF pxq'gγpxq'fγpxq'1'γdx'。由于所有映射都是连续的,因此前面的问题有一个解决方案pa媫,a媫,a媫q,它提供了最佳的tari fff。再次选择Kpt,cq“KPTQCN,f pxq”1,gpxq“x”,在γP p0,1q的情况下,函数'和a将由'pa,a,aq给出“1'γ2p2'γq'p2aq2'γ1'γ'p2aq2'γ1'γ'1'r2a'1s'2'γ1'γ,Apt,a,a,aq“φptqkptq˙n'γ'pa,a,aq1'γn'γ。可以证明,aěaè,adxhso对pa,a,aq P的优化是对集dH”r0,xhs^rxh,1s^rmaxt,xhu,1s的优化。然后,与定理6.16和6.18中的计算类似,给出Pèpt,xq“$\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'\'%p媫pt,xq,如果x p ra媫,a媫s,Hpa媫qT\'Nγpa媫q1'x'1'”γ''''''''''1'γ',如果x p pa媫,1s,其中常数u为p媫pt,a媫q“Hpa媫qT。
|