On the stability of the exact solutions of the dual-phase lagging model of heat conduction

The dual-phase lagging (DPL) model has been considered as one of the most promising theoretical approaches to generalize the classical Fourier law for heat conduction involving short time and space scales. Its applicability, potential, equivalences, and possible drawbacks have been discussed in the current literature. In this study, the implications of solving the exact DPL model of heat conduction in a three-dimensional bounded domain solution are explored. Based on the principle of causality, it is shown that the temperature gradient must be always the cause and the heat flux must be the effect in the process of heat transfer under the dual-phase model. This fact establishes explicitly that the single- and DPL models with different physical origins are mathematically equivalent. In addition, taking into account the properties of the Lambert W function and by requiring that the temperature remains stable, in such a way that it does not go to infinity when the time increases, it is shown that the DPL model in its exact form cannot provide a general description of the heat conduction phenomena.


Introduction
Nanoscale heat transfer involves a highly complex process, as has been witnessed in the last years in which remarkable novel phenomena related to very short time and spatial scales, such as enhancement of thermal conductivity in nanofluids, granular materials, thin layers, and composite systems among others, have been reported [1][2][3][4][5]. The traditional approach to deal with these phenomena has been to use the Fourier heat transfer equation. This methodology has proven to be extensively useful in the analysis of heat transport in a great variety of physical systems, however, when applied to highly heterogeneous systems or when the time and space scale are very short, they show serious inconsistencies [6,7]. In order to understand the nanoscale heat transfer, a great diversity of novel theoretical approaches have been developed [3,5,7,8]. In particular, when analyzing two-phase systems, one of the simplest heat conduction models that considers the microstructure is known as the two-equation model [9,10], which has been developed writing the Fourier law of heat conduction [11] for each phase and performing a volume averaging procedure [9]. This model takes into account the porosity of the component phases as well as their interface effects by means of two coefficients [12]. Besides, it has been shown that the two-equation model is equivalent to the one-equation model known as the dual-phase lagging (DPL) model, in which the microstructural effects are taken into account by means of two time delays [3,10,[13][14][15]. DPL model have been proposed to surmount the well-known drawbacks of the Fourier law and the Cattaneo equation of heat conduction [7], and establishes that either the temperature gradient may precede the heat flux or the heat flux may precede the temperature gradient. Mathematically, this is written in the form where x is the position vector, t is the time, q [W · m −2 ] is the heat flux vector, T[K] is the absolute temperature, k[W.m -1 .K -1 ] is the thermal conductivity, ζ q is the phase lag of the heat flux, and ζ T is the phase lag of the temperature gradient. For the case of ζ q >ζ T , the heat flux (effect) established across the material is a result of the temperature gradient (cause); while for ζ q <ζ T , the heat flux (cause) induces the temperature gradient (effect). Notice that when ζ q = ζ T , the response between the temperature gradient and the heat flux is instantaneous and Equation 1 reduces to Fourier law except for a trivial shift in the time scale. In addition, note that for ζ T = 0; the DPL model reduces to the single-phase lagging (SPL) model [3]. The time delay ζ q is interpreted as the relaxation time due to the fast-transient effects of thermal inertia, while the phase lag ζ T represents the time required for the thermal activation in micro-scale [3]. For the case of composite materials, the phase lag ζ q takes into account the time delay due to contact thermal resistance among the particles, while ζ T is interpreted as the time required to establish the temperature gradient through the particles [12,16]. The lagging behavior in the transient process is caused by the finite time required for the microscopic interactions to take place. This time of response has been claimed to be in the range of a few nanoseconds in metals and up to the order of several seconds in granular matter [3]. In this last case, due to the low-conducting pores among the grains and their interface thermal resistance.
The thermal conductivity is an intrinsic property of each material which measures its ability for the transfer of heat and is determined by the kinetic properties of the energy carriers and the material microstructure [6,17]. Under the framework of Boltzmann kinetic theory [3,6], it can be shown that the thermal conductivity is directly proportional to the group velocity and mean free path of the energy carriers (electrons and phonons). These parameters depend strongly on the material temperature, due to the multiple scattering processes involved among energy carriers and defects, such as impurities, dislocations, and grain boundaries, [6,18]. Thus, in general; thermal conductivity exhibits complicated temperature dependence. However, in many cases of practical interest, the thermal conductivity can be considered independent of the temperature for a considerable range of operating temperatures [3,6,11]. Based on this fact and to keep our mathematical approach tractable, we assume that thermal conductivity is a temperature-independent parameter.
Phase lags represent the time parameters required by the material to start up the heat flux and temperature gradient, after a thermal excitation has been imposed; larger phase lags are expected in material with smaller thermal conductivities, as is the case of granular matter [3]. Materials, in which the temperature gradient phase lag dominates, show a strong attenuation of the neat heat flux. In this case, the behavior is dominated by parabolic terms of the heat transport equation. In contrast, materials in which the heat flux phase lag is dominant show a slight attenuation of the heat flux, implying that a hyperbolic Cattaneo-Vernotte heat propagation is present. For a further discussion of the relationship between thermal conductivity and phase lags, Tzou's book [3] is recommended.
It is convenient to take into account that the heat flux and temperature gradient shown in Equation 1 are the local responses within the medium. They must not be confused with the global quantities specified in the boundary conditions. When a heat flux (as a laser source) is applied to the boundary of a solid medium, the temperature gradient established within the medium can still precede the heat flux. The application of the heat flux at the boundary does not guarantee the precedence of the heat flux vector to the temperature gradient at all. In fact, whether the heat flux vector precedes the temperature gradient or not depends on the combined effects of the thermal loading and thermal properties of the materials, as was explained by Tzou [3]. In this way, the DPL model should provide a comprehensive treatment of the heterogeneous nature of composite media [3,13].
It has been shown that under the DPL model and in absence of internal heat sources, the temperature satisfies the following differential-difference equation [19][20][21][22]: where a[m 2 .s -1 ] is the thermal diffusivity of the medium, and ζ = ζ q -ζ T is the difference of the phase lags. Equation 2 shows explicitly that the DPL and SPL models, both in their exact form, are entirely equivalent, when ζ> 0(ζ q -ζ T ) [19].
The solutions of Equation 2 for some geometries have been explored [19][20][21][22]. In the time domain, Jordan et al. [19] and Quintanilla and Jordan [22] have shown that the SPL model, in its exact form, can lead to instabilities with respect to specific initial values. Additionally, in the frequency domain, using a modulated heat source, Ordonez-Miranda and Alvarado-Gil [21] have shown that the if the DPL model is valid, its applicability must be restricted to frequency-interval strips, which are determined only by the difference of the time delays ζ = ζ q -ζ T . These studies have pointed out that the usefulness of the Cattaneo-Vernotte and DPL exact models is limited.
In this study, by means of the method of separation of variables, the solution of Equation 2 is obtained in a bounded domain. It is shown that, for any kind of homogeneous boundary conditions, its solutions go to infinity in the long time domain. This explosive characteristic of the temperature predicted by Equation 2 indicates that the DPL model, in its exact form, cannot be considered as a valid model of heat conduction.

Mathematical formulation and solutions
The general solution of Equation 2 in a three-dimensional closed region of finite volume V and boundary surface ∂V is going to be obtained in this section. The initial-boundary value problem to be solved can be written as follows: where a and b are two constants and n is a unit normal vector pointing outward of the boundary surface ∂V. Note that the boundary conditions in Equation 3a imply the specification of the temperature and heat flux at ∂V and they reduce to the Dirichlet (Neumann) problem for b = 0 (a = 0) [5]. On the other hand, the initial condition is specified in the pre-interval [-ζ,0] to define the time derivative of the temperature in the interval [0, ζ]. This is a common characteristic of the delay differential equations, as Equation 3a [23]. In many common situations the initial history function T 0 ( x, t) may be considered as a constant.
According to the method of separation of variables, a solution of the form is proposed. After inserting Equation 4 into Equations 3a, b, it is obtained that where the integer subscript m = 1,2,3,... has been inserted in view that Equations 5a, b defined an eigenvalue (Sturm-Liouville) problem [5], and l m is the eigenvalue associated with the eigenfunction ψ m . As an example, in the case of one-dimensional heat conduction across a finite region 0 ≤x≤l, nine possible combinations of the boundary conditions given by Equation 5b can be found [5]. One of these combinations occurs when both surfaces x = 0 and x = l are insulated (dψ dx x=0 = dψ dx x=l = 0). After applying these particular boundary conditions to the solution of Equation 5a, it is found that its eigenvalues are determined by λ m = mπ l 2 . Similar results can be obtained for the other combinations of boundary conditions as well as for more complex geometries [5]. In general, all the eigenvalues are real and positive, and they go to infinity when m ∞ [5]. In this way, by the principle of superposition, the general solution of Equation 3a-c can be written as where Equation 5c can be solved assuming that P m (t) = exp(st) is its solution for some value of s. This provides the relationship s + αλ m e −sτ = 0, whose solutions can be expressed in a closed form by means of the Lambert W function as follows [24]: where r = 0,± 1,± 2,... indicates a specific branch of the complex-valued function W r . For y≠-e -1 , all the branches of W r (y) are different; while for y = -e -1 , the branches W -1 (y) = W 0 (y) = -1 and the others have different values among them. In this way, the general solution of Equation 5c is given by In this way, for -ζ≤t≤ 0 is satisfied. However, in practice the determination of the coefficients C m,r and D m,r by means of Equation 11 may be complicated. This can be avoided by solving Equation 5c using the Laplace transform method. After taking the Laplace transform of Equation 5c, and using Equation 11, it is obtained that in the Laplace domain, the function P m (s)≡L[P m (t)] is given by where B m (s)≡L[b m (t)] for the time domain -ζ≤t≤ 0. Using the complex inversion formula of the Laplace transform [5], it is obtained that where R[] stands for the residue of its argument. Given that the poles of Equation 12 are determined by equating to zero its denominator, these poles s r,m are determined by Equation 8. Note that all the poles are simple if aζl m ≠e -1 , and there is a double pole for aζl m = e -1 , at r = -1,0. In this way, after calculating the residues involved in Equation 13 and comparing Equations 9a, b with Equation 13 it is found that where the parameters s r,m are given by Equation 8 and the prime (') on B m indicates derivative with respect to its argument. For the particular case in which the initial history function does not depend on time, the coefficient b m = constant ≡b 0 and Equations 14a-d reduce to which agree with the previous results of Jordan et al. [19]. It is interesting to note that by requiring that P m (0) = b 0 in Equation 9a, the following property of the Lambert W function is obtained where y ≡ -aζl m . Using appropriate software, Equation 16 can be verified to be valid not only for the roots of Equation 7, but also for any value of y.

Analysis of the results
In this section, the time-dependent part of the temperature is going to be analyzed in two key points, as follows: • According to Equation 5c, the temporal rate of change of P m (t) (and therefore of the temperature) is determined by its value at the past (future), if ζ> 0 (ζ< 0). Based on the principle of causality, the future cannot determine the past, and therefore the DPL model in its exact form (Equation 1) must take into account the constraint ζ = ζ q -ζ T > 0. In this way, the DPL and SPL models are fully equivalent between them [3,5]. This fact is in strong contrast to the values of the phase lags, reported by Tzou [3]. By expanding both sides of Equation 1 in a Taylor series and considering a first-order approximation in the phase lags, this author found that ζ T = 100 ζ q for metals. This discrepancy with the causality principle indicates that the predictions of the DPL model in its approximate and exact forms may be remarkably different. This fact reveals that the small-phase lags can have great effects, as it has been shown in the theory of delayed differential equations [23].
• Based on Equation 9a and taking into account that the principle of causality demands that ζ> 0, as has been discussed in above, it can be observed that the temperature remains stable (finite) for large values of time, if the following condition is satisfied where Re[] stands for the real part of its argument. For y = π/2, Figure 1 shows that the larger real parts of W r (y) are given when r = -1,0. In general, after a graphical analysis of the Lambert W function, it can be concluded that max Re W r (y) = W 0 (y),∀ y ∈ [24]. Based on this result, Equation 17 can be replaced by Given that Re W 0 (y < −π 2) > 0,, Re W 0 (−π 2 < y < 0) < 0 and Re W 0 (y = −π 2) = 0 (see Figure 1), the inequality (18) is satisfied if and only if ατ λ m < π 2 , ∀m = 1, 2, 3, ...
which represent the stability condition of the temperature for long times.
Taking into account that l m ∞ for m ∞, it can be observed that the condition (19) cannot be satisfied for arbitrarily large values of m. The only way to solve this would be by imposing that m<m max , in such a way that ατ λ m max = π 2, however, under this restriction on the values of m, the initial condition could not be satisfied (Equation 10). In this way, it is concluded that the DPL model in its exact form establishes that the temperature increases without limit when the time grows, which is physically unacceptable. This divergent behavior of the temperature, in the DPL model at long times, is the direct consequence of having introduced the phase lags. Even though the effects of these parameters are obviously very important for short time scales, according to our results (see Equations 1 and 9a, b), the assumption of taking them as different from zero implies non-physical behavior at large time scales. Therefore, the DPL model, in its exact form, cannot be a valid formalism for heat conduction analysis in the complete time scale. It is expected that the correct model of heat conduction at both short and large scales could be derived from the Boltzmann transport equation under the relaxation time approximation [6].

Conclusions
By combining the methods of separation of variables and the Laplace transform, the exact solution of the DPL model of heat conduction in a three-dimensional bounded domain has been obtained and analyzed. According to the principle of causality, it has been shown that the temperature gradient must precede the heat flux. In addition, based on the properties of the Lambert W function, it has been shown that the DPL model predicts that the temperature increases without limit when the time goes to infinity. This unrealistic prediction indicates that the DPL model, in its exact form, does not provide a general description of the heat conduction phenomena for all time scales as had been previously proposed.
Authors' contributions JOM carried out the mathematical calculations, participated in the interpretations of the results and drafted the manuscript. JJAG conceived of the study, participated in the analysis of the results and improved the writing of the manuscript. All authors read and approved the final manuscript.