In this work, Boltzmann transform has been used to analyze the problem of freezing of pure Aluminum in semi-infinite domain. The uniqueness of solution (solidification front location) has been proved using the characteristics of the functions appeared in solution. The effect of density change on temperature distribution and errors resulting from ignoring this change have been investigated. The ...