Characterization of data in dynamical inverse problem for the 1d wave equation with matrix potential

M. I. Belishev ; T. Sh. Khabibullin

Zapiski Nauchnykh Seminarov POMI, Mathematical problems in the theory of wave propagation. Part 50, Tome 493 (2020), pp. 48-72

Résumé

The dynamical system under consideration is \begin{align*} u_{tt}-u_{xx}+Vu=0, x>0, t>0; u|_{t=0}=u_t|_{t=0}=0, x\geqslant 0; u|_{x=0}=f, t\geqslant 0, \end{align*} where $V=V(x)$ is a matrix-valued function (potential); $f=f(t)$ is an $\mathbb R^N$-valued function of time (boundary control); $u=u^f(x,t)$ is a trajectory (an $\mathbb R^N$-valued function of $x$ and $t$). The input/output map of the system is a response operator $R:f\mapsto u^f_x(0,\cdot), t\geqslant0$. The inverse problem is to determine $V$ from given $R$. To characterize its data is to provide the necessary and sufficient conditions on $R$ that ensure its solvability. The procedure that solves this problem has long been known and the characterization has been announced (Avdonin and Belishev, 1996). However, the proof was not provided and, moreover, it turned out that the formulation of the sufficiency must be corrected. Our paper fills this gap.