|
(i) 我们强调了定理3.6中的对偶表示与标准Fenchel-Moreau表示之间的联系;另见Farkas等人【16】中的备注17。要查看它,请注意地图-σS-1(A)(-·) + δC(-·) 是凸的且下半连续的,如果ρ是适当的且σ(X,X′)-下半连续的,则满足ρ(X)=supZ∈X′{E[hX,Zi]+σS-1(A)(-Z)- δC(-Z) }对于每个X∈ X根据定理3.6。根据Fenchel-Moreau定理,对于每个Z∈ X′ρ*(Z) =-σS-1(A)(-Z) +δC(-Z) =(supX∈S-1(A)E[hX,Zi]如果Z∈ -C∞ 否则(ii)C中的对偶元素可以自然地与(Ohm, F) 与P绝对连续,或者,如果它们具有严格的正分量,则与P相等。这允许根据概率度量重新表述上述对偶表示。更具体地说,分别用Q(P)和Qe(P)表示概率测度s的所有d维向量集(Ohm, F) 这是绝对连续的,从re spect到P,分别相当于P。Forevery Q=(Q,…,Qd)∈ Q(P)和每X∈ X我们设置了QDP:=dQidP,dQddP, 等式[X]:=E十、 dQdP=dXi=1EQi[Xi]。此外,对于每个Q∈ Q(P)我们定义σ(Q):=σS-1(A)dQdP= infX公司∈S-1(A)等式【X】。如果ρ正确且σ(X,X′)-下半连续,则对于每个X∈ 我们可以写ρ(X)=supQ∈Q(P),dQdP∈X′{σ(Q)- 等式【X】}。在上述上确界中,我们可以用Qe(P)代替Q(P),前提是bar(S-1(A))∩ C∩ X′++6=.条件栏-1(A))∩ C∩ X′++6= 必须能够将上述对偶表示中的域限制为严格正的对偶元素。在凸分析术语中,这个条件要求凸集-1(A)允许一个属于特殊集合C的严格正支撑泛函。
|