对于任何给定（x，a）∈G、 根据假设2.2的（a）部分，我们有H（x，a，λv+（1- λ） v′）6λH（x，a，v）+（1- λ） H（x，a，v′）6λmaxa∈Γ（x）H（x，a，v）+（1- λ） maxa公司∈Γ（x）H（x，a，v′）=λT v（x）+（1- λ） T v′（x）。自（x，a）∈Gwas武断，上述不等式意味着maxa∈Γ（x）H（x，a，λv+（1- λ） v′）6λT v（x）+（1- λ） 每个x的T v′（x）∈ 十、 这意味着T[λv+（1- λ） v′]6λT v+（1- λ） T v′。条件（ii）的第一部分直接来自（3），因为，对于每个x∈ 十、 T w（X）=最大值∈Γ（x）H（x，a，w）>H（x，a，w）>w（x）。为了确保条件（ii）的第二部分得到满足，根据假设2.2的第（b）部分，t w（x）=maxa∈Γ（x）H（x，a，w）6 w（x）- 每个x的ε∈ 对于某些ε>0。因此，T w<< w、 如图所示。定理5.4。如果Tσ对于所有σ在V上渐近稳定∈ ∑和T在C上渐近稳定，则定理2.3的结论成立。证据让v*是最大值函数，并让v是C中的唯一固定点。要查看“v=v”*, 首先，观察“v”∈ 因此，v至少有一个最大贪婪策略σ。对于这一政策，通过定义，我们在每个x上都有Tσ'v（x）=T'v（x），由此得出'v=T'v=Tσ'v。由于Tσ在v上渐近稳定，我们知道它的唯一固定点是vσ，因此'v=vσ。但接着是“v 6 v”*, 根据V的定义*.要查看反向不等式是否成立，请选择任意σ∈ Σ . 我们有Tσ\'v 6 T\'v=\'v。对这个不等式进行迭代，并使用Tσ的等渗性给出所有k的Tkσ\'v 6\'v。取k的极限，并使用Tσ的渐近稳定性，然后给出svσ6\'v。因此，v*我们现在可以得出结论，v=v*.自'v起∈ C，我们有v*∈ C它紧跟在v处的th之后*是C中Bellman最大化方程的唯一解→ v*每当v∈ C

第2.3条第（a）和（b）部分现已确定。关于（c）和（d）部分，通过对最大贪婪策略的定义，我们知道σ是v*-最大贪婪效应H（x，σ（x），v*) = maxa公司∈Γ（x）H（x，a，v*) 对于所有x∈ 十、 自v起*满足Bellman最大化方程，则σ为v*-最大贪婪<==> H（x，σ（x），v*) = v*（x） ，则， x个∈ 十、 但是，根据命题2.2，右边等于v*= vσ。因此，根据这一逻辑链和最优性的定义，σ是v*-最大贪婪<==> v*= vσ<==> σ是最优的（48）。此外，v*在C中与lemma5.2相结合，确保我们至少可以使用*-存在最大贪婪策略。每个这样的策略都是最优的，因此最优策略集是非空的。5.2. 凹面案例的证明。我们从最大化结果证明了最小化结果。首先，回顾第2节开头的定义，让我们看一下w：=-wandˇw：=-w、 很明显，wand_ware在满足w6_w中加入了连续函数。我们用V表示：=-所有Borel可测函数的集合71vinrxSatizingˇw6ˇV 6ˇw，且letˇC：=-C是ˋV中的连续函数。联合状态动作聚合器H:G×V→Ris由ˇH（x，a，v）定义：=-H（x，a，-ˋv）。（49）引理5.5。如果州行动聚合器H满足假设2.1和2.3，则（49）中定义的合并聚合器H满足假设2.1和2.2。引理5.5的证明。很明显，假设2.1中的条件（a）和（b）对ˇH适用。关于条件（c），在ˇv中选择任意ˇv，ˇv′和ˇv 6ˇv′。请注意-ˋv和-ˋv′在v中令人满意-ˋv′6-ˋv。

