|
然后,从Theo rem 3.4的比较原理表明,序列u增加了s↓接下来,估计(49)和引理3.2意味着u(S,τ)收敛到任意(S,τ)的有限极限u(S,τ)∈ (0, +∞) ×[0,T]。更重要的是,u弱收敛于L(0,T;Lw)中的u(S,τ),u弱收敛-* 收敛到u inL∞(0,T,Hw)和u满足估计(49)。然后证明f[τ;u,ξγh+(1- ξ)c]在L(0,T;h)中弱收敛于F[τ;u,γh]*w) 。首先,注意f[τ;u,ξγh+(1- ξ)c]=˙u-σSu′,SSis在L(0,T;H)中有界*w) 然后就有了一个元素F∈ L(0,T;H)*w) 使得f[τ;u,ξγh+(1- ξ)c]L(0,T;H)*w) ~F.另一方面,F[τ;u,ξγh+(1- ξ)c]由常数函数κ从上方限定。让v∈ L(0,T;Hw)是任意非负函数。然后法图引理暗示了dκ-~F,vE=lim→0(κ - F[·;u,ξγh+(1)- ξ)c],v)L(0,T;Lw)≥ hκ- F[·;u,γh],vi≥ 0,(58)即F[·;u,γh]∈ L(0,T;H)*w) 和F[·;u,γh]≥~F.最后,我们证明了事实上F[·;u,γh]≡~F,即hF[·;u,γh],vi=D~F,vE五、∈ L(0,T;Hw)。(59)首先,观察t,v:=ξv→ v as→ 0英寸长(0,T;Hw)。因此,证明(59)函数v在形式I×[0,T]的集合外消失是有效的,其中I (0, +∞) 这是一段封闭的间歇期。根据估计(49)和引理3。2(适用于区间I)函数u和u一致有界×[0,T]。然后Hf[·;u,γh],vi=lim→0(F[·;u,ξγh+(1- ξ)c],v)L(0,T;Lw)=D~F,vE。第三步。让h∈ 嗯。然后,初值问题(1)存在一个弱解u。此外,不平等性(49)依然存在。考虑一系列具有初始条件un(S,0)=max{γh(S)的问题,-N} N=1,2。然后,由于比较原理和引理3.2,相应的解形成一个递减序列。
|