Abstract
Logistic versions of the heat balance integral and refined integral methods are introduced. A benchmark with a one-phase Stefan problem under constant and time-dependent boundary conditions shows remarkable accuracy at estimating temperature distribution and position of the moving front.
1. Introduction
In this paper, we introduce a logistic variant of the heat balance integral method (HBIM) and its refinement, the refined integral method (RIM) for the solution of a (1 + 1)-dimensional one-phase Stefan melting problem. The heat balance integral method (HBIM), was introduced and developed by Goodman to address transport problems in [1, 2]. Suppose the approximate solutions to an initial boundary value partial differential equation are sought. The method consists, roughly, of integrating the differential equation with respect to a spatial variable to create a heat integral, the assumption of a functional profile with certain undetermined coefficients (which satisfies the appropriate boundary and initial conditions), and calculation of both the undetermined coefficients and its solution.
The pliancy and accuracy of the method have encouraged various applications in literature; thermistor models [3, 4], approximation of temperature perturbation front in heat transfer [5, 6], approximate solutions to heat transfer problems under convective boundary conditions [7–9], and application in the modeling of thermal protection systems for space vehicles [10, 11], to mention a few.
The areas usually addressed in the refinement of the method are the structural (which involves the framework of the integral method, see, for instance, [12, 13]) and the prescriptive (which concerns suggesting effective approximate profile, for instance as in [14, 15]). This paper concerns the latter. Reviews of current trends and approaches regarding both the structural and prescriptive aspects of the integral method are given in the works by Hristov [15], Wood [16], Mitchell and Myers [17], and Sadoun [18] and references within.
It is known that the Gaussian variant by Mosally et al. [14] and Mitchell and Myers [17] is prescriptively one of the most accurate variants in current literature for obtaining approximate solutions of the (1+1)-dimensional one-phase Stefan melting problem. The choice of a Gaussian profile was largely motivated by (exponential) approximations of the error function [19, 20], which dominates the form of the solution of the classical -dimensional one-phase Stefan problem with boundary and initial conditions where is the dimensionless temperature, is the position of the moving front, and is the reciprocal of the Stefan number.
Our motivation differs slightly. It relies a bit on the geometry of the error function, which is sigmoid, and more on the fact that given limited resources, growth for many dynamical systems is better modeled by logistic functions rather than the exponential ones [21]. In this case, it should be noted that phase-change problems could be considered as dynamical systems wherein the phases are the competing species.
This paper is arranged as follows. Section 2 details the proposed logistic variants of the HBIM and RIM, their application to some (1 + 1)-dimensional Stefan problems, and comparison with the Gaussian HBIM, RIM and the Enthalpy methods as deemed necessary. Section 3 concludes the paper.
2. Logistic Integral Methods
The proposed logistic profile is as follows.
Logistic Heat Profile
such that
.
It is clear that satisfies the initial and boundary condition of (1.2) for given . It is also observed that
where is the polylogarithm function defined by
In the following, we give the logistic variants of the HBIM and RIM which, respectively, employ the framework of either the HBIM or RIM but adopt the logistic heat profile given by (2.1).
2.1. Logistic Heat Balance Integral Method (LHBIM)
The path taken here is that prescribed by Wood [16] as the most accurate and effective. It entails integrating (1.2) with respect to over the moving region 0 to : In evaluating the time differential of the heat integral (the right hand side of (2.4)), the Neumann boundary condition (1.3) is applied.
Evaluating (2.4) while employing the definition of yields from which But . Hence, Substituting the expression for in (2.6) establishes a relationship between the parameters and in time. The next sub-subsection considers the case wherein .
2.1.1. Boundary Condition
In this case, on fixing in (2.6) and (2.7), we have that
The approximate temperature profile and moving front position to (1.1) and (1.2) are, respectively, given by (2.1) and (2.8)evaluated at coordinates satisfying (2.8) for prescribed period . A contour plot of (2.8) that is, Figure 1, shows it has two solution branches. These are symmetrical about line and are essentially equivalent vis-a-vis the Stefan problem under consideration, see, for instance, Figure 2. Selected values at (for further computational use) are given in Table 1.
In order to have a fairly global sense of the strength of the LHBIM approximation, it is natural to gauge the error in the temperature approximations in the norm sense over (i.e., over the exact instantaneous moving front length by a time period , e.g.,) as where is an approximation. However, for computational convenience, we employ a -norm-type error estimate which, from the reverse triangle inequality, is less or equal to (2.9). Based on (2.10), error comparison (with the Gaussian HBIM) of temperature and moving front estimates obtained through the LHBIM for values are given, respectively, in Tables 2 and 3.
A graphical comparison, which gives a perspective of the temperature estimate errors relative to the Gaussian HBIM, is also given in Figures 3 and 4.
2.2. Logistic Refined Integral Method (LRIM)
The refined approach given by Sadoun et al. [12, 13] to the heat balance integral method is employed. Here and after, at the expense of abuse of notation, we shall drop and use instead. We integrate (1.2) twice to have leading to Applying (1.3)and (1.3)to (2.12), we obtain
Assuming the logistic profile for , (2.13) and the Stefan condition (1.3), respectively, yield Parameter (corresponding to specific s and ), and consequently approximate to (1.2) and (1.3) are evaluated from (2.14)and (2.14)
2.2.1. Boundary Condition
In this case, (2.14)and (2.14) give where .
The contour plot for (2.15) takes approximately the same shape as of the LHBIM: at the resolution of Figure 1, no difference in both is noticeable. However, selected values satisfying (2.15)for are given in Table 1. Plots and tables of error estimates in moving front and temperature estimates/approximations due to the LRIM (as well as comparison with other methods) are furnished in Tables 2 and 3 and Figures 3 and 4.
It is observed from these that the LRIM offers the best compromise in approximating the temperature profile and locating the moving front of the considered Stefan problem. In point of fact, the LRIM has the lowest temperature error and the lowest error at estimating the position of the moving front. Likewise worth noting is the fact that both logistic methods overpredict the location of the moving front (just like the Gaussian HBIM) in the constant boundary condition case.
2.3. Boundary Condition
In this subsection we will study the Stefan problem Equations (1.2) and (1.3), when the boundary condition is time-dependent in the form , for approximate location of its moving front. The LRIM will be employed as it is the most accurate in this regard (as observed from the constant boundary condition considerations of the previous subsection). The approach is similar to the constant boundary condition case.
The analytic solution to the one-phase Stefan problem with boundary condition and in the specific case wherein [22] is Setting in (2.14) and solving the resultant ordinary differential equation yield where is as defined in the appendix and connotes the real part of its argument. Further limiting equation (2.17) to the case yields A glimpse into the dependency in time , given by contour plot Figure 5, shows (2.17) has two solution branches which are symmetric about line . Selected lower branch coordinates, generated with the FindRoot command of the symbolic software Mathematica, are given in Table 4.
A comparison of obtained values (corresponding to lower branch coordinates listed in Table 4) with results from the enthalpy method [22], exponent-type hybrid refined integral method (ETRIM) [23] which employs a test profile of the form is detailed in Table 5. It is observed from Table 5 that even without discretization as in the Enthalpy method, the LRIM offers comparable results: it underpredicts the location of the moving front with an error of 0.0041 over when . This is expected to reduce as increases.
3. Conclusion
In this paper, motivated by both the geometry of the error function and the potency of the logistic function at modeling growth for dynamical systems, logistic variants of the HBIM and RIM have been proposed. The utility and precision of these methods are evinced in the lowest temperature estimates errors and moving front location errors incurred by heat integral methods in current literature for the (1 + 1)-dimensional Stefan melting problem. Compliance with time-dependent boundary conditions is shown with a suitable illustration. The approach given here promises to be applicable to other moving boundary problems, and it is supposed that an appropriate finite difference discretization in temporal and spatial coordinates will further improve its accuracy. Furthermore, the stability and convergence studies of such finite-difference schemes are potential areas of investigation.
Appendix A
Nomenclature
| : | Nondimensional time |
| : | Nondimensional spatial variable |
| : | Dimensionless temperature |
| : | Position of the moving front in time |
| : | Reciprocal of the Stefan number |
| : | Real parameters |
| : | Complex number field |
| : | Real part of |
| : | th polylogarithm of |
| : | Space of continuously differentiable functions defined on . |
Acknowledgment
O. P. Layeni holds an NRF SARChI postdoctoral fellowship at the University of Cape Town, funded through the South African Research Chair in Computational Mechanics.