George E. Dieter-Mechanical Metallurgy SAYAN

See discussions, stats, and author profiles for this publication at: https://www.researchgate.
net/publication/299345571
Trends and challenges in the mechanics of complex materials: A view
Article in Philosophical Transactions of The Royal Society A Mathematical Physical and Engineering Sciences · April 2016
DOI: 10.1098/rsta.2015.0341
CITATIONS READS
5 61
1 author:
Paolo Maria Mariano

University of Florence
133 PUBLICATIONS 951 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
International Symposium on "micro to MACRO mathematical modelling in soil mechanics" View project
Mechanics of complex materials View project
All content following this page was uploaded by Paolo Maria Mariano on 30 September 2016.
The user has requested enhancement of the downloaded file.

Downloaded from http://rsta.royalsocietypublishing.org/ on September 30, 2016
Trends and challenges in the

mechanics of complex
rsta.royalsocietypublishing.org
materials: a view
Paolo Maria Mariano
Introduction DICeA, University of Florence, via Santa Marta 3, Firenze 50139, Italy
Cite this article: Mariano PM. 2016 Trends

This article introduces the collection of papers in this
and challenges in the mechanics of complex
issue of the Philosophical Transactions of the Royal Society
materials: a view. Phil. Trans. R. Soc. A 374: A and offers a perspective view on the description
20150341. of the mechanics of material characterized by a
http://dx.doi.org/10.1098/rsta.2015.0341 prominent influence of small-scale phenomena on the
gross mechanical behaviour.
Accepted: 29 January 2016
One contribution of 11 to a theme issue 1. Preamble

‘Trends and challenges in the mechanics of This article places the papers collected in the present
complex materials’. miscellanea in a panorama on the continuum mechanics
of materials. Introducing these articles does not require a
Subject Areas: big effort from my side because the contributions sustain
materials science, mechanical engineering themselves with their evident quality. The difficulty that
I find is essentially in presenting a rather broad view
Keywords: on the research paths in continuum mechanics, which is
multi-field theories, complex materials, the other aim of this paper, as required by the Editorial
Office in assigning me the editorship of this issue. The
continuum mechanics, condensed matter
enterprise faces the limitation of my knowledge and my
personal view on what I believe are essential aspects of
Author for correspondence: the landscape that I want to delineate. For this reason,
Paolo Maria Mariano the view that I offer is neither complete nor neutral; but
e-mail: paolo.mariano@unifi.it it is a view in any case and may help the patient reader to
form a personal opinion, even in opposition.
2. Some sparse historical notes on mechanics

with special attention to continuum schemes
Mechanics is the body of speech about the description
of motions of objects at human, microscopic, giant
scales, even at the scale of the universe. We distinguish
among the motions of mass points, multi-particle
systems, rigid and deformable bodies, and subatomic
particles. We then speak about classical, statistical,
continuum, relativistic, quantum mechanics, kinetic
theory, subdividing the subject into sectors in accordance
to classes of phenomena and/or descriptive tools.
2016 The Author(s) Published by the Royal Society. All rights reserved.
However, looking at the foundational issue, which is concretely different from being interested
2
merely in the formal structure of theories, as even an elementary education in philosophy allows
us to distinguish, we realize in the end that these sectors are not disjoint, rather they fertilize each
rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

.........................................................
other and sometimes we try to show that a viewpoint is the limit in some sense of another view.
Examples in this vein are the analysis concerning the limit of the Boltzmann equation when the
number of particles increases to infinity (recall: the equation describes the evolution in time of the
distribution function of velocities of several, but finite in number, mass points, possibly colliding
with each other) or the atomistic-to-continuum schemes proposed in materials science often on
the basis of density functional theory: an approximation of quantum mechanics.
In the Prefatio ad lectorem of the Philosophiae Naturalis Principia Mathematica [1], Isaac Newton
recalled the subdivision of the mechanics by his predecessors into rational (rationalem) and
empirical (practicam). The former proceeds in terms of rigorous proofs (quae per demonstrationes
accurate procedit in the original version), expressed in mathematical terms. The latter deals with
the construction of machines and tools useful for everyday life. Both views cross-fertilize and
are not distinguished, although single scholars can emphasize one in contrast to the other,
often instrumentally, to defend their own position. The same design of an experiment foresees
a preliminary, even vague, theoretical view on a phenomenon that we want to reproduce and
measure. In turn, an acceptable theoretical proposal must adhere to the pertinent phenomenology
that we record.
Newton’s view on mechanics was eminently geometrical. In the first part of the Prefatio,
he remarked that geometry emerges from mechanics. Only 63 years after the publication of
the Principia, Leonhard Euler wrote the second law of motion, the balance of momentum, in
the differential form that we use today, in an article entitled Decouverte d’un nouveau principe
de mécanique, read in front of the Berliner Academy on 3 September 1750, and published 2
years later [2]. The balance of the moment of momentum, which is not explicitly discussed
in Newton’s Principia, appeared in a 1703 article by Jakob Bernoulli [3]. Newton’s Principia
evidenced problems and techniques, had a decisive impact on the development of the scientific
thought and opened a path along which rational mechanics developed systematically. Newton’s
viewpoint indicated new territories both in the norms adopted to explain concepts and in the
mathematical techniques, but already the ancient Greeks had the perception of the vastness of the
subject. In fact, the oldest text on mechanics that we know of is in Greek: Mechanical Questions.
Historians still debate whether we have to attribute it to Aristotle (384–322 BC), Archytas of
Tarentum (428–347 BC), or even and more generically we can affirm it has been written by some
fellow of the Lyceum in Athens to interpret some phenomena in the terms of Aristotelian natural
philosophy [4]. The list of topics discussed in Mechanical Questions includes cases that can be
analysed by considering the scheme of rigid bodies and also cases where strain plays a prevalent
role, as in the discussion of vorticity in fluids there included.
The idea that the language of mechanics in its theoretical development must be analytical
appears explicitly in the title of the treatise on mechanics that Euler published in 1736, after
having completed it, at 27 years old, in his first period in San Petersburg [5]. Later, in his
Cours de Philosophie Positive, 1830–1842, Auguste Comte emphasized the rational aspect of the
approach to mechanical problems and the status of rational mechanics as an independent
discipline [6]. However, although the foundations of mechanics can be expressed just in analytical
and geometrical terms, their essence is in the connection with the phenomenological world.
Already in the first treatises on mechanics, we find questions that are still contemporary for
they deal with the nature of the subject and its mathematical structure. They include discussions
on the nature of the basic principles and their explicit expressions in specific contexts, the way in
which we describe bodies and what we consider to be a body, the representation and the nature of
the interactions among portions of a body and with the surrounding environment, etc. Statements
such as ‘forces are, in mechanics, no more than the movements produced, or going to be produced
[virtual in modern terms; my note], and two forces which induce the same velocity in the same
direction are considered identical, their origin whatever . . . ’ that we find in Comte’s Cours (Cours,
quinzième leçon, tome I, p. 544) fall completely within the modern view on interactions defined
by the power that they develop, being represented by entities dual of what describes the rate of
3
change of the body morphology (in geometric terms, they are elements of the cotangent space of
the manifold describing the body morphology; e.g. [7]). This abstract view allows us to go into a

.........................................................
rather secure path when we want to describe circumstances requiring a geometric setting more
complicated than the standard three-dimensional Euclidean point space equipped with a single
Cartesian frame. I shall provide pertinent examples.
Rational mechanics is part of mathematics not so much for what the adjective ‘rational’ recites
as for its structure and the methods pertaining to it. This is evident if we look at it from the
interior, above all having a creative daily frequentness with it, not forgetting to take into account
the diversity of the results in mechanics, in nature and quality. Following the ramifications of
mechanics, those listed in beginning this section, with the aim of offering a comprehensive view
on them, is an arduous task even for a ponderous treatise, but it is also so even when we restrict
ourselves to a single subfield, as I do here, focusing the attention on continuum mechanics of
condensed matter, because it allows us a view in which we find a perspective of the various
ramifications of mechanics that emerged in time from the first results on the matter. On one
side, continuum mechanics of materials calls upon concepts and classical issues pertaining to
the mechanics of mass points and rigid bodies. On the other side, it pays attention to a more and
more detailed description of materials, some constructed anew to satisfy peculiar technological
needs. In its edge developments, continuum mechanics involves concepts from and establishes
links with statistical and quantum theories, proposing itself as a favourable playground for a
general discussion on the nature of mechanical models and the role of mathematics in mechanics.
The standard format of continuum mechanics, initiated primarily with the works by Euler,
Bernoulli and Augustin Louis Cauchy, has been axiomatized in the second half of twentieth
century by the original nucleus of Clifford Ambrose Truesdell’s school, starting with the 1958
seminal article by Walter Noll [8].
The basic question raised in the mechanics of bodies undergoing strain is intuitive: consider a
generic object of sensory perception, a tangible body with dimension greater than the atomic ones
and smaller than the scale of the universe. Take it in some shape, which we consider as a reference,
and try to determine how the body shape changes as a consequence of the interaction with
the external environment. The consequent analysis implies descriptive choices before tackling
analytical and geometrical difficulties. The rational character of the approach manifests itself in
the way we articulate the initial choices.
— The starting point is geometric: we need to specify in some way the shape of a body
that we consider undeformed, because measuring strain means evaluating how lines,
volumes, areas vary within a body under the action of the external environment. About
this first step, the traditional format of continuum mechanics (see basic treatises on the
matter, [9–14]) shows a minimalist approach: we describe the shape of a body by selecting
just the fit region in three-dimensional space it may completely occupy, without adding
any geometric information on the way the matter is arranged at microscopic scales. Every
point of such a region is intended as the place of what we call a material element, a
conglomeration of atoms, an indistinct mass point endowed just with 3 d.f. in Euclidean
point space.
— Such initial choice determines the description of the interactions among distinct parts of
the body and the external environment. Subdivided into bulk and surface actions, they
are defined as elements of the dual space of what describes the rate of change of the body
morphology, as I have already mentioned, and satisfy the balance equations, which may
originate from multiple sources. The investigation of the nature of their origins is essential
for the individuation of reliable paths to determine them when we want to build up new
models. In fact, acting in analogy with well established practice, e.g. the balance equations
pertaining to a single mass point or a rigid body subjected to the action of the external
environment, may be at times just a hope to determine the result. The more we know
about the nature of the interactions on and in a body, the more we can be sure about the
4
identification of the appropriate balance equations.
— Then we furnish information (indirectly in a sense) on the essential aspects of the material

.........................................................
structure through the state functions, the so-called constitutive relations, which link what
we have selected as state variables (another modelling choice) to the interactions within
the body under analysis. Experimental data address the selection but there is certain
arbitrariness in the choice. The second law of thermodynamics and the requirement that
the structure of the physical laws should not change under changes in observers impose
a priori theoretical restrictions on the possible constitutive choices. The decision to adopt
these constraints is philosophical and requires some concepts to be specified. We need,
in fact, to clarify what kind of expression of the second law we consider. We also find it
necessary to define the nature of the observers (and the one of observable quantities) and
the classes of their changes.
— In classical mechanics, an observer is a frame in the ambient physical space and a time
scale. Once we assign it, we impose some basic elements of our models objectivity, i.e.
invariance with respect to rigid-body-type changes in observers, or covariance, which
involves non-rigid changes of coordinate frames in space. These requirements determine
non-trivial consequences. For example, in the description of the (isothermal) elastic
behaviour of bodies called simple for their energy depends only on the first spatial
derivative of the deformation, in the presence of large strains the requirement of
objectivity for the energy (two observers differing by a rigid-body motion must evaluate
the same internal energy of the body under analysis) implies the physical incompatibility
between the objectivity itself and the possible convexity of the energy with respect to
its entry, the sole state variable considered in this case. Such a result has given further
impulse to the whole sector of the analysis of polyconvex functionals in the calculus of
variations [15,16].
— Besides restrictions due to the second law and the requirements of objectivity or
covariance, constitutive equations are essentially phenomenological. A question is then
whether atomistic descriptions of the matter can justify at least classes of state functions.
The question emerges from the desire of reducing as much as possible the introduction of
phenomenological parameters, which may have uncertain values, even origin. Already
Cauchy tackled the question with the aim of interpreting in atomistic terms the
constitutive relations of the linear elasticity. He considered a discrete structure constituted
by mass points and linear springs. His idea was to try to transfer the properties of the
discrete structure, a scheme of a crystalline body, in a continuum representation. A debate
between the so-called molecular interpretation of elasticity and the phenomenological
approach animated that period and overrode it eventually [17]. At least for crystalline
materials, an essential element clarifying the link with the molecular approach emerged
from Max Born’s work and is what we call today the Cauchy–Born rule [18]. Cauchy
assumed coincidence between macroscopic and atomic movements, while Born modified
the view presuming that the lattice vectors of a deformed crystal are the image of those
in the reference crystal though the macroscopic deformation gradient. In his view, the
characteristic cell of the crystalline lattice undergoes a homogeneous strain. For two-
dimensional mass-spring lattices, the Cauchy–Born rule is actually a rigorous theorem
for an open set of model parameters (equilibrium lengths and spring constants) for all
boundary data close to the identity, while it fails for another open set of parameters [19].
Fine scale spatial oscillations appear in that parameter region in the energy-minimizing
configurations. On the other hand, atoms are rather complicated structures. Viewing
them as mass points is an idealization, which has, however, its possible justifications in
the circumstance that, at zero temperature, a canonical ensemble becomes a degenerate
distribution and localizes on (discrete) minimizers of the energy. And this is a result of
statistical mechanics. Moreover, since elastically deformed states are in general just local
minimizers of the energy, we can show that the Cauchy–Born rule is always valid for
elastically deformed crystals, provided appropriate choices of the unit cell characterizing
5
lattice periodicity [20,21]. The idea underlying the Cauchy–Born rule can be generalized
to multiple lattices [22] or to an expression in terms of velocities. Such a rule, however,

