No label defined (Q3972333)

[For the entire collection see Zbl 0703.00016.] The authors discuss the problem of finding functions \(u\) and \(w\) on \(\Omega\times(0,T)\) such that \[ (P^ \alpha_ \gamma):\begin{cases} {\partial u\over \partial t}=\Delta w,\quad u(x,0)=u_ 0(x);\\ h+w\varepsilon-\gamma\Delta u-\alpha\text{div}\{\text{sign}(\nabla u)\}+u^ 3-\beta^ 2u;\\ w\mid_{\partial\Omega\times(O,T)}=0,\quad u\mid_{\partial\Omega\times(0,T)}= g\mid_{\partial\Omega\times(0,T)}\end{cases} \] under the assumptions \(\gamma>0\), \(\alpha>0\), \(\beta\in R^ 1\), \(u_ 0\in H^ 1(\Omega)\), \(g\in\overline{W}(0,T)\cap L^ \infty(0,T;H^ 1(\Omega))\), \(h\in\overline{W}(0,T)\), \(\Delta h=0\), \(\Delta g=0\), where \(\Omega\) is a Lipschitz domain, \[ \begin{aligned} W(0,T)&=\{z\in L^ 2(0,T;H^ 1(\Omega)),\;{\partial z\over \partial t}\in L^ 2(0,T;H^{- 1}(\Omega))\},\\ \overline{W}(0,T)&=\{z\in L^ 2(0,T;H^ 1(\Omega)),\;{\partial z\over\partial t}\in L^ 2(0,T;H^{- 1}(\Omega))\}.\end{aligned} \] Problem \((P^ \alpha_ \gamma)\) has exactly one weak solution, and under the additional assumptions \(\Omega\in C^{2,1}\), \(g\in L^ 2(0,T;H^ 3(\Omega))\) one has \(u-g\in L^ \infty(0,T;H^ 1_ 0(\Omega))\cap W(0,T)\cap L^ 2(0,T;H^ 2(\Omega))\), \(w\in L^ 2(0,T;H^ 1_ 0(\Omega))\). A stronger result is stated in the one-dimensional case. The authors propose to approximate problem \((P^ \alpha_ \gamma)\) by using the finite difference method in certain iterative procedure; results of computational experiments are presented.