|
对于d,J∈ N和β≥ 0,我们定义了以下三个banach空间:(1)L∞= L∞(Rd、RJ)或L∞= L∞(Rd;RJ×d),取决于上下文,(2)W1,∞= W1,∞(Rd;RJ),标准值为| | U | | W1,∞= ||U | | L∞+ ||DU | | L∞.(3) Lβ=Lβ([0,T);W1,∞) - 可测函数u:[0,T]的Banach空间→ W1,∞, 赋予指数加权范数| | u | | Lβ=中兴通讯-β(T-t) | | u(t,·)| | W1,∞dt。状态过程ξ的最小发电机由au(t,x)=Du(t,x)∧(t,x)+Tr给出Du(t,x)∑(t,x)∑t(t,x)对于(t,x)∈ [0,T]×Rd.提案4.1。假设g:Rd→ RJ和F:[0,T]×R1×d×RJ×RJ×d→rj是可测量的函数,因此o| g(x)|≤ M,o| F(t,x,0,0)|≤ M、 和o| F(t,x,y,z)- F(t,x,y,z)|≤ M(| y- y |+| z- z |),对于一些M和所有t,x,y,y,z,z,函数∧和∑满足假设2.1的条件(常数K)。然后,下面的陈述应该是:(1)PDE系统UT+Au+F(·,·,u,Du)=0,u(T,·)=g(4.1)允许在[0,T]上存在弱解u。此外,u(t,·)∈ W1,∞对于所有t∈ 存在一个常数C=C(J,d,M,T,K)∈ [0, ∞) 使得| | u(t,·)| | L∞≤ C代表所有t∈ [0,T]和zt | | Du(T,·)| | L∞dt公司≤ C(2)设u表示(4.1)的解,如上述(1)所示,设{ξt}t∈[0,T]是SDEdξT=∧(T,ξT)dt+∑(T,ξT)dBt的近似解。平衡14中的随机年金对(Yt,Zt),其中Yt=u(t,ξt),Zt=Du(t,ξt)∑(t,ξt)是∞×bmo系统解决方案DYIT=-金融机构t、 ξt,Yt,Zt∑-1(t,ξt)dt+ZitdBt,YiT=gi(ξT),i=1,I(4.2)证明。在整个证明过程中,C将表示一个常数,该常数可能取决于J、d、M、T或K,但不取决于β、T、s或x,并且可以从一行到另一行变化;我们将这种常数称为宇宙常数。关于F的假设意味着t一致int,对于所有U,V∈ W1,∞, 我们有| | F(t,·,U,DU)- F(t,·,V,DV)| L∞≤ C | | U- V | | W1,∞, 和(4.3)| F(t,·,U,DU)| L∞≤ C(1+| | U | | W1,∞).
|