|
我们记得Sis是由Pσ的所有子集生成的σ-代数。设∧是有界变差(Pσ,S)上所有σ-加性符号测度的空间。我们将L和∧视为与双线性形式hl相关联的对偶对,对于L,λi=RPσldλ∈ L和λ∈ ∧,见Aliprantis和Border(1999年,定理13.5)。我们赋予空间L以Mackey拓扑τ(L,λ),这确保了拓扑对偶(L,τ(L,λ))是∧,并且L是桶装空间(Husain and Khaleella(1978),推论II)。二,二,。4).我们定义了一个线性和连续的歌剧t或B:(L)∞, k·kL∞) → (L,τ(L,λ))乘以(Bа)(P)*) := -EP*[H~n]用于P*∈ Pσ。B是连续的,因为对于每一个序列φn→ ~nin(L)∞, k·kL∞), 这是为什么→ B~nin(L,k·kL),其中kL:=supP*∈Pσ| l(P*)|,辛塞苏普*∈Pσ| B(|n)- ν)(P)*)| ≤ k k n- ~nkL∞U和U<+∞ (不平等(1))。因此,在较弱的拓扑τ(L,λ)中,Bаn也收敛。我们定义了函数1,0∈ 路过P*∈ Pσ:1(P*) = 1.∈ IR,0(P*) = 0∈ IR。问题(18)ismax~n∈需求量(单位:英寸),P*∈ Pσ:EP*[~nH]≤埃夫。(22)该约束(22)可以被重写为aseV1+B~n≥ 0<=> B~n∈ L+-eV1。然后,我们可以将问题(18)等效为- pi(Q)=最小值∈L∞N- 等式[~nH]+IR(~n)+IL+-eV(B~n)o.(23)让我们定义函数f(~n):=-等式[~nH]+IR(~n)和g(B~n):=IL+-eV(B k)在(23)中。我们想建立Ekeland和Temam(1976)(第三章,等式(4.18))中的f(23)对偶问题:- di(Q)=supλ∈λn- F*(B)*λ) - G*(-λ) o.(24)g isg的共轭函数*(λ) =苏佩尔∈Lnhel,λi- 伊尔+-eV(el)o=supel∈L+-eVhel,λi=supl∈L+hl-eV1,λi=supl∈L+hl,λi-eVZPσdλ=IL*+(λ) -eVλ(Pσ),其中L*+是L+的负双锥。建立ff的共轭函数*(B)*λ) =sup~n∈L∞nhB*λ、 i+EQ[H]- IR(~n)o,我们必须计算hB*λ、 νi,其中B*: Λ → ba(Ohm, F、 P)是B的邻接运算符。
|