.........................................................
is not the unique link between continuum and corpuscular descriptions of the behaviour
of the matter. I have already mentioned at the beginning of this section the question of
the continuum limit of the Boltzmann equation [23]. We can list other relations between
continuum and quantum multi-body schemes and we welcome these connections for
they do not contain empirical parameters (an example is the scheme to get a continuum
model of thin films from the superposition of mono-atomic lattices [24]). Nevertheless,
the complexity of the approaches requires non-trivial approximations, which can even
account for inhomogeneous electron systems. The Thomas–Fermi method, which is valid
when the spatial variations of de Broglie’s wavelength are small, is in this vein. So is
Slater’s simplification of the Hartree–Fock equation. It is based on the expression of the
wave function of a system of N interacting particles in terms of a matrix with entries
orthogonal wave functions of single particles. Kohn’s & Sham’s theory [25] enlarged the
setting. It has its roots in Thomas–Fermi’s theory (e.g. [26]) and refers to quantum systems
involving many bodies. It rests on the choice of a non-local energy, but the exchange
potential, which accounts for all the interaction effects among the bodies considered, has
local nature. Under appropriate conditions, the equation emerging from the first variation
of the energy considered by Kohn and Sham admits locally unique solution, which can
be well approximated by using a version of the Cauchy–Born rule [27]. We recover this
way the link between continuum and atomistic approaches.
Beyond the interactions with quantum or statistical descriptions, the same internal structure of
continuum mechanics should be flexible to describe even unexpected expressions of condensed
matter. Reasons for this need emerge from specific circumstances.
3. What pushes us towards and beyond the borders of the traditional format of
continuum mechanics of materials
In summary, the traditional format of continuum mechanics in classical space–time, as sketched
in the previous section, is based on a conceptual hierarchy:
(i) representation of the morphology of a body (its geometrical description), which is

traditionally restricted to a region in space that can be occupied by the body under
analysis;
(ii) representation of the interactions with the environment and inside the body, essentially a
consequence of the first item and statement of the pertinent balance equations; and
(iii) assignment of the constitutive structures.
A common, instinctive tendency is to consider the construction of a model in continuum

mechanics as coincident only with the construction of an appropriate constitutive relation, i.e. a
functional structure linking state variables with the stress, leaving as granted once and for all the
description of the body’s morphology and the representation of the interactions, with their related
balances. This view is often satisfactory but in non-trivial circumstances it can be considered at
least short of breadth. Just to solicit the reader’s imagination, an incomplete list of pertinent cases
follows:
— Liquid crystals are composed of stick molecules with end-to-tail symmetry, which self-
organize aligning some way, driven by the interaction with the environment. A geometric
need is then the description of the local orientation of the molecules, because it
determines the essential peculiarities of liquid crystals, i.e. the transition from an order of
alignments to another. The standard deformation map does not bring such information.
6
Moreover, the alignment of the stick molecules involves interactions not easily ascribable
to the standard traction due to deformation.

.........................................................
— When strain, temperature, external electric fields overcome some threshold, ferroelectric
materials undergo polarization, while magnetoelastic solids show local magnetization.
Stretchable vectors up to a certain limit length describe locally the polarization. Peculiar
bulk and contact interactions are pertinent to (in the sense that they develop power in) the
time rate of the polarization. Their description falls outside the standard scheme indicated
by Cauchy’s stress tensor.
— The motion of dislocations in metals, the occurrence of slips in crystals or among grains
in an amorphous solid, the creation of micro-voids are sources of what we call elastic–
plastic behaviour. In describing it, we can look just to the macroscopic measure of
irreversible strain by introducing Fp , the plastic factor of the deformation gradient F in
a multiplicative decomposition, with the related measures of deformation, and at times
even its spatial derivative in the so-called second-grade (or strain-gradient) approaches
to plasticity. Alternatively, we can have a close look to the microscopic mechanism,
considering, e.g., peculiar descriptors of the slip velocity or the dislocation density, or
something else that we consider essential in representing the roots of the phenomenon in
the microscopic world. The paper by Irene Bayerlein and Abigail Hunter and the paper by
Gareth Parry in the present miscellanea show possible views on the problem and different
descriptive choices. In this case, the scenario of the interactions occurring within the body
and with the rest of the environment becomes more rich that the standard one and we can,
e.g., investigate the microscopic origin of concepts, such as the back-stress, e.g., otherwise
introduced just phenomenologically, often on the basis of data-fitting approaches.
— Bones show an intricate microstructure, which we can call ‘trabecular’ or spongy. Local
alterations of this structure, such as the occurrence of microcracks or local instabilities,
may cause damage. Their description goes beyond the standard continuum mechanics
view. So it is for other biological materials.
— Phase transitions of the first and second kind require at least the information on the
volume fraction of the transforming phases, besides the standard deformation, when we
do not need more refined description of the way matter changes its state. Clear examples
of possibilities appear in the contribution by Yaniv Ganor, Traian Dumica, Fan Feng and
Richard D. James and the one by Thomas J. Pence and Davide Bernardini in the present
miscellanea.
— Damaging a solid is a relative concept: we have to define a state that we consider
undamaged. Damage is a word used to indicate the result of different processes:
microcrack evolution, void nucleation, corrosion, ageing. With respect to processes,
damage is a collective word, in this sense. A question is how to describe a damaged
state and its possible evolution. There are various possibilities, which can be subdivided
in two different classes: we use variables measuring the removal from thermodynamic
equilibrium, whatever the damage mechanism be; we introduce variables bringing
geometric information on a specific mechanism generating damage. The paper by
Christian Miehe, Stephan Teichmeinster and Fadi Aldakheel, in this issue, indicates
an intricate, although clear, possibility of describing the coalescence of damage up to
the creation of a macroscopic crack. In any case, the question of the nature of the
supplementary variables is more general so that at least a vague tendency towards
completeness or a reasonable deepness forces me to return to this matter later on.
— Composites made of polymers scattered in a melt with different stiffness may suffer
relative strain of the added molecules with respect to the melt. We need then a second-
rank tensor describing the molecular strain, a micro-strain because it is at a spatial scale
smaller than—let us say—the one of human naked-eye observation.
— Polymeric chains can be ordered in measures resembling the order of liquid crystals.
Polymers can be also of star-type so that we have to add information on the diameter of
the molecular part rolled into a ball. Also they can suffer polarization. From a geometrical
7
viewpoint, the deformation alone is not sufficient to describe these microscopic features
and appropriate descriptors have to be inserted. So it is for other offspring of condensed

.........................................................
matter as quasi-crystals or the superfluid liquid helium.
— Quasicrystals are aluminium-based alloys characterized by quasi-periodic arrangements
of atoms. The representation of their mechanics involves deformation but also the need
of describing at macroscopic scale local phase changes in the symmetry of the atomic
arrangements, due to flips of atoms, which are necessary to match quasi-periodicity
under the action of the external environment.
— Superfluid liquid helium shows different microscopic features in accordance to its
particular phase. We can need a number selected in the unit circle in the complex plane
or an orthogonal tensor with positive determinant, an element of SO(3) then.
— We can have cases in which not so much the inner material structure of a body as the
smallness of one of its characteristic dimensions determine a peculiar behaviour. This
is the case of shells, above all thin films, and their interactions with the surrounding
environment, as evidenced, e.g., in the paper by Nicholas Brubacker and Joceline Lega in
this miscellanea.
All the examples above are related to cases in which events developing at very small spatial
scales with respect to the size of the body have influence on the macroscopic mechanical
behaviour, exerted through interactions barely representable in terms of standard stresses. We
can call complex materials those characterized in this way to remind these peculiarities.
The effects of the microstructural changes can be at times described even within the traditional
setting as ‘irregularities’ of the deformation. Even in this case, however, we need to often render
evident the scaling, as shown in the paper by Likun Tan and Kaushik Bhattacharya in the
collection of contributions here introduced.
In any case, in constructing a continuum model of deformable bodies we need to take a
decision already from the first step in the hierarchy presented above, i.e. the representation of
the morphology of a body. Adopting the standard minimalist view, which requires for a body just
the selection of a fit region in space, is a choice. It can be enriched by the addition of variables
carrying information about the way the matter is arranged or the features involved in a class
of specific phenomena, as in the cases summarized in the items above. A basic question is to
decide whether the variables that we may introduce besides the deformation have just the role
of measuring, at a stage subsequent the description of the body morphology, the removal of the
body from thermodynamical equilibrium (as in [28–31]), or they furnish information on the body
geometry and are sensitive to changes in observers (as in [32]). In the first case, we do not need
to specify the physical nature of the variables introduced and we assign essentially a priori their
evolution, so that we speak about internal variables, according to the common jargon introduced
first in non-equilibrium thermodynamics [33] and then coupled with deformation later in the
references already mentioned. In the second case, we are introducing explicit direct or indirect
information on the shape that the body can have, expressed by variables that may be sensitive to
changes in observers just for this reason. Such variables can be associated with a distinguished
specific geometrical feature or may emerge from some statistical analyses, which may also allow
us to homogenize the material heterogeneity to get an ‘equivalent’ traditional continuum by
exploiting even intricate aspects of the stochastic calculus, as indicated in the paper by Xavier
Blanc, Claude Le Bris and Frederic Legoll in this collection of research contributions. Moreover,
the change in the geometric descriptive setting imposes us to think again of the notion of observer.
The distinction between the two ways of considering additional variables (see also relevant
discussions in [34]) has non-trivial physical consequences. In the first case, just thermodynamic
affinities are associated with the rate of change of these variables and they contribute just to
dissipation, while they play a parametric role at equilibrium, along conservative processes. In
the second case, we find true interactions, which satisfy appropriate balance equations. However,
formally the first case can be included in the second one, but the conceptual difference remains.
The resulting models propose even arduous mathematical questions, as it emerges, e.g., from the
8
article by Sebastian Heinz and Alexander Mielke in this collection.
Some details, above all about the general model-building framework emerging from the

.........................................................
second viewpoint, clarify the discussion for me.
4. Morphologies
In the traditional setting of continuum mechanics of materials, a tangible body is viewed as an
abstract set B of not further specified material elements [8]. We then imagine the possibility of
establishing a one-to-one mapping
k : B −→ E
from B into the Euclidean point space E with dimension specified by the problem at hand;
typically 1, 2, 3, although to fix ideas we consider here just the three-dimensional case. In this way,
we represent the set B by its image B := k(B) and the geometric description of a material element
reduces to the assignment of a point in space.
We take B as an open bounded set coinciding with the interior of its closure and presume that
it is endowed with surface-like boundary oriented by the outward unit normal everywhere with
the exception of a finite number of corners and edges. Maps
u : B −→ Ẽ,
commonly assumed to be one-to-one, differentiable and orientation preserving, allow us to define
shapes of the body that we consider deformed with respect to B. So we call u a deformation and write
y for the value u(x). The selection of a functional space for deformations is already a constitutive
assignment. A function space is defined, in fact, by some properties pertaining to its elements, so
that they may describe some peculiarities of a class of material behaviours, excluding others.
In the above definition of u, the space Ẽ is a copy of E, obtained by an orientation-preserving
isomorphism or more simply the identification. The distinction between the space in which
we select the reference macroscopic shape of a body and the one including its deformed
configurations finds its reason of being in two basic aspects: one is connected with the definition
of changes in observers, the other concerns the computation of the so-called vertical and horizontal
variations of the energy in the conservative case, the former leading to the balance of forces, the
latter producing the balance of configurational interactions, at least in the conservative case.
At x ∈ B, consider a vector basis {eA } in Rm and a scalar product · , · , which determines a
metric g at x, a second-rank tensor with generic component gAB defined by gAB := eA , eB . g is
positive definite because {eA } is a basis and the scalar product is non-negative. Consider now the
space of linear functions over Rm . For f and element of such a space, write f(eA ) := f· eA . The dual
space has dimension m and its natural basis with respect to {eA } is given by those elements, called
covectors, indicated by {eA } and defined by the condition eA · eB = δBA . From now on we restrict our
attention on R3 , which is obtained from the space of differences of points in the three-dimensional
Euclidian space by assigning a basis and the origin of the related coordinate frame. For crystalline
bodies, the assignment of the metric in the reference space, a material metric, as we have done
so far, has a stringent physical character because the vectors {eA } can be selected as those of the
optical classes of the pertinent crystals, evidenced by experiments.
We indicate as usual by F the spatial derivative of the deformation, calculated at x. Precisely,
we have F := Du(x), with F expressed in components by (∂ui (x)/∂xA )ẽi ⊗ eA , where {ẽi } is the
counterpart of {eA } at y := u(x); in the previous formula uppercase indices refer to coordinates
on B, while lowercase indices refer to coordinates on Ba . The determinant of F allows us to
formalize the intuitive request that u has to be orientation-preserving. The condition is then
expressed by the nonlinear constraint detF > 0. By definition, F maps linearly tangent vectors
to B at x onto the tangent space of Ba at y := u(x). To summarize this statement, we write
F ∈ Hom(Tx B, Ty Ba ), where the subscript a characterizes as actual, i.e. referred to the deformed
macroscopic shape, the mathematical ingredient that it characterizes; Tx B is the tangent space
to B at x. Two linear operators play then a role: the formal adjoint of F, indicated by F∗
and defined to be such that F∗ ∈ Hom(Ty∗ Ba , Tx∗ B), and the transpose FT , which is such that
9
FT ∈ Hom(Ty Ba , Tx B).
At any y ∈ B, the basis {ẽi } determines another metric, say g̃, which we can call spatial to

