On an Inverse Spectral Problem for a Convolution Integro-differential Operator

The operator of double differentiation perturbed by the composition of a Volterra convolution operator and the differentiation one on a finite interval with Dirichlet boundary conditions is considered. It is proved that the standard asymptotics is necessary and sufficient for an arbitrary sequence of complex numbers to be the spectrum of such an operator, which is determined uniquely. A constructive procedure for solving the inverse problem is given. Received: March 5, 2007.     

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.     

Uniqueness theorems for differential pencils with eigenparameter boundary conditions and transmission conditions

Inverse spectral problems are considered for differential pencils with boundary conditions depending polynomially on the spectral parameter and with a finite number of transmission conditions. We give formulations of the associated inverse problems such as Titchmarsh–Weyl theorem, Hochstadt–Lieberman theorem and Mochizuki–Trooshin theorem, and prove corresponding uniqueness theorems. The obtained results are generalizations of the similar results for the classical Sturm–Liouville operator on a finite interval.     

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.     

Two-Dimensional Trace-Normed Canonical Systems of Differential Equations and Selfadjoint Interface Conditions

The class of two-dimensional trace-normed canonical systems of differential equations on is considered with selfadjoint interface conditions at 0. If one or both of the intervals around 0 are H-indivisible the interface conditions which give rise to selfadjoint relations (multi-valued operators) are determined. It is shown that the corresponding generalized Fourier transforms are partially isometric. Compression to the halfline (0, ) results in boundary conditions which depend on the eigenvalue parameter involving a fractional linear transform of the Titchmarsh-Weyl coefficient of the halfline (–, 0). The corresponding generalized Fourier transforms are isometric except possibly on a one-dimensional subspace where they are contractive.     

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

     

Kreĭn–Saakyan and Trace Formulas for a Pair of Canonical Differential Operators

An analog of the Kreĭn–Saakyan formula is derived for any pair of relatively prime self-adjoint extensions of a minimal symmetric canonical differential operator. This allows us to deduce a trace formula in the matrix case. I am grateful to Sh. Saakyan for his interest in this work and lively discussion. Received: December 8, 2006. Accepted: December 30, 2006.     

Inverse Problems for Sturm–Liouville Operators on Noncompact Trees

We study Sturm–Liouville differential operators on noncompact graphs without cycles (i.e., on trees) with standard matching conditions in internal vertices. First we establish properties of the spectral characteristics and then we investigate the inverse problem of recovering the operator from the so-called Weyl vector. For this inverse problem we prove a uniqueness theorem and propose a procedure for constructing the solution using the method of spectral mappings. Received: February 13, 2007.     

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     

Recovering differential pencils on compact graphs

We study boundary value problems on compact graphs without circles (i.e. on trees) for second-order ordinary differential equations with nonlinear dependence on the spectral parameter. We establish properties of the spectral characteristics and investigate the inverse spectral problem of recovering the coefficients of the differential equation from the so-called Weyl vector which is a generalization of the Weyl function (m-function) for the classical Sturm-Liouville operator. For this inverse problem we prove the uniqueness theorem and obtain a procedure for constructing the solution by the method of spectral mappings.     

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.     

Essential spectra of coupled systems of differential equations and applications in hydrodynamics

An operator theoretic framework is developed to determine the essential spectra of diagonal dominant coupled systems of differential equations. Applications are given to the Ekman boundary layer problem and to the Hagen-Poiseuille flow problem with non-axisymmetric disturbances.     

Factorisation of Non-negative Fredholm Operators and Inverse Spectral Problems for Bessel Operators

We study the problem of factorisation of non-negative Fredholm operators acting in the Hilbert space L₂(0, 1) and its relation to the inverse spectral problem for Bessel operators. In particular, we derive an algorithm of reconstructing the singular potential of the Bessel operator from its spectrum and the sequence of norming constants.     

Estimates for periodic Zakharov-Shabat operators

We consider the periodic Zakharov-Shabat operators on the real line. The spectrum of this operator consists of intervals separated by gaps with the lengths |gn|?0, n∈Z. Let be the corresponding effective masses and let hn be heights of the corresponding slits in the quasi-momentum domain. We obtain a priori estimates of sequences g=(|gn|)_n∈Z, , h=(hn)_n∈Z in terms of weighted ?p-norms at p?1. The proof is based on the analysis of the quasi-momentum as the conformal mapping.     

Spectral theory of Hamiltonian systems with almost constant coefficients

We derive the spectral theory for general linear Hamiltonian systems. The coefficients are assumed to be asymptotically constant and satisfy certain smoothness and decay conditions. These latter constraints preclude the appearance of singular continuous spectra. The results are thus far reaching extensions of earlier theorems of the authors. Two-, three- and four-dimensional systems are studied in greater detail. The results also apply to the case of the Dirichlet index and Dirichlet spectrum.     

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.     

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.     

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.     

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.