最佳停车时间τ*∈ S和值函数媫V∈ C(0,∞) 对于问题(3.1),由τ给出*= ˇτz*和媫V=“V,其中(a)z*∈ (0,rκ/(r- u)) (0,κ+c)是(3.5)和“V”的解∈ C(0,∞) ∩C(z*, κ+c)由(3.4)除以(z)确定*, κ+c)和“V(x)=κ- x、 对于所有x∈ (0,z*] ∪[κ+c,∞),如果条件(3.7a)成立;(b) z*= κ+c和“V”∈ C(0,∞) 由“V(x)=κ”确定- x、 对于所有x∈ (0, ∞), 如果条件(3.7b)成立;(c) z*= κ+c和“V”∈ C(0,∞) 由“V(x)=κ”确定- x、 对于所有x∈ (0, ∞), 如果条件(3.7c)成立;(d) z*= κ+c和“V”∈ C(0,∞) 由“V(x)=κ”确定- x、 对于所有x∈ (0, ∞), 如果条件(3.7d)成立;(e) z*= 0和“V”∈ C(0,∞) ∩ C(0,κ+C)由(4.3)除以(0,κ+C)和“V(x)=κ确定- x、 对于所有x∈ [κ+c,∞), 如果条件(3.7e)保持不变。(f) z*= κ+c和“V”∈ C(0,∞) 由“V(x)=κ”确定- x、 对于所有x∈ (0, ∞), 如果条件(3.7f)成立;和(g)z*= κ+c和“V”∈ C(0,∞) 由“V(x)=κ”确定- x、 对于所有x∈ (0, ∞), 如果条件(3.7g)保持不变。证据(a) :假设条件(3.7a)成立,在这种情况下z*∈ (0,κ+c)是(3.5)和“V”的唯一解∈ C(0,∞) ∩ C(z*, κ+c)由(3.4)除以(z)确定*, κ+c)和“V(x)=κ-x、 对于所有x∈ (0,z*] ∪[κ+c,∞). 注意“V∈ C(0,κ+C),因为(3.2c)确保“V′在z处连续*和|“V′((κ+c))-)| < ∞, 通过检查(3.4)。另一方面,“V/∈ C(0,κ+C),sinc e“V′(z*+) > 0=“V′(z*-), 正如下面引理4.1讨论中所述。因此,标准It^o公式不能应用于工艺R+ t 7→ e-(λ+r)(t∧^τκ+c)“V(Xt∧τκ+c)。然而,“V∈ C(0,z*] ∩C【z】*, κ+c],自|“V′(z*+)| < ∞ 和|“V′”((κ+c)-)| < ∞, 通过检查(3.4)。
|