The singular limit of a bilateral obstacle problem for a class of degenerate parabolic-hyperbolic operators (Q2386139)

Let T be a positive real number, \(\Omega\) be a subdomain of \(\mathbb R ^p\) with a Lipschitzian boundary \(\Gamma,\) and \(Q=]0,T[\times \Omega.\) Consider the operators \[ H(u)=\partial_t u+\sum_{i=1}^p \partial_{x_i} (f_i(t,x,u))+ g(t,x,u), \] \[ H_{\varepsilon}(u) = H(u) -\varepsilon \Delta \varphi (u), \] where \(\varphi\) is a nondecreasing Lipschitzian function such that \(\varphi' (x) \neq 0\), a.e. in \(\mathbb R\). Let \(\theta\) be a bounded function on \(\overline{\Omega}\), and \(u_o\) a measurable function on \(\Omega\) such that \(0\leq u_o\leq \theta\) a.e in \(\Omega.\) This paper deals with the following problem \((P_{\varepsilon})\): find measurable functions \(u_{\varepsilon}\) on \(Q\) such that \(0\leq u_{\varepsilon} \leq \theta\) on \(Q\), \(H_{\varepsilon} (u_{\varepsilon})=0\) on \(\{ 0<u_{\varepsilon}<\theta\}\), \(H_{\varepsilon } (u_{\varepsilon}) \leq 0\) on \(\{ 0<u_{\varepsilon }=\theta\}\), \(H_{\varepsilon }(u_{\varepsilon}) \geq 0\) on \(\{ u_{\varepsilon}=0<\theta\}\), \(u_{\varepsilon}=0\) on \(]0,T[\times \Gamma\) and \(u_{\varepsilon}(0,x)=u_o(x)\) on \(\Omega.\) Elaborate assumptions are made on the data. In particular, the obstacle function \(\theta\) , which does not depend on \(t\), belongs to \(W^{ 1,+\infty}(\Omega),\) and the flux \(\mathbf{f}=(f_1,\dots,f_p )\) is such that \(\xi \to \mathbf {f}(t,x,\varphi^{-1}(.))\) is Lipschitzian on \([0,\varphi(| | \theta| | _{L^{\infty} (\Omega)})]\), \(\forall (t,x)\in Q.\) By means of variational methods, the author studies the existence, the uniqueness, of weak and strong solutions \(u_{\varepsilon}\) to \((P_{\varepsilon})\), and he shows that, as \(\varepsilon \to 0\), \(u_{\varepsilon}\) converges strongly in \(L^q(Q)\), \(1\leq q<+\infty\), to the weak entropy solution to the corresponding bilateral obstacle problem for \(H\).