|
我们证明的恒等式中所有术语的一致性是引理5.3和假设的u和ux加权可积性的结果。将方程式(5.6)乘以w(x)yδ+, 将伊藤公式应用于L(R+)范数(定理3.1,来自[6],适用于三重H L H-1,当∧(u)=w(·)u时,然后在R+上积分y,我们得到等式ki,1(t,·)kLδ,w=ZDU(·,z)φ(z,·)dzLδ,w-2rZtxI,1(s,·),I,1(s,·)Lδ,wds+ZtxI,h(z)(s,·),I,1(s,·)Lδ,wds-kθZtyI,z-(s,·)、I、1(s,·)Lδ,wds+kZtyI,z(s,·),I,1(s,·)Lδ,wds+ZtxI,h(z)(s,·),I,1(s,·)Lδ,wds+ξZt一,1(s,·),一,1(s,·)Lδ,wds+ρZtx个yI,h(z)(s,·),I,1(s,·)Lδ,wds+ξρρ1,1ρ2,1ZtxI,h(z)(s,·),yI,1(s,·)Lδ,wds+ξZtyI,z-(s,·)、I、1(s,·)Lδ,wds+ρ1,1ZtxI,h(z)(s,·)Lδ,wds+ξρ2,1ZtyI,1(s,·)Lδ,wds- 2ρ1,1ZtxI,h(z)(s,·),I,1(s,·)Lδ,wdWs-ξρ2,1Zt一,1(s,·),一,1(s,·)Lδ,wdBs。(E3.31)现在观察到,根据我们的SPDE的定义,我们有ZR+ZRuxx(s,x,z)φ(z,y)w(x)f(x)dzdx=ZR+ZRu(s,x,z)φ(z,y)w(x)f(x)xxdzdx=-ZR+ZRux(s,x,z)φ(z,y)w(x)f(x)xdzdx=-ZR+ZRw(x)ux(s,x,z)φ(z,y)fx(x)dzdx-Z[0,1]ZRux(s,x,Z)φ(Z,y)f(x)dzdx(E3.32),等于-ZR+ZRw(x)ux(s,x,z)φ(z,y)fx(x)dzdx+z[0,1]ZRu(s,x,z)φ(z,y)fx(x)dzdx-ZRu(s,1,z)φ(z,y)f(1)dz对于[0+∞). 自u起∈ 由于f(1)可以由f的Hα范数控制(通过使用1附近的Morrey不等式),(E3.32)定义了光滑函数空间f上的线性泛函(定义于[0+∞)) 在Hα拓扑下有界。然后,由于这些函数形成了hα的稠密子空间,我们得到(E3.32)也适用于任何f∈ Hα。
|