自由边界的凸性和解析性

本文讨论了具有两条自由边界的一相Stefan问题的自由边界的性质。我们证明了这两条自由边界关于t是解析的。在对初始数据所作的某些假设下,我们还证明了自由边界的凹凸性不依赖于其解析性,以及其中一条自由边界是凸的,另一条自由边界是凹的。