Fine properties of functions with bounded deformation (Q1374717)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fine properties of functions with bounded deformation |
scientific article |
Statements
Fine properties of functions with bounded deformation (English)
0 references
10 December 1997
0 references
The paper deals with the space of vector fields with bounded deformation: \(\text{BD}(\Omega) = \{u \in L^1(\Omega;R^n)\): \(E_{ij}u\) is a Radon measure with bounded total variation, \(i,j = 1,...,n \}\), where \(E_{ij}u = {1 \over 2} (D_iu^j + D_ju^i)\), \(Eu = \{E_{ij}u\}\), which was introduced in late 70-ties in connection with mathematical theory of plasticity. After recalling some fine properties of functions with bounded variation (elements of \(\text{BV}(\Omega;R^n)\) spaces) the authors prove that many of these properties can be suitably extended to \(\text{BD}(\Omega)\) spaces. Especially they analyse the set of Lebesgue points and the set where such functions have one-sided approximate limits. They prove a theorem (analogous as in the case of \(BV\)-functions) stating that the symmetric distributional derivative \(Eu\) can be decomposed (with respect to the Lebesgue measure) into three parts: \( Eu = E^au + E^su = {\mathcal E}u{\mathcal L}^n + E^ju + E^cu \) (i.e., absolutely continuous, jump and Cantor part, respectively). One of the main results of the paper is the extension to BD-functions of the so-called structure theorem, known for BV-functions and showing that the above parts of the derivative can be recovered from the corresponding ones of the one-dimensional sections. The space \(\text{SBD}(\Omega)\) of special functions with bounded deformation (for which \(E^cu = 0\)) is defined and characterized in a similar manner as SBV-functions. Finally, it is proved that any function \(u \in \text{BD}(\Omega)\) is approximately differentiable in \({\mathcal L}^n\)-almost every point in \(\Omega\), and the proof is complemented by some remarks, one of them stating that in the case where \(E^cu = 0\), \({\mathcal E}u \in L^p(\Omega)\) for some \(p>1\), this proof can be used to obtain the Korn's inequality.
0 references
spaces BV of functions with bounded variation
0 references
spaces BD of functions with bounded deformation
0 references
decomposition and structure theorems
0 references
approximate differentiability
0 references
Lebesgue points
0 references
one-sided approximate limits
0 references
special functions with bounded deformation
0 references
SBV-functions
0 references
Korn's inequality
0 references