|
利用γ的有界性,我们得到了| J(2)m |≤ZTtdtZdx(1+x)j/2 |γm(t,x)|嗯t型x(t,x)≤ CZTtdtZdx(1+x)j/2Zdτρm(t- τ、 x个-b(τ))嗯t型x(t,x).注意,由于Д是Lipschitz,我们有u^1t型x(t,.)∞≤Ctand,自suppρ [-1, 0] ×[-1, +1],嗯t型x(t,.)∞≤Z Zdτdyρm(τ,y)u^1t型x(t- τ, .)∞≤计算机断层扫描。因此| J(2)m |≤ CZTtdttZdxZdτρm(t- τ、 x个-b(τ))=C lnTt。(8) 从(6)、(7)和(8)中可以看出,thatlim supm→∞ZTt公司Wm公司t(t,.)jdt公司≤ C1+t2ε+lnTt,这证明了引理。3.3定理3.1的证明对于定理3.1的证明,我们将研究满足以下条件的方程:U/t、 乐视网=Ut、 我们有-五、t+(A- r) 五=小时t、 式中,h(t,x)=(A- r) Д(x)1{x≤~b(t)},t>0,x∈ R、 下面的引理将阐明导数的计算小时/t在分配的意义上。引理3.5。在(0+∞) ×R byI(t,x)=1{x≤~b(t)},t>0,x∈ R、 分发我/t应用于紧支撑C∞函数ρo n(0+∞) ×R由H给出我t、 ρi=Z▄b′(t)ρ(t,▄b(t))dt。可以这样写(不太精确):我t(t,.)=b′(t)δОb(t)。证据:我们有我t、 ρi=-你好ρti=-ZdtZdxI(t,x)ρt(t,x)设J为▄b的范围。我们有J=(▄b(∞),b(0))。注意,如果x≤b(∞), I(t,x)=1表示所有t>0,如果x≥对于所有t>0的情况,b(0)I(t,x)=0,因此,在大多数情况下,RI(t,x)ρt(t,x)dt=0。因此我t、 ρi=-ZJdxZdt1{x≤~b(t)}ρt(t,x)=-ZJdxZdt1{t≤b-1(x)}ρt(t,x)=-ZJdxρ(¢b-1(x,x)=Z▄b′(t)ρ(t,▄b(t))dt。在这里,我们使用了t hatb严格递减的事实(这在[10]中得到了证明),但我们也可以通过严格递减的f函数bε(t)=-εt+~b(t)推导公式。事实上,我们只需要▄b变为C:实际上,我们可以用▄bu(t)=代替▄b(t)▄-ut+~b(t)并选择u,以便▄bu在ρ的支撑点的时间投影附近严格增加。
|