.........................................................
emphasize even already in the terminology the difference with g. The pull-back C := FT g̃F of the
spatial metric into the reference place B, along the deformation, has components CAB = FiA g̃ij FBj ,
and is a metric too, due to the nonlinear constraint detF > 0. Such a metric, also called the
right Cauchy–Green tensor, allows us to define naturally a measure of deformation as a comparison
between C and the material metric g; we write in fact E := 12 (C − g), obtaining in this way a second-
rank tensor with components EAB = 12 (CAB − gAB ). We may also introduce the second-rank tensor
Ẽ := g−1 E = 12 (C̃ − I), where g−1 is the inverse of g, with components indicated simply by gAB , and
I is the second-rank unit tensor, to have an expression of the strain measure more common. The
version C̃ of the right Cauchy–Green tensor is defined by C̃ := g−1 C = g−1 F∗ gF = FT F, which is its
standard expression.
I have stressed above the difference between the tangent space at a point of a configuration
and its dual counterpart, i.e. the cotangent space (the space of linear forms over the tangent one),
although, being in R3 or Rm , they can be identified by each other. The choice is not dictated
by the taste of rendering the matter uselessly intricate, rather to establish a parallelism with
what we need introducing—as I try to do here—to give a unifying framework for classes of
theories describing the mechanical behaviour of complex materials that we know, a framework
allowing us to focus attention on the basic foundations of these theories more than on a
proliferation of disconnected models almost similar one another. Of course, when the basis
chosen in reference or actual configurations is unique and the basis itself is orthogonal, the
previous expressions simplify. For example, the two metrics g and g̃ link the adjoint of F with
its transpose by the relation FT = g−1 F∗ g̃. When both g and g̃ are the identity, i.e. { eA } and
{ẽi } are orthogonal, the two linear operators coincide. For this reason, we continue to call F
the deformation gradient although ∇u(x) and Du(x) differ by the action of the metric, namely
∇u(x) = Du(x)g−1 .
All the geometrical issues above summarized in this section describe the macroscopic
configuration of a body and its changes, without furnishing direct information on the microscopic
shape of the pertinent material at a certain spatial scale, the one involved in the possible
phenomena characterizing a peculiar behaviour of the body under analysis. I have already listed
examples of prominent special cases, indicating different possible choices of descriptors of the
material microstructure. We can summarize all just by affirming that they are selected on a
differentiable manifold, which we may select to be finite-dimensional.
We say that a set M endowed with a topology such that for any pair of distinct elements of
it we may find non-intersecting open neighbourhoods containing them separately is a topological
manifold when it is locally Euclidean, i.e. every ν ∈ M has an open subset of M, U(ν), containing
it, such that it is possible to define a one-to-one mapping ϕ : U −→ V of U onto V, an open subset
of Rn . We call a coordinate chart (simply chart) the pair (U, ϕ) and an atlas a set F := {(Ui , ϕi )} of
charts covering the whole M. In particular, we affirm that M has dimension n when all Ui are
mapped onto sets V ⊆ Rn with dimension n. If for all i, j, the change of coordinates between pairs
of charts is of class Ck , we say that M is a differentiable manifold of class Ck , simply a differentiable
manifold when k = +∞. A function f : I −→ M, with I some interval in R, defines a curve over
M. By definition, f is differentiable near s ∈ I when, with (U, ϕ) a chart around ν(s), the map
ϕ ◦ f , with ◦ indicating map composition, is differentiable in the common sense. The derivative
of the function f at s is what is called the tangent vector to ν at M. The set of all tangent vectors
to M at ν, indicated by Tν M, and called the tangent space of M at ν, is a linear space. The union,
varying ν in M, of all tangent spaces of M is called the tangent bundle of M and in general is
not a linear space. For any Tν M, the set of all linear functions over Tν M is indicated by Tν∗ M
and called the cotangent space of M at ν (its elements are commonly called covectors, as already
recalled). The union of all cotangent spaces of M is its cotangent bundle and is not necessarily a
linear space. M is rather general but it is just what we need to speak of the structure of models
for complex materials constructing a unified view on the matter, at least for the cases in which we
find necessary to go beyond the standard format of continuum mechanics, except circumstances
10
in which resort to infinite-dimensional spaces of descriptors appears necessary.
To describe specific (geometric) features of the structure of the matter at finer spatial scales,

.........................................................
transferring them at continuum (macroscopic) scale, we define a differentiable field x −→
ν := ν̃(x) ∈ M. We call it the morphological descriptor map and indicate M as the manifold of
microstructural shapes. We write N for its spatial derivative Dν̃(x), i.e. N ∈ Hom(Tx B, Tν M). N∗
indicates the formal adjoint of N and it is N∗ ∈ Hom(Tν∗ M, Tx∗ B).
We cannot say many general things about the measures of deformation in the present setting
because ν can have different roles with respect to them, depending on its meaning in specific
theories.
In this setting, motions are pairs of time parametrized families of deformations and
morphological descriptor maps
(x, t) −→ y := u(x, t) and (x, t) −→ ν := ν̃(x, t),
with t the time, ranging in some interval of the real line. For them, we assume differentiability in
time, at least with piecewise differentiable first and second time derivatives. We write then
∂u(x, t)
ẏ :=
∂t
and
∂ ν̃(x, t)
ν̇ :=
∂t
for the pertinent time rates in Lagrangian representation. ẏ is the macroscopic velocity, while
ν̇ indicates the time rate of the microscopic features represented by ν. We presume also time
differentiability for the first spatial derivatives of u and ν̃ and write Ḟ and Ṅ for the pertinent rates.
5. Observers and their role

In the standard format of continuum mechanics of materials, an observer is a coordinate frame
in the whole ambient space and a time scale. Changes in observers are changes of this frames.
Commonly, we leave invariant the time scale or admit just affine changes in time unless we want
to treat the relativistic case. In the present discussion, I consider invariant the measure of time:
the observers involved have the same clock. Changes in observers in space can be isometric or
not. Each possible choice determines a certain setting to be discussed because the definition of
an observer in mathematical terms is essentially a way of formalizing the action of recording a
mechanical phenomenon.
Requirements of invariance with respect to rigid-body-type changes in observers are
commonly used to restrict possible constitutive equations through the notion of objectivity (an
entity is objective if it changes under this type of changes in observers according to its tensor
nature). However, invariance of this type can be used also to derive balance equations, as shown
by Noll [35], by raising to the level of a first principle a result by Gabrio Piola.
Requirements of invariance with respect to non-necessarily rigid changes in observers allows
us to prescribe what we call conditions of covariance, discussed extensively in [10]. We can
interpret in the sense of covariance the way we compute the first variation of the energy in the
(conservative) elastic case.
In any case, the space involved in the standard approaches is just the ambient point space,
the physical one. There we find both the reference and the actual macroscopic configurations,
although in principle endowed with different coordinate systems. In imposing objectivity, e.g.,
we commonly affirm that two different observers connected by a rigid-body motion evaluate the
same reference (macroscopic) shape. Since an observer in space is a coordinate frame in the whole
space, affirming that the reference place remains invariant under, e.g., rigid-body-type changes of
frames of reference is tantamount to imagine that the reference (macroscopic) shape of the body
is in a copy of the ambient space. This is the reason for the initial distinction I have made between
E and Ẽ. So, in the end the geometric environments involved in the standard format are two,
beyond the time scale. In the setting discussed here, there is another geometric environment: the
11
manifold M of microstructural shapes. These remarks then lead to the following definition:

.........................................................
Definition 5.1. An observer is a collection of coordinate systems (atlas, in short) over all the
geometrical environments necessary to describe the morphology of a body and its motion.
An axiom implicitly adopted in standard treatments is that two different observers must perceive
the same type of material. Consequently, changes of the atlas in the reference space must be also
material isomorphisms. The traditional notion introduced by Noll [8] requires to be extended to
the present multifield setting but, in any case, the condition requiring the conservation of the
referential mass density persists, so that changes of frames in the reference space must be volume
preserving, independently of the circumstance that we analyse solids or fluids, to agree with
the axiom just mentioned. Commonly, such an axiom of permanence of the material typology under
changes in observers is not rendered explicit but it is implicitly used in the Nöther theorem, the
Marsden–Hughes theorem and, above all, when we compute the horizontal variation of the elastic
energy in finite-strain elasticity.
We can define different changes in observers. We list those that we consider essential for
developing a unifying framework for the mechanics of complex materials and we do not consider
changes in the time scale.
(a) Synchronous isometric-type changes in observers in multi-field setting

Consider smooth maps t −→ a(t) ∈ R3 and t −→ Q(t) ∈ SO(3), with SO(3) the space of orthogonal
second-rank tensors on R3 with unitary positive determinant, and define a change in observer in
the physical ambient space Ẽ 3 by
y −→ y := a(t) + Q(t)(y − y0 ),
where y0 is an arbitrary fixed point. y and y are the places of the same material element recorded,
respectively, by two observers O and O . They differ from one another by the rigid-body motion
just defined, characterized by translation a(t) and rotation Q(t). By computing the time derivative
of y and pulling back from O to O the velocity ẏ , we define a new velocity ẏ∗ to be
ẏ∗ := QT ẏ = c(t) + q(t) × (y − y0 ) + ẏ, (5.1)
a standard relation in which c := QT a and q is the axial vector of the skew-symmetric tensor QT Q̇.
Changing coordinates in the physical space alters also the perception of the microstructures,
which are, in fact, in that space, within the deformed configuration, once u has been applied.
Their separate representation on the manifold M is just a model choice, which must account the
physical perception of the body. For this reason, we define a link between changes in observers in
the physical space, determined in general by elements of Diff(Ẽ 3 , Ẽ 3 ), the space of one-to-one
differentiable maps with differentiable inverse (diffeomorphisms in short) of Ẽ 3 onto itself—
rotations and translations are special cases—and transformations of the atlas on the manifold M,
given by elements of Diff(M, M), the group of diffeomorphism mapping M onto itself. Formally,
the link we imagine is given by a family of differentiable homomorphisms
{λ : Diff(Ẽ 3 , Ẽ 3 ) −→ Diff(M, M)},
which can be even empty. We do not need to render explicit λ for constructing a general model-
building framework. The specific choice of λ depends on the special cases we explore every time.
When the change in observer in the physical ambient space is of rigid-body-type, as above, the
set just defined reduces to
{λ : SO(3) −→ Diff(M, M)}.
The counterpart of ẏ∗ is given by

ν̇ ∗ = ν̇ + A(ν)q, (5.2)
with A(ν) ∈ Hom(R3 , Tν M). When SO(3) is not included in Diff(M, M) and the set {λ} is not
12
empty, by indicating by νλ(Q) the value of ν after the action of λ(Q) ∈ Diff(M, M) (once again the
explicit expression of νλ(Q) depends on the tensorial nature of ν and λ(Q)), A(ν) is given by

.........................................................

dνλ(Q) dλ(Q)
A(ν) = ,
dλ dq q=0
with q(t) ∈ R3 the value of a smooth map t −→ q(t) such that Q(t) = exp(−eq(t)), e Ricci’s symbol.
Otherwise, we get

dνq
A(ν) = .
dq q=0
For example, when M coincides with R3 , we find A = ν×. The choice of the relation (5.2) points
out that the microstructural descriptor is insensitive to rigid translations in space of the whole
body. In fact, ν at a point describes what is inside the material element placed there: it brings
information about the inner structure, which translates with the point and changes independently
of the translation itself.
Isometric-type changes in observers pertain also to the space where we select the reference
configuration. Let w the value at x and t of a vector field over the reference space. An observer in
this space is once again a coordinate frame. We indicate by w the values of the considered vector
field after rotating and translating the coordinate frame. The pull-back of w to the first observer
gives a transformation rule analogous to (5.1), a rule defining w∗ , namely
w∗ := c̄(t) + q̄(t) × (x − x0 ) + w, (5.3)
where x0 is another arbitrary fixed point, c̄ a translation and q̄ a rotation vector.
(b) Diffeomorphism-based changes in observers

