Nonincrease of mushy region in a nonhomogeneous Stefan problem
Ivan G. Götz, Boris Zaltzman · Quarterly of Applied Mathematics · 1991
For an arbitrary bounded solution of the Stefan problem the mushy region is nonincreasing in time in a sense of the theory of sets. This result takes place for the nonhomogeneous Stefan problem under some conditions on the behavior of a heat source in the mushy region.