根据假设2.1的条件（c），对于聚合器H，我们有-ˋv′6-ˋv==> H（x，a，-ˇv′）6 H（x，a，-ˋv）<==> -H（x，a，-ˇv′）>-H（x，a，-ˋv）<==>ˇH（x，a，ˇv′）>ˇH（x，a，ˇv）表示所有（x，a）∈G、 这意味着ˇH确实满足单调性条件（2）。关于ˇH的上下限条件（d），调用H的条件（3），经过一些重新排列，我们得到ˇH（x，a，-w） 6-w（x）和ˇH（x，a，-w） >-w（x）表示所有（x，a）∈G、 根据wandw的定义，所有（x，a）的w（x）6H（x，a，w）和H（x，a，w）6w（x）∈G、 根据需要。需要证明的是，聚合器满足值凸性，并具有严格的上解。显示ˇH，fixˇv，ˇv′的值凸度∈ˋV和λ∈ [0, 1]. 清晰地-ˋv和-ˋv′在v中。然后，对于任何给定的（x，a）∈G、 通过H的值凹度，wehaveH（x，a，λ(-ˇv）+（1- λ)(-ˋv′）>λH（x，a，-ˇv）+（1- λ） H（x，a，-ˇv′），或-H（x，a，λ(-ˇv）+（1- λ)(-ˇv′）6-λH（x，a，-ˋv）- (1 - λ） H（x，a，-ˇv′），从ˇH的定义可以立即得出ˇH（x，a，λv+（1-λ） ˇv′）6λˇH（x，a，ˇv）+（1- λ） ˇH（x，a，ˇv′），如图所示。为了验证ˇwis是ˇH的严格上解，我们调用假设2.3中的部分（b）来表示H。也就是说，存在ε>0，使得H（x，a，w）>w（x）+ε表示所有（x，a）∈G、 根据ˇH的定义，这相当于说明存在ε>0，从而-ˇH（x，a，-w） >w（x）+ε<==>ˇH（x，a，-w） 6-w（x）- ε表示所有（x，a）∈G、 调用ˇw的定义，等于说存在ε>0，使得ˇH（x，a，ˇw）6ˇw（x）- ε表示所有（x，a）∈G、 这就完成了引理5.5的证明。此外，我们观察到，对于所有x，σ-值函数方程（4）可以等价地表示为ˋvσ（x）=ˋH（x，σ（x），ˋvσ∈ X带ˋvσ：=-vσ∈ˋV。此外，最小成本函数方程（8）可以等效地表示为ˋv*（x） =supσ∈∑ˋvσ（x）带ˋv*:= -v*.

Bellman方程（9）可等效表示为ˋv（x）=maxa∈Γ（x）ˋH（x，a，v）带ˋv：=-v∈ˋV。因此，通过引理5.5，我们可以将定理2.3应用于共轭聚合器ˇH，并恢复定理2.5中所述的聚合器H.5.3的结果。第3.4节的证明。在本节中，我们将证明第3.4节中定义的stateaction聚合器H的一些属性。为了说明，fixθ∈ 首先，我们通过（Rθw）（y，Z）定义bm（S×Z）+上的算子Rθ：=Zw（y，z′）ξπθ（z，dz′）1/ξ表示所有（y，z）∈ S×Z.（50）根据这一发现，我们定义了一个操作符R，它是一个映射发送（θ，w）inΘ×bm（S×Z）+intoRw（y，Z，θ）：=（Rθw）（y，Z）表示所有（y，Z，θ）∈ S×Z×Θ。（51）下面的引理显示了算子Rθ的一些有用性质。引理5.6。对于固定θ∈ Θ，如果ξ位于（0，1），则在（50）中定义的算子Rθ为isisotone且在bm（S×Z）+上凹。此外，函数Rθw是非负的，有界的，且在S×zw上可测∈ bm（S×Z）+且当w∈ bc（S×Z）+。引理证明5.6。固定θ∈ Θ. Rθ的等渗性很明显，因为标量函数R+ t 7→ tξ∈R+及其逆函数都严格地在R+上递增。自ξ起∈ （0，1），根据Hardy等人（1934）的定理198，我们知道Rθ是超加的，对于任何w，w′∈ m（S×Z）+，Rθ（w+w′）>Rθ（w）+Rθ（w′）。因此，Rθ的超可加性和正均一性共同决定了Rθ的凹性。实际上，选择任意λ∈ [0，1]和w，w′∈ m（S×Z）+，通过m（S×Z）+的凸性，我们得到rθ[λw+（1- λ） w′）>Rθ（λw）+Rθ（（1- λ） w′（通过超加性）=λRθ（w）+（1- λ） Rθ（w′）（通过正均一性），如图所示。关于引理5.6的第二个主张，Rθw的非负性和有界性是直接的，很容易看出，Rθw在S×Z上是Borel可测的，只要w∈bm（S×Z）+。现在Fix w∈ bc（S×Z）+。

我们注意到函数wξ也位于c（S×Z）+。然后，利用πθ的Feller性质，映射S×Z （y，z）7→这一结果也可以被视为相反的Minkowski不等式，例如，参见Dibenedetto（2002）第225页的Proposition3.2。定义在bmX的正锥bmX+上的算子称为正齐次（一阶），如果对于bmX+中的任何v和任何实数t>0，我们有一个（tv）=tAv。Rw（y，z′）ξπθ（z，dz′）∈R+在S×Z上是有界连续的。此外，映射S×Z （y，z）7→ [Rw（y，z′）ξπθ（z，dz′）]1/ξ∈R+是连续的onS×Z，因为映射t 7的倒数→ tξ在r+上也是连续的。因此，我们的要求如下。作为lemma5.6的一个应用，我们现在给出下一个结果。引理5.7。（51）中定义的运算符是从Θ×bm（S×Z）+到bm（S×Z×Θ）+的定义良好的映射。引理5.7的证明。固定（θ，w）inΘ×bm（S×Z）+。由于函数Rw的有界性和非负性是明显的，因此仍需证明Rw处的th在S×Z×Θ上是可测的。一方面，对于每个θ∈ 由引理5.6可知，函数Rw（·，·，θ）=Rθw:S×Z→R+是Borel可测量的。在另一个h和d上，对于每个（y，z）∈ S×Z，函数Rw（y，Z，·）：Θ→R+是连续的，因为Θ是一个有限集（具有离散拓扑）。在这方面，我们得出结论，函数Rw:S×Z×Θ→Ris是一个Carath'eodoryfunction，在这个意义上，每个θ的th为（1）∈ 函数Rw（·，·，θ）：S×Z→Ris Borel可测量；和（2）对于每个（y，z）∈ S×Z，函数Rw（y，Z，·）：Θ→Ris连续。根据引理4.51 inAliprantis和Border（2006），根据需要，Carath’eod ory函数Rw可以在S×Z×Θ上联合测量。

在这方面，（30）中定义的状态动作聚合器H可以简单地表示为两个操作器R和H的组合，如下所示（（s，z），y，^v）：=~H（（s，z），y，R^v），（52）和▄H（（s，z，y，H）：=（R（s，y，z）+βZh（y，z，θ）u（z，dθ）1/ξ）ξ（53）（s，z，y）∈甘地h∈ bm（S×Z×Θ）++。值得注意的是，（53）中定义的~H公式与（14）中定义的Hde公式几乎相同。因此，回顾第3.2.2节中与H相关的结果，我们有引理5.8。如果ξ<0，则（53）中定义的▄H在bm（S×Z×Θ）++上的第三个等距处为等规凹形。此外，地图（（s，z），y）7→H（（s，z），y，H）在任何时候都是可测量的∈ bm（S×Z×Θ）++，且当映射h（·，·，θ）：S×Z时连续→对于每个θ，R++是连续的∈ Θ.引理5.8的证明。与第3.2.2节中的证明类似，对于任何固定的b>0，我们考虑标量映射ψ（t）：=（b+βt1/ξ）ξ，其中t>0。由于ξ<0，很明显，标量函数ψ是连续的，严格递增的，并且严格凹于r++（参见第3.2.2节）。权利要求的第一部分直接来自ψ的单调性和凹性，以及积分的单调性和线性。对于剩余部分，fix h单位为bm（S×Z×Θ）++。（（s，z），y）7的Borel可测性→~H（（s，z），y，H）是明显的。现在fix一个函数h，满足映射h（·，·，θ）：S×Z→R++是连续的，对于每个θ∈ Θ . 由于分布u（·，·）的连续性和Θ的完整性，地图S×Z （y，z）7→Rh（y，z，θ）u（z，dθ）∈R++在S×Z上是连续的。然后，它从R上施加的连续性和ψth在（（S，Z），y）7处的连续性得出→~H（（s，z），y，H）是连续的。引理5.9。

Ifξ∈ （0，1）和ξ<0，则（30）中定义的状态动作聚合器H在其关于bm（S×Z）++的第三个参数中是等通和凹的。此外，地图（（s，z），y）7→ H（（s，z），y，v）是可测量的∈ bm（S×Z）++和连续ONGV∈ bc（S×Z）++。引理证明5.9。由于聚合器H是▄H和R的组合，通过引理5.6到5.8，H的等渗性、Borel可测性和连续性直接遵循▄H和d R的等渗性、Borel可测性和连续性。只剩下显示H的凹度。要看到这一点，fix（（s，z），y）∈G、 λ∈ [0，1]和w，w′在bm（S×Z）++中。对于任何给定θ∈ 通过Rθ的凹性和bm（S×Z）++的凸性，我们得到Rθ[λw+（1- λ） w′（y，z）>λRθw（y，z）+（1- λ） Rθw′（y，z）；也就是说，对于每个（y，z，θ）∈ S×Z×Θ，R[λw+（1- λ） w′（y，z，θ）>λRw（y，z，θ）+（1- λ） Rw′（y，z，θ）。在运算符表示法中，这转化为R[λw+（1- λ） w′）>λRw+（1- λ） Rw′。观察到，由于~H的等渗性和凹度，我们现在得到了H（（s，z），y，λw+（1- λ） w′）=~H（（s，z），y，R[λw+（1- λ） w′）>H（（s，z），y，λRw+（1- λ） Rw′）>λИH（（s，z），y，Rw）+（1- λ） ~H（（s，z），y，Rw′）=λH（（s，z），y，w）+（1- λ） H（（s，z），y，w′），其中t和最后一个等式紧随（52）中H的定义，而第一个和第二个不等式分别紧随H的等渗性和凹性。这就完成了证明。类似地，（36）中定义的状态动作聚合器H可以表示为asH（（s，z），y，^v）=H（（s，z），y，R^v），操作符R定义如上，但▄H（（s，z），y，H）：=exp(1 - η)r（s，y，z）+β1- ηlnZh（y，z，θ）u（z，dθ）（54）对于所有（（s，z），y）∈甘地h∈ bm（S×Z×Θ）++。观察到，上面定义的~H公式与H定义的公式（23）几乎相同。在这方面，回顾第3.3节中与H相关的结果，很容易看到引理5.10。

如果η>1，则（54）中定义的~H是等距的，在bm（S×Z×Θ）++上的第三个等距处是凹的。此外，地图（（s，z），y）7→H（（s，z），y，H）在任何时候都是可测量的∈ bm（S×Z×Θ）++，且当映射h（·，·，θ）：S×Z时连续→对于每个θ，R++是连续的∈ Θ.引理5.10的证明。类似于引理5.8的证明，对于固定b∈R、 我们考虑标量映射ψ（t）：=exp(1 - η)b+β1- ηln t（t>0）。很明显，这个标量函数ψ是连续的、严格递增的和严格凹的。因此，引理5.10的剩余证明与引理5.8的相同，因此在此省略。有关该ψ的相关结果的更多详细信息，请参阅第3.3节。引理5.11。Ifξ∈ （0，1）且η>1，则状态作用聚合器H definedin（36）在其关于bm（S×Z）++的第三个参数中是等同形和凹形的。此外，地图（（s，z），y）7→ H（（s，z），y，v）是可测量的∈ bm（S×Z）++和连续ONGV∈ bc（S×Z）++。引理5.11的证明。引用引理5.6、5.7和5.10，证明与引理5.9相同，因此省略。5.4. 第3.5节的证明。引理3.1的证明。设常数m和m如（15）所示。当B在紧集上连续时，存在一个有限常数L：=min（（s，z），y）∈GB（s，y，z）和L：=最大值（（s，z），y）∈GB（s、y、z）。情况一：ρ<1<γ。为了说明引理3.1的条件（SL），我们首先声明存在一个正常数函数W，例如对于固定（（s，z，y）∈G、 我们有h（（s，z），y，w）=（r（s，y，z）+βw1级-γ+B（s，y，z）1.-ρ） θ>（M+βw1级-γ+L1.-ρ） θ>w（s，z）。

（55）显然，一致严格不等式（55）意味着这种正恒常函数满足条件（SL）。为了证明存在一个正常数函数Wsatizing（55），我们注意到，由于0<1- ρ<1和θ<0，以下等效关系成立（M+βw1级-γ+L1.-ρ） θ>w<==>wθ- Mβ1.-ρ- w1级-γ- L>0。设d：=w1-γ和setД（d）：=d1-ρ- Mβ1.-ρ- d- L（d>0），表示（55）成立，等于表示存在一个正常数d*以便*) > 0.为了证明后者为真，可以验证间隔（d，∞) R++为正，式中：=[M/（1- β1/ρ)]1/(1-ρ). （我们有d>0，因为M>M>0。）因此，在（d，∞). 这意味着Д（d）转到∞, 作为d→ ∞, 这反过来说明存在一个正常数d*> d使得*) > 0、让w：=（d）*)1.-γ完成条件证明（SL）。关于引理3.1的条件（U），我们声称存在一个正恒常函数wsuch，对于固定（（s，z，y）∈G、 我们有h（（s，z），y，w）=（r（s，y，z）+βw1级-γ+B（s，y，z）1.-ρ） θ（m+βw1级-γ+l1.-ρ） θ6 w（s，z）。（56）显然，为了证明上解w的存在，有必要证明存在一个正常数函数w满足（56）。进一步地，经过一些重排，我们注意到，（56）保持等同于wθ- mβ1.-ρ- w1级-γ- l 6 0。设w：=[m/（1- β1/ρ)]θ. 那么前面不等式的左边等于β1/ρ1-β1/ρmβ1.-ρ-m1级- βρ!1.-ρ- l=hβρ- 1im1- βρ!1.-ρ- l、 自β∈ （0，1）和ρ∈ （0，1），我们有β1/ρ- 1 < 0. 此外，从m>0和l>0可以看出，上述等式的右侧为负值。

这反过来意味着，对于上述wde，（56）是满足的，这验证了条件（U）。要查看w<w，请观察0<d<d*和1- γ<0意味着0<w≡ （d）*)1.-γ<（d）1-γ. 此外，由于m 6 m和dθ<0，我们有（d）1-γ≡ [米/（1）- β1/ρ）]θ[m/（1- β1/ρ)]θ≡ w、 我们现在可以得出这样的结论：w<w，正如所希望的那样。情况二：1<ρ<γ。在这种情况下，的pro类似。关于Lemma3.1的条件（SL），我们首先声明存在一个正常数函数wsuch，对于固定（（s，z），y）∈G、 我们有h（（s，z），y，w）=（r（s，y，z）+βw1级-γ+B（s，y，z）1.-ρ） θ>（m+βw1级-γ+L1.-ρ） θ>w（s，z）。（57）一致严格不等式（57）表示满足条件（SL）。为了证明存在一个正常数函数Wsatizing（57），我们注意到，由于1- ρ<0，θ>1，以下等效关系成立（m+βw1级-γ+L1.-ρ） θ>w<==>wθ- mβ1.-ρ- w1级-γ- L>0。让d≡ w1级-γ和设定φ（d）：=d1-ρ- mβ1.-ρ- d- L（d>0），表示（57）成立等于表示存在正常数*使得φ（d*) > 为了证明后者成立，可以检查φ在区间（d，m1/（1））上的倒立二阶导数-ρ)) R++为正，式中：=[m/（1- β1/ρ)]1/(1-ρ). 因此，φon的图h（d，m1/（1-ρ） ）向上凹。因此φ（d）app roaches+∞ 当d接近m1/（1）时-ρ). 因此，存在一个正常数d*∈ （d，m1/（1-ρ） ）满足φ（d）*) > 0、最后，对于这样的d*, 出租W≡ （d）*)1.-γ完成条件证明（SL）。接下来，为了显示条件（U），我们首先声明存在一个正常数函数wsuch，对于固定（（s，z），y）∈G、 我们有h（（s，z），y，w）=（r（s，y，z）+βw1级-γ+B（s，y，z）1.-ρ） θ（M+βw1级-γ+l1.-ρ） θ6 w（s，z）。（58）为了证明上解w的存在性，必须证明存在正常函数w满足（58），或等效，wθ- Mβ1.-ρ- w1级-γ- l 6 0。设w：=[M/（1- β1/ρ)]θ.