— Over the ambient space, we may consider the action of a time-parametrized class
of elements of Diff(Ẽ 3 , Ẽ 3 ). Precisely, we define smooth maps t −→ ht : Ẽ 3 −→ Ẽ 3 , with
ht ∈ Diff(Ẽ 3 , Ẽ 3 ) and h0 = identity. The smoothness of ht in time defines a velocity field
y −→ v̄ := (d/dt)ht |t=0 and the relation (5.1), i.e. the change ẏ −→ ẏ∗ , becomes
ẏ −→ ẏ# := ẏ + v̄.
— The class of differentiable homomorphisms λ generate over M maps λ(ht ) : M −→ M.

Moreover, nothing excludes in such a general setting the additional action of a time-
parametrized family of elements of Diff(M, M), say t −→ h̃t : M −→ M, with h̃0 =
identity, smooth with respect to time. Let us write υ for the velocity (d/dt)h̃t |t=0 . The
relation (5.2), i.e. the change ν̇ −→ ν̇ ∗ , becomes
1
ν̇ −→ ν̇ # := ν̇ + υ + A(ν)curlv̄,
2
where 12 curlv̄ is the spin of the velocity v̄; it plays the role of q in (5.2).
— Finally, over the reference space we may consider the action of a time-parametrized class
of elements of Diff(E 3 , E 3 ). Then we define smooth maps t −→ ĥt : E 3 −→ E 3 , with ĥt ∈
Diff(E 3 , E 3 ) and ĥ0 = identity and write w̄ for the velocity (d/dt)ĥt |t=0 . The relation (5.3),
i.e. the change w −→ w∗ , becomes
w −→ w# := w + w̄.
However, according to the axiom of permanence of the material typology under changes in
observers mentioned above, changes in observers over the reference place should be described
by maps preserving the mass, i.e. the volume. Consequently, ĥt should be selected in the special
subgroup of volume-preserving diffeomorphisms.
6. Origin and nature of the balance equations 13

In the standard format of continuum mechanics, we distinguish into bulk and surface actions

.........................................................
exchanged by a part of a body with the rest of the body and the environment. Such actions can be
defined as functionals over the algebra of bodies constituting the universe [8,12] or by the power
that they develop in the rate of change of the body’s shape [7,35]. Bulk actions describe the action
of the gravitational or electromagnetic fields, while the contact ones among portions of the body
can be interpreted as averages of the molecular or atomic links in the material.
Intending the definition of actions in terms of the power that they develop on the rate of change
of the body’s shape furnishes us an immediate view on them once we have decided the way we
describe the body’s morphology.
Then, the problem is to establish the balance equations that they satisfy, specifically the ones
involving actions determined by the microstructural changes. We list here various ways at our
disposal to get balance equations in continuum models of the material behaviour. They are
divided in two groups.
In the first group, no list of state variables comes into play.
(1) We can assign directly point-wise balances.

(2) We can assume the form of integral balances, deriving the point-wise counterparts by
presuming that they hold for any subset of the body with non-vanishing volume and
appropriate regularity (the Euler principle).
(3) We can presume the validity of the principle of the virtual power, after the assumption of
the structure of external and internal (or inner) powers.
(4) We can presume the expression of the external power alone and require its invariance under
rigid-body-type changes in observers.
(5) In presence of material mutations, altering the geometry of the material structure of a
body, the notion of external power requires an extension to that of relative power, specified
below. For it, we require the invariance with respect to a class of rigid-body-type changes
in observers, including the reference space.
(6) We can get balance equations from discrete schemes through homogenization procedures
(e.g. [36,37]). A fruitful, challenging portion of this path is the evaluation of the
continuum limit of the Boltzmann equation [23].
The second group of possible paths involves the choice of the list of state variables, so that we put
on the same conceptual level the derivation of the balance equations and the (at least preliminary)
assignment of the constitutive equations.
(7) We can evaluate, in fact, the first variation of some energy, even including dissipation
potentials (in this case, we have expressions of the so-called d’Alembert–Lagrange
principle).
(8) We can impose a balance of energy and require its covariance in the case that bulk forces can
be dissipative.
(9) We can assume an appropriate version of the Poisson brackets, even including dissipative
brackets (they are connected with a dissipation potential).
(10) We can decide a version of the second law of thermodynamics (even including the relative
power) and require its covariance.
The choice of a way to act is not just a matter of taste. Different assumptions are implied.
Our tendency should be to reduce them to the need of having a control as strong as possible of
the theoretical structures that we use, above all when we need to extend the framework that we
know to tackle the description of unusual or yet unexplored physical circumstances.
— Prescribing point-wise balances of the actions occurring in complex materials in analogy

with the standard instances is a direct jump to the end of the discussion about balance
equations. When we act in this way, beyond the structure of the equations, we presume
14
the representation of the microstructural contact actions in terms of microstresses and
self-actions, without having proven the analogous of Cauchy’s theorem for the standard

.........................................................
tension. In its original formulation, such a theorem requires the boundedness of the
bulk actions, the knowledge of the integral balance of forces, and the action–reaction
principle. If we choose to act in this way, we have to remind that we are not sure about
the effectiveness of the result: analogy, in fact, is not always a secure path.
— The direct assignment of integral balances demands fewer assumptions, in fact, and
allows to try to prove Cauchy-type theorems. However, since we consider M as a
nonlinear manifold, which is the general unifying choice, prescribing an independent
integral balance of micro-actions would be highly questionable formally. We would write,
in fact, integrals involving integrands taking values on the cotangent bundle of M, which
is a nonlinear space (unless M coincides with a linear space) and is the target space of the
integrand, so the definition of the integral itself would be questionable. Moreover, if we
consider M to be coincident with a linear space, we can see that such a balance would be
essentially superfluous, as shown in a theorem below.
— When we adopt the principle of virtual power (as in [38]), we are directly prescribing
the weak form of the point-wise balance equations, the form used in computational
procedures. The choice implies also the presumption of the expression of the contact
actions in terms of stress. The proof of a Cauchy-type theorem would require the use of
the integral balances, rendering superfluous the virtual power principle. In other words,
in the principle of virtual power we presume a priori all the ingredients appearing in
the balance equations, without proving the existence of the standard and microstructural
stresses and the possible self-actions. There is also a subtle connection between integral
balances and the principle of virtual power, or virtual work, depending on whether we
use the velocity or the displacement, the one shown in [39].
— The procedure based on the invariance of the power of external actions over a generic part
of a body in a continuum representation is the one demanding the fewest assumptions
and can be used when the reference place is fixed once and for all. I present here some
details of it, with appropriate references, because in the multi-field setting discussed here,
it is a tool for deriving clearly balance equations in both integral and point-wise form.
— The idea of the relative power is an extension of the previous procedure when
macroscopic structural changes in the body suggest the adoption of multiple reference
shapes. It allows us to derive from a unique source not only the action–reaction principles
for standard and microstructural actions (an unusual form in the latter case), the
expressions of the contact actions in terms of stress and the balance equations, but also
the balances of configurational actions from a unique source. Pertinent details also appear
below.
— Rigid-body-type changes in observers pertain to the first set in the list above of sources
of balance equations. The second set involves non-rigid changes in observers so that the
word covariance appears repeatedly. Its typical occurrence is in Nöther’s theorem, based
on the requirement of invariance of the Lagrangian density with respect to the action of
families of diffeomorphisms on both spatial and referential coordinates. In the last case,
the one involving the referential shape, the diffeomorphisms considered must be volume
preserving if we want that two different observers perceive the same type of material, as
already recalled, irrespectively of whether we are thinking of solids or fluids. Classes of
changes in observers and those of admissible motions are not necessarily coincident, in
fact, as it is well known from elementary courses.
— Besides the Lagrangian format in the conservative setting, we can describe motions
in terms of the Hamiltonian, either through the Hamilton equations or to their weak
form represented by the Poisson brackets, which can be supplemented by appropriate
dissipative brackets where there are effects that can be associated with a dissipation
potential (e.g. [40,41]), as a sort of counterpart of the d’Alembert–Lagrange principle.
— In the presence of dissipative bulk external actions, not necessarily associated with
15
a dissipation potential, covariance appears in Marsden–Hughes’s theorem [10]. In its
original version, the theorem refers to finite-strain elastodynamics of simple bodies.

.........................................................
What is required is the covariance—intended as structural invariance of the principle
with respect to diffeomorphisms acting on the ambient space—of the first principle of
thermodynamics in isothermal conditions: the balance of mechanical energy. The result
is the representation of the standard tension in terms of the stress tensor (i.e. Cauchy’s
theorem), the point-wise balances, the a priori constitutive restrictions on the stress. We
can generalize it to the multi-field setting treated here, even writing the first principle in
terms of relative power.
— Marsden–Hughes’s theorem is a variation of the Nöther’s theorem towards the presence
of dissipative structures. What should we imagine for phenomena involving irreversible
strain (as in plasticity) or dissipative stress components (as in viscoelasticity)? For finite-
strain plasticity, a theorem proven in 2013 furnishes the answer [42]. Versions of it apt for
traditional viscoelasticity and the multi-field setting for complex materials are possible.
(a) The procedure based on the invariance of the external power under isometric-type
changes in observers
Details on the procedure based on the invariance of the external power over a generic part of a
body viewed at continuum scale help in clarifying the previous remarks.
Let us call a part of the body in its reference place any subset of B with non-vanishing volume
and the same (geometric) regularity of B itself.
We define the power of external actions on a generic part of B (external power in short) as the
functional Pbext , linear on the rates ẏ and ν̇ and additive over disjoint parts, defined by

Pbext (ẏ, ν̇) := (b‡ · ẏ + β ‡ · ν̇) dx + (t · ẏ + τ · ν̇) dH2 ,
b ∂b
∗ B represents body forces (the sum of inertial and non-inertial components) and
where b‡ (x) ∈ Tu(x) a
∗ B is the traction through the boundary of b; τ (x) ∈ T ∗ M indicates microstructural
t(x) ∈ Tu(x) a ν̃(x)
∗ M their external bulk counterparts over the microstructure
contact actions, while β ‡ (x) ∈ Tν̃(x)
alone. dH2 is the ‘surface’ measure over ∂b. The dot between two generic symbols denotes the
duality pairing both in the expression of Pbext (ẏ, ν̇) and in any occurrence below.
By assumption both t and τ depend on x and n at every instant t. In other words, Cauchy’s
assumption about the dependence on the standard traction on the normal to the boundary of the
part considered is extended to the microstructural contact actions.
When we write such an expression of the power, we presume that the reference shape is fixed
once and for all. We then subordinate Pbext to an axiom of invariance.
Axiom of power invariance in a complex material [43]: The external power on a generic part b or
the whole B is invariant under isometry-based changes in observers, i.e.
Pbext (ẏ, ν̇) = Pbext (ẏ∗ , ν̇ ∗ )
for any choice of c and q, and the part considered.

The axiom has stringent consequences.
Theorem 6.1. [43,44] The invariance of the external power under isometric-type changes in observers
implies the following statements:
(1) The integral balances

b‡ dx + tdH2 = 0, (6.1a)
b ∂b

((y − y0 ) × b‡ + A∗ β ‡ ) dx + ((y − y0 ) × t + A∗ τ ) dH2 = 0, (6.2)
b ∂b
where A∗ is the formal adjoint of A, i.e. A∗ (ν) ∈ Hom(Tν M, R3 ), hold.

16
(2) The standard traction (here expressed in Lagrangian representation) satisfies the action–reaction
principle:

.........................................................
t(x, n) = −t(x, −n). (6.3)
(3) The microstructural contact actions satisfy a non-standard action–reaction principle:
A∗ (τ (x, n) + τ (x, −n)) = 0. (6.4)
(4) If |b‡ | is bounded over B and t(·, n) is a continuous function of x, t(x, ·), a function of n, is
homogeneous and additive, i.e. there exists a second-rank tensor field x −→ P(x) such that
t(x, n) = P(x)n(x), (6.5)
where

3
P(x) = t(x, eK ) ⊗ eK ∈ Hom(Tx∗ B, Tu(x)
∗
u(B))
K=1
is the first Piola–Kirchhoff stress and eK is the kth vector of a basis in a neighbourhood of x
(Cauchy’s theorem in referential form).
(5) If in addition to the previous assumptions |A∗ β ‡ | is bounded over B and τ (·, n) is a continuous
function of x, τ (x, ·), as a function of n, is homogeneous and additive, i.e. there exists a second-rank
tensor field x −→ S(x) such that
τ (x, n) = S(x)n(x),
where

3
S(x) = τ (x, eK ) ⊗ eK ∈ Hom(Tx∗ B, Tν∗ M)
K=1
is the so-called microstress.

