Mathematical and numerical basis of binary alloy solidification models with substitute thermal capacity. Part 1

The presented work is focused on the basis of mathematical and numerical descriptions of the binary alloy solidification problem. The mathematical formulation is based on the so-called substitute thermal capacity, which implies a change in the specific heat of solidifying material. In the literature one can find many ways to define this parameter. Five models, differing in the description of the substitute thermal capacity as well as the numerical model using the finite element method (FEM) are considered.