Extended Divergence-Measure Fields, the Gauss-Green Formula, and Cauchy Fluxes

Gui-Qiang G. Chen,Christopher Irving,Monica Torres
2024-10-12
Abstract:We establish the Gauss-Green formula for extended divergence-measure fields (i.e., vector-valued measures whose distributional divergences are Radon measures) over open sets. We prove that, for almost every open set, the normal trace is a measure supported on the boundary of the set. Moreover, for any open set, we provide a representation of the normal trace of the field over the boundary of the open set as the limit of measure-valued normal traces over the boundaries of approximating sets. Furthermore, using this theory, we extend the balance law from classical continuum physics to a general framework in which the production on any open set is measured with a Radon measure and the associated Cauchy flux is bounded by a Radon measure concentrated on the boundary of the set. We prove that there exists an extended divergence-measure field such that the Cauchy flux can be recovered through the field, locally on almost every open set and globally on every open set. Our results generalize the classical Cauchy's Theorem (that is only valid for continuous vector fields) and extend the previous formulations of the Cauchy flux (that generate vector fields within $L^{p}$). Thereby, we establish the equivalence between entropy solutions of the multidimensional nonlinear partial differential equations of divergence form and of the mathematical formulation of physical balance laws via the Cauchy flux through the constitutive relations in the axiomatic foundation of Continuum Physics.
Analysis of PDEs,Mathematical Physics,Classical Analysis and ODEs,Functional Analysis
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to establish the Gauss - Green formula for extended divergence measure fields (i.e., vector - valued measures whose distribution divergence is a Radon measure) on open sets. Specifically, the authors prove that for almost every open set, the normal trace is a Radon measure supported on the boundary of the set. Moreover, for any open set, they provide a method to represent the normal trace on the boundary of the open set of this field as the limit of the measure - valued normal traces of approximating set boundaries. Through this theory, they generalize the balance laws in classical continuum physics to a broader framework, in which the production quantity on any open set is measured by a Radon measure, and the associated Cauchy flux is bounded by a Radon measure concentrated on the boundary of the set. Eventually, they prove that there exists an extended divergence measure field such that the Cauchy flux can be recovered locally on almost all open sets and globally on each open set through this field. The paper also solves the following specific problems: 1. **Generalization of the Gauss - Green formula**: For weakly differentiable vector fields, can a Gauss - Green formula that includes these fields be provided? The authors use the measure decomposition technique to generalize this formula. 2. **Existence of the normal trace**: For almost every open set, the normal trace of the extended divergence measure field is a Radon measure supported on the boundary of the set. 3. **Calculation of the normal trace**: For each open set, the normal trace distribution can be calculated as the limit of the measure - valued normal traces of approximating set boundaries. 4. **Representation of the Cauchy flux**: Establish a one - to - one correspondence between the Cauchy flux and the extended divergence measure field through the normal trace. 5. **Entropy solutions of nonlinear partial differential equations**: Study the jumps of entropy solutions of nonlinear conservation laws on shock waves, and obtain the inner and outer normal traces of the entropy - entropy flux field through smooth surface approximation. The solutions to these problems not only provide new tools and techniques for the theory of divergence measure fields, but also provide a solid mathematical foundation for the mathematical analysis of nonlinear partial differential equations and the mathematical formulation of physical balance laws.