Solving an inverse heat convection problem with an implicit forward operator by using a projected quasi-Newton method

We consider the quasilinear 1D inverse heat convection problem of determining the enthalpy-dependent heat fluxes from noisy internal enthalpy measurements. This problem arises in the accelerated cooling process of producing thermomechanically controlled processed heavy plates made of steel. In order to adjust the complex microstructure of the underlying material, the Leidenfrost behavior of the hot surfaces with respect to the application of the cooling fluid has to be studied. Since the heat fluxes depend on the enthalpy and hence on the solution of the underlying initial boundary value problem (IBVP), the parameter-to-solution operator, and thus the forward operator of the inverse problem, can only be defined implicitly. To guarantee well-defined operators, we study two approaches for showing existence and uniqueness of solutions of the IBVP. One approach deals with the theory of pseudomonotone operators and so-called strong solutions in Sobolev-Bochner spaces. The other theory uses classical solutions in Holder spaces. Whereas the first approach yields a solution under milder assumptions, it fails to show the uniqueness result in contrast to the second approach. Furthermore, we propose a convenient parametrization approach for the nonlinear heat fluxes in order to decouple the parameter-to-solution relation and use an iterative solver based on a projected quasi-Newton (PQN) method together with box-constraints to solve the inverse problem. For numerical experiments, we derive the necessary gradient information of the objective functional and use the discrepancy principle as a stopping rule. Numerical tests show that the PQN method outperforms the Landweber method with respect to computing time and approximation accuracy.

Automated summary

This paper investigates the definition of the parameter-to-solution operator in the inverse heat convection problem, as well as two approaches for demonstrating the existence and uniqueness of solutions to the IBVP. The first approach uses pseudomonotone operators and strong solutions in Sobolev-Bochner spaces, while the second approach employs classical solutions in Holder spaces. The two methods have different levels of evidence for the existence of solutions to the problem, but the first approach fails to prove the uniqueness of the solution.