1: \begin{abstract}
2: The technique of periodic homogenization with two-scale convergence is
3: applied to the analysis of a two-phase Stefan-type problem that arises
4: in the study of a periodic array of melting ice bars. For this
5: ``reduced model'' we prove results on existence, uniqueness and
6: convergence of the two-scale limit solution in the weak form, which
7: requires solving a macroscale problem for the global temperature field
8: and a reference cell problem at each point in space which captures the
9: underlying phase change process occurring on the microscale. We state
10: a corresponding strong formulation of the limit problem and use it to
11: design an efficient numerical solution algorithm. The same
12: homogenized temperature equations are then applied to solve a much
13: more complicated problem involving multi-phase flow and heat transport
14: in trees, where the sap is present in both frozen and liquid forms and
15: a third gas phase is also present. Our homogenization approach has
16: the advantage that the global temperature field is a solution of the
17: same reduced model equations, while all the remaining physics are
18: relegated to the reference cell problem. Numerical simulations are
19: performed to validate our results and draw conclusions regarding the
20: phenomenon known as sap exudation, which is of great importance in
21: sugar maple trees and few other related species.
22: \end{abstract}
23: