|
通过部件集成,我们为每个xP r0、1s和每个p媫p C ` pxqzTzx^gγpxqgγpxqBp媫Bxpt、xq'p媫pt、xq'fpxqdx'K^T、x^γφptqgγpxqBp媫Bxpt、xq'γfpxqdx˙dt“zTzx^gγpxqgγpxqfpxq\'F pxq\'1˙Bp媫Bxpt,xqdx\'K^T,x^γφptqgγpxqBp媫Bxpt,xqγfpxqdx˙dt ` pF pxq'1qzTpèpt,xqdt。因此,我们最终会遇到最大化问题RUP“supxPr0,1supp媫PC\'pxqzTzx\'gγpxqfpxq\'gγpxqF pxq\'gγpxqgγpxqBp媫Bxpt,xqdx\'K^T,xqdx^γφptqgγpxqBpzBxpt,xq媫γpxqdx˙dt ` pF pxq'1qH。(5.2)我们现在可以陈述本节的主要结果,提供放松问题的解决方案和条件,然后我们可以恢复原始问题的解决方案。为了便于演示,我们引入了以下函数\'pxq:“zx ”gγpxqfpxq\'gγpxqF pxq\'gγpxq‰`fγpxq,1'γdx,xP r0,1s。定理5.2。假设4.3和5.1保持不变。我们得到了(5.1)中的最大值,对于mapsp媫pt,xq“p媫pt,x,x媫q'xx'gγpyqγ'φptqγ”gγpyqfpyq'gγpyqF pyq'gγpyq‰`fpyqBKBcpt,Apt,xèqqγ1'γdy,x p r0,1s,其中Apt,xq定义为Apt,xq:“x^γφptqgγpxqBp媫Bxpt,xq˙γfpxqdx.和x媫是mapr0、1s Q xThzT^BKBcpt、Apt、xqqmpt、xqp˙dt ` pF pxq'1qH的任何最大化器,带mpt、xq:“φ1'γptq ` pxqγBKBcpt、Apt、xqq'1'”γ,pt,xq P r0,T s^r0,1s和T'Y'YИP媫pt,x媫Q是任何映射,使得zTp媫pt,x媫qdt“H”。例如,可以选择P媫pt,x媫Q:“H{T,T P r0,T s.piiq为任何pt定义P,cq P r0,T s^R ` byppt,cq“supxPr0,1s”gγpxqφptqcγ'P媫pt,xq*。如果在r0上定义的map,1s byxTh'Y~ngγpxq'gγpxfqfpxq'gγpxq'fpxq'γ1'γ为非递减,则P媫是u'凸的,P是问题的最佳塔系数(4.3)。
|