|
(4.33)通过类似的分析,我们可以得出:ZtV(u)X*τnu-+ V(u)+SuV(u)+ηu杜!≤ 总工程师Zt|V(u)|+| Su|du+Zt | X*τnu|du.(4.34)因此,可以从(4.32)和K thatEh|X的有界性中看出*τnt|i≤ 总工程师1+| | V | T+| S | T+| b | T+Zt | X*τnu|du(4.35)因此,通过Gronwall引理T∈ [0,T],呃| X*τnt|i≤ 总工程师1+| | V | T+| S | T+| b | TeCT<∞ . (4.36)超过极限n→ ∞, 我们看到了| X*每t | i<C∈ [0,T]具有一些正常数C。利用BDG不等式和上述估计,我们从(4.30)thatEh | | X中得到*||钛≤ 总工程师1+| | V | T+| S | T+| b | T+ZT | X*u|du< ∞ . (4.37)推论4.1。在假设A和B下,候选解(π*, δ*) 由(4.8)和(4.9)给出的定义明确、独特且令人满意(π*, δ*) ∈ S(t,t)×S(t,t) 最后,我们得出了论文的第一个主要结果。定理4.1。在假设A和B下,候选解(π*, δ*) (4.8)和(4.9)实际上是(3.12)给出的做市商问题的唯一最优解。证据必须确认命题4.1的最优性原则确实令人满意。首先,我们必须看到oZstZ(u,Xπ)*,δ*u(t,x))dWus∈[t,t]oZstV(u,Xπ)*,δ*U-(t,x)+δ*u)- V(u,Xπ)*,δ*U-(t,x))德湖s∈[t,t]oZstZK公司V(u,Xπ)*,δ*U-(t,x)+z)- V(u,Xπ)*,δ*U-(t,x))恩(杜,dz)s∈[t,t]都是真F-鞅。为了简单起见,让我们把t=0和X*s=Xπ*,δ*s(0,x)。根据BDG不等式,命题4.2,命题4.3和命题4.4,存在一个正常数C,例如“sups”∈[0,T]ZsZ(u,X)*u) dWu#≤ 总工程师ZT | Z(s,X)*s) |ds≤ 总工程师ZT | Z(s)| X*s|ds+ZT | Z(s)| X*s|ds+ZT | Z(s)| ds≤ 总工程师1+| | X*||T+ZT|Z(s)|+|Z(s)|+|Z(s)|ds< ∞ (4.38)在第二个不等式中,我们使用了(a+b+c)1/2的事实≤√a+√b+√C(4.39)对于每个a、b、c≥ 0
|