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

by   Christa Cuchiero, et al.

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 proofs are based on a probabilistic reformulation recently considered in the literature. The first scheme is a version of the time-stepping scheme studied in V. Kaushansky, C. Reisinger, M. Shkolnikov, and Z. Q. Song, arXiv:2010.05281, 2020, but here the flux over the free boundary and its velocity are coupled implicitly. Moreover, we extend the analysis to more general driving processes than Brownian motion. The second scheme is a Donsker-type approximation, also interpretable as an implicit finite difference scheme, for which global convergence is shown under minor technical conditions. With stronger assumptions, which apply in cases without blow-ups, we obtain additionally a convergence rate arbitrarily close to 1/2. Our numerical results suggest that this rate also holds for less regular solutions, in contrast to explicit schemes, and allow a sharper resolution of the discontinuous free boundary in the blow-up regime.


page 1

page 2

page 3

page 4


A compact fourth-order implicit-explicit Runge-Kutta type scheme for numerical solution of the Kuramoto-Sivashinsky equation

This manuscript introduces a fourth-order Runge-Kutta based implicit-exp...

Convergence of a time-stepping scheme to the free boundary in the supercooled Stefan problem

The supercooled Stefan problem and its variants describe the freezing of...

Discrete Maximum principle of a high order finite difference scheme for a generalized Allen-Cahn equation

We consider solving a generalized Allen-Cahn equation coupled with a pas...

A superconvergent stencil-adaptive SBP-SAT finite difference scheme

A stencil-adaptive SBP-SAT finite difference scheme is shown to display ...

Second-order nonstandard finite difference schemes for a class of models in bioscience

We consider a dynamical system, defined by a system of autonomous differ...

Correction to: Convergent numerical approximation of the stochastic total variation flow

We correct two errors in our paper [4]. First error concerns the definit...

Please sign up or login with your details

Forgot password? Click here to reset