A Multiscale Geometrical Basis for Variational Problems in Mechanics
This tutorial introduces the notion of structured deformation and shows an easy one-dimensional example.
In the continuum theories of bodies deformations, it is necessary to account for mechanisms of different nature that happen at different length scales. These include
- elastic deformations during which, once the load on the body is released, the original configuration is restored;
- plastic deformations, which involve a permanent macroscopic deformation after releasing the external load. This permanent macroscopic deformation is explained by means of the reorganisation of atomic bonds;
- fractures, which involve rupture of the material both at the microscopic and at the macroscopic length scales.
Structured deformations [DPO1993] provide a multiscale geometry that captures the contributions at the macroscopic level of both smooth and non-smooth geometrical changes at sub-macroscopic levels. The latter are called disarrangements.
To encode information of phenomena happening at different length scales in one mathematical object, a (first-order) structured deformation is defined as a pair , where is the macroscopic deformation, the tensor field is a measure of deformations without disarrangements (the smooth microscopic deformation), and is a measure of deformations due to disarrangements (the smooth microscopic deformation).
One can recover the standard notions of plastic deformation from and , as well as information on the Burgers vector field associated with closed curves in the body and the dislocation density field used in describing geometrical changes in bodies with defects from and [O2017].
Structured deformations have been set in an energetic formulation framework [CF1997], therefore rendering them apt to be studied with variational techniques. In this context, considering suitable function spaces was fundamental to give citizenship in the realm of the calculus of variations. The functional-analytic choice of the space , the set of -valued structured deformations on , was dictated by the necessity of treating the non-smooth behaviours described by the disarrangement tensor . Being able to describe the discontinuities of the deformation suggested that a good space for be , the space of -valued special functions of bounded variation. Consequently, the matrix-valued field is assumed to live in , so that
Aside on functions
Functions of bounded variation are integrable functions whose distributional derivative is a finite Radon measure, in symbols
It is known that the distributional derivative admits a decomposition into three pieces, namely an absolutely continuous part with respect to the Lebesgue measure , whose density is given by the gradient ; a jump part, which is concentrated on an -dimensional set and whose density with respect to the Hausdorff measure is given by ( being the jump of across the singular set , and being the normal vector to ); and a part which is singular with respect to both and , called the Cantor part. To summarise,
Special functions of bounded variations are those whose distributional derivative has no Cantor part,
so that, for we have .
One of the fundamental results contained in the seminal paper [DPO1993] is the Approximation Theorem, stating that any structured deformation can be approximated by a sequence of simple deformations; in the language of [CF1997], the approximation theorem reads
Approximation Theorem: Given , there exists a sequence such that
Given the structure of the distributional derivative, it is not difficult to see that the singular part of behaves as below
stating that the discontinuities of the approximating sequence converge, in the sense of measures, to a limiting measure which is both diffuse and singular. Therefore, if a structured deformation is such that its disarrangement tensor is non-trivial, it can be approximated by functions with discontinuities which, in the limit, diffuse in the bulk. This has the effect of making the approximating sequence achieve the given structured deformation while also achieving . In a sense, the disarrangement tensor is a measure of how non-classical a deformation is.
An example of a structured deformation
In this example, we consider a one-dimensional structured deformation and show how it can be approximated. Let , and let , . This pair describes the deformation of a material which is stretched macroscopically to twice its size by the , whereas the smooth part of the microscopic deformation has a gradient equal to the identity.
How is it possible, then, to approximate with a sequence of deformations which behave microscopically like the identity, but achieve the overall effect to stretch the material? Such an approximating sequence should have jumps to allow the material to deform macroscopically, while keeping a microscopical deformation gradient of . The sequence
behaves as desired and approximates in the sense described in the Approximation Theorem above. As a matter of fact, and (even) in . We can get more information on how the jumps of diffuse in the whole interval by looking at the distributional gradient
Since , the limit of recovers just the difference . A stronger link between these two quantities is evident considering that is the Riemann sum of the function on . A depiction of the first elements of the sequence is provided in the picture below.