A Stefan problem modelling crystal dissolution and precipitation

A simple 1D model for crystal dissolution and precipitation is presented. The model equations resemble a one-phase Stefan problem and involve non-linear and multivalued exchange rates at the free boundary. The original equations are formulated on a variable domain. By transforming the model to a fixed domain and applying a regularization, we prove the existence and uniqueness of a solution. The paper is concluded by numerical simulations.