|
这可以通过考虑对偶问题来避免。我们已经从第2节知道,任何一致性定律Q都必须是这样的,即过程Xi是鞅,即EQ[Xi | X,…,Xi-1] =Xi-1对于2≤ 我≤ n、 此外,XI和r的分布必须在上面描述。显然,这个问题只关心(X,…,Xn)的分布,所以我们将研究度量,而不是原始(摘要)Ohm. 设M(u,…,un)表示Rn上具有边际ui且为边际定律的度量集。M(u,…,un)不是空的当且仅当边缘ui为凸序时。Strassenin[37]已经观察到了这一结果。[5]中也概述了这一事实的证据。现在我们可以考虑对偶优化问题D:=sup{EQ[Φ(X,…,Xn)]:Q∈ M(u,…,un)}。对于任何H(φi)i,(hj)j∈ H(Φ)和Q∈ 由于Q的鞅性质和P(φi(Xi))=Eui[φi(Xi)]=EQ[H(φi)i,(hj)j],我们显然有P(H(φi)i,(hj)j)=Pni=1Eui[φi(Xi)]=EQ[φi(Xi)]。此外,等式[H(φi)i,(hj)j]≥ 等式[Φ]。由于期望值的单调性而成立。这表明≥“D总是成立的(如果对偶问题不可行,它甚至可以成立很小的问题)。如前所述,强对偶性已在[4]中得到证明,并总结在以下定理中:定理4.5。假设,unare Borel概率测度R,使得M(u,…,un)i为非空。让我们来看看→ (-∞, ∞]是一个较低的连续函数,使得Φ(x,…,xn)≤ Rn上的K·(1+| x |+···+| xn |)对于某些常数K,则不存在对偶间隙,即“P=”D。此外,对偶值“D”得到,i。e、 存在一个鞅测度Q∈ M(u,…,un),使得¨D=EQ[Φ]。最后一个断言是由于M(u,…,un)的弱紧性。双重优化程序的几何描述。
|