Spectra of Generalized Cesàro Operators Acting on Growth Spaces

We study the spectrum of generalized Cesàro operators Tg\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T_g$$\end{document} acting on the class of growth spaces A-α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A^{-\alpha }$$\end{document}. We show how the problem of determining the spectrum is related to boundedness of standard weighted Bergman projections on weighted L∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L^\infty $$\end{document}-spaces. Using this relation we establish some general spectral properties of these operators, and explicitly compute the spectrum for a large class of symbols g.


Introduction and Statements of the Main Results
Let D denote the open unit disk of the complex plane C. For a fixed analytic function g : D → C with g(0) = 0 we define the corresponding generalized Cesàro operator T g acting on an analytic function f : D → C by the formula For the particular choice of g(z) = log( 1 1−z ) we obtain the classical (shifted) Cesàro operator, which can alternatively be defined by its action on the Taylor coefficients of f (z) = ∞ n=0 a n z n by the formula The action of generalized Cesàro operators on classical spaces of analytic functions has been studied in a number of articles. It was noted in [14] that T g is bounded on the Hardy space H 2 if and only if g is a function of bounded mean oscillation, and this fact was used to obtain a short proof of the analytic John-Nirenberg inequality. Further results on boundedness and compactness 26 Page 2 of 19 B. Malman IEOT of T g acting on the Hardy spaces H p for p = 2 have been obtained in [5], and a characterization of the spectrum of T g acting on those spaces is available in [3]. Further properties of the spectrum of T g acting on H 2 are described in [19]. The corresponding questions have also been studied in the context of the Bergman spaces (see [2,6]). More recently, T g operators with entire symbols g : C → C acting on spaces of entire functions have been studied in [8,10,11]. A study of the spectrum of a certain normalized version of T g acting on a class of Banach spaces of analytic function satisfying some natural assumptions is carried out in [4]. The two excellent survey articles [1] and [16] contain more references and mention how this class of operators appear in other parts of analysis. The purpose of this article is to study the spectrum of T g acting on the so-called growth spaces. For α > 0, the growth space A −α is the Banach space of analytic functions defined in D for which the quantity is finite. Growth spaces appear in several contexts, perhaps most importantly in the study of zero sequences and interpolating sequences for the classical Bergman spaces (see [13,Chapter 4 and 5]). The closure of analytic polynomials in the norm · −α is denoted by A −α 0 and consists precisely of those functions f ∈ A −α for which The space A −α 0 has the big advantage of being separable, and it turns out that T g exhibits largely the same behaviour on A −α and A −α 0 . As we will see in Sect. 3, T g is simultaneously bounded or compact on both spaces, and the spectrum of T g is the same for both spaces. The boundedness and compactness questions have already been studied in [17], where it is shown that T g is bounded on A −α if and only if g satisfies that is, if and only if g is contained in the Bloch space B. The operator is compact if and only if g ∈ B 0 , the little Bloch space, which is the subspace of B consisting of functions which satisfy Our study of the spectrum σ(T g |A −α ) follows an idea of [2] which translates the spectral problem into an equivalent problem of characterizing weights w : D → (0, ∞) with a certain property. It starts with the observation that for λ ∈ C\{0} the unique analytic solution h to the equation It is easy to see that the operator T g − λ is injective, and hence it will be invertible on any Banach space X if and only if the operator R λ,g acts boundedly on X. In the case X = A −α , this in turn implies an equivalence of norms on a certain Banach space of analytic functions which we will now describe. To this end, let w be a weight on D. For us, this will mean a strictly positive continuous function w : D → (0, ∞). Consider the space L ∞ w consisting of (equivalence classes of) measurable functions f defined in D which satisfy wf ∞ < ∞, where · ∞ denotes the usual essential supremum norm. Let H ∞ w be the closed subspace of L ∞ w consisting of analytic functions. For λ ∈ C\{0} let It turns out (see Proposition 5.1 below) that λ is in the resolvent set ρ(T g |A −α ) if and only if for f ∈ H ∞ w we have the equivalence of norms sup We are thus lead to studying weights w for which such an equivalence holds. We show in Sect. 4 that the existence of such a norm equivalence is connected to the boundedness on L ∞ w of the weighted Bergman projections. For δ > −1, the weighted Bergman projection P δ is given by where dA denotes the area measure on D. For the class of bounded and differentiable weights satisfying for some constant k w > 0 the inequality we prove the following theorem (see Sect. 4 for the definition ofP δ appearing below).
Theorem 4.5. Let w : D → (0, ∞) be a bounded and differentiable weight which satisfies (3). The following are equivalent: defines an equivalent norm on H ∞ w . The first three conditions of the above theorem are equivalent, with the same constant δ, even without the assumption that (3) holds (see Theorem 4.1). The fourth condition is on the other hand crucial for our further study of the spectrum of T g on the growth spaces. We note that the general problem of boundedness of weighted Bergman projections on L ∞ w has been studied in [9].
Results of Sect. 4 are applied to the spectral problem in Sect. 5. The main difficulty is a technical one of extending (2) to higher derivatives, i.e., to establish that condition (iv) of Theorem 4.5 holds for the weight given by (1) whenever λ ∈ ρ(T g |A −α ). The main tool here is an operator interpolation theorem which we prove in Sect. 2 (see Theorem 2.2 below), and the result is the following characterization of the spectrum of T g acting on A −α .
The following are equivalent: This characterization allows us to explicitly compute the spectrum for a class of symbols g ∈ B. It turns out, precisely as is the case for many other Banach spaces X, that the spectrum of T g acting on X = A −α satisfies the equality whenever g is the primitive of a rational function. Moreover, we obtain the following spectral stability result.
This allows us to extend (4) to the case when g is the sum of a primitive of a rational function with a bounded analytic function and a function in B 0 (see Theorem 5.6). For a general Banach space X and a general symbol g, the equality in (4) does not hold. This is shown in [2] in the case when X is any of the standard Bergman spaces. By relating condition (ii) of Theorem 5.3 to the classical Békollé weight condition, we show that the example in [2] can be adapted to the case considered here, so that the spectrum of T g on A −α can indeed be much larger than (4).