(6) If the fields x −→ P and x −→ S are in C1 (B) ∩ C(B̄) and the fields x −→ b, x −→ β ‡ are
continuous over B, the point-wise balance of forces
DivP + b‡ = 0 (6.6)
holds and there exists a field x −→ z(x) ∈ Tν∗ M such that
DivS + β ‡ − z = 0 (6.7)
and
1
SkwPF∗ = e(A∗ z + (DA∗ )S). (6.8)
2
(7) The equation

Pbext (ẏ, ν̇) = (P · Ḟ + z · ν̇ + S · Ṅ) dx (6.9)
b
holds and we call internal (or inner) power the right-hand side term.
Proof. The first item follows trivially by the arbitrariness of c and q because the axiom implies
Pbext (c + q × (y − y0 ), Aq) = 0
The first integral balance (6.1a) implies the boundedness of the absolute value of the traction
average over the boundary of any part, once the bulk actions are bounded. Consequently,
standard arguments [12] allow us to obtain the action–reaction principle (6.3) for t and the Cauchy
theorem (6.5) about the existence of a stress independent of n. Note that the existence of the stress
tensor can be obtained in less stringent regularity assumptions (e.g. [45,46]).
On defining r := (y − y0 ) × b‡ + A∗ β ‡ and p := (y − y0 ) × t + ν × τ , the integral equation (6.2)

17
writes obviously as
r dx + p dH2 = 0.

.........................................................
b ∂b
Since y0 is arbitrary, once we choose y, we can select y0 such that the above boundedness
assumption about |b‡ | over B may imply the one of (y − y0 ) × b‡ . Moreover, the above assumption
of the boundedness |A∗ β ‡ | over B implies the one of r. The assumed boundedness of the first
integral implies the one of the absolute value of the right-hand side term, so that we can apply
the standard procedure adopted for the traction t [12], obtaining a non-standard action–reaction
principle (6.4). We find, in fact,
p(x, n) = −p(x, −n),
i.e.
(y − y0 ) × (t(x, n) − t(x, −n)) + A∗ (τ (x, n) − τ (x, −n)) = 0,
so that from (6.3) we find (6.4).
Not writing explicitly time for the sake of conciseness, we can use a tetrahedron type argument
to show the linearity of p with respect to n, namely we show the existence of a second-rank tensor
A(x) such that
p(x, n) = A(x)n(x).
Then we find
(y(x) − y0 ) × t + A∗ τ = (y(x) − y0 ) × P(x)n(x) + A∗ τ = A(x)n(x),
so that
A∗ τ (x, n) = A(x)n(x) − (y(x) − y0 ) × P(x)n(x),
which implies the linearity of τ (x, n) with respect to n because A∗ does not depend on n.
The localization of the integral balance of forces, namely equation (6.1a), which is possible due
to the arbitrariness of b, gives rise to the local balance (6.6). By contrast, the localization of the
integral balance (6.2) implies
A∗ (DivS + β ‡ ) = eP∗ − (Dν)∗ S,

which indicates the existence of a covector, say z, satisfying equation (6.7) with constraint (6.8).
The last item follows by using the pointwise balances and Gauss’s theorem.
— z is a local action, the one of the microstructure ‘inside’ the material element at x over
itself. S measures the first-neighbour interactions due to inhomogeneous microstructural
changes among neighbouring material elements.
— If we would start from the last relation in the theorem as a first principle—it would
correspond to a principle of virtual power, when we allow the rates to be virtual—we
would impose the existence of the self-action and the stresses, in other words, we would
presume a priori the structure of the balance equations.
— The theorem indicates also that the assumption a priori of the existence of an
independent integral balance of microstructural actions can be considered superfluous.
The circumstance that such actions appear in the (generalized) balance of torques does
not imply at all that they are couples for the presence of the linear operator A∗ . Per se
the microstructural actions are not necessarily couples, while their projection through A∗
into the ambient physical space generates couples.
— Non-trivial questions pertain to boundary conditions to be prescribed for the balance of
microstructural actions. Formally, they can be of Dirichlet or Neumann type. The field
ν̃ can be assigned experimentally along ∂B in some specific circumstances, as it is for
liquid crystals for which surfactants can impose the orientation of the molecules at the
boundary. As regards the prescription of micro-tractions τ = Sn along ∂B, unless we
know a loading device able to prescribe direct contact actions over the microstructure, we
have to impose simply Sn = 0. A case Sn = 0 occurs when we use the present framework
18
to construct direct models of rods and shells so that we may prescribe, e.g., external
bending moments at the boundary [47].

.........................................................
— As regards inertia effects, we may presume that the bulk actions can be decomposed
additively into inertial and non-inertial contributions, the former indicated by a
superscript ‘in’:
b‡ = b + bin and β ‡ = β + β in .
By raising at a first principle a version of the so-called theorem of live loads, we can presume
that the inertial components of the bulk actions can be identified by imposing that their
power equals the negative of the rate of the kinetic energy, and we write

d
k(ẏ
, ν, ν̇
)dx + (bin · ẏ + β in · ν̇) dx = 0, (6.10)
dt b b
where k(ẏ
, ν, ν̇
) is the kinetic energy, ẏ
is defined by ẏ
:= g̃ẏ, and ν̇
is in Tν∗ M. We
consider [32] the possible presence of microscopic (relative) inertia. Cases in which it may
occur are, for example, those of bubbles migrating inside a liquid in motion, relatively to
it, and vibrating within it [48], or solids with an enormous number of cavities, each one
containing a gyroscope [49,50]. In accordance to a proposal by Capriz [32], we write the
decomposition
1
k(ẏ
, ν, ν̇
) := ρ ẏ
· ẏ + κ(ν, ν̇
),
2
where ρ is the referential mass density and κ is such that κ(ν, 0) = 0; it admits non-
negative definite second derivative with respect to ν̇
, i.e. ∂κ(ν, ν̇
)/∂ ν̇
∂ ν̇
· (ν̇
⊗ ν̇
) ≥ 0,
the equality sign holding when ν̇
= 0. The dependence of κ(ν, ν̇
) must be considered
deprived by the effects of macroscopic rigid-body motion so that we may consider κ as a
function
κ(ν, ν̇
) = h(ν, ν̇
− (Aq)
).
The choice prevents an incongruence which would occur, by contrast, when κ is quadratic
with respect to ν̇
and we calculate the total kinetic energy of the body along a rigid-
body motion—an unjustified extra inertia moment would appear if we do not use
a form like h. By inserting the previous assumptions in the integral balance (6.10),
the arbitrariness of the part considered implies the identifications bin = −ρ ÿ and β in =
(d/dt)∂χ (ν, ν̇)/∂ ν̇ − ∂χ (ν, ν̇)/∂ν, with χ : TM −→ R+ a C1 function such that κ(ν, ν̇
) :=
∂χ (ν, ν̇)/∂ ν̇ · ν̇ − χ (ν, ν̇), at any ν̇, with ν̇
:= ∂χ (ν, ν̇)/∂ ν̇.
(b) The relative power and its invariance

Let us relax the idea that the reference place is fixed once and for all. This choice becomes
physically weighty when we consider structural irreversible changes in the material structure,
which frustrate even partially the one-to-one correspondence between the reference shape and
the actual one at each instant. Examples are nucleation and/or evolution relative to the rest of the
body of fractures or bulk inhomogeneities along a motion. At a given instant the actual shape of
a body is not in one-to-one correspondence with the initially chosen reference shape but with a
copy of it differing by the (virtual) pre-image of the defect.
A way of describing such circumstances is to make use of multiple reference shapes. However,
instead of considering a family of infinitely many possible reference shapes for the body under
scrutiny, it suffices to introduce a sort of infinitesimal generator of the family itself: a (not necessarily
integrable) vector field
x −→ w := w̃(x) ∈ R3
over the reference shape. Then we define a power relative to the virtual rate w. The definition
considers three key aspects: (i) the velocities ẏ and w are not in the same space so we have to push
forward w in the ambient space or to pull back ẏ into the reference space to compare them; (ii)
an effect of the mutation is the rupture and reformation of the material bonds so that we may
19
include configurational forces and couples, the latter ones determined also by possible changes
in the material symmetry and (iii) a mutation alters the energetic landscape.

.........................................................
We consider the following ingredients:
(a) the free energy ψ that we presume to be a differentiable function of x, t and a list ς of state
variables that we leave here undetermined—no constitutive equations enter into play—
and
(b) bulk configurational forces f with dissipative nature and couples μ, which have, in
contrast, both dissipative and conservative components.
We then define relative power [44] the functional Pbrel given by
Pbrel (ẏ, ν̇, w) := Pbrel−a (ẏ, ν̇, w) + Pbdis (w)
with

Pbrel−a (ẏ, ν̇, w) := b‡ · (ẏ − Fw) dx + Pn · (ẏ − Fw) dH2
b ∂b

+ β ‡ · (ν̇ − Nw) dx + Sn · (ν̇ − Nw) dH2
b ∂b
and
Pbdis (w) := (n · w)ψdH2 − (∂x ψ + f ) · w dx + μ · curlw dx.
∂b b b
Above, ∂x ψ is the explicit derivative of ψ = ψ̃(x, t, ς ) with respect to x, holding fixed ς . It

accounts for the inhomogeneity in the energy landscape, altered by the mutation. The term
(n · w)ψ is the flux energy density across the boundary ∂b, due to the mutation itself.
As for the external power, we subordinate Pbrel to an axiom of invariance.
Axiom of invariance for the relative power [44]: The relative power is invariant under isometry-
based changes in observers, i.e.
Pbrel (ẏ, ν̇, w) = Pbrel (ẏ∗ , ν̇ ∗ , w∗ )
for any choice of c, q, c̄, q̄ and any part b

Even in this case we have stringent consequences.
Theorem 6.2. The assumed invariance of the relative power under isometric-type changes in observers
implies the validity of the results 1 to 6 in theorem 6.1 and the following additional statements:
(i) The integral configurational balances

Pn dH2 − (F∗ b‡ + N∗ β ‡ ) dx − (∂x ψ + f ) dx = 0,
∂b b b

(x − x0 ) × Pn dH2 − (x − x0 ) × (F∗ b‡ + N∗ β ‡ ) dx
∂b b

− (x − x0 ) × (∂x ψ + f ) dx + 2μ dx = 0,
b b
where P := ψI − F∗ P − N∗ S, with I the second-rank unit tensor, hold.

(ii) If the field x −→ P is in C1 (B) ∩ C(B̄) and x −→ F∗ b, x −→ f , x −→ ∂x ψ are continuous over B,
the pointwise configurational balances
DivP − F∗ b‡ − N∗ β ‡ + ∂x ψ = f ,
Skw(g−1 P) = −2ēμ,
with ē Ricci’s symbol with all contravariant components, namely ēABC , hold.
(iii) The equation

20

Pbrel (ẏ, ν̇, w) = (P · Ḟ + z · ν̇ + S · Ṅ + P · Dw + μ · curlw) dx

.........................................................
b
holds and we call extended internal (or inner) power the right-hand side term.
The balance equations above have to be accompanied by the choice of the constitutive
structures, which specify the material class and are closure conditions for the system of equations.
The Clausius–Duhem inequality helps in limiting a priori constitutive structures. Here we write
it in isothermal version as
Ψ̇ (b) − Pbext (ẏ, ν̇) ≤ 0,
and we presume it to hold for any choice of the rates involved and any part b, with Ψ̇ the time

rate of the total free energy of b. By using equation (6.9) and considering Ψ (b) as given by B ψdx,
when the free energy density ψ, the stresses P, S and the self-action z depend all on x, F, ν, N
only, the inequality imposes P := ∂ψ/∂F, z := ∂ψ/∂ν, S := ∂ψ/∂N. When it is the case, dissipative
components of P, S and z are considered to be additive to the ‘energetic’ parts, always determined
by the first derivatives of the free energy density with respect to its entries.
(c) The conservative setting: Hamiltonian structures

When we put on the same level the representation of the actions and the prescription of the
constitutive structures, to get balance equations we may resort to one of the paths indicated in
the second group of possibilities above listed. In particular, when we restrict our attention to
elastic complex bodies, a Lagrangian density L exists, so that the total Lagrangian LB is given by

LB = L(x, y, ẏ, F, ν, ν̇, N) dx,
B
where we presume that L be of the form
L(x, y, ẏ, F, ν, ν̇, N) = 12 ρ ẏ

· ẏ + χ (ν, ν̇) − e(x, F, ν, N) − w(y, ν),
with e the elastic energy density and w the density of the potential of external actions. Then we
find balances of forces and micro-actions on the basis of Hamilton’s principle, by computing the
first variation of LB with respect to the action of diffeomorphisms over Ẽ and M (the so-called
vertical variation), and equating the results to zero. The resulting equations are
·
∂L ∂L ∂L
= − Div (6.11)
∂ ẏ ∂y ∂F
and
·
∂L ∂L ∂L
= − Div . (6.12)
∂ ν̇ ∂ν ∂N
— When we presume the existence of an internal constraint of the type
ν = f (F),
with f a differentiable function, we recover strain-gradient elasticity as a special case of

