|
对于任何ε>0和β,ν∈ Ndwith |ν|≤ N+2,我们有|(x)- y) βDνxΓ(t,x;t,y)|≤ C·(T)- t) |β|-|ν|ΓM+ε(t,x;t,y),0≤ t<t≤T,x,y∈ Rd,其中ΓM+ε是热算符(3.20)的基本解,C是一个正常数,仅依赖于M,N,T,ε和|β|。为了陈述我们的理论结果,我们对柯西问题的解的空间导数进行了一些初步估计,其系数可能依赖于t,但在x中是恒定的。这种估计的质量取决于终端数据的正则性。提案6.22。假设A的系数在空间中是常数(即Aα(t,·)≡ aα(t))。让β∈ 恩达尼∈ Ck-1,1b研发部为了一些k∈ N.然后,柯西问题(1.1)的解决方案满足要求Dβxu(t,x)≤ C·(T)- t) min{k-|β|,0}, 0 ≤ t<t≤T,x∈ Rd,其中C仅依赖于M,N,T,|β|和k|kCk-1,1b。证据由于A具有独立于空间的系数(t+A)是(3.6)中的高斯函数。直接计算表明,对于任何多项式函数p=p(y),我们都有Zrdp(y)Γ(t,x;t,y)dy=\'p(x),其中\'p是一个度为deg(\'p)=deg(p)的多项式。因此,对于一个纽约人来说∈ 对于|ν|>deg(p),我们有Zrdp(y)DνxΓ(t,x;t,y)dy=DνxZRdp(y)Γ(t,x;t,y)dy=0。特别地,让我们设置h=min{|β|,k},并用T|x表示,即T|x,h(x)=x||≤hD~n(\'x)ν!(十)- 其中,根据惯例,当h=-1,然后是Tаx,-1.≡ 0.那么我们有Zrdtаx,h-1(y)DβxΓ(t,x;t,y)dy=0。
|