An Integral Kernel Estimate
The following well-known estimate will be used frequently below. For a proof, see [13,Theorem 1.7].

Equivalent Norms
For any n ≥ 0, the space A −α can equivalently be normed by (see Theorem 5.5 in [12]). We will often use these norms without further reference.

Duality Relations
Let L 1 (D) be the Lebesgue space of (equivalence classes of) measurable functions which are integrable with respect to dA. It is a consequence of the results of [15] that the dual space (A −α 0 ) * can be identified with the quotient space Moreover, it is also proved in [15] that the dual space (L 1 (D)/N ) * can be identified with A −α . The duality pairing is in both cases given by converges weakly to f if and only if the norms f n −α stay bounded and f n (z) → f (z) for each z ∈ D as n → ∞, uniformly on compact subsets of D. As the dual space of L 1 (D)/N , the space A −α can be equipped with the usual weak-* topology, and similarly {f n } ∞ n=1 in A −α converges weak-* to a function f if and only if the norms f n −α stay bounded and f n (z) → f (z) uniformly on compact subsets of D. In particular, for r ∈ (0, 1) the dilations f r (z) = f (rz) of any function f ∈ A −α converge weak-* to f as r → 1.

Interpolation of Operators on Growth Spaces
In Sect. 5 we will need the following result on interpolation of linear operators between two growth spaces. The proof consists of applying the basic ideas of the well-known complex interpolation method.
Proof. Let C 0 (D) denote the Banach space of functions continuous in D that vanish on the boundary ∂D = T, and let and that the norms h z −β are bounded uniformly in z ∈ S by a constant multiple of f ∞ , i.e., there exists a constant C > 0 such that for all λ ∈ D and all z ∈ S we have the estimate |h z (λ)| ≤ C f ∞ (1 − |λ|) −β . In particular, the family {h z } z∈S is bounded uniformly on compact subsets of D. It is also clear that h zn (λ) → h z (λ) uniformly on compact subsets of D if z n → z ∈ S, and hence in that case h zn → h z weakly in A −β 0 . For a fixed > 0 consider the function G : S → C 0 (D) given by Note that the exponential factor in the definition of G ensures that If z n → z ∈ S, then the above paragraph and the fact that R preserves weak convergence of sequences implies that Rh zn → Rh z weakly in A −β 0 . Then Rh zn (λ) → Rh z (λ) uniformly on compact subsets of D, and so G (z n ) − G (z) ∞ → 0 by the rapid decay of exp(− /(1 − |λ|)). This shows continuity of G . We claim that G is analytic in S. We will complete the proof of the theorem under this assumption, and prove analyticity of G next. The assumption of boundedness of R on A −α 0 together with Proposition 2.1 implies that for all y ∈ R, we have where C > 0 depends only on the norm of the operator R on A −α 0 but not on > 0. In the same way we obtain but being independent of > 0. By the vector-valued generalization of the classical Hadamard's three lines theorem we get that In the above notation we have that h γ = g, and we conclude that Letting tend to zero and taking the supremum over λ ∈ D shows that R is bounded on A −γ 0 . It remains to prove that G : S → C 0 (D) is analytic. Recall that if Ω ⊆ C and X is a Banach space, then to verify that a function F : Ω → X is analytic it suffices to verify that z → φ(F (z)) is scalar-valued analytic for any φ ∈ X * (see [ linear operators on a Banach space X, then the analyticity of F : Ω → B(X) can be established by verifying that the function φ(F (z)x) is scalar-valued analytic for any φ ∈ X * and x ∈ X (see [18, p. 267, Theorem 1.2]). Let w(ζ) = (1 − |ζ|) β and C 0,w (D) be the Banach space of continuous functions f : D → C such that fw is bounded and vanishes on T, with the norm of f in given by is clearly analytic for any finite Borel measure μ on D and every g ∈ C 0 (D). We conclude that G (z) = M (z)A (z) is analytic in S.

