|
(最优解的存在性)根据[14,命题5.4]中类似的论点,我们可以证明(2.7)中定义的ψ在B上是凸的,这是由于mTandφ的凸性和状态方程(2.8)的线性。因为)ψ(y,α,β)>xy>-∞ 对于所有(y,α,β)∈ 频带)ψ(0,0,0)=Ehc2ai<∞, 此外,通过φ和Fatou引理的非负性和半连续性,我们得出结论,在B上^ψ是下半连续的。最后,利用它的等轴测,我们可以证明^ψ是强制的(即ψ(y,α,β)→∞ 作为k(y,α,β)k→ ∞). 因此,对偶问题解的存在性由[7,第2章,命题1.2]保证,也就是说,存在一些(^y,^α,^β)∈ B使得inf(y,α,β)∈B~ψ(y,α,β)=ψ(y,α,β)∈ R.给定对偶最优解(^y,^α,^β),我们可以应用定理9构造问题(2.5)的最优控制^π,这证明了原问题解的存在性。直接证明主要问题的解的存在性更困难,但也是可以实现的,因为需要证明在逐点控制约束下所有可复制终端财富集的封闭性,有关详细讨论,请参见[4](也可参见[5])。3.主要结果在本节中,我们推导了原问题和对偶问题的必要和有效最优性条件,并通过相应的FBSDE证明了最优解之间的联系。为了突出主要结果并简化讨论,我们在第5节中保留了所有定理的顶部。给定任意容许控制π∈ A和未知过程p中关联伴随方程SDE(2.3)的解Xπ∈ S(0,T;R)和q∈ H(0,t;RN)是以下线性BSDE(dp(t)=[-r(t)p(t)+Q(t)X(t)+S′(t)π(t)]dt+Q′(t)dW(t)p(t)=-aXπ(T)- c、 (3.1)从[16,定理6.2.1]我们知道BSDE(3.1)存在唯一解(p,q)。
|