Abstract. An original approach to the inverse scattering for Jacobi matrices was recently suggested in [17]. The authors considered quite sophisticated spectral sets (including Cantor sets of positive Lebesgue measure), however they did not take into account the mass point spectrum. This paper follows similar lines for the continuous setting with an absolutely continuous spectrum on the half-axis and a pure point spectrum on the negative half-axis satisfying the Blaschke condition. This leads us to the solution of the inverse scattering problem for a class of canonical systems that generalizes the case of SturmLiouville (Schrödinger) operator.
Faddeev-Marchenko space in Szegő/Blaschke settingOne of the important aspects of the spectral theory of differential operators is the scattering theory [13,14] and, in particular, the inverse scattering [11]. An original approach to the inverse scattering was recently suggested in [17]. The paper focused on classical Jacobi matrices and connections between the scattering and properties of a special Hilbert transform.In this paper, we carry out the plan of [17] in the continuous situation. Compared with [17], a completely new feature is that the scattering data incorporate the pure point spectrum with infinitely many mass points. Of course, this is a natural and important step in the developing the theory. The discussion leads us to the solution of the inverse scattering problem for a class of canonical systems that include the Sturm-Liouville (Schrödinger) equations. At present, though, we are unable to characterize the scattering data corresponding to the last important special case.This part of the work is mainly devoted to the asymptotic behavior of certain reproducing kernels (the generalized eigenfunctions). It is organized as follows. Section 1 contains definitions, some general facts and formulations of results on asymptotics. The asymptotic properties of reproducing kernels from certain model spaces are studied in Section 2. Special operator nodes arising from our construction are discussed in Sections 3 and 4. One of the nodes generates a canonical system we are interested in. Its properties and connections to the de Branges spaces of entire functions [3] are also in Section 4. The Sturm-Liouville (Schrödinger) equations are considered in Section 5. An example is given in the first appendix (Section 6). The second appendix (Section 7) relates the whole construction to the matrix A 2 Hunt-Muckenhoupt-Wheeden condition.