A Paley-Wiener theorem for Bergman spaces with application to invariant subspaces

In both the Bergman space <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A squared"> <mml:semantics> <mml:msup> <mml:mi>A</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:annotation encoding="application/x-tex">A^2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and the Hardy space <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H squared"> <mml:semantics> <mml:msup> <mml:mi>H</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:annotation encoding="application/x-tex">H^2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , the problem of determining which bounded univalent mappings of the unit disk have the wandering property is addressed. Generally, a function <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="g"> <mml:semantics> <mml:mi>g</mml:mi> <mml:annotation encoding="application/x-tex">g</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H Superscript normal infinity"> <mml:semantics> <mml:msup> <mml:mi>H</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="normal"> ∞ </mml:mi> </mml:mrow> </mml:msup> <mml:annotation encoding="application/x-tex">H^{\infty }</mml:annotation> </mml:semantics> </mml:math> </inline-formula> has the wandering property in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper X"> <mml:semantics> <mml:mi>X</mml:mi> <mml:annotation encoding="application/x-tex">X</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , where <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper X"> <mml:semantics> <mml:mi>X</mml:mi> <mml:annotation encoding="application/x-tex">X</mml:annotation> </mml:semantics> </mml:math> </inline-formula> denotes either <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A squared"> <mml:semantics> <mml:msup> <mml:mi>A</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:annotation encoding="application/x-tex">A^2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> or <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H squared"> <mml:semantics> <mml:msup> <mml:mi>H</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:annotation encoding="application/x-tex">H^2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , provided that every <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="g"> <mml:semantics> <mml:mi>g</mml:mi> <mml:annotation encoding="application/x-tex">g</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -invariant subspace <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper M"> <mml:semantics> <mml:mi>M</mml:mi> <mml:annotation encoding="application/x-tex">M</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper X"> <mml:semantics> <mml:mi>X</mml:mi> <mml:annotation encoding="application/x-tex">X</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is generated by the orthocomplement of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="g upper M"> <mml:semantics> <mml:mrow> <mml:mi>g</mml:mi> <mml:mi>M</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">gM</mml:annotation> </mml:semantics> </mml:math> </inline-formula> within <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper M"> <mml:semantics> <mml:mi>M</mml:mi> <mml:annotation encoding="application/x-tex">M</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . It is known that essentially every function which has the wandering property in either space is the composition of a univalent mapping with a classical inner function, and that the identity mapping has this property in both spaces. Consequently, weak-star generators of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H Superscript normal infinity"> <mml:semantics> <mml:msup> <mml:mi>H</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="normal"> ∞ </mml:mi> </mml:mrow> </mml:msup> <mml:annotation encoding="application/x-tex">H^{\infty }</mml:annotation> </mml:semantics> </mml:math> </inline-formula> also have the wandering property in both settings. The present paper gives a partial converse to this, and shows that in both settings there is a large class of bounded univalent mappings which fail to have the wandering property.

The lattice of invariant subspaces of several Banach spaces of analytic functions on the unit disk, for example the Bergman spaces and the Dirichlet spaces, have been studied recently. A natural question is to what extent these investigations carry over to analogously defined spaces on an annulus. We consider this question in the context of general Banach spaces of analytic functions on finitely connected domains $\Omega$. The main result reads as follows: Assume that $B$ is a Banach space of analytic functions satisfying some conditions on the domain $\Omega$. Assume further that $M(B)$ is the set of all multipliers of $B$. Let $\Omega _1$ be a domain obtained from $\Omega$ by adding some of the bounded connectivity components of $\Bbb C \setminus \Omega$. Also, let $B_1$ be the closed subspace of $B$ of all functions that extend analytically to $\Omega _1$. Then the mapping $I \mapsto \operatorname{clos} (I\cdot M(B))$ gives a one-to-one correspondence between a class of multiplier invariant subspaces $I$ of $B_1$, and a class of multiplier invariant subspaces $J$ of $B$. The inverse mapping is given by $J \mapsto J \cap B_1$.

We develop an approach to describe invariant subspaces of the integration operator on various scales of weighted spaces of holomorphic functions on the unit disk and the complex plane. It allows us to solve the problem for wide classes of Bergman, Bloch, Dirichlet, and Fock spaces, while all previous known results concern spaces defined by some weights of a special form. In addition, we also show that an analogous method works as well for the differentiation operator on weighted spaces of entire functions.

Preliminary Text. Do not use. 15 years ago the function theory and operator theory connected with the Hardy spaces was well understood (zeros; factorization; interpolation; invariant subspaces; Toeplitz and Hankel operators, etc.). None of the techniques that led to all the information about Hardy spaces worked on their close relatives the Bergman spaces. Most mathematicians who worked in the intersection of function theory and operator theory thought that progress on the Bergman spaces was unlikely. Now the situation has completely changed. Today there are rich theories describing the Bergman spaces and their operators. Research interest and research activity in the area has been high for several years. A book is badly needed on Bergman spaces and the three authors are the right people to write it.

The aim of this paper is to show that univalent functions in several classical function spaces can be characterized by integral conditions involving the maximum modulus function. For a suitable choice of parameters, the established condition or its appropriate variant reduces to a known characterization of univalent functions in the Hardy or weighted Bergman space and gives a new characterization of univalent functions in several Mobius invariant function spaces, such as BMOA, Qp or the Bloch space. It is proved, for example, that univalent functions in the Dirichlet type space \( \mathcal{D}_{p + \alpha }^p \) are the same as the univalent functions in Hαp and Sαp if p ≥ 2. Moreover, it is shown that there is in a sense a much smaller Mobius invariant subspace of the Bloch space than Qp still containing all univalent Bloch functions.

