Attainable profiles for conservation laws with flux function spatially discontinuous at a single point

Abstract

Consider a scalar conservation law with discontinuous flux \quad u_{t}+f(x,u)_{x}=0, \qquad f(x,u)= f_l(u)\ &\text{if}\ x<0, \f_r(u)\ & \text{if} \ x>0, where $u=u(x,t)$ is the state variable and $f_{l}$, $f_{r}$ are strictly convex maps. We study the Cauchy problem for (1) from the point of view of control theory regarding the initial datum as a control. Letting $u(x,t)\doteq \mathcal{S}_t^{AB} \overline u(x)$ denote the solution of the Cauchy problem for (1), with initial datum $u(\cdot,0)=\overline u$, that satisfy at $x=0$ the interface entropy condition associated to a connection $(A,B)$, we analyze the family of profiles that can be attained by (1) at a given time $T>0$: \mathcal{A}^{AB}(T)=\left\{\mathcal{S}_T^{AB} \,\overline u : \ \overline u\in{\bf L}^\infty\right\}. We provide a full characterization of $\mathcal{A}^{AB}(T)$ as a class of functions in $BV_{loc}(\mathbb{R}\setminus\{0\})$ that satisfy suitable Ole\v{\i}nik-type inequalities, and that admit one-sided limits at $x=0$ which satisfy specific conditions related to the interface entropy criterium. Relying on this characterisation, we establish the ${\bfL^1}_{loc}$-compactness of the set of attainable profiles when the initial data $\overline u$ vary in a given class of uniformly bounded functions, taking values in closed convex sets. We also discuss some applications of these results to optimization problems arising in traffic flow.

Initial data identification in conservation laws and Hamilton–Jacobi equations

“…set, is [2], where H in (CL) consists of an expression for x > 0 and another expression for x < 0, see also the related preprint [1].…”