Implicit and fully discrete approximation of the supercooled Stefan problem in the presence of blow-ups

Christa Cuchiero, Christoph Reisinger, Stefan Rigger

We consider two implicit approximation schemes of the one-dimensional supercooled Stefan problem and prove their convergence, even in the presence of finite time blow-ups. All proo…