函数u:r0,T s^PpRdq'Ynir,pt,uq'Yniup,uq在C1,2-正则性下的链规则意义下足够光滑,如果piq u相对于T是可微的,且偏导数Btu:r0,T s^PpRdq'Ynir是连续的;piiq对于所有t P r0,t s,映射uP PpRdq'Y'Yupt,uq仅为C,在[11,第4.3.2节]中定义,并满足[11,定理4.14]的假设。前面的定义允许我们考虑在[11,定理4.14]中定义的C-正则性下链式规则的时间相关函数的自然扩展。因此,对于定义4.5中足够光滑的任何函数v:r0,T s^PpRq'Ynir,C1,2-正则性下的链式规则写为dvpt,uYtq“Btvpt,uYtqdt ` EPt”Buvpt,uYtqpYtq¨dYt‰` EPtrEPt“Tr”Buvpt,uYtq ` Yt,rYtdxY,rY Yt‰EPt“Tr”ByBuvpt,uytqpytqxy Yti,其中rY是定义2.5意义上的Y的副本,必须根据定义4.2 pivq。备注4.6。请注意,获取此链的另一种方法规则是简化【11,定理4.17】中的链式规则通过考虑一个不依赖于状态进程的函数。因此,我们需要考虑以下HJB方程,写在测量间距上:0“Btvpt,uYtq``σ"^ijBuXvpt,uYtq` y,ryuYtpdyquYtpdyqzθBuLvpt,uYtqpyq` BxBuXvpt,uYtqpyquYtpdyqfqpxquYtpdyqsupvPRhYt,Buvpt,uYtq,BYTQ,BYT Buvpt,uYtq,Buvpt,uYtq,v,,(4.2)终端条件vpt,uYtq“UP `'EuLTrLTs',其中,对于任何vuP L1^2、vy、uP L2^2和vu、uP'L'2^2、hpu、vu、vy、u、vu、vq:“\'2ρ\'z'^ Amaxvupyqupdyq\'2c媫pz,γqzvupyqupdyq'∑pγq''''θ'RAz'vupyq'v1,1y,upyq'zv2 2y,upyq'2zv1,2y,upyq'pyq'pyqupdyq'''''''''σ'''''''''728;'z'zupy,2y,upyq'v2,2u,uy,ry'updryq'updyq'2'σ'''''728;''z'''v1,2u,upy,ryq'pdryq'v1,2y,upyq'updyq,(4.3)定理4.7。