|
根据双目标(4)hpy的定义,zq“infxPLppFT,Rdqlpx,y,zq。如果yR\'ATpxq`,这是Rd。如果yP\'ATpxq`infxPLppFT,Rdqlpx,y,zq”infxPLppFT,Rdqtz P Rd | |ΔP\'ATpxqq`py q`z每upxq`ypqq`ypzqu\'cld“cl tz | infxPLppFT,RdqzpEr`Upxqsq`ypxqdzpzqu.上述表达式中的最大值是一个凸函数和的芬切尔共轭。由于一个真凸函数的芬切尔共轭是正确的,并且是下半连续的[13,定理11.1],因此我们可以从表达式中去掉闭包。因此,“tz | infxPLppFT,RdqzpEr `Upxqsq`ypxqdzpzquand结果已被证明。定理的最后部分,我们用凹共轭形式重新表述对偶目标,如下所示,因为infxPLppFT,RdqzpEr `upxqq`ypxq”infxPLppFT,RdqErxz,upxqys`ypxqqinfxPLppFT,rdqerz,rdquxqypxqypxqypxi“infxPLppFT,Rdq"yωPOhmPrωs"yd"yi“1\'ziuipxipωqq`yipωqxipωq,利用总和上的可分离性给出了"yωPOhmPrωsd"yi“1infxipωqPR\'ziuipxipωqq`yipωqxipωq,”E<<d"yi“1infxiPLppF,Rqyipxiqziuipxiq ff,从中可以立即得到结果。更多细节可以在下一节中找到,在下一节中,我们用一个例子问题forcontext来更慢地执行这个计算的细节。在集值芬切尔共轭的语言中,我们有以下简单的推论。推论5.5.对偶问题的目标函数是py,zq”“`Fp `y,zq,如果yp `ATpxq`RDOthers.(9)其中F是F.证明的芬切尔共轭。我们计算F.证明的芬切尔共轭。
|