Averaged initial trace of an entropy solution
ID: averaged-initial-trace-of-an-entropy-solution
For a bounded entropy solution with its initial entropy inequalities, the displayed limit holds on every compact spatial set. Test a constant-level entropy with . The flux remainder is , giving a bound by . A finite smooth partition and constant levels approximate the initial function in local ; the triangle inequality makes the limsup arbitrarily small. This averaged trace suffices for one-sided time mollifiers supported in .
New to topics? Read the docs here!