1. Introduction
Fourier’s law is a fundamental phenomenological relation in the heat transfer theory that describes the heat conduction in solids and fluids. However, it is not applicable for modelling the heat transfer in ultrafast processes (e.g. during laser heating and cooling [
1]), on micro/nanoscales (e.g. heating of carbon nanotubes [
2]), in some complex media (e.g. heat conduction in biological tissues [
3] and materials with non-homogeneous inner structure [
4]) . For this reason, various linear and nonlinear generalizations of Fourier’s law have been proposed by many researchers through the past two centuries (see books [
5,
6,
7] and reviews [
8,
9,
10,
11]).
The thermal conductivity is a unique property of a material in Fourier’s law whereas non-Fourier models usually include several material thermal properties. For example, the frequently used dual-phase-lag (DPL) heat conduction model, proposed by Tzou [
12], incorporates the thermal conductivity, the thermal relaxation time and the thermal retardation. As a result, the possibility of using a non-Fourier model in real-world applications is based on an ability to obtain necessary thermal properties of a material. From the mathematical point of view, the problem of parameters estimation can be considered as an inverse coefficient problem which is usually ill-posed problem. Thus, the development of theoretical techniques for estimation of thermal properties in non-Fourier models is a challenging problem of mathematical modelling in the heat transfer theory.
The method of time integral characteristics (TIC) is an efficient technique for estimation of constant parameters in linear models. It was proposed by Shatalov [
13] at the end of last century for solving inverse coefficient problems of heat conduction theory. The method is based on integral transformation of the initial-boundary value problem for the considered linear model on the time variable and solving the corresponding inverse coefficient problem in the transformed space. The absence of necessity to perform the inverse integral transform is a main advantage of this method. Later, this method was extended to time-fractional diffusion models [
14,
15].
In this study, we focus on solving the problem of parameters estimation in a time-fractional generalization of DPL heat conduction model by the method of TIC. Such model allow us to take into account power-law memory thermal effects in a material by incorporating time derivatives of fractional orders (see, e.g., [
16,
17]) into the thermal constitutive relation. Thus, in this model the orders of fractional differentiation are additional parameters that also have to be estimated.
Time-fractional dual-phase-lag (TFDPL) model was proposed by Xu and Jiang [
18] to interpret the experiment results for processed meat. The Caputo time-fractional derivatives of two different orders are used in this model. The authors obtained analytical solution of the corresponding bioheat transfer equation and solved the inverse problem for estimation of model parameters by applying the nonlinear least-square method. The same model was used in [
19] for treating thermoelastic response of skin subjected to sudden temperature shock. In [
20], a fundamental solution of the TFDPL heat conduction problem was obtained. Also, a TFDPL model with a single order of fractional differentiation was considered by several scholars. In [
21], such a model was used for describing the heat conduction in a multi-layered spherical medium with azimuthal symmetry. In [
22], a similar model with temperature jump boundary condition was utilized for numerical simulation of heat transfer in transistors. Numerical schemes for solving several TFDPL heat conduction problems was proposed in [
23,
24].
However, it is necessary to note that in all papers mentioned above the considered TFDPL models have been obtained from the classical DPL model by formal replacing of the integer order time derivatives by their fractional analogues. In this paper we overcome this weakness by proposing the derivation of TFDPL model from a general linear constitutive relation for the heat transfer by conduction.
The paper is organized as follows.
Section 2 contains a brief description of the time integral characteristic method.
Section 3 is devoted to derivation of the TFDPL heat conduction model and corresponding non-Fourier heat conduction equation. A proposed semi-explicit algorithm for TFDPL model parameters estimation is described in
Section 4. An illustrative example of using this algorithm is presented in
Section 5.
2. Preliminaries
This section gives a brief description of the TIC method. This method was proposed for solving inverse problems of parameters estimation in linear evolution equations.
Let us illustrate the basic idea of the TIC method by a simple problem of the thermal diffusivity estimation. We consider the heat equation
Here
x and
t are spatial and temporal variables, respectively,
is the temperature field,
a is the thermal diffusivity. This equation is accompanied with the initial condition
the boundary conditions
and the additional internal condition
Here
,
are known functions. Then the inverse coefficient problem is stated as follows: given the initial boundary value problem (
1), (
2), (
3) and the additional condition (
4), find the constant thermal diffusivity
a.
The method of TIC is based on an integral transformation of the temperature field with respect to time. The Laplace transform
can be efficiently used for this purpose. The function
is referred to as a time integral characteristic of the temperature field
T at the point
.
The initial boundary value problem (
1), (
2), (
3) after Laplace transformation takes the form
and (
4) gives
In (
6), prime denotes differentiation with respect to
x.
The solution of (
6), (
7) is
Then, by using (
8), we find the following explicit representation of the thermal diffusivity via TICs of the temperature field:
A main advantage of the described technique is that there is no necessity to perform the inverse Laplace transform. If the temperature functions
and
are known exactly, the representation (
9) gives the exact value of
a for all permitted values of
p. However, in practice such functions are usually measured in an experiment with some errors. Then the Laplace parameter
p should be considered as a regularization parameter and its value should be chosen in agreement with experimental errors. The explicit representation (
9) permits to obtain a linear estimate of relative error for the thermal diffusivity as a function of
p (see [
13,
14,
15] for more details). The minimum of this function gives the optimal value of
p.
3. The time-fractional dual-phase-lag heat equation
A TFDPL heat conduction model can be obtained similarly to the time-fractional Zener model in the theory of linear fractional viscoelasticity [
25].
A general linear constitutive relation for the heat transfer by conduction in homogeneous and isotropic materials with memory is defined mathematically using a Riemann–Stieltjes integral as
Here is the heat flux vector, is the temperature gradient, and is the heat conduction relaxation function which does not depend on the spatial coordinate .
In accordance to the physical principle of causality, the relaxation function
is zero for negative time. Hence, the constitutive relation (
10) takes the form
It is easy to see that this equation reduces to Fourier’s law if and where k is the thermal conductivity which is a constant in time.
Assuming that
and
are continuous functions, we can rewrite (
11) in a more convenient form
Let us now consider the case when the heat conduction relaxation function has the form
where
are constants and
is the Mittag-Leffler function (see, e.g., [
17]). This function has the known property
i.e. it is invariant with respect to the left-sided Caputo fractional derivative of order
. This fractional derivative reads
Here
is the left-sided fractional integral operator of order
. Letting
in (
16), we obtain the Caputo fractional operator
for the whole axis
. Applying this operator to both sides of (
12), we get
We assume here that
is a <<sufficiently good>> function so that all integrals exist. Changing the order of integration in the last term of the above expression, we obtain
Substituting
given by (
13) into (
17), and using (
15), we have
On the other hand, the relation (
12) with (
13) takes the form
It is easy to see that integrals in the last terms of (
18) and (
19) coincide and therefore can be excluded. As a result, we obtain the time-fractional constitutive relation
Using the definition of the function
, this relation can be written as
Here is the thermal conductivity, is the fractional analogue of the thermal relaxation time (the so-called phase lag in the heat flux), and is the fractional analogue of the thermal retardation (the so-called temperature gradient phase lag).
The constitutive relation (
20) describes the heat conduction in a material with full power-law memory. This relation is invariant with respect to translation in time and therefore the time origin can be arbitrarily chosen.
Let us now assume that there is not heat transfer in a material for time
. Then the relation (
20) reduces to
Note that this relation is not invariant with respect to translation in time and the time origin is fixed in this case.
Now we can obtain TFDPL heat equation. The energy conservation law for a constant property material without heat sources can be written as
where
c is the specific heat and
is the density of material. Combining (
21) and (
22), after simple algebra, we get
where
is the thermal diffusivity. TFDPL heat equation (
22) models heat conduction in a material with power-law memory and constant temperature field for time
.
4. An Algorithm of TFDPL Model Parameters Estimation
Let us consider a one-dimensional case of TFDPL heat equation (
23) in a half space, namely
This is a time-fractional equation of order
and therefore two initial conditions are needed for its unique solvability. We take them in the form
where
is a constant initial temperature.
We will also assume that (
24) is accompanied by the boundary conditions
and by the additional internal condition
Here , are known functions.
We will consider the following inverse problem: given the initial boundary value problem (
24), (
25), (
26) and the additional condition (
27), find the constants
a,
,
,
. For solving this problem, the method of TIC can be efficiently used.
For convenience, we introduce a new function
. Then the problem (
24) –(
27) takes the form
Here the functions and are known.
The initial-boundary problem (
28), (
29), (
30) after Laplace transform can be written as
and (
31) gives
Here
denotes the Laplace transform of
which is defined by
In (
32), prime denotes differentiation with respect to x.
The solution of (
32), (
33) is
Using the additional condition (
34), we get the main equation for parameters estimation which can be written as
where
Note that the function is linear with respect to a, b, , and nonlinear with respect to .
As it was mentioned in Preliminaries section, the problem of finding the Laplace parameter
p arises if the functions
and
are not known exactly. In the method of TIC, the Laplace parameter
p is assumed to be real and positive. Therefore, it is naturally to assume that this parameter belongs to a finite interval
. A discussion of different approaches to estimation of
and
can be found in [
14,
15]. Then the considered inverse problem can be reduced to minimization problem
This is a classical problem of finding a minimum of four variables function f. The physical constraints are , , , and . In general, this problem can be solved numerically by using different optimization software.
However, explicit TIC representations for desired parameters can be obtained in a special case when the order of fractional differentiation
is known. Let us consider (
37) as unconstrained minimization problem. It is obvious that the function
f defined by (
37) is a quadratic function in three variables
a,
b and
. The necessary conditions for local optimality reads
These conditions give the system of linear equations
where
and
Note that the matrix A is symmetric.
Using Cramer’s rule, the solution of (
38) can be written in the explicit form
where
and
is the matrix formed by replacing the i-th column of
A by the column vector
B. Thus, the explicit representations (
39) permit to obtain the values of
a,
b and
for a given value of
.
The representations (
39) can also be used in the case of unknown
. Then we have
and obtain
where
In (
40), the parameters
a,
b and
are the functions of
which are defined by (
39). We thus obtain a single equation for
. The equation (
40) is nonlinear and quite complex. Therefore, it should be solved numerically.
As a result, we can state the following semi-explicit algorithm for parameters estimation in TFDPL heat conduction model:
It is necessary to note that the proposed algorithm is based on the unconstrained minimization problem. As a result, the order of fractional differentiation
which is obtained as the solution of (
40) is not necessary belong to the interval
. Then the constrained minimization problem mentioned above should be considered and solved numerically. Note that usually this situation arises when the initial functions
and
have quite large errors (usually more than 5 %).
The considered problem of parameters estimation belongs to the class of inverse coefficient problems. Hence, it is an ill-posed problem in most cases. In the proposed algorithm, the stabilization of solution is achieved by integration with respect to the Laplace parameter p. However, numerical experiments show that the solution is stable only if with . If , the determinant is close to zero and corresponding approximate solution is unstable. An additional regularization is needed in this case. For example, the Tikhonov regularization method can be used for this purpose.
5. An Example
To illustrate the above algorithm, let us consider the equation (
28) with
Three different values of fractional order are considered:
,
and
. The graphs of the function
defined by (
41) for these values of
are shown in
Figure 1.
Denote by
and
the exact and perturbed temperature fields, respectively. Let
where
is the upper error bound. Then it is easy to prove (see, e.g., [
13]) that
Thus, the error of is increased as the parameter p is decreased. The same is valid for the function .
To simulate experimental errors, we approximated the function
on the interval
by polynomials of different degrees with respect to a new dependent variable
The values of
and
were used in all numerical calculations. Also, we utilized the relative error as a metric of accuracy. For a quantity
q, it is defined by
where
and
are exact and perturbed values of
q, respectively.
Case 1: .
The following approximations of
were constructed:
The graphs of relative errors for these functions are plotted in
Figure 2. It can be seen that the maximum value of relative error is approximately equal to
for
,
for
, and
for
.
Table 1 contains the results of parameters estimation by using the explicit expressions given in (
39) for
and approximate functions
from (
42). Note that in this case
. It can be seen that the relative errors of
a and
b are of the same order of magnitude as the corresponding relative errors of functions
. The relative errors of
and
are also in good agreement with the relative errors of
and
. However, in the case of quite large initial error when the function
is used, the error level of
and
is highly increased.
Table 2 contains the results of parameters estimation for unknown
. In this case the equation (
40) was solved for each
(
). As can be seen from the table, the accuracy of
identification is highly depends on error of initial data. The same is valid for other parameters.
Case 2: .
The following approximations of
were obtained:
The graphs of relative errors for these functions are plotted in
Figure 3. The maximum value of relative error is approximately equal to
for
,
for
, and
for
.
The results of parameters estimation are given in
Table 3 for
, and in
Table 4 for initially unknown
. In general, the results of this case are close to previous one. However, the magnitudes of relative errors for estimated parameters are greater than those obtained previously. This is because
in this case.
Case 3: .
In this case, the following approximations of
were constructed:
The graphs of relative errors for the functions in (
44) are plotted in
Figure 4. The maximum value of relative error is approximately equal to
for
,
for
, and
for
.
Table 5 contains the results of parameters estimation by using (
39) for
and approximations (
44). In this case we found
and therefore the estimation results are highly sensitive to errors of initial data. It follows from the table that if we use
function having relative error at most
, the proposed algorithm does not permit to identify
with the chosen values of
and
. However, we obtained reasonable values of all desired parameters for the function
. This demonstrates the stability of the algorithm.
Finally,
Table 2 contains table 6 citatin, table 6 is not cited. the results of parameters estimation for unknown
. It can be seen from the table that in all cases we have a high level of error, especially for
.
Thus, we can conclude that the proposed algorithm permits to estimate the parameters of TFDPL model with a reasonable accuracy if with . For fixed values of and , decreasing of leads to decreasing of . Hence, the values of and should be chosen dependently on . Also, it should be pointed out that the parameters and are more sensitive to error level in initial data than a and .