Volume 54, Number 4, July-August 2020
|Page(s)||1139 - 1180|
|Published online||18 May 2020|
Numerical analysis of sparse initial data identification for parabolic problems
Department of Mathematics, University of Connecticut, Storrs, CT 06269, USA
2 Chair of Optimal Control, Technical University of Munich, Department of Mathematics, Boltzmannstraße 3, 85748 Garching b. Munich, Germany
3 Johann Radon Institute for Computational and Applied Mathematics, ÖAW, Altenbergerstraße 69, 4040 Linz, Austria
* Corresponding author: firstname.lastname@example.org
Accepted: 25 November 2019
In this paper we consider a problem of initial data identification from the final time observation for homogeneous parabolic problems. It is well-known that such problems are exponentially ill-posed due to the strong smoothing property of parabolic equations. We are interested in a situation when the initial data we intend to recover is known to be sparse, i.e. its support has Lebesgue measure zero. We formulate the problem as an optimal control problem and incorporate the information on the sparsity of the unknown initial data into the structure of the objective functional. In particular, we are looking for the control variable in the space of regular Borel measures and use the corresponding norm as a regularization term in the objective functional. This leads to a convex but non-smooth optimization problem. For the discretization we use continuous piecewise linear finite elements in space and discontinuous Galerkin finite elements of arbitrary degree in time. For the general case we establish error estimates for the state variable. Under a certain structural assumption, we show that the control variable consists of a finite linear combination of Dirac measures. For this case we obtain error estimates for the locations of Dirac measures as well as for the corresponding coefficients. The key to the numerical analysis are the sharp smoothing type pointwise finite element error estimates for homogeneous parabolic problems, which are of independent interest. Moreover, we discuss an efficient algorithmic approach to the problem and show several numerical experiments illustrating our theoretical results.
Mathematics Subject Classification: 65N30 / 65N15
Key words: Optimal control / sparse control / initial data identification / smoothing estimates / parabolic problems / finite elements / discontinuous Galerkin / error estimates / pointwise error estimates
© EDP Sciences, SMAI 2020
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.