|
自始至终,我们确定了一个参考概率度量∈ P(X)。对于i=1。。。,d、 我们用ui表示:=uo公共关系-1u的第i个边缘∈ P(X),其中pri:X→xi是投影pri(x):=xi。进一步,让κ:X→ [1, ∞) 是形式为κ(x,…,xd)的生长函数=Pdi=1κi(xi),其中每个κi:xi→ [1, ∞) 连续且满足esRXiκid?ui<∞. 我们进一步假设如下之一:要么κ有紧子级集,要么Xi=rdi,对于所有i=1。。。,d、 用Cκ(X)和Uκ(X)分别表示所有连续上半连续函数f:X的空间→ 使得f/κ是有界的。重新调用Cb(X)表示X上所有连续和有界函数的集合。下面我们定义一个连续函数c:X×X→ [0, ∞) 对于所有x,c(x,x)=0∈ 十、 关于成本函数c,P(X)中u与u之间的运输成本定义为DC(u,u):=infπ∈π((R)u,u)ZX×Xc(x,y)π(dx,dy),(8),其中∏((R)u,…,ud)表示所有u的集合∈ P(X)使得ui=(R)ui对于所有i=1,d、 π(u,…,ud)中的元素称为边缘u,ud.虽然以下结果中凸共轭的计算依赖于Bartl、Drapeau和Tangpi(2019),但我们不需要它们在成本函数C上的增长条件。我们不需要这个条件的主要原因是,函数(9)上方的连续性(对应于所考虑的一组度量的紧密性)已经由施加的边际约束获得。定理1。对于每个凸函数和下半连续函数Д:[0,∞] → [0, ∞] 因此,Д(0)=0和Д(∞) = ∞, 和所有f∈ Uκ(X),它保持maxu∈∏(°u,…,±ud)nZXf du- |(dc(|u,u))o(9)=infλ≥0,您好∈Cκi(Xi)nИ*(λ) +dXi=1ZXihid?ui+ZXsupy∈Xhf(y)-dXi=1hi(yi)- λc(x,y)i?u(dx)o,其中*表示Д的凸共轭,即Д*(λ) =supx≥0{λx- ^1(x)}。证据
|