|
自ε→ ~g(ω,t,ε)是一个非减量函数,假设5和单调收敛定理表明ZThφot、 α(t),β(t);α(t),β(t)- ^q′(t)σ-1(t)β(t)- α(t)^p(t)idt≥ 0(5.9),其中φoω、 t,α,β;α, β:= limε↓0φ(t,^α+εα,^β+εβ)- φ(t,α,β)ε。对于(α,β)∈ R×RN,d定义集合B(α,β)asB(α,β):=n(ω,t)∈ Ohm ×[0,T]:φoα(t),β(t);α, β- ^q′(t)σ-1(t)β- α^p(t)<0o。使用与定理3的证明类似的论证,我们得出结论:B(α,β)t∈ Ftfort∈ [0,T]和(P Leb)(B(α,β))=0表示所有(α,β)∈ R×RN。等价地,给定任何(α,β)∈ R×RN,φoα(t),β(t);α, β- ^q′(t)σ-1(t)β- α^p(t)≥ 0,代表(P Leb)-a.e.(ω,t)∈ Ohm ×[0,T]。此外,根据sp ace RN+1的可测性,我们得出结论φoα(t),β(t);α, β- ^q′(t)σ-1(t)β- α^p(t)≥ 0, (α, β) ∈ R×RNfor(P Leb)-a.e.(ω,t)∈ Ohm ×[0,T]。根据克拉克广义梯度[6,第2章]的定义,上述条件可以写成^p(t),[σ′]-1(t)^q(t)∈ φ^α(t),^β(t).根据[17,定理23.5],我们得出结论:x^α(t)+π′β(t)-~f(t,x,π)在(^p(t),[σ′]处达到上限-1(t)^q(t))表示(P Leb)-a.e.(ω,t)∈ Ohm ×[0,T],这意味着[σ′]-1(t)^q(t)∈ K、 对于(P Leb)-a.e.(ω,t)∈ Ohm ×[0,T]。我们已经证明了必要条件。Let(y,α,β)∈ B是对带有过程的对偶问题的一个不可容许的控制Y(Y,α,β),p,q满足FBSDE(3.6)和条件(3.7)。定义哈密顿函数H:Ohm ×[0,T]×R×RN→ R asH(ω,t,α,β)=^q′(t)σ-1(t)β+α^p(t)- φ(t,α,β)。根据条件(3.7)和对偶定理的经典结果,我们得到了(0,0)∈ H^α(t),^β(t), (5.10)对于(P Leb)-a.e.(ω,t)∈ Ohm ×[0,T]。给定任何容许控制(y,α,β)∈ B、 定义y=y- ^y,~α=α- ^α,~β = β -^β.设Y(Y,α,β)和Y(~Y,~α,~β)是满足SDE(2.8)的关联态过程。
|