<正> 本文考虑二相Stefan问题■在[1]中我们在对边值和初值作了某些单调性的假设下,证明了 Stefan 问题(1)—(9)的古典解在大区域的存在性,且相截面 h(t)是 t 的连续可微单调增函数.文中的关键在于构成了一串逐段连续可微单调增加的近似相截面 h_n(t),从此应用辅助函数证明了相应的近似解 u_i~(n)(x,t)(i=1,2)对 x 的微商有与 n 无关的一致估计.但在一般的二相Stefan 问题中,由于相截面 h(t)不一定是单调的(这一点正是与一相 Stefan 问题(见[2])