A generalization of the de Branges theorem

In this paper a generalization of de Branges' proof of the Bieberbach conjecture is given. The argument does not make use of the Askey-Gasper theorem.

     

Perturbation of chains of de Branges spaces

We investigate the structure of the set of de Branges spaces of entire functions which are contained in a space L²(μ). Thereby, we follow a perturbation approach. The main result is a growth dependent stability theorem. Namely, assume that measures μ₁ and μ₂ are close to each other in a sense quantified relative to a proximate order. Consider the sections of corresponding chains of de Branges spaces C₁ and C₂ which consist of those spaces whose elements have finite (possibly zero) type with respect to the given proximate order. Then either these sections coincide or one is smaller than the other but its complement consists of only a (finite or infinite) sequence of spaces.

Among other situations, we apply—and refine—this general theorem in two important particular situations

1. (1)
   the measures μ₁ and μ₂ differ in essence only on a compact set; then stability of whole chains rather than sections can be shown
    
2. (2)
   the linear space of all polynomials is dense in L²(μ₂); then conditions for density of polynomials in the space L²(μ₂) are obtained.
    

In the proof of the main result, we employ a method used by P. Yuditskii in the context of density of polynomials. Another vital tool is the notion of the index of a chain, which is a generalisation of the index of determinacy of a measure having all power moments. We undertake a systematic study of this index, which is also of interest on its own right.

     

Polynomials in the de Branges spaces of entire functions

We study the problem of density of polynomials in the de Branges spaces ℋ(E) of entire functions and obtain conditions (in terms of the distribution of the zeros of the generating function E) ensuring that the polynomials belong to the space ℋ(E) or are dense in this space. We discuss the relation of these results with the recent paper of V. P. Havin and J. Mashreghi on majorants for the shift-coinvariant subspaces. Also, it is shown that the density of polynomials implies the hypercyclicity of translation operators in ℋ(E).     

Symmetry in de Branges almost Pontryagin spaces

In many examples of de Branges spaces symmetry appears naturally. Presence of symmetry gives rise to a decomposition of the space into two parts, the ‘even’ and the ‘odd’ part, which themselves can be regarded as de Branges spaces. The converse question is to decide whether a given space is the ‘even’ part or the ‘odd’ part of some symmetric space, and, if yes, to describe the totality of all such symmetric spaces. We consider this question in an indefinite (almost Pontryagin space) setting, and give a complete answer. Interestingly, it turns out that the answers for the ‘even’ and ‘odd’ cases read quite differently; the latter is significantly more complex.     

Finite Dimensional de Branges Spaces on Riemann Surfaces

We study certain finite dimensional reproducing kernel indefinite inner product spaces of multiplicative half order differentials on a compact real Riemann surface; these spaces are analogues of the spaces introduced by L. de Branges when the Riemann sphere is replaced by a compact real Riemann surface of a higher genus. In de Branges theory an important role is played by resolvent-like difference quotient operators Rα; here we introduce generalized difference quotient operators Ryα for any non-constant meromorphic function y on the Riemann surface. The spaces we study are invariant under generalized difference quotient operators and can be characterized as finite dimensional indefinite inner product spaces invariant under two operators Ry1αi and Ry2α2, where y1 and y2 generate the field of meromorphic functions on the Riemann surface, which satisfy a supplementary identity, analogous to the de Branges identity for difference quotients. Just as the classical de Branges spaces and difference quotient operators appear in the operator model theory for a single nonselfadjoint (or nonunitary) operator, the spaces we consider and generalized difference quotient operators appear in the model theory for commuting nonselfadjoint operators with finite nonhermitian ranks.     

Unconditional reproducing kernel bases in de Branges spaces

We describe unconditional bases of the form {k(z,λ _n ):λ _n ∈Λ}, Λ∩?=? in de Branges spaces, where k is the reproducing kernel.     

Schrödinger operators and de Branges spaces

We present an approach to de Branges's theory of Hilbert spaces of entire functions that emphasizes the connections to the spectral theory of differential operators. The theory is used to discuss the spectral representation of one-dimensional Schrödinger operators and to solve the inverse spectral problem.     

