\documentclass[reqno]{amsart}
\usepackage{hyperref}
\usepackage{graphicx}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2015 (2015), No. 72, pp. 1--42.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
\newline ftp ejde.math.txstate.edu}
\thanks{\copyright 2015 Texas State University - San Marcos.}
\vspace{9mm}}

\begin{document}
\title[\hfilneg EJDE-2015/72\hfil Free energies for materials with memory]
{Algebraic and numerical exploration of free energies for
materials with memory}

\author[G. Amendola, J. M. Golden, M. Fabrizio \hfil EJDE-2015/72\hfilneg]
{Giovambattista Amendola, Mauro Fabrizio, John Murrough Golden}

\address{Giovambattista Amendola \newline
Dipartimento di Matematica, Universita di Pisa,
Largo Bruno Pontecorvo 5, 56127-Pisa, Italy}
\email{amendola@dma.unipi.it}


\address{Mauro Fabrizio \newline
Dipartimento di Matematica,
Universita di Bologna,
Piazza di Porta S. Donato 5,
40127-Bologna, Italy}
\email{fabrizio@dm.unibo.it}

\address{John Murrough Golden \newline
School of Mathematical Sciences, Dublin Institute of Technology,
Kevin Street, \newline Dublin 8, Ireland}
\email{murrough.golden@dit.ie}

\thanks{Submitted October 8, 2014. Published March 24, 2015.}
\subjclass[2000]{80A20, 74F05}
\keywords{Thermodynamics; memory effects; free energy functional;
\hfill\break\indent rate of dissipation; numerical examples}

\begin{abstract}
 We study the forms of a range of free energy functionals for materials with
 memory for two types of strain history, namely sinusoidal and exponential
 behaviours.  The work deals with discrete spectrum materials, which are those
 with  relaxation functions given by sums of decaying exponentials.
 Various standard free energy functionals are explored, including the minimum
 free energy and related quantities. It is shown that quite different formulae
 are obtained, depending on the manner in which these functionals are evaluated,
 particularly for those related to the minimum free energy. Such differences
 are resolved. Various numerical plots of free energies are presented and discussed,
 along with the rates of dissipation associated with them. This is the first
 comprehensive exploration of quantitative comparisons between the various free
 energy functionals. The results both illustrate certain properties that have
 been deduced theoretically and expose an interesting proximity between apparently
 unconnected functionals.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{remark}[theorem]{Remark}
\allowdisplaybreaks

\newcommand{\abs}[1]{|#1|}


\section{Introduction} \label{s:int}

Explicit algebraic representations of the minimum and related free energies
have been given for materials with memory which have constitutive equations
for stress  given by linear functionals of the strain
\cite{gol1,des1,fab7,gen1,fab9,gol5,golni,bsi}
over the past fifteen years.
We consider for definiteness here only isothermal mechanical problems,
indeed those for solid viscoelastic materials.
For simplicity (of presenting plots),
only the scalar case is considered. It must be emphasized however
that similar results can be given with little extra difficulty,
at least in principle, for viscoelastic fluids, non-isothermal problems,
electromagnetism, non-simple materials  etc.\ as presented in
the references noted above.

More classical examples of free energies were given and discussed in earlier
references, notably the Graffi-Volterra and Dill functionals
\cite{graf4,graf5,pir1, pir2}.
There is also a new free energy functional introduced more recently \cite{des6}
which is an explicit functional of the minimal state.

All discussion in these references has been in general algebraic terms,
including proofs of various properties of the free energy functionals.
The purpose of the present work is to present detailed algebraic and numerical
representations of the various functionals noted above for particular examples
of relaxation functions and strain histories, in order to discuss their properties
and the relationships between them. It is shown that quite different formulae
are obtained, depending on the manner in which these functionals are evaluated,
particularly for those related to the minimum free energy. Such differences are
resolved.

The discussion is confined to completely linear materials, namely those for which
the expression for the stress is fully linear, including the portion that does
not depend on memory, though in fact when developing the theoretical formulae,
it is necessary to assume only linear memory terms; the portion not depending
on memory may be non-linear.

A useful outcome of this work is to provide a compendium of completely explicit
elementary scalar formulae relating to a range of functionals that are often
discussed in the literature in very general terms.

\section{A quadratic model for free energies}
\label{s:modl}

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
 (\cite{fab2} for example).
For a scalar theory with a linear constitutive relation for the stress,
the most general form of a free energy is
\begin{equation}
\begin{gathered}
\psi(t) =\phi(t)+\frac{1}{2}\int_0^\infty\int_0^\infty E^t_r(s) G_{12}(s,u) E^t_r(u)\,ds\,du,\\
G_{12}(s,u)  = \frac{\partial^2}{\partial s\partial u}G(s,u),\quad
 \phi(t) = \frac{1}{2} G_\infty E^2(t),\\
G_\infty  = G(\infty,u) = G(s,\infty),\quad \forall  s,u \in \mathbb{R}^+,
\end{gathered}
\label{eq:e5.12ll}
\end{equation}
where the current value of the strain function is $E(t)$ while the strain
history and relative history are given by
\begin{equation}
E^t(s) = E(t-s), \quad E_r^t(s) = E^t(s)-E(t).
\label{eq:hisE}
\end{equation}
The function $G$ must be such that the integral term in \eqref{eq:e5.12ll}
is non-negative, which is an expression of the very general requirement
on free energies \cite{col0}
\begin{equation}
\psi(t) \geq \phi(t).
\label{eq:psiGphi}
\end{equation}
  Under certain mild restrictions on this quantity (for example \cite{golni}),
we can deduce the constitutive relations
\begin{equation}
T(t) = G_\infty E(t) + \int_0^\infty G'(u)E_r^t(u)du\\
 = G_0 E(t) + \int_0^\infty G'(u)E^t(u)du,
\label{eq:e5.19bC}
\end{equation}
where the relaxation function $G(u)$ is defined by
\begin{equation}
\begin{gathered}
G(u) = G(0,u) = G(u,0),\quad G_0 = G(0),\\
G(\infty) = G_\infty,\quad G'(\infty) = 0
\end{gathered}
\label{eq:e5.191}
\end{equation}
and the prime indicates differentiation with respect to the argument.

The fundamental relationships
\begin{equation}
\dot\psi(t) + D(t) = T(t) \dot E(t),\quad D(t) \geq 0
\label{eq:e5.19dis}
\end{equation}
express the first and second law of thermodynamics respectively.
The quantity $D(t)$ is the rate of dissipation of energy associated with $\psi(t)$.
 Integrating \eqref{eq:e5.19dis} over $(-\infty,t]$ yields that
\begin{equation}
\psi(t) + \mathcal{D}(t) = W(t), \quad \mathcal{D}(t) \geq 0,
\label{eq:e5.19dist}
\end{equation}
where
\begin{equation}
W(t) = \int_{-\infty}^t T(u) \dot E(u)d u,\quad \mathcal{D}(t) = \int_{-\infty}^t D(u)d u \geq 0.
\label{eq:e5.19defs}
\end{equation}
We assume that all these integrals are finite. The quantity $W(t)$ is
the work function, discussed further in later sections, while $\mathcal{D}(t)$
is the total dissipation resulting from the entire history of deformation
of the body.

\begin{remark}  \label{r:order} \rm
As $\psi(t)$ increases in magnitude, it follows from \eqref{eq:e5.19dist}
that $\mathcal{D}(t)$ decreases. From \eqref{eq:e5.19dis}, a similar statement
applies to $\dot\psi(t)$ and $D(t)$. However, while the magnitude of
 $\psi$ is of immediate physical interest (in particular, given the existence
of a minimum and a maximum free energy), this is not necessarily true in most
cases for $\dot\psi(t)$. In contrast to $\mathcal{D}(t)$, we do not expect in
general a clear physical interpretation of any ordering of the magnitude
of $D(t)$.

However, there may be a close relationship between $\psi(t)$ and $\dot\psi(t)$,
such as occurs for exponential histories. In this case, as we shall see below,
$\dot\psi(t)$ is equal to $2 {\lambda} \psi(t)$, where ${\lambda} > 0$.
Thus, any ordering of free energies gives rise to a similar ordering in their
 derivatives and the reverse ordering in the associated rates of dissipation.
\end{remark}

\begin{remark}  \label{r:ratios} \rm
The quantities
\begin{equation}
R_\psi = \frac{\psi(t)}{W(t)},\quad R_\mathcal{D} = \frac{\mathcal{D}(t)}{W(t)}
\label{eq:ratios}
\end{equation}
can be regarded as measures of the total energy storage and total dissipation
in the material. They clearly obey the constraint $R_\psi+R_\mathcal{D} = 1$.
Plots of $R_\psi$, in a particular context, are presented later (figure \ref{fig21}).
\end{remark}

The rate of dissipation can be determined from \eqref{eq:e5.19dis} to be
\begin{equation}
D(t)= -\frac{1}{2}\int_0^\infty\int_0^\infty E^t_r(s) [ G_{121}(s,u) + G_{122}(s,u)] E^t_r(u)\,ds\,du,
\label{eq:e5.12dis}
\end{equation}
where, as for $G_{12}$ in \eqref{eq:e5.12ll}, the subscripts on $G$ indicate
differentiation with respect to the first or second argument.
The quantity $G$ must also have the property that the integral in
\eqref{eq:e5.12dis} is non-positive.

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, defined in \cite{fab7}
and based on the the work of Noll \cite{nol1} (see also
\cite{pir2,pir1,graf2,des1,bsi}), 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
\begin{equation}
E_1(t)=E_2(t),\quad
\int_0^\infty G'(s+\tau)\left [E_1^t(s)-E_2^t(s)\right ]ds = 0 \quad
\forall \tau \geq 0.
\label{eq:e2.3a}
\end{equation}

A functional of $(E^t,E(t))$ which yields the same value for all members of
the same minimal state will be referred to as a functional of the minimal
state or as a minimal state variable. We can replace the histories
 $E^t_1,E^t_2,E^t$ in these statements by the relative histories
$E^t_{1r},E^t_{2r},E^t_r$.

\begin{remark} \label{r:sington} \rm
A fundamental distinction between materials is that for some 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 \cite{des6,bsi}.
\end{remark}

We will deal only with the simplest case of isolated singularities in this work,
namely discrete spectrum materials. These are characterized by relaxation
functions which, in the frequency domain, consist of a series of isolated
simple poles on the positive imaginary axis. In the time domain, such
relaxation functions are given by sums of strictly decaying exponentials.
The simplest case of non-isolated singularities is a continuous spectrum
 material \cite{des3,bsi} for which the relaxation function is given by
integrals of density functions multiplying strictly decaying exponentials.

The limit of discrete spectrum materials where the simple poles are more
and more closely packed can be seen intuitively to be the continuous spectrum case.
One feature of this transition will be explored in the present work, namely that
noted in remark \ref{r:transition}.


\subsection{Frequency domain quantities}
Let $\Omega$ be the complex $\omega$ plane and
\begin{equation}
\begin{gathered}
\Omega^+\ = \{\omega\in \Omega : Im(\omega)\in \mathbb{R}^+\},\\
W^{(+)} = \{\omega\in \Omega : Im(\omega)\in  \mathbb{R}^{++}\}.
\end{gathered}
\end{equation}
These define the upper half-plane including and excluding the real axis,
 respectively. Similarly, $\Omega^-$, $W^{(-)}$ are the lower half-planes including
 and excluding the real axis, respectively.

For any $f \in L^2(\mathbb{R})$, we denote its Fourier transform by
\begin{equation}
f_F(\omega)=\int_{-\infty}^\infty f(\xi) e^{-i\omega\xi}d\xi,\quad f_F\in  L^2(\mathbb{R}).
\end{equation}
It is often assumed in this context that $f \in L^1(\mathbb{R}) \cap L^2(\mathbb{R})$
or has equivalent properties on $\mathbb{R}^\pm$. If $f$ is a real-valued function
in the time domain - which will be the case for all functions of interest here
- then
\begin{equation}
\overline{f_F}(\omega)=f_F(-\omega),\quad \omega \in \mathbb{R},
\label{eq:e2.5}
\end{equation}
where the bar denotes complex conjugate. We have
\begin{equation}
\begin{gathered}
f_F(\omega) = f_+(\omega) + f_-(\omega),\\
f_+(\omega) =\int_0^\infty f(\xi) e^{-i \omega\xi}d\xi,\\
f_-(\omega) =\int_{-\infty}^0 f(\xi) e^{-i \omega\xi}d\xi, \quad f_\pm\in  L^2(\mathbb{R}^\pm).
\end{gathered}
\label{eq:fpm}
\end{equation}
The quantity $f_+$ is analytic in $\Omega^-$. For relevant functions in the
 present work, we also assume that it is analytic on an open set including $\mathbb{R}$
and thus on $\Omega^-$. Similarly, $f_-$ is analytic on $\Omega^+$.

Functions on $\mathbb{R}$ which vanish identically on $\mathbb{R}^{--}$ are defined as
functions on $\mathbb{R}^+$. For such quantities, $f_F = f_+ = f_c-if_s$ where
$f_c,\:f_s$ are the Fourier cosine and sine transforms
\begin{equation}
\begin{gathered}
f_c(\omega)  =  \int_0^\infty  f(\xi)\cos\omega\xi d\xi  = f_c(-\omega),\\
f_s(\omega)  =  \int_0^\infty f(\xi)\sin\omega\xi d\xi = -f_s(-\omega).
\end{gathered}\label{eq:e2.6}
\end{equation}
Thus,
\begin{equation}
G_F'(\omega) = G_+'(\omega)
= \int_0^\infty G'(s)e^{-i \omega s}ds=G_c'(\omega)-iG_s'(\omega).
\label{eq:e2.61}
\end{equation}
The property of $G_+'$ that
\begin{equation}
\lim_{\omega\to\infty} i\omega G_+'(\omega) = G'(0).
\label{eq:e2.61a}
\end{equation}
will be required. Properties of $G_s'(\omega)$ include
\begin{equation}
\begin{gathered}
G_s'(\omega)  \leq  0 \quad\forall  \omega\in \mathbb{R}^{++},\\
G_s'(-\omega)  =  -G_s'(\omega),\quad\forall \omega\in \mathbb{R},
\end{gathered}\label{eq:e2.121}
\end{equation}
the first relation being a consequence of the second law of thermodynamics
 \cite{fab2,bsi} and the second being a particular case of \eqref{eq:e2.6}$_2$.
It follows that $G'_s(0)=0$. We also have \cite{fab2,bsi}
\begin{equation}
G_\infty - G_0 < 0,\quad G_\infty > 0,
\label{eq:e2.9}
\end{equation}
the latter relation being true for a viscoelastic solid.
The function $G_+'(\omega)$ is analytic on $\Omega^-$, as indicated after \eqref{eq:fpm}.
This implies that any singularities are at least slightly off the real axis
into $W^{(+)}$, which in turn means that $G'$ decays exponentially at large positive
times, though perhaps weakly.

Because $G'$ is real, we have from \eqref{eq:e2.61}
\begin{equation}
\overline {G'_+(\omega)} = G'_+(-\overline\omega).
\label{e:constg}
\end{equation}
This constraint in fact means that the singularities are symmetric under
reflection in the positive imaginary axis. It generalizes the property expressed
by \eqref{eq:e2.5}.

The quantity $\overline{G_+'}(\omega)$ is analytic in $\Omega^+$, its singularity structure
being a mirror image, in the real axis, of that of $G_+'(\omega)$. Thus, $G'_s(\omega)$
has singularities in both $W^{(+)}$ and $W^{(-)}$ which 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
\begin{equation}
H(\omega)=-\omega G'_s(\omega) \geq 0,\quad \omega \in \mathbb{R},
\label{eq:defH}
\end{equation}
where the inequality is a consequence of \eqref{eq:e2.121}$_1$.
The quantity $H(\omega)$ goes  to zero at least quadratically at the origin.
It is assumed that the behaviour is in fact quadratic,  i.e.
 $H(\omega)/\omega^2$ tends to a finite, non-zero quantity as $\omega$ tends to zero.

The non-negative quantity $H(\omega)$ can always be expressed as the product of
two factors
\begin{equation}
H(\omega) = H_+(\omega)H_-(\omega),
\label{eq:factHpm}
\end{equation}
where $H_+(\omega)$ has no singularities or zeros in $W^{(-)}$ and is thus analytic
in $\Omega^-$. Similarly, $H_-(\omega)$ is analytic in $\Omega^+$ with no zeros in $W^{(+)}$.
That such a factorization is always possible was shown for general tensor
constitutive relations in \cite{des1}.

Using \eqref{eq:e2.61a} and \eqref{eq:defH}, one can show that
\begin{equation}
H_\infty  = \lim_{\abs{\omega}\to\infty} H(\omega) = -G'(0)\geq 0.
\label{eq:e2.14}
\end{equation}
We assume for present purposes that $G'(0)$ is non-zero so that $H_\infty$
is a finite, positive number. Then
$H(\omega)\in \mathbb{R}^{++}$ for all $\omega\in \mathbb{R},\;\omega\neq0$.

The factorization \eqref{eq:factHpm} is unique up to a constant phase factor.
 We put \cite{gol1}
\begin{equation}
\begin{gathered}
H_\pm (\omega)  =  H_\mp (-\omega)=\overline{H_\mp}(\omega),\\
H(\omega)  =  \abs{H_\pm (\omega)}^2.
\label{eq:e2.19}
\end{gathered}
\end{equation}

A general method is outlined in \cite{gol1} for determining the factors of $H$,
though for the case of discrete spectrum materials, one can deduce $H_\pm$ by
inspection.

The factorization \eqref{eq:factHpm} 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 $\Omega^{(\pm)}$
respectively need not be true. These generate a range of free energies related
to the minimum free energy, as discussed in subsection \ref{s:edfmfe}.

\section{Detailed forms of the various functionals}
\label{s:detf}

\subsection{The work function}
\label{ss:Wfnr}
The work function \eqref{eq:e5.19defs}$_1$ can be put in various forms
(\cite{bsi} and earlier references cited therein), including
\begin{equation}
\begin{split}
W(t)& = \phi(t) + \frac{1}{2}\int_0^\infty\int_0^\infty G_{12}(\abs{s-u})E_r^t(u) E_r^t(s)du ds\\
& = \phi(t) + \frac{1}{2\pi}\int_{-\infty}^\infty  H(\omega) \abs{E^t_{r+}(\omega)}^2 d\omega,
\end{split}
\label{eq:e6.phi}
\end{equation}
where $E^t_{r+}$ is the Fourier transform of $E^t_r$, defined by \eqref{eq:hisE}$_2$
for $s \in \mathbb{R}^+$ and zero for $s \in \mathbb{R}^{--}$. This transform is given by
\begin{equation}
E^t_{r+}(\omega) = E^t_+(\omega) - \frac{E(t)}{i\omega^-}
\label{eq:relhisw}
\end{equation}
and $E^t_+(\omega)$ is an example of \eqref{eq:fpm}$_2$. The notation $\omega^\pm$,
which will also occur in \eqref{eq:e5.15f} below, was introduced in \cite{gol1}
 and used in subsequent work. It implies that $\omega$ is moved slightly off
the real axis to either of $\omega \pm i{\epsilon}$ before integrations are carried out
 and restored afterwards to achieve a finite result. The form given by
\eqref{eq:e6.phi}$_2$ is manifestly non-negative.

We see that $W(t)$ can be cast in the form \eqref{eq:e5.12ll} by putting
\begin{equation}
G_{1 2}(s,u) = G_{1 2}(\abs{s-u}).
\label{eq:Ftf6}
\end{equation}
Thus, $W(t)$ can be regarded as a free energy, but with zero dissipation,
which is clear from \eqref{eq:e5.19defs}$_1$ and \eqref{eq:e5.19dist}.
Because of the vanishing dissipation, it must be the maximum free energy
associated with the material or greater than this quantity, an observation
which follows from \eqref{eq:e5.19dist}. Both of these situations can occur,
depending on whether the minimal state is a singleton or not \cite{gol5,golni}.
Clearly, of course, zero dissipation is non-physical for a material with memory.

We now present functionals that are free energies provided certain assumptions
on the relaxation function are valid. Two examples of quadratic functionals will
be explored which are free energies only for a sub-category (though an
important one) of materials, namely those with the property
\begin{equation}
G'(s) \leq 0,\quad G''(s) \geq 0,\quad \forall  s \in \mathbb{R}^+.
\label{eq:congrv}
\end{equation}
A third example (subsection \ref{ss:ssfe} below) requires complete monotonicity
for $G(s)$, which means that \cite{pir2}
\begin{equation}
(-1)^n G^{(n)}(s) \geq 0,\quad n=1,2,\dots,
\label{eq:commonot}
\end{equation}
where $G^{(n)}(s)$ is the $n$th derivative with respect to $s$.
Relations \eqref{eq:congrv} clearly hold for the forms of the relaxation
function relating to discrete spectrum materials, as described in
section \ref{s:modld}. Complete monotonicity is a stronger constraint
than \eqref{eq:congrv} but is also satisfied for discrete spectrum materials.

\subsection{Graffi-Volterra free energy}
\label{ss:two}

Let us first present the Graffi-Volterra functional
\cite{graf4,graf5,pir1, pir2}
\begin{equation}
\psi_G(t) =\phi(t) - \frac{1}{2}\int_0^\infty G'(s)[E_r^{t}(s)]^2\,ds.
\label{abd.1}
\end{equation}
The rate of dissipation associated with $\psi_G$ can be determined
from \eqref{eq:e5.19dis} to have the form
\begin{equation}
D_G(t) = \frac{1}{2}\int_0^\infty G''(s)[E_r^t(s)]^2 ds. \label{eq:disgv}
\end{equation}
These quantities are non-negative under assumption \eqref{eq:congrv}.
Thus \eqref{abd.1} is a free energy if \eqref{eq:congrv} holds.

The Graffi-Volterra free energy is a functional of the minimal state if
the material is such that the minimal states are singletons, in other words,
if the minimal state is simply $(E^t,E(t))$. This is not true for discrete
spectrum materials \cite{des6,gol5}.

If the relaxation function $G$ has the property that there exists
$\alpha_m \in \mathbb{R}^{++}$ such that
\begin{equation}
G''(s) + \alpha_m G'(s) \geq 0,\quad s \in \mathbb{R}^+,
\label{eq:ineq1}
\end{equation}
then it is easy to show from \eqref{abd.1} and \eqref{eq:disgv} that
\begin{equation}
D_G(t) \geq \alpha_m [\psi_G(t) - \phi(t)].
\label{eq:ineq2}
\end{equation}
For the discrete spectrum case introduced in section \ref{s:modld} below,
there is a minimum inverse decay time $\alpha_{\rm min}>0$ and any choice $\alpha$
with the property that
\begin{equation}
0 < \alpha \leq \alpha_{\rm min}
\label{eq:ineq3}
\end{equation}
obeys \eqref{eq:ineq2}. Property \eqref{eq:ineq2}, which holds for all
the free energy functionals considered in this work, is useful in certain
theoretical contexts \cite{des6,bsi}.

If there exists $\alpha_M \in \mathbb{R}^{++}$ such that
\begin{equation}
G''(s) + \alpha_M G'(s) \leq 0,\quad s \in \mathbb{R}^+,
\label{eq:ineq4}
\end{equation}
then we have
\begin{equation}
D_G(t) \leq \alpha_M [\psi_G(t) - \phi(t)].
\label{eq:ineq5}
\end{equation}
For the discrete spectrum case, there is a maximum inverse decay time
 $\alpha_{\rm max}>0$ and a suitable choice of $\alpha_M$ is any $\alpha \in \mathbb{R}^{++}$
such that
\begin{equation}
 \alpha \geq \alpha_{\rm max}.
\label{eq:ineq6}
\end{equation}
The functionals $\psi_G$ and $D_G$ can be put in the form
\eqref{eq:e5.12ll} and \eqref{eq:e5.12dis} respectively \cite{bsi}.


\subsection{Dill free energy}
\label{ss:ssfe}
The functional (cf. \eqref{eq:e5.12ll})
\begin{equation}
\psi_{\rm Dill}(t) = \phi(t) + \frac{1}{2}\int_0^\infty\int_0^\infty G''(s_1+s_2)E^t_r(s_2)
E^t_r(s_1)\,ds_1\,ds_2
\label{eq:sschfe}
\end{equation}
is a free energy with rate of dissipation ( cf. \eqref{eq:e5.12dis}) given by
\begin{equation}
D_{\rm Dill}(t)
= - \int_0^\infty\int_0^\infty G'''(s_1+s_2)E^t_r(s_2) E^t_r(s_1)\,ds_1\,ds_2
\label{eq:sschfed}
\end{equation}
if and only if $G$ is completely monotonic, as defined by \eqref{eq:commonot}.

It can be shown that \cite{gennst,bsi}
\begin{equation}
\psi_{\rm Dill}(t)\leq \psi_G(t), \quad t \in \mathbb{R}.
\label{psigss}
\end{equation}
The quantity $\psi_{\rm Dill}$ is a functional of the minimal state.

If a quantity $\alpha_m$ obeys \eqref{eq:ineq3} and $\alpha_M$ obeys \eqref{eq:ineq6}
then
\footnote{This can be demonstrated for any completely monotonic relaxation
function using a general representation for such functions \cite{pir2,pir1}.
A simple version of the proof can be given using \eqref{eq:efmscrlfn} below.}
\begin{equation}
G'''(s) + \alpha_m G''(s) \leq 0, \quad G'''(s) + \alpha_M G''(s) \geq 0,\quad s \in \mathbb{R}^+,
\label{eq:ineqD1}
\end{equation}
which in turn yield
\begin{gather}
D_{\rm Dill}(t) \geq 2\alpha_m [\psi_{\rm Dill}(t) - \phi(t)]
 \geq \alpha_m [\psi_{\rm Dill}(t) - \phi(t)], \label{eq:ineqD2} \\
D_{\rm Dill}(t) \leq 2\alpha_M [\psi_{\rm Dill}(t) - \phi(t)].
\label{eq:ineqD3}
\end{gather}
Relation  \eqref{eq:ineqD2}$_1$ is a stronger lower bound  than \eqref{eq:ineq2}.
However,  \eqref{eq:ineqD3} is a weaker upper bound than \eqref{eq:ineq5}.

\subsection{An explicit functional of the minimal state}
\label{ss:funms}
We now explore a functional which is a free energy for materials with the
property \eqref{eq:congrv} and is a functional of the minimal state.
These results were first reported in \cite{des6}. Consider the quantity
\begin{equation}
\begin{gathered}
\psi_F(t) = \phi(t)-\frac{1}{2} \int_0^\infty \frac{[\dot I^t(\tau)]^2}{G'(\tau)}d\tau,\\
 \dot I^t(\tau)  = \frac{\partial}{\partial \tau} I^t(\tau), \quad
I^t(\tau) = I(\tau,E^t_r),
\end{gathered}
\label{l:psif}
\end{equation}
with $I(\tau,E^t_r)$ defined by
\begin{equation}
I(\tau,E^t_r) = \int_0^\infty G'(\tau+u) E^t_r(u) d u
= \int_0^\infty G'(\tau + u)E^t(u) d u + \breve G(\tau)E(t),
\label{eq:e7.11.7}
\end{equation}
where
\begin{equation}
\breve G(\tau) = G(\tau) - G_\infty.
\label{eq:breveq}
\end{equation}
Note the property
\begin{equation}
\lim_{\tau \to \infty}  I(\tau,E^t_r) = 0.
\label{eq:elimI}
\end{equation}
We have
\begin{equation}
\dot I^t(\tau) = \int_0^\infty G''(\tau+u) E^t_r(u) d u = \int_0^\infty G'(\tau + u)\frac{d}{d t}E^t(u) d u.
\label{eq:e7.11dot}
\end{equation}
The integral term in \eqref{l:psif} is non-negative by virtue of \eqref{eq:congrv}$_1$. The quantity ${(G')}^{-1}$ becomes singular at large $\tau$ but this is cancelled by the numerator (\cite{des6} for example). We shall see below how this is manifested for the forms of relaxation function of interest here. The rate of dissipation is given by
\begin{equation}
\begin{split}
D_F(t) &= - \frac{1}{2} \frac{[\dot I^t(0)]^2}{G'(0)}
- \frac{1}{2}\int_0^\infty \big[\frac{d}{d\tau}\frac{1} {G'(\tau)}\big][\dot I^t(\tau)]^2 d\tau\\
 &= - \frac{1}{2} \frac{[\dot I^t(0)]^2}{G'(0)}
+ \frac{1}{2}\int_0^\infty G''(\tau) \big[\frac{\dot I^t(\tau)} {G'(\tau)}\big]^2 d\tau \geq 0,
\end{split}
\label{a6.11.1c}
\end{equation}
which can be deduced from \eqref{eq:e5.19dis}. The non-negativity property is
a consequence of \eqref{eq:congrv}.

If \eqref{eq:ineq1} is true, then it follows that
\begin{equation}
D_F(t) \geq \alpha_m [\psi_F(t) - \phi(t)].
\label{eq:ineqF2}
\end{equation}

\subsection{Form of the minimum and related free energies}
\label{s:edfmfe}
It is shown in \cite{fab7,gol5} that, for materials with only isolated
singularities, one can write down many factorizations of $H(\omega)$,
other than \eqref{eq:factHpm}. We have \cite{gol5}
\begin{equation}
H(\omega) = H_+^f(\omega) H_-^f(\omega), \quad
H_\pm^f(\omega) = H_\mp^f(-\omega) = \overline{H_\mp^f} (\omega),
\label{eq:factHpmff}
\end{equation}
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.
 Each factorization yields a different free energy of the form
\begin{equation}
\begin{gathered}
\psi_f(t) = \phi(t)+\frac{1}{2\pi}\int_{-\infty}^\infty \abs{p^{ft}_-(\omega)}^2\,d\omega,\\
p_-^{ft}(\omega) = \frac{1}{2\pi i}\int_{-\infty}^\infty\frac{H^f_-(\omega')E_{r+}^t(\omega')}{\omega'-\omega^+}d\omega'.
\end{gathered}
\label{eq:e5.15f}
\end{equation}
Defining
\begin{equation}
K_f(t)  =  \frac{1}{2\pi}\int_{-\infty}^\infty H^f_-(\omega)E^t_{r+}(\omega)d\omega
= \lim_{\omega \to \infty} [-i\omega p^{ft}_-(\omega)],
\label{eq:e9.14ff}
\end{equation}
we can write the associated rate of dissipation in the form
\begin{equation}
D_f(t) = \abs{K_f(t)}^2.
\label{eq:e7.10ff}
\end{equation}
All these free energies can be shown to be on the boundary of the convex
set of free energies associated with a given state of the material.
Also, they are all functionals of the minimal state.
The factorization \eqref{eq:factHpm} 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 one.

A particularly interesting one, which we denote by $\psi_M(t)$, is obtained
by interchanging all the zeros. This can be identified as the maximum free
energy among all those that are functionals of the minimal state.
It is less than the work function, which is not a functional of the minimal
state for materials with only isolated singularities \cite{bsi}.
 Also, it is not necessarily greater than the Graffi-Volterra free energy,
which is not a functional of the minimal state.

\begin{remark} \label{r:transition} \rm
Some important differences between materials with only isolated singularities
(in particular the discrete spectrum case) and those with branch points
(in particular the continuous spectrum case) were emphasized in remark
\ref{r:sington}. Another is that for the latter case (branch points present),
the functional $\psi_M(t)$ must be identified with the work function,
which is an upper limit for all free energies. For isolated singularity materials,
 we have
\begin{equation}
\psi(t) \leq \psi_M(t) < W(t),
\label{eq:limiscon}
\end{equation}
if $\psi(t)$ is a functional of the minimal state. However, with increasing
density of singularities, we should have
\begin{equation}
\psi_M(t) \to W(t).
\label{eq:limiscon1}
\end{equation}
It will be shown later that this happens rapidly as the density of isolated
singularities increases. Associated with this is the property that
$D_M(t) \to 0$, where $D_M(t)$ is the rate of dissipation corresponding to
$\psi_M(t)$.
\end{remark}

Note that there are several (indeed many, for large $n$) different exchange
pathways leading from the minimum to the maximum free energy.

It is not immediately clear from the general formulae introduced above
that if \eqref{eq:ineq1} and \eqref{eq:ineq4} are true, then formulae
corresponding to \eqref{eq:ineq2} and \eqref{eq:ineq5} follow.
 However, we shall demonstrate in subsection \ref{ss:minrelfe} below
that equivalent or similar properties hold for $\psi_f$ and $D_f$ in the
 particular case of discrete spectrum materials.

An average of the quantities $\psi_f$, which we denote by $\psi_p$,
is a special case of a quantity introduced in \cite{gol5} as a possible
candidate for the physical free energy. This is discussed in subsection \ref{ss:ppfe}.


\section{Discrete spectrum materials}
\label{s:modld}

The form of the relaxation function considered here is that for discrete
spectrum materials which are discussed in remark \ref{r:sington}.

Consider a material with relaxation function $G(t)$ of the form
\begin{equation}
G(t)=G_\infty + \sum_{i=1}^n G_i e^{-\alpha_i t},\quad G_\infty \geq 0,
\label{eq:efmscrlfn}
\end{equation}
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 \eqref{eq:e2.121}$_1$, which is clear
from \eqref{eq:gplus}$_3$ below. We arrange that $\alpha_1<\alpha_2<\alpha_3 \dots $.
The quantities $\alpha_{\rm min}$ and $\alpha_{\rm max}$ introduced in
subsection \ref{ss:two} are given by
\begin{equation}
\alpha_{\rm min} = \alpha_1, \quad \alpha_{\rm max} = \alpha_n.
\label{eq:almaxmin}
\end{equation}
Differentiating \eqref{eq:efmscrlfn} yields
\begin{equation}
G'(t) = \sum_{i=1}^n g_i e^{-\alpha_i t},\quad g_i  =  -\alpha_i G_i < 0.
\label{eq:esmsiexp}
\end{equation}
Note that
\begin{equation}
G_0 = G_\infty + \sum_{i=1}^n G_i = G_\infty - \sum_{i=1}^n \frac{g_i}{\alpha_i}.
\label{eq:G0Gin}
\end{equation}
From \eqref{eq:e2.61},
\begin{equation}
G'_+(\omega)  = \sum_{i=1}^n \frac{g_i}{\alpha_i + i\omega},\quad
G'_c(\omega) = \sum_{i=1}^n \frac{\alpha_i g_i}{\alpha_i^2+\omega^2},\quad
G'_s(\omega) = \omega\sum_{i=1}^n \frac{g_i}{\alpha_i^2+\omega^2}.
\label{eq:gplus}
\end{equation}
Relation \eqref{eq:defH} gives
\begin{equation}
H(\omega)=-\omega^2\sum_{i=1}^n \frac{g_i}{\alpha_i^2+\omega^2}\geq 0.
\label{eq:se6.6}
\end{equation}
This quantity can be expressed in the form \cite{gol1}
\begin{equation}
H(\omega)=H_\infty \prod_{i=1}^n \big\{\frac{\gamma_i^2+\omega^2}{\alpha_i^2+\omega^2}\big\},
\label{eq:e6.8dc}
\end{equation}
where the $\gamma_i^2$ are the zeros of $f(z)=H(\omega)$,
 $z=-\omega^2$ and obey the relations
\begin{equation}
\gamma_1 = 0,\quad\alpha_1^2<\gamma_2^2<\alpha_2^2<\gamma_3^2 \dots.
\label{eq:ezrbtsin}
\end{equation}


\section{Sinusoidal and exponential histories}
\label{s:mfesh}

Our ultimate aim in this work is to give detailed expressions and numerical
examples for the various free energies described in section \ref{s:detf}
in the case of discrete spectrum materials and for specified histories.
Two types of history will be studied in detail, namely those with sinusoidal
and exponential behaviour respectively. The former are always of interest
in applications. The latter are mathematically convenient and, over short
intervals of time, approximate linear histories.

One can approach this task from two different directions, which yield results
that are superficially quite different. Firstly, one can specialize to specific
histories, maintaining a general relaxation function. Interesting expressions
emerge which can then be specialized to the case of particular relaxation
functions. Alternatively, one can consider a particular relaxation function,
for example, the discrete spectrum form and determine expressions for general
histories. These can then be specialized to the specific histories of interest.
It is fairly straightforward to reconcile the formulae from the two approaches
in most cases. This is not true however for the quantities $\psi_f(t)$,
given by \eqref{eq:e5.15f}. It will be seen that  some difficult algebra is
required to reconcile the formulae relating to these free energies.

Let us refer to the two approaches outlined above as (a) and (b).

For a discrete spectrum material specified by \eqref{eq:efmscrlfn}, we have
(approach (b))
\begin{equation}
T(t) = G_0 E(t) + \sum_{i=1}^n g_i E^t_+(-i\alpha_i),
\label{eq:tfdissp}
\end{equation}
where \eqref{eq:e5.19bC}$_2$ has been used. Note that $E^t_+(-i\alpha)$
is the Laplace transform of $E^t(s)$ which we will also denote by $E^t_L(\alpha)$.
 It is given by
\begin{equation}
E_+^t(-i\alpha) = E_L^t(\alpha) = \int_0^\infty e^{-\alpha u}E^t(u) d u.
\label{A2.3sdal1}
\end{equation}
Also, the Laplace transform of $E_r^t(s)$ is defined by (see  \eqref{eq:relhisw})
\begin{equation}
E_{r+}^t(-i\alpha) = E^t_{rL}(\alpha) = \int_0^\infty e^{-\alpha u}E_r^t(u) d u
= E_+^t(-i\alpha)-\frac{E(t)}{\alpha}.
\label{A2.11al1}
\end{equation}

\subsection{Sinusoidal histories}
Some formulae from \cite{gennst,bsi} for sinusoidal histories are
adapted  to the scalar case, and presented below.

Consider a history and current value  $(E^t,E(t))$ defined by
\begin{equation}
E(t) = E_0 e^{i\omega_- t} + \overline{E_0} e^{-i\omega_+ t},\quad E^t(s) =E(t-s),
\label{A2.1sins}
\end{equation}
where $E_0 $ is an  amplitude and $\overline{E_0}$ its complex conjugate.
Furthermore,
\begin{equation}
\omega_- = \omega_0 - i\eta,\quad \omega_+ = \overline\omega_-, \quad\omega_0, \eta \in \mathbb{R}^{++}.
\label{A2.2sins}
\end{equation}
The parameter $\eta$ is introduced to ensure finite results in certain quantities.
The quantity $E^t_+$ has the form
\begin{equation}
E_+^t(\omega) = E_0 \frac{e^{i\omega_- t}}{i(\omega + \omega_-)}
+ \overline{E_0} \frac{e^{-i\omega_+ t}}{i(\omega - \omega_+)}.
\label{A2.3sd}
\end{equation}
and the Fourier transform of the relative history $E_r^t(s)=E^t(s)-E(t)$,
namely $E_{r+}^t(\omega)$ (see \eqref{eq:relhisw}; also \eqref{A2.11al1}), is given by
\begin{equation}
E_{r+}^t(\omega) = E_+^t(\omega)-\frac{E(t)}{i\omega^-} = -E_0\frac{\omega_-}{\omega^-} \frac{e^{i\omega_- t}}{i(\omega+\omega_-)} + \overline{E_0}\frac{\omega_+}{\omega^-} \frac{e^{-i\omega_+ t}}{i(\omega-\omega_+)}.
\label{A2.11}
\end{equation}
From \eqref{eq:e5.19bC}$_2$ we have (approach (a))
\begin{equation}
T(t) =  [G_0 + G'_+(\omega_-)]E_0 e^{i\omega_- t} + [G_0
+ G'_+(-\omega_+)]\overline{E_0} e^{-i\omega_+ t}.
\label{A2.4sins}
\end{equation}
Referring to \eqref{A2.3sdal1} and \eqref{A2.3sd}, we see that
\begin{equation}
E_+^t(-i\alpha) = E_L^t(\alpha) = E_0 \frac{e^{i\omega_- t}}{\alpha + i\omega_-}
+ \overline {E_0} \frac{e^{-i\omega_+ t}}{\alpha - i\omega_+}.
\label{A2.3sdal}
\end{equation}
From \eqref{A2.11al1} and \eqref{A2.3sdal},
\begin{equation}
E_{r+}^t(-i\alpha) = E^t_{rL}(\alpha)
= -i E_0\frac{\omega_-}{\alpha} \frac{e^{i\omega_- t}}{\alpha +i\omega_-}
+ i\overline {E_0}\frac{\omega_+}{\alpha} \frac{e^{-i\omega_+ t}}{\alpha-i\omega_+},
\label{A2.11al}
\end{equation}
where \eqref{A2.11} may also be used.

We see that \eqref{eq:tfdissp} agrees with \eqref{A2.4sins},
by  the relation
\begin{equation}
G_+'(\omega_-) E_0 e^{i \omega_- t} + G_+'(-\omega_+) \overline{E_0} e^{-i \omega_+ t}
= \sum_{i=1}^n g_i E^t_+(-i\alpha_i),
\label{eq:relfrdissp}
\end{equation}
which follows from \eqref{eq:gplus}$_1$ and \eqref{A2.3sdal}.

In the limit $\eta \to 0$, any real algebraic quadratic form in $E(t)$
or real functional quadratic form in $E^t(s)$ can be written as
\begin{equation}
V =  M E_0^2 e^{2i\omega_0 t} + \overline M\;\overline{E_0}^2 e^{-2i\omega_0 t}
+ N \abs{E_0}^2,
\label{eq:genforC}
\end{equation}
The quantity $N$ must be real. Let us introduce the abbreviated notation
\begin{equation}
V = \{M, N \},
\label{eq:abbrevn}
\end{equation}
with properties
\begin{equation}
\begin{gathered}
a\{M,N\}  = \{a M, a N\},\\
\{a M_1 + b M_2,a N_1 + b N_2\} = a\{M_1, N_1\} + b \{M_2,N_2\},
\end{gathered}
\label{eq:abbrevln}
\end{equation}
for any real $a$, $b$. These will be extensively used below.
If $V$ is restricted to be non-negative, as in the present context,
then the conditions
\begin{equation}
N \geq 0,\quad 2\abs{M} \leq N,
\label{eq:posc}
\end{equation}
must apply. The first relation follows by taking a time average over a cycle,
the second by expressing the first two terms in \eqref{eq:genforC} in polar
form and combining them into a cosine function.

Consider the quantity
\begin{equation}
\begin{split}
&T(t)\dot E(t) \\
&=  i\omega_- [G_0 + G'_+(\omega_-)]E_0^2 e^{2i\omega_- t}
 -i\omega_+ [G_0 + G'_+(-\omega_+)]\overline{E_0}^2 e^{-2i\omega_+ t}\\
&\quad + i [(\omega_--\omega_+)G_0 + \omega_-G'_+(-\omega_+)-\omega_+G'_+(\omega_-)]
\abs{E_0}^2 e^{i(\omega_--\omega_+)t}.
\end{split}
\label{A2.10unin}
\end{equation}
In the limit $\eta \to 0$, this converges to a finite result of the form
\begin{equation}
T(t) \dot E(t) = \{ i\omega_0[G_0 + G_+'(\omega_0)], - 2 \omega_0 G_s'(\omega_0) \}
\label{eq:abbrvddc}
\end{equation}
in the notation of \eqref{eq:abbrevn}.


\subsection{Exponential histories}

In this case, we consider a history and current value $(E^t,E(t))$
given by
\begin{equation}
E(t) = E_1 e^{{\lambda} t},\quad E^t(s) =E(t-s),
\label{A2.exphis}
\end{equation}
where $E_1$ is a constant amplitude. Then, from \eqref{A2.3sdal1}
and \eqref{A2.11al1}, we have
\begin{equation}
\begin{gathered}
E_+^t(-i\alpha) = E_L^t(\alpha) =  \frac{E_1 e^{{\lambda} t}}{{\lambda} + \alpha}
 = \frac{E(t)}{{\lambda} + \alpha},\\
E_{r+}^t(-i\alpha) = E_{rL}^t(\alpha) = -\frac{{\lambda} E(t)}{({\lambda} + \alpha)\alpha}.
\end{gathered}
\label{A2.11exh}
\end{equation}
The stress function, given by \eqref{eq:e5.19bC}$_2$, has the form
\begin{equation}
T(t) = [G_0  + L({\lambda})]E(t),\quad L({\lambda}) = G_+'(-i{\lambda}),
\label{eq:strexph}
\end{equation}
where the quantity $G_+'(-i{\lambda})$ is real and of course equal to the
Laplace transform of $G'(s)$. From \eqref{eq:strexph}, we have
\begin{equation}
T(t) \dot E(t) = \frac{1}{2}[G_0 + L({\lambda})] \frac{d}{d t} E^2(t).
\label{eq:rwexphis}
\end{equation}
For discrete spectrum materials, it follows from  \eqref{eq:gplus}$_1$ that
\begin{equation}
L({\lambda}) = \sum_{i=1}^n \frac{g_i}{\alpha_i + {\lambda}}\,.
\label{eq:defLlm}
\end{equation}
It may be seen that \eqref{eq:tfdissp} (approach (b)) agrees with
 \eqref{eq:strexph} (approach (a)) by virtue of the relation
\begin{equation}
L({\lambda}) E(t) = \sum_{i=1}^n g_i E^t_+(-i\alpha_i).
\label{eq:comparexh}
\end{equation}

\begin{remark} \label{r:valM} \rm
Observe that $T(t)$, given by \eqref{eq:strexph} is equal to the first
 term of \eqref{A2.4sins} (for $\eta = 0$) at $\omega_0 = -i {\lambda}$.
A similar remark applies to any linear functional of the strain history.
 Also, there is a general property of quadratic forms in the strain history
that if $M$ in \eqref{eq:abbrevn} is equal to $M(\omega_0)$ then the corresponding
quantity to $V$ for exponential histories is given by $M(-i {\lambda}) E^2(t)$.
This can be shown by considering the general functionals \eqref{eq:e5.12ll}
and \eqref{eq:e5.12dis} for sinusoidal and exponential histories.
\end{remark}


\section{Free energy functionals for given histories}
\label{s:givhist}


\subsection{The work function}
Let us first consider the sinusoidal case.

\subsubsection{Sinusoidal histories}
The work $W(t)$ done on the material to achieve the state $(E^t,E(t))$ is obtained by  integrating the form \eqref{A2.10unin}. We obtain
\begin{equation}
\begin{split}
W(t) &=  \frac{1}{2}\big [ [G_0 + G'_+(\omega_-)]E_0^2 e^{2i\omega_- t}
 + [G_0 + G'_+(-\omega_+)]\overline{E_0}^2 e^{-2i\omega_+ t}\big ]\\
&\quad + \left [(\omega_--\omega_+)G_0 + \omega_-G'_+(-\omega_+)-\omega_+G'_+(\omega_-)\right ]
\abs{E_0}^2 \frac{e^{i(\omega_--\omega_+)t}}{(\omega_--\omega_+)}.
\end{split}
\label{A2.10uni2}
\end{equation}
This quantity diverges as $\eta \to 0$, as would be expected on physical grounds.
Taking the limit $\eta \to 0$ in the terms which are convergent, and
using \eqref{eq:gplus}, we can write this \cite{gennst,bsi} in the notation
of \eqref{eq:abbrevn}:
\begin{equation}
\begin{gathered}
 W(t) = \{M,N\},\\
M = \frac{1}{2}\left [G_0 + G'_+(\omega_0)\right ]
= \frac{1}{2}\Big[G_0 + \sum_{i=1}^n \frac{g_i}{\alpha_i + i\omega_0}\Big],\\
\begin{aligned}
N & = G_0 + G_c'(\omega_0)-\omega_0\frac{\partial}{\partial \omega_0}G'_c(\omega_0)
 - \omega_0  G'_s(\omega_0)\big(2 t + \frac{1}{\eta} \big)\\
& = G_0 + \sum_{i=1}^n \frac{\alpha_i g_i}{\alpha_i^2+\omega_0^2}
 + 2 \omega^2_0 \sum_{i=1}^n \frac{\alpha_i g_i}{(\alpha_i^2+\omega_0^2)^2}
 - \omega_0^2\sum_{i=1}^n \frac{g_i}{\alpha_i^2+\omega_0^2}\big(2 t + \frac{1}{\eta} \big).
\end{aligned}
\end{gathered}
\label{A2.etaz10}
\end{equation}
This is approach (a). To adopt (b), we use \eqref{A2.3sdal} in \eqref{eq:tfdissp}
and determine $\dot E(t)$ from \eqref{A2.1sins}. It is easy to show that the
expression for $M$ agrees with \eqref{A2.etaz10}. To reconcile the expression
for $N$ requires a little more algebra. One must show that
\begin{equation}
\begin{aligned}
&\frac{1}{\omega_- - \omega_+}\big[\frac{\omega_-}{\alpha_i - i\omega_+} - \frac{\omega_+}{\alpha_i + i\omega_-}\big]\\
& \approx \frac{\alpha_i}{\alpha_i^2 + \omega_0^2} - \frac{\omega_0^2}{\eta}\frac{1}{(\alpha_i+\eta)^2
  + \omega_0^2}\\
& = \frac{\alpha_i}{\alpha_i^2 + \omega_0^2} - \omega_0^2
\big[\frac{\partial}{\partial \eta}\frac{1}{(\alpha_i+\eta)^2 
+ \omega_0^2}\big] \big|_{\eta=0}
- \frac{1}{\eta}\frac{\omega_0^2}{\alpha_i^2+\omega_0^2}.
\end{aligned}
\label{eq:MNWk}
\end{equation}

\subsubsection{Exponential histories}
Integrating \eqref{eq:rwexphis} over all past history gives
\begin{equation}
W(t) = \frac{1}{2}[G_0 + L({\lambda})]  E^2(t)
= \frac{1}{2} \Big[G_0 + \sum_{i=1}^n \frac{g_i}{\alpha_i+{\lambda}} \Big] E_1^2 e^{2{\lambda} t}.
\label{eq:wfnexhs}
\end{equation}
We see that this formula is an example of the property noted in remark \ref{r:valM}.
Several other examples are presented below.

\subsection{Graffi-Volterra equation}

Adopting approach (b), we have, using  \eqref{abd.1} and \eqref{eq:esmsiexp},
\begin{equation}
\psi_G(t) =\phi(t) - \frac{1}{2} \sum_{i=1}^n g_i E_{sLr}^t(\alpha_i),\quad
D_G(t)  = - \frac{1}{2} \sum_{i=1}^n \alpha_i g_i E_{sLr}^t(\alpha_i),
\label{abdG}
\end{equation}
where $E_{sLr}^t(\alpha)$ denotes the Laplace transform of $[E_r^{t}(s)]^2$, given by
\begin{equation}
E_{sLr}^t(\alpha)
= \int_0^\infty e^{-\alpha s}[E_r^t(s)]^2 ds = E_{sL}^t(\alpha) - 2 E(t) E_L^t(\alpha)
+ \frac{E^2(t)}{\alpha},
\label{eq:Ltf2r}
\end{equation}
and $E_{sL}^t(\alpha)$ denotes the Laplace transform of $[E^{t}(s)]^2$,
\begin{equation}
E_{sL}^t(\alpha) = \int_0^\infty e^{-\alpha s}[E^t(s)]^2 ds.
\label{eq:Ltf2}
\end{equation}
The quantity $E^t_L(\alpha)$ is defined by \eqref{A2.3sdal} or \eqref{A2.11exh}.

Let us now consider approach (a).

\subsubsection{Sinusoidal histories}
Relation \eqref{abd.1} has the form \cite{gennst}
\begin{equation}
\begin{split}
&\psi_G(t)\\
& = \Big\{ \frac{1}{2} G_0 + G'_+(\omega_0) - \frac{1}{2} G_+'(2\omega_0), 2G_0 - G_\infty
+ 2G_c'(\omega_0)\Big\}\\
& = \Big\{ \frac{1}{2} G_0 + \sum_{i=1}^n \frac{g_i}{\alpha_i + i\omega_0} - \frac{1}{2}
\sum_{i=1}^n \frac{g_i}{\alpha_i + 2i\omega_0}, 2G_0 - G_\infty
 + 2\sum_{i=1}^n \frac{\alpha_i g_i}{\alpha_i^2+\omega_0^2}\Big\},
\end{split}
\label{eq:GVsn}
\end{equation}
so that the time average of $\psi_G$ over a cycle is
\begin{equation}
\langle\psi_G(t)\rangle_{av}
 = [2G_0 - G_\infty + 2G_c'(\omega_0)]\abs{E_0}^2
 = \Big[2G_0 - G_\infty + 2\sum_{i=1}^n \frac{\alpha_i g_i}{\alpha_i^2+\omega_0^2} \Big]\abs{E_0}^2.
\label{eq:GVsnav}
\end{equation}
Also,
\begin{equation}
\begin{split}
D_G(t)& = \{ -i\omega_0[ G'_+(\omega_0) - G_+'(2\omega_0)], - 2 \omega_0 G_s'(\omega_0)\}\\
& =  \Big\{ -i\omega_0 \Big[ \sum_{i=1}^n \frac{g_i}{\alpha_i + i\omega_0} - \sum_{i=1}^n \frac{g_i}{\alpha_i
+ 2i\omega_0}\Big], - 2 \omega_0^2 \sum_{i=1}^n \frac{ g_i}{\alpha_i^2+\omega_0^2}\Big\}.
\end{split}
\label{eq:DGsn}
\end{equation}
It is shown in \cite{gennst} that the second parameter in the rate of dissipation
is always $-2 \omega_0 G'_s(\omega_0)$. Note that
\begin{equation}
\phi(t) = \big\{\frac{1}{2} G_\infty,G_\infty \big\}.
\label{eq:phi}
\end{equation}
The Laplace transform \eqref{eq:Ltf2} has the form
\begin{equation}
\begin{gathered}
E_{sL}^t(\alpha) = \big\{\frac{1}{\alpha+ 2i\omega_0},\frac{2}{\alpha} \big\},\\
E_{sLr}^t(\alpha) = \big\{\frac{1}{\alpha+ 2i\omega_0}-\frac{2}{\alpha+ i\omega_0}
+\frac{1}{\alpha},\frac{4}{\alpha}-\frac{4 \alpha}{\alpha^2+ \omega_0^2} \big\},
\end{gathered}
\label{eq:Ltf2brn}
\end{equation}
where \eqref{A2.3sdal} has been used. Recalling \eqref{eq:G0Gin},
we see that \eqref{abdG} agrees with \eqref{eq:GVsn}$_2$ and \eqref{eq:DGsn}$_2$.

\subsubsection{Exponential histories} In this case, we have (approach (a))
\begin{equation}
\begin{aligned}
\psi_G(t)
& = \big[\frac{1}{2} G_0 + L({\lambda}) - \frac{1}{2} L(2{\lambda})\big]E^2(t)\\
& = \Big[\frac{1}{2} G_0 + \sum_{i=1}^n \frac{g_i}{\alpha_i+{\lambda}} - \frac{1}{2} \sum_{i=1}^n \frac{g_i}{\alpha_i+2{\lambda}}\Big]
 E^2(t),\\
D_G(t)& = -{\lambda}[ L({\lambda}) - L(2{\lambda})]E^2(t)\\
& = -{\lambda} \Big[\sum_{i=1}^n \frac{g_i}{\alpha_i+{\lambda}} - \sum_{i=1}^n \frac{g_i}{\alpha_i+2{\lambda}}\Big]E^2(t),
\end{aligned}
\label{eq:DGsnex}
\end{equation}
which can be shown to be equal to the results from \eqref{abdG} (approach (b)).
These provide another example of remark \ref{r:valM}.

\subsection{Dill free energy}

We next consider the expression \eqref{eq:sschfe} for the Dill free energy.
Adopting approach (b), we have
\begin{equation}
\psi_{\rm Dill}(t) = \phi(t) - \frac{1}{2}\sum_{i=1}^n \alpha_i g_i [E^t_{rL}(\alpha_i)]^2
\label{eq:psissintk}
\end{equation}
where $E^t_{rL}$ is defined by \eqref{A2.11al} in the limit $\eta \to 0$,
or \eqref{A2.11exh}$_2$. The rate of dissipation \eqref{eq:sschfed}
is given by
\begin{equation}
D_{\rm Dill}(t) = - \sum_{i=1}^n \alpha^2_i g_i [E_{rL}^t(\alpha_i)]^2.
\label{eq:dintlapt}
\end{equation}
Now consider approach (a).

\subsubsection{Sinusoidal histories} For this case, we have \cite{gennst}
\begin{equation}
\begin{split}
&\psi_{\rm Dill}(t)\\
& = \Big\{ \frac{1}{2}[G_0 + G'_+(\omega_0) - \omega_0\frac{\partial}{\partial \omega_0} G'_+(\omega_0)],
 G_0 + G_c'(\omega_0)\Big\},\\
& = \Big\{ \frac{1}{2}\Big[G_0 + \sum_{i=1}^n \frac{g_i}{\alpha_i + i\omega_0}
+ i\omega_0\sum_{i=1}^n \frac{g_i}{(\alpha_i + i\omega_0)^2}\Big], G_0
 + \sum_{i=1}^n \frac{\alpha_i g_i}{\alpha_i^2+\omega_0^2}\Big\},
\end{split}
\label{eq:Dillfes}
\end{equation}
so that
\begin{equation}
\langle\psi_{\rm Dill}(t)\rangle_{av}
= [G_0 + G_c'(\omega_0)]\abs{E_0}^2
= \Big[G_0 + \sum_{i=1}^n \frac{\alpha_i g_i}{\alpha_i^2+\omega_0^2}\Big]\abs{E_0}^2.
\label{eq:Dillfesav}
\end{equation}
Relation \eqref{psigss} averaged over a cycle and applied to
\eqref{eq:GVsnav}, \eqref{eq:Dillfesav}, is equivalent to the inequality
\begin{equation}
G_0 + G_c'(\omega_0) \geq G_\infty.
\label{eq:fgenineq}
\end{equation}
This is an equality at $\omega_0 = 0$, by virtue of \eqref{eq:G0Gin}
 and \eqref{eq:gplus}$_2$, while $G_c'(\omega_0)$, a negative quantity, decreases
in magnitude for increasing $\omega_0$, as we see from \eqref{eq:Dillfesav}$_2$.
Relation \eqref{eq:fgenineq} is in fact the general requirement \eqref{eq:psiGphi},
applied to \eqref{eq:Dillfesav}. Also,
\begin{equation}
\begin{split}
D_{\rm Dill}(t)
& = \Big\{ i\omega_0^2\frac{\partial}{\partial \omega_0} G'_+(\omega_0), - 2 \omega_0 G_s'(\omega_0)\Big\}\\
& = \Big\{\omega_0^2\sum_{i=1}^n \frac{g_i}{(\alpha_i + i\omega_0)^2},
 - 2 \omega_0^2\sum_{i=1}^n \frac{g_i}{\alpha_i^2+\omega_0^2} \Big\},
\end{split}
\label{eq:DillDss}
\end{equation}
where again we see that the second parameter is $-2\omega_0 G'_s(\omega_0)$.

Note that
\begin{equation}
[E^t_{rL}(\alpha)]^2 = \frac{\omega_0^2}{\alpha^2}
\Big\{ -\frac{1}{(\alpha+i\omega_0)^2},\frac{2}{\alpha^2 + \omega_0^2} \Big\}.
\label{eq:Laplexp}
\end{equation}
Using \eqref{eq:Laplexp} and \eqref{eq:G0Gin}, we see that there is
agreement between \eqref{eq:psissintk} and \eqref{eq:Dillfes}.

\subsubsection{Exponential histories}
Recalling remark \ref{r:valM}, together with \eqref{eq:Dillfes}
and \eqref{eq:DillDss}, we have (approach (a))
\begin{equation}
\begin{gathered}
\begin{aligned}
\psi_{\rm Dill}(t)
& = \frac{1}{2}[G_0 + L({\lambda}) - {\lambda}\frac{\partial}{\partial {\lambda}} L({\lambda})]E^2(t)\\
& = \frac{1}{2}\Big[ G_0 + \sum_{i=1}^n \frac{g_i}{\alpha_i+{\lambda}}
 + {\lambda} \sum_{i=1}^n \frac{g_i}{(\alpha_i+{\lambda})^2}\Big]E^2(t),
\end{aligned} \\
D_{\rm Dill}(t) = {\lambda}^2\frac{\partial}{\partial {\lambda}} L({\lambda}) E^2(t)
  = -\Big[{\lambda}^2 \sum_{i=1}^n \frac{g_i}{(\alpha_i+{\lambda})^2}\Big]E^2(t),
\end{gathered}
\label{eq:DDexph}
\end{equation}
which can be shown to be equal to \eqref{eq:psissintk} and \eqref{eq:dintlapt}
(approach (b)) with the aid of \eqref{eq:G0Gin} and \eqref{A2.11exh}.
One can show that \eqref{psigss} holds.

\subsection{The functional $\psi_F$}
Next, let us consider $\psi_F$, given by \eqref{l:psif}.
Using approach (b), we put
\begin{equation}
\dot I^t(\tau) = -\sum_{i=1}^n \alpha_i g_i e^{-\alpha_i \tau} E^t_{rL}(\alpha_i)
               = \sum_{i=1}^n h_i e^{-\alpha_i \tau}, \quad
 h_i  =  -\alpha_i g_i E^t_{rL}(\alpha_i),
\label{eq:Idispec}
\end{equation}
where $E^t_{rL}$ is given by \eqref{A2.11al} or \eqref{A2.11exh}.
Thus, we can write \eqref{l:psif}$_1$ in the forms
\begin{equation}
\begin{aligned}
\psi_F(t)
& = \phi(t) - \frac{1}{2} \int_0^\infty \frac{[\sum_{i=1}^n h_i e^{-\alpha_i \tau}]^2}{\sum_{i=1}^n g_i e^{-\alpha_i \tau}}
d\tau\\
 &  = \phi(t) - \frac{1}{2} \int_0^\infty \frac{[\sum_{i=1}^n h_i e^{(\alpha_1 - \alpha_i) \tau}]
[\sum_{i=1}^n h_i e^{- \alpha_i \tau}]}{\sum_{i=1}^n g_i e^{(\alpha_1 - \alpha_i) \tau}} d\tau.
\end{aligned}
\label{l:psiFdissp}
\end{equation}
The advantage of writing it in the second form, obtained by multiplying the
numerator and denominator by $ e^{\alpha_1 \tau}$, is that the denominator
now goes to the limit $g_1$ at large $\tau$, instead of zero.
Also, from \eqref{a6.11.1c},
\begin{equation}
\begin{aligned}
D_F(t)& = -\frac{1}{2}\frac{[\sum_{i=1}^n h_i]^2}{\sum_{i=1}^n g_i}
 - \frac{1}{2} \int_0^\infty {\sum_{i=1}^n \alpha_i g_i e^{-\alpha_i \tau}}
\Big[ \frac{\sum_{i=1}^n h_i e^{-\alpha_i \tau}}{\sum_{i=1}^n g_i e^{-\alpha_i \tau}} \Big]^2 d\tau,\\
 &  = -\frac{1}{2}\frac{[\sum_{i=1}^n h_i]^2}{\sum_{i=1}^n g_i} - \frac{1}{2} \int_0^\infty {\sum_{i=1}^n \alpha_i g_i e^{-\alpha_i \tau}}
\Big[ \frac{\sum_{i=1}^n h_i e^{(\alpha_1 -\alpha_i) \tau}}{\sum_{i=1}^n g_i e^{(\alpha_1-\alpha_i) \tau}} \Big]^2 d\tau.
\end{aligned}
\label{l:dissFex}
\end{equation}

Consider now approach (a).

\subsubsection{Sinusoidal histories}
We have, from  \eqref{eq:e7.11dot},
\begin{equation}
\begin{split}
\dot I^t(s)
& = F(\omega_0, s)E_0 e^{i\omega_0 t} + \overline F(\omega_0, s)\overline{E_0} e^{-i\omega_0 t},\\
F(\omega_0, s)
& =  \int_0^\infty G''(u+s) (e^{-i\omega_0 u}-1) d u\\
& = \int_0^\infty G''(u+s) e^{-i\omega_0 u} d u + G'(s)\\
& = i\omega_0\int_0^\infty G'(u+s) e^{-i\omega_0 u} d u.
\end{split}
\label{eq:psiFs}
\end{equation}
Observe that
\begin{equation}
\overline F(\omega_0,s) = F(-\omega_0,s).
\label{eq:comconjF}
\end{equation}
The relations
\begin{equation}
F(\omega_0, 0) = G''_+(\omega_0) + G'(0) = i\omega_0 G'_+(\omega_0)
\label{eq:psiFsdr}
\end{equation}
will be useful. In the notation \eqref{eq:abbrevn}, we have
\begin{equation}
\psi_F(t)-\phi(t) = -\Big\{\frac{1}{2} \int_0^\infty \frac{[F(\omega_0,s)]^2}{G'(s)} \,ds,
\int_0^\infty \frac{\abs{F(\omega_0,s)}^2}{G'(s)} \,ds \Big\}
\label{eq:psF-phi}
\end{equation}
Thus, $\langle\psi_F(t)\rangle_{av}$ is given by
\begin{equation}
\langle\psi_F(t)\rangle_{av}
= \Big[G_\infty  - \int_0^\infty \frac{\abs{F_s(\omega_0,s)}^2}{G'(s)}\,ds \Big]\abs{E_0}^2.
\label{eq:psF-d}
\end{equation}
Also,
\begin{equation}
D_F(t) = \Big\{\frac{\omega^2_0}{2}\frac{[G_+'(\omega_0)]^2}{G'(0)}
+ \frac{1}{2} \int_0^\infty G''(s) \big[\frac{F(\omega_0,s)}{G'(s)}\big]^2\,ds,
-2\omega_0G_s'(\omega_0) \Big\},
\label{eq:psF-D}
\end{equation}
where, as noted earlier, the form of the second parameter follows
from general arguments \cite{gennst}.

For a discrete spectrum material,
\begin{equation}
F(\omega_0,s) = i\omega_0\sum_{i=1}^n \frac{g_i e^{-\alpha_i s}}{\alpha_i + i \omega_0},
\label{eq:Fsdissp}
\end{equation}
which follows both from \eqref{eq:psiFs} (approach (a))
and \eqref{eq:Idispec} (approach (b)).

For sinusoidal histories,  $E^t_{rL}(\alpha)$ is defined by \eqref{A2.11al}.
Then, we see that \eqref{l:psiFdissp} and \eqref{eq:psF-phi} are in agreement
as are \eqref{l:dissFex} and \eqref{eq:psF-D}.

\subsubsection{Exponential histories}
Adopting approach (a), we have from  \eqref{eq:e7.11dot}$_2$ and
\eqref{eq:esmsiexp} that
\begin{equation}
\dot I^t(s) = {\lambda} E(t)\int_0^\infty G'(u + s)e^{-{\lambda} u} d u
= {\lambda} E(t)\sum_{i=1}^n \frac{g_i e^{-\alpha_i s}}{\alpha_i + {\lambda}}.
\label{eq:psiFexph}
\end{equation}
Note that, using \eqref{eq:Fsdissp}, this can be written in the form
\begin{equation}
\dot I^t(s) =  F(-i{\lambda},s) E(t),
\label{eq:psiF1}
\end{equation}
which is in accordance with Remark \ref{r:valM}.
Relation \eqref{eq:psiFexph} agrees with \eqref{eq:Idispec} and \eqref{A2.11exh},
obtained using approach (b). Again using remark \ref{r:valM},
we see that the quantities $\psi_F(t)$ and $D_F(t)$ are given by
\begin{equation}
\begin{gathered}
\psi_F(t) = \phi(t) -  \frac{1}{2} \Big\{ \int_0^\infty \frac{[F(-i{\lambda},s)]^2}{G'(s)}\,ds \Big\}
 E^2(t), \\
D_F(t) = \Big[-\frac{{\lambda}^2}{2}\frac{L^2({\lambda})}{G'(0)} + \frac{1}{2} \int_0^\infty G''(s)
\big[\frac{F(-i{\lambda},s)}{G'(s)}\big]^2\,ds\Big] E^2(t),
\end{gathered}
\label{eq:psiDexp}
\end{equation}
where $L({\lambda})$ is given by \eqref{eq:strexph}$_2$ and, for discrete
spectrum materials, \eqref{eq:defLlm}. When the latter expression
and  \eqref{eq:Fsdissp} are substituted into \eqref{eq:psiDexp},
they agree with \eqref{l:psiFdissp} and \eqref{l:dissFex} (approach (b)),
which we see on noting that the coefficients $h_i$ in \eqref{eq:Idispec} are given by
\begin{equation}
h_i =  \frac{{\lambda} g_i}{{\lambda} + \alpha_i}.
\label{eq:hsi}
\end{equation}

\subsection{Minimum and related free energies}
\label{ss:minrelfe}
Finally, let us explore the free energies $\psi_f(t)$ given by \eqref{eq:e5.15f}.

We first consider sinusoidal histories, using approach (a). Only the minimum
free energy is discussed in detail for sinusoidal histories in \cite{gennst,bsi}.
However, precisely analogous formulae apply to all the other cases corresponding
to the different factorizations discussed after \eqref{eq:factHpmff}.
Thus, we have
\begin{equation}
\psi_f(t)= \Big\{\frac{1}{2} G_0 + B^f_1(\omega_0), G_0 + B^f_2(\omega_0)\Big\},
\label{A2.21ff}
\end{equation}
where
\begin{equation}
\begin{gathered}
B^f_1(\omega_0)  =\frac{1}{2} \Big\{ G_+'(\omega_0) + \frac{i}{\omega_0}[H^f_-(-\omega_0)]^2\Big\}\\
B^f_2(\omega_0) = G_c'(\omega_0) - \omega_0 \frac{d}{d\omega_0}G_c'(\omega_0) + Q_f(\omega_0),
\end{gathered}
\label{A2.22ff}
\end{equation}
where $Q_f(\omega)$ is given by
\begin{equation}
Q_f(\omega) = i\Big[\frac{d}{d \omega} H^f_+(\omega)H^f_-(\omega) - H^f_+(\omega)
\frac{d}{d \omega}H^f_-(\omega)\Big] \geq 0,\quad \omega \in \mathbb{R}.
\label{eq:e7.11ff}
\end{equation}
The average over a time cycle is given by
\begin{equation}
\langle\psi_f(t)\rangle_{av} = [G_0 + B^f_2(\omega_0)]\abs{E_0}^2.
\label{A2.tc21ff}
\end{equation}
The rate of dissipation is given by \eqref{eq:e7.10ff} and  \eqref{eq:e9.14ff}.
Thus, we find that
\begin{equation}
K_f(t)=H^f_-(-\omega_0)E_0 e^{i\omega_0 t} + H^f_-(\omega_0)\overline{E_0} e^{-i\omega_0 t},
\label{A2.25ff}
\end{equation}
yielding
\begin{equation}
D_f(t)= \{ [H^f_-(-\omega_0)]^2,2H(\omega_0)\} = \{ [H^f_+(\omega_0)]^2,-2 \omega_0 G'_s(\omega_0)\},
\label{A2.27ff}
\end{equation}
where \eqref{eq:factHpmff}$_2$ has been used.

\begin{remark} \label{r:disspr} \rm
Note that, from \eqref{A2.27ff}, the parameter $M_f$ from \eqref{eq:abbrevn}
for $D_f$ has magnitude
\begin{equation}
\abs{M_f(t)}= H(\omega_0).
\label{eq:magDf}
\end{equation}
Thus, the amplitude of the sinusoidal part of $D_f$ is independent of
the labeling $f$. Also, the minimum value of $D_f$ is zero since,
referring to \eqref{eq:posc} and \eqref{A2.27ff},
\begin{equation}
N_f(t)- 2 \abs{M_f} = 0.
\label{eq:parmf}
\end{equation}
\end{remark}

\subsubsection{Exponential histories}
From remark \ref{r:valM}, we deduce that
\begin{equation}
\psi_f(t)  =\frac{1}{2} \Big\{G_0 + L({\lambda})
- \frac{1}{{\lambda}}[H^f_-(i{\lambda})]^2\Big\}E^2(t),\quad
D_f(t)  = [H^f_-(i{\lambda}) E(t) ]^2.
\label{eq:exphappa}
\end{equation}

Next, we adopt approach (b).

\subsubsection{Explicit forms for discrete spectrum materials}
\label{s:explfdsm}
To obtain the minimum free energy, one chooses the factorization of
\eqref{eq:e6.8dc} given by
\begin{equation}
\begin{gathered}
H_+(\omega)  =  h_\infty \prod_{i=1}^n \big\{\frac{\omega - i\gamma_i}{\omega - i\alpha_i}\big\},\\
H_-(\omega)  =  h_\infty \prod_{i=1}^n \big\{\frac{\omega + i\gamma_i}{\omega + i\alpha_i}\big\},\quad
 h_\infty = [H_\infty ]^{1/2}.
\end{gathered}\label{eq:e6.9}
\end{equation}
Interchanging the zeros means in effect switching a given $\gamma_i$ to $-\gamma_i$
in both $H_+$ and $H_-$. Let us introduce an $n$-dimensional vector
${\epsilon}^f_i$, $i = 1,2, \dots, n$ where each ${\epsilon}^f_i$ can take values $\pm 1$.
We define $\rho^f_i = {\epsilon}^f_i\gamma_i$, and write
\begin{equation}
H^f_+(\omega)  =  h_\infty \prod_{i=1}^n \big\{\frac{\omega - i\rho^f_i}{\omega - i\alpha_i}\big\},\quad
H^f_-(\omega)  =  h_\infty \prod_{i=1}^n \big\{\frac{\omega + i\rho^f_i}{\omega + i\alpha_i}\big\}.
\label{eq:e6.9gn}
\end{equation}

\begin{remark} \label{r:disspr1} \rm
Each exchange of $\gamma_i$ and $-\gamma_i$ in $H^f_+(\omega)$ introduces a factor
\begin{equation}
\frac{\omega_0+i\gamma_i}{\omega_0-i\gamma_i} = e^{2 i \mu_i}, \quad
\mu_i = tan^{-1}\frac{\gamma_i}{\omega_0}, \quad \gamma_i, \omega_0 \in \mathbb{R}^{++},
\label{eq:phasfct}
\end{equation}
where the principal value of $\mu_i \in (0, \pi/2)$.
Thus, with each exchange, which will increase the resulting $\psi_f$,
\cite{fab7,gol5,bsi}, we have the maximum (and all other)
points of $D_f$ moving in a negative direction along the time axis.
\end{remark}

The most relevant formulae from \cite{fab7} are now summarized.
However, relative histories will be used, rather than histories,
as was the case in that reference. By considering the residue at each pole,
we find that
\begin{equation}
\begin{gathered}
H^f_-(\omega)  = h_\infty\Big[1+i\sum_{i=1}^n \frac{R^f_i}{\omega+i\alpha_i} \Big],\quad
H^f_+(\omega) = \overline{H}^f_-(\omega),\\
R^f_i  =  (\rho^f_i - \alpha_i)\prod_{j=1,\,j\neq i}^n
\Big\{\frac{\rho^f_j-\alpha_i}{\alpha_j-\alpha_i}\Big\}.
\end{gathered}\label{eq:e6.101}
\end{equation}
It follows from \eqref{eq:e6.101} and the fact that $H^f_-$ vanishes at $\omega = 0$
that
\begin{equation}
\sum_{i=1}^n \frac{R^f_i}{\alpha_i} = -1.
\label{eq:e6.21}
\end{equation}
Using \eqref{eq:e6.21},  we can write $H^f_-(\omega)$ in the form
\begin{equation}
H^f_-(\omega) = i h_\infty \omega \sum_{i=1}^n \frac{R^f_i}{\alpha_i(\alpha_i-i\omega)},
\label{eq:e6.101cnH}
\end{equation}
giving
\begin{equation}
[H^f_-(-\omega)]^2 = - H_\infty \omega^2 \sum_{i,j=1}^n
\frac{R^f_i R^f_j}{\alpha_i\alpha_j(\alpha_i + i\omega)(\alpha_j + i\omega)}.
\label{eq:h-sq}
\end{equation}
Also \cite{gol1,fab7}
\begin{equation}
g_i = -2 H_\infty \sum_{j=1}^n \frac{R^f_i R^f_j}{(\alpha_i + \alpha_j)\alpha_j},
\label{eq:gi}
\end{equation}
which yields the formula
\begin{equation}
\sum_{i=1}^n \frac{g_i}{\alpha_i} = -2 H_\infty \sum_{i,j=1}^n
\frac{R^f_i R^f_j}{(\alpha_i + \alpha_j)\alpha_i\alpha_j} = G_\infty-G_0,
\label{eq:gioval}
\end{equation}
by  \eqref{eq:G0Gin} and \eqref{eq:gi}. It follows from \eqref{eq:gplus}$_1$ that
\begin{equation}
\begin{split}
&G'_+(\omega_0)\\
& = -2 H_\infty \sum_{i,j=1}^n \frac{R^f_i R^f_j}{(\alpha_i + \alpha_j)
 \alpha_j(\alpha_i + i\omega_0)} \\
& = - H_\infty \sum_{i,j=1}^n \frac{R^f_i R^f_j}{(\alpha_i + \alpha_j)
 \alpha_j(\alpha_i + i\omega_o)} - H_\infty \sum_{i,j=1}^n \frac{R^f_i R^f_j}{(\alpha_i + \alpha_j)
 \alpha_i(\alpha_j + i\omega_0)}\\
&  = -H_\infty \sum_{i,j=1}^n \frac{R^f_i R^f_j[2 \alpha_i\alpha_j + i\omega_0(\alpha_i+\alpha_j)]}
 {(\alpha_i + \alpha_j)\alpha_i\alpha_j(\alpha_i + i\omega_0)(\alpha_j + i\omega_0)}.
\end{split}
\label{eq:Gppi}
\end{equation}
By a similar argument,
\begin{equation}
\begin{gathered}
\begin{aligned}
G'_c(\omega_0)-\omega_0 \frac{\partial}{\partial \omega_0} G'_c(\omega_0)
& = \sum_{i=1}^n \alpha_i g_i \frac{\alpha_i^2 + 3 \omega_0^2}{(\alpha_i^2 + \omega_0^2)^2}\\
& = - H_\infty \sum_{i,j=1}^n \frac{R^f_i R^f_j N_1^{(ij)}(\omega_0) }{D^{(ij)}(\omega_0)},
\end{aligned} \\
N_1^{(ij)}(\omega_0) = (\alpha_i^2+3\omega_0^2) \alpha_i^2(\alpha_j^2+\omega_0^2)^2
 + (\alpha_j^2+3\omega_0^2)\alpha_j^2(\alpha_i^2+\omega_0^2)^2,\\
D^{(ij)}(\omega_0)  = (\alpha_i + \alpha_j)\alpha_i \alpha_j(\alpha_i^2+\omega_0^2)^2(\alpha_j^2+\omega_0^2)^2.
\end{gathered}\label{eq:GcdGc}
\end{equation}
Using the expressions \eqref{eq:e6.101cnH} and its complex conjugate for $H^f_\pm$
and the alternative form \eqref{eq:e6.101} to calculate derivatives of
these quantities, we find that $Q_f(\omega_0)$, defined by \eqref{eq:e7.11ff},
is given by
\begin{equation}
\begin{gathered}
Q_f(\omega_0) = H_\infty \sum_{i,j=1}^n \frac{R^f_i R^f_j N_2^{(ij)}
 (\omega_0) }{D^{(ij)}(\omega_0)}, \\
N_2^{(ij)}(\omega_0)  = (\alpha_1 + \alpha_j)^2
\omega_0^2[(\alpha_i^2-\omega_0^2)(\alpha_j^2-\omega_0^2) + 4\omega_0^2\alpha_i\alpha_j],
\end{gathered}
\label{eq:Qfex}
\end{equation}
and $D^{(ij)}(\omega_0)$ is defined by \eqref{eq:GcdGc}$_4$.
The quantity $p_-^{ft}(\omega)$, given by \eqref{eq:e5.15f}$_2$, has the form
\begin{equation}
p_-^{ft}(\omega)  =  i h_\infty \sum_{i=1}^n \frac{R^f_i E_{r+}^t(-i\alpha_i)}{\omega+i\alpha_i}.
\label{eq:e6.10}
\end{equation}
Using \eqref{eq:e6.10} in \eqref{eq:e9.14ff}$_2$, we obtain
\begin{equation}
K_f(t)= h_\infty\Big[\sum_{i=1}^n R^f_i E_{r+}^t(-i\alpha_i) \Big].
\label{eq:e6.19}
\end{equation}
It follows from \eqref{eq:e6.10} and \eqref{eq:e5.15f} that
\begin{equation}
\psi_f(t)  = \phi(t) + H_\infty \sum_{i,j=1}^n
\frac{R^f_i R^f_j}{\alpha_i + \alpha_j}E_{r+}^t(-i\alpha_i)E_{r+}^t(-i\alpha_j),
\label{eq:e6.25}
\end{equation}
where the reality of $E_{r+}^t(-i\alpha_i)$ has been used.
Noting \eqref{eq:e6.19}, we see that
\begin{equation}
\begin{split}
D_f(t)
& = H_\infty \Big[ \sum_{i=1}^n R^f_i E_{r+}^t(-i\alpha_i) \Big]^2\\
     & = H_\infty \sum_{i,j=1}^n R^f_i R^f_j E_{r+}^t(-i\alpha_i)E_{r+}^t(-i\alpha_j).
\end{split} \label{eq:e6.291}
\end{equation}
Let $\alpha_m$ and $\alpha_M$ have the properties $\alpha_m < \alpha_{\rm min}$ and
$\alpha_M > \alpha_{\rm max}$, in terms of the quantities introduced
in \eqref{eq:almaxmin}. Then it follows from \eqref{eq:e6.25}
and \eqref{eq:e6.291} that
\begin{equation}
D_f(t)  \geq 2 \alpha_m [\psi_f(t) - \phi(t)] \geq \alpha_m [\psi_f(t) - \phi(t)],
\label{eq:ineqminfe1}
\end{equation}
and
\begin{equation}
D_f(t) \leq 2 \alpha_M [\psi_f(t) - \phi(t)].
\label{eq:ineqminfe2}
\end{equation}
These inequalities are similar to \eqref{eq:ineqD2} and \eqref{eq:ineqD3}.

\subsubsection{Sinusoidal histories}
We now derive expressions for $\psi_f$ and $D_f$, using approach (b).
Let us write \eqref{eq:e6.25} in the notation \eqref{eq:abbrevn},
using \eqref{A2.11al} and \eqref{eq:phi},
\begin{equation}
\begin{split}
\psi_f(t) & = \big\{\frac{1}{2} G_\infty,G_\infty\big\}
+  H_\infty \Big\{-\sum_{i,j=1}^n \frac{R^f_i R^f_j \omega_0^2}{(\alpha_i
 + \alpha_j)\alpha_i\alpha_j(\alpha_i + i\omega_0)(\alpha_j + i\omega_0)},\\
&\quad 2\sum_{i,j=1}^n \frac{R^f_i R^f_j \omega_0^2(\alpha_i\alpha_j
+ \omega_0^2)}{(\alpha_i + \alpha_j)\alpha_i\alpha_j(\alpha_i^2 + \omega_0^2)(\alpha_j^2 + \omega_0^2)}\Big\}.
\end{split}
\label{eq:e6.25Sshn}
\end{equation}

For approach (a), we obtain \eqref{A2.21ff} and \eqref{A2.22ff}.
Using \eqref{eq:h-sq}, \eqref{eq:Gppi},  \eqref{eq:GcdGc} and \eqref{eq:Qfex},
we see that \eqref{A2.21ff} becomes
\begin{equation}
\begin{split}
\psi_f(t)& = \big\{\frac{1}{2} G_0,G_0\big\}
-H_\infty \Big\{ \sum_{i,j=1}^n \frac{R^f_i R^f_j}{(\alpha_i + \alpha_j)
 \alpha_i\alpha_j(\alpha_i + i\omega_0)(\alpha_j + i\omega_0)}\\
&\quad\times [((\alpha_i + i\omega_0)(\alpha_j + i\omega_0) + \omega_0^2 ],
 \sum_{i,j=1}^n \frac{R^f_i R^f_j [N^{(ij)}_1(\omega_0)
- N^{(ij)}_2(\omega_0)]}{D^{(ij)}(\omega_0)}\Big\}.
\end{split}
\label{eq:ps-Sxpl}
\end{equation}
With the help of \eqref{eq:gioval}, one can show, after some algebra,
that \eqref{eq:ps-Sxpl} agrees with \eqref{eq:e6.25Sshn}.

It is perhaps noteworthy that the elegance of the formula \eqref{eq:e6.25}
contrasts with the comparative inelegance of \eqref{A2.21ff}.
Using \eqref{A2.11al} and \eqref{eq:e6.101cnH}, we have
\begin{equation}
\begin{split}
&\sum_{i=1}^n R^f_i E_{r+}^t(-i\alpha_i)\\
& = -i\omega_0\sum_{i=1}^n \frac{R^f_i}{\alpha_i(\alpha_i+i\omega_0)}E_0 e^{i\omega_0 t}
 + i\omega_0\sum_{i=1}^n \frac{R^f_i}{\alpha_i(\alpha_i-i\omega_0)}\overline{E_0} e^{-i\omega_0 t}\\
& = \frac{1}{ h_\infty}[H^f_-(-\omega_0)E_0 e^{i\omega_0 t} + H^f_-(\omega_0)
 \overline{E_0} e^{-i\omega_0 t}],
\end{split}
\label{eq:e6.291exn}
\end{equation}
so that \eqref{eq:e6.19} (approach (b)) agrees with \eqref{A2.25ff}
(approach (a)). Both yield  \eqref{A2.27ff} or (see  \eqref{eq:h-sq})
\begin{equation}
D_f(t) = -\Big\{H_\infty \omega_0^2\sum_{i,j=1}^n
\frac{R^f_iR^f_j}{\alpha_i\alpha_j(\alpha_i+i\omega_0)(\alpha_j+i\omega_0)},
2\omega_0^2\sum_{i=1}^n \frac{g_i}{\alpha_i^2+\omega_0^2}\Big\}.
\label{eq:e6.291expl}
\end{equation}

\subsubsection{Exponential history}
Using approach (b), we obtain from \eqref{eq:e6.25}, \eqref{eq:e6.291}
and \eqref{A2.11exh}  that
\begin{equation}
\begin{gathered}
\psi_f(t)  = \phi(t) + H_\infty {\lambda}^2 \sum_{i,j=1}^n
 \frac{R^f_i R^f_j}{\alpha_i\alpha_j(\alpha_i + \alpha_j)({\lambda}+\alpha_i)({\lambda}+\alpha_j)}E^2(t),\\
D_f(t)  = H_\infty {\lambda}^2 \sum_{i,j=1}^n \frac{R^f_i R^f_j}{\alpha_i\alpha_j
 ({\lambda}+\alpha_i)({\lambda}+\alpha_j)}E^2(t).
\end{gathered}
\label{eq:e6.291eh}
\end{equation}
Relation \eqref{eq:e6.291eh}$_1$ can be shown to agree with \eqref{eq:exphappa}$_1$,
using minor modifications of the formulae showing the equivalence of the
first parameter on the left of the  brackets in \eqref{eq:e6.25Sshn}
to that of \eqref{eq:ps-Sxpl}. Relation  \eqref{eq:e6.291eh}$_2$ clearly
 agrees with  \eqref{eq:exphappa}$_2$ by virtue of \eqref{eq:h-sq} at $\omega = -i{\lambda}$.

\subsection{Proposed physical free energy}
\label{ss:ppfe}
A possible candidate for the true physical free energy, which is not uniquely
identifiable for most materials with memory\footnote{An exception is where
$n = 1$ as observed in subsection \ref{ss:dayfe}.}, was proposed
in \cite{gol5}\footnote{A valid question could be raised on whether a
theoretical formula involving only the relaxation function parameters
exists for all materials with memory. The other possibility could be that
the physical rate of dissipation must be determined by measurement for
each individual material and the associated free energy deduced
from this \cite{bsi}.}. Expressions were given for general materials with
only isolated singularities. If we restrict the singularities to be simple
poles (discrete spectrum materials) this proposed free energy is given
simply by the average of the $\psi_f$ over all the factorizations labeled
by $f$. A closed formula for this quantity was established, which can be
 put in the form
\begin{equation}
\psi_p(t)  = \phi(t) + H_\infty \sum_{i,j=1}^n
\frac{P(\alpha_i,\alpha_j)}{\alpha_i + \alpha_j}E_{r+}^t(-i\alpha_i)E_{r+}^t(-i\alpha_j),
\label{eq:psipC}
\end{equation}
where
\begin{equation}
P(\alpha_i, \alpha_j) = \frac{\alpha_i\alpha_j \prod_{k=2}^n\{\alpha_i\alpha_j
+\gamma_k^2\}}{\prod_{\substack{k=1\\ k \neq i}}^n(\alpha_i
- \alpha_k)\prod_{\substack{k=1 \\k \neq j}}^n(\alpha_j - \alpha_k)}.
\label{eq:imaga}
\end{equation}
Also, we have
\begin{equation}
D_p(t) =  = H_\infty \sum_{i,j=1}^n P(\alpha_i,\alpha_j)
E_{r+}^t(-i\alpha_i)E_{r+}^t(-i\alpha_j).
\label{eq:epspdd}
\end{equation}
This is the result from approach (b). There is no approach (a) since there is no result of this kind for a general relaxation function. Note that \eqref{eq:psipC} and \eqref{eq:epspdd} correspond to \eqref{eq:e6.25} and \eqref{eq:e6.291} with $P(\alpha_i,\alpha_j)$ substituted for $R^f_i R^f_j$. We now give expressions for $\psi_p$ and $D_p$ for sinusoidal and exponential histories.

\subsubsection{Sinusoidal histories}
Let us write \eqref{eq:psipC} in the notation \eqref{eq:abbrevn},
 using \eqref{A2.11al} and \eqref{eq:phi}:
\begin{equation}
\begin{split}
\psi_p(t)
& = \big\{\frac{1}{2} G_\infty,G_\infty\big\}
+  H_\infty \Big\{-\sum_{i,j=1}^n \frac{P(\alpha_i,\alpha_j)
 \omega_0^2}{(\alpha_i+\alpha_j)\alpha_i\alpha_j(\alpha_i + i\omega_0)(\alpha_j + i\omega_0)}, \\
&\quad 2\sum_{i,j=1}^n \frac{P(\alpha_i,\alpha_j) \omega_0^2(\alpha_i\alpha_j
+ \omega_0^2)}{(\alpha_i + \alpha_j)\alpha_i\alpha_j(\alpha_i^2 + \omega_0^2)(\alpha_j^2 + \omega_0^2)}\Big\}.
\end{split}
\label{eq:psip}
\end{equation}
Also,
\begin{equation}
D_p(t) = -\Big\{H_\infty \omega_0^2\sum_{i,j=1}^n \frac{P(\alpha_i,\alpha_j)}{\alpha_i\alpha_j
(\alpha_i+i\omega_0)(\alpha_j+i\omega_0)},2\omega_0^2\sum_{i=1}^n \frac{g_i}{\alpha_i^2+\omega_0^2}\Big\}.
\label{eq:psipd}
\end{equation}

\subsubsection{Exponential history}
We obtain from \eqref{eq:psipC} - \eqref{eq:epspdd} and \eqref{A2.11exh}  that
\begin{equation}
\begin{gathered}
\psi_p(t)  = \phi(t) + H_\infty {\lambda}^2 \sum_{i,j=1}^n
 \frac{P(\alpha_i,\alpha_j)}{\alpha_i\alpha_j(\alpha_i + \alpha_j)({\lambda}+\alpha_i)({\lambda}+\alpha_j)}E^2(t),\\
D_f(t)  = H_\infty {\lambda}^2 \sum_{i,j=1}^n
\frac{P(\alpha_i,\alpha_j)}{\alpha_i\alpha_j({\lambda}+\alpha_i)({\lambda}+\alpha_j)}E^2(t).
\end{gathered}
\label{eq:psip3}
\end{equation}

\subsection{Day free energy}
\label{ss:dayfe}
Consider materials characterized by a relaxation function with only one
decaying exponential, so that \eqref{eq:efmscrlfn} and \eqref{eq:esmsiexp} become
\begin{equation}
G(t) = G_\infty + G_1 e^{-\alpha t},\quad
G'(t) = g  e^{-\alpha t}, \quad g = -\alpha G_1 < 0.
\label{eq:oneexp}
\end{equation}
All free energies for such materials that are functionals of the minimal state
 reduce to the Day free energy functional \cite{day3}, which is given by
\begin{equation}
\psi_{\rm Day}(t) = \phi(t) - \frac{\alpha g}{2} [E^t_{rL}(\alpha) ]^2.
\label{eq:dayfe}
\end{equation}
This can be shown for $\psi_{\rm Dill}$, $\psi_F$, $\psi_f$ and $\psi_p$.
It is not true for $\psi_G$ and of course the work function.
The corresponding rate of dissipation is
\begin{equation}
D_{\rm Day}(t) = - \alpha^2 g [E^t_{rL}(\alpha) ]^2 = 2 \alpha [\psi_{\rm Day}(t) - \phi(t)].
\label{eq:daydis}
\end{equation}
The inequalities \eqref{eq:ineqD2}$_1$ and \eqref{eq:ineqD3}
(or \eqref{eq:ineqminfe1}$_1$, \eqref{eq:ineqminfe2}) hold as equalities
in this case.

For sinusoidal histories, we have from \eqref{A2.11al},
\begin{equation}
\begin{gathered}
\psi_{\rm Day}(t) = \Big\{\frac{G_\infty}{2}
+ \frac{g \omega_0^2}{2 \alpha}\frac{1}{(\alpha+i\omega_0)^2},G_\infty
- \frac{\omega_0^2}{\alpha}\frac{g}{\alpha^2+\omega_0^2}  \Big\}, \\
D_{\rm Day}(t) = \Big\{\frac{g \omega_0^2}{(\alpha+i\omega_0)^2},
- 2\frac{\omega_0^2 g}{\alpha^2+\omega_0^2}  \Big\},
\end{gathered}
\label{eq:daysin}
\end{equation}
while for exponential histories, \eqref{A2.11exh} (or remark \ref{r:valM}) yields
\begin{equation}
\psi_{\rm Day}(t) = \frac{1}{2}\big[G_\infty
- \frac{g}{\alpha}\frac{{\lambda}^2}{({\lambda} + \alpha)^2}\big]E^2(t), \quad
D_{\rm Day}(t)  = -\frac{g {\lambda}^2}{({\lambda} + \alpha)^2}E^2(t).
\label{eq:dayexph}
\end{equation}

Let us  present the form of the Graffi-Volterra function and the
work function for relaxation functions with a single exponential.
The former and its rate of dissipation are given by a special case of \eqref{abdG}:
\begin{equation}
\psi_G(t) =\phi(t) - \frac{1}{2} g E_{sLr}^t(\alpha),\quad
D_G(t)  = - \frac{1}{2} \alpha g E_{sLr}^t(\alpha) = \alpha [\psi_G(t) - \phi(t)],
\label{abdGone}
\end{equation}
where $E_{sLr}^t$ is defined by \eqref{eq:Ltf2r}.
These become for sinusoidal histories, by  \eqref{eq:Ltf2brn},
\begin{equation}
\begin{gathered}
\psi_G(t) = \Big\{\frac{1}{2} G_\infty - \frac{g}{2}\big[ \frac{1}{\alpha+2i\omega_0}
-\frac{2}{\alpha+i\omega_0} + \frac{1}{\alpha}\big],
 G_\infty - 2 g \big[ \frac{1}{\alpha}-\frac{\alpha}{\alpha^2+\omega^2_0}\big]  \Big\}\\
D_G(t) = - g\Big\{\frac{\alpha}{2}\big[ \frac{1}{\alpha+2i\omega_0}-\frac{2}{\alpha+i\omega_0}
+ \frac{1}{\alpha}\big], \frac{2 \omega^2_0}{\alpha^2+\omega^2_0}\Big\}.
\end{gathered}
\label{abdGoneb}
\end{equation}
For exponential histories
\begin{equation}
\begin{gathered}
\psi_G(t) = \frac{1}{2}\Big[G_\infty - g\Big( \frac{1}{\alpha+2{\lambda}}-\frac{2}{\alpha+ {\lambda}}
+ \frac{1}{\alpha}\Big)\Big] E^2(t),\\
D_G(t)  = - \frac{g \alpha}{2}\Big(\frac{1}{\alpha+2{\lambda}}-\frac{2}{\alpha+ {\lambda}}
+ \frac{1}{\alpha}\Big) E^2(t).
\end{gathered}
\label{abdGonebeh}
\end{equation}
We can write the work function for one exponential using \eqref{eq:e6.phi}
 and \eqref{eq:se6.6} but the resulting expression, though general,
is not particularly useful. For sinusoidal histories however,
 we can use \eqref{A2.etaz10} to write
\begin{equation}
W(t) = \Big\{ \frac{1}{2} \big[G_0 + \frac{g}{\alpha+i\omega_0}\big],
 G_0 +\frac{\alpha g}{\alpha^2 + \omega_0^2} + \frac{2 \omega_0^2 \alpha g}{(\alpha^2 + \omega_0^2)^2}
- \frac{\omega_0^2 g}{\alpha^2 + \omega_0^2}\big( 2 t + \frac{1}{\eta}\big)\Big\}.
\label{eq:wkfnoneex}
\end{equation}
Also, we can use \eqref{eq:wfnexhs} in the case of exponential histories to write
\begin{equation}
W(t) =  \frac{1}{2} \big[G_0 + \frac{g}{\alpha+{\lambda}}\big]E^2(t).
\label{eq:wkfnoneexeh}
\end{equation}

\begin{remark} \label{r:day} \rm
In the case of materials for which the relaxation function is well
approximated by one decaying exponential, there is a strong argument
for identifying $\psi_{\rm Day}$ as the physical free energy.
\end{remark}

\section{Choices of decay constant}
\label{s:numw}

Our choice of inverse decay times $\alpha_i$, $i=1,2, \dots, n,$ will be based
on classical theoretical arguments. We shall adopt the following  formula,
which emerges from simple Brownian motion molecular theories (see references
in \cite{fer1} and \cite{gol4} for example):
\begin{equation}
\alpha_r = \alpha_n \kappa_r,\quad
\kappa_r = \frac{\sin^2[\frac{r \pi}{2(n+1)}]}{\sin^2[\frac{n \pi}{2(n+1)}]},\quad
r=1,2,\dots, n.
\label{eq:rouse}
\end{equation}

\begin{figure}[htb]
\begin{center}
\includegraphics[width=0.7\textwidth]{fig1}
\end{center}
\caption{Average spacing between the $\alpha_i$ against $n$. Also,
the ratio $\alpha_{\rm min}/\alpha_{\rm max}$ against $n$}
  \label{fig1}
\end{figure}
The quantity $\kappa_1$ as a function of $n$ is plotted on figure \ref{fig1}.
This and all other graphical output was produced on Matlab 7.0.1.

For most of the plots presented, we take $n = 4$. This relatively low value
is adopted because, as noted in remark \ref{r:transition}, the approach from
a discrete to a continuous spectrum occurs remarkably quickly as $n$ increases,
at least according to one particular measure, namely that given
by \eqref{eq:limiscon1}.

The coefficients $G_i$ in \eqref{eq:efmscrlfn} are all taken to be the
same \cite{fer1}:
\begin{equation}
G_i = G_1,\quad i = 1,2,\dots, n.
\label{eq:Gi}
\end{equation}
We assume that $E_0$ in \eqref{A2.1sins} is real, so that
\begin{equation}
E(t) = 2 E_0 \cos \omega_0 t. \label{eq:simsinu}
\end{equation}
Dimensions will be removed from the expressions, by taking all free energies
 as divided by $G_0 E_0^2$, for sinusoidal histories and by $G_0 E_1^2$
for exponential histories. In the case of the rate of dissipation associated
with a given free energy, we divide by $G_0 E_0^2 \omega_0$ for sinusoidal
histories and by $G_0 E_1^2 {\lambda}$ for exponential histories.
These procedures amount to taking
\begin{equation}
G_0 = E_0 = E_1 = 1, \label{eq:G01}
\end{equation}
which is henceforth assumed in the numerical work. Apart from time and
the value of $n$, the remaining parameters are $\alpha_m = \alpha_{\rm max}$
and $G_\infty$ ($G_\infty/G_0$ in dimensionless coordinates which varies
in $[0,1]$). Observe that, by virtue of \eqref{eq:esmsiexp}, the quantity
$G_1$ in \eqref{eq:Gi} is then given uniquely by
\begin{equation}
G_1 = \frac{1}{n}[1-G_\infty] \in [0,\frac{1}{n}].
\label{eq:G1v}
\end{equation}

Suitable dimensionless variables must be selected for both types of
strain histories. For sinusoidal histories, we choose
\begin{equation}
\rho = \frac{\alpha_n}{\omega_0}, \quad \tau = \omega_0 t
\label{eq:othdim}
\end{equation}
as our remaining dimensionless quantities characterizing the material behaviour.
The latter is in effect a dimensionless time variable. For exponential histories,
the corresponding choices are
\begin{equation}
\rho = \frac{\alpha_n}{{\lambda}}, \quad
\tau = {\lambda} t.
\label{eq:rho}
\end{equation}
Relations \eqref{eq:othdim} and \eqref{eq:rho} are equivalent to taking
\begin{equation}
\omega_0 = {\lambda} = 1. \label{eq:wlam}
\end{equation}

\begin{remark} \label{l:timeindep} \rm
In some of the plots presented, we deal with measures of free energy and
rate of dissipation that are independent of time. In the case of
sinusoidal histories, the natural quantities are the averages of
the functional over a cycle, or $N$ in \eqref{eq:genforC}
(divided by $G_0 E^2_0$ for free energies and $G_0 E^2_0 \omega_0$ for
dissipation rates, as observed earlier). For exponential histories,
it is $\psi(t)/(G_0 E^2(t))$ for free energies and $\psi(t)/(G_0 E^2(t){\lambda})$
for rates of dissipation.

The algebraic expressions in these two cases are quite different. For example,
the expression $\psi(t)/(G_0 E^2(t))$ has a close relation to the corresponding
choice of $M$ in \eqref{eq:genforC} (through analytic continuation;
see remark \ref{r:valM}) but not $N$.
\end{remark}

\section{Discussion of results}
\label{s:disc}

Various numerical plots are presented on figure \ref{fig2} - \ref{fig21}
in the appendix. On figures \ref{fig2} - \ref{fig9}, free energies and rates
of dissipation are plotted against time. On figures \ref{fig2} and \ref{fig6},
the minimum, maximum and two of the intermediate free energies discussed in
subsections \ref{s:edfmfe} and \ref{ss:minrelfe} are shown for sinusoidal
and exponential histories with $n = 4$. Note that in the case of exponential
histories, the time dependence is a trivial factor $E^2(t)$.
The interesting information is contained in the factor multiplying this quantity,
 which we will explore in  more detail below. Because of this, we have chosen
a very short time interval which yields good separation between the different curves.

The work function is included for exponential histories but not in the case of
sinusoidal histories, for which it is divergent.

The main information content on both sets of curves is the vertical ordering of
the free energies. In particular, the close proximity
(figures \ref{fig4}, \ref{fig8}) of the minimum free energy $\psi_m(t)$ and
$\psi_F(t)$ is noteworthy. They appear to be almost equal. The difference
for the rates of dissipation (figures \ref{fig5}, \ref{fig9}) is slightly larger.
There is no apparent algebraic evidence for equality. The quantity $\psi_m(t)$
can be expressed as a quadratic form in the quantity $\dot I^t(s)$ given
by \eqref{l:psif} \cite{des6,bsi}, but the kernel is quite different from
that in \eqref{l:psif}. The almost equally close correspondence between
$\psi_{\rm Dill}(t)$ and $\psi_m(t)$, $\psi_F(t)$ is also interesting.
This feature does not appear to be a consequence of the special assumptions
made in section \ref{s:numw}, in particular \eqref{eq:Gi}. Even when this
is altered, the close proximity of these quantities is retained.
This phenomenon will be discussed further below.

The somewhat central position of $\psi_p(t)$ is to be expected.
In figure \ref{fig4}, $\psi_G(t)$ crosses over the curve for $\psi_M(t)$,
which is consistent with the observation just before remark \ref{r:transition}.

The behaviour of the rates of dissipation on figure \ref{fig3} are in agreement
with the features listed in remarks \ref{r:disspr} and  \ref{r:disspr1},
including those for the maximum free energy. Note that, on
figures  \ref{fig3} and \ref{fig5}, the maximum free energy is out of phase
with the minimum free energy by around $\pi/2$. This, however, is not a
general feature.

The ordering noted in the last paragraph of remark \ref{r:order} is
reflected in figures  \ref{fig7} and \ref{fig9}.
We observe that on figure  \ref{fig8}, the maximum free energy is very
close to the work function, even for $n = 4$.

On figures  \ref{fig10} - \ref{fig12}, the effects of varying $\alpha_{\rm max}$
on free energies and dissipation rate are presented for sinusoidal histories,
while on figures  \ref{fig13} - \ref{fig16}, similar data are plotted for
exponential histories. For sinusoidal histories, there is only one average
dissipation rate, as observed after \eqref{eq:DGsn}.

The proximity of the minimum free energy, $\psi_F$ and $\psi_{\rm Dill}$
is evident on all these plots, though the separation is slightly more apparent
on figure \ref{fig16}. One might therefore tentatively make the hypothesis
that the phenomenon is present for all histories and is worthy of
further exploration. Let us briefly discuss the issue using a different
approach that applies to all histories, though for fixed values of
$\alpha_{\rm max}$ and $G_\infty$. This approach turns out to provide interesting
insights, but again is not finally conclusive with regard to general histories.

It is noted in \cite{bsi} and references cited therein that all free energies
that are functionals of the minimal state for discrete spectrum materials
can be expressed in the form
\begin{equation}
\psi(t)=\phi(t)+\frac{1}{2}\textbf{e}^\top\textbf{C}\textbf{e} = \phi(t)+\frac{1}{2}\textbf{e} \cdot\textbf{C}\textbf{e},
\label{eq:e10.3cb}
\end{equation}
where $\textbf{e}$ is a vector in $\mathbb{R}^n$ with components
\begin{equation}
\begin{split}
e_i(t)
& = E(t)-\alpha_i E_+^t(-i\alpha_i) = \frac{d}{dt}E_+^t(-i\alpha_i)\\
& = -\alpha_i E_{r+}^t(-i\alpha_i), \quad i = 1,2,\dots ,n.
\end{split} \label{eq:e10.2cb}
\end{equation}
and $\textbf{C}$ is a symmetric, positive definite matrix of components
$C_{ij}$, $i,j=1,2,\dots ,n$. It has the property that
\begin{equation}
\sum_{j=1}^n  C_{ij}=G_i, \quad i=1,2,\dots ,n,
\label{eq:e10.4cb}
\end{equation}
where the coefficients $G_i$ are those in \eqref{eq:efmscrlfn}.
Also, the rate of dissipation is given by
\begin{equation}
D(t) = \frac{1}{2} \textbf{e}^\top{\mathbf \Gamma} \textbf{e},\quad \Gamma_{ij} = (\alpha_i+\alpha_j)C_{ij},
\label{eq:e10.5cb}
\end{equation}
where $\Gamma_{ij}$ $i,j=1,2,\dots ,n$ are the elements of the matrix
$\mathbf{\Gamma}$ which must be at least positive semi-definite.

Relation \eqref{eq:e6.25} yields explicit forms for $\textbf{C}$ and 
$\mathbf{\Gamma}$ corresponding to the minimum and related free energies given by
\begin{equation}
C^f_{ij} = 2 H_\infty \frac{R^f_i R^f_j}{(\alpha_i + \alpha_j)\alpha_i \alpha_j},\quad
\Gamma^f_{ij}= 2 H_\infty \frac{R^f_i R^f_j}{\alpha_i \alpha_j}.
\label{eq:CGmin}
\end{equation}
In the case of $\psi_p$, we have
\begin{equation}
C_{pij} = 2 H_\infty \frac{P(\alpha_i, \alpha_j)}{(\alpha_i + \alpha_j)\alpha_i \alpha_j}, \quad
\Gamma_{pij} = 2 H_\infty \frac{P(\alpha_i, \alpha_j)}{\alpha_i \alpha_j},
\label{eq:CGp}
\end{equation}
where $P$ is given by \eqref{eq:imaga}. For the Dill free energy,
$\textbf{C}$ and $\Gamma$ are diagonal. We have
\begin{equation}
C_{Dij} = \Gamma_{Dij} = 0,\quad i \neq j,\quad
C_{Dii}=-\frac{g_i}{\alpha_i},\quad \Gamma_{Dii}= - 2 g_i.
\label{eq:CDll}
\end{equation}
For $\psi_F$ we have
\begin{equation}
C_{Fij} = - \int_0^\infty \frac {g_i g_j e^{(\alpha_i+\alpha_j) \tau}}
{\sum_{l=1}^n g_l e^{-\alpha_l \tau}}d\tau,\quad \Gamma_{Fij} 
=(\alpha_i+\alpha_j) C_{Fij}
\label{eq:CFF}
\end{equation}
Consider relation \eqref{eq:e10.3cb}  in diagonal form.
Let $\textbf{d} = \textbf{R}^\top\textbf{e}$ where $\textbf{R}$ is the rotation matrix such
that $\textbf{R}^\top \textbf{C} \textbf{R}$ is a diagonal matrix. Then, \eqref{eq:e10.3cb} becomes
\begin{equation}
\psi(t) = \phi(t) + \frac{1}{2} \sum_{i=1}^n \beta_i d_i^2,
\label{eq:diagf1}
\end{equation}
where $d_i$ are the components of $\textbf{d}$ and $\beta_i$ are the eigenvalues
of $\textbf{C}$.

We take $n=4$, so that $\textbf{C}_f$ includes $\textbf{C}_m, \textbf{C}_{int1}, \textbf{C}_{int2}$
and $\textbf{C}_M$ where $\textbf{C}_{int1}$ and $\textbf{C}_{int2}$ refer to two intermediate
free energies (see subsection \ref{s:edfmfe}). Also, let us choose
$\alpha_{\rm max}=0.5$ and $G_\infty = 0.1$ as in several of the figures.

It follows from  \eqref{eq:e10.3cb} that
\begin{equation}
\psi(t)-\psi_m(t)=\frac{1}{2}\textbf{e} \cdot\left[\textbf{C} - \textbf{C}_m\right ]\textbf{e},
\label{ee:diffpsi}
\end{equation}
where $\psi(t)$ is any one of the others free energies considered above.
This relation can be expressed in diagonal form, as in the case
of \eqref{eq:diagf1}, yielding
\begin{equation}
\psi(t)-\psi_m(t)=\frac{1}{2} \sum_{i=1}^n \beta_i d_i^2,
\label{eq:diagf2}
\end{equation}
where $d_i$ and $\beta_i$ are defined as before but in relation to the matrices
$[\textbf{C} - \textbf{C}_m]$.

On table \ref{t:1}, the eigenvalues of the various matrices $\textbf{C}$ and the
 differences $[\textbf{C} - \textbf{C}_m]$ are presented with the corresponding vectors
$\mathbf{d}$. These latter quantities are  calculated for sinusoidal histories,
as given by \eqref{A2.11al}, for $t = 0$. Note that the eigenvalues are
intrinsic properties of the matrices involved, for specified values of
$\alpha_{\rm max}$ and $G_\infty$, which  are independent of the history chosen,
while the vectors $\textbf{d}$ relate to a particular history, chosen for illustrative
purposes to be sinusoidal.

\begin{table}
\renewcommand{\arraystretch}{1.2}
\caption{Eigenvalues and the vectors $\textbf{d}$ for each free energy and difference
between free energies.}
\label{t:1}
\begin{center}
\begin{tabular}{|c|c|c|}
\hline
$\textbf{C}$ & $\beta_i,\;\; i=1,2,3,4$ & $d_i^2,\;\; i=1,2,3,4$ \\
\hline
$\textbf{C}_m$ & 5.2E-5,\;2.5E-3,\;3.6E-2,\;2.2E-1& 1.1E-3,\;2.2E-2,\;7.1E-2,\;13.3\\
$\textbf{C}_{\rm int1}$ & 1.4E-4,\;1.2E-2,\;2.3E-1,\;1.9& 2.9E-3,\;6.6E-2,\;13.3,\;2.5E-2\\
$\textbf{C}_{\rm int2}$ & 2.5E-3,\;2.25E-1,\;1.5,\;29.2& 2.7E-2,\;13.3,\;5.5E-2,\;1.1E-2\\
$\textbf{C}_p$ & 2.25E-1,\;1.1,\;9.9,\;175& 13.3,\;6.6E-2,\;2.6E-2,\;1.7E-3\\
$\textbf{C}_M$ & 2.25E-1,\;1.4,\;20.5,\;970& 13.3,\;7.1E-2,\;2.2E-2,\;1.1E-3\\
$\textbf{C}_D$ & 2.2E-1,\;2.2E-1,\;2.2E-1,\;2.2E-1& 3.1,\;3.7,\;4.0,\;2.6\\
$\textbf{C}_F$ & 3.3E-4,\;1.1E-2,\;9.9E-2,\;2.2E-1& 2.1E-3,\;2.8E-2,\;6.4E-2,\;13.3\\
\hline
$\textbf{C} - \textbf{C}_m$ & $\beta_i,\;\; i=1,2,3,4$ & $d^2_i,\;\; i=1,2,3,4$ \\
\hline
$\textbf{C}_{int1} - \textbf{C}_m$ & 0.0,\;0.0,\;0.0,\;1.8 & 11.2,\;9.3E-1,\;1.2,\;2.4E-2 \\
$\textbf{C}_{int2} - \textbf{C}_m$ & 0.0,\;0.0,\;1.4,\;29.2 & 3.0,\;10.3,\;5.5E-2,\;1.1E-2\\
$\textbf{C}_p - \textbf{C}_m$ & 0.0,\;1.1,\;9.9,\;172 & 13.3,\;6.6E-2,\;2.6E-2,\;1.7E-3 \\
$\textbf{C}_M - \textbf{C}_m$ & 0.0,\;1.4,\;20.5,\;970 & 13.3,\;7.1E-2,\;2.2E-2,\;1.1E-3\\
$\textbf{C}_F - \textbf{C}_m$ & 6.3E-2,\;8.6E-3,\;1.6E-8,\;2.6E-4 & 5.9E-2,\;3.2E-2,\;13.3,\;2.6E-3 \\
$\textbf{C}_D - \textbf{C}_m$ & 0.0,\;1.9E-1,\;2.2E-1,\;2.2E-1 & 13.3,\;7.1E-2,\;2.2E-2,\;1.1E-3 \\
\hline
\end{tabular}
\end{center}
\end{table}

All the eigenvalues on table  \ref{t:1} are positive, which is consistent
with the fact that all the matrices involved are positive. Those eigenvalues
indicated as zero on the second part of the table are in fact very small positive
numbers in the region $10^{-14}-10^{-18}$, which clearly cannot be stated with
any accuracy. Thus, $\textbf{C}_m$, $\textbf{C}_{int1}$, $\textbf{C}_F$ and several of the differences
in the lower part of the table are positive definite but very close to being
positive semi-definite.

In the top part of the table, the eigenvalues of the various matrices are
consistent with the ordering indicated by the plots. Strictly, however, one cannot
deduce that this must be the case in general because the $d_i^2$ will be different
in most cases.

Regarding the proximity of $\psi_m$ and $\psi_F$, we see that the dominant terms
in both cases are $13.3 \times 2.2E-1$, while the other terms are negligible
in comparison. However, because we include the $d_i^2$, this comparison refers
to sinusoidal histories, for which the graphical data already clearly shows that
the two quantities are very close. A more general argument, independent of the
history chosen, is that the eigenvalues of $\textbf{C}_F - \textbf{C}_m$ are all very small.
This is not quite conclusive in general in that we see from \eqref{eq:diagf2}
that if one or more of the $d_i^2$ for a particular history are large, then
this could perhaps compensate. However, the $d_i$ are constrained by the
requirement that $\textbf{d}\cdot\textbf{d} = \textbf{e}\cdot\textbf{e}$.

Somewhat similar arguments apply to $\textbf{C}_{int1}$ and $\textbf{C}_m$, which are indeed
close on the plots for some sinusoidal histories though not so markedly for
others and for exponential histories.

Also, it is clear that $\textbf{C}_D-\textbf{C}_m$ has reasonably small eigenvalues.
We deduce from \eqref{eq:esmsiexp}$_2$, \eqref{eq:se6.6} and \eqref{eq:gi} that,
for purposes of determining asymptotic behaviour, the $R_i^f$ can be treated
as linear in the inverse decay times $\alpha_k$, $k=1,2,\dots, n$.

It is clear both from figures \ref{fig10}, \ref{fig11} and the formulae in
section \ref{s:givhist} that, at small values of $\alpha_{\rm max}$, all the
averages of the free energy functionals (over cycles) approach $G_0$ except
for the Graffi-Volterra functional which tends to $2 G_0 - G_\infty$
(figure \ref{fig11} and \eqref{eq:GVsn}). This is connected with the fact
that $\psi_G(t)$ exceeds $\psi_M(t)$ for smaller values of $\alpha_{\rm max}$.
We refer again here to the comment before remark  \ref{r:transition}.

The magnitudes of free energies tend to decrease as $\alpha_{\rm max}$ increases,
though for larger $\psi(t)$, there is an increase followed by a decrease.
They do not go to zero at large $\alpha_{\rm max}$, which can be confirmed
from the relevant formulae in section  \ref{s:givhist}. The hump-shaped
curve for the rate of dissipation, shown on figure  \ref{fig12}, is
simply related to the loss modulus $\abs{G'_s(\omega_0)}$. Its maximum is
just above unity. It tends to zero, slowly, at large $\alpha_{\rm max}$.

For exponential histories (figures  \ref{fig13} -  \ref{fig16}) all free
energies decline in magnitude for increasing $\alpha_{\rm max}$.
All free energy functionals approach $0.5 G_0$ (figures \ref{fig13}
and \ref{fig15}) at small $\alpha_{\rm max}$. Also, on figures  \ref{fig14}
and \ref{fig16} for rates of dissipation, the hump-shaped curves are
again manifest, with maxima at positions that increase as the maximum
values increase. The rates of dissipation approach zero in all cases
as $\alpha_{\rm max}$ tends to zero. This is clear from the formulae in
section \ref{s:givhist} and figures \ref{fig14}, \ref{fig16}.
They fall to zero at large $\alpha_{\rm max}$, though slowly in some cases.

If $G_\infty$ is varied, keeping $\alpha_{\rm max}$ fixed, the plots are
simple straight lines for the model considered in this section.
These are omitted, though we now show how they can be determined
from existing data.

For sinusoidal histories, we see from section \ref{s:givhist} that all the
average free energies can be written as
\begin{equation}
\frac{\langle\psi(t)\rangle_{av}}{\abs{E_0}^2} = 1 + m_\psi(\alpha_i)G_1,
\label{eq:stlinav}
\end{equation}
where $G_1$ is given by \eqref{eq:G1v}. This quantity is more convenient
than $G_\infty$ for present purposes. For the dimensionless version of the theory,
 we have from \eqref{eq:G01} that $G_0 = 1$. In deducing \eqref{eq:stlinav} for
free energies given by \eqref{eq:e6.25Sshn}, it is important to note that,
because \eqref{eq:Gi} applies, the zeros $\gamma_i^2$, defined after \eqref{eq:e6.8dc},
depend only on the $\alpha_i$ and not on the coefficients $g_i$ in \eqref{eq:esmsiexp}.
The values of $\langle\psi(t)\rangle_{av}$ plotted on figures \ref{fig10}, \ref{fig11}
are for $G_1 = 0.225$. It follows that the slope $m(\alpha_i)$ is given by
\begin{equation}
m_\psi(\alpha_i) = \frac{1}{0.225} \Big[\frac{\langle\psi(t)\rangle_{av}}{G_0\abs{E_0}^2}
-1 \Big].
\label{eq:solvm}
\end{equation}
From sample calculations (or figures \ref{fig10}, \ref{fig11}),
it emerges that this quantity is negative for smaller free energies,
in particular the minimum free energy, and positive for larger choices,
notably the maximum free energy. Similarly, the average rate of dissipation
is given in all cases by
\begin{equation}
\frac{\langle D(t)\rangle_{av}}{G_0\abs{E_0}^2\omega_0} = m_D(\alpha_i)G_1,
\label{eq:stlinavD}
\end{equation}
where the slope $m_D(\alpha_i)$ can be deduced for any of the values of
$\frac{\langle D(t)\rangle_{av}}{G_0\abs{E_0}^2\omega_0}$ shown on figure \ref{fig12}
to be
\begin{equation}
m_D(\alpha_i) = \frac{1}{0.225}\frac{\langle D(t)\rangle_{av}}{G_0\abs{E_0}^2\omega_0}.
\label{eq:solvD}
\end{equation}
Note that $m_D(\alpha_i) \geq 0$, which relates to the fact that as $G_1$
increases (or $G_\infty$ decreases) the internal dissipation in the material
increases.

Corresponding observations apply to the free energies and rates of
dissipation given in section \ref{s:givhist} for exponential histories.
Notable differences from the above discussion are that $G_0$ is replaced
by $G_0/2$ (that is, the intercept becomes $0.5$) in \eqref{eq:stlinav}
and the slope $m_\psi$ is always negative, by virtue of
figures  \ref{fig13}, \ref{fig15}.

The Graffi-Volterra free energy for $n = 1$, the Day free energy and,
in the case of exponential histories, the work function for $n = 1$
are presented on figures \ref{fig17} - \ref{fig20}.
 We see that the Graffi-Volterra free energy exceeds the Day free energy
for both histories. For exponential histories, the dissipation rate is
less for the Graffi-Volterra case than for the Day case, in accordance with
remark \ref{r:order}.

On figure  \ref{fig21}, we explore, for exponential histories, the approach
of $\psi_M(t)$ to $W(t)$ as $n$ increases, or (see figure  \ref{fig1})
as the average spacing between the $\alpha_i$ decreases. The quantity $R_\psi$
of \eqref{eq:ratios} is plotted. From figure  \ref{fig19}, it is clear
that for $n = 1$, this ratio is about $0.7$ for $\alpha = 0.5$ and $G_\infty = 0.1$.
If $n = 3$, the ratio has increased to in excess of $0.98$ for all the values shown.
For higher values of $n$, the ratios are in excess of $0.99$, so the approach
is very rapid.

\subsection*{Acknowledgments}
G. Amendola has been supported by the University of Pisa, 
M. Fabrizio by the University of Bologna, and both have been supported 
by the Italian ``Gruppo Nazionale di Fisica Matematica'' of 
``Istituto Nazionale di Alta Matematica'';
J. M. Golden has been supported by the Dublin Institute of Technology.


\begin{thebibliography}{10}


\bibitem{gennst} G. Amendola, M. Fabrizio, J. M. Golden;
\emph{Free energies in a general non-local theory of a material with memory},
Models and Methods in Applied Sciences 24 (2014), 1037-1090.

\bibitem{bsi}  G. Amendola,  M. Fabrizio, M. Golden;
\emph{Thermodynamics of Materials with Memory: Theory and Applications},
Springer, New York, 2012.

\bibitem{col0} B. D. Coleman;
\emph{Thermodynamics of materials with  memory}, Arch. Rational Mech. Anal.
\textbf{17} (1964), 1-45.

\bibitem{day3} W. A. Day;
\emph{The thermodynamics of materials with memory}, in \emph{Materials with Memory},
ed. D. Graffi, Liguori, Naples, 1979.

\bibitem{pir2} G. Del Piero, L. Deseri;
\emph{On the analytic expression of the free energy in linear viscoelasticity},
J. Elasticity \textbf{43} (1996), 247-278.

\bibitem{pir1} G. Del Piero, L. Deseri;
\emph{On the concepts of state and free energy in linear viscoelasticity},
Arch. Rational Mech. Anal. \textbf{138} (1997), 1-35.

\bibitem{des1} L. Deseri, G. Gentili, J. M. Golden;
\emph{An explicit formula for the minimum free energy in linear viscoelasticity},
J. Elasticity \textbf{54}  (1999), 141-185.

\bibitem{des6} L. Deseri, M. Fabrizio, J. M. Golden;
\emph{On the concept of a minimal state in viscoelasticity: new free energies
and applications to PDE$_S$}, Arch. Rational Mech. Anal. \textbf{181} (1) (2006),
43-96.

\bibitem{des3} L. Deseri,  J. M. Golden;
\emph{The minimum free energy for continuous spectrum materials}, SIAM J. Appl Math.
 \textbf{67} (2007), 869-892.

\bibitem{fab2} M. Fabrizio, A. Morro;
\emph{Mathematical Problems in Linear Viscoelasticity}, SIAM, Philadelphia, 1992.

\bibitem{fab7} M. Fabrizio, J. M. Golden;
 \emph{Maximum and minimum free energies for a linear viscoelastic material},
Quart. Appl. Math. \textbf{60} (2002), 341-381.

\bibitem{fab9} M. Fabrizio, G. Gentili, J. M. Golden;
\emph{Free energies for linear non-isothermal materials with memory},
Mathematical and Computer Modelling \textbf{39} (2004), 219-253.

\bibitem{fer1} J. D. Ferry;
 \emph{Viscoelastic Properties of Polymers}, 3rd edn, John Wiley, New York, 1980.

\bibitem{gen1} G. Gentili;
\emph{Maximum recoverable work, minimum free energy and state space in
linear viscoelasticity}, Quart. Appl. Math. \textbf{60} (2002), 153-182.

\bibitem{gol4} J. M. Golden;
\emph{A molecular theory of adhesive rubber friction},
 J. Phys. A \textbf{39} (2001) 53-70.

\bibitem{gol1} J. M. Golden;
 \emph{Free energies in the frequency domain: the scalar case},
Quart. Appl. Math. \textbf{58} (2000), 127-150.

\bibitem{gol5} J. M. Golden;
 \emph{A proposal concerning the physical rate of dissipation in materials
with memory}, Quart. Appl. Math. \textbf{63} (2005), 117-155.

\bibitem{golni} J. M. Golden;
\emph{A proposal concerning the physical rate of dissipation of materials
with memory: the non-isothermal case}, Mathematics and Mechanics of Solids
\textbf{12} (4) (2007), 403-449.

\bibitem{graf4} D. Graffi;
\emph{Sull'expressione analitica di alcune grandezze termodinamiche nei
materiali con memoria}, Rend. Sem. Mat. Univ. Padova \textbf{68} (1982), 17-29.

\bibitem{graf2} D. Graffi, M. Fabrizio;
\emph{Sulla nozione di stato materiali viscoelastici di tipo 'rate'},
 Atti della Accademia Nazionale dei Lincei \textbf{83} (1990), 201-208.

\bibitem{graf5} D. Graffi;
\emph{Ancora sull'expressione analitica dell'energia libera nei materiali
con memoria}, Atti Acc. Scienze Torino  \textbf{120} (1986), 111-124.

\bibitem{nol1} W. Noll;
\emph{A new mathematical theory of simple materials}, Arch. Rational Mech.
Anal. \textbf{48} (1972), 1-50.

\end{thebibliography}

\newpage 

\begin{figure}[ht!]
\begin{center}
\includegraphics[width=0.7\textwidth]{fig2}
\end{center}
\caption{Minimum, maximum and intermediate free energies}
  \label{fig2}
\end{figure}

\begin{figure}[ht!]\begin{center}
\includegraphics[width=0.7\textwidth]{fig3}
\end{center}
\caption{Rates of dissipation relating to the free energies on figure \ref{fig2}}
  \label{fig3}
\end{figure}

\newpage

\begin{figure}[ht!] \begin{center}
\includegraphics[width=0.7\textwidth]{fig4}
\end{center}
\caption{Free energies as listed}
  \label{fig4}
\end{figure}

\begin{figure}[ht!] \begin{center}
\includegraphics[width=0.7\textwidth]{fig5}
\end{center}
\caption{Rates of dissipation relating to the free energies on figure \ref{fig4}}
  \label{fig5}
\end{figure}

\newpage

\begin{figure}[ht!] \begin{center}
\includegraphics[width=0.7\textwidth]{fig6}
\end{center}
\caption{Minimum, maximum and intermediate free energies}
  \label{fig6}
\end{figure}

\begin{figure}[ht!] \begin{center}
\includegraphics[width=0.7\textwidth]{fig7}
\end{center}
\caption{Rates of dissipation relating to the free energies on figure \ref{fig6}}
  \label{fig7}
\end{figure}

\newpage

\begin{figure}[ht!] \begin{center}
\includegraphics[width=0.7\textwidth]{fig8}
\end{center}
\caption{Free energies as listed}
  \label{fig8}
\end{figure}

\begin{figure}[ht!] \begin{center}
\includegraphics[width=0.7\textwidth]{fig9}
\end{center}
\caption{Rates of dissipation relating to the free energies on figure \ref{fig8}}
  \label{fig9}
\end{figure}

\newpage

\begin{figure}[ht!]\begin{center}
\includegraphics[width=0.7\textwidth]{fig10}
\end{center}
\caption{Minimum, maximum and intermediate free energies}
  \label{fig10}
\end{figure}

\begin{figure}[ht!] \begin{center}
\includegraphics[width=0.7\textwidth]{fig11}
\end{center}\caption{Free energies as listed}
  \label{fig11}
\end{figure}

\newpage

\begin{figure}[ht!]\begin{center}
\includegraphics[width=0.7\textwidth]{fig12}
\end{center}
\caption{Rate of dissipation relating to all free energies}
  \label{fig12}
\end{figure}

\begin{figure}[ht!]\begin{center}
\includegraphics[width=0.7\textwidth]{fig13}
\end{center}
\caption{Minimum, maximum and intermediate free energies}
  \label{fig13}
\end{figure}

\newpage

\begin{figure}[ht!]
\begin{center}
\includegraphics[width=0.7\textwidth]{fig14}
\end{center}
\caption{Rates of dissipation relating to the free energies on figure \ref{fig13}}
  \label{fig14}
\end{figure}

\begin{figure}[ht!] 
\begin{center}
\includegraphics[width=0.7\textwidth]{fig15}
\end{center}
\caption{Free energies as listed}
  \label{fig15}
\end{figure}

\newpage

\begin{figure}[ht!]
\begin{center}
\includegraphics[width=0.7\textwidth]{fig16}
\end{center}
\caption{Rates of dissipation relating to the free energies on figure \ref{fig15}}
  \label{fig16}
\end{figure}

\begin{figure}[ht!]
\begin{center}
\includegraphics[width=0.7\textwidth]{fig17}
\end{center}
\caption{Day and Graffi-Volterra free energies (n=1)}
  \label{fig17}
\end{figure}

\newpage

\begin{figure}[ht!]
\begin{center}
\includegraphics[width=0.7\textwidth]{fig18}
\end{center}
\caption{Day and Graffi-Volterra dissipation rates}
  \label{fig18}
\end{figure}

\begin{figure}[ht!] 
\begin{center}
\includegraphics[width=0.7\textwidth]{fig19}
\end{center}
\caption{Day and Graffi-Volterra free energies }
  \label{fig19}
\end{figure}

\newpage 

\begin{figure}[ht!]
\begin{center}
\includegraphics[width=0.7\textwidth]{fig20}
\end{center}
\caption{Day and Graffi-Volterra dissipation rates}
  \label{fig20}
\end{figure}

\begin{figure}[ht!] 
\begin{center}
\includegraphics[width=0.7\textwidth]{fig21}
\end{center}
\caption{Approach of $\psi_M$ to the work function $W(t)$}
  \label{fig21}
\end{figure}

\end{document}
