|
现在我们证明了F的性质,这些性质到目前为止只是猜测。提案4.7。(4.32)i中定义的自由边界F对于所有x严格递减∈(十)∞, x) 属于C∞((x)∞, x] )。此外,(4.33)limx↓x个∞F(x)=∞ = 林克斯↓x个∞F′(x)。具有价格影响证明的最佳提取。第1步。我们首先证明所声称的单调性。注意,(4.32)一hasF′(z)=-Θ(z),这里是函数Θ:(x∞, ∞] 7.→ R由Θ(z):=[ψ′′(z)[(z)]给出- c) ψ′(z)- ψ(z)]- ψ′′(z)[(z- c) ψ′(z)- ψ′(z)]]ψ(z)-α[ψ′(z)ψ(z)- ψ′(z)][(z- c) ψ′(z)- ψ′(z)]。根据引理4.3,一个有ψ′′(z)ψ(z)- ψ′(z)>0,对于任何z∈ R、 此外,Φ(z):=(z-c) ψ′(z)- ψ′(z)>0,所有z>x∞> c根据推论4.6。因此,对于任何z,Θ的分母都是严格负的∈ (十)∞, x) 。同样,应用推论4.6意味着对于任何z,在Θ的算符处的th是严格负的∈ (十)∞, x) ,因此Θ>0且F′<0。因此,我们得出结论,F是严格递减的。第2步。为了证明(4.33),回想一下,从步骤1开始,我们设置了Φ(z)=(z-c) ψ′(z)-ψ′(z)>0表示所有z∈ (十)∞, x) ,和defineh(z):=[ψ′′(z)[(z- c) ψ′(z)- ψ(z)]- ψ′′(z)[(z- c) ψ′(z)- ψ′(z)]]ψ(z)-α[ψ′(z)ψ(z)- ψ′(z)],z∈ (十)∞, x) ,在步骤1中为连续且非负。注意h/Φ=Θ,其中Θ与步骤1相同。根据德·霍皮塔尔的规则,林茨↓x个∞Φ(z)z- x个∞= 林茨↓x个∞Φ′(z)=(x)∞- c) ψ′′(x∞) =: l > 因此,对于任何ε>0的情况,在if | z处存在δε>0这样的th- x个∞| < Δε,则Φ(z)z-x个∞- l< ε.因此,对于任何ε>0,我们将Δε设为如上所述,并取x∈ (十)∞, x个∞+ δε). 然后,回顾(4.32),我们看到存在一个常数C>0(可能取决于x∞和x,但不是x)s uch thatF(x)=ZxxΘ(z)dz=Zxxh(z)(z- x个∞)Φ(z)(z-x个∞)dz公司≥Zx公司∞+ΔεxC(l + ε) dz(z- x个∞)+ CZxx公司∞+ΔεdzΦ(z)→ ∞作为x↓ x个∞.最后,由于(4.32)中的被积函数是C∞-功能开启(x∞, x] ,也就是说,F也是So。备注4.8。
|