Majorization in de Branges spaces I. Representability of subspaces

In this series of papers we study subspaces of de Branges spaces of entire functions which are generated by majorization on subsets D of the closed upper half-plane. The present, first, part is addressed to the question which subspaces of a given de Branges space can be represented by means of majorization. Results depend on the set D where majorization is permitted. Significantly different situations are encountered when D is close to the real axis or accumulates to i∞.     

Boundary Behavior of Functions in the de Branges–Rovnyak Spaces

This paper deals with the boundary behavior of functions in the de Branges–Rovnyak spaces. First, we give a criterion for the existence of radial limits for the derivatives of functions in the de Branges–Rovnyak spaces. This criterion generalizes a result of Ahern–Clark. Then we prove that the continuity of all functions in a de Branges–Rovnyak space on an open arc I of the boundary is enough to ensure the analyticity of these functions on I. We use this property in a question related to Bernstein’s inequality. Received: May 10, 2007. Revised: August 8, 2007. Accepted: August 8, 2007.     

Espaces de Branges Rovnyak et fonctions de Schur : le cas hyper-analytique

We extend to the hyperholomorphic case the notion of Schur functions and the corresponding realization theory. We introduce the notion of characteristic operator function for coisometric colligations between Hilbert spaces of hyperholomorphic functions. We show that every Schur function is the characteristic operator function of a coisometric colligation and vice-versa. To cite this article: D. Alpay et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Sampling and interpolation in de Branges spaces with doubling phase

The de Branges spaces of entire functions generalize the classical Paley-Wiener space of square summable bandlimited functions. Specifically, the square norm is computed on the real line with respect to weights given by the values of certain entire functions. For the Paley-Wiener space, this can be chosen to be an exponential function where the phase increases linearly. As our main result, we establish a natural geometric characterization in terms of densities for real sampling and interpolating sequences in the case when the derivative of the phase function merely gives a doubling measure on the real line. Moreover, a consequence of this doubling condition is that the spaces we consider are model spaces generated by a one-component inner function. A novelty of our work is the application to de Branges spaces of techniques developed by Marco, Massaneda and Ortega-Cerdà for Fock spaces satisfying a doubling condition analogous to ours.     

Universality limits for random matrices and de Branges spaces of entire functions

We prove that de Branges spaces of entire functions describe universality limits in the bulk for random matrices, in the unitary case. In particular, under mild conditions on a measure with compact support, we show that each possible universality limit is the reproducing kernel of a de Branges space of entire functions that equals a classical Paley-Wiener space. We also show that any such reproducing kernel, suitably dilated, may arise as a universality limit for sequences of measures on [−1,1].     

On the Hamiltonian formalism for Korteweg—de Vries type hierarchies

Vladimir State Pedagogical Institute. Translated from Funktsional'nyi Analiz i Ego Prilozheniya, Vol. 26, No. 2, pp. 79–82, April–June, 1992.     

Bieberbach’s conjecture, the de Branges and Weinstein functions and the Askey-Gasper inequality

The Bieberbach conjecture about the coefficients of univalent functions of the unit disk was formulated by Ludwig Bieberbach in 1916 [4]. The conjecture states that the coefficients of univalent functions are majorized by those of the Koebe function which maps the unit disk onto a radially slit plane. The Bieberbach conjecture was quite a difficult problem, and it was surprisingly proved by Louis de Branges in 1984 [5] when some experts were rather trying to disprove it. It turned out that an inequality of Askey and Gasper [2] about certain hypergeometric functions played a crucial role in de Branges’ proof. In this article I describe the historical development of the conjecture and the main ideas that led to the proof. The proof of Lenard Weinstein (1991) [72] follows, and it is shown how the two proofs are interrelated. Both proofs depend on polynomial systems that are directly related with the Koebe function. At this point algorithms of computer algebra come into the play, and computer demonstrations are given that show how important parts of the proofs can be automated. This article is dedicated to Dick Askey on occasion of his seventieth birthday. 2000 Mathematics Subject Classification Primary—30C50, 30C35, 30C45, 30C80, 33C20, 33C45, 33F10, 68W30