Boundedness and Compactness
A consequence of the relation (A −α 0 ) * * = A −α is that any bounded linear operator T defined on A −α 0 has an extension to A −α which coincides with the double Banach space adjoint T * * : Applying this to the case of T = T g acting on A −α 0 , we see that its double adjoint coincides with T g acting on A −α . It follows that if T g is bounded or compact on A −α 0 , then it is also bounded or compact on A −α . The converse is a part of the following result.   [17], thus we only need to verify (i) and (ii) in the case of A −α 0 . The remark preceeding the proposition implies that if T g is bounded on A −α 0 , then it is bounded on A −α , and hence g ∈ B. Conversely if g ∈ B, then T g is bounded on A −α , and it is easy to verify that it maps the polynomials The last quantity tends to zero as |z| → 1, so that This completes the proof of (i). The same reasoning, with obvious modificiations, leads to a proof of (ii).
We note the following useful consequence of Proposition 3.1 and the discussion preceeding it.

Projections on L ∞ w
The purpose of this section is to establish some equivalent conditions of boundedness of the standard weighted Bergman projections on the spaces L ∞ w which were defined in the introduction. We recall that the definition of the standard weighted Bergman projection P δ , for δ > −1, is where f can be any measurable function for which the above integral makes sense. We also introduce the helpful sublinear operatorP : Our basic proposition on boundedness of these operators is the following.
Let C > 0 be the operator norm of P δ on L w ∞ . Then we have and so the boundedness ofP δ implies that Hence if (iii) holds, then P δ is bounded on L ∞ w .
With the investigation of spectra of T g and weights of the form in mind, we will restrict our further investigation to a class of weights which share some crucial properties with the above. Therefore, we will additionally assume that our weights are bounded, differentiable and satisfy for some constant k w > 0. Here ∇w denotes the gradient of the function w. An easily verifiable property of such weights is that they are approximately constant on discs of the form i.e., there exists a constant C > 0, independent of z, such that w(ζ)/w(s) ≤ C whenever ζ, s ∈ D z . We also have the growth estimates We refer to [2] for proofs of the above claims, where weights satisfying (5) have been studied in the context of T g acting on the weighted Bergman spaces. For w satisfying the estimate (5) we will now extend Theorem 4.1 to include a fourth equivalent condition, one which will be important in the next section.
, for each integer n ≥ 1 the right-hand side above defines an equivalent norm on H ∞ w . Proof. We start by establishing the proposition in the special case that n = 1. One of the norm inequalities holds without any assumption on the boundedness of P δ on L ∞ w , we need only the fact that w satisfies (5). Indeed, the value w(z) is comparable to values of w on the circle and so from Cauchy's integral formula we have that which clearly implies that We proceed to establish the reverse inequality. We claim that boundedness of P δ on L ∞ w implies that the operator P 1 δ given by To see this, we recall that by Theorem 4.1 the operator P δ is also bounded on L ∞ w , and we estimate where in the next-to-last step we used that w is strictly positive, and hence bounded from below for |ζ| < 1/2. This shows boundedness of P 1 Differentiating g we obtain where the last equality is the reproducing property of P δ+1 . Hence because by direct calculation we see that g(0) = 0. Then the boundedness of The proof of the case n = 1 is complete.
To prove the theorem for n > 1, note that if P δ is bounded on L ∞ w , then P δ+1 is bounded on L ∞ w , wherew(ζ) = (1 − |ζ| 2 )w(ζ). This follows from Theorem 4.1, because we havẽ The case n > 1 of the proposition now follows readily by induction.
We proceed to prove the converse of Proposition 4.2. For this, we will need the following very useful result from [2, Lemma 3.2]. If α + 1 > k w and β > α + 2 + k w , then  (6), we see that for sufficiently large δ the integral defining P δ f converges for every f ∈ L ∞ w . We will show that δ can be chosen so that the operator P δ is bounded on L ∞ w . This will follow from the assumption if we show that for some n ≥ 0 we have We have the obvious estimate An easy computation shows that the weightw = 1/w also satisfies (5), so if n and δ are sufficiently large, then by Lemma 4.3 we obtain   : D → (0, ∞) be a bounded and differentiable weight which satisfies (5). The following are equivalent: defines an equivalent norm on H ∞ w .

