For bounded entropy solutions of the same scalar law, satisfies the displayed distributional inequality, with initial value in its test-function form. The doubling of variables for scalar conservation laws, local translation continuity and the averaged initial trace of an entropy solution prove it. Its significance is comparison between two solutions rather than an inequality against a constant state.
Set and . Both are symmetric in . For fixed apply the entropy inequality for at the constant level with test , then integrate over . This produces
Here the first integral is over both time-space pairs and the second over the three remaining variables. Repeat with , level , integrating over , to obtain the analogous terms with and initial value .
Adding and using symmetry gives
where and . All integrals are finite on the test's compact support because the states are bounded. The levels being inserted are constants relative to the variables in each entropy inequality; there is no differentiation of the merely measurable other solution. Fubini's theorem and continuity of justify the integration. This is doubling of variables for scalar conservation laws.