next up previous contents
Next: Degenerate parabolic equations Up: Regularizing effect revisited () Previous: Regularizing effect revisited ()

Kinetic and other approximations

Theorem 2.3.1 provides an alternative route to analyze the convergence of general entropy stable multi-dimensional schemes, schemes whose convergence proof was previously accomplished by measure-valued arguments; here we refer to finite-difference, finite-volume, streamline-diffusion and spectral approximations ..., which were studied in [4, 18, 19, 15, 16, 3]. Indeed, the feature in the convergence proof of all these methods is the tex2html_wrap_inline6077-compact entropy production, (2.4.33). Hence, if the underlying conservation law satisfies the non-linear degeneracy condition (2.3.22), then the corresponding family of approximate solutions, tex2html_wrap_inline6079 becomes compact. Moreover, if the entropy production is bounded measure, then there is actually a gain of regularity indicated in Theorem 2.3.1 and respectively, in (2.3.21) for the translation invariant case. Remark. Note that unlike the requirement for a nonpositive entropy production from measure-valued solutions (consult (gif) in Lecture I), here we allow for an arbitrary bounded measure.

So far we have not addressed explicitly a kinetic formulation of the multidimensional conservation law (2.3.15). The study of regularizing effect for multidimensional conservation laws was originally carried out in [22] for the approximate solution constructed by the following BGK-like model, [28] (see also [2],[14]),

Here, tex2html_wrap_inline6081 denotes the `pseudo-Maxwellian',
which is associated with the average of tex2html_wrap_inline6083,
The key property of this kinetic approximation is the existence of a nonnegative measure, tex2html_wrap_inline6085 such that tex2html_wrap_inline6087 (The existence of such measures proved in [22] and is related to H-functions studied in [28] and Brenier's lemma [2].) Thus, we may rewrite (2.3.25) in the form

Let tex2html_wrap_inline6089 be an entropy pair associated with (2.3.15). Integration of (2.3.29) against tex2html_wrap_inline6091 implies that the corresponding macroscopic averages, tex2html_wrap_inline6093, satisfy

Thus, the entropy production in this case is nonpositive and hence a bounded measure, so that Theorem 2.3.1 applies. Viewed as a measure-valued solution, convergence follows along DiPerna's theory [8]. If, moreover, the nondegeneracy condition (2.3.16) holds, then we can further quantify the tex2html_wrap_inline6095-regularity (of order tex2html_wrap_inline6097.)

Theorem 2.3.1 offers a further generalization beyond the original, 'kineticly' motivated discussion in [22]. Indeed, consideration of Theorem 2.3.1 reveals the intimate connection between the macroscopic assumption of bounded entropy production in (2.3.17), and an underlying kinetic formulation ({2.3.20), analogous to (2.3.29). For a recent application of the regularizing effect for a convergence study of finite-volume schemes along these lines we refer to [24].

next up previous contents
Next: Degenerate parabolic equations Up: Regularizing effect revisited () Previous: Regularizing effect revisited ()

Eitan Tadmor
Mon Dec 8 17:34:34 PST 1997