Discretization of parabolic inequalities (Q749166)

The paper deals with time discretization of abstract parabolic variational inequalities where linear multistep methods are used. The problems under consideration are the following: Let H, V be two complex Hilbert spaces \((V\subset H\subset V')\) and K a closed subset of V. Given \(u_ 0\in K\), \(f: [0,T]\to V',\quad A: K\to V'.\) Find a function \(u: [0,T]\to K\) such that \(u,u'\in L_{\infty}([0,T],H)\cap L_ 2([0,T],H),\quad u(0)=u_ 0\) and \(Re(u'(t)+Au(t)-f(t),\quad u(t)-v)\leq 0\forall v\in K\) or \[ \int^{\infty}_{0}(w(t)+Au(t)-f(t),\quad u(t)- v(t))dt\leq | u_ 0-v(0)|^ 2 \] for all \(v,w\in L_{\infty}([0,T],H)\cap L_ 2([0,T],H),\) respectively. The author considers three different versions of discretizations in order to make easier (i) the manipulation of the inequality, or (ii) the control of stability, or (iii) the application of Baiocchi's technique. Some new definitions are introduced. The so-called (\(\sigma\),\(\tau\))- compatibility of certain bilinear forms is discussed. Error estimations are given. The discretization of a model problem with the heat operator illustrates the theory Numerical results are presented for this example.