Disappearance of phase in the Stefan problem: one space dimension

We consider the two-phase one-dimensional Stefan problem in a finite interval, with initial and boundary conditions such that the solid phase vanishes at a finite time T and at a single point. We show that the temperature in the solid phase decreases to zero and is bounded by c exp (α/(t − T)) as extinction approaches (C, α > 0) and that phase boundaries at extinction have finite speeds.