上述不等式的左侧等于β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κ。

此外，通过一些重新排列，我们得到了h（（s，z），y，w）>hL- δ+βLd1/θ+δ（1- βd1/θ）iθκ（s，z）>（L- δ） θκ（s，z），即l-f的标准由kf k定义l:= sup（s，z）∈S×Z{| f（S，Z）|/l（s，z）}。值得注意的是，当权重函数l 是有界的，则l- 标准k·kl上确界范数k·k是等价的。因此，当l 是无限的。最后一项等于w（s，z）。同样，我们有h（（S，z），y，w）=（r（S，y，z）+βM1级- βc1/θZκ（y，Z′）θP（Z，dz′）1/θ)θMκ（s，z）+βM1级- βc1/θhcκ（s，z）θi1/θθ=M1级- βc1/θθκ（s，z）θ=w（s，z），其中不等式来自假设4.1中的（42）和（44）。因此引理5.13的条件（U）是满足的。到目前为止，我们只给出了H的一个下解。它仍然需要证明它是一个严格的下解。从（59）中观察到，为了显示条件（SL），有必要显示ε>0，使得NLκ（s，z）+β（L- δ） [dκ（s，z）]1/θoθ>w（s，z）+εκ（s，z）θ（60）表示所有（s，z）∈ S×Z。为此，固定（S，Z）∈ S×Z，考虑NLκ（S，Z）+β（L- δ） [dκ（s，z）]1/θoθ- w（s，z）κ（s，z）θ=nL+β（L- δ） d1/θ·κ（s，z）1/θ-1oθ- （L）- δ） θκ（s，z）1-θ> Lθ- （L）- δ） θκ（s，z）1-θ> Lθ- （L）- δ） θ>0，其中第一个和第二个不等式来自κ1/θ-1> 0和κ1-θ6 1。因此，当我们取ε：=Lθ时，条件（60）成立- （L）- δ） θ，这是我们需要显示的条件（SL）。引理5.14。如果假设4.1成立，则映射（（s，z），y）7→ H（（s，z），y，^v）在^v时是连续的∈ C引理5.14的证明。要了解这一点，请选择任意^v∈ C根据假设4.1和引理12.2.20 inStachurski（2009），我们知道（y，z）7→R^v（y，z′）P（z，dz′）在S×z上是连续的。然后根据R的连续性，映射（（S，z，y）7→H（（s，z），y，^v）是连续的onG，如图所示。

