Entropy solutions for first-order quasilinear equations related to a bilateral obstacle condition in a bounded domain (Q5933949)

The author considers the following free boundary problem: \[ \begin{cases} 0\leq u\leq\theta \text{ in }Q= (0,T)\times\omega,\\ \mathbb{H}(t,x,u) =0\text{ in }\bigl\{ (t,x)\in Q:0<u (t,x)<\theta (t,x)\bigr\},\\ u(t,\sigma) =u^B\text{ on a part of }\Sigma= (0,T)\times \partial\Omega,\;u(0,\cdot)= u_0\text{ in } \Omega, \end{cases}\tag{P} \] where \(u_0\), \(u^B\), \(\theta\) are given and \(\mathbb{H}\) is a first-order hyperbolic operator, in which the dependence on \(u\) is taken into consideration in the transport and reaction terms. First the problem (P) (with its initial and boundary conditions) is formulated within the context of an Entropy Measure-Valued Solution (EMVS) [cf. \textit{L. Lévi}, Preprint No. 97/08, U.P.R.E.S., A 5033, Université de Pau (1997)]. An equivalent condition is given for a Young measure \(\nu\) to be an EMVS to the problem (P). The existence of EMVS to the problem (P) is shown by use of the penalization method (cf. [\textit{C. Bardos}, \textit{A.-Y. Le Roux} and \textit{J. C. Nédélec}, Commun. Partial Differ. Equations 4, 1017-1034 (1979; Zbl 0418.35024)]). The proof of the uniqueness of the EMVS for the problem (P) is based on the method developed in [\textit{S. N. Kruzhkov}, Math. USSR, Sb. 10, 217-243 (1970; Zbl 0215.16203); translation from Mat. Sb., Ser. 81(123), 288-255 (1970; Zbl 0202.11203)].