|
因此,h(x)≤ zfor x公司∈ [x,x]。那么,上面的方程就意味着0≤ hxx(x)≤2cσz≤2cuσz,x∈ [x,x],且作为hx在区间[x,x]上的积分(长度至少为δ∈ (0,1),最多1)不超过1,我们得出结论:hx(x)≤2cuσz+δ,x∈ [x,x]。引理的假设意味着bvc(C+1)-接近x,并且Fa绝对有界于C。因此,z=bv(x)C- x个- fa(x)≤ 2C+1,然后,hxis在[x,x]上以常数为界,与(pa,pb,v)无关,只要后者满足引理中所述的性质。最后,注意h(x)=z=s(十)- x个- fa(x),函数的斜率s- fa公司- x至少等于1/ - 1.- w开[x- , x] (由于提案2)。那么,我们可以选择 足够小,以便1/ - 1.- w≥ C≥ hx(x),对于x∈ [x- , x] 。因此,我们获得(十)- fa(x)- x个≤ h(x),x∈ [x- , x] 。作为h≥ bvc公司- fa公司- 通过构造,我们得出结论,上述不等式适用于所有x∈[x,x]。因此,我们得出结论,函数\\bvc- fa公司- x、 通过其在[y,y]上的线性插值进行修改,占主导地位- fa公司- x开[y=F(x),y=F(x+1)]。其他间隔[F(x+n),F(x+n+1)]由相同的参数处理。因此,我们获得了MCM\\s- fa公司- x个≤ mcm公司\\bvc公司- fa公司- x个,这将在上面的左侧和右侧之间产生所需的相等。第2步。让我们回顾一下[3]中的一些符号。设u>0,并考虑权重函数mu(x)=exp(-u| x |)。用Hu=W0,2,u,Vu=W1,2,u表示R上适当的mu加权Sobolev空间(我们需要加权空间,因为我们的系数是有界的和周期性的,而我们需要它们在整个有界域上是可积的)。对于任何u、r∈ Vu和任意p∈ Aa,我们定义(u,r)=ZRσmuur- 2u符号(x)σmuvmur+cpmuur dx。让fp∈ Hu,由fp(x)=间隙(x)- cp(x)x是我们相对x停止问题的运行cots,ku(v)={u∈ Vuu(x)≥ v(x)- x a.e。
|