We provide new sharp decomposition theorems for multifunctional Bergman spaces in the unit ball and bounded pseudoconvex domains with smooth boundary expanding known results from the unit ball. Namely we prove that mΠ j=1 jjfj jjXj ≍ jjf1 : : : fmjj Ap for various (Xj) spaces of analytic functions in bounded pseudoconvex domains with smooth boundary where f; fj ; j = 1; : : : ;m are analytic functions and where Ap ; 0 &lt; p &lt; 1; &gt; �����1 is a Bergman space. This in particular also extend in various directions a known theorem on atomic decomposition of Bergman Ap spaces.

Chapter 39 Spaces of analytic functions with integral norm

The topological structure of the set of (weighted) composition operators has been studied on various function spaces on the unit disc such as Hardy spaces, the space of bounded holomorphic functions, weighted Banach spaces of holomorphic functions with sup-norm, Hilbert Bergman spaces. In this paper we consider this problem for all Bergman spaces $$A_{\alpha }^p$$ with $$p \in (0, \infty )$$ and $$ \alpha \in (-1, \infty )$$ . In this setting we establish a criterion for two composition operators to be linearly connected in the space of composition operators; furthermore, for the space of weighted composition operators, we prove that the set of compact weighted composition operators is path connected, but it is not a component.

Let {mathbb {D}} be the unit disc in {mathbb {C}}. If mu is a finite positive Borel measure on the interval [0, 1) and f is an analytic function in {mathbb {D}}, f(z)=sum _{n=0}^infty a_nz^n (zin {mathbb {D}}), we define Cμ(f)(z)=∑n=0∞μn∑k=0nakzn,z∈D,\\documentclass[12pt]{minimal}\t\t\t\t\\usepackage{amsmath}\t\t\t\t\\usepackage{wasysym}\t\t\t\t\\usepackage{amsfonts}\t\t\t\t\\usepackage{amssymb}\t\t\t\t\\usepackage{amsbsy}\t\t\t\t\\usepackage{mathrsfs}\t\t\t\t\\usepackage{upgreek}\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\t\t\t\t\\begin{document}$$\\begin{aligned} {\\mathcal {C}}_\\mu (f)(z)= \\sum _{n=0}^\\infty \\mu _n\\left( \\sum _{k=0}^na_k\\right) z^n,\\quad z\\in {\\mathbb {D}}, \\end{aligned}$$\\end{document}where, for nge 0, mu _n denotes the n-th moment of the measure mu , that is, mu _n=int _{[0, 1)}t^ndmu (t). In this way, {mathcal {C}}_mu becomes a linear operator defined on the space {mathrm{Hol}}({mathbb {D}}) of all analytic functions in {mathbb {D}}. We study the action of the operators {mathcal {C}}_mu on distinct spaces of analytic functions in {mathbb {D}}, such as the Hardy spaces H^p, the weighted Bergman spaces A^p_alpha , BMOA, and the Bloch space {mathcal {B}}.

In this work we study the essential spectra of composition operators on weighted Bergman spaces of analytic functions which might be termed as "quasi-parabolic." This is the class of composition operators on $A_{\alpha}^{2}$ with symbols whose conjugate with the Cayley transform on the upper half-plane are of the form $\varphi(z)=$ $z+\psi(z)$, where $\psi\in$ $H^{\infty}(\mathbb{H})$ and $\Im(\psi(z)) > \epsilon > 0$. We especially examine the case where $\psi$ is discontinuous at infinity. A new method is devised to show that this type of composition operators fall in a C*-algebra of Toeplitz operators and Fourier multipliers. This method enables us to provide new examples of essentially normal composition operators and to calculate their essential spectra.

Tests are described for determining whether certain functions are the boundary values of analytic functions taking the upper half plane into itself. In one theorem the functions are real-valued and defined on an open interval and a single point. In other theorems, the functions are defined on a real interval taking values in an arc γ in the upper half plane. In every case these results are closely related to Loewner's theorem in which the putative boundary values are required to be real-valued. As in Loewner's theory, the quadratic inequalities are finite sums involving at most the value of the function and its first derivative at points. These results are closely related to the Pick-Nevanlinna inequalities for functions defined on a sequence of points in the upper half plane; the Pick-Nevanlinna inequalities characterize those functions that are restrictions of analytic functions taking the upper half plane into itself.

Modulus of continuity with respect to semigroups of analytic functions and applications

Invariant subspace problem for classical spaces of functions

Comparison of singular numbers of composition operators on different Hilbert spaces of analytic functions

In order to establish that extremal functions in the Bergman space A p act as both expansive multipliers and contractive divisors, Duren, Khavinson, Shapiro and Sundberg made use of an integral formula involving the biharmonic Green function. Using a weighted biharmonic Green function, we derive an analogous integral formula in the standard weighted Bergman space \(A_{\alpha}^{p}\ {\rm when}\ \alpha =1\), and we also discuss how the formula can be established for general α. Moreover, we show that each \(A_{\alpha}^{p}\) inner function acts as a contractive divisor on the invariant subspace which it generates.