We consider the Stefan problem, firstly with regular data and secondly with irregular data. In both cases is given a proof for the convergence of an approximation obtained by regularising the problem. These proofs are based on weak formulations and on compactness results in some Sobolev spaces with negative exponents.

翻译：我们考虑Stefan问题,首先是常规数据,其次是非常规数据。 在这两种情况下,都证明通过对问题进行常规化获得的近似值的趋同性。 这些证据基于虚弱的配方和紧凑性结果,在某些有负指数的索博列夫空间产生负指数。