the general format of the elasticity of complex materials, as shown in [51]. In this case,
the microstress becomes the third-rank hyperstress appearing in the direct formulation
of strain-gradient elasticity (the proof of the existence of S indicated above applies).
— The pair (ν, N) is the peculiar element of the tangent map Tν̃(x) : Tx B → Tν M. ν and N
cannot be separated invariantly unless M is endowed with a parallel transport (and one
wants also to have a physically significant parallelism). A similar remark holds also for
the generic element (ν, ν̇) of TM. This is the basic reason allowing the presence of ν in the
list of entries of e, a presence which implies also the one of the self-action z, at least in its
21
energetic (conservative) component.

.........................................................
We can do something more.
Define p and r, respectively, the canonical momentum and the canonical microstructural momentum,
by
∂L ∂L
p= and r = .
∂ ẏ ∂ ν̇
With the previous notations we may then define what we call the Hamiltonian density H by
H(x, y, p, F, ν, r, N) = p · ẏ + r · ν̇ − L(x, y, ẏ, F, ν, ν̇, N).
H has partial derivatives with respect to its entries; some of them are the opposite of the
corresponding derivatives of L so that (6.11) and (6.12) can be also written in Hamiltonian form,
respectively, as
⎫
∂H ∂H ⎪
ṗ = − + Div ,⎪
∂y ∂F ⎪ ⎬
(6.13)
∂H ⎪
⎪
ẏ = ; ⎪
⎭
∂p
∂H ∂H ⎫
ṙ = − + Div ,⎪
⎪
∂ν ∂N ⎬
(6.14)
∂H ⎪
⎪
ν̇ = . ⎭
∂r
Let us consider for equations (6.13) and (6.14) boundary conditions of the type
u(x) = ū on ∂B
and
ν̃(x) = ν̄ on ∂B.
The Hamiltonian for the whole body is given by

H(y, p, ν, r) := H(x, y, p, F, ν, r, N) dx.
B
Consider now functionals K(y, p, ν, r) defined by

K(y, p, ν, r) := K(x, y, p, ν, r) dx,
B
with K a sufficiently smooth scalar density. Define now the variational derivatives
δH ∂H ∂H
:= − Div ,
δy ∂y ∂F
δH ∂H ∂H
:= − Div ,
δν ∂ν ∂N
δH ∂H
:=
δp ∂p
δH ∂H
and := ,
δr ∂r
where the variational (partial) derivatives δH/δy and δH/δν are meant to be computed by fixing
p and allowing y to vary and holding r, while leaving ν free to vary. In this last case, the implicit
assumption is that at every ν we can find a copy of r in Tν∗ B.
Then we can define (see also [47]) the canonical Poisson bracket {K, H} as
22

δK δH δH δK
{K, H} = · − · dx
δy δp δy δp

.........................................................
B

δK δH δH δK
+ · − · dx
B δν δr δν δr
and the functional time derivative K̇ as

δK δK
K̇ = · ẏ + · ṗ dx.
B δy δp
Theorem 6.3. The validity of the equation
K̇ = {K, H}
for any K satisfying the conditions above implies the validity of the balance equations.
In the presence of dissipative effects, which can be associated with a Rayleigh-type dissipation
potential, we change the equations in the above theorem with the addition of a dissipative bracket.
Specifically, we write
K̇ = {K, H} + {K, R}D , (6.15)
with R the already mentioned dissipation and the functional {·, ·}D satisfying the following
assumptions:
— {·, ·}D is symmetric.

— {R, R}D ≥ 0.
With R of the type

R := R(r) dx,
B
{·, ·}D is defined by
∂K ∂R
{K, R}D := · dx.
B ∂r ∂r
We can even choose equation (6.15) as a first principle, although we restrict ourselves in this
case to describe dissipation structures just in terms of R.
7. Covariance of the second law

As we have already recalled, in continuum mechanics of materials the second law is commonly
considered as a tool for deducing restrictions on the possible constitutive laws and a criterion
of stability. In this vein, the second law is exploited in different manners (see, e.g., the critical
analysis in [52]).
We can use it also as a source of the results contained in the theorems above and the restrictions
to the constitutive relations. Here I sketch just the essential steps of the procedure. Applications
to finite-strain plasticity based on the multiplicative decomposition of the deformation gradient
can be found in [42].
(a) Covariance principle in dissipative setting

Let B ≤ 0 be in short an expression of the second law for a given observer O. Another observer,
O , evaluate an inequality of the type B ≤ 0. By assumption, the link between O and O is given
by diffeomorphisms as described above.
In general, B does not coincide with B. When we pull back the inequality evaluated by O into
the frame(s) defining O or, by contrast, we push forward B into O , by using the diffeomorphisms
relating the two observers, we, respectively, get inequalities of the type B + B† ≤ 0 or B + B‡ ≤ 0. A
question is whether and in what sense we can characterize a priori in some way the terms B† and
23
B‡ . The following principle suggests an answer.
Covariance principle in dissipative setting: In any diffeomorphism-based change in observer, when

.........................................................
we project the mechanical dissipation inequality evaluated by an observer into the frame defining the other,
the additional term arising along the process is always non-positive.
In other words, with such a principle we affirm that when a process is dissipative for a given
observer it is so for any other observer.
(b) The mechanical dissipation inequality

A key point is the explicit expression of the inequality B ≤ 0. What I suggest here is restricted to
the isothermal setting and is an extended expression of the mechanical dissipation inequality. It
reads
d
B(ẏ, ν̇, w; ψ, b) := ψ dx − Pbrel (ẏ, ν̇, w) ≤ 0. (7.1)
dt b
The procedure to evaluate its covariance, i.e. its structure invariance under diffeomorphism-
based changes in observers, follows the steps below.
— Select the list of state variables appearing as entries of the energy (so far they have been
left unspecified in the expression of the relative power). Restrict them by the help of
objectivity assumptions (see [10–14] for the pertinent techniques). In particular, besides
the presence of the spatial and material metrics, in the list of state variables the metric on
M may appear when we consider M endowed with a metric structure as in the case it is
Riemannian.
— Assume covariance (tensoriality) of the free energy. Formally, it means that we impose at
every instant t the identity
ψ = ψ ◦ (ĥt × ht × (λ(ht ) × h̃t )),
where the symbol ◦ indicates as above standard map composition and (ĥt × ht × (λ(ht ) ×
h̃t )) summarizes the combined action of ĥt , ht , (λ(ht ), h̃t ), those of diffeomorphism-
based changes in observers over reference and ambient spaces, and the manifold M of
microstructural shapes, respectively. In particular, it is convenient to express in terms of
time derivative of ψ the covariance condition. To this aim, we can adapt to the setting
discussed here the pertinent expression introduced in the special case of finite-strain
plasticity discussed in [42]. (Incidentally, as regards plasticity, should we identify ν with
the slip rate in single crystals or the plastic factor in the multiplicative decomposition of
F, or else a function of elastic invariants, we could recover existing models of strain-
gradient plasticity as special prominent offspring of the model-building framework
discussed here.)
— Impose the covariance principle in dissipative setting to the mechanical dissipation
inequality (7.1), written in terms of relative power.
The results that we find are
(1) the existence of the stress and the microstress, the latter one obtained without embedding
the manifold of microstructural shapes into a linear space;
(2) the need of a bulk inner microstructural self-action to assure local balances;
(3) point-wise balances of standard, microstructural and configurational balance equations
and
(4) a priori constitutive restrictions.
They all emerge from a unique invariance requirement.

Note that, in general, under diffeomorphism-based changes of frames, as described above,

24
since ψ is a density with respect to the volume measure, we should have
ψ = det(Dĥt )ψ ◦ (ĥt × ht × (λ(ht ) × h̃t )).

.........................................................
The assumed covariance implies
det(Dĥt ) = 1,
i.e. that ĥt must be volume preserving, independently of the material nature of the body. Such a
restriction on the changes in observers, that is exactly the one adopted in computing the horizontal
variation of functionals in calculus of variations (see the treatise [53], where the independence
between balance of forces and the one of configurational action is pointed out), agrees also with
the axiom of permanence of the material typology under changes in observers.
8. Some open problems

In a 2002 lucid paper [16], John M. Ball indicated a number of open mathematical problems in
nonlinear elasticity of simple bodies in the scenario opened by basic existence results in the matter
[15,54,55]. A question is in what sense that problems can be discussed in the setting sketched
here when we focus attention on nonlinear elasticity of complex (rather than simple) bodies.
General existence results of minimizers of energy for nonlinear elastic complex materials exist.
One of them is in reference [56]; its proof requires the embedding of the manifold M into a linear
space. The embedding is always possible because M is taken to be finite-dimensional but it is
not unique and we can prove existence for any embedding. A previous result is in reference
[57] and deals with the micromorphic case in which M is identified with a linear space. The
coercivity assumption is weaker than the one adopted in [56]. However, the energy considered
in reference [57] has just a decomposed structure (it is less general than the energy analysed in
[56]), which allows the weaker coercivity assumption. Moreover, the use of currents in reference
[56] allows us to get results in Sobolev spaces W 1,p , with p lesser than 2 and even as close as you
want to 1. A general existence result avoiding embedding M in any linear space, but taking M as
a complete Riemannian manifold and considering multi-valued microstructural descriptor maps
(values defined to within a permutation), included in Ginzburg–Landau-type energies, appears
in [58].
Discussing the possible counterparts (if any) in this setting of the problems indicated in [16]
would require a paper a part. However, at least a problem can be indicated here: (Problem 1) What
kind of regularity results can we get in nonlinear elasticity of complex bodies, i.e. with reference
to energies of the type
e(x, F, ν, N) dx,
B
with density e assumed to be polyconvex in F and convex in N, or polyconvex in the pair (F, N),
leaving M not embedded but requiring that it is Riemannian?
Besides statics, dynamics indicates also unexplored lands. There are existence results in special
cases of the dynamics of complex materials (e.g. [59]), but a basic question is the following:
(Problem 2) What can we say about existence and regularity of solutions to the balance equations
in Theorem 1 when we consider inertia as indicated in commenting the theorem, and what about
the qualitative behaviour of trajectories?
Macroscopic inertia can be coupled with diffusion of the microstructures, so that the balance
equation (6.7) can have parabolic nature, due to absence of microscopic inertia but presence of a
dissipative self-action z, which is then proportional to the time rate of ν. ( Problem 3) What can we
say about existence in this general case, with the restrictions above?
In selecting M, we implicitly imagine to have a determinate view on the microstructural
features that we consider prominent. In a certain sense, we are presuming a certain uniformity
in the typology of microstructures throughout the body. A closer look to physical cases can
evidence circumstances of high heterogeneity, which could suggest us to consider the field
ν̃ as stochastic. (Problem 4) What can we say for the general structure sketched above in
25
this case?
Besides analytical and geometrical problems, the modelling questions are manifold. I indicate

.........................................................
just a couple of them in the general framework, to make some examples of possibilities, leaving
understood that if we look at special cases they multiply.
A problem deals with the description of mixtures of complex materials, as they occur in
biological organisms. (Problem 5) How should we have to modify the general model-building
framework above to have a theoretical tool able to furnish specific models of mixtures of materials
with interacting or non-interacting microstructures?
So far we have discussed just the isothermal framework. In the non-isothermal case, even
just in describing rigid conductors, we know the problem of infinite speed of temperature
disturbances emerging when we accept Fourier’s law. Related discussions on possible
phenomenological changes of Fourier’s law to avoid the physical drawback populate the
literature (see the critical survey [60]). (Problem 6) Can we say that the evident finite speed
propagation of temperature disturbances depends on the influence of the material microstructure,
irrespective of its type? I believe that an answer could be given by considering ν as a function of
the temperature, once we have a notion of temperature far from equilibrium.
9. On the nature of mathematical models of the phenomenological world