回想一下，V上的σ-值运算符Tσ由Tσ^V（s，z）=H（（s，z），σ（s，z），^V）=（rσ（s，z）+β定义Z^v（σ（s，Z），Z′）P（Z，dz′）1/θ）θ表示所有（s，z）∈ S×Z和^v∈ 其中rσ（s，z）：=r（s，σ（s，z），z）。引理5.15。如果假设4.1成立，则对于每个σ∈ ∑，算子Tσ在V上渐近稳定。引理证明5.15。首先，我们证明了Tσ是V上的自映射。在v中固定^v。结合r的连续性，^v和σ的可测性意味着Tσ^v是Borel可测的onS×Z。此外，由于w6^v，利用H的等渗性（如引理5.12所示），我们有w（s，Z）6 H（（s，Z），σ（s，Z），w）6 H（（s，Z），σ（s，Z），^v）（s，Z）∈ S×Z，whichin tur n意味着w6 Tσ^v。类似的论证给出了Tσ^v 6 w。因此，Tσ^v∈ V，如图所示。现在，引用引理5.12和5.13，Du（1990）的定理3.1适用并暗示了陈述的结果。命题证明4.1。这紧跟引理5.15。给定^v∈ 如果σ（s，z），∑中的策略σ称为^V-贪婪∈ 阿格米尼∈Γ（s，z）H（（s，z），y，^v）表示所有（s，z）∈ S×Z引理5.16。如果^v∈ 那么至少存在一个^v-贪婪策略。证据这个证明本质上与引理5.2的证明相同，因此省略了。引理5.17。如果假设4.1成立，则S在C上渐近稳定。引理5.17的证明。