Spectrum
As mentioned in the introduction, for fixed analytic functions f, h : D → C, the equation has a unique solution R λ,g f which is given by It is easy to see that T g is injective if g = 0, and therefore non-zero λ is in the resolvent set of T g acting on any Banach space X of analytic functions if and only if the operator R λ,g is bounded on X. If this is the case, then R λ,g is automatically invertible on X.

Spectrum
We will now apply the results of Sect. 4 to prove Theorem 5.3, which provides a characterization of the spectrum of T g acting on A −α .

Proposition 5.1. The operator R λ,g is bounded on A −α if and only if
and the weight for every f ∈ H ∞ w (D). Proof. Assume first that R λ,g is bounded on A −α . Then e g/λ = R λ,g 1 ∈ A −α , so that (7) holds. Moreover, note that f ∈ H ∞ w if and only if e g/λ f ∈ A −α , and that if f (0) = 0, then e g/λ f = R λ,g e g/λ f .
Hence by the invertibility of R λ,g we have that e g/λ f ∈ A −α and which is clearly equivalent to (8). Conversely, assume that (7) and (8) hold. Then R λ,g maps constants into A −α because R λ,g 1 = e g/λ , while for any We make a short remark. By Corollary 3.2, R λ,g is bounded on A −α if and only if it is bounded on A −α 0 . Since 1 ∈ A −α 0 , we see that if R λ,g is bounded on A −α , then we obtain the stronger statement that e g/λ ∈ A −α 0 . Proposition 5.2. Assume that 0 = λ ∈ ρ(T g |A −α ) and let For each n ≥ 1, The assumption that λ ∈ ρ(T g |A −α ) mean precisely that R = R λ,g is bounded on A −α , and by Corollary 3.2 it is also bounded on A −α 0 . For any sufficiently large β > 0 we have by Proposition 3.1 that |λ| > T g A −β , and for such β the operator R λ , g is bounded on A −β 0 . Then from Theorem 2.2 and Corollary 3.2 we obtain that R λ,g is bounded on A −β for all β > α, and the claim follows from Proposition 5.1 by induction.
We can now prove the main result characterizing the spectrum of T g acting on A −α . Theorem 5.3. Assume that g ∈ B, λ ∈ C\{0} and The following are equivalent: Proof. The implication (i) ⇒ (ii) is covered by Proposition 5.2 together with Theorem 4.5. If (ii) holds, then w(z) is certainly bounded, and this together with Theorem 4.5 implies that the two conditions of Proposition 5.1 hold, so that (ii) implies (i).

Applications
As a first application of Theorem 5.3 we establish the spectral stability property of the operator T g that was mentioned in the introduction. Next we obtain the spectrum of T g in the case g is the anti-derivative of a rational function. The two results are then combined in Theorem 5.6 to obtain the spectrum of T g whenever g = r + h + b, where r is rational, h ∈ H ∞ and b ∈ B 0 .

