J-inner matrix functions, interpolation and inverse problems for canonical systems, V: The inverse input scattering problem for Wiener class and rational p×q input scattering matrices

The general formulas developed in the fourth paper in this series are applied to solve the inverse input scattering problem for canonical integral systems in the special cases that the input scattering matrix is ap×q matrix valued function in the Wiener class (and the associated pairs are homogeneous). These formulas are then further specialized to the rational case. Whenp=q, these formulas are connected to the earlier results of Alpay-Gohberg and Gohberg-Kaashoek-Sakhnovich, who studied inverse problems for a related system of differential equations.This research was partially supported by a Minerva Foundation grant that is acknowledged with thanks.     

J-inner matrix functions, interpolation and inverse problems for canonical systems, IV: Direct and inverse bitangential input scattering problems

Bitangential input scattering problems are formulated and analyzed for canonical integral systems. Special attention is paid to the case when the input scattering matrix is ap×q matrix valued function of Wiener class. Formulas for the solution of the inverse input scattering problem are obtained by reproducing kernel Hilbert space methods. A number of illustrative examples are presented. Additional examples for the case when the input scattering matrix is of Wiener class/rational will be presented in a future publication.     

Boundary-value problems for two-dimensional canonical systems

The two-dimensional canonical systemJy=–Hy where the nonnegative Hamiltonian matrix functionH(x) is trace-normed on (0, ) has been studied in a function-theoretic way by L. de Branges in [5]–[8]. We show that the Hamiltonian system induces a closed symmetric relation which can be reduced to a, not necessarily densely defined, symmetric operator by means of Kac' indivisible intervals; of. [33], [34]. The formal defect numbers related to the system are the defect numbers of this reduced minimal symmetric operator. By using de Branges' one-to-one correspondence between the class of Nevanlinna functions and such canonical systems we extend our canonical system from (0, ) to a trace-normed system on which is in the limit-point case at ±. This allows us to study all possible selfadjoint realizations of the original system by means of a boundaryvalue problem for the extended canonical system involving an interface condition at 0.     

J-Inner matrix functions, interpolation and inverse problems for canonical systems, II: The inverse monodromy problem

This is the second of a planned sequence of papers on inverse problems for canonical systems of differential equations. It is devoted to the inverse monodromy problem for canonical integral and differential systems. In this part, which focuses on the case of a diagonal signature matrixJ, a parametrization is obtained of the set of all solutionsM (t) for the inverse problem for integral systems in terms of two chains of entire matrix valued inner functions. Special classes of solutions correspond to special choices of these chains. This theme will be elaborated upon further in a third part of this paper which will be published in a subsequent issue of this journal. There the emphasis will be on symmetries and growth conditions all of which serve to specify or restrict the chains alluded to above, from the outside, so to speak.     

Small perturbations of canonical systems

We consider a singular two-dimensional canonical systemJy=–zHy on [0, ) such that at Weyl's limit point case holds. HereH is a measurable, real and nonnegative definite matrix function, called Hamiltonian. From results of L. de Branges it follows that the correspondence between canonical systems and their Titchmarsh-Weyl coefficients is a bijection between the class of all Hamiltonians with trH=1 and the class of Nevanlinna functions. In this note we show how the HamiltonianH of a canonical system changes if its Titchmarsh-Weyl coefficient or the corresponding spectral measure undergoes certain small perturbations. This generalizes results of H. Dym and N. Kravitsky for so-called vibrating strings, in particular a generalization of a construction principle of I.M. Gelfand and B.M. Levitan can be shown.     

Inverse spectral problems for Bessel operators

We study the inverse spectral problem for a class of Bessel operators given in L₂(0,1) by the differential expression

     

Subordinate solutions and spectral measures of canonical systems

The theory of 2×2 trace-normed canonical systems of differential equations on ?⁺ can be put in the framework of abstract extension theory, cf. [9]. This includes the theory of strings as developed by I.S. Kac and M.G. Kre?n. In the present paper the spectral properties of such canonical systems are characterized by means of subordinate solutions. The theory of subordinacy for Schrödinger operators on the halfline ?⁺, was originally developed D.J. Gilbert and D.B. Pearson. Its extension to the framework of canonical systems makes it possible to describe the spectral measure of any Nevanlinna function in terms of subordinate solutions of the corresponding trace-normed canonical system, which is uniquely determined by a result of L. de Branges.     