根据引理5.14的virtu e，从Berge最小定理可以看出，当^v在C中时，我们将^v（s，z）=miny∈Γ（s，z）H（（s，z），y，^v）=miny∈Γ（s，z）（r（s，y，z）+βZ^v（y，Z′）P（Z，dz′）1/θ）θ和S^v是C的一个元素。为了将杜氏定理应用于Bellman算子s，必须证明（i）s在C上是等距凹的，以及（ii）Sw>> 魔杖Sw6 w.符号>> 表示S×Z上所有κθ有界连续函数在Banach空间bκθc（S×Z）中的强偏序，即w>> v表示w- v位于bκθc（S×Z）+的内部。更多详情请参考t oZhang（2012）。关于引理5.12的结果的第（i）部分，证明与引理5.3的对偶证明基本相同。此外，利用引理5.13的结果，第（ii）部分的证明也与引理5.3的对偶证明基本相同。理论证明4.2。通过引理5.15到5.17，应用定理5.4的对偶证明得到定理4.2中所述的结果。参考Saliprantis，C.D.和K.C.Border（2006）：有限维分析，柏林斯普林格，第三版巴科斯，D.K.，B.R.Routledge和S.E.Zin（2004）：“宏观经济学家的奇异偏好”，NBER宏观经济年报，19319–390。Balbus，L.（2016）：“关于非线性聚合器和CES动态规划中的非负递归实用程序”，SSRN工作文件2703975。Bansal，R.和A.Yaron（2004）：“长期运行的风险：资产定价难题的潜在解决方案”，《金融杂志》，591481-1509。Barberis，N.和M.Huang（2009）：“框架偏好：允许风险框架的新效用规范”，《经济动力与控制杂志》，331555-1576。Barberis，N.，M.Huang，and d.R.H。