Theorem 5.4. Let g, h ∈ B and assume that σ(T
Proof. It will be sufficient to show that ρ(T g |A −α ) ⊆ ρ(T g+h |A −α ), since the other inclusion follows by replacing g with g + h and h with −h. Fix λ ∈ ρ(T g |A −α ). By Theorem 5.3 we must verify that there exists a δ > −1 such that Take p, q > 1 with 1/p + 1/q = 1 and p close enough to 1 so thatλ = λ/p ∈ ρ(T g |A −α ). Letλ = λ/q. Use Hölder's inequality to obtain . Now use the assumption thatλ ∈ ρ(T h |A −α ) = C\{0} and Theorem 5.3 to see that δ > −1 can be chosen big enough so that we simultaneously have We get that Corollary 5.5. Let g, h ∈ B and assume that h ∈ H ∞ or h ∈ B 0 . Then Let ω 0 , . . . , ω n be distinct points on the circle T. For non-zero complex numbers c 0 , . . . , c n let The spectrum of T g in this case turns out to be This result can be predicted from results in [4], where it is shown that the equality above holds with T g replaced by the operator f → 1 z T g f . We shall therefore not carry out the entire argument, but merely indicate how condition (ii) of Theorem 5.3 can be used to establish (9). Let s k = Re(c k /λ).
Since for each k the function log 1 1−ω k z has bounded imaginary part, it follows easily that If for some k we have that s k > α, then by the above e g/λ ∈ A −α , which by Proposition 5.1 implies that Conversely, if s k < α for k = 0, . . . , n, then to show that λ ∈ ρ(T g |A −α ) it will suffice by (10) and (ii) of Theorem 5.3 to show that holds for some δ > −1. This follows from Proposition 2.1 together with a straightforward and elementary computation involving isolation of the possible poles of the functions |1 − ω k ζ| s k .
Proof. The first of the two set equalities in the statement is immediate from the discussion preceeding the theorem and Corollary 5.5. To establish the second equality it will be sufficient to show that e g/λ ∈ A −α whenever λ is in the interior of one of the closed disks whose union is σ(T g |A −α ). For any such λ there exists an > 0 such that e r/λ ∈ A −α− . Since h ∈ H ∞ and b ∈ B 0 , we obtain easily that e (h(z)+b(z))/λ (1 − |z| 2 ) . The significance of this definition comes from the work of Békollé, who proves that the B p (η)-condition is related to the boundedness of the standard weighted Bergman projections on weighted Bergman spaces. See [7] for details. (1 − |ζ| 2 ) δ |1 − zζ| δ+2 dA(ζ) ≤ C for all z ∈ D, and in particular for z ∈ S. But if z, ζ ∈ S, then |1 − zζ| h, and consequently w(z)
The significance of the above proposition in the study of the spectrum σ(T g |A −α ) is the following. We have seen in this section that the equality σ(T g |A −α ) = {0} ∪ λ ∈ C\{0} : e g/λ ∈ A −α (11) holds for a large class of symbols g. The fact that (11) does not hold for general g ∈ B can be seen from Proposition 5.7 and the corresponding result for weighted Bergman spaces L p,α a . For p > 0 and α > −1 the space L p,α a consists of functions analytic in D which satisfy The operator T g acts boundedly on L p,α a if and only if g ∈ B, and it is shown in [2] that λ ∈ ρ(T g |L p,α a ) if and only if the weight w(z) = |e pg(z)/λ |(1 − |z| 2 ) α is integrable (which means precisely that e g/λ ∈ L p,α a ) andw(z) = w(z)(1 − |z|) −η satisfies for some η > −1 and p 0 > 1 the B p0 (η)-condition. It is shown in [2] that there exists a function g ∈ B such that e g/λ belongs to the space L p,α a for all λ ∈ C\{0} and p > 0, yet the spectrum σ(T g |L p,α a ) is always larger than {0}. See [2, Section 5] for details of the construction of the function g and its properties. It can be see in [2] that g also satisfies e g/λ ∈ A −α 0 for all λ ∈ C\{0} and all α > 0. Let w(z) = |e g(z)/λ |(1 − |z| 2 ) α . If λ ∈ ρ(T g |A −α ), then condition (ii) of Theorem 5.3 holds for w for sufficiently large δ, and 26 Page 18 of 19 B. Malman IEOT consequently by Proposition 5.7 and the results of [2] mentioned above we have that λ ∈ ρ(T g |L 1,α a ). It follows that σ(T g |A −α ) ⊇ σ(T g |L 1,α a ).