The Cesàro operator on Korenblum type spaces of analytic functions

[EN] The spectrum of the CesA ro operator , which is always continuous (but never compact) when acting on the classical Korenblum space and other related weighted Fr,chet or (LB) spaces of analytic functions on the open unit disc, is completely determined. It turns out that such spaces are always Schwartz but, with the exception of the Korenblum space, never nuclear. Some consequences concerning the mean ergodicity of are deduced.The research of the first two authors was partially supported by the projects MTM2013-43540-P and MTM2016-76647-P. The second author gratefully acknowledges the support of the Alexander von Humboldt Foundation.Albanese, A.; Bonet Solves, JA.; Ricker, WJ. (2018). The Cesàro operator on Korenblum type spaces of analytic functions. Collectanea mathematica. 69(2):263-281. https://doi.org/10.1007/s13348-017-0205-7S263281692Albanese, A.A., Bonet, J., Ricker, W.J.: Mean ergodic operators in Fréchet spaces. Ann. Acad. Sci. Fenn. Math. 34, 401–436 (2009)Albanese, A.A., Bonet, J., Ricker, W.J.: Montel resolvents and uniformly mean ergodic semigroups of linear operators. Quaest. Math. 36, 253–290 (2013)Albanese, A.A., Bonet, J., Ricker, W.J.: The Cesàro operator in growth Banach spaces of analytic functions. Integral Equ. Oper. Theory 86, 97–112 (2016)Albanese, A.A., Bonet, J., Ricker, W.J.: The Cesàro operator in the Fréchet spaces $$\ell ^{p+}$$ ℓ p + and $$L^{p-}$$ L p - . Glasgow Math. J. 59, 273–287 (2017)Albanese, A.A., Bonet, J., Ricker, W.J.: The Cesàro operator on power series spaces. Stud. Math. doi: 10.4064/sm8590-2-2017Aleman, A.: A class of integral operators on spaces of analytic functions, In: Proceedings of the Winter School in Operator Theory and Complex Analysis, Univ. Málaga Secr. Publ., Málaga, pp. 3–30 (2007)Aleman, A., Constantin, O.: Spectra of integration operators on weighted Bergman spaces. J. Anal. Math. 109, 199–231 (2009)Aleman, A., Peláez, J.A.: Spectra of integration operators and weighted square functions. Indiana Univ. Math. J. 61, 1–19 (2012)Aleman, A., Persson, A.-M.: Resolvent estimates and decomposable extensions of generalized Cesàro operators. J. Funct. Anal. 258, 67–98 (2010)Aleman, A., Siskakis, A.G.: An integral operator on $$H^p$$ H p . Complex Var. Theory Appl. 28, 149–158 (1995)Aleman, A., Siskakis, A.G.: Integration operators on Bergman spaces. Indiana Univ. Math. J. 46, 337–356 (1997)Barrett, D.E.: Duality between $$A^\infty$$ A ∞ and $$A^{- \infty }$$ A - ∞ on domains with nondegenerate corners, Multivariable operator theory (Seattle, WA, 1993), pp. 77–87, Contemporary Math. Vol. 185, Amer. Math. Soc., Providence (1995)Bierstedt, K.D., Bonet, J., Galbis, A.: Weighted spaces of holomorphic functions on bounded domains. Mich. Math. J. 40, 271–297 (1993)Bierstedt, K.D., Bonet, J., Taskinen, J.: Associated weights and spaces of holomorphic functions. Stud. Math. 127, 137–168 (1998)Bierstedt, K.D., Meise, R., Summers, W.H.: A projective description of weighted inductive limits. Trans. Am. Math. Soc. 272, 107–160 (1982)Bierstedt, K.D., Summers, W.H.: Biduals of weighted Banach spaces of analytic functions. J. Aust. Math. Soc. (Ser. A) 54, 70–79 (1993)Bonet, J., Domański, P., Lindström, M., Taskinen, J.: Composition operators between weighted Banach spaces of analytic functions. J. Aust. Math. Soc. (Ser. A) 64, 101–118 (1998)Diestel, J., Jarchow, H., Tonge, A.: Absolutely Summing Operators. Cambridge University Press, Cambridge (1995)Domenig, T.: Composition operators on weighted Bergman spaces and Hardy spaces. Atomic Decompositions and Diagonal Operators, Ph.D. Thesis, University of Zürich (1997). [Zbl 0909.47025]Domenig, T.: Composition operators belonging to operator ideals. J. Math. Anal. Appl. 237, 327–349 (1999)Dunford, N., Schwartz, J.T.: Linear Operators I: General Theory. 2nd Printing. Wiley Interscience Publ., New York (1964)Edwards, R.E.: Functional Analysis. Theory and Applications. Holt, Rinehart and Winston, New York, Chicago San Francisco (1965)Grothendieck, A.: Topological Vector Spaces. Gordon and Breach, London (1973)Hedenmalm, H., Korenblum, B., Zhu, K.: Theory of Bergman Spaces. Graduate Texts in Mathematics, vol. 199. Springer, New York (2000)Jarchow, H.: Locally Convex Spaces. Teubner, Stuttgart (1981)Korenblum, B.: An extension of the Nevanlinna theory. Acta Math. 135, 187–219 (1975)Krengel, U.: Ergodic Theorems. de Gruyter Studies in Mathematics, vol. 6. Walter de Gruyter Co., Berlin (1985)Lusky, W.: On the isomorphism classes of weighted spaces of harmonic and holomorphic functions. Stud. Math. 175(1), 19–40 (2006)Meise, R., Vogt, D.: Introduction to Functional Analysis. Clarendon Press, Oxford (1997)Melikhov, S.N.: (DFS )-spaces of holomorphic functions invariant under differentiation. J. Math. Anal. Appl. 297, 577–586 (2004)Persson, A.-M.: On the spectrum of the Cesàro operator on spaces of analytic functions. J. Math. Anal Appl. 340, 1180–1203 (2008)Pietsch, A.: Nuclear Locally Convex Spaces. Springer, Berlin (1972)Shields, A.L., Williams, D.L.: Bounded projections, duality and multipliers in spaces of analytic functions. Trans. Am. Math. Soc. 162, 287–302 (1971)Siskakis, A.: Volterra operators on spaces of analytic functions—a survey. In: Proceedings of the First Advanced Course in Operator Theory and Complex Analysis, Univ. Sevilla Serc. Publ., Seville, pp. 51–68 (2006

