|
为此,我们只需要确定定理中的条件AS2和AS3。1.注意,条件AS1由命题2.7和(K)的有界性保证-ST)+=:F.我们的第一个确认条件如下所示:C1 u,u∈ L1,2;和2usDt,zus+z(Dt,zus)∈ a.e.s.的L(q×P)∈ [0,T]。C2θ+对数(1- θ) ∈eL1、2和日志(1-θ) ∈ L1,2。C3代表q-a.e.(s,x)∈ [0,T]×(0,∞), 有一个εs,x∈ (0,1)使得θs,x<1- εs,x.C4 ztnt,0log ZT{0}(z)+ezDt,zlog ZT-1z(0,∞)(z) o∈ L(q×P)。C5 F∈ D1,2;ZTDt,zF+FDt,zZT+zDt,zF·Dt,zZT∈ L(q×P)。C6 FH*t、 z,H*t、 zDt,zF∈ L(P*) 对于q-a.e.(t,z)∈ [0,T]×(0,∞).在这里,L1,2,L1,2和L1,2定义如下:oL1,2表示G的空间:[0,T]×Ohm → R(a)Gs∈ D1.2对于a.e.s∈ [0,T],(b)EhR[0,T]| Gs | dsi<∞,(c) EhR[0,T]×[0,∞)RT|Dt,zGs|dsq(Dt,dz)i<∞.o L1,2定义为G的空间:[0,T]×(0,∞) ×Ohm → R使得(d)Gs,x∈ D1,2 q-a.e.(s,x)∈ [0,T]×(0,∞),(e) EhR[0,T]×(0,∞)|Gs,x|ν(dx)dsi<∞,(f) EhR[0,T]×[0,∞)R[0,T]×(0,∞)|Dt,zGs,x|ν(dx)dsq(Dt,dz)i<∞.oeL1,2定义为G的空间∈ L1,2如(g)ER[0,T]×(0,∞)|Gs,x |ν(dx)ds< ∞,(h) ER[0,T]×[0,∞)R[0,T]×(0,∞)|Dt,zGs,x |ν(dx)dsq(dt,dz)< ∞.条件C1:首先,我们看到你∈ L1,2。为此,我们检查L1、2定义中的(a)-(c)项。引理A.8和A.7分别确保(A)和(b)项。参见第(c)项,引理A.8Z[0,T]×[0,∞)ZT | Dt,zus | dsq(Dt,dz)≤Z[0,T]×[0,∞)(T)-t) Cuzzν(dz)dt<∞,你是从哪来的∈ L1,2如下。接下来,我们展示2usDt,zus+z(Dt,zus)∈ L(q×P)asEZ[0,T]×[0,∞)(2usDt,zus+z(Dt,zus))q(Dt,dz)≤ 2CuZ[0,T]×0,∞)z+1zν(dz)dt<∞ (4.1)引理A.7和A.8。最后,我们证明你∈ L1,2。引理A.7支持(b)项。和我们一样∈ D1、2和我们∈ [22]中的命题5.1和命题5.4以及(4.1)暗示了(a)项和Dt,zus=2usDt,zus+z(Dt,zus)。
|