Previous discussions express implicitly a question: What do we do from a philosophical viewpoint
when we propose a model, precisely a mathematical model in mechanics? Summarizing some notions
already discussed here helps us at least in delimiting the scenario. A body, we know, can suffer
recoverable and/or permanent strain. It can be damaged, the statement making sense once we
define a state that we decide be the undamaged reference. Damage can localize up to form
macrocopic cracks (the adjective referring to the human average perception without instruments).
A body can move with respect to an observer.
Constructing mathematical models of the mechanical behaviour of bodies means describing
qualitatively and quantitatively at least part of the processes listed above. A model is in fact a
representation of a phenomenon, or a class of phenomena, addressed by data but going beyond them.
To build up a model, we do not need to be an arid reporter of a single phenomenon, but
it is necessary to have sufficient imagination to evidence the possible essential aspects of the
mechanical process under scrutiny, and to connect them each other.
The construction of a mathematical model of natural phenomena has something to do with
the craftsmanship and, in its highest expressions, with art for the quality and the density of the
aesthetic content of the model itself.
The process determining a ‘vision’ from which a mathematical model emerges follows a path
strictly analogous to what we traditionally consider an artistic creation. It has its roots in the
researcher’s imagination. The logic rigour follows. A theorem is perceived first, even vaguely.
Then we make an effort in finding its rigorous proof. This is the way a mathematician not having
solely a (so to speak) ‘professional’ experience of his discipline acts, a mathematician which we
can consider a creative scholar.
Imagination generates a vision of the world, which may reflect on social structure in different
manners. If I construct a model of the phenomenological world (or at least part of it), what I
represent is my world—a point of view expressed by Ludwig Wittgenstein in item 5.641 of his
Tractatus Logicus Philosophicus (see any edition of the Tractatus)—in the sense that it is a descriptive
choice adopted by who expresses an interpretative cataloging of the phenomena. Such a statement
has to be handled with care because a superficial analysis of it would bring us to an unfruitful
arbitrariness of interpretations and descriptions of the phenomena, without any distinction in
terms of effectiveness, pertinence, value. With reference to the description of physical phenomena,
the word my referred to the world has to be intended in some statistical sense. It is connected to
an observer, intended as a human community, measuring physical events in a given historical
period and with certain tools that are themselves the result of a preliminary interpretation of
the phenomena. Averages and fluctuations emerging from data statistical analyses address some
26
way the state of the knowledge in a given historical period. In this sense, the statement ‘my
world’ has to be intended as the knowledge humans have in a given time. The solipsism that

.........................................................
Wittgenstein attributes to the interaction between a single human observer and the language
translates to the social collectivity and manifests itself in the process of knowledge. Its limits and
the phenomenological experience push the researcher to establish or to adopt principles, which
indicate the limits of his speech on the topic under analysis.
Some principles appear unavoidable—the second law of thermodynamics, the energy balance,
objectivity, covariance and so on—but their explicit form can be expressed in various manners
in specific cases. Alternative versions of a given concept may generate different models of the
same class of phenomena, and these models can even furnish, in contrast, analogous results in
specific cases. Different models can also emerge from the same principles as a consequence of the
introduction of subsequent technical assumptions. A problem is then the choice among models
equivalent to each other in some sense.
A way to discriminate seems to be the economy in the assumptions. In William of Ockham’s
work, we find implicit the suggestion to avoid multiplying without needs the bases of an
interpretative analysis: what we commonly call Ockham’s razor. Such a viewpoint is sometimes
considered as concerning the number of peculiar entities involved (principles or else), other times
referred to their type. However, in using it we have to take care because the razor may generate
epistemic dilemmas: it is a progressive reduction tending to an absolute minimum of concepts.
Perhaps, using Ockham’s razor with reference to the entire process of knowledge, including its
implicit constraints (e.g. the degree of deepness that we decide to assign to the description of
what we analyse) can give more effective results.
The choice of principles addresses our speech on a class of natural phenomena. The formal
expression in mathematical terms of the foundational principles adopted determines linguistic
structures. In fact, mathematics is a language with a singular peculiarity: it allows us to express
statements that are at the same time qualitative and quantitative without resorting to structures
of other languages. For example, when we affirm, e.g., that the readers of this article will be at
most five, we are using English and we qualify the persons involved in our statement—readers—
but to quantify them we resort to a concept—the number five—pertaining to mathematics. This
peculiar aspect furnishes some indications on the descriptive effectiveness of mathematics in
representing nature.
In item 4.21 of his Tractatus, Wittgenstein claims that what in a language expresses itself we
cannot express through the language. To allow our thoughts to represent ‘reality’, it is necessary
that the elements composing the propositions we express about one another be in the same
relationships occurring among the elements of the reality (see item 2.15 in the Tractatus). This
is also Pierre Hadot’s interpretation of Wittgenstein’s concept of logic form [61]. And the reality
is for an observer what emerges in the observation. The observation imparts logic form to
recorded phenomena. Our data are filtered from the beginning by our brain as observers and
designers of new experiments. Also mathematics has its origin in the human brain: it emerges
from our instinctive will of ordering and counting things in a process going naturally towards
the construction of more and more abstract forms, its grammatic structures in the end. It is
just this aspect—I believe—the source of the effectiveness of mathematics in describing the
phenomena recorded in experiments. Such effectiveness is then not so much connected with
the description of the world as it pertains to what we observe and to us is the world. The
observation is organized and managed by our brain, which is also the place from which the
structures constituting mathematics emerge. The natural bridge between observation and model
is the thought: there we establish not only the logical form of the observation of phenomena
but also the form of the language though which we describe the world. In this sense, we can
interpret the early Wittgenstein when he affirms that the limits of my language are the limits of my
world (see item 5.6 in the Tractatus), i.e. the limits of description and interpretation of what we
perceive though senses and instruments, although the construction of an instrument presupposes
a preliminary conceptual idea on some aspects of the world. The limits of the speech about
physical events are those implied by principles and mathematics adopted. They are also the limits
27
of researcher’s imagination, which determines value and would like to embrace the world trying
to perceive (perhaps we cannot do nothing more than trying) its ultimate essence. For these

.........................................................
reasons, I find unfruitful polemic positions about the presumed excessive use of mathematics
in mechanics. It is not so much a matter of showing to the community the personal ability of
managing articulated mathematical structures as the basic fact that when we use some tools
we are able to tell something with a certain deepness and when we change tool we are telling
something else, perhaps less comprehensive for being less general (this is the reason, e.g., pushing
me to choose above to work with abstract differentiable manifolds instead of considering more
simply M as a linear space . . . but this is just a trivial example). The question is to decide
about what we want to tell, not a priori about the mathematical tool we want to use. Formal
simplicity must be preferred to a more involved structure only when we reach the same level
of descriptive richness with respect to potential events in a specific class. By contrast, manifest
idiosyncrasy for advanced formal structures could be interpreted just as a way of saving your
own position without entering into a land in which one believes (perhaps even unconsciously)
to be unable to walk. So, the question becomes psychological more than objective. By contrast,
the concrete question is the quality of the results we get and the way they are evaluated.
Evaluation of models and articulate theoretical views is matter of culture, psychology, ethics of
the evaluator; it is matter of time, perhaps the true riddle, and it is not an easy task, above all
when we are not in front of the research academic routine, based at times on almost imperceptible
variations of what we know, a routine essential otherwise to dig up the ground, hoping for flowers
and fruits.
10. Creativity in mechanics

I have already mentioned craftsmanship and art in connection with the construction of
mathematical models of natural phenomena—and here I think primarily of continuum mechanics
of materials. I believe that my claim has general character connected with doing mathematics
in a creative manner, indicating as creativity the attitude to attempt extending the domain of
mathematics by introducing new concepts, proving non-trivial theorems, constructing further
effective mathematical models of the phenomenological world. With ‘extension of the domain’
I mean the enlargement of the mathematical knowledge by addition, not properly a progress
rendering stale what has been done previously. I do not want to discuss the problem whether the
mathematical results are discoveries or creations. The ontological answer we give whatever, for a
scholar trying to do mathematics in a way that we can define creative in the vague sense above,
the question has no special interest. Who works this way inside mathematics considers doing it
as a creative act. Commonly, nobody asks whether the Ode to Joy is a discovery or formulates the
same question for the whole Ninth Symphony, or the Goldberg Variations, the Cello Suites, or the
Jupiter symphony, just to list some examples. Although these musical masterpieces are implicit
in the manifold of possible combinations of the notes on the pentagram, we all believe that their
writing is a creative act and we can say they are art, even if the definition of art is a matter of
disputations. In fact, we are culturally educated to think that they are art but also, instinctively,
in listening to them we perceive ‘something’ we cannot define explicitly and we go in some
sense beyond the notions we have. Implicitly, these masterpieces indicate even the constitutive
nature of art: as it is the matter that defines in a sense the physical space perceived by the human
observer around himself, so the works are those indicating—without avoiding ambiguity in the
definition—the nature of the aesthetic experience. We can agree with Luigi Pareyson that there is
possibility of art in the entire human diligence in the sense of the formativeness of our actions.
Such a possibility expresses itself in the ability of performing a piece of work ‘in a way extremely
singular and personal, unmistakable though paradigmatic, and where we can speak about style,
we have to speak of art’ (my translation of the Italian original in [62, p. 64]). Then the question,
in mathematics as in all the other human creative activities, is the level of the aesthetic content,
its density in a work and the permanence in time of the work itself. It is not simply a question
of getting something down to a fine art, i.e. applying in rigorous and impeccable manner known
28
techniques. Rather it is matter of adopting some available techniques and inventing new ones in
order to create something inimitable for it is unique and imitable for it is a potentially unavoidable

.........................................................
influencing reference. We can list several examples and we can quite affirm that the research in
mathematics nourishes itself and is addressed by such duplicity.
Questions emerge. In fact, in defining creativity according to the indications at the beginning
of this section, we need some clarifications. What is the meaning of new? Does ‘new’ refer to
a not-previously existing concept, or else to a not-previously accepted or imagined use of an
existing concept or interpretation of it? Is there any unquestionable definition of non-triviality
or else is it matter of the evaluator’s imagination and culture? When is a model concretely
effective?
The evident possibility of ambiguity and/or incompleteness in proposing answers to the
previous questions exposes who would like to delineate exactly the boundaries of creativity, in
particular in mechanics, with a formal scheme to the concrete risk of constructing it just on an
implicit self-referential inconsistent dream.
We do not know exactly what creativity be but we can say that it includes the ability of go
through (even just rather) unexplored lands or to look in an unusual way (and the adjective
implies different modulations corresponding to various degrees of creativity, whatever it be) to
existing results or already debated topics. It includes the clear connection between the physical
essence of the concepts considered and their mathematical expression. It is a sort of light on
the phenomenological world. Should it be present, it emerges in time although it could be
unrecognized in its first appearance, or, in contrast, opposed just because recognized (and in this
case it is matter of opposer’s psychology).
11. Praising a friend on the occasion of his 90th birthday

In the period I was working on this issue of the Philosophical Transactions of the Royal Society,
during October 2015, I participated in a party in Gianfranco Capriz’s home, organized for his 90th
birthday. I was in the garden when I started to speak with some gentle persons I did not know—
they were Capriz’s relatives not involved in scientific research in their professional activity. One of
them asked me the nature of Capriz’s work and I tried to popularize its essence, being conscious
that often popularization reduces to a shadow theatre of a shadow theatre. Then that person asked
me how I could indicate Capriz in the community of continuum mechanics. I watched Gianfranco
far in the garden with a number of former students around and after a while I answered that I
consider him one of the most creative scholars in theoretical continuum mechanics I have known
so far. I justified my evaluation with his continuous, still energetic and lucid, effort to go deeply
inside the foundations of continuum mechanics, exploring the limits of available formulations
and trying to go beyond them on the basis of physical views, even staggering, leaning against a
not completely defined vision, with the consciousness that the foundational work has essential
character. I also justified my evaluation with the variety of his work, which pictures him both
as a problem-solver and proponent of comprehensive theories with far reaching vistas, having
influence more extended than commonly declared. In summary, he has and has had a non-trivial
ideas in mechanics, where I intend non-triviality as the possibility of producing non-standard
fruits. And I ended the discussion remembering that if you ask Capriz to indicate one of the most
creative scholars in theoretical continuum mechanics he knows, he would mention (as he did
in personal conversations) Jerald L. Ericksen, for analogous reasons, being far from any idea of
praising himself.
Competing interests. I declare I have no competing interests.
Funding. I received no funding for this study.
Acknowledgements. This work has been developed within the activities of the research group in Theoretical
Mechanics of the Centro di Ricerca Matematica Ennio De Giorgi of the Scuola Normale Superiore in Pisa. The
support of INDAM-GNFM is acknowledged.
References 29
1. Newton I. 1687 Philosophiae Naturalis Principia Mathematica; translated as The Principia:

