|
根据定理3.6,U是非空的当且仅当0是自然边界,因此我们假设0是自然边界。对于λ<r,元组(λ,Mλ)总是inU。根据方程(3.2),我们知道λ≥ r、 λ=r的情况相对容易找到集合U。因为{(λ,Mλ)|λ<r} U {(λ,Mλ)|λ≤ r} ,则集合U由对应于tup(r,Mr)的解确定。考虑相应二阶微分方程σ(x)h′(x)+k(x)h′(x)=0的解。通过直接计算,得到了两个线性独立解areh(x)=1+cZxξe-Ryξ2k(s)σ(s)dsdy,h(x)=1。显然,h(x)=1不满足通常的条件。通过考虑函数h(x),我们有以下命题。回想一下γ(x):=e-Rxξ2k(s)σ(s)ds。3.3中的提议。假设λ=r且0为自然边界。IfR公司∞ξγ(x)dx=∞ andRξγ(x)dx<∞, 那么U={(λ,Mλ)|λ≤ r} 。否则,U={(λ,Mλ)|λ<r}。证据假设∞ξγ(x)dx=∞ andRξγ(x)dx<∞. 那么h(x)w ithc=Rξγ(x)dx是对应于(R,Mr)的函数。清晰边缘→0+h(x)=0,选择c。因此,这个例子在U中。反之亦然。值得注意的是∞ξγ(x)dx=∞ andRξγ(x)dx<∞ 表示扩散过程X具有以下特性:L限制→∞Xt=0= Lsup0≤t型<∞Xt<∞= 1.请参阅Karatzas和Shreve(2012)第345页。我们现在考虑λ>r的情况。请参阅附录C以获得以下定理的证明。定理3.7。假设λ>r且0为自然边界。IfR公司∞ξγ(x)dx=∞, thenU={(λ,Mλ)|λ≤λ}或{(λ,Mλ)|λ<λ}。此外,如果∞ 是自然边界,则U={(λ,Mλ)|λ≤ λ }. IfR公司∞ξγ(x)dx<∞, thenU={(λ,Mλ)|λ<r}。作者推测∞ξγ(x)dx=∞, 右侧边界∞ 是自然边界当且仅当U={(λ,Mλ)|λ≤λ }.3.6容许集本文的目的是在假设1-5下找到容许集A。
|