Remarks on the control of two-phase Stefan free-boundary problems

Abstract

This paper concerns the null controllability of the two-phase 1D Stefan problemwith distributed controls. This is a free-boundary problem that models solidification or meltingprocesses. In each phase, a parabolic equation, completed with initial and boundary conditions,must be satisfied; the phases are separated by a phase change interface, where an additional free-boundary condition is imposed (the so-called Stefan condition). We assume that two localized sourcesof heating/cooling controls act on the system (one in each phase). We prove the following local nullcontrollability result: the temperatures can be steered to zero and, simultaneously, the interface canbe steered to a prescribed location provided the initial data and the interface position are sufficientlyclose to the targets. The ingredients of the proofs are a compactness-uniqueness argument (whichgives appropriate observability estimates adapted to constraints) and a fixed-point formulation andresolution of the controllability problem (which gives the result for the nonlinear system). We alsoprove a negative result corresponding to the case where only one control acts on the system and theinterface does not collapse to the boundary.