|
如果u≤ r、 那么,立即出售通常是暂时的,因为Gα总是负值。相反,如果u>r,则我们得到一个非平凡的闭式解。定理5.1。设u>r。式Lα(s)=(s)给出了(5.1)中的值函数Lα(s)*)1.-λ2 - λsλ- s+bs){s≤ s*}, (5.2)式中B=ασ2u+σ- r、 λ=σσ- u+sσ- u+ 2rσ, (5.3)s*=1.- λ(2 - λ) B,(5.4)和停止时间τ*= inf{t≥ 0:St≥ s*} 最适合(5.1)。证据我们首先证明(5.2)是min的解r∧(s)- us∧′s-σs∧′(s)-~Gα(s)∧(s)= 0,s>0,其中∧(0)=0。为此,我们将R+分成两个区域:D=(0,s)*) D=[s]*, ∞) 和s*> 0待定。我们猜想∧(s)=0在D中,对于s∈ D∧(s)解算sr∧(s)- us∧′s-σs∧′(s)-~Gα(s)=0。(5.5)通过直接替换,方程(5.5)的通解的形式为∧(s)=Csλ+Csλ- s+Bs,其中c-Care常数待定,B在(5.3)中有规定,λk=σσ- u + (-1) ksu -σ+ 2rσ, K∈ {1, 2}.我们在s=0和s=s时应用连续性和平滑粘贴条件*去getlims↓0∧(s)=0=> C=0,lims↑s*∧(s)=0=> C(s)*)λ- s*+ B(s)*)= 0,(5.6)lims↑s*∧′(s)=0=> λC(s)*)λ-1.- 1+2Bs*= 0.(5.7)解方程组(5.6)-(5.7)得到C*如(5.3)-(5.4)所示。我们可以通过替换来验证∧(s)确实是(5.5)的经典解。根据伊藤公式和(5.5),∧(St))t≥0是(P,F)-超鞅,所以对于每个F-停止时间τ和n∈ N、 我们有∧(s)≥ E0,sZτ∧氖-ru~Gα(Su)du. (5.8)在τ和n上最大化(5.8)得到∧(s)≥对于s,Lα(s)≥ 0.从概率表示∧(s)=E0,snRτ推导出逆不等式*E-ru~Gα(Su)duo,候选者停止时间τ*:= inf{t≥ 0:St≥ s*}. 因此,我们得出结论∧(s)=Lα(s)和τ*这是最优的。最优清算方法*in(5.4)是非负的当且仅当λ<1,这相当于定理5.1中的条件u>r。
|