J-inner matrix functions, interpolation and inverse problems for canonical systems, III: More on the inverse monodromy problem

This paper is a continuation of our study of the inverse monodromy problem for canonical systems of integral and differential equations which appeared in a recent issue of this journal. That paper established a parametrization of the set of all solutions to the inverse monodromy for canonical integral systems in terms of two continuous chains of matrix valued inner functions in the special case that the monodromy matrix was strongly regular (and the signature matrixJ was not definite). The correspondence between the chains and the solutions of this monodromy problem is one to one and onto. In this paper we study the solutions of this inverse problem for several different classes of chains which are specified by imposing assorted growth conditions and symmetries on the monodromy matrix and/or the matrizant (i.e., the fundamental solution) of the underlying equation. These external conditions serve to either fix or limit the class of admissible chains without computing them explicitly. This is useful because typically the chains are not easily accessible.     

A special case of de Branges' theorem on the inverse monodromy problem

We give a new proof of a special case of de Branges' theorem on the inverse monodromy problem: when an associated Riemann surface is of Widom type with Direct Cauchy Theorem. The proof is based on our previous result (with M.Sodin) on infinite dimensional Jacobi inversion and on Levin's uniqueness theorem for conformal maps onto comb-like domains. Although in this way we can not prove de Branges' Theorem in full generality, our proof is rather constructive and may lead to a multi-dimensional generalization. It could also shed light on the structure of invariant subspaces of Hardy spaces on Riemann surfaces of infinite genus.This work was supported by the Austrian Founds zur Förderung der wissenschaftlichen Forschung, project-number P12985-TEC     

Direct and inverse spectral problems for generalized strings

