|
定义B.3。HJB方程的解是一对(V,λ),其中V是一个两次连续可微函数,满足(AV(x)- h(x)+λ,G(x)-V(x),V(x))=0,x∈-∞, -1.-ε∪ (0, ∞),(B.26)其中A:C(R)7→ C(R)是微分算子af(x):=σxf(x)+uxf(x)。请注意,限制x∈-∞, -1.-ε∪ (0, ∞) 其动机是备注A.4。B.4提案。设(W,ζ)-, ζ+)是具有渐近展开(B.7)的自由边界问题(B.5)-(B.6)(由命题B.1提供)的解。对于足够小的ε,pairV(·):=Z··W(ζ)dζ,λ:=h(ζ-),式中^W(ζ):=ζ<ζ时为0-,W(ζ)表示ζ∈ [ζ-, ζ+],ζ的G(ζ)≥ ζ+,(B.27)是HJB方程(B.26)的解。命题B.4的证明。要检查(V,λ)是否解HJB方程(B.26),请分别考虑域[ζ-, ζ+], ζ < ζ-ζ>ζ+。从分解式来看,sg(ζ)=1+ζ-1.-ε1 + (1 -ε) ζ和G(ζ)=1.-ε1 + (1 -ε)ζ-(1+ζ),首先注意[ζ-, ζ+],通过构造,它认为(AV(ζ)- h(ζ)+h(ζ)-))=σζW(ζ)+(σ+u)ζW(ζ)+uW(ζ)-H(ζ)=0。此外,考虑到初始条件(B.3)-(B.4),(AV(ζ)- h(ζ)+h(ζ)-)) |ζ=ζ-= AV(ζ)|ζ=ζ-= 0,whenceAV(ζ)- h(ζ)+h(ζ)-) ≡ 0, ζ ∈ [ζ-, ζ+].看到这个0≤ 五、≤ G在所有[ζ]上-, ζ+],观察(h(ζ)- h(ζ)-))= h(ζ)=h(ζ)=π*(1 + ζ)π*-ζ1 + ζ. (B.28)注意,对于ζ-< ζ ≤ ζ*, ζ在哪里*/(1 + ζ*) = π*, V(ζ)=W(ζ)>0。这也是W(·)≥ 所有[ζ]均为0-, ζ+]. 这相当于显示w(ζ)的非负性:=2σζ2γπ*W(ζ)=Zζζ-(h(x)-h(ζ)-))x2γπ*-2dx。(B.29)杠杆的极限为w(ζ)=(h(ζ)- h(ζ)-))ζ2γπ*-2=0当且仅当h(ζ-) = h(ζ)。
|