|
在引理5.5的表示法中,假设存在一个常数C>0和一个n∈ 对于任何大于0的lylJu,(·,·)L(∧,u);L(R))≤ C(5.2)对于∧×R和所有l中支持的某些函数u∈ {1,2,…,n}。那么我们有lylJu公司∈L(Λ, u) ; L(R)还有lylJu,-→l我刚好在L(Λ, u) ; L(R)as-→+, 对于所有l∈ {1,2,…,n}。在X上写入标准Lebesgue测量值的uX和uWX X上的R和加权lebesgue测度 R的重量分别为w(x),我们可以写Ohm;L= LOhm×R+,P×uR+; L(R),LOhm;L0,w= LOhm×R+,P×uwR+; L(R),L[0,t]×Ohm;L= L[0,t]×Ohm×R+,u[0,t]×P×uR+; L(R),安德尔[0,t]×Ohm;L0,w= L[0,t]×Ohm×R+,u[0,t]×P×uwR+; L(R),这是上面两个引理将被使用的空间。现在是所有α问题的α-解u≥ 0我们设置:I,g(z)(s,x,y)=ZRg(z)u(s,x,z)φ(z,y)dz,对于z和>0的任何函数g,我们得到以下结果MMA 5.7。对于α-溶液u,我们有以下等式yki,1(t,·)kL(Ohm;L0,w)=ZRU(·,z)φ(z,·)dzL(Ohm;L0,w)+rZtI[0,1]×R(·)I,1(s,·)L(Ohm;L)ds+ZtxI,h(z)(s,·),I,1(s,·)L(Ohm;L0,w)ds+2kθZtI,Q′(z)(s,·),yI,1(s,·)L(Ohm;L0,w)ds-ξZtI,q′(z)(s,·),yI,1(s,·)L(Ohm;L0,w)ds-2kZtI,zQ′(z)(s,·),yI,1(s,·)L(Ohm;L0,w)ds-Zt公司xI,h(z)(s,·),xI,1(s,·)L(Ohm;L0,w)ds-Zt公司xI,h(z)(s,·),I[0,1]×R(·)I,1(s,·)L(Ohm;L)ds+ρZtxI,h(z)(s,·)L(Ohm;L0,w)ds-ξ1.- ρZt公司yI,1(s,·)L(Ohm;L0,w)ds。-2 (ρ -ξρρ)×ZtxI,h(z)(s,·),yI,1(s,·)L(Ohm;L0,w)ds。(5.3)上述标识中的所有术语均为有限的。上述引理的证明也可以在附录中找到。我们现在准备证明定理5.3的主要结果证明。
|