|
定义a:Cb(Ohm) ×Cb(Ohm) ×Cb(Ohm) ×Cb(λ;R×Rd×Sd)→ R bya(ψ,’Д,Д,p,q,R):=ZOhm^1dρ,如果Д≤ 和p+H*(q,r)≤ ,+∞, 否则其凸共轭a*: M级(Ohm) ×M(Ohm) ×M(Ohm) ×M(λ;R×Rd×Sd)→ R由A给出*(ξ, ρ, u, ν, ν, ~ν) :=ZOhm du+Z∧Hd?νdν,d?νdν+ dν,if(ξ,ρ,u,ν,ν,ν,ν)∈ A、+∞, 否则式中:={(ξ,ρ,u,ν,ν,ν,ν)∈ M级(Ohm) ×M(Ohm) ×M(Ohm) ×M(∧;R×Rd×Sd):ξ=0,ρ=ρ,u≥ 0, ν ≥ 0, (ν, ~ν) ν}.证据在整个证明过程中,我们将使用CBI在L中稠密这一事实。让我们确定以下情况:*< +∞. 利用凸共轭的定义,我们有一个*(ξ,ρ,u,ν,’ν,’ν)=sup(ψ,’ν,ν,p,q,r)Д≤,p+H*(q,r)≤ZOhm(ψdξ+Дdu)+ZOhm^1d(ρ- ρ) +Z∧(p dν+q·d'ν+r:d'ν)。如果a*< +∞, 然后ξ=0,ρ=ρ,u≥ 0和ν≥ 0、了解为什么可以限制为u≥ 0,假设某个可测集合E的u(E)<0 Ohm. 然后存在一系列非正函数∈ Cb公司(Ohm) 汇聚到-1(E)英寸L(Ohm, u). 通过缩放Иnarbitrarilyan并将其添加到Д,函数a*变得无界。类似的论证表明ν≥ 所以我们的函数减少了toa*(ξ,ρ,u,ν,’ν,¢ν)=ZOhm du+supp+H*(q,r)≤Z∧p dν+q·d'ν+r:dν。其次,由于函数在(p,q,r)中是线性的,如果a*是有限的,那么上确界必须占据边界*(ξ,ρ,u,ν,’ν,¢ν)=ZOhm du+supp+H*(q,r)=Z∧p dν+q·d'ν+r:d'ν=ZOhm du+Z∧ dν+sup(q,r)Z∧q·d′ν+r:d- H*(q,r)dν。我们声称,有必要有((R)ν,¢ν) ν. 假设存在一个可测集E,使得(|ν,|ν)(E)6=0,但ν(E)=0。再次让我们构造一个Cb(λ)中的连续函数序列,收敛到L(λ)中的1(E),并将它的倍数(取决于ν(E)的符号)加到(q,r),这将允许*任意增长任意增长。
|