|
这就完成了定理5.6中性质(i)的证明,表明(5.9)成立。相反,假设(5.9)成立,那么定理5.6中的属性(ii)也成立。自G(yβ)∈ V |β|,标识y(yβ)=TreaY(x)yy(yβ+ bY(x)y(yβ)+ZRd+e(y+η)β- yβ- η(yβ)-η(yβ)ν(x,dξ×dη),应用β=EI产生bYi∈ 五、 其中给出了(5.5)。取β=ei+ejwe,同样得到AyIj∈ 五、 其中给出了(5.6)。考虑|β|≥ 3,对于α=0,我们得到(5.8)。D、 7推论的证明5.4过程Zt=(Xt,Yt)由DZT给出=dXtP(Xt)dtQ(Xt-) dXt公司= K(Xt-) dtXt文件, 其中K(x)=0 idP(x)00 Q(x).然后可以计算其差异特征u singKallsen(2006年,命题2)。我们发现它们是Xt的确定函数a(x)、b(x)和ν(x,dζ),其中(x)=K(x)0 00 aX(x)K(x)=aX(x)0 aX(x)Q(x)0 0 0Q(x)aX(x)0 Q(x)aX(x)Q(x), (D.6)b(x)=K(x)bX(x),ν(x,A)=ZRdAK(x)ξνX(X,dξ)。特别地,我们假设ZRd+ekζknν(x,dζ)=ZRd(kξk+kQ(x)ξk)n/2νx(x,dξ)≤ (1+kQ(x)k)n/2ZRdkξknνx(x,dξ)<∞对于所有x∈ E和所有n≥ 其中kQ(x)k表示Q(x)的算子范数。因此(5.4)成立。其次,(5.5)成立,因为b(x)的分量是次数最多为n的多项式。为了验证(5.6)–(5.8),我们首先观察恒等式ZRdf(ξ)g(η′,η′)ν(x,dξ×dη′×dη′))=ZRdf(ξ)g(0,Q(x)ξ)νx(x,dξ),(d.7),其中我们将η=(η′,η′)写入Re′+e′中的通用向量。设f(ξ)=xα,g(η)=ηβ=η′β′η′β′,其中我们根据分解η=(η′,η′)分解β=(β′,β′)。Sinceg(0,Q(x)sξ)=任何s的s |β′′g(0,Q(x)ξ)∈ R、 对于一些多项式Rγ(x),它遵循th atg(0,Q(x)ξ)=xγ:|γ|=|β′′Rγ(x)ξγ。由于如果β′6=0,则左侧消失,因此在此例中取rγ(x)=0。此外,由于Q(x)的分量最多为n次-1,g(0,Q(x)ξ)的次数,被视为x中的多项式,在m ost(n-1) β′+··+(n-1) β′e′=(n-1)|β′′|.
|