泰勒（2006）：“个人偏好、货币赌博和股市参与：狭义框架的案例”，《美国经济评论》，961069-1090。Basu，S.and d B.Bundick（2017）：“有效需求模型中的不确定性冲击”，《计量经济学》，85，937–958。B–auerle，N.和A.Ja'skiewicz（2018）：“具有风险敏感偏好的随机最优增长模型”，《经济理论杂志》，173181–200。Becker，R.A.和J.P.Rinc'on Zapatero（2017）：“递归效用和汤普森聚合器”，技术代表，SSRN WP 3007788。Bertsekas，D.P.（2013）：抽象动态规划，Athen a Scientic.Bloise，G.和Y.Valakis（2018）：“具有（有界）递归效用的凸动态规划”，《经济理论杂志》，173118–141。Boroviˇcka，J.和J。Stachurski（2017）：“递归实用程序存在和唯一性的必要和充分条件”，技术代表，sSRN工作文件3054241。Datta，M.、L.J.Mirman和K.L.Reffett（2002）：“有资本和劳动力的扭曲动态经济中均衡的存在和不均衡”，《经济理论杂志》，103，377–410。DiBenedetto，E.（2002）：真实分析，Birkhauser Boston。Du，Y.（1990）：“有序Banach空间中增算子的不动点及其应用”，适用分析，38，1–20。Epstein，L.G.和M.Schneider（2008）：“模糊性、信息质量和资产定价”，《金融杂志》，63197-228。Epstein，L.G.和S.E.Zin（1989）：“风险规避与消费和资产回报的时间行为：理论框架”，《计量经济学》，57937–969。Farhi，E.和I.Werning（2008）：“递归偏好下的最优储蓄扭曲”，《货币经济学杂志》，55，21–42。郭，J.和X.D.何（2019）：“具有投资收益和损失的递归效用：存在性、唯一性和收敛性”，技术代表，SSRN。汉森、L.P.和T.J。