Beurling's theorem for the Bergman space

A celebrated theorem in operator theory is A. Beurling's description of the invariant subspaces in $H^2$ in terms of inner functions [Acta Math. {\bf81} (1949), 239--255; MR0027954 (10,381e)]. To do the same thing for the Bergman space $L^2_a$ has been deemed virtually impossible by many analysts, in view of the fact that the lattice of invariant subspaces is so large, and that the invariant subspaces may have weird properties as viewed from the $H^2$ perspective. The size of the lattice can be appreciated from the known fact that essentially every operator on separable Hilbert space can be realized as the compression of the Bergman shift on $M\ominus N$, where $M$ and $N$ are invariant subspaces, $N\subset M$. But a Beurling-type theorem is precisely what the present paper delivers. Given an invariant subspace $M$ in $L^2_a$, consider the subspace $M\ominus TM$, where $T$ stands for multiplication by $z$. This makes sense because $TM$ is a closed subspace of $M$. In Beurling's $H^2$ case, $M\ominus TM$ is one-dimensional and spanned by an inner function. In the $L^2_a$ setting, the dimension of $M\ominus TM$ may be arbitrarily large, even infinite. However, with the correct analogous definition of inner functions in $L^2_a$, all vectors of unit norm in\break $M\ominus TM$ are $L^2_a$-inner. Following Halmos, the subspace $M\ominus TM$ is called the wandering subspace of $M$. Given an invariant subspace, a natural question is: which collections of elements generate it? In particular, one can ask for the least number of elements in a set of generators. It is known that the dimension of the wandering subspace represents a lower bound for the least number of generators. In the paper, it is shown that any orthonormal basis in the wandering subspace (which then consists of $L^2_a$-inner functions) generates $M$ as an invariant subspace. This settles the issue of the minimal number of generators. Let $P$ be the orthogonal projection $M\to M\ominus TM$, and let $L\colon M\to M$ be the operator such that $TL$ is the orthogonal projection $M\to TM$. Then, for $f\in M$, $f=Pf+TLf$. If we do the same for $Lf\in M$, we get $Lf=PLf+TL^2f$ and, inserting it into the original relation for $f$, we get $f=Pf+TPLf+T^2L^2f$. As we go on repeating this process, we get $f=Pf+TPLf+T^2PL^2f+\cdots+T^{n-1}PL^{n-1}f+T^nL^nf$. The point with this decomposition is that, apart from the last term, each term is of the form $T$ to some power times an element of $M\ominus TM$, so that $Pf+TPLf+T^2PL^2f+\cdots+T^{n-1}PL^{n-1}f$ is in\break $[M\ominus TM]$, the invariant subspace generated by $M\ominus TM$. If the operators $T^nL^n$ happened to be uniformly bounded, as they are in the case of $H^2$, $T^nL^nf$ would tend to $0$ in the weak topology, and $f$ would be in the weak closure of $[M\ominus TM]$, which by standard functional analysis coincides with $[M\ominus TM]$. However, for the Bergman space, it seems unlikely that the $T^nL^n$ are uniformly bounded for all possible invariant subspaces $M$, although no immediate counterexample comes to mind. For this reason, the authors try Abel summation instead, and consider for $0<s<1$ the operators $R_s\colon M\to [M\ominus TM]$ given by $R_s=P+sTPL+s^2T^2PL^2+s^3T^3PL^3+\cdots$; it is easy\break to show that the series converges in norm. To prove that M=\break [M \ominus TM], it suffices to check that (a) $\|R_s\|\le C$ for some constant independent of $s$, and (b) $R_sf\to f$ in the topology of uniform convergence on compacts in the unit disk. This is so because $R_sf\in [M\ominus TM]$ then converges weakly to $f\in M$ as $s\to1$. Part (b) is easy; the trick is to obtain (a). The authors show at an early stage that for $\lambda\in\bold D$, M=(M\ominus TM)+\break (T-\lambda)M, and that the sum is direct (in the Banach space sense). They write $Q_\lambda f$ for the skewed projection operator $M\to M\ominus TM$ associated with this decomposition. The operator $Q_\lambda$ has a convergent Taylor series expansion $Q_\lambda=P+\lambda PL+\lambda^2 PL^2+\lambda^3PL^3+\cdots$, which very much resembles the expression for $R_s$. In fact, one sees that $R_sf(w)=Q_{sw}f(w)$. Now one observes that $Q_\lambda f(\lambda)=f(\lambda)$, because the element of $(T-\lambda)M$ which one has to add to $Q_\lambda f$ to obtain $f$ vanishes at the point $\lambda$. It follows that $R_sf(w)\to f(w)$ normally in $\bold D$ as $s\to1$. We come to the hard part: obtaining the uniform boundedness of the operators $R_s$. What is needed is a concrete representation formula for the norm in $M$ which makes it possible to compare the norms of $f$ and $R_sf$. Here, the factorization theory due to the reviewer [J. Reine Angew. Math. 422 (1991), 45--68; MR1133317 (93c:30053)], and subsequent improvements by Duren-Khavinson-Shapiro-Sundberg, come to assistance. Let $\varphi$ be an $L^2_a$-inner function, and let $f\in[\varphi]$, the invariant subspace generated by $\varphi$. The norm of $f$ can then be expressed in terms of the quotient $f/\varphi$. That formula suggests the norm identity (1) $\|f\|^2=\pi^{-1}\int_\bold D\|Q_w f\|^2dA(w)+\pi^{-2}\int_{\bold D\times\bold D}\Gamma(z,w) \Delta_z\Delta_w|Q_wf(z)|^2\,dA(z)\,dA(w)$, which turns out to be valid for general invariant subspaces $M$, where $\Gamma(z,w)$ is the biharmonic Green function for the unit disk (suitably normalized), which is known to be positive. One first checks that the formula (1) holds for all $f$ in $[M\ominus TM]$. Second, a related integral formula for the norm in $M$, in terms of integrals along concentric circles, is established for all $f\in M$. Then an intricate argument, involving Green's formula and rather subtle analysis of signs of functions, shows that for $f\in M$, we have at least a $\ge$ inequality in (1). To get the identity (1) for general $f\in M$, it is necessary to show first that $M=[M\ominus TM]$. Formula (1), which we know to hold for $f\in [M\ominus TM]$ and with $\ge$ for general $f\in M$, applies to $R_s f\in[M\ominus TM]$ with equality, and if we notice that $Q_wR_sf(z)=Q_{sw}f(z)$, we get (2) $\|R_sf\|^2= \pi^{-1}\int_\bold D\|Q_{sw} f\|^2dA(w)+\pi^{-2}\int_{\bold D\times\bold D} \Gamma(z,w)\Delta_z\Delta_w|Q_{sw}f(z)|^2\,dA(z)\,dA(w)$. An almost radial monotonicity property of $\Gamma(z,w)$ in the $w$ variable then shows that the last term on the right-hand side of (2) has a $\limsup$ as $s\to1$ bounded by twice the value one gets when $s$ is set equal $1$. Moreover, the first term on the right-hand side of (2) has a $\limsup$ as $s\to 1$ which equals what one gets when $s=1$ is plugged in. Thus, $\limsup_s\|R_sf\|\le 2\|R_1f\|\le2\|f\|$. It follows that $R_sf\to f$ weakly, which completes the proof. In the paper, it is even shown that $R_sf\to f$ in norm as $s\to1$. Incidentally, the proof also answers affirmatively one of the conjectures raised by the reviewer concerning polynomial approximation in certain weighted Bergman spaces [in Linear and complex analysis. Problem book 3. Part II, 114, Lecture Notes in Math., 1574, Springer, Berlin, 1994]. The above-mentioned theorem is new also in the case when the wandering subspace $M\ominus TM$ is one-dimensional. The theorem seems to represent a breakthrough in our understanding of the invariant subspaces of the Bergman space. What is desirable and remains to be developed is a better understanding of the wandering subspaces