Maps of Convex Sets and Invariant Regions¶for Finite-Difference Systems¶of Conservation Laws

Abstract

General results about maps of convex sets in ℝⁿ are proved. We outline their extensions to an infinite-dimensional context. Such extensions have applications in nonlinear analysis such as in the study of the invariance of convex sets under nonlinear maps. Here, we explore applications only in the finite-dimensional context. More specifically, we apply the general results to the problem of finding sufficient conditions for a region of the state space to be globally or locally invariant under finite-difference schemes applied to systems of conservation laws in several space variables. In particular, we establish a final characterization of the invariant regions under the Lax-Friedrichs scheme and also give sufficient conditions for the local invariance. Further, we give sufficient conditions for the global and local invariance of regions under flux-splitting finite-difference schemes. An example of the multi-dimensional Euler equations for non-isentropic gas dynamics is discussed.