Abstract
The concept of a minimal state was introduced in recent decades, based on earlier work by Noll. The property that a given quantity is a functional of the minimal state is of central interest in the present work. Using a standard representation of a free energy associated with a linear memory constitutive relation, a new condition, involving linear functionals, is derived which, if satisfied, ensures that the free energy is a functional of the minimal state. Using this result and recent work on constructing free energy functionals, it is shown that if the kernel of the rate of dissipation functional is given by sums of products, the associated free energy functional is a functional of the minimal state.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
There are generally many free energies associated with a material with memory. They form a bounded convex set with a minimum and a maximum element ([14], for example), which we denote by ℱ.
Explicit algebraic representations of the minimum and related free energies have been given for materials with memory which have constitutive equations for stressFootnote 1 given by linear functionals of the strain; see for example [1, 2, 4, 10, 12, 15–21].
More classical examples of free energies were constructed and considered in earlier references, namely the Graffi-Volterra and Dill functionals discussed in [2, 7, 8, 14, 24, 26] and other papers. These are denoted by \(\psi_{\mathit{GV}}(t)\) and \(\psi_{\mathit{Dill}}(t)\) respectively. There is also a free energy functional \(\psi_{F}(t)\) which was introduced more recently [11] and is an explicit functional of the minimal state (henceforth abbreviated to FMS).
These are all quadratic functionals which yield linear constitutive equations for the stress, in a mechanics context. They are easily generalized to materials with linear memory constitutive relations but where the memory-independent contribution may be non-linear. A generalization of such quadratic functionals, yielding non-linear constitutive relations has been proposed recently [22].
It should be noted that some functionals are free energies only for certain types of material, so that the size of ℱ will depend on material properties. Examples of this are \(\psi_{\mathit{GV}}(t)\), \(\psi _{\mathit{Dill}}(t)\) and \(\psi_{F}(t)\). Those with the least constraints on the material are the minimum free energy and also the family of related functionals discussed in for example [2, 18] (though this family is non-trivial only for relaxation functions with no branch cut singularities in the frequency domain).
Recent work [20] seeks to systematically explore existing and new categories of free energy functionals in ℱ, using a novel technique. Free energies that are quadratic functionals of quantities known to be FMSs are explored in another recent paper [21]. It is found that this is a very restricted category.
The concept of a minimal state was introduced in recent decades ([2, 7, 8, 10, 15, 25], for example) based on earlier work by Noll [27]. Recent work on this topic in the context of fractional hereditary materials may be found in [9, 13]. The term minimal state was first used in [15]. The property that a given quantity is a FMS is of central interest in the present work. Most but not all of the free energies discussed above are FMSs. This is a property that involves conditions on quadratic functionals. In the present work, we present an alternative linear functional condition, which holds if and only if the free energy of interest is a FMS. Because it is a linear rather than a quadratic, it is easier to explore and to apply in new contexts.
The use of this new formula is illustrated by applying it to test whether certain standard free energies are FMSs. This involves confirming results already known by alternative arguments. However, it is also applied to the new free energy functionals introduced in [20]. Indeed, it is shown that if the kernel of the rate of dissipation functional is given by sums of products, the associated free energy functional is a FMS.
Remark 1
Such categories of free energies are very general and this suggests a conjecture that the only free energies given by quadratic functionals of the kind discussed in this work which are not FMSs are degenerate cases, in particular the Graffi-Volterra functional and the work function, both discussed in Sect. 4.1, and any combination of free energies including these.
Free energy functionals are useful in defining the topology of the space of states, when studying stability and related problems for the integro-differential equations describing the evolution of materials with memory, subject to stress. A new approach (for example, [2], p. 390) to such problems has been initiated by Fabrizio recently, which has a number of advantages and which seeks to express function spaces in terms of minimal states and use free energies which are FMSs. Another use for free energies is in modeling dissipation of energy in materials with memory. This requires choosing a functional that approximates, in some fashion, the physical free energy [18, 23]. If some property related to this phenomenon has been established for a given class of histories, then this class may be considerably extended if the material has the property that minimal states are non-singleton and the free energy is a FMS.
Regarding the notational convention for referring to equations, we adopt the following rule. A group of relations with a single equation number (***) will be individually labeled by counting “=” signs or “<”, “>”, “≥” and “≤”. Thus, (***)5 refers to the fifth “=” sign, if all the relations are equalities. Relations with “∈” are ignored for this purpose.
2 Models of Materials with Memory
For simplicity, we confine the discussion to the scalar theory. The strain at time \(t\) and its history are \(E(t)\) and \(E^{t}\) respectively, where
while the relative history is given by
For simplicity, we take the history to be continuous, in particular at \(s = 0\). The stress is denoted by \(T(t)\). The general form of the constitutive relation is
where it is understood that \({\widetilde{T}}\) is a functional of \(E^{t}\) and a function of \(E(t)\). The general form of a free energy functional is denoted by
where, as with \({\widetilde{T}}\), the quantity \(\tilde{\psi}\) is a functional of \(E^{t}\) and a function of \(E(t)\). Let \(E^{\dagger}\) be the static history, equal to \(E(t)\) at the current and all past times. Then
where \({\widetilde{\phi}}(E(t))\) is the equilibrium free energy. This is a definition of \({\widetilde{\phi}}\), which must have the same form for any choice of free energy. The abbreviation to \(\phi(t)\) will be frequently used.
2.1 Required Properties of a Free Energy
We denote a particular free energy at time \(t\) by \(\psi(t) = \tilde{\psi}(E^{t},E(t))\). Certain properties of free energies, derived in [5], have been used in [10, 14, 17] and elsewhere, to characterize such functionals. These are now listed.
-
P1.
We have
$$ \frac {\partial \tilde{\psi}(E^{t},E(t))}{\partial E(t)} = \frac {\partial \psi (t)}{\partial E(t)} = T(t) = {\widetilde{T}}\bigl(E^{t},E(t)\bigr). $$(2.6)Thus, any choice of free energy must yield the same \({\widetilde{T}}\), according to this prescription.
-
P2.
For any history and current value \((E^{t},E(t))\),
$$ \tilde{\psi}\bigl(E^{t},E(t)\bigr) \geq {\widetilde{\phi}}\bigl(E(t)\bigr), $$(2.7)where equality is achieved for the static history \(E^{\dagger}\).
-
P3.
We have
$$ \dot{\psi}(t) + D(t) = T(t)\dot{E}(t),\quad D(t) \geq0, $$(2.8)where \(D(t)\) is the rate of energy dissipation associated with \(\psi (t)\). The first relation is a statement of the first law, while the non-negativity of \(D(t)\) is in effect the second law.
These are a version of the Graffi conditions for a free energy. Properties P1 and P2 follow from the second law, which is included in P3 [5, 22].
The work function is given by
where it is assumed that the integral exists.
The quantity \(W(t)\) behaves similarly to a free energy functional with zero dissipation rate associated with it (for example, [2, 22]). In particular, it follows from (2.9) that
which is (2.8) or P3 for \(D(t) = 0\).
3 General Relationships
The constitutive relations with linear memory terms have the equivalent forms
where \(T_{e}(t)\) is the stress function for the equilibrium limit (\(E_{r}^{t}(u) = 0, \; u \in \mathbb {R}^{+}\)) and the quantity \(G(\cdot): \mathbb {R}^{+} \mapsto \mathbb {R}^{+}\) is the relaxation function of the material. We define
The assumption is made that
which will be relevant in the context of taking the Fourier transform of these quantities. The quantity \(T_{e}(t)\) in (3.1) is given by
which is the equilibrium limit of (2.6). For a completely linear material,
and \(T_{0}(t)\), \(T_{e}(t)\) are given by the form
3.1 Representation of a Free Energy as a Quadratic Functional
For a scalar theory with a linear memory constitutive relation for the stress, the most general form of a free energy is
where the subscripts in (3.7)5 and below indicate differentiation with respect to the first and second argument, while \(S(t)\) has the form
The quantity \(T_{0}(t)\) is defined by (3.1)4. There is no loss of generality in taking
The following properties of \(G\) are assumed to hold for \(s, u \in \mathbb {R}^{+}\):
The relaxation function \(G(u)\) is given by
yielding
Relation (3.12) ensures that P1 or (2.6), applied to (3.7)1, yields (3.1). Properties (3.10) and (3.12) are required in the derivation of (3.7)2 from (3.7)1.
The Graffi condition P2, given by (2.7), requires that the kernels \({\mathcal{G}}\) and \({\widetilde{G}}\) must be such that the integral terms in (3.7)1,3 are non-negative.
Note that the quantity \(G(u)\) is the same for all choices of free energy, i.e. for all choices of \(G(s,u)\), since it generates the defining constitutive equation for the material. This is a constraint on \(G(s,u)\).
Referring to the quantity \(S(t)\), given by (3.8) and used in (3.7)2, we see that
which is P1 or (2.6) for the form (3.7)2.
The rate of dissipation can be deduced from (2.8), (3.7) and (3.1)8,9,10 to be
where
The quantity \(G\) must be such that the integrals in (3.14) are non-positive, as required by P3 of the Graffi conditions. The quantities \(K\) and \({\mathcal{K}}\) can also be taken to be symmetric in their arguments, as in (3.9).
There are two equivalent alternatives for the developments outlined in the present work, the first being to use \({\widetilde{G}}(s,u)\), \(K(s,u)\), \(\dot{E}^{t}(s)\) and the second to use \({\mathcal{G}}(s,u)\), \({\mathcal{K}}(s,u)\), \(E^{t}_{r}(s)\). We will have occasion to use both notations, though mainly the first.
3.2 The Work Function
This quantity, given by (2.9)1, can be put in the following forms ([2], p. 153 and earlier references cited therein):
We see that it can be cast in the forms (3.7)1,3 by putting
From the integrated form of (2.8), we have in general,
4 Minimal States
This topic will be dealt with here in an elementary manner. For more formal treatments, using states and processes, we refer to [2] and earlier work cited in that reference.
A viscoelastic state is defined in general by the history and current value of strain \((E^{t},E(t))\). The concept of a minimal state can be expressed as follows: two viscoelastic states \((E_{1}^{t},E_{1}(t))\), \((E_{2}^{t},E_{2}(t))\) are equivalent or in the same equivalence class or minimal state if for
we have
It is of interest to express these conditions for linear materials. Let us define
for any history and
for the histories \(E^{t}_{1}\) and \(E^{t}_{2}\), where
The second relation is of course a special case of the first. The condition that \(E_{1}^{t}\) and \(E_{2}^{t}\) are equivalent histories then takes the form
Note that (4.6) is also the condition that \(E^{t}_{d}\) is equivalent to the zero history.
Remark 2
A functional of \((E^{t},E(t))\) which yields the same value for all members of the same minimal state is referred to as a FMS or a minimal state variable. In particular, the quantity \(I^{t}\), defined by (4.3), is a FMS.
A fundamental distinction between materials is that for certain relaxation functions, namely those with only isolated singularities (in the frequency domain), the set of minimal states is non-singleton, while if some branch cuts are present in the relaxation function, the material has only singleton minimal states ([2], p. 342). For the singleton case, the only histories satisfying (4.6) are the trivial choices yielding \(E^{t}_{d}(s) = 0, \, \forall s \geq0\).
The results we seek to show are also trivial in this case. The interesting situation is where (4.6) applies for \(E^{t}_{d}(s) \neq0\), which corresponds to non-singleton minimal states. It will therefore be assumed that the relaxation function of the material under consideration has only isolated singularities.
For such materials, there is a maximum free energy that is less than the work function \(W(t)\) and also a range of related intermediate free energies. Furthermore, the free energy functional is positive semi-definite ([2], p. 152).
The simplest case of isolated singularities occurs in discrete spectrum materials (see Sect. 6).
A free energy \(\psi(t) = \tilde{\psi}(E^{t},E(t))\), is a FMS if it has the property that any two members \((E_{1}^{t},E(t))\), \((E_{2}^{t},E(t))\) of the same minimal state yield equal values of \(\tilde{\psi}\), or
A free energy need not have this property, though most of those which are of interest are in fact FMSs.
We are using a pragmatic definition of a free energy, namely a functional that obeys the Graffi conditions listed in Sect. 2.1. Other definitions exist, in particular the more abstract one discussed in [7, 8], with reference to the axiomatic formulation of Coleman and Owen [6]. Some connections between these two definitions are considered in [7, 8] and in for example [10]. For the more abstract formulation, all free energy functionals will be FMSs.
Remark 3
In the discussion (4.1)–(4.6), the history \(E^{t}_{1}\) can be chosen arbitrarily, while \(E^{t}_{2}\) is restricted to a degree by the conditions (4.6). This observation is important for Proposition 1 below.
Relations (4.1) and (4.2) for \(u = 0\) become
or
Observe that they yield the equality
where \(S_{1}\) and \(S_{2}\) are the function \(S\), defined by (3.8), for histories and current values \((E^{t}_{1}, E_{1}(t))\) and \((E^{t}_{2}, E_{2}(t))\), respectively.
Relation (4.7) is a constraint on quadratic functionals of the history. We now derive a linear condition that is equivalent to (4.7).
Proposition 1
If (4.9) holds for \(E^{t}_{d}\), defined by (4.5)1, then the condition (4.7) is equivalent to either
Proof
If (4.7) is applied to (3.7)2, using (4.10), it reduces to
or
Now
Noting that
by virtue of (3.9)2 and an interchange of integration variables, we see that (4.13) can be replaced by
This relationship can be written as
where the history \(E_{1}^{t}\) can be arbitrarily chosen (Remark 3). Therefore, (4.7) implies (4.11)1, while (4.11)2 follows from (3.9). Also, since the steps of the proof are reversible, (4.11)1,2 imply (4.7). If we integrate (4.11)2 over \([u_{1},\infty)\), the result is
for all \(u_{1} \geq0\). In particular, for \(u_{1} = 0\), we have
Relation (4.11)3,4 can be shown to be equivalent to (4.11)1,2, using integration by parts in (4.18).
These results are derived under the constraints (4.9). For the stronger assumption (4.6) for \(\tau\geq0\), it remains of course true that (4.7) and (4.11) are equivalent. The condition (4.11) states that the linear functionals
are FMSs. One can replace \(E^{t}(s)\) by \(E^{t}_{r}(s)\) in (4.20)1. □
Proposition 1 can be expressed as a statement that the free energy corresponding to \(G(s,u)\) is a FMS if and only if, given that (4.19) holds, then (4.18) is true for all \(u_{1} > 0\).
If \(E^{t}_{d}\) is equivalent to the zero history, then (4.7) yields that ([2], p. 152)
Condition (4.11) yields, more generally, that if either (but not both) of the histories \(E^{t}_{d}\) is replaced by an arbitrary history, (4.21)2 still holds.
4.1 Some Examples
-
1.
The Graffi-Volterra free energy: This functional is given by
$$ \begin{aligned}[b] \psi_{\mathit{GV}}(t)& =\phi(t) - \frac {1}{2}\int _{0}^{\infty}G^{\prime}(s)\bigl[E_{r}^{t}(s) \bigr]^{2} d s \\ & = S(t) - \frac {1}{2}\int_{0}^{\infty}G^{\prime}(s) \bigl[E^{t}(s)\bigr]^{2} d s. \end{aligned} $$(4.22)The rate of dissipation associated with \(\psi_{\mathit{GV}}\) has the form
$$ D(t) = \frac {1}{2}\int_{0}^{\infty}G^{\prime\prime}(s) \bigl[E_{r}^{t}(s)\bigr]^{2} ds \geq0. $$(4.23)The functional \(\psi_{\mathit{GV}}(t)\) is a free energy only if the conditions
$$ G^{\prime}(s) \leq0,\qquad G^{\prime\prime}(s) \geq0,\quad \forall s \in \mathbb {R}^{+} $$(4.24)hold. Relations (4.24) are true in particular for the forms of the relaxation function described in Sect. 6.
We can formally express \(\psi_{\mathit{GV}}(t)\) in the form (3.7) by putting
$$ {\mathcal{G}}(s,u) = - \frac {1}{2}\bigl[G^{\prime}(s) + G^{\prime}(u)\bigr]\delta(s-u),\quad s, u \in \mathbb {R}^{+}, $$(4.25)where \(\delta(s-u)\) is the singular delta function. Thus,
$$ \int_{0}^{\infty} {\mathcal{G}}(s,u)E_{d}^{t}(u)du = -G^{\prime}(s) E^{t}_{d}(s) \neq0, $$(4.26)so that (4.11) is not obeyed and \(\psi_{\mathit{GV}}\) is not a FMS. This is shown by another method in [2], p. 218 and earlier in [7].
-
2.
The Dill free energy: Opting for the notation (3.7)3 rather than (3.7)1 which is used in [2], we put
$$ \psi_{\mathit{Dill}}(t) = \phi(t) + \frac {1}{2}\int_{0}^{\infty}\int_{0}^{\infty} {\widetilde{G}}(s_{1}+s_{2}) \dot{E}^{t}(s_{2}) \dot{E}^{t}(s_{1}) d s_{1} d s_{2} $$(4.27)which is a free energy with rate of dissipation (cf. (3.14)1) given by
$$ D_{\mathit{Dill}}(t) = - \int_{0}^{\infty}\int _{0}^{\infty}G^{\prime}(s_{1}+s_{2}) \dot{E}^{t}(s_{2}) \dot{E}^{t}(s_{1}) d s_{1} d s_{2}, $$(4.28)if and only if \(G(\cdot)\) is completely monotonic, as defined in [7].
Thus, \({\widetilde{G}}(s,u) = {\widetilde{G}}(s+u)\) and it follows immediately from Proposition 1 that the Dill free energy is a FMS, because (4.11) has the same form as (4.6)2,3.
-
3.
The functional \(\psi_{F}\) : This quantity, introduced in [11], is given by
$$ \begin{aligned}[b] &\psi_{F}(t) = \phi(t) - \frac {1}{2}\int _{0}^{\infty} \frac { [I^{t}_{(1)} (\tau ,E^{t}_{r}) ]^{2}}{G^{\prime}(\tau))} d \tau, \\ &\quad I^{t}_{(1)}\bigl(\tau, E^{t}_{r}\bigr) = \int_{0}^{\infty}G^{\prime\prime}(\tau+t) E^{t}_{r}(s) d s. \end{aligned} $$(4.29)Note that
$$ I^{t}_{(1)}\bigl(\tau, E^{t}_{d}\bigr) = 0, $$(4.30)so that \(I^{t}_{(1)}\) as well as \(I^{t}\) is a FMS. We have
$$ {\mathcal{G}}(s,u) = -\int_{0}^{\infty} \frac {G^{\prime\prime}(s+z)G^{\prime \prime }(u+z)}{G^{\prime}(z)} d z, $$(4.31)and (4.11) follows from (4.30). However, it is clear by inspection of (4.29), without the use of Proposition 1, that \(\psi_{F}(t)\) is a FMS.
On the other hand, the formulae (4.11) give, more readily than traditional arguments, that \(\psi_{\mathit{GV}}\) and \(\psi_{\mathit{Dill}}\) are FMSs.
-
4.
The work function: This functional has the form (3.16). The version of (4.11) given by (4.18) becomes, in this case,
$$ \int_{0}^{\infty} \frac {\partial}{\partial u}G\bigl( \lvert s-u \rvert \bigr)E_{d}^{t}(s)ds = 0, \quad \forall u \in \mathbb {R}^{+}. $$(4.32)Observe that for \(u \in \mathbb {R}^{--}\), this gives the same condition as (4.6)2,3, so that if (4.32) holds, then it is true for \(u \in \mathbb {R}\). Taking the Fourier transform of this relation, using (5.13) below, together with the Convolution theorem, we see that its unique solution is \(E^{t}_{d}(u) = 0\), \(u \in \mathbb {R}^{+}\), corresponding to singleton minimal states. Therefore, (4.32) cannot be true for relaxation functions with non-singleton minimal states, and the work function is not a FMS, as demonstrated in [7], using a different approach.
5 Frequency Domain Quantities
Let \(\varOmega \) be the complex \(\omega \) plane and
These define the upper half-plane including and excluding the real axis, respectively. Similarly, \(\varOmega ^{-}\), \(\varOmega ^{(-)}\) are the lower half-planes including and excluding the real axis, respectively.
5.1 Relaxation Function
Let us define the quantities
It follows from (3.3) that \(G^{\prime}_{+}\) and \({\widetilde{G}}_{+} \in L^{2}(\mathbb {R})\). Applying a partial integration in (5.2)3 yields that
so that
Note the properties of \({\widetilde{G}}_{+}\) and \(G_{+}^{\prime}\) that ([2], p. 552, for example)
Further properties of \({\widetilde{G}}_{c}(\omega )\) and \(G_{s}^{\prime}(\omega )\) include [2, 14]
which are consequences of the second law. We have
the latter relation being true for a viscoelastic solid.
Let us now discuss other properties of \(G^{\prime}\), which apply also to \({\widetilde{G}}\). The function \(G_{+}^{\prime}(\omega )\) is analytic on \(\varOmega ^{(-)}\) and, by assumption, on an open set including ℝ. This implies that any singularities are at least slightly off the real axis into \(\varOmega ^{(+)}\), which in turn means that \(G^{\prime}\) decays exponentially at large positive times, though perhaps weakly.
Because \(G^{\prime}\) is real, we have from (5.2), for \(\omega \in \varOmega \),
where the bar denotes complex conjugate. This constraint means that the singularities are symmetric under reflection in the positive imaginary axis. In particular, for real \(\omega \), \(\overline{G^{\prime}_{+}(\omega )} = \overline{G^{\prime}_{+}}(\omega ) = G^{\prime}_{+}(-\omega )\), where the bar over \(G^{\prime}_{+}\) acts on the function but not the variable \(\omega \).
The quantity \(\overline{G_{+}^{\prime}}(\omega )\) is analytic in \(\varOmega ^{+}\), its singularity structure being a mirror image, in the real axis, of that of \(G_{+}^{\prime}(\omega )\). Thus, the singularities of \(G^{\prime}_{s}(\omega )\) are in both \(\varOmega ^{(+)}\) and \(\varOmega ^{(-)}\) and are mirror images of one another. Similarly, its zeros will be mirror images of one another.
A quantity which will be of significant interest, particularly in the context of the minimum and related free energies, is
where the inequality is a consequence of (5.6). Using (5.5)4,5 and (5.9), one can show that
We assume for present purposes that \(G^{\prime}(0)\) is non-zero so that \(H_{\infty}\) is a finite, positive number. Then \(H(\omega ) \in \mathbb {R}^{++} \,\forall \omega \in \mathbb {R}, \omega \neq 0\), and can always be expressed as the product of two factors
where \(H_{+}(\omega )\) has no zeros in \(\varOmega ^{(-)}\) and is analytic in \(\varOmega ^{-}\). Similarly, \(H_{-}(\omega )\) is analytic in \(\varOmega ^{+}\) with no zeros in \(\varOmega ^{(+)}\) [2, 10]. We put [2, 17]
A general method is outlined in [2, 17] for determining the factors of \(H\), though for the case of discrete spectrum materials, one can deduce \(H_{\pm}\) by inspection.
The factorization (5.11) is the one relevant to the minimum free energy. We shall require a much broader class of factorizations, where the property that the zeros of \(H_{\pm}(\omega )\) are in \(\varOmega ^{\pm}\) respectively need not be true. These generate a range of free energies related to the minimum free energy, as discussed briefly in Sect. 9.
Let us define \(G(s)\) on ℝ by taking the even extension \(G(s) = G( \lvert s \rvert)\), for \(s \in \mathbb {R}\), so that \(G^{\prime}(s)\) is an odd function. Then ([2], p. 546),
5.2 Strain History
We assume that the history of strain \(E^{t}\) is in \(L^{1}(R^{+})\cap L^{2}(R^{+})\). If the quantity \(E^{t}(s)\) is taken to be zero for \(s < 0\), its Fourier transform is given by
We have \(E^{t}_{+}(\omega ) \in L^{2}(\mathbb {R})\). This quantity is analytic on \(\varOmega ^{(-)}\) and, by assumption, on an open set including ℝ. For a constant history, \(E^{t}(s) = E(t)\), \(s \in \mathbb {R}^{+}\), we have ([2], p. 552)
The Fourier transform of \(E^{t}_{r}\), defined by (2.2) and zero for \(s \in \mathbb {R}^{--}\) therefore has the form
The notation \(\omega ^{\pm}\) was introduced in [17] and used in various subsequent papers. It implies that \(\omega \) is slightly off the real axis at either \(\omega _{r} \pm i{\epsilon }\) (where \(\omega _{r}\) is on the real axis). The limit \(\omega \rightarrow \omega _{r}\) can be taken after integrations have been carried out. It is useful for example in applying the Plemelj formulae. We have ([2], p. 145)
For large \(\omega \) (cf. (5.5)),
where \(A(t)\) is independent of \(\omega \). Also, from (5.17),
6 Discrete Spectrum Materials
The forms of the relaxation function and related quantities for discrete spectrum materials are specified in this section. We have
where \(n\) is a positive integer. The inverse decay times \(\alpha _{i} \in \mathbb {R}^{+}\), \(i=1,2, \dots,n\) and the coefficients \(G_{i}\) are also generally assumed to be positive, this being the simplest way to ensure the condition (5.6), which is clear from (6.2)2 below. We arrange that \(\alpha _{1}<\alpha _{2}<\alpha _{3} \dots\). From (5.2)1, we have
Relation (5.9) gives
Let us now characterize minimal states in the context of discrete spectrum materials. Consider two states \((E^{t}_{1},E_{1}(t))\) and \((E^{t}_{2},E_{2}(t))\) obeying conditions (4.6), so that they are equivalent. Using the notation of (4.5) and (5.14), we see that (4.6) holds for all \(\tau\geq0\) if and only if
Remark 4
Thus, the property that two given histories are equivalent, or in the same minimal state, is determined solely by the values of those histories in the frequency domain at \(\omega = -i\alpha _{j}\), \(j = 1,2,\dots, n\).
Remark 5
General materials with only isolated singularities are discussed in Chaps. 15 and 16 of [2]. These, for many purposes, can be simplified to the case where all singularities are simple poles in \(\varOmega ^{(+)}\).
Discrete spectrum materials are a further special case of materials with simple poles, where the poles of \({\widetilde{G}}_{+}(\omega )\) lie along the positive imaginary axis. It is relatively simple to generalize the results given in this work to materials with simple poles off the imaginary axis. It is also possible to merge these poles to form more general isolated singularities.
We will use discrete spectrum materials as a proxy for the more general case with only isolated singularities, to provide simpler arguments.
7 Time Domain Theory Representations of Free Energy Functionals
A method is developed in [20] for determining free energy functionals with desired non-negativity properties, for the time and frequency domains. This approach allows us to choose a kernel for the rate of dissipation and determine from this the kernel for the free energy. In the time domain version, we have the relations [20]
It follows that
Relation (4.11)3, for \({\widetilde{G}}(s,u)\) given by (7.1)1, becomes
8 Frequency Domain Representations of Free Energies and Dissipation Rates
A formula equivalent to (7.3) in the frequency domain is introduced in this section, using certain results from [20] which are now summarized.
Frequency domain representations for the work function (see (3.16)) are given by ([2], p. 154)
Both forms are manifestly non-negative. One follows from the other by invoking (5.17).
Let us now consider free energies with general kernels, as given by (3.7)3, with rates of dissipation specified by (3.14)1. We define [20]
where \(Z(s,u)\) represents the kernel \({\widetilde{G}}(s,u)\) or \(K(s,u)\). Note that
so that \(Z_{+-}(\omega ,\omega )\) is real. The quantity \(Z_{+-}(\omega _{1},\omega _{2})\) is analytic in the lower half of the \(\omega _{1}\) complex plane and in the upper half of the \(\omega _{2}\) plane. Inverting Fourier transforms in (8.2) yields that
The frequency domain version of the kernels \({\mathcal{G}}(s,u)\) and \({\mathcal{K}}(s,u)\) occurs in quadratic forms expressed in terms of \(E^{t}_{r+}(\omega )\) rather than \(\dot{E}^{t}_{+}(\omega )\). We can easily switch to this type of functional by using (5.17). Relations (3.15)1 and (8.2) yield that
where \({\widetilde{G}}_{+}(\omega )\) is defined by (5.2)1. From (3.11), (5.2)1 and (8.2), it follows that [20]
We can write (3.7)3 and (3.14)1 in the forms
As for the time domain expressions, we conclude from P2 and P3 (see (2.7), (2.8)) that the quadratic functionals in (8.7)1 must be non-negative, while that in (8.7)2 must be non-positive. It is shown in [20], using (8.5), that
where one form follows from the other by using (5.17). Relation (8.8)1 can also be derived from (7.1), using (8.4). The quantities \(\omega ^{\pm}\) are discussed briefly after (5.16). The double use of this notation in the denominator specifies the procedure, depending on which integration is carried out first ([20] and earlier work, [2], p. 250). It is shown in [20] that
where (5.2)1, (5.3) and (5.9) have also been invoked.
Taking the Fourier transform of the free variable \(u\) in (4.11)4, and applying Parseval’s formula to the integrated product, we obtain
where \(E^{t}_{d+}\) is the Fourier transform of \(E^{t}_{d}\), defined by (4.5); see also (6.4). Then, (8.5) gives
The versions with \(\omega ^{+}\) and \(\omega ^{-}\) will be shown to be equivalent. Consider the first integral on the right of (8.11), for \(\omega ^{+}\). Closing the contour on \(\varOmega ^{(-)}\), it is clear that
Condition (4.6)3 has the form [21]
where \({\lambda }\) is any complex constant. It follows that
From the complex conjugate of this relationship, \(\overline {I^{t}_{d+}}(\omega ) = 0\), we deduce that
where the choice \(\omega ^{+}\) is dictated by convergence requirements. The enforcement of (8.15) ensures that \(\dot{E}^{t}_{d+}(\omega )\) is the Fourier transform of a history equivalent to zero. Combining (8.12) with (8.15) for \({\lambda }= 0\), we obtain
From (8.16), (8.9) and the Plemelj formulae, we obtain
which is equal to the right-hand side of (8.11), for \(\omega ^{-}\) in the denominator. Either (8.16) or (8.17) express condition (8.10) or (4.11).
9 The Minimum and Related Free Energies
A particularly interesting example of the formalism discussed in Sect. 8 is now briefly summarized.
It is shown in [15, 18] that, for materials with only isolated singularities, the quantity \(H(\omega )\) is a rational function and has various factorizations other than (5.11), denoted by
where \(f\) is an identification label distinguishing a particular factorization. These are obtained by exchanging the zeros of \(H_{+}(\omega )\) and \(H_{-}(\omega )\), leaving the singularities unchanged. Thus, \(H_{-}^{f}(\omega )\) has all its singularities in \(\varOmega ^{(-)}\). We have, by virtue of (5.17),
where
Each factorization yields a (usually) different free energy of the form
Remark 6
All the quantities \(p^{ft}_{-}(\omega )\) can be shown to be FMSs ([2], p. 340). In particular, the basic quantity \(p^{t}_{-}(\omega )\), corresponding to \(f = 1\), which is defined for all materials, including those with branch points, is an FMS ([2], p. 253 and [10]). Relation (9.4) for \(p^{t}_{-}(\omega )\) yields the minimum free energy. It follows from the fact that the \(p^{ft}_{-}(\omega )\) are FMSs that all the free energies \(\psi_{f}(t)\) also have this property.
The quantity \(W(t)\), given by (8.1), can be expressed as ([2], p. 353)
It can be shown that the rate of dissipation associated with \(\psi _{f}(t)\) is
where
We can write \(\psi_{f}(t)\) in the form (see (8.8)) [2, 18]
while \(D_{f}(t)\), given by (9.6), can be expressed as (see (8.7)2)
Comparing (9.9) and (8.7)2, we see that
and (8.16) is true if and only if
which is the property noted in Remark 6.
All the free energies \(\psi_{f}(t)\) are on the boundary of the convex set of free energies associated with a given state of the material, in the sense that the rate of dissipation given by (9.9) is a non-negative rather than a positive definite functional. The factorization (5.11) corresponds to \(f = 1\) and yields the minimum free energy \(\psi_{m}(t)\). Each exchange of zeros, starting from these factors, can be shown to yield a free energy which is greater than or equal to the previous quantity ([15], [2], p. 363).
Remark 7
A particularly interesting one is obtained by interchanging all the zeros. This can be identified as the maximum free energy among all those that are FMSs. It is less than the work function, which is not a FMS for materials with only isolated singularities, as shown in Sect. 4.1. Furthermore, it is not necessarily greater than the Graffi-Volterra free energy, since the latter is also not a FMS [3].
There are several (indeed many, for a large number of isolated singularities) different zero exchange pathways leading from the minimum to the maximum free energy.
The most general free energy and rate of dissipation arising from these factorizations is given by
A particular case of this linear form is the free energy proposed in [18].
We now consider a generalization of the example discussed in this section.
10 Product Formulae in the Time and Frequency Domains
10.1 The Time Domain
Consider the form [20]
where \(k_{i} \in L^{1}(\mathbb {R}^{+}) \cap L^{2}(\mathbb {R}^{+})\), \(i = 1,2,\dots, m\) and where \(A_{i j}\), \(i,j = 1,2,\dots, m\) are the components of a non-negative matrix.
Remark 8
It is assumed that the \(k_{i}(u)\) vary independently of each other as u changes. In particular, they are not proportional to one another. Indeed, if some were proportional, they could be merged in the summation of (10.1).
The rate of dissipation (3.14) becomes
It follows from (7.1)1 that
Also, from (7.2),
The condition that \(\dot{E}^{t}_{d}\) is equivalent to the zero history takes the form
by virtue of (10.4) and (4.6). Recalling Remark 8, we see that since (10.5) holds for arbitrary \(u\), the individual constraints
must be obeyed. Condition (7.3) becomes, for \(K(s,u)\) given by (10.1),
which is true by virtue of (10.6). Conversely, since \(u\) is arbitrary, we see that (10.7) implies the conditions (10.6).
Relation (10.7) is equivalent to the statement that any free energy functional with rate of dissipation kernel given by (10.1) is a FMS, by virtue of Proposition 1. The conditions (10.6) are a statement that the quantities
are FMSs.
10.2 The Frequency Domain
We consider the forms
where
and \(A_{i j}\) are the components of the matrix introduced in (10.1). The quantities \(k_{i-}(\omega )\) have all their singularities in \(\varOmega ^{(-)}\) and are analytic on an open set including \(\varOmega ^{(+)}\), just as for the functions \(H_{-}^{f}(\omega )\), introduced in (9.1). Recalling (9.2), we put
Condition (8.9)1 gives that
This equation implies that the singularities of \(k_{j\pm}(\omega )\) are a subset (or the full set) of those in \(H(\omega )\). The possibility of extra singularities occurring in individual terms, which drop out of the summation due to cancellation between terms, is excluded by assumption.
Relations (8.7)2 and (8.8) yield
Remark 9
In the case where \(m = 1\), we have, putting \(A_{1 1} = 1\),
and relation (10.12) becomes
Relation (10.15) is of course the factorization problem for \(H(\omega )\), discussed extensively in previous work [2]. The solution is given by the factorizations (9.1) (which include (5.11) relating to the minimum free energy). Thus, the solution of (10.15) is non-unique. We put
It follows from (10.14) that \(K_{+-}(\omega _{1},\omega _{2})\) is given by (9.10). The rate of dissipation \(D_{f}(t)\) is (9.9) and \(\psi_{f}(t)\) has the form (9.8)1.
The case \(m = 1\) is therefore precisely that discussed in Sect. 9. For \(m > 1\), which is now considered, we are dealing with more general classes of free energies.
Proposition 2
The quantities
are FMSs.
This is a generalization of the properties noted in Remark 6.
Proof
Putting \({\lambda }= 1\) in (8.13), we determine that the quantity \(I^{t}_{d}(\tau)\) has the form
Substituting (10.12) for \(H(\omega )\), we find that
so that, from (10.11)1,
Observe that \(\overline{k_{i-}}(z)\), \(q^{t}_{j+}(z)\) and \(e^{-iz\tau} (\tau>0)\) are analytic functions in the lower half-plane \(z\in \varOmega ^{(-)}\). Their product converges strongly to zero at infinity, so that, by Cauchy’s theorem, (10.20) reduces to
We now wish to show that
The statement relating to the left pointing arrow of (10.22) follows trivially from (10.21). Let us consider the statement relating to the right arrow. We see from (10.11)2, by closing the contour on \(\varOmega ^{(-)}\), that the singularities of \(q_{di-}^{t}(\omega )\) are those of \(k_{i-}(\omega )\) in \(\varOmega ^{(-)}\). Also, \(\dot{E}^{t}_{d+}(\omega )\) only occurs evaluated at the singularities of the \(k_{i-}(\omega )\). The quantities \(q^{t}_{i-}(\omega )\) are homogeneously linear in these quantities. By virtue of (6.4), we have that (10.22)1 implies that all the \(E^{t}_{d-}(-i\alpha _{i})\) vanish, so that (10.22)2 is true, which yields (10.17). □
Proposition 3
Any free energy of the form (10.13)2 is a FMS.
Proof
Relation (8.16) takes the form
This is always satisfied for \(\dot{E}^{t}_{d+}\) equivalent to the zero history, by virtue of Proposition 2. Thus, (10.13)2 is a FMS. □
These results show that for all materials described by (10.1) or (10.9), the resulting free energy is a FMS. Proposition 3 is the basis for the conjecture in Remark 1.
We note that Parseval’s formula, applied to (10.6), gives (cf. (8.13))
Taking the Fourier transform of the complex conjugate of this relation gives
where \(\omega ^{+}\) is the choice required for convergence.
Thus, the results of Sects. 10.1 and 10.2 are in agreement.
An immediate example is obtained by taking \(m=N\) in (9.12) and \(A_{i j} = \delta_{i j}\), \(i,j = 1,2,\dots, m\), where \(\delta_{i j}\) is the Kronecker delta. We put
giving (see (9.10))
Then, the properties specified in Remark 6, given explicitly by (9.12), yields Propositions 2 and 3.
We now consider a deeper example, which generalizes that introduced in [20]. Let us assume that \({\widetilde{G}}(s)\) can be decomposed into \(m\) components \({\widetilde{G}}_{i}(s)\), \(i=1,2,\dots, m\), so that
Remark 10
Each \({\widetilde{G}}_{i}(s)\) is assumed to be the relaxation function of a well-defined material, obeying the laws of thermodynamics, in particular (5.6). The term sub-material was used in [20] for each of these. The strain function is assumed to be the same in each sub-material.
We put
yielding a relation of the form (10.4), with \(A_{i j} = \delta_{i j}\), \(i,j = 1,2,\dots, m\). For each \(i\), (10.29) can be regarded as a non-linear integral equation for \(k_{i}(s)\) in terms of the known quantity \({\widetilde{G}}_{i}(s)\).
The quantity \(H(\omega )\) can be decomposed into \(m\) components \(H_{i}(\omega )\), \(i=1,2,\dots, m\), where
where each \(H_{i}(\omega )\) is related to \({\widetilde{G}}_{i}(s)\) in accordance with (5.9) and in particular is non-negative for \(\omega \in \mathbb {R}\). It is the quantity \(H(\omega )\) for the sub-material with relaxation function \({\widetilde{G}}_{i}(s)\).
Under our assumptions, we have \({\widetilde{G}}(s)\) given by (6.1). Let us define \(m\) vectors of \(n\) dimensions, with components \(\mu_{i j} \geq0\), \(i = 1,2,\dots, m\) and \(j = 1,2,\dots , n\), putting
where
The second property follows from (10.28) and (6.1). Corresponding to (10.31), we have
For example, we could take \({\widetilde{G}}_{i}(\omega )\) to be a partial sum of the terms in (6.1) [20]
which corresponds to
where the sets \([n_{i}, m_{i}]\) are disjoint, with the property that \(\bigcup_{i=1}^{m} [n_{i}, m_{i}] = [1,m]\).
In general, each \(H_{i}(\omega )\) can be factorized as in (9.1). We will exclude the label \(f\) for simplicity and put
For each \(i\), we put
and (10.30) can be written as
where \(H_{i\pm}(\omega )\) are a particular pair of factors of \(H_{i}(\omega )\). Thus, we have
This relation resembles (10.27) but the factors have quite different meanings. If (10.39) is inserted into (8.7)2, we obtain
These relations are analogous to (9.6) and (9.7). Substituting (10.39) into (8.8) gives a sum of terms identical to (9.8) but with \(H_{i\pm}\) replacing \(H^{f}_{\pm}\). These terms can be re-expressed in the form (9.4) with the same replacements. The free energy can therefore be written as
The functional \(\psi(t)\) can be shown to have the properties of a free energy, as in [20]. Also, it follows from Proposition 3 that \(\psi(t)\) is a FMS.
11 Ethical Statement
Funding: G. Amendola has been supported by the University of Pisa, M. Fabrizio by the University of Bologna, and both by the Gruppo Nazionale di Fisica Matematica of the Istituto Nazionale di Alta Matematica; J.M. Golden has been supported by the Dublin Institute of Technology.
Notes
We consider for definiteness here isothermal mechanical problems, indeed those for solid viscoelastic materials. Also, only the scalar case is considered, which simplifies the algebra and allows us to focus on the essential structure of the arguments. It must be emphasized however that similar results have been given, with little extra difficulty, for viscoelastic fluids, non-isothermal problems, electromagnetic and non-simple materials with memory, and also for the general tensor theories relating to all of these. Specifically, the fundamental result given by Proposition 1 in Sect. 4 can be shown to hold, with some rephrasing of the argument, for the full tensor case. However, the developments of Sects. 9 and 10 generalize similarly only subject to factorization restrictions, which were first discussed for the simplest case in [10] (see also [2], p. 256).
References
Amendola, G., Fabrizio, M., Golden, J.M.: Free energies in a general non-local theory of a material with memory. Math. Models Methods Appl. Sci. 24, 1037–1090 (2014)
Amendola, G., Fabrizio, M., Golden, J.M.: Thermodynamics of Materials with Memory: Theory and Applications. Springer, New York (2012)
Amendola, G., Fabrizio, M., Golden, J.M.: Algebraic and numerical exploration of free energies for materials with memory. Electr. J. Diff. Eq. 72, 1–42 (2015)
Berti, V., Gentili, G.: The minimum free energy for isothermal dielectrics with memory. J. Non-Equilib. Thermodyn. 24, 154–176 (1999)
Coleman, B.D.: Thermodynamics of materials with memory. Arch. Ration. Mech. Anal. 17, 1–45 (1964)
Coleman, B.D., Owen, D.: A mathematical foundation for thermodynamics. Arch. Ration. Mech. Anal. 54, 1–104 (1974)
Del Piero, G., Deseri, L.: On the analytic expression of the free energy in linear viscoelasticity. J. Elast. 43, 247–278 (1996)
Del Piero, G., Deseri, L.: On the concepts of state and free energy in linear viscoelasticity. Arch. Ration. Mech. Anal. 138, 1–35 (1997)
Deseri, L., Di Paola, M., Zingales, M.: Free energy and states of fractional-order hereditariness. Int. J. Solids Struct. 51(18), 3156–3167 (2014). doi:10.1016/j.ijsolstr.2014.05.008
Deseri, L., Gentili, G., Golden, J.M.: An explicit formula for the minimum free energy in linear viscoelasticity. J. Elast. 54, 141–185 (1999)
Deseri, L., Fabrizio, M., Golden, J.M.: On the concept of a minimal state in viscoelasticity: new free energies and applications to PDE S . Arch. Ration. Mech. Anal. 181, 43–96 (2006)
Deseri, L., Golden, J.M.: The minimum free energy for continuous spectrum materials. SIAM J. Appl. Math. 67, 869–892 (2007)
Deseri, L., Zingales, M., Pollaci, P.: The state of fractional hereditary materials (FHM). Differ. Equ. Dyn. Syst. B 19(7), 2065–2089 (2014). doi:10.3934/dcdsb.2014.19.2065
Fabrizio, M., Morro, A.: Mathematical Problems in Linear Viscoelasticity. SIAM, Philadelphia (1992)
Fabrizio, M., Golden, J.M.: Maximum and minimum free energies for a linear viscoelastic material. Q. Appl. Math. 60, 341–381 (2002)
Fabrizio, M., Gentili, G., Golden, J.M.: Free energies for linear non-isothermal materials with memory. Math. Comput. Model. 39, 219–253 (2004)
Golden, J.M.: Free energies in the frequency domain: the scalar case. Q. Appl. Math. 58, 127–150 (2000)
Golden, J.M.: A proposal concerning the physical rate of dissipation in materials with memory. Q. Appl. Math. 63, 117–155 (2005)
Golden, J.M.: A proposal concerning the physical dissipation of materials with memory: the non-isothermal case. Math. Mech. Solids 12, 403–449 (2007)
Golden, J.M.: Constructing free energies for materials with memory. Evol. Equ. Control Theory (Special Edition in Honour of Professor M. Fabrizio) 3, 447–483 (2014)
Golden, J.M.: Free energies for materials with memory in terms of state functionals. Meccanica 49, 2207–2235 (2014)
Golden, J.M.: The minimum and other free energies for non-linear materials with memory. Quart. Appl. Math. (2015, to appear)
Golden, J.M.: Unique characterization of materials with memory. Quart. Appl. Math. (to appear)
Graffi, D.: Sull’expressione analitica di alcune grandezze termodinamiche nei materiali con memoria. Rend. Semin. Mat. Univ. Padova 68, 17–29 (1982)
Graffi, D., Fabrizio, M.: Sulla nozione di stato materiali viscoelastici di tipo ‘rate’. Atti Accad. Naz. Lincei, Rend. Lincei, Mat. Appl. 83, 201–208 (1990)
Graffi, D.: Ancora sull’espressione analitica dell’energia libera nei materiali con memoria. Atti R. Accad. Sci. Torino 120, 111–124 (1986)
Noll, W.: A new mathematical theory of simple materials. Arch. Ration. Mech. Anal. 48, 1–50 (1972)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Rights and permissions
About this article
Cite this article
Amendola, G., Fabrizio, M. & Golden, J.M. Free Energies and Minimal States for Scalar Linear Viscoelasticity. J Elast 123, 97–123 (2016). https://doi.org/10.1007/s10659-015-9549-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-015-9549-y