Let the functionQ be holomorphic in he upper half plane ⁺ and such that ImQ(z 0 and ImzQ(z) 0 ifz ⁺. A basic result of M.G. Krein states that these functionsQ are the principal Titchmarsh-Weyl coefficiens of a (regular or singular) stringS[L,m] with a (non-decreasing) mass distribution functionm on some interval [0,L) with a free left endpoint 0. This string corresponds to the eigenvalue problemdf + fdm = 0; f(0–) = 0. In this note we show that the set of functionsQ which are holomorphic in ⁺ and such that the kernel has negative squares of ⁺ and ImzQ(z) 0 ifz ⁺ is the principal Titchmarsh-Weyl coefficient of a generalized string, which is described by the eigenvalue problemdf +f dm + ² fdD = 0 on [0,L),f(0–) = 0. Here is the number of pointsx whereD increases or 0 >m(x + 0) –m(x – 0) –; outside of these pointsx the functionm is locally non-decreasing and the functionD is constant.To the memory of M.G. Krein with deep gratitude and affection.This author is supported by the Fonds zur Förderung der wissenschaftlichen Forschung of Austria, Project P 09832     

The Bitangential Inverse Input Impedance Problem for Canonical Systems,I: Weyl-Titchmarsh Classification,Existence and Uniqueness

The inverse input impedance problem is investigated in the class of canonical integral systems with matrizants that are strongly regular J-inner matrix valued functions in the sense introduced in [ArD1]. The set of solutions for a problem with a given input impedance matrix (i.e., Weyl- Titchmarsh function) is parameterized by chains of associated pairs of entire inner p × p matrix valued functions. In our considerations the given data for the inverse bitangential input impedance problem is such a chain and an input impedance matrix, i.e., a p × p matrix valued function in the Carathéodory class. Existence and uniqueness theorems for the solution of this problem are obtained by consideration of a corresponding family of generalized bitangential Carathéodory interpolation problems. The connection between the inverse bitangential input scattering problem that was studied in [ArD4] and the bitangential input impedance problem is also exploited. The successive sections deal with: 1. The introduction, 2. Domains of linear fractional transformations, 3. Associated pairs of the first and second kind, 4. Matrix balls, 5. The classification of canonical systems via the limit ball, 6. The Weyl-Titchmarsh characterization of the input impedance, 7. Applications of interpolation to the bitangential inverse input impedance problem. Formulas for recovering the underlying canonical integral systems, examples and related results on the inverse bitangential spectral problem will be presented in subsequent publications.D. Z. Arov thanks the Weizmann Institute of Science for hospitality and support, partially as a Varon Visiting Professor and partially through the Minerva Foundation. H. Dym thanks Renee and Jay Weiss for endowing the chair which supports his research and the Minerva Foundation.     

An inverse spectral problem for a nonnormal first order differential operator

We study the eigenvalues of two restrictions ofB _x +P whereB is the two-by-two matrix that is zero on the diagonal and one off the diagonal andP is a two-by-two matrix of Lipschitz functions on the unit interval. We establish asymptotic forms for their eigenvalues and associated root vectors and demonstrate that these root vectors constitute a Riesz basis inL ²(0, 1)². We show that our forward analysis makes rigorous the attack on the associated inverse problem by M. Yamamoto,Inverse spectral problem for systems of ordinary differential equations of first order, I, J. Fac. Sci. Univ. Tokyo, Sect. 1A, Math. 35, 1988, pp. 519–546. We apply these results to the recovery of the line resistance and leakage conductance of a nonuniform transmission line.Supported by NSF grant DMS-9258312.     

J-inner matrix functions, interpolation and inverse problems for canonical systems, I: Foundations

This is the first of a planned sequence of papers on inverse problems for canonical systems of differential equations. It is devoted largely to foundational material (much of which is of independent interest) on the theory of assorted classes of meromorphic matrix valued functions. Particular attention is paid to the structure of J-inner functions and connections with bitangential interpolation problems and reproducing kernel Hilbert spaces. Some new characterizations of regular, singular and strongly regular J-inner functions in terms of the associated reproducing kernel Hilbert spaces are presented.D. Z. Arov wishes to thank the Weizmann Institute of Science for hospitality and support; H. Dym wishes to thank Renee and Jay Weiss for endowing the chair which supports his research.     

The Bitangential Inverse Input Impedance Problem for Canonical Systems, II: Formulas and Examples

This paper continues the study of the bitangential inverse input impedance problem for canonical integral systems that was initiated in [ArD6]. The problem is to recover the system, given an input impedance matrix valued function c() (that belongs to the Carathéodory class of p × p matrix valued functions that are holomorphic and have positive real part in the open upper half plane) and a chain of pairs of entire inner p × p matrix valued functions (that are identified with the associated pairs of the second kind of the matrizant of the system). Formulas for recovering the underlying canonical integral systems are derived by reproducing kernel Hilbert space methods. A number of examples are presented. Special attention is paid to the case when c() is of Wiener class and also when it is both of Wiener class and rational.     

Inverse spectral problems for Sturm-Liouville operators in impedance form

The spectral properties of Sturm-Liouville operators with an impedance in , for some p∈[1,∞), are studied. In particular, a complete solution of the inverse spectral problem is provided.     

The maximum principle for the three chains completion problem

A time-variant version of the maximum principle for the central solution in the commutant lifting theorem is given. The main result is illustrated on the Parrott completion problem.     

Standard symmetric operators in Pontryagin spaces: a generalized von Neumann formula and minimality of boundary coefficients

Certain meromorphic matrix valued functions on , the so-called boundary coefficients, are characterized in terms of a standard symmetric operator S in a Pontryagin space with finite (not necessarily equal) defect numbers, a meromorphic mapping into the defect subspaces of S, and a boundary mapping for S. Under some simple assumptions the boundary coefficients also satisfy a minimality condition. It is shown that these assumptions hold if and only if for S a generalized von Neumann equality is valid.     

Trace formulas and Borg-type theorems for matrix-valued Jacobi and Dirac finite difference operators

Borg-type uniqueness theorems for matrix-valued Jacobi operators H and supersymmetric Dirac difference operators D are proved. More precisely, assuming reflectionless matrix coefficients A,B in the self-adjoint Jacobi operator H=AS⁺+A^-S^-+B (with S^± the right/left shift operators on the lattice Z) and the spectrum of H to be a compact interval [E_-,E₊], E_-<E₊, we prove that A and B are certain multiples of the identity matrix. An analogous result which, however, displays a certain novel nonuniqueness feature, is proved for supersymmetric self-adjoint Dirac difference operators D with spectrum given by , 0?E_-<E₊.Our approach is based on trace formulas and matrix-valued (exponential) Herglotz representation theorems. As a by-product of our techniques we obtain the extension of Flaschka's Borg-type result for periodic scalar Jacobi operators to the class of reflectionless matrix-valued Jacobi operators.