On the Optimal Control of the Free Boundary Problems for the Second Order Parabolic Equations. I.Well-posedness and Convergence of the Method of Lines

TL;DR

This paper introduces a variational optimal control approach to solve inverse Stefan problems with unknown phase transition temperature, proving well-posedness and convergence of the numerical method.

Contribution

It develops a new variational formulation and iterative numerical methods for inverse free boundary problems, handling unknown phase transition temperatures and measurement errors.

Findings

Proves well-posedness in Sobolev spaces.

Establishes convergence of discrete control problems.

Develops computationally efficient iterative methods.

Abstract

We develop a new variational formulation of the inverse Stefan problem, where information on the heat flux on the fixed boundary is missing and must be found along with the temperature and free boundary. We employ optimal control framework, where boundary heat flux and free boundary are components of the control vector, and optimality criteria consists of the minimization of the sum of $L_2$-norm declinations from the available measurement of the temperature flux on the fixed boundary and available information on the phase transition temperature on the free boundary. This approach allows one to tackle situations when the phase transition temperature is not known explicitly, and is available through measurement with possible error. It also allows for the development of iterative numerical methods of least computational cost due to the fact that for every given control vector, the parabolic PDE is solved in a fixed region instead of full free boundary problem. We prove well-posedness in Sobolev spaces framework and convergence of discrete optimal control problems to the original problem both with respect to cost functional and control.