Inverse problem with overdetermination of the third kind for an abstract second-order differential equation (Q2082801)

The authors consider a linear inverse problem for an abstract second-order differential equation in a complex Banach space \(E\) \[ u''(t) = Au(t) + g,\qquad 0<t<T,\tag{1} \] with a closed linear operator \(A\) on \(E\), domain \(D(A)\subset E\), and an unknown element \(g\in E\). The time-invariant inhomogeneous term in the equation is assumed to be unknown. The standard Cauchy conditions are set at the initial time. They are supplemented with an additional condition, a final overdetermination of the third kind, which contains a combination of values of the evolution function and its derivative at a selected final time. A criterion for the uniqueness of the solution expressed in spectral terms via the zeros of the characteristic entire function is established for the problem. The aim of the present paper is to obtain a criterion for the uniqueness of the solution of the inverse problem (1) with Cauchy conditions and overdetermination \begin{gather*} u(0) = u_0,\qquad u'(0) = u_1 \tag{2}\\ \alpha u(T) + \beta u'(T) = u_2, \quad \alpha, \beta \in \mathbb{C}\setminus 0, \tag{3} \end{gather*} without restrictions on the operator \(A\) except for the above-mentioned linearity and closedness. Using a technique from [\textit{I. V. Tikhonov} and \textit{Yu. S. Èĭdelman}, Differ. Equ. 38, No. 5, 669--677 (2002; Zbl 1033.34017); translation from Differ. Uravn. 38, No. 5, 637--644 (2002)] and some facts from the theory of entire functions, the authors establish a universal criterion for the uniqueness of the solution of the inverse problem (1)--(3) free from any restrictions on the type of the differential equation (1).