带对流的稳态Stefan问题的有限元逼近

关于带有对流情形的稳态Stefan问题,其中假设液相部分的流动由Stokes方程确定,Canon,DiBennedetto,Knightly曾作过理论研究.本文将讨论其有限元逼近问题,并且得到了在合理正则性假设下的误差估计.