萨尔根（2008）：稳健性，普林斯顿大学出版社。Hansen，L.P.和J.A.Scheinkman（2012）：“随机增长的马尔可夫环境中的递归效用”，《美国国家科学院学报》，109，11967–11972。Hardy，G.H.、J.E.Littlewood和G.P'olya（1934）：不平等，剑桥大学出版社。Hayashi，T.和J.Miao（2011）：“跨期替代和重复平滑模糊偏好”，理论经济学，6423-472。Ju，N.a和J.Miao（2012）：“模糊性、学习和资产回报”，计量经济学，80559-591。Kamihigashi，T.（2014）：“动态规划Bellman方程解的基本结果：存在性、唯一性和收敛性”，《经济理论》，56251-273。Kaplan，G.和G.L.Violan te（2014）：“消费对规模刺激付款的反应模型”，《计量经济学》，821199–1239。Klibanoff，P.、M.Marinacci和S.Mukerji（2009）：“递归平滑模糊偏好”，《经济理论杂志》，144930-976。Le Van，C.、L.Morhaim和Y.Valakis（2008）：“单调凹算子：Bellman方程解的存在性和唯一性的应用”，HAL工作文件00294828。Le Van，C.和Y.Valakis（2005）：“递归效用和有界或无界回报的最优增长”，《经济理论杂志》，123187-209。Marinacci，M.和L.Montrucchio（2010）：“随机执行效用的唯一解”，《经济理论杂志》，1451776-1804年（2019）：“独特的塔尔斯基固定点”，运筹学数学。Martins da Rocha，V.F.和Y.Valakis（2010）：“局部收缩固定点的存在性和唯一性”，《经济计量学》，78，1127–1141（2013）：“局部收缩的不动点f：递归效用的应用”，《国际经济理论杂志》，9，23–33。Morand，O.F.和K.L。

Reffett（2003）：“有限期经济中非最优无界均衡的存在性和唯一性”，《货币经济学杂志》，第50期，第1351-1373页。Ozaki，H.和P.A.Streuffert（1996）：“非加性随机目标的动态规划”，《数理经济学杂志》，25391-442。Pavoni，N.、C.Sleet和M.Mes sner（2018）：“递归优化的双重方法：理论和实例”，《计量经济学》，86133-172。Pohl，W.、K.Schmedders和O.Wilms（2018）：“长期风险资产定价模型中的高阶效应”，《金融杂志》，731061-1111。Rinc'on Zapatero，J.P.和C.Rodr'guez Palmero（2003）：“无界情况下Bellman方程解的存在性和唯一性”，《计量经济学》，711519-1555（2007）：“无约束聚合器的递归效用”，《经济理论》，33381-391。Schorfeide，F.，D.Song，和D.A。Yaron（2018）：“识别长期风险：ABayesian混合频率法”，《计量经济学》，86617–654。Siniscalchi，M.（2011）：“歧义下的动态选择”，理论经济学，6379-421。Stachurski，J.（2009）：经济动力学：理论与计算，麻省理工学院出版社。Stokey，N.、R.Lucas和E.Prescott（1989）：经济动力学中的递归方法，哈佛大学出版社。Zhang，Z.（2012）：变分、拓扑和偏序方法及其应用，第29卷，Springer Science&Business Media。