.........................................................
Mathematical Principles of Natural Philosophy. Preceded by a Guide to Newton Principia by
I. Bernard Cohen. Translated by I. B. Cohen and A. Whitman, assisted by J. Budenz. Berkeley:
University of California Press, 1999.
2. Euler L. 1752 Decouverte d’un nouveau principe de mé canique, Mem. Acad. Roy. Sci.
Berlin, 185–217, in Opera omnia, serie II, vol. 5, 81–108. (https://math.dartmouth.edu/∼
euler/docs/originals/E177.pdf)
3. Bernoulli J. 1703 Demonstration generale du centre de balancement ou d’oscillation tirée de
la nature du levrier, Mem. Acad. Roy. Sci. Paris (1703), 1705, 78–84, in Opera Mathematica
Varia, vol. 2, 930–936. Die Werke von Jakob Bernoulli, 5 vols, various editions. Basel, Switzerland:
Birkhauser.
4. Coxhead MA. 2012 A close examination of the pseudo-Aristotelian Mechanical Problems:
the homology between mechanics and poetry as technē. Stud. Hist. Philos. Sci. 43, 300–306.
(doi:10.1016/j.shpsa.2011.12.015)
5. Euler L. 1736 Mechanica sive motus scientia analytice exposita, auctore Leonhardo Eulero, Academiae
Imper. scientiarum membro et matheseos sublimioris professore, Tomus I, Petropoli, ex typographia
Academiae Scientiarum. (Reprinted in: Leonhardi Euleri Opera Omnia, Lipsiae et Berolini,
typis et in aedibus B. G.Teubneri 1912.)
6. Comte IMAFX. 1830–1842. Cours de Phylosopie Positive. See http://gallica.bnf.fr/ark:/12148/
bpt6k76267p/f548.image.r=cours.
7. Segev R. 1994 A geometrical framework for the static of materials with microstructure. Math.
Mod. Meth. Appl. Sci. 4, 871–897. (doi:10.1142/S0218202594000480)
8. Noll W. 1958 A mathematical theory of the mechanical behavior of continuous media. Arch.
Rational Mech. Anal. 2, 197–226. (doi:10.1007/BF00277929)
9. Antman SS. 1995 Nonlinear problems of elasticity. Berlin, Germany: Springer.
10. Marsden JE, Hughes TRJ. 1983 Mathematical foundations of elasticity. Englewood Cliffs, NJ:
Prentice Hall Inc. (1994 Dover Edition).
11. Šilhavý M. 1997 The mechanics and thermodynamics of continuous media. Berlin, Germany:
Springer.
12. Truesdell CA. 1977 A first course in rational continuum mechanics. New York, NY: Academic
Press.
13. Truesdell CA, Noll W. 1965 The non-linear field theories of mechanics. In Handbuch der Physik
(ed. S Flügge), Band III/3, pp. 1–602. Berlin, Germany: Springer.
14. Truesdell CA, Toupin RA. 1960 Classical field theories of mechanics. In Handbuch der Physics
(ed. S Flügge), Band III/1, pp. 226–793. Berlin, Germany: Springer.
15. Ball JM. 1976/1977 Convexity conditions and existence theorems in nonlinear elasticity. Arch.
16. Ball JM. 2002 Some open problems in elasticity. In Geometry, mechanics and dynamics (eds
P Newton, P Holmes, A Weinstein), pp. 3–59. New York, NY: Springer.
17. Stackgold I. 1950 The Cauchy relations in a molecular theory of elasticity. Q. Appl. Math. 8,
169–186.
18. Born M, Huang K. 1954 Dynamic theory of crystal lattices. Oxford, UK: Oxford University Press.
19. Friesecke G, Theil F. 2002 Validity and failure of the Cauchy–Born hypothesis in a two-
dimensional mass-spring lattice. J. Nonlinear Sci. 12, 445–478. (doi:10.1007/s00332-002-0495-z)
20. Weinan E, Ming P. 2007 Cauchy–Born rule and the stability of crystalline solids: static
problems. Arch. Rational Mech. Anal. 183, 241–297. (doi:10.1007/s00205-006-0031-7)
21. Weinan E, Ming P. 2007 Cauchy–Born rule and the stability of crystalline solids: dynamic
problems. Acta Math. Appl. Sin. Engl. Series 529, 529–550.
22. Mariano PM, Stazi FL. 2005 Computational aspects of the mechanics of complex materials.
Arch. Comp. Methods Eng. 12, 391–478. (doi:10.1007/BF02736191)
23. Saint-Raymond L. 2009 Hydrodynamic limits of the Boltzmann equation. Lecture Notes in
Mathematics. Berlin, Germany: Springer.
24. Friesecke G, James RD. 2000 A scheme for the passage from atomic to continuum theory of
thin films, nanotubes and nanorods. J. Mech. Phys. Solids 48, 1519–1540. (doi:10.1016/S0022-
5096(99)00091-5)
25. Kohn W, Sham JL. 1965 Self-consistent equations including exchange and correlation effects.
30
Phys. Rev. 140, A1133–A1138. (doi:10.1103/PhysRev.140.A1133)
26. Lieb EH. 1981 Thomas–Fermi and related theories of atoms and molecules. Rev. Mod. Phys. 53,

.........................................................
603–641. (doi:10.1103/RevModPhys.53.603)
27. Weinan E, Lu J. 2013 The Kohn-Sham equations for deformed crystals. Mem. Am. Mat. Soc.
221, 97.
28. Coleman BD, Gurtin ME. 1967 Thermodynamics with internal state variables. J. Chem. Phys.
47, 597–613. (doi:10.1063/1.1711937)
29. Halphen B, Nguyon QS. 1975 Sur le matériaux standard généralisés. J. Me 14, 39–63.
30. Maugin GA. 1990 Internal variables and dissipative structures. J. Non-Equil. Thermodyn. 15,
173–192.
31. Mielke A, Theil F, Levitas VI. 2002 A variational formulation of rate-independent phase
transformations using an extremum principle. Arch. Ration. Mech. Anal. 162, 137–177.
(doi:10.1007/s002050200194)
32. Capriz G. 1989 Continua with microstructure. Berlin, Germany: Springer.
33. de Groot S, Mazur P. 1962 Non-equilibrium thermodynamics. Amsterdam, The Netherlands:
North-Holland.
34. Engelbrecht J. 2015 Questions about elastic waves. Berlin, Germany: Springer.
35. Noll W. 1963 La Mécanique classique, basée sur une axiome d’objectivité, pp. 47–56 of La
Méthode Axiomatique dans les Mécaniques Classiques et Nouvelles (Colloque International, Paris,
1959). Paris, France: Gauthier-Villars.
36. Noll W. 2010 Translation of Walter Noll’s ‘Derivation of the fundamental equations
of continuum thermodynamics from statistical mechanics’, translated by Richard B.
Lehoucq and Anatole Von Lilienfeld-Toal. J. Elasticity 100, 5–24. (doi:10.1007/s10659-010-
9246-9)
37. Pitteri M. 1990 On a statistical-kinetic model for generalized continua. Arch. Rational Mech.
Anal. 111, 99–120. (doi:10.1007/BF00375403)
38. Germain P. 1973 The method of virtual power in continuum mechanics, Part 2: microstructure.
SIAM J. Appl. Math. 25, 556–575. (doi:10.1137/0125053)
39. Antman SS, Osborn JE. 1979 The principle of virtual work and integral laws of motion. Arch.
Rational Mech. Anal. 69, 231–262.
40. Bloch A, Krishnaprasad PS, Marsden JE, Ratiu TS. 1996 The Euler–Poincaré equations and
double bracket dissipation. Comm. Math. Phys. 175, 1–42. (doi:10.1007/BF02101622)
41. Mielke A. 2011 On thermodynamically consistent models and gradient structures for
thermoplasticity. GAMM-Mitt. 34, 51–58. (doi:10.1002/gamm.201110008)
42. Mariano PM. 2013 Covariance in plasticity. Proc. R. Soc. A 469, 20130073. (doi:10.1098/rspa.
2013.0073)
43. Mariano PM. 2002 Multifield theories in mechanics of solids. Adv. Appl. Mech. 38, 1–93.
44. Mariano PM. 2014 Mechanics of material mutations. Adv. Appl. Mech. XX, 1–92.
45. Segev R. 2004 Fluxes and flux-conjugated stresses. In Advances in multifield theories of continua
with substructure (eds G Capriz, PM Mariano), pp. 149–165. Basel, Switzerland: Birkhäuser.
46. Šilhavý M. 1991 Cauchy’s stress theorem and tensor fields with divergences in Lp . Arch.
47. Simo JC, Marsden JE, Krishnaprasad PS. 1988 The Hamiltonian structure of nonlinear
elasticity: the material and convective representation of solids, rods and plates. Arch. Rational
Mech. Anal. 104, 125–183.
48. Capriz G, Giovine P. 1997 On microstructural inertia. Math. Mod. Meth. Appl. Sci. 7, 211–216.
(doi:10.1142/S021820259700013X)
49. Milton GW, Willis JR. 2007 On modifications of Newton’s second law and linear continuum
elastodynamics. Proc. R. Soc. A 463, 855–880. (doi:10.1098/rspa.2006.1795)
50. Brocato M, Capriz G. 2001 Gyrocontinua. Int. J. Solids Struct. 38, 1089–1103.
51. Capriz G. 1985 Continua with latent microstructure. Arch. Rational Mech. Anal. 90, 43–56.
(doi:10.1007/BF00281586)
52. Ván P. 2003 Weakly nonlocal irreversible thermodynamics. Annalen der Physik (Leipzig) 12,
142–169.
53. Giaquinta M, Hildebrandt S. 1996 Calculus of variations, vol. I The Lagrangian formalism, vol. II.
The Hamiltonian formalism. Berlin, Germany: Springer.
54. Giaquinta M, Modica G, Souček J. 1989 Cartesian currents, weak diffeomorphisms

31
and existence theorems in nonlinear elasticity. Arch. Rational Mech. Anal. 106, 97–159.
doi:10.1007/BF00251429) [Erratum and addendum, Arch. Rational Mech. Anal. 1990 109,

.........................................................
385–392.]
55. Müller S, Tang Q, Yan BS. 1994 On a new class of elastic deformations not allowing for
cavitation. Ann. Inst. H. Poincaré Anal. Non Linéaire 11, 217–243.
56. Mariano PM, Modica G. 2009 Ground states in complex bodies. ESAIM Control, Optimization
and Calculus of Variations 15, 377–402. (doi:10.1051/cocv:2008036)
57. Neff P. 2006 Existence of minimizers for a finite-strain micromorphic elastic solid. Proc. R. Soc.
Edinburgh 136A, 997–1012.
58. Focardi M, Mariano PM, Spadaro EN. 2015 Multi-value microstructural descriptors for
complex materials: analysis of ground states. Arch. Rational Mech. Anal. 215, 899–933.
59. Coutaud D, Shkoller S. 2001 Well-posedness of the full Erickse–Leslie model of nematic liquid
crystals. CRAS Mat. 333, 919–934.
60. Straughan B. 2011 Heat vawes. Berlin, Germany: Springer.
61. Hadot P. 2007 Wittgenstein e i limiti del linguaggio. Turin, Italy: Bollati-Boringhieri.
62. Pareyson L. 1988 Estetica. Milan, Italy: Bompiani.
View publication stats

George E. Dieter-Mechanical Metallurgy SAYAN

Uploaded by

Copyright:

Available Formats

George E. Dieter-Mechanical Metallurgy SAYAN

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

George E. Dieter-Mechanical Metallurgy SAYAN

Uploaded by

Copyright:

Available Formats

See discussions, stats, and author profiles for this publication at: https://www.researchgate.

Trends and challenges in the mechanics of complex materials: A view

Paolo Maria Mariano

Mechanics of complex materials View project

The user has requested enhancement of the downloaded file.

Trends and challenges in the

Cite this article: Mariano PM. 2016 Trends

One contribution of 11 to a theme issue 1. Preamble

2. Some sparse historical notes on mechanics

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

(i) representation of the morphology of a body (its geometrical description), which is

A common, instinctive tendency is to consider the construction of a model in continuum

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

5. Observers and their role

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

(a) Synchronous isometric-type changes in observers in multi-field setting

ẏ∗ := QT ẏ = c(t) + q(t) × (y − y0 ) + ẏ, (5.1)

{λ : Diff(Ẽ 3 , Ẽ 3 ) −→ Diff(M, M)},

The counterpart of ẏ∗ is given by

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

w∗ := c̄(t) + q̄(t) × (x − x0 ) + w, (5.3)

where x0 is another arbitrary fixed point, c̄ a translation and q̄ a rotation vector.

(b) Diffeomorphism-based changes in observers

— The class of differentiable homomorphisms λ generate over M maps λ(ht ) : M −→ M.

6. Origin and nature of the balance equations 13

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

(1) We can assign directly point-wise balances.

— Prescribing point-wise balances of the actions occurring in complex materials in analogy

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

for any choice of c and q, and the part considered.

(1) The integral balances

where A∗ is the formal adjoint of A, i.e. A∗ (ν) ∈ Hom(Tν M, R3 ), hold.

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

(3) The microstructural contact actions satisfy a non-standard action–reaction principle:

A∗ (τ (x, n) + τ (x, −n)) = 0. (6.4)

t(x, n) = P(x)n(x), (6.5)

is the so-called microstress.

holds and there exists a field x −→ z(x) ∈ Tν∗ M such that

On defining r := (y − y0 ) × b‡ + A∗ β ‡ and p := (y − y0 ) × t + ν × τ , the integral equation (6.2)

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

A∗ (DivS + β ‡ ) = eP∗ − (Dν)∗ S,

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

(b) The relative power and its invariance

rsta.royalsocietypublishing.org Phil. Trans. R. Soc. A 374: 20150341

We then define relative power [44] the functional Pbrel given by

Pbrel (ẏ, ν̇, w) := Pbrel−a (ẏ, ν̇, w) + Pbdis (w)

Above, ∂x ψ is the explicit derivative of ψ = ψ̃(x, t, ς ) with respect to x, holding fixed ς . It

for any choice of c, q, c̄, q̄ and any part b

(i) The integral configurational balances

where P := ψI − F∗ P − N∗ S, with I the second-rank unit tensor, hold.