|
上述不等式的左侧等于β1/ρ1-β1/ρMβ1.-ρ-M1级- βρ!1.-ρ- l=hβρ- 1iM1- βρ!1.-ρ- l<0。这反过来意味着,对于上述wde,(58)是自然满足的,这就是我们需要显示的条件(U)。我们对wand w的选择满足了w<w。要看到这一点,请观察w≡(d)*)1.-γ<(d)1-γ≡ [米/(1)- β1/ρ)]θ. 此外,从θ>1和m 6 Mthat[m/(1- β1/ρ)]θ6【M/(1)- β1/ρ)]θ≡ w、 由此我们得出结论,w<w,应显示。5.5. 第4节中的证明。回顾权重函数的定义l 在第4节中,定义l-norm将实赋范向量空间blmX:={f∈ mX:f为l-有界}到实Banach空间。回顾H的定义和括号函数的构造以及win第4节,我们得到了以下结果。引理5.12。如果假设4.1成立,那么在V上的第三个参数中,状态动作聚合器H定义为等同形和凹形。证据该证明与第3.2.3节中提供的等渗性和值凹度论证基本相同。引理5.13。如果假设4.1成立,那么状态动作聚合器H定义在(14)中具有严格的下解,并且上解的意义是(SL)存在ε>0,使得H((s,z),y,w)>w(s,z)+εκ(s,z)θ(对于所有((s,z),y)∈G、 (U)H((s,z),y,w)6 w(s,z),所有((s,z),y)∈G、 引理5.13的证明。Ob服务,固定((s,z),y)∈G、 我们有h((s,z),y,w)=(r(s,y,z)+βZ(L- δ) θ·κ(y,z′)P(z,dz′)1/θ)θ>(Lκ(s,z)+βZ(L- δ) θ·κ(y,z′)P(z,dz′)1/θ)θ>nLκ(s,z)+β(L- δ) [dκ(s,z)]1/θoθ(59)>nhL+β(L- δ) d1/θi·κ(s,z)1/θoθ,其中第一个和第二个不等式分别紧随假设4.1中的(43)和(45),而f中的最后一个不等式表示κ1/θ6κ。
|