OPERATOR IDENTITIES FOR STANDARD WEIGHTED BERGMAN SHIFT AND TOEPLITZ OPERATORS

Transcription

1 J. OPERAOR HEORY 70:2203, doi: /jot.20sep Copyright by HEA, 203 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS ANDERS OLOFSSON and ARON WENNMAN Communicated by Nikolai K. Nikolski ABSRAC. We prove an operator identity for the shift operator in the scale of standard weighted Bergman spaces in the unit disc. his operator identity is then applied in the context of functional calculus for the shift operator and a characterization of harmonic symbol Bergman space oeplitz operators is obtained generalizing an earlier result by Louhichi and Olofsson. Duality arguments lead to operator inequalities and structure formulas for reproducing kernel functions which make contact with work of Richter, Shimorin, and others. KEYWORDS: Bergman space, shift operator, oeplitz operator, functional calculus, reproducing kernel function. MSC 200: Primary 47B35, 47B32; Secondary 30H20, 47A INRODUCION Let α > and consider the standard weighted Bergman space A α D of analytic functions f in the unit disc D with finite norm f 2 α = f z 2 dµ α z, where D dµ α z = α + z 2 α daz, z D. Here da is usual planar Lebesgue area measure normalized so that the unit disc has unit area. Note that the space A 0 D is the unweighted Bergman space, and that the standard Hardy space H 2 D is a natural limit case of the spaces A α D as α. he norm of A α D can also be calculated from Parseval s formula f 2 α = a k 2 µ α;k

2 452 ANDERS OLOFSSON AND ARON WENNMAN using the power series expansion 0. f z = a k z k, z D, of f A α D. Here the numbers µ α;k = z 2k dµ α z = D k+α+, k = 0,, 2,..., k are the moments of the measure dµ α and the generalized binomial coefficients are defined using the Gamma function see Section. he scale of Hilbert spaces A α D has been subject to much interest as documented by the monograph Hedenmalm, Korenblum and Zhu [4]. he shift operator S α on the Bergman space A α D is the operator defined by S α f z = z f z, z D, for f A α D. It is straightforward to see that the shift S α is a left-invertible contraction. We show the following operator identity for the shift operator S α : 0.2 SαS α + 2 α = k S k αs k α valid in the full scale α > see heorem.4. he binomial coefficient in 0.2 is O/k α+3 as k see Proposition.2. Since S α is a contraction, this gives that the series in 0.2 are absolutely convergent in operator norm. Also, since S α is bounded from below the operator S αs α exists as a bounded linear operator on A α D. In the special case when n = α + 2 is a positive integer formula 0.2 is known and seems first to have appeared in Olofsson [8] where it was used in a calculation of operator-valued Bergman inner functions. In the other direction, we show that an operator formula of the form 0.2 together with a pureness condition characterize the Bergman shift operator S α up to unitary equivalence allowing for a general multiplicity see heorem 5.4. his last observation generalizes a recent result by Giselsson and Olofsson [2]. he left-hand side in 0.2 has the representation S α S α = S αs α, where S α = S α S αs α is the so-called Cauchy dual of S α. he operator S α is a weighted shift operator and acts as 0.3 S α µ f z = α;k a µ k z k, z D, α;k on functions f A α D given by 0.. Formula 0.3 follows by straightforward calculation see Lemma..

3 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 453 Motivated by 0.2 we turn to a study of bounded linear operators LA α D on A α D satisfying the operator identity 0.4 S α S α α + 2 = k S αs k α k. Recall that the sum in 0.4 is absolutely convergent in operator norm by decay of binomial coefficients see Proposition.2. We provide two descriptions of the operators LA α D satisfying 0.4: First as operator integrals = f e iθ dω Sα e iθ of functions f L with respect to the Bergman shift operator S α see heorem 2.5 and, second, as oeplitz operators = h on A α D with bounded harmonic symbols h see heorem 3.3. Here = D is the unit circle and the oeplitz operator on A α D with bounded harmonic symbol h is the operator h defined by h gz = D ζz α+2 hζgζdµ αζ, z D, for g A α D. he operator measure dω Sα can be thought of as the compression to A α D of the spectral measure for a unitary dilation of the operator S α. he relation between the symbols f and h is that h = P[ f ] is the Poisson integral of f see heorem 3.2. In the special case when n = α + 2 is a positive integer the above characterizations of operators satisfying 0.4 are from Louhichi and Olofsson [5]. he novelty here is the generalization of these results to the full parameter scale α >. Our proofs build on developments from [5] using the new ingredient 0.2. As a historical background we mention the classical paper Brown and Halmos [8] which has inspired much research on oeplitz operators. Examples of more recent progress on oeplitz operators in the Bergman space context are Axler and Čučković [7], Ahern and Čučković [2] and Ahern []. In the restricted parameter range < α 0 we show by a duality argument that the shift operator S α satisfies the inequality 0.5 f + C α;k Sα k 2 f k α + 2 S α f 2 α + f k 2 α α for f A α D and { f k } l 2 A α D finitely supported, where the C α;k s are arbitrary complex numbers such that 0.6 C α;k 2 = k+ for k =, 2, 3,... see Corollary 4.2. An interesting feature of inequality 0.5 is that it is stable with respect to the process of passing to restrictions to shift

4 454 ANDERS OLOFSSON AND ARON WENNMAN invariant subspaces. It should be noticed that 0.5 for α = 0 gives the inequality f + S 0 g S 0 f g 2 0, f, g A 0D, from Hedenmalm, Jakobsson and Shimorin [3], Proposition 6.4. A further analysis of inequalities derived from 0.5 leads to structure formulas for normalized reproducing kernel functions similar to what has previously been obtained by Shimorin [2] and McCullough and Richter [6] see heorem 5.5. See [3], [9], [7], [22], [23] for related results. A main inspiration behind these developments have been the ground breaking paper Aleman, Richter and Sundberg [4].. HE OPERAOR IDENIY In this section we shall prove the operator identity 0.2. For the purpose of more generality we shall consider vector-valued versions of the spaces A α D. Let α > and let E be a Hilbert space. We denote by A α E the space of all E-valued analytic functions. f z = a k z k, z D, with finite norm f 2 α = a k 2 µ α;k < +. It it straightforward to check that the space A α E is a Hilbert space of E-valued analytic functions in D with reproducing kernel function k + α + K α z, ζ = ζz α+2 I E = ζ k z k I k E, z, ζ D 2, where I E is the identity operator in LE. A standard reference for Bergman spaces in D is Hedenmalm, Korenblum and Zhu [4]; see also Duren and Schuster []. he shift operator acts as S α f z = a k z k, z D, on functions f A α E given by.. he adjoint shift Sα acts as.2 Sα µ f z = α;k+ a µ k+ z k, z D, α;k on functions f A α E given by.. Formula.2 is easily checked by straightforward calculation. Let us calculate the action of the operator S αs α. LEMMA.. Let α >. hen SαS α µ f z = α;k a µ k z k, z D, α;k+

5 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 455 for f A α E given by.. Proof. By the action of S α we have SαS α f, f α = S α f 2 α = a k 2 µ α;k = a k 2 µ α;k+, which by polarization gives SαS µ α f z = α;k+ a µ k z k, z D, α;k for f A α E given by.. Passing to the inverse S αs α the conclusion of the lemma follows. he reciprocal of the Bergman kernel function K α is essentially the binomial series.3 z α+2 = k z k, z D, k where the binomial coefficients are interpreted in the generalized sense β Γβ + = k k!γβ = k β j k! j=0 for k = 0,, 2,... using the Gamma function Γ. We shall need some properties of the coefficients in.3. PROPOSIION.2. Let α >. hen k α+2 k 0 for k > α + 2 if 2m α 2m for some integer m 0. Similarly k α+2 k 0 for k > α + 2 if 2m α 2m + for some integer m 0. Furthermore, the coefficients in.3 have the growth property that lim k k where Γ is the Gamma function. k α+3 = k Γα + 3 sinπα +, π Proof. Writing out the generalized binomial coefficient we have Γα + 3Γk α 2 = k k!γk α 2Γ k α 2 for k = 0,,.... Using the reflection formula ΓzΓ z = π sin πz for the Gamma function see formula 4.5 of [6] we obtain sin πk α 2 Γk α 2 = Γα + 3, k π k!

6 456 ANDERS OLOFSSON AND ARON WENNMAN which by the addition formula for the sine simplifies to.4 = k sin πα + Γk α 2 Γα + 3 k π k! for k = 0,,.... Analyzing the sign of the individual factors in.4 we obtain the conclusions about the sign of k α+2 k. A calculation using Stirling s formula lim x + Γx + x/e x 2πx = see Section 8.22 of [9] gives the asymptotic behavior of the numbers k α+2 k Ṫhe proof of identity 0.2 uses the following lemma on binomial coefficients. for j 0. LEMMA.3. Let µ α;k = / k+α+ k for α > and k 0. hen j k=0 k µ α;j k = µ α;j+ Proof. A calculation using the binomial series.3 gives that α + 2 z k k = zα+2, z D. z Observe that the sum in the lemma is the j-th aylor coefficient for the function f z = zα+2 z, z D. z α+2 Calculating the aylor series expansion for f we have f z = z z α+2 = j 0 µ α;j+ z j, z D. An identification of coefficients now yields the conclusion of the lemma. We are now ready for the proof of 0.2. HEOREM.4. Let α > and let E be a Hilbert space. hen the shift operator S α on A α E satisfies the operator identity SαS α + 2 α = k S αs k α k.

7 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 457 Proof. Observe that the sum in 0.2 is absolutely convergent in operator norm as follows by Proposition.2. Let f A α E be a function of the form.. By.2 we have that for k 0. We calculate that k Sα k f 2 α = µ 2 Sα k f 2 α;j+k α = a µ j+k 2 j 0 α;j j 0 l = l 0 µ 2 k α;j+k a µ j+k 2 α;j k µ 2 α;l µ a l 2, α;l k k=0 where the last equality follows by a change of order of summation. Now use Lemma.3 to conclude that µ 2 k Sα k f 2 α;j α = a µ j 2. α;j+ By Lemma. this last equality yields that k j 0 S k α f 2 α = S αs α f, f α for f A α E. he conclusion of the theorem now follows by a polarization argument. We mention that for n = α + 2 positive integer the result of heorem.4 originates from Section of [8] where it was used in a calculation of operatorvalued Bergman inner functions. 2. FUNCIONAL CALCULUS In this section and the next we shall study bounded linear operators in LA α D satisfying the operator identity S α S α α + 2 = k S αs k α k, where S α = S α S αs α is the so-called Cauchy dual of S α. Observe that the sum in 0.4 is absolutely convergent in operator norm by Proposition.2 since S α is a contraction. In this section we focus on the description of this class of operators in terms of functional calculus for the shift operator S α.

8 458 ANDERS OLOFSSON AND ARON WENNMAN For a Hilbert space operator LH and integer k Z we use the notation 2. k = { k for k 0, k for k < 0, which is standard in dilation theory see Chapter I of [24]. PROPOSIION 2.. Let α > and n Z. hen the operator = S α n satisfies 0.4. Proof. For n 0 we have S α S α ns α = S αs α S αs n αs α S αs α = S n αs αs α, and using heorem.4 we obtain that S α S α ns α α + 2 = Sα n k S k αsα k = k S k αs α ns k α. his gives the result for n 0. For n < 0 the result follows by a passage to adjoints. Notice that for n = 0 the result of Proposition 2. is merely a restatement of heorem.4. he function space A α D is naturally equipped by a unitary group of translation operators τ : e iθ τ e iθ, where τ e iθ f z = f ze iθ, z D, for f A α D and e iθ. he map τ : e iθ τ e iθ LA α D is continuous in the strong operator topology. We say that an operator LA α D is homogeneous of degree k Z with respect to the group of translations if it has the property that τ e iθ τ e iθ = e ikθ for e iθ. Observe that an operator of homogeneity 0 is a Fourier multiplier. For a general operator LA α D we shall consider its k-th homogeneous part given by 2.2 k f = 2π e ikθ τ e iθ τ e iθ f dθ, f A α D, for k Z, where the integral is interpreted as a standard A α D-valued integral of a continuous function. A change of variables in 2.2 shows that k is homogeneous of degree k in the above sense. Standard harmonic analysis arguments show that a general operator LA α D can be reconstructed from its homogeneous parts as a Cesàro limit 2.3 = lim N k N + k k N

9 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 459 in the strong operator topology in LA α D see Section 2 of [5] for details. In the upcoming lemmas we consider operators LA α D satisfying 0.4 and an additional homogeneity constraint. LEMMA 2.2. Assume that LA α D is homogeneous of degree 0 and that satisfies 0.4. hen is a constant multiple of the identity operator I on A α D. Proof. he operator being homogeneous of degree 0 amounts to saying that is a Fourier multiplier in the sense that f z = t j a j z j, z D, j 0 for f A α D given by 0., where {t j } j=0 is a sequence of complex numbers. Boundedness of corresponds to the multiplier sequence {t j } j=0 being bounded. he relation 0.4 means that 2.4 S α f, S α α + 2 f α = k Sα k f, Sα k f α for f A α D. We shall next calculate the scalar products in 2.4. By 0.3 we have that 2.5 S α f, S α f α = j 0 t j+ µ 2 α;j µ α;j+ a j 2 for f A α D given by 0.. By.2 we have that α + 2 α k Sα k f, Sα k f α = k j 0 j = j 0 k=0 α + 2 k t j µ 2 α;j+k µ α;j a j+k 2 tj k µ α;j k a j 2 µ 2 α;j for f A α D given by 0., where the last equality follows by a change of order of summation. Using equations 2.4, 2.5 and 2.6 and varying f A α D of the form 0., we conclude that 2.7 t j+ µ α;j+ = j k=0 α + 2 k tj k µ α;j k for j 0. Recall Lemma.3. By 2.7 we conclude that t j = t 0 for j. his gives the conclusion that = t 0 I. he following lemma allows for reduction to homogeneity 0. LEMMA 2.3. Let LA α D be homogeneous of degree k 0. hen = S k αl k α, where L α = S αs α S α is the Moore Penrose left-inverse of S α.

10 460 ANDERS OLOFSSON AND ARON WENNMAN Proof. It is straightforward to check that the range of is contained in the range of S k α see Lemma 3.2 of [5]. his gives the factorization = S k αl k α. We can now describe a general operator LA α D satisfying 0.4. Recall the notation 2.. HEOREM 2.4. Let LA α D be a bounded linear operator. hen satisfies 0.4 if and only if k = c k S α k, k Z, for some sequence {c k } k= of complex numbers, where k is the k-th homogeneous part of. Proof. We consider first the if-part. By Proposition 2. every homogeneous part k = c k S α k of satisfies 0.4. By the approximation property 2.3 we conclude that the operator satisfies 0.4. Assume next that LA α D satisfies 0.4. Since the operators S α and S α are both homogeneous of degree, we have that S α τ e iθ τ e iθ S α = τ e iθ S α S ατ e iθ = τ e iθ α + 2 = n n + n 0 n 0 S n ατ e iθ τ e iθ S n α n α + 2 n + S n αs n α for e iθ. Now using 2.2 we calculate that S α k S α f = e ikθ S 2π α τ e iθ τ e iθ S α f dθ α + 2 = n e ikθ S n + 2π ατ n e iθ τ e iθ Sα n f dθ n 0 = n S n + α n k Sα n f n 0 τ e iθ for f A α D. his shows that every k-th homogeneous part k of satisfies 0.4. Let now k 0 and consider the k-th homogeneous part k. We shall show that k = c k Sα k for some constant c k C. By Lemma 2.3 we have the factorization k = SαL k k α k. Next we show that L k α k satisfies 0.4. Since S α = L α, we have S α L k α k S α = L k αs α k S α α + 2 = L k α n S n n + α k Sα n, n 0 and using the factorization k = SαL k k α k we calculate that S α L k α k S α α + 2 α + 2 = n L k n + αsα n+k L k α k Sα n = n Sα n L k n + α k Sα n. n 0 n 0

11 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 46 Since the operator L α is homogeneous of degree, the operator L k α k has homogeneity 0. By Lemma 2.2 we conclude that L k α k = c k I for some c k C. Solving for k we get k = c k Sα k for k 0. Assume now that k < 0. hen k is homogeneous of degree k and satisfies 0.4. By the result of the previous paragraph we have k = c k S α k for some c k C, and a passage to adjoints yields k = c k Sα k. his completes the proof of the theorem. Let LH be a Hilbert space contraction operator, and recall the notation 2.. he existence of a unitary dilation of yields existence of a positive operator measure dω on such that e ikθ dω e iθ = k, k Z. his last property determines dω uniquely within the class of positive operator measures justifying the notation dω. A classical result of Sz.-Nagy and Foias gives that dω is absolutely continuous with respect to Lebesgue measure on if LH is a completely non-unitary contraction see heorem II.6.4 of [24]. In the case of a shift operator S the absolute continuity of dω S is more easily verified see for instance [5]. For dω absolutely continuous the functional calculus 2.8 L f f e iθ dω e iθ LH has the approximation property that 2.9 f e iθ dω e iθ = lim N k N k f kk N + in the strong operator topology in LH for every f L, where f k = e ikθ f e iθ dθ, k Z, 2π are the Fourier coefficients of f see for instance Section 4 of [5]. Next we describe the operators LA α D satisfying identity 0.4 using functional calculus integrals. HEOREM 2.5. Let α > and LA α D. hen satisfies 0.4 if and only if has the form of an operator integral 2.0 = f e iθ dω Sα e iθ in LA α D for some function f L. Furthermore, we have that = f.

12 462 ANDERS OLOFSSON AND ARON WENNMAN that Proof. Assume first that satisfies 0.4. By heorem 2.4 and 2.3 we have 2. = lim N k N k c N + k S α k in the strong operator topology in LA α D, where {c k } k= is a sequence of complex numbers. By Lemma 5. of [5] the harmonic function hz = c k r k e ikθ, z = re iθ D, k= is bounded with uniform bound hz for z D. Passing to boundary values we obtain a function f L with Fourier coefficients f k = c k for k Z see for instance Chapter of [20]. Now = lim N k 2.2 f ksα k = f e iθ dω N + Sα e iθ k N in the strong operator topology in LA α D by the continuity property 2.9 for the functional calculus. Conversely, if LA α D has the form of an operator integral 2.0, then 2.2 holds and Proposition 2. gives that satisfies 0.4. he norm equality = f when has the form 2.0 holds more generally for an operator integral with respect to the shift operator on a Hilbert space of analytic functions on D see heorem 5.2 of [5]. We wish to mention here also an interesting result by Conway and Ptak [0], heorem 2.2 saying that if an operator LH has an isometric H D functional calculus and dω is absolutely continuous, then the L functional calculus 2.8 is isometric. his generalizes the norm equality in heorem 2.5. For k 0 we denote by e k the monomial e k z = z k, z C. Recall that the monomials {e k } k=0 form an orthogonal basis for A αd such that e k 2 α = µ α;k for k 0. LEMMA 2.6. Let α > and f L. hen f e iθ dω Sα e iθ e k, e j α = f j kµ α;maxj,k for j, k 0, where f k is the k-th Fourier coefficient of f. Proof. A straightforward calculation shows that { µ S α ne k, e j α = α;maxj,k for n = j k, 0 otherwise.

13 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 463 By 2.9 we now have that f e iθ dω Sα e iθ e k, e j α = lim his completes the proof of the lemma. N n N = f j kµ α;maxj,k. n f n Sα ne N + k, e j α 3. OEPLIZ OPERAORS In this section we continue our study of operators LA α D satisfying 0.4 with particular emphasis on the relation to oeplitz operators. By the oeplitz operator on A α D with bounded harmonic symbol h we mean the operator h defined by 3. h f z = D ζz α+2 hζ f ζdµ αζ, z D, for f A α D. Notice that the integral kernel / ζz α+2 in 3. is the kernel function for A α D and that formula 3. has the interpretation that the operator h is the compression to A α D of the operator of multiplication by h on L 2 D, dµ α. It is well-known that h = sup hz for h harmonic see Section 6. of [25]. rieu Le has pointed out to us that the statement of Lemma 6. in [5] contains an unfortunate typo. he following lemma supplies the correct statement. LEMMA 3.. Let α > and let h be a bounded harmonic function in D with power series expansion 3.2 hz = hen z D c k r k e ikθ, z = re iθ D. k= h e k, e j α = c j k µ α;maxj,k for j, k 0, where h is the oeplitz operator on A α D with symbol h. Proof. Recall the interpretation of h as multiplication by h followed by an orthogonal projection onto A α D. By straightforward calculation we have that h e k, e j α = hzz k z j dµ α z = c j k µ α;maxj,k for j, k 0. D

14 464 ANDERS OLOFSSON AND ARON WENNMAN Recall the classical fact that bounded harmonic functions h in D correspond to functions f L by means of the Poisson integral formula hz = P[ f ]z = Pze iθ f e iθ dθ, z D, 2π where Pz = z 2 / z 2 for z D is the Poisson kernel for D. For h given by 3.2 this correspondence means that c k = f k for k Z, where f k is the k-th Fourier coefficient of f. See for instance Chapter of [20] for details. We next show that oeplitz operators and functional calculus of shifts amount to the same class of objects. HEOREM 3.2. Let α > and f L. hen h = f e iθ dω Sα e iθ in LA α D, where h = P[ f ] is the Poisson integral of f and h is the oeplitz operator on A α D with symbol h. Proof. By Lemmas 2.6 and 3. we have that h e k, e j α = f e iθ dω Sα e iθ e k, e j for j, k 0. An approximation argument now yields the result. We next characterize the oeplitz operators using the operator identity 0.4. HEOREM 3.3. Let α > and let LA α D be a bounded linear operator. hen satisfies 0.4 if and only if is a oeplitz operator = h on A α D with bounded harmonic symbol h. Proof. By heorem 3.2 the oeplitz operators on A α D with bounded harmonic symbols and the operator integrals f dω Sα of functions f L amount to the same class of operators. he result now follows by heorem 2.5. Given the information that an operator is a oeplitz operator on A α D with bounded harmonic symbol it is of interest to know how to calculate its symbol h in 3. or equivalently the symbol f in the operator integral representation 2.0. In Section 2 we described how to calculate these symbols from the homogeneous parts k, k Z, of. Another method is to calculate the Berezin transform of and use that hz = z for z D see Chapter 6 of [25] or Proposition 5.2 of [5]. We mention that for n = α + 2 positive integer the characterizations of operators LA α D satisfying 0.4 in terms of functional calculus for the shift heorem 2.5 or as oeplitz operators heorem 3.3 originate from [5]. he novelty here is the extension of these results to the full parameter scale α >. α

15 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS OPERAOR INEQUALIIES In this section we shall discuss two operator inequalities naturally derived from 0.2 and, as a consequence, we shall obtain 0.5. By the notation LH we understand that is a bounded linear operator on a general not necessarily separable Hilbert space H. For H a Hilbert space we denote by l 2 H the standard Hilbert space of square-summable sequences from H over an appropriate index set. Let α >. We shall consider left-invertible operators LH such that 4. α + 2 k k k with the sum convergent in the weak operator topology in LH. he assumption of left-invertibility of is needed for the operator to exist in LH. Inequality 4. is to be interpreted in the operator sense that 4.2 α + 2 x, x k k x 2, x H. he sum in 4.2 is always absolutely convergent since the coefficients k α+2 k+ are of constant sign for k > α + as follows by Proposition.2. Let < α 0. A related property of an operator LH is that it satisfies the operator inequality 4.3 x + C α;k k 2 x k α + 2 x 2 + x k 2 for x H and {x k } l 2 H finitely supported, where {C α;k } are arbitrary complex numbers such that 0.6 holds. Notice that k+ α+2 k+ 0 for k by Proposition.2 which ensures existence of complex numbers {C α;k } satisfying 0.6. For the sake of easy reference we record that 4.4 /2 x 2 = /2 x, /2 x = x, x = x 2 for x H, where the positive square root is used. We shall next investigate the relation between 4. and 4.3. HEOREM 4.. Let < α 0 and let LH be a left-invertible operator satisfying 4.. hen satisfies 4.3. Proof. Notice first that 4. is equivalent to 4.5 /2 x 2 + C α;k k x 2 α + 2 x 2, x H. Now introduce the operator M on H by Mx = {y k }, where y 0 = /2 x and y k = C α;k k x for k. By 4.5 the operator M maps H boundedly into

16 466 ANDERS OLOFSSON AND ARON WENNMAN l 2 H and M 2 α + 2. Passing to the adjoint we have that M maps l 2 H into H and M 2 α + 2. A calculation gives that M {x k } = /2 x 0 + C α;k k x k for {x k } l 2 H finitely supported. his gives the inequality that 4.6 /2 x 0 + C α;k k 2 x k α + 2 x k 2 for {x k } l 2 H finitely supported. Setting x = /2 x 0 in 4.6 using 4.4 we obtain the conclusion of the theorem. As a consequence we obtain 0.5 for the Bergman shift operator. COROLLARY 4.2. Let < α 0 and let E be a Hilbert space. hen the shift operator S α on A α E satisfies the inequality f + C α;k Sα k 2 f k α + 2 S α f 2 α + f k 2 α α for all f A α E and { f k } l 2 A α E finitely supported, where the C α;k s are as in 0.6. Proof. Recall heorem.4. An application of heorem 4. now yields the conclusion of the corollary. We next turn to the converse of heorem 4.. HEOREM 4.3. Let < α 0. Let LH be an operator satisfying 4.3. hen is left-invertible and satisfies 4.. Proof. Setting x k = 0 for k in 4.3 we see that x 2 α + 2 x 2 for x H, showing that is left-invertible. Using the substitution x = /2 x 0 and 4.4 in 4.3 we get /2 x 0 + C α;k k 2 x k α + 2 x k 2 for {x k } l 2 H finitely supported. Introduce now the operator N by N{x k } = /2 x 0 + C α;k k x k for {x k } l 2 H finitely supported. It is clear that N extends uniquely by continuity to a bounded linear operator from l 2 H into H with N 2 α + 2. Passing to the adjoint we have that N is a bounded operator from H into l 2 H with norm control N 2 α + 2. A calculation shows that N x = {y k },

17 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 467 where y 0 = /2 x and y k = C α;k k x for k. his gives /2 x 2 + C α;k 2 k x 2 α + 2 x 2, x H. By this last inequality 4. follows. We wish to mention that heorems 4. and 4.3 are extracted from the method of proof of Shimorin [2], heorem 3.6. A similar analysis can be found in Mc- Cullough and Richter [6], Section 3. For a left-invertible operator LH we denote by = its Cauchy dual. We shall need also the following estimate of powers of. PROPOSIION 4.4. Let < α 0 and let LH be a left-invertible operator satisfying 4.. hen k+α k x 2 x 2 x 2 k+α+ k+α + α+ x 2, x H, k k k for k = 2, 3,..., where is the Cauchy dual of. Proof. Let x H. We shall consider the sequence a m = m x 2, m = 0,, 2,..., of non-negative real numbers. Recall that =. Substituting m x for x in 4.2 we have m+ x 2 m k m k x 2 + k k m x 2 k=0 k=m+ m k m k x 2 k=0 since = I, where the last inequality follows by an estimation using Proposition.2. For the numbers {a m } m 0 this gives the inequalities m a m+ k a m k, m = 0,, 2,.... k=0 We now introduce numbers b m such that a m+ + b m = k a m k, m = 0,, 2,.... m k=0 Notice that b m 0 for m 0. Passing to generating functions we have Az A Bz = z k z k Az k=0 for z small, where Az = a k z k and Bz = b k z k. k=0 k=0

18 468 ANDERS OLOFSSON AND ARON WENNMAN Solving for Az in 4.7 using the binomial series.3 we have that Az = A0 zbz z α+2. Now Az = a 0 b 0 z z α+2 zbz b 0 z α+2 and the rightmost function in this last equality has non-negative aylor coefficients since b m 0 for m. his leads to the estimate m + α + m + α a m a 0 b m m 0, m = 2, 3,.... Using a + b 0 = α + 2a 0 we calculate that m + α + m + α a m a 0 α + 2a m m 0 a m + α m + α + m + α = a m a 0 + α + a m m 0, for m = 2, 3,.... his yields the conclusion of the proposition. For α = 0 Proposition 4.4 gives the bounds k x 2 k x 2 x 2 + x 2, x H, for k = 2, 3,..., which were used in [7] to prove Cesàro summability in a context of wandering subspace theorems. 5. KERNEL FUNCIONS Let E be a Hilbert space. By a Hilbert space of E-valued analytic functions in a domain Ω we mean a Hilbert space H whose elements f are E-valued analytic functions in Ω in such a way that the point evaluations H f f ζ E at points ζ Ω are all continuous. Associated to such a space H there is a reproducing kernel function K H : Ω Ω LE uniquely determined by the properties that K H, ζe H and 5. f ζ, e = f, K H, ζe, f H, for all ζ Ω and e E. he essential property of a kernel function is that of positive definiteness and it is well-known that the kernel function determines the space completely see [5]. As an example of kernel functions we mention the Bergman kernels K α from Section. Assuming that the shift operator S f z = z f z, z Ω,

19 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 469 operates on a Hilbert space H of E-valued analytic functions on Ω it is wellknown that the adjoint shift S acts on reproducing elements by 5.2 S K H, ζe = ζk H, ζe for ζ Ω and e E. We next consider the backward shift. LEMMA 5.. Let H be a Hilbert space of E-valued analytic functions on a domain Ω containing the origin such that the backward shift operator operates in H. hen for ζ Ω and e E. B f z = f z f 0, z Ω, z B K H, ζe = K H, ζe K H, 0e ζ Proof. Let e, e 2 E and set f = B K H, ζe. Using the reproducing property 5. we calculate that f z, e 2 = B K H, ζe, K H, ze 2 = K H, ζe, BK H, ze 2 = BK H, ze 2, K H, ζe = K H ζ, ze 2 K H 0, ze 2 /ζ, e = K H z, ζe K H z, 0e /ζ, e 2 for z, ζ Ω. his yields the conclusion of the lemma. Let us recall briefly the so-called Wold map V from [4], [2] which is a convenient device for the purpose of modeling a general Hilbert space operator as a shift operator on a Hilbert space of analytic functions. Let LH be a leftinvertible operator and denote by L = its Moore Penrose left-inverse. he operator P = I L is the orthogonal projection of H onto the wandering subspace E = H H = ker for. For x H we consider the E-valued analytic function Vxz = PI zl x = PL k xz k, z < ρl, where ρl is the spectral radius of L. he map V : x Vx has the intertwining properties Vxz = zvxz and VLxz = Vxz Vx0 z for z < /ρl. In other words, the map V intertwines with the shift S and L with the backward shift B. he map V : x Vx being injective corresponds to the operator being pure in the sense that k H = {0}

20 470 ANDERS OLOFSSON AND ARON WENNMAN see Lemma 2.2 of [2]. For pure we equip the range H = VH with the norm induced by the map V, that is, we set f 2 = x 2 when f = Vx for some x H. his norm makes H a Hilbert space of E-valued analytic functions and the map V : H H unitary. he following proposition is from Shimorin [2], Proposition 2.3. For the sake of completeness we include a proof. PROPOSIION 5.2. Let LH be a pure left-invertible operator and H = VH as above. hen the kernel function for H is given by the formula K H z, ζ = PI zl I ζl E for z, ζ </ρl. In particular K H, 0 = I E, where I E is the identity operator on E. Proof. For f = Vx H, x H, e E and ζ < /ρl we have f ζ, e = PI ζl x, e = x, I ζl e = Vx, VI ζl e = f, PI L I ζl e. his gives the formula for K H. he property K H, 0 = I E is evident by the formula. Let us comment on the property K H, 0 = I E of a kernel function. PROPOSIION 5.3. Let H be a Hilbert space of E-valued analytic functions in a domain Ω containing the origin. hen K H z, 0 = I E, z Ω, if and only if the space E identified as constant functions on Ω is isometrically contained in H in such a way that H admits the orthogonal sum decomposition 5.3 H = E { f H : f 0 = 0}. Proof. Assume first that K H, 0 = I E. It is straightforward to check that the constant functions are isometrically contained in H. A straightforward calculation using the reproducing property 5. gives H E = { f H : f 0 = 0}, which yields the orthogonal sum decomposition. Assume next that E is isometrically contained in H in such a way that 5.3 holds. We show first that K H 0, 0 I E in LE. For this purpose let f e be a constant function in H. By the reproducing property 5. we have e 2 = f 0, e = f, K H, 0e f K H, 0e = f K H 0, 0e, e /2 using Cauchy Schwarz inequality. Since f = e, a cancellation argument gives e 2 K H 0, 0e, e for e E, which proves the assertion that K H 0, 0 I E.

21 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 47 We now show that K H, 0 = I E. Consider a function f H of the form f = K H, 0e for some e E. By 5.3 we have f 2 = f f f 0 2. Using the reproducing property 5. we have 5.4 f f 0 2 = f 2 f 0 2 = K H 0, 0e, e K H 0, 0e 2 = K H 0, 0I E K H 0, 0e, e 0, where the last inequality follows from the inequality K H 0, 0 I E shown in the previous paragraph. As a consequence f = f 0 is constant. Varying e E we see that K H, 0 = K H 0, 0. Another look at 5.4 reveals that K H 0, 0 2 = K H 0, 0 by a polarization argument, showing that the operator K H 0, 0 is an orthogonal projection. Since K H 0, 0 I E, this gives that K H 0, 0 = I E. We now conclude that K H, 0 = I E. Let α >. We shall next consider left-invertible operators LH such that 5.5 α + 2 = k k k with convergence in the weak operator topology in LH. By a polarization argument 5.5 is equivalent to α + 2 x, x = k k x 2, x H, and this last sum is absolutely convergent since the coefficients k α+2 k+ are of constant sign for k > α + by Proposition.2. HEOREM 5.4. Let α >. Let LH be a pure left-invertible operator satisfying 5.5, and set H = VH. hen H = A α E is the standard weighted Bergman space with weight parameter α and multiplicity E = H H. In particular, the operator is unitarily equivalent to a vector-valued Bergman shift S α. Proof. We calculate the kernel function K H from Proposition 5.2. Observe first that 5.6 K H z, ζ = I E + ζz PL j+ L k+ E ζ k z j j, for ζ, z < /ρl. Recall that LL =. Using 5.5 we calculate PL j+ L k+ α + 2 E = n PL j n n L k n + E n 0 minj,k = n PL j n L k n n + E n=0

22 472 ANDERS OLOFSSON AND ARON WENNMAN using that L = I and P = 0. Going back to 5.6 we have K H z, ζ = I E + ζz j, = I E + ζz n 0 = I E + ζz n 0 α + 2 PL n j n L k n n + E ζ k z j α + 2 PL n j n L k n n + E ζ k z j ζ n z n K H z, ζ minj,k n=0 j,k n n α + 2 n + for ζ, z < /ρl by changes of order of summation. Using the binomial series.3 we see that K H z, ζ = I E ζz α+2 K H z, ζ for ζ, z < /ρl. Solving for K H we conclude that K H z, ζ = / ζz α+2 I E for ζ, z < /ρl, that is, K H is the kernel function for A α E. By the wellknown fact that a Hilbert space of analytic functions is completely determined by its kernel function we arrive at the conclusion that H = A α E see Section I.2 of [5]. We mention that heorem 5.4 generalizes a recent result from Giselsson and Olofsson [2], heorem 3. for n = α + 2 positive integer to the full parameter scale α >. In conclusion, the operator identity 5.5 together with a pureness condition characterize the Bergman shift operator S α up to unitary equivalence allowing for a general multiplicity. We next consider operators satisfying the operator inequality 4.. HEOREM 5.5. Let α >. Let LH be a pure left-invertible operator and set H = VH. Assume also that ρl. hen satisfies 4. if and only if the kernel function for H admits the representation 5.7 K H z, ζ = ζz 2+α I E ζzlz, ζ, z, ζ D 2, for some positive definite sesqui-analytic LE-valued kernel l in D 2. Proof. he assumption ρl ensures that H is a Hilbert space of analytic functions in D. Recall that LL =. Observe also that V = S V which follows from the intertwining relation V = SV since the map V : H H is unitary. Similarly VL = B V, where B is the backward shift on H. Applying the map V : H H we see that 4. equivalently says that 5.8 B α + 2 f 2 n n + n 0 S n f 2, f H. Recall also that the sign of coefficients in 5.8 is constant for n > α + by Proposition.2 showing that the sum is absolutely convergent.

23 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 473 We shall next evaluate 5.8 on an element f in H of the form 5.9 f = N K H, ζ j e j, j= where ζ,..., ζ N D and e,..., e N E. Observe that B f = N K H, ζ j e j I E e j j= ζ j by Lemma 5. and Proposition 5.2. Observe also that S n f = N ζ n j K H, ζ j e j j= for n 0 by 5.2. Substituting 5.9 into 5.8 we get N j,k= which simplifies to 5.0 N j,k= ζ j ζ k K H ζ k, ζ j e j, e k I E e j, e k α + 2 n n + n 0 N ζ j ζ k K H ζ k, ζ j e j, e k I E e j, e k ζ n j ζn k K Hζ k, ζ j e j, e k, j,k= N ζ j ζ k α+2 K H ζ k, ζ j e j, e k j,k= ζ j ζ k after a change of order of summation and use of the binomial series.3. Introduce now the LE-valued function ζzα+2 lz, ζ = K H z, ζ ζz ζz K Hz, ζ I E, z, ζ D 2. Observe that the function l is sesqui-analytic by Proposition 5.2. Notice that 5.0 can be restated as N lζ k, ζ j e j, e k 0. j,k= Varying f H over the dense set of elements of the form 5.9 we conclude that 5.8 is equivalent to positive definiteness of l. Solving for K H in terms of l the representation formula 5.7 follows. REMARK 5.6. he assumption ρl in heorem 5.5 is inserted to ensure that H is a Hilbert space of analytic functions in D. In the restricted parameter range < α 0, the spectral radius control ρl is a consequence of 4. as follows by Proposition 4.4 and the spectral radius formula. Elaborating the

24 474 ANDERS OLOFSSON AND ARON WENNMAN proof of Proposition 4.4 we can more generally show that ρl follows from 4. when 2m α 2m for some integer m 0. he details are omitted. For α = 0 the structure formula 5.7 goes back to Shimorin [2], formula 3.4; see also Section 6 of [3]. For a general result along similar lines as heorem 5.5, see McCullough and Richter [6], heorem 3.2. From the point of view of normalized reproducing kernels for general shift invariant subspaces of A α D structure formulas of the form 5.7 with l positive definite seem relevant only in the parameter range < α 0, see McCullough and Richter [6]. Acknowledgements. Research supported by GS Magnusons fond of the Royal Swedish Academy of Sciences and Lannérs stipendiefond. REFERENCES [] P. AHERN, On the range of the Berezin transform, J. Funct. Anal , [2] P. AHERN, Ž. ČUČKOVIĆ, A theorem of Brown Halmos type for Bergman space oeplitz operators, J. Funct. Anal , [3] A. ALEMAN, S. RICHER, Single point extremal functions in Bergman-type spaces, Indiana Univ. Math. J , [4] A. ALEMAN, S. RICHER, C. SUNDBERG, Beurling s theorem for the Bergman space, Acta Math , [5] N. ARONSZAJN, heory of reproducing kernels, rans. Amer. Math. Soc , [6] E. ARIN, he Gamma Function, Holt, Rinehart and Winston, New York-oronto- London 964. [7] S. AXLER, Ž. ČUČKOVIĆ, Commuting oeplitz operators with harmonic symbols, Integral Equations Operator heory 499, 2. [8] A. BROWN, P.R. HALMOS, Algebraic properties of oeplitz operators, J. Reine Angew. Math /964, [9] G. CHAILOS, Reproducing kernels and invariant subspaces of the Bergman shift, J. Operator heory 52004, [0] J.B. CONWAY, M. PAK, he harmonic functional calculus and hyperreflexivity, Pacific J. Math , [] P. DUREN, A. SCHUSER, Bergman Spaces, Math. Surveys Monogr., vol. 00, Amer. Math. Soc., Providence RI [2] O. GISELSSON, A. OLOFSSON, On some Bergman shift operators, Complex Anal. Oper. heory 6202, [3] H. HEDENMALM, S. JAKOBSSON, S. SHIMORIN, A biharmonic maximum principle for hyperbolic surfaces, J. Reine Angew. Math ,

25 OPERAOR IDENIIES FOR SANDARD WEIGHED BERGMAN SHIF AND OEPLIZ OPERAORS 475 [4] H. HEDENMALM, B. KORENBLUM, K. ZHU, heory of Bergman Spaces, Grad. exts in Math., vol. 99, Springer-Verlag, New York [5] I. LOUHICHI, A. OLOFSSON, Characterizations of Bergman space oeplitz operators with harmonic symbols, J. Reine Angew. Math , 26. [6] S. MCCULLOUGH, S. RICHER, Bergman-type reproducing kernels, contractive divisors, and dilations, J. Funct. Anal , [7] A. OLOFSSON, Wandering subspace theorems, Integral Equations Operator heory 52005, [8] A. OLOFSSON, A characteristic operator function for the class of n-hypercontractions, J. Funct. Anal , [9] W. RUDIN, Principles of Mathematical Analysis, third edition, McGraw-Hill, New York- Auckland-Düsseldorf 976. [20] W. RUDIN, Real and Complex Analysis, third edition, McGraw-Hill, New York 987. [2] S. SHIMORIN, Wold-type decompositions and wandering subspaces for operators close to isometries, J. Reine Angew. Math , [22] S. SHIMORIN, An integral formula for weighted Bergman reproducing kernels, Complex Var. heory Appl , [23] S. SHIMORIN, On Beurling-type theorems in weighted l 2 and Bergman spaces, Proc. Amer. Math. Soc , [24] B. SZ.-NAGY, C. FOIAS, Harmonic Analysis of Operators on Hilbert Space, North- Holland Publ. Co., Amsterdam-London; Amer. Elsevier Publ. Co., Inc., New York; Akadémiai Kiadó, Budapest 970. [25] K. ZHU, Operator heory in Function Spaces, Monographs and extbooks Pure Appl. Math., vol. 39. Marcel Dekker, Inc., New York 990. ANDERS OLOFSSON, MAHEMAICS, FACULY OF SCIENCE, CENRE FOR MAHEMAICAL SCIENCES, LUND UNIVERSIY, P.O. BOX 8, SE LUND, SWE- DEN address: olofsson@maths.lth.se ARON WENNMAN, DEPARMEN OF MAHEMAICS, ROYAL INSIUE OF ECHNOLOGY, SOCKHOLM, SWEDEN address: aronw@math.kth.se Received September 9, 20; revised November 30, 202.