A semi-analytical benchmark for the Stefan problem in arbitrary dimension – assessing accuracy of enthalpy-based methods

This paper aims to propose a semi-analytical benchmarking framework for enthalpy-based methods used in problems involving phase change with latent heat. The benchmark is based on a class of semi-analytical solutions of spatially symmetric Stefan problems in an arbitrary spatial dimension. Via a public repository this study provides a finite element numerical code based on the FEniCS computational platform, which can be used to test and compare any method of choice with the (semi-)analytical solutions. As a particular demonstration, this paper uses the benchmark to test several standard temperature-based implementations of the enthalpy method and assesses their accuracy and stability with respect to the discretization parameters.

The class of spatially symmetric semi-analytical self-similar solutions to the Stefan problem is found for an arbitrary spatial dimension, connecting some of the known results in a unified manner, while providing the solutions’ existence and uniqueness. For two chosen standard semi-implicit temperature-based enthalpy methods, the numerical error assessment of the implementations is carried out in the finite element formulation of the problem. This paper compares the numerical approximations to the semi-analytical solutions and analyzes the influence of discretization parameters, as well as their interdependence. This study also compares accuracy of these methods with other traditional approach based on time-explicit treatment of the effective heat capacity with and without iterative correction.

This study shows that the quantitative comparison between the semi-analytical and numerical solutions of the symmetric Stefan problems can serve as a robust tool for identifying the optimal values of discretization parameters, both in terms of accuracy and stability. Moreover, this study concludes that, from the performance point of view, both of the semi-implicit implementations studied are equivalent, for optimal choice of discretization parameters, they outperform the effective heat capacity method with iterative correction in terms of accuracy, but, by contrast, they lose stability for subcritical thickness of the mushy region.

The proposed benchmark provides a versatile, accessible test bed for computational methods approximating multidimensional phase change problems. The supplemented numerical code can be directly used to test any method of choice against the semi-analytical solutions.

While the solutions of the symmetric Stefan problems for individual spatial dimensions can be found scattered across the literature, the unifying perspective on their derivation presented here has, to the best of the authors’ knowledge, been missing. The unified formulation in a general dimension can be used for the systematic construction of well-posed, reliable and genuinely multidimensional benchmark experiments.