Cubo: A Mathematical Journal
Dynamical Inverse Problem for the Equation ๐ฐแตผแตผ โ ฮ๐ฐ โ โln๐ ยท โ๐ฐ = 0 (the BC Method)
Author
Belishev, M.I.
Abstract
A dynamical system of the form
๐ขtt โ ฮ๐ข โ โln๐ ยท โ๐ข = 0, in โ๐+ ร (0, ๐)
๐ข|t=0 = ๐ขt|t=0|= 0, in โ๐+
๐ขx๐ = f on ฯโ๐+ ร (0, ๐),
is considered, where โ๐+ := {x = {x1, . . . , x๐}| x๐ > 0} ; ๐ = ๐(x) is a smooth positive function (density) such that ๐, 1/๐ are bounded in โ๐+; f is a (Neumann) boundary control of the class L2(ฯโ๐+ ร [0, ๐]); ๐ข = ๐ขf (x, t) is a solution (wave). With the system one associates a response operator RT : f โผ ๐ขf|ฯโ๐+ ร [0, ๐]. A dynamical inverse problem is to determine the density from the given response operator.
Fix an open subset ๐ โ ฯโ๐+; let L2(๐ ร [0, ๐]) be the subspace of controls supported on ๐. A partial response operator RT๐ acts in this subspace by the rule RT๐ f = ๐ขf|๐ร[0,T]; let R2T๐ be the operator corresponding to the same system considered on the doubled time interval [0, 2T]. Denote BT๐ := {x โ โ๐+|{x1, . . . , x๐-1,0} โ ๐, 0 < x๐ < T} and assume ๐|๐ to be known. We show that R2T๐ determines ๐|BT๐ and propose an efficient procedure recovering the density. The procedure is available for constructing numerical algorithms.
The instrument for solving the problem is the boundary control method which is an approach to inverse problems based on their relations with control theory (Belishev, 1986). Our presentation is elementary and can serve as introduction to the BC method.