Uniqueness in shape identification of a time-varying domain and related parabolic equations on non-cylindrical domains

Abstract

The paper deals with an inverse problem determining the shape of a timevarying Lipschitz domain by boundary measurements of the temperature; such a domain is treated as a non-cylindrical domain in the time-space. Here we focus on the uniqueness of the shape identification. As a general treatment to show the uniqueness, a comparability condition on a pair of domains is introduced; the condition holds automatically in the time-independent case. Based on the condition, we provide several classes of domains in which the uniqueness of the shape identification holds under an appropriate initial shape condition or initial temperature condition. Each of such classes is characterized by a certain geometric condition on its each single element; in particular, it is verified that the class of polyhedral domains and any class of domains with C 1 smoothness and with a common initial shape fulfil the uniqueness property. The inverse problem is studied via a parabolic equation with a mixed boundary condition. Then the unique continuation property of weak solutions and the uniqueness of weak solutions to an induced parabolic equation with the homogeneous Dirichlet boundary condition on a non-cylindrical non-Lipschitz domain play key roles.

Recovering time-dependent inclusion in heat-conductive bodies using a dynamical probe method

“…The authors in [3] proved uniqueness of D T under the assumption that the inclusion D(t) is x-lipchitzian for all t. They used a proof by contradiction and is not constructive at all. A more recent paper for a similar question is [11].…”

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

“…As for the recent works on the inverse problem for the parabolic equation, see Bacchelli-Cristo-Sincich-Vessella [2] for the corrosion problem, and Vessella [20] and Kawakami-Tsuchiya [14] for the time-varying domain problem.…”

Inverse Problems for Time-Dependent Singular Heat Conductivities---One-Dimensional Case

“…Their initial data is assumed to be zero: u 0 = 0, and the computation of k was not done. As for the recent works on the inverse problem for the parabolic equation, see Bacchelli et al [1] for the corrosion problem, Vessella [14] and Kawakami and Tsuchiya [11] for the time-varying domain problem.…”