This paper deals with the computational aspect of the investigation of the relaxation properties of viscoelastic materials. The constitutive fractional Zener model is considered under continuous deformation with a jump at the origin. The analytical solution of this equation is obtained by the Laplace transform method. It is derived in a closed form in the terms of the Mittag-Leffler function. The method of numerical evaluation of the Mittag-Leffler function for arbitrary negative arguments which corresponds to physically meaningful interpretation is demonstrated. A numerical example is given to illustrate the effectiveness of this result.
1 Introduction
The concept of fractional-order differentiation and integration is not new in mathematics. Its history is quite long and was initiated at least in the late seventeenth century. According to the research conducted in [1], de l’Hospital and Leibnitz considered differential operators with non-integral order in their correspondence dated 30 September 1695. The nineteenth century was a period of intense prosperity for the theory of fractional derivatives. The series of papers (1832–1892) published by Liouville and Riemann gave a solid foundation in fractional calculus. Over the next century, many mathematicians, physicists and engineers, motivated by the needs of industrial problems, were developing the theory of fractional derivatives in the context of their applications. It has been proven immediately that the fractional derivative is a significant tool applicable in many areas including diffusive transport, fluid flow and especially in rheology, where fractional derivative models are effective to describe the dynamic behaviour of real viscoelastic materials [2‐11].
The theory of viscoelasticity is crucial in describing materials, such as rubber or polymers, which exhibit time-dependent stress–strain behaviour. In many industry applications, like tyres, shock absorbers or other rubber components, a reliable constitutive equation must be established in order to describe all the relevant effects in the material response under small harmonic vibrations. The classical model of finite viscoelasticity is based on a finite series of Maxwell elements in parallel, which leads to a relaxation function given by a sum of decreasing exponentials (Prony series) (see [12]). Experimental investigations into the time-dependent relaxation behaviour of such materials are characterised by a very fast decrease of the stress at the beginning of the relaxation process and an extremely slow decay for large times. It can even take a long time before a constant asymptotic value is reached. Therefore, a lot of Maxwell elements are required to describe relaxation behaviour with sufficient accuracy. This ends in a difficult optimisation problem in order to identify a large number of material parameters. On the other hand, over the years, the concept of fractional derivatives has been introduced to the theory of viscoelasticity [13‐16]. Among these models, the fractional Zener model was found to be very effective to predict the dynamic nature of rubber-like materials with only a small number of material parameters [17‐20]. The solution of the corresponding constitutive equation leads to a relaxation function of the Mittag-Leffler type. It is defined by the power series with negative arguments. This function represents all essential properties of relaxation process under the influence of an arbitrary and continuous signal with a jump at the origin. However, from the numerical point of view, it is inconvenient to calculate the numerical values of the Mittag-Leffler function for large negative arguments. Our motivation is to discuss and solve this computational difficulty against a background of physical and application interest.
Anzeige
The paper is organized in the following way. In the first part (Sect. 2), we recall the main properties of the Mittag-Leffler function and introduce the linear operators of fractional differentiation. In the second part (Sect. 3), we consider differential equation of fractional order, which model the constitutive relation for viscoelastic materials. For this equation, we derive its analytical solution by applying the technique of Laplace transforms. It is given in the terms of the Mittag-Leffler function. We present the method of calculating numerical values of Mittag-Leffler function for arbitrary negative arguments, which is based on its integral representation. Finally, a numerical simulation is given to illustrate the effectiveness of the proposed approach. Section 4 contains some concluding remarks.
2 Preliminaries and notations
We start our considerations by introducing several special functions, fractional operators and their properties that will be useful in the second part of this work. Some definitions in this section are very common, and we write them just for reference. Others are far from being common but are still quite often used in the literature [1, 21, 22].
2.1 Laplace transform
Definition 2.1
Let \(f:\mathbb {R}_+\rightarrow \mathbb {R}\) be a locally integrable function on the interval \([0,\infty )\) and s be a complex number. If the improper integral
exists, then we call it the Laplace transform of f at s.
Definition 2.2
Let \(f:\mathbb {R}_+\rightarrow \mathbb {R}\) be a real function and suppose that \(F(s) = \mathcal {L}[f(t)](s)\) is well defined for some \(s = \gamma +\mathrm {i} \theta \). Then, we have
and it is called the inverse Laplace transform of F.
Property 2.1
Let f and g be any functions and \(c_1\) and \(c_2\) be any constants for which the needed operations are defined. Then, we can write the following properties of the Laplace transform
is the well known exponential function, the Mittag-Leffler function is also known as the fractional exponential function.
Theorem 2.1
Let \(E_{\alpha ,\beta }\) be the two-parameter Mittag-Leffler function for some \(\alpha >0\) and \(\beta >0\). The power series defining \(E_{\alpha ,\beta }(t)\) is convergent for all \(t\in \mathbb {R}\).
Theorem 2.2
Let \(\alpha >0\), \(\beta >0\) and \(t\in \mathbb {R}\). Then
for all complex numbers s satisfying the condition \(|a/s^{\alpha }|<1\).
2.3 Fractional derivatives
In the following subsection, we shall show the most popular definitions of the fractional-order derivative and describe their properties. We also present some similarities, differences and relations between them (see [1, 21, 22]). Let us start with the most popular definition of fractional derivative being a result of Liouville’s and Riemann’s work. It is based on a generalization of the Cauchy formula for n-fold integration. To be more precise, let f be a sufficiently regular function on the interval \([a,b]\subset \mathbb {R}\) and I denote the integral operator over [a, b]. The Cauchy integral formula is
for \(t\in [a,b]\) and \(n\in \mathbb {N}\). Replacing the factorial operator with the Gamma function, being its natural generalization, Liouville and Riemann have created an integral operator in the following form
is finite, then we call it the Riemann–Liouville fractional derivative with order \(\alpha \) of function f.
In 1967, an Italian mathematician Michele Caputo [23] gave a different definition of fractional derivative, which has turned to be very useful in industrial problems.
Definition 2.8
Let \(\alpha \) be an arbitrary real number in the interval (0, 1) and \(f\in C^1([a,b])\). Then for every \(t\in [a,b]\) there exists a finite value
which is called the Caputo fractional derivative with order \(\alpha \) of function f.
Let us investigate some basic properties of these differential operators of fractional order. First of all, we notice that Definitions 2.7 and 2.8 are consistent with the classical integer order derivative, i.e.
Let f, g be arbitrary functions and \(c_1\), \(c_2\), \(\alpha \), a be real constants for which the needed operations are defined. Then the linearity of the Riemann–Liouville and Caputo fractional derivatives can be expressed by
Let f be arbitrary functions and \(\alpha \) be a real constant for which the needed operations are defined. Then the Laplace transform of the Riemann–Liouville and Caputo fractional derivatives satisfy
Practical applicability of the Laplace transform of the Riemann–Liouville fractional derivative is limited by the absence of the physical interpretation of the limit values of fractional derivative at \(t=0\). Since there is no such problem in the case of Caputo fractional derivative, it can be useful for solving applied problems leading to linear fractional differential equations.
3 Fractional viscoelastic constitutive model
In this section, we present the application of fractional derivatives in the constitutive model of viscoelasticity. To be more precise, we formulate the Caputo type fractional differential constitutive equation and solve it, applying the Laplace transformation technique for an arbitrary signal with a jump at \(t=0\). Furthermore, we discuss the inconvenience of numerical calculations of the relaxation function derived in terms of the Mittag-Leffler function.
3.1 Generalized Zener model of viscoelastic materials
The fractional Zener model is the generalization of the well-known standard linear solid model consisting of an ideal elastic spring and Maxwell element connected in parallel. The qualitative behaviour of the conventional model is improved by replacing the integer order time derivatives of stress and with fractional-order derivatives. The constitutive equation for the fractional Zener model is
where \(\sigma \) is the stress, \(\varepsilon \) is the, \(A_0,\, B_0,\, B_1\) and \(\alpha \in (0,1)\) are material constants,-order and the \(\alpha \)-th-order fractional derivative is defined by the Caputo operator (2.16). This model has been proved to be efficient in describing the stress–strain relation of real viscoelastic materials.
3.2 Analytical solution of the fractional-order differential constitutive equation
Let us consider the viscoelastic material subjected to an imposed arbitrary continuous deformation \(\varepsilon (t)\) with a jump at \(t=0\). We assume that the stress is zero before the is loaded, i.e. the material is in equilibrium. According to the Boltzmann superposition principle in viscoelasticity, we can express the signal as the sum of constant \(\varepsilon _1\) and continuous \(\varepsilon _2\) functions (see Fig.1). Then, we have
where H denotes the Heaviside step function. Linearity of the constitutive equation (3.1) and linearity of the Caputo fractional operator (Property 2.2) allows us to measure the corresponding stress response which can be expressed as
where \(\sigma _1(t)\) and \(\sigma _2(t)\) are the stress histories corresponding to \(\varepsilon _1(t)\) and \(\varepsilon _2(t)\) seperately. Let us start with the equation
Since the only part of \(\varepsilon \) that is responsible for changes is \(\varepsilon _2\), we have \(\varepsilon '(t) = \varepsilon '_2(t)\) for \(t>0\). Then, we get the final stress–strain relationship on the basis of (3.6) and (3.9)
with parameter \(\mu _1=B_1-\mu _0\). The asymptotic behaviour of the Mittag-Leffler function for arbitrary negative argument with \(0<\alpha <1\) can be described in the following way [12, 21]
for \(x\rightarrow +\infty \). Thus, it follows that the relaxation function G defined by (3.14) is able to represent physical properties of relaxation behaviour (i.e. a rapid decrease for small times and a very slow decay for large times) on the basis of only four material parameters \(A_0\), \(B_0\), \(B_1\) and \(\alpha \), which define the so-called continuous relaxation spectrum. The plots of G for different values of parameter \(\alpha \) are illustrated in Fig. 2. The function G has a finite value and a vertical tangent at \(t=0\). Its decrease becomes extremely slow for large values of t if \(\alpha \) is small. However, we have noticed computational difficulty in the numerical evaluation of the relaxation function (3.14) for large negative arguments. This problem arises as a result of summing series of terms with alternating signs using floating-point arithmetic. Therefore, we present another method of calculation for the Mittag-Leffler function, which is based on the continuous relaxation spectrum.
Fig. 2
Relaxation function G defined by (3.14) and plotted for parameters \(A_0=0.5\), \(\mu _1=8\) and different values of \(\alpha \)
×
3.3 Integral representation of the Mittag-Leffler function
The concept of a general relation between the complex modulus of a linear viscoelastic system and its spectrum is well-known in the literature. We follow [24] and relate the relaxation function G to the continuous relaxation spectrum h via
In practical applications, where the function G must be calculated numerically, it is more convenient to introduce the so-called cumulative relaxation spectrum:
which is monotonically an increasing function such that \(h_c(0)=0\) and \(h_c(\infty )<\infty \). Then, integrating by parts (3.17), we obtain an alternative representation of the relaxation function:
However, to take advantage of this formula, we have to first answer the question how to determine \(h_c\) corresponding to the fractional Zener model and its analytical solution (3.13), which specifies the one-dimensional stress–strain relation.
In order to describe the relaxation properties of viscoelastic material, the dynamical tests are performed in which the harmonic oscillations are applied to a material specimen, and the resulting stress is measured until a steady-state value is reached. It is common practice in engineering to use complex variables to present the harmonic response. To this end, we assume the complex harmonic function
where \(\omega \) is the angular frequency, \(\varDelta f\) is the amplitude and H is the Heaviside function. Applying the Caputo integral operator (2.16) and calculating the fractional derivative of the function f in the stationary case, i.e. for large values of t (for details see [1, 4, 22]), we have
which defines the so-called complex dynamic modulus for a stationary stress response. Taking into account the representation (3.17) of the relaxation function G and carrying out the integration with respect to the variable \(\tau \) yields
The formula (3.25) shows that the complex modulus \(G^{*}\) and relaxation spectrum h are related to each other. If a relaxation spectrum is given, the complex dynamic modulus is determined. On the other hand, we notice that the function \((G^{*}(i\omega )-\mu _0)/i\omega \) is the Stieltjes transformation of the relaxation spectrum h, i.e.
Assuming that h is an absolutely integrable function on [0, R], for every finite \(R>0\), one may calculate the inverse of the Stieltjes transformation using the formula
where v is a positive value for which the function h is defined. It is convenient to express the complex arguments \(-v\pm \mathrm {i}\xi \) in the form of the complex exponential functions
which can be used to compute the continuous relaxation spectrum if the complex dynamic modulus is known.
Moreover, bearing in mind (3.21) and inserting the harmonic deformation \(\overline{\varepsilon }\) in combination with the harmonic stress \(\overline{\sigma }\) into (3.1), we transform the fractional Zener model into the frequency domain. Thus, we obtain again the expression (3.23), where the complex dynamic modulus has a form
The formula (3.29) in combination with (3.30) can be applied to calculate the relaxation spectrum h of the function G given by the Mittag-Leffler function (3.14). We obtain
For further calculations, it is useful to consider the cumulative relaxation spectrum \(h_c\) given by (3.18). Then, analytical integration of function (3.32) yields the following formula
This result provides an interesting formula for the efficient numerical calculation of the Mittag-Leffler function \(E_{\alpha ,1}\) for large negative arguments. Indeed, in combination with (3.19) and (3.33), we can formulate the following corollary.
Corollary 3.1
Under the conditions \(x<0\) and \(0<\alpha <1\), the Mittag-Leffler function \(E_{\alpha ,1}\), which occurs as the relaxation function (3.14) in the analytical solution (3.13) of the fractional Zener model (3.1), has the integral representation
3.4 Numerical evaluation of the Mittag-Leffler function
In order to describe the relaxation behaviour of the viscoelastic constitutive model (3.1), we have to evaluate the Mittag-Leffler function \(E_{\alpha ,1}\) for arbitrary negative arguments with \(0<\alpha <1\). It can be represented either by formula (3.14) or (3.34). In each case, the computation of the Mittag-Leffler function with the prescribed accuracy \(\varepsilon >0\) is proved in the following theorems.
Theorem 3.1
Under the conditions \(x<0\), \(\left| x\right| <1\) and \(0<\alpha <1\), the Mittag-Leffler function \(E_{\alpha ,1}\) can be computed with accuracy \(\varepsilon >0\) by the formula
Under the conditions \(x<0\) and \(0<\alpha <1\), the Mittag-Leffler function \(E_{\alpha ,1}\) can be computed with accuracy \(\varepsilon >0\) by the formula
and the need to ensure the positive value of parameter m. \(\square \)
From a practical and applicable point of view, we distinguish two cases for the numerical computation of \(E_{\alpha ,1}(x)\) with the prescribed accuracy \(\varepsilon >0\):
(i)
\(x<0\), \(\left| x\right| \le q<1\),
(ii)
\(x<0\), \(\left| x\right| > q\), \(q<1\),
where q is a fixed number. In case (i), we apply the series (3.35), whereas in case (ii), we use the integral representation (3.40). Since the number of terms in the sum of formula (3.35) in Theorem 3.1 depends on x, it is recommended to take a number q not very close to 1. Indeed, on the basis of (3.36), we can notice that the smaller value of q is taken, the smaller number of terms N is used in formula (3.35).
Fig. 3
Relaxation function G defined by (3.14) (Mittag-Leffler function \(E_{\alpha ,1}\)) and evaluated according to (3.35) and (3.40) for parameters \(q=0.8\), \(A_0=0.5\), \(\mu _1=8\), different values of \(\alpha \) and accuracy \(\varepsilon =2.2204 \times 10^{-16}\)
Table 1
Number of terms N in the numerical evaluation of the function G using formula (3.35) with parameters \(q=0.8\), \(A_0=0.5\), \(\mu _1=8\), \(\alpha =0.1\) and accuracy \(\varepsilon =2.2204 \times 10^{-16}\)
t
\(10^{-5}\)
\(10^{-4}\)
\(10^{-3}\)
\(10^{-2}\)
\(10^{-1}\)
1
10
100
\(x=|-A_0 t^{\alpha }|\)
0.1581
0.1991
0.2506
0.3155
0.3972
0.5
0.6295
0.7924
N
19
22
26
31
39
52
80
161
×
Using the above approach, we can quite easily evaluate the value of the relaxation function G given by the relation
Defining \(T=\left( q/A_0\right) ^{1/\alpha }\) for given \(q<1\), the Mittag-Leffler function is numerically calculated by formula (3.35) for \(0<t\le T\) and (3.40) for \(t>T\), respectively. Our numerical results for arbitrary values of t, with parameters \(q=0.8\), \(A_0=0.5\), \(\mu _1=8\), different values of \(\alpha \) and accuracy \(\varepsilon =2.2204 \times 10^{-16}\) (\(=\) machine epsilon), are plotted in Fig. 3. We have produced them using the programming software Matlab. Moreover, the illustrative values of N corresponding to given times t (and \(x=|-A_0 t^{\alpha }|\)) are placed in Table 1.
4 Conclusions
In this paper, we present the computational aspects of the investigation of relaxation properties of viscoelastic materials. The constitutive Zener model is formulated by means of fractional-order derivatives and subjected to arbitrary and continuous signals with a jump at the origin. The corresponding relaxation function is described by the Mittag-Leffler function in terms of a power series. The relaxation function is defined for negative arguments and preserves stretched exponential behaviour in time. For the numerical point of view, the computational problem arises during numerical evaluation of this function for large negative arguments. We propose a method which allows us to avoid this difficulty. Our approach is based on the integral representation of the Mittag-Leffler function which is easier to handle numerically in such a case. The appropriate formulas for numerical computation of the Mittag-Leffler function with the prescribed accuracy are proved. Finally, a numerical example is demonstrated to illustrate the effectiveness of the presented method.
Acknowledgements
Dr M. Niedziela is grateful to the Fraunhofer Society for granting a postdoc stipendium that enabled him to stay at the Fraunhofer Institute for Industrial Mathematics in Kaiserslautern to conduct this collaborative reaserch.
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.
