|
因此,间接风险规避系数R(t,x)=-xvxx/vx=ρ(t,ln x)属于C1,2([0,t]×(0,∞)).2) 现在很容易看出,v(t,x)=u(t,ln x)是HJB方程(2.4a)的唯一经典解,并且类似于Sev(t,x)=v(t,x- PVt)是HJB方程(2.5a)的唯一经典解。3) 为了引用命题A.2,仍需证明在定理2.4的假设下,函数g(ρ)=f(1,ρ)=supπ≥0,π1≤1π(u - r1)-ρπ∑π>,具有性质为0<infρ的局部Lipschitz连续导数∈(0,γ]-g(ρ)≤ supρ∈(0,γ]-g(ρ)<∞. (2.16)Vila和Zariphopoulou(1997)研究了一个相关的约束优化问题。他们的证明清楚地表明,对这个问题进行严格的数学处理在技术上是很困难的。我们遵循Kilianov\'a和Sevˇcoviˇc(2013)中提出的另一种攻击路线,这使得我们能够大大浓缩技术论点。因为区域A={π∈ Rd:π≥ 0, π1 ≤ 1} 是紧凑的,一个hassupπ∈Aπ∑π><∞, (2.17)Milgrom和Segal(2002)指出,g在(0,∞) g(ρ)=-^π(1, ρ)Σ^π(1, ρ)>. (2.18)(2.17)和(2.18)的组合证明了(2.16)中的右侧不等式。根据Klatte(1985,定理2),^π(1,ρ)是ρ的局部Lipschitz连续函数,因此gis也由(2.18)Lipschitz连续。需要说明的是infρ∈(0,γ)-g(ρ)>0,(2.19),其中对于某些i∈ {1,…,d}是必需的。不等式(2.19)通过引理A.1.4)中的精细估计成立,以建立xπ的局部Lipschitz性质*(t,x)注意xπ*(t,x)=x^π(1,R(t,x))。(2.20)我们在步骤3)中已经证明了^π(1,.)局部Lipschitz连续且sinceR(t,x)∈ C1,2([0,T]×(0,∞)) 该声明如下。
|