|
在假设4.1、4.2和4.3下,对于满足支持ε>0ZT | uε(t)| dt<N的控制族{uε,ε>0},对于某些N<∞, 以下观点:(i)族{(Rε,uε,Pε,), ε>0}在C([0,T];R)×P(Z×Z×Y×[0,T])上是紧的;(ii)有立根时:=n(z,z,y)∈ Z×Z×R:| Z |>M,| Z |>M,| y |>Mo,族{Pε,, ε>0}在limm意义下是一致可积的↑∞supε>0Ex,y“Z(Z,Z,y))∈BM×[0,T][z |+| z |+| y |]Pε,(dzdzdy dt)#=0.18 ANTOINE JACQUIER和KONSTANTINOS Spiliopoulos命题7.1的证明。{Pε)的紧密性,, ε, > 关于P(Z×Z×Y×[0,T]),职业测度族的一致可积性是[28,第5.1.1节]的主题,这里不再重复。证明{Rε,uε,ε>0}在C([0,T];R)上的紧性。我们利用[2,定理8.7]的特征证明了它,如果我们确定ε>0,那么对于每个η>0,(i)存在N<∞ 使(40)Psup0≤t型≤TRε,uεt> N≤ η、 对于每个ε∈ (0, ε);(ii)每M<∞,(41)limα↓0supε∈(0,ε)Psup | t-t |<α,0≤t<t≤TRε,uεt- Rε,uεt≥ η、 支持∈[0,T]Rε,uεt≤ M!=基本上,这两种陈述都遵循控制表示法(33)以及定理A.1和引理A.2得出的泊松方程解增长的结果,并使用引理B.5处理(33)右侧的每个项。为了完整起见,我们证明第一个陈述(40)。第二条语句(41)后面同样使用通用引理B.5。
|