我们在第3.3节中确定,存在一个与半线性问题dxt=A(t)dt+Ft(Xt)dt+G(t)dLt,Xτ=X相关的唯一不变度量u。特别是,以下结果成立:Z[0,t*]×HPsu(t,x)ν(dt,dx)=Z[0,t*]×Hu(t,x)ν(dt,dx),其中是相应的半群。我们记得定理10中构造的EBSDE(10)的马尔可夫解是T*-周期的,也就是说四重(Y,Z,U,λ)有一个表示(v,ξ,ψ,λ),其中v,ξ和ψ是*-在时间上是周期性的。定理12。EBSDE解(v,ξ,ψ,λ)中的λ值满足λ=Z[0,T*]×Hf(x,ξ(t,x),ψ(t,x))u(dt,dx),其中u是唯一不变度量。证明:u的不变性意味着对于任何固定时间T和s≤ 和任何有界可测函数u,使得u(T+T*, x) =u(t,x)我们有z[0,t*]×HEu(T,Xs,xT)u(dt,dx)=Z[0,T*]×Hu(t,x)u(dt,dx)。我们写ev(t,x)=EPx,tv(T,Xs,xT)+ZTt(f(Xs,xT,ξ(s,Xs,xT),ψ(s,Xs,xT))- λ) ds,其中下标(x,t)表示正演方程是从t开始的,其值为x。然后根据不变性,将两侧积分到μ,我们得到了结果。备注18。上面的表示让我们直观地了解了如何解释λ。如果我们认为驱动力f是X定律下最优控制动力系统的代价函数,那么λ就是一个循环的代价。5.申请表。1经典遍历控制在本节中,我们展示了在受控漂移的情况下,如何在EBSDEs的框架中看到一般遍历控制问题。用L:H×U表示→ Ra bo定义了可测量的成本函数,使得| L(x,u)- L(x′,u)|≤ Ckx- x′k,对于某些C>0的情况。我们考虑最小化问题j(x,u)=lim supT→∞T-1Eu,TZTL(Xt,ut)dt,控制空间U上的一个可分离度量空间,其中ut(ω)取值。