,DmF),如果所有(t,X,A)都存在以下极限,并且如果它们在满足上述可测性要求的[0,t]×D([0,t],U)×CBV([0,t],V)上产生局部有界和非预期泛函,DF(t,Xt,At)=limh↓0F(t+h,Xt,At)- F(t,Xt,At)h(A.2)DkF(t,Xt,At)=limh↓0F(t,Xt,At,…,At+hk,…,Atm)- F(t,Xt,At)Ak(t+h)- Ak(t){Ak(t+h)6=Ak(t)},对于k=1,m、 非预期函数F在(t,X,A)处称为垂直可微,如果映射为Rdv→ F(t,X+v[t,t],At)在0时可微分。然后,F在(t,X,A)处的垂直导数将是该贴图在v=0时的梯度。它将表示为XF(t,X,A)=(如果(t,X,A))i=1,。。。,d、 (A.3)其中如果(t,X,A)是ITH垂直偏导数,如果(t,X,A)=limh→0F(t,X+hei[t,t],A)- F(t,X,A)h。如果函数F允许水平和垂直导数D F和XF,我们可以迭代相应的操作,以确定高阶水平和垂直导数。我们用C1,2b(U,V)表示所有非预期泛函F在[0,T]×D([0,T],U)×CBV([0,T],V)上的集合,这样F是左连续的,水平可微的,两次垂直可微的;水平导数D F在固定时间连续;垂直导数XF和XF是保持左连续有界的。用C1,2c(U,V)表示所有泛函F的类∈ C1,2b(U,V)在X上连续,在t上局部一致且有界保持。C1,2b(U,V)中的泛函满足以下路径It^o公式,该公式取自[27],并略微扩展了[7,3]中的定理。定理A.1。让我们确定路径x∈ 具有连续二次变化的C([0,T],U),路径a∈CBV([0,T],V)和函数F∈ C1,2b(U,V)。