Date of Award


Document Type


Degree Name

Master of Science (MS)


Mathematical Sciences

First Advisor

Ugur Abdulla

Second Advisor

Jay Kovats

Third Advisor

Jim Jones

Fourth Advisor

Martin Glicksman


We consider inverse multiphase Stefan problem, where information on the heat flux on the fixed boundary is missing and must be found along with the temperature and free boundaries. Optimal control framework is pursued, where boundary heat flux is the control, and optimality criteria consists of the minimization of the L₂-norm declination of the trace of the solution to the Stefan problem from the temperature measurement on the fixed boundary. State vector solves multiphase Stefan problem in a weak formulation, which is equivalent to Neumann problem for the quasilinear parabolic PDE with discontinuous coefficient. Full discretization through finite differences is implemented and discrete optimal control problem is introduced. We prove wellposedness in Sobolev spaces framework and convergence of discrete optimal control problems to the original problem both with respect to cost functional and control. Along the way the convergence of the method of finite differences for the weak solution of the multiphase Stefan problem is proved. The proof is based on the proof of uniform L∞ bound, and W₂¹.¹-energy estimate for the discrete multiphase Stefan problem.