N. Calvo et al., Mathematical analysis of a stefan problem with Dirichlet-Signorini boundary conditions appearing in polythermic ice sheet modeling, J MATH ANAL, 262(2), 2001, pp. 577-600
In this paper, a Stefan problem from theoretical glaciology with Dirichlet-
Signorini boundary conditions is analyzed. The existence of a weak solution
for the nonlinear evolutive model is shown by using an implicit time discr
etization, an enthalpy regularization procedure, and a Galerkin-type method
. The main goal has been to adapt the previous techniques to the specific b
oundary conditions of the problem. (C) 2001 Academic Press.