|
如果没有路径依赖,则(2.41)-(2.44)中的系统将减少到Bj¨orket al.(2017)中的系统。我们对定义2.12中出现在扩展PHJB系统中的泛函施加正则性条件(假设2.14)。这一条件验证了所有衍生工具都得到了很好的定义,尽管它不是最温和的条件。实际上,我们要求泛函上有空间导数Ohm 而不仅仅是在∧(^u,t)上。假设2.14。对于常规情况,(1)。五、 f、G g、 g级∈ C1,2+(λ);(2). 对于任何固定的s和y、fs、y∈ C1,2+(λ);(3). 对于任何固定的r∈ [0,T],cr∈ C1,2+([0,r]×Ohm); 和(4)。对于任何固定的s、y和r∈ [0,T],cs,y,r∈ C1,2+([0,r]×Ohm).对于单数情况,让α∈ (0, 1).(1). 五、 f、G g、 g级∈ C1,2+,α(λ)。(2). 对于任何固定的s和y、fs、y∈ C1,2+,α(λ);(3). 对于任何固定的r∈ [0,T],cr∈ C1,2+,α([0,r]×Ohm); 和(4)。对于任何固定的s、y和任何固定的r∈ [0,T],cs,y,r∈ C1,2+,α([0,r]×Ohm).此外,β,α+H-> 0,其中,对于特殊情况,常数H在定义2.6(2)中定义。我们经常遇到要求为真鞅的随机积分。引理2.15对于相关的调整非常有用。为了便于记法,我们表示hωf,σt,ui·W,R·thωf(r,XurΘr,u),σr,uidwr供以后使用。引理2.15。假设u是可容许的。设f为一般泛函,f∈ C1,2+(λ)表示正则情况或f∈ C1,2+,α(λ),对于奇异情况,β,α+H- 1/2 > 0. 然后,EhZTth类ωf(r,XurΘr,u),σr,ui博士Fti<∞, (2.45),这意味着hωf,σt,ui·W是真鞅。我们现在可以提供验证定理,这是本文的主要结果之一。这与Bj¨ork等人(2017,定理5.2)的精神相同,但引用了引理2.10和2.15以及Viens和Zhang(2019)中的函数I t^o公式。
|