Unconditional Stability of a Numerical Method for the Dual-Phase-Lag Equation
The stability properties of a numerical method for the dual-phase-lag (DPL) equation are analyzed. The DPL equation has been increasingly used to model micro- and nanoscale heat conduction in engineering and bioheat transfer problems. A discretization method for the DPL equation that could yield efficient numerical solutions of 3D problems has been previously proposed, but its stability properties were only suggested by numerical experiments. In this work, the amplification matrix of the method is analyzed, and it is shown that its powers are uniformly bounded. As a result, the unconditional stability of the method is established.
Non-Fourier heat conduction models have been increasingly used in recent years to model a variety of engineering and biological heat transfer problems (see, e.g., [1–3] and references therein). The dual-phase-lag model (DPL) proposed by Tzou [4, 5] considers two phase-lags, , corresponding to the heat flux vector , and , corresponding to the temperature gradient , resulting in the non-Fourier heat conduction lawwhere and are the time and spatial coordinates and is the thermal conductivity.
Considering first-order approximations in the phase-lags in (1), in the absence of heat sources and in one dimension (1D), the combination of (1) with the conservation of energy principle leads to the DPL equationwhere is the thermal diffusivity and is the Laplace operator.
Analytical and numerical solutions for the DPL equation and other related DPL models derived from (1) for different specific problems and domains have been developed (e.g., [6–15]; see also references in [2, 3, 16]).
As pointed out in , in the case of numerical finite difference methods conditions on the stability of the proposed methods are not always completely established. McDonough et al.  proposed a numerical solution procedure for the DPL equation that could provide the base for an efficient numerical solver for 3D problems. However, only a partial analysis of the stability of the method was provided. As indicated by the authors, a von Neumann analysis had been conducted, though not reported in their paper, but it only provided necessary, but not sufficient, criteria for stability. Also, the authors reported that no stability problems were observed in a wide set of numerical experiments, but, as they acknowledged, the unconditional stability of their method was only suggested, but not established.
The aim of this note was to prove the unconditional stability of the finite difference method proposed in , which will be accomplished by analyzing its amplification matrix (e.g., [19, 20]). This type of von Neumann or Fourier stability analysis is directly valid for pure initial-value problems and for initial-boundary-value problems with periodic boundary conditions, and it can also be applied to general Dirichlet or Neumann boundary conditions by using appropriate periodic extensions, provided that consistent discretizations are used for the boundary conditions [21, Ch. 3].
In the next section we recall the method proposed in  and write the scheme in a form suitable for the posterior stability analysis, in the case where , letting the case for a particular simplified analysis. Next, we will obtain the amplification matrix corresponding to the scheme, showing that their powers are uniformly bounded, thus establishing the unconditional stability of the method. Finally, the main conclusions are summarized.
2. Finite Difference Scheme
The numerical solution procedure for the DPL equation proposed by McDonough et al.  consists in applying first trapezoidal integration to (2) and then using the following finite difference approximations: where and considering the spatial domain , with uniformly spaced grid points, so that and , and superscripts indicate time levels.
The resulting finite difference scheme is globally first-order accurate in time and second-order accurate in space. Assuming , the scheme can be written in the formwhere The case will be examined apart.
3. Unconditional Stability
stability of the three-level scheme (4) follows from the uniform boundedness in , for every for a fixed , of the powers of the amplification matrix ([19, p. 69], [20, p. 65]):whereFor scheme (4), the coefficients and are as follows: Therefore,Introducing the parameter , (8) take the formThus, writingone getsFinally, writingthe amplification matrix can be written in the simple form
We note the following bounds, which will be of use to obtain bounds on the eigenvalues of the amplification matrix. Since , it follows that . Also, from (10), it follows thatand, hence, Therefore, the following bounds for the parameters defined in (12) hold: Also, since , there is a fixed such that for every .
Next we compute the eigenvalues of the amplification matrix, as written in (13), whose characteristic equation is Thus, the eigenvalues of are given bywriting for + sign and for − sign. In the case where there are two complex conjugate eigenvalues and also when there is a double root, from (17) one has that , and, therefore, When there are two real different eigenvalues, that is, when , one has , and also it follows that , since and
Therefore, the following bound on the spectral radius of the amplification matrix holds:which shows that the scheme satisfies the von Neumann necessary condition for stability, as stated in . Moreover, it also holds that has at least one eigenvalue with modulus strictly lower than 1, which will be the complementary result used to prove the unconditional stability of the scheme.
We will next follow similar arguments to those used in [20, pp. 66–68]. First we note that the sum of the absolute values of the elements of the amplification matrix is bounded:Then, since is a matrix, there is a unitary matrix such that is the triangular matrixwhere Hence, stability of scheme (4) is equivalent to the uniform boundedness of the powers of the triangular matrix :where Since , it is only necessary to prove the boundedness of . When the eigenvalues are complex conjugate or real double, there is such that , so that
Also, when there are two different real eigenvalues, it holds that , and there is such that , so thatAs a consequence, the unconditional stability of the scheme is proved.
Remark 1. There are two especial cases of the DPL model that could be singled out. When , the DPL model reduces to the single-phase-lag (SPL) model [2, 22], and (2) reduces to the Cattaneo-Vernotte (CV) model [23, 24]. In the case where the two phase-lags are exactly the same, , there would be an instantaneous response between the temperature gradient and the heat flux, and (1) would be equivalent to the classical Fourier law, except for a shift in time. However, we note that, regarding the numerical scheme (4) and its stability properties, both especial cases are included in the general stability analysis presented above.
3.1. Particular Case
In this special case the method is a two-level scheme: so that the amplification matrix reduces to the amplification factor: wherewithThus, introducing the parameter , it is not difficult to get to the expressionsand from thisTherefore, the unconditional stability of the scheme in this special case is also proved.
The use of non-Fourier models of heat conduction in engineering problems requires the use of efficient methods to compute numerical solutions, and a basic condition for these numerical methods to be reliably employed is to be confident that they present good stability properties.
The numerical solution procedure for the DPL equation proposed by McDonough et al.  provided the base for an efficient numerical solver for higher dimension problems, but its stability properties were not firmly established.
In this note, by analyzing the amplification matrix of the scheme, we have provided a detailed proof showing that the method is indeed unconditionally stable, including its possible application to the particular case when .
As stressed in , the use of appropriate boundary conditions is a key issue in the modelling of non-Fourier heat conduction problems. The type of stability analysis presented in this work is valid for different type of boundary conditions, when they are consistently incorporated into the numerical scheme, and it can also provide correct results in a wide range of situations for nonperiodic boundary conditions [25, Ch. 10]. In micro- and nanoscale problems, mixed-type Robin boundary conditions are needed to account for temperature jump on boundaries [26, 27], and the incorporation of these types of boundary conditions might require a particular or complementary stability analysis.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
This work was partially funded by Grant GRE12-08 from University of Alicante.
D. Y. Tzou, Macro- to Microscale Heat Transfer: The Lagging Behavior, John Wiley & Sons, 2nd edition, 2014.
W. Dai and R. Nassar, “An unconditionally stable finite difference scheme for solving a 3D heat transport equation in a sub-microscale thin film,” Journal of Computational and Applied Mathematics, vol. 145, no. 1, pp. 247–260, 2002.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
H. Wang, W. Dai, R. Nassar, and R. Melnik, “A finite difference method for studying thermal deformation in a thin film exposed to ultrashort-pulsed lasers,” International Journal of Heat and Mass Transfer, vol. 49, no. 15-16, pp. 2712–2723, 2006.View at: Publisher Site | Google Scholar | Zentralblatt MATH
L. Wang, X. Zhou, and X. Wei, Heat Conduction: Mathematical Models and Analytical Solutions, Springer, 2008.
R. D. Richtmyer and K. W. Morton, Difference Methods for Initial-Value Problems, Interscience Tracts in Pure and Applied Mathematics, No. 4, Interscience Publishers, New York, NY, USA, 2nd edition, 1967.View at: MathSciNet
V. Thomée, Finite Difference Methods for Linear Parabolic Equations, Elsevier Science Publishers B.V. (North-Holland), 1990.
C. Cattaneo, “Sur une forme de l'équation de la chaleur éliminant le paradoxe d'une propagation instantanée,” Comptes Rendus de l'Académie des Sciences, vol. 247, pp. 431–433, 1958.View at: Google Scholar
P. Vernotte, “Les paradoxes de la theorie continue de l'équation de la chaleur,” Comptes Rendus de l'Académie des Sciences, vol. 246, pp. 3154–3155, 1958.View at: Google Scholar
C. Hirsch, Numerical Computation of Internal and External Flows. Volume 1: Fundamentals of Numerical Discretization, John Wiley & Sons, Chichester, UK, 1988.