Abstract
The dualphase 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 threedimensional 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 dualphase 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 [15]. 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 twophase systems, one of the simplest heat conduction models that considers the microstructure is known as the twoequation 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 twoequation model is equivalent to the oneequation model known as the dualphase lagging (DPL) model, in which the microstructural effects are taken into account by means of two time delays [3,10,1315]. DPL model have been proposed to surmount the wellknown 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 is the position vector, t is the time, 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 singlephase lagging (SPL) model [3]. The time delay ͌_{q }is interpreted as the relaxation time due to the fasttransient effects of thermal inertia, while the phase lag ͌_{T }represents the time required for the thermal activation in microscale [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 lowconducting 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 temperatureindependent 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 CattaneoVernotte 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 differentialdifference equation [1922]:
where α[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 [1922]. 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, OrdonezMiranda and AlvaradoGil [21] have shown that the if the DPL model is valid, its applicability must be restricted to frequencyinterval strips, which are determined only by the difference of the time delays ͌ = ͌_{q}͌_{T}. These studies have pointed out that the usefulness of the CattaneoVernotte 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 threedimensional closed region of finite volume V and boundary surface ∂V is going to be obtained in this section. The initialboundary value problem to be solved can be written as follows:
where a and b are two constants and 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 preinterval [͌,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 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 (SturmLiouville) problem [5], and λ_{m }is the eigenvalue associated with the eigenfunction ψ_{m}. As an example, in the case of onedimensional 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 (). After applying these particular boundary conditions to the solution of Equation 5a, it is found that its eigenvalues are determined by . 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 3ac 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
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 complexvalued 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
where α͌λ_{M }= e^{1 }and the constants C_{m,r }and D_{m,r }can be determined by expanding Equation 3c in terms of the orthogonal set of eigenfunctions {ψ_{m}} as follows:
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 α͌λ_{m}≠e^{1}, and there is a double pole for α͌λ_{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 14ad 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 ≡ α͌λ_{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 timedependent 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 firstorder 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 smallphase 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 [24]. Based on this result, Equation 17 can be replaced by
Figure 1. Distribution of the imaginary values of W_{r}(y) with respect to its real values, at y = π/2.
Given that , and (see Figure 1), the inequality (18) is satisfied if and only if
which represent the stability condition of the temperature for long times.
Taking into account that λ_{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 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 nonphysical 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 threedimensional 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.
Abbreviations
DPL: dualphase lagging; SPL: singlephase lagging.
Competing interests
The authors declare that they have no competing interests.
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.
References

Siemens ME, Li Q, Yang R, Nelson KA, Anderson EH, Murnane MM, Kapteyn HC: Quasiballistic thermal transport from nanoscale interfaces observed using ultrafast coherent soft Xray beams.
Nat Mater 2020, 9:2630. Publisher Full Text

Das SK, Choi SUS, Yu W, Pradeep T: Nanofluids Science and Technology. Hoboken, NJ: Wiley; 2008.

Tzou DY: Macro to Microscale Heat Transfer: The Lagging Behavior. New York,: Taylor and Francis; 1997.

Vadasz JJ, Govender S, Vadasz P: Heat transfer enhancement in nanofluids suspensions: possible mechanisms and explanations.
Int J Heat Mass Transf 2005, 48:26732683. Publisher Full Text

Wang L, Zhou X, Wei X: Heat Conduction: Mathematical Models and Analytical Solutions. Berlin, Heidelberg: Springer; 2008.

Chen G: Nanoscale Energy Transport and Conversion: A Parallel Treatment Of Electrons, Molecules, Phonons, and Photons. Oxford, New York: Oxford University Press; 2005.

Joseph DD, Preziosi L: Heat waves.
Rev Modern Phys 1989, 61:4173. Publisher Full Text

Chen G: BallisticDiffusive Equations for Transient Heat Conduction from Nano to Macroscales.
J Heat Transf Trans ASME 2002, 124:320328. Publisher Full Text

Quintard M, Whitaker S: Transport in ordered and disordered porousmediavolumeaveraged equations, closure problems, and comparison with experiment.
Chem Eng Sci 1993, 48:25372564. Publisher Full Text

Wang LQ, Wei XH: Equivalence between dualphaselagging and twophasesystem heat conduction processes.
Int J Heat Mass Transf 2008, 51:17511756. Publisher Full Text

Carslaw HS, Jaeger JC: Conduction of Heat in Solids. London: Oxford University Press; 1959.

OrdóñezMiranda J, AlvaradoGil J: Thermal characterization of granular materials using a thermalwave resonant cavity under the dualphase lag model of heat conduction.

Tzou DY: Experimental support for the lagging behavior in heat propagation.
J Thermophys Heat Transf 1995, 9:686693. Publisher Full Text

Tzou DY: A unified field approach for heatconduction from macroscales to microscales.
J Heat Transf Trans ASME 1995, 117:816. Publisher Full Text

Tzou DY: The generalized lagging response in smallscale and highrate heating.
Int J Heat Mass Transf 1995, 38:32313240. Publisher Full Text

Antaki PJ: New interpretation of nonFourier heat conduction in processed meat.
J Heat Transf Trans ASME 2005, 127:189193. Publisher Full Text

Kittel C: Introduction to Solid State Physics. New York: Wiley; 2005.

Callaway J: Model for lattice thermal conductivity at low temperatures.
Phys Rev 1959, 113:10461051. Publisher Full Text

Jordan PM, Dai W, Mickens RE: A note on the delayed heat equation: instability with respect to initial data.
Mech Res Commun 2008, 35:414420. Publisher Full Text

Kulish VV, Novozhilov VB: An integral equation for the duallag model of heat transfer.
J Heat Transf 2004, 126:805808. Publisher Full Text

OrdóñezMiranda J, AlvaradoGil JJ: Exact solution of the dualphaselag heat conduction model for a onedimensional system excited with a periodic heat source.

Quintanilla R, Jordan PM: A note on the two temperature theory with dualphaselag delay: some exact solutions.
Mech Res Commun 2009, 36:796803. Publisher Full Text

Asl FM, Ulsoy AG: Analysis of a system of linear delay differential equations.
J Dyn Syst Meas Control Trans ASME 2003, 125:215223. Publisher Full Text

Corless RM, Gonnet GH, Hare DEG, Jeffrey DJ, Knuth DE:
On the Lambert W function. Adv Comput Math. 1996, 5:329359.