|
在下一个引理中,我们给出了确保B的充分条件。让我们用R表示D:R=sup{x的直径- y |,(x,y)∈ D} ,由kσk表示σkσk=supx的谱范数∈Rdsupv∈路|五号|≤1v。(σ(x)σ*(x) v,通过kbk表示b的sup范数:kbk=supx∈Rd | b(x)|。如果d=1,则定义Jd等于π/4,并等于第一类贝塞尔函数Jd/2的第一个正零-如果≥ 2(对于d=2,j≈ 2.4048).引理21。假设存在ν>0和v∈ 所以对于所有的x∈ R方法是b(x)。五、≥ ν > 0. 如果δ*<νkσk,那么条件B对所有ρ都成立∈ (δ*,νkσk)。假设b=0(没有漂移)和σσ*是一致椭圆的,即存在常数α>0,使得(σσ*)(十)≥ 所有x的αId∈ 如果δ*<2αR(jd),则条件B对所有ρ都成立∈ (δ*,2αR(jd))。证据因为D是有界的,不等于一个单态,所以它认为0<R<+∞.首先假设存在ν>0和v∈ 所以对于所有的x∈ Rd,b(x)和v之间的scalarproduct从下面以ν为界。我们可以假设| v |=1。设t>R/ν。在集合{τ>t}上,它认为Ξ和Ξ在D中。这意味着在集合{τ>t}上,对于任何0≤ s≤ t、 太好了≤s≤t(-v) 。Ξs- Ξ-Zsb(Ξu)du≥ tν- 因此,从定理II。2.2in[27]P(τ>t)≤ Psup0≤s≤t(-v) 。Ξs- Ξ-Zsb(Ξu)du≥ tν- R≤ 经验-(tν- R) kσkt.这意味着对于所有t>R/νthateρtP(τ>t)≤ 经验ρt-(tν- R) kσkt.根据托内利定理e(eρτ)=Z+∞ρeρtP(τ>t)dt+1<+∞假设ρ<νkσk.在s秒的情况下,已知(见Friedman[9],定理14.10.1)条件物ρτ<∞ 对于小于集合D上Ξ的微元生成器L中的主特征值的所有数ρ,保持不变:Lφ(x)=道σ(x)σ*(x) Dφ(x),其中Dφ是φ的Hessian矩阵∈ 丙(右)。为了得到假设B的α和R的条件,我们考虑了一个辅助问题。
|