|
第二个修正方程(3.20)的次分辨率)。给你*, “u”*表示以下放宽的s限制:\'u*(ζ,θ):=lim supλ→0,(ζ′,θ′)→(ζ,θ)\'uλ(ζ′,θ′,\'u*(ζ,θ):=lim infλ→0,(ζ′,θ′)→(ζ,θ)uλ(ζ′,θ′,(4.2)表示所有(ζ,θ)∈ D×Rd,这是定义明确的上-下。假设A2下的下半连续函数。假设(A1)和(A3)是技术性的,可以通过对模型的系数函数施加充分的正则性条件来保证。关键假设是(A2),该假设假设由于价格影响λ∧较小而导致的价值函数的前导阶修正,将O阶(λ1/2)定义为λ→ 0.这种情况需要用更具体的参数进行验证。参见第7节和第8节,了解实现这一点的验证定理,了解动态规划方程的高效正则经典解。第7节提供了其有效性的便利条件,并在第8节的特定设置中进行了验证。与比例成本和固定成本的相关结果[54,5]一样,这些“验证定理”基于经典光滑解的可用性。特别是,u是C类引理4.1中(3.20)的唯一粘度解。假设假设(A1)满足。然后,第一个修正方程(3.19)由局部有界泛函(ζ)=Tr[cθk](ζ)(4.3)和映射求解 : ξ 7-→ ξk(ζ)ξ,其中cθ=dhθi/dt是无摩擦目标策略θ和正半定函数k的局部二次变化∈ C1,2(D;Sd)定义为(ζ)=xvp-2.十五/xxvh∧1/2(λ-1/2σSσS∧-1/2)1/2∧1/2i(ζ)。此外,如果假设(A2)成立,则沿着无摩擦最优策略θ进行评估,这些米利米特’u*(·,θ(·)),u*(·,θ(·))分别是第二修正方程(3.20)的粘度子解和上解。证据
|