arXiv:2011.02844v1 [math.CV] 4 Nov 2020 where inta,if that, tion ooopi ucin on functions holomorphic Keywords spaces. such in dense provide are This polynomials that weights. superharmonic with spaces Dirichlet Abstract date Accepted: / date Received: -al [email protected] E-mail: Univers0A6 statistique, de math´ematiques et D´epartement de Ransford T. [email protected] E-mail: Univers0A6 statistique, de math´ematiques et D´epartement de Mashreghi J. NS from grants by supported TR grant. program. NSERC an by supported JM Mashreghi Javad spaces Dirichlet weighted in approximation Polynomial ahmtc ujc lsicto (2010) Classification Subject Mathematics Let result main of statement and Introduction 1 f wl eisre yteeditor) the by inserted be (will No. manuscript Journal ∈ Given ie oiiefiieBrlmeasure Borel finite positive a Given D Hol eteoe ntds and disk unit open the be g ( ∈ D ζ egv neeetr ro fa nlgeo Fej´er’s theore of analogue an of proof elementary an give We ) H iihe space Dirichlet f uhthat such ∈ 2 ∈ and D Hol edefine we , a · ( ∈ D hmsRansford Thomas ) C but nti ae eset we case, this In . D D · µ D f n by and , uehroi weight superharmonic ( ∈ ζ / f f ) ob h e fall of set the be to D ( T z : ζ = ) = eteui ice ednt Hol denote We circle. unit the be then , Z H D a 2 D ( + h ad pc on space Hardy the D ζ µ ( z ζ f − ( on D ) f 41A10 teLvl uee iy(uee) aaaG1V (Qu´ebec), Canada Qu´ebec City Laval, it´e G1V (Qu´ebec), Canada Qu´ebec City Laval, it´e d ζ ) ζ µ D ) ( : g = ( f edefine we , ( ζ ) f z ∞ ) · : ) ∈ = , Fej´er theorem < · . R n h aaaRsac Chairs Research Canada the and ERC Hol 30E10 k ∞ g . k ( H 2 D ipewyo seeing of way simple a s D 2 ) eaotteconven- the adopt We . D · . fteform the of 30H99 µ ob h e fall of set the be to ( D ) nweighted in m h e fall of set the 2 Javad Mashreghi, Thomas Ransford

D We endow µ with the k·kDµ defined by 2 2 D k f kDµ := | f (0)| + µ ( f ).

The spaces Dµ are in fact precisely the weighted Dirichlet spaces on D with su- perharmonic weights. Though this identification is not required for a technical under- standing of the results in this note, it serves as background and motivation for these results. The final section §4 contains a brief account of these spaces and their history. When µ = δζ , the Dirac measure at ζ ∈ D, the space Dµ reduces to Dζ , which is sometimes called the local Dirichlet space at ζ. A fundamental property of the spaces Dµ is that polynomials are dense. This fact was originally established by Richter [5] and Aleman [1] using a type of wandering- subspace theorem. Other proofs followed, most recently a direct proof via a Fej´er- type approximation theorem [3]. Our goal in this note is to give a more elementary proof of this last theorem. In fact we shall establish the following generalization.

Theorem 1.1 Let (wn,k)n,k≥0 be an array of complex numbers such that:

wn,k = 0 (k > n), (1.1)

lim wn,k = 1 (k ≥ 0), (1.2) n→∞

|wn,k|≤ M (n,k ≥ 0), (1.3)

|wn,k − wn,k+1|≤ L/n (n,k ≥ 0), (1.4) D ∞ k where L,M are constants. Given f ∈ Hol( ), say f (z)= ∑k=0 akz , set n k pn(z) := ∑ wn,kakz . (1.5) k=0

Then, for each positive finite measure µ on D such that f ∈ Dµ , we have

k f − pnkDµ → 0 (n → ∞). As a consequence, we deduce the Fej´er-type theorem mentioned above. Given ∞ k f (z)= ∑k=0 akz , we write n n k k k sn( f )(z) := ∑ akz and σn( f )(z) := ∑ 1 − akz . k 0 k 0 n + 1 = =  

Corollary 1 If µ is a finite measure on D and if f ∈ Dµ , then

kσn( f ) − f kDµ → 0 (n → ∞).

Proof Apply Theorem 1.1 with wn,k := 1−k/(n+1) if k ≤ n and zero otherwise. ⊓⊔

By contrast, it is known that, if µ = δ1, the Dirac measure at ζ = 1, then there D exists f ∈ µ such that ksn( f ) − f kDµ 6→ 0 as n → ∞ (see for example [2, p.117, Exercise 7.3.2]). This shows that Theorem 1.1 is no longer true if we omit the condi- tion (1.4). Polynomial approximation 3

2 Approximation in local Dirichlet spaces

We begin with a simple lemma about approximation in H2.

Lemma 1 Let (wn,k)n,k≥0 be an array of complex numbers satisfying the conditions 2 ∞ k (1.1), (1.2) and (1.3). Letg ∈ H ,say g(z)= ∑k=0 bkz , andfor n ≥ 0 let

n−1 k gn(z) := ∑ wn,k+1bkz . (2.1) k=0 Then kg − gnkH2 → 0 (n → ∞). (2.2)

Moreover, there exists a constantC, depending only on the array (wn,k), such that

kgnkH2 ≤ CkgkH2 (n ≥ 0). (2.3) Proof From condition (1.3) we have

∞ ∞ 2 2 2 2 2 2 2 kgnkH2 = ∑ |wn,k+1| |bk| ≤ M ∑ |bk| = M kgkH2 . k=0 k=0 This gives (2.3) with C = M. ∞ 2 2 Also, given ε > 0, we can choose N large enough so that ∑k=N |bk| < ε , and then, for n ≥ N, we have

N−1 2 2 2 2 2 kg − gnkH2 ≤ ∑ |1 − wn,k+1| |bk| + (1 + M) ε . k=0 From (1.2), the first term on the right-hand side tends to zero as n → ∞. Thus we have limsupn→∞ kg − gnkH2 ≤ (1 + M)ε. As ε is arbitrary, this gives (2.2). ⊓⊔

In light of the definition of Dζ , this lemma translates into the following approxi- mation result for local Dirichlet spaces.

Theorem 2.1 Let (wn,k)n,k≥0 be an array of complex numbers satisfying conditions (1.1), (1.2) and (1.3). Let ζ ∈ D and let f ∈ Dζ , say f (z)= a + (z − ζ)g(z), where 2 g ∈ H and a ∈ C. Define gn as in (2.1) and set

fn(z) := a + (z − ζ)gn(z). (2.4) Then Dζ ( f − fn) → 0 (n → ∞), and there exists a constant C, depending only on the array (wn,k), such that

2 Dζ ( fn) ≤ C Dζ ( f ) (n ≥ 0). D 2 Proof This is an immediate consequence of the identities ζ ( fn) = kgnkH2 and D 2 ζ ( f − fn)= kg − gnkH2 . ⊓⊔ 4 Javad Mashreghi, Thomas Ransford

∞ k Let us compute the polynomials fn explicitly. If we write f (z)= ∑k=0 akz and ∞ k k g(z)= ∑k=0 bkz and equate coefficients of z in the relation f (z)= a + (z − ζ)g(z), then we obtain a0 = a − ζb0, (2.5) (ak = bk−1 − ζbk (k ≥ 1). Hence

fn(z)= a + (z − ζ)gn(z) n−1 k = a + (z − ζ) ∑ wn,k+1bkz k=0 n n k k = a + ∑ wn,kbk−1z − ζ ∑ wn,k+1bkz k=1 k=0 n n k k = a + ∑ wn,k(bk−1 − ζbk)z + ζ ∑ (wn,k − wn,k+1)bkz − ζwn,0b0 k=1 k=0 n n k k = a + ∑ wn,kakz + ζ ∑ (wn,k − wn,k+1)bkz − ζwn,0b0, k=1 k=0 the last line using (2.5). Rearranging this slightly, we get n n k k fn(z)= ∑ wn,kakz + ζ ∑ (wn,k − wn,k+1)bkz + (1 − wn,0)a. (2.6) k=0 k=0 The following special case is worthy of note. D D ∞ k ∞ k Corollary 2 Let ζ ∈ and let f ∈ ζ , say f (z)= ∑k=0 akz . Then ∑k=0 akζ con- verges and, setting n−1 ∞ k k−n n fn(z) := ∑ akz + ∑ akζ z , k 0 k n =  =  we have Dζ ( f − fn) → 0.

Proof Let wn,k := 1 for k ≤ n and zero otherwise. This satisfies (1.1), (1.2) and (1.3), so by Corollary 2 we have Dζ ( f − fn) → 0 as n → ∞. Formula (2.6) shows that

n n−1 k n k n fn(z)= ∑ akz + ζbnz = ∑ akz + bn−1z , k=0 k=0 where the last equality is from (2.5). All that remains is to identify bn−1. For this, we note that, by (2.5), for all N ≥ n we have N N k−n 1−n k−1 k N+1−n ∑ akζ = ζ ∑ (bk−1ζ − bkζ )= bn−1 − bNζ . k=n k=n

Since the sequence (bk) is square summable, we also have bN → 0 as N → ∞. Hence ∞ k−n bn−1 = ∑k=n akζ , as desired. ⊓⊔ Polynomial approximation 5

3 Proof of Theorem 1.1

Unfortunately, the polynomials fn that approximate f in Theorem 2.1 and Corollary 2 depend upon ζ (note that the (bk) also depend upon ζ). This makes them unsuitable for approximation in Dµ . To circumvent this difficulty, we return to the formula (2.6). Notice that, although fn itself depends on ζ, the first term on the right-hand side of (2.6) does not. If we can somehow show that the other terms tend to zero in an appropriate way, then the first term approximates fn and hence also f . This is the strategy for the proof of Theorem 1.1. To implement it, we need the following general estimate.

Lemma 2 Let q be a polynomial of degree n. Then

D 2 2 D ζ (q) ≤ n kqkH2 (ζ ∈ ).

D n−1 2 Proof We have ζ (q)= ∑k=0 |dk| , where the (dk) are determined by the relation

n−1 k q(z)= q(ζ) + (z − ζ) ∑ dkz . k=0

n k Writing q(z)= ∑k=0 ckz , and equating coefficients of powers of z gives cn = dn−1 and ck = dk−1 − ζdk for 1 ≤ k ≤ n − 1. Solving for dk in terms of ck, we get

n n− j dk = ∑ c jζ (0 ≤ k ≤ n − 1). j=k+1

By the Cauchy–Schwarz inequality, it follows that

n 2 2 2 |dk| ≤ (n − k) ∑ |c j| ≤ nkqkH2 (0 ≤ k ≤ n − 1). j=k+1

Hence, finally n−1 D 2 2 2 ζ (q)= ∑ |dk| ≤ n kqkH2 . k=0 This completes the proof of the lemma. ⊓⊔

Completion of proof of Theorem 1.1. Let µ be a finite positive Borel measure on D, and let f ∈ Dµ . Then

Dζ ( f )dµ(ζ) < ∞, D Z and in particular Dζ ( f ) < ∞ for µ-almost every ζ in D. We claim that, for each such ζ, and with pn as defined as in (1.5), we have

2 lim Dζ ( f − pn)= 0 and supDζ ( f − pn) ≤ C Dζ ( f ), (3.1) n→∞ n≥1 6 Javad Mashreghi, Thomas Ransford

where C is a constant dependingonly on the array (wn,k). If so, then,by the dominated convergence theorem, we have

Dµ ( f − pn)= Dζ ( f − pn)dµ(ζ) → 0 (n → ∞). D Z Since also f (0) − pn(0)= a0(1 − wn,0) → 0 as n → ∞, it follows that

k f − pnkDµ → 0 (n → ∞), thereby establishing the theorem. It remains to verify the claim (3.1). Fix ζ with Dζ ( f ) < ∞, and define gn and fn 1/2 as in (2.1) and (2.4) respectively. As Dζ (·) is a , we have 1/2 1/2 1/2 Dζ ( f − pn) ≤ Dζ ( f − fn) + Dζ ( fn − pn) . By Corollary 2, we have D D 2D lim ζ ( f − fn)= 0 and sup ζ ( f − fn) ≤ C1 ζ ( f ), n→∞ n≥1 where C1 depends only on (wn,k). Therefore it remains to show that D D 2D lim ζ ( fn − pn)= 0 and sup ζ ( fn − pn) ≤ C2 ζ ( f ), (3.2) n→∞ n≥1 where C2 depends only on (wn,k). For this we use the formula (2.6), according to which n k fn(z) − pn(z)= ζ ∑ (wn,k − wn,k+1)bkz + constant. k=0 Using Lemma 2 and the fact that Dζ (·) is zero on constants, we get n D 2 2 2 ζ ( fn − pn) ≤ n ∑ |wn,k − wn,k+1| |bk| . k=0 Using condition (1.4), we have n D 2 2 2 2 2D ζ ( fn − pn) ≤ L ∑ |bk| ≤ L kgkH2 = L ζ ( f ), k=0 which yields the second part of (3.2) with C2 = L. As for the first part, given ε > 0, ∞ 2 2 we can choose N so large that ∑k=N |bk| < ε . Then, for all n ≥ N, we have 1/2 Dζ ( fn − pn) N−1 1/2 n 1/2 D k D k ≤ ζ ∑ (wn,k − wn,k+1)bkz + ζ ∑ (wn,k − wn,k+1)bkz k 0 k N  =   =  N−1 1/2 n 1/2 2 2 2 2 2 2 ≤ N ∑ |wn,k − wn,k+1| |bk| + n ∑ |wn,k − wn,k+1| |bk| k 0 k N  =   =  N 1/2 2 2 2 ≤ N ∑ |wn,k − wn,k+1| |bk| + Lε. k 0  =  From condition (1.2), the first term on the right-hand side tends to zero as n → ∞. D Thus limsupn→∞ ζ ( fn − pn) ≤ Lε. As ε is arbitrary, this establishes the first part of (3.2), and completes the proof of the theorem. ⊓⊔ Polynomial approximation 7

4 Background on weighted Dirichlet spaces

The purpose of this section is to explain the origin of the spaces Dµ and their con- nection to weighted Dirichlet spaces. As mentioned in the introduction, though this is not required for a technical understanding of the results in this note, it serves as background and motivation for these results. Given a positive integrable function ω on D, the ω-weighted Dirichlet space con- sists of those f ∈ Hol(D) such that

| f ′(z)|2 ω(z)dA(z) < ∞, D Z where dA denotes normalized area measure on D. The classical Dirichlet space cor- responds to taking ω ≡ 1. One class of weights that has been much studied over the years are the power weights ω(z) := (1 − |z|2)1−α , where 0 ≤ α ≤ 1. One can show that, if f (z) = ∞ k ∑k=0 akz , then ∞ ′ 2 2 1−α α 2 | f (z)| (1 − |z| ) dA(z) ≍ k |ak| . D ∑ Z k=1 Thus, as α runs from 0 to 1, we obtain a scale of spaces between the (α = 0) and the classical Dirichlet space (α = 1). Another important class of weights ω are the harmonic weights. These were in- troduced by Richter [5] in connection with his analysis of shift-invariant subspaces of the classical Dirichlet space, and further studied by Richter and Sundberg in [6]. Subsequently Aleman [1] introduced the class of superharmonic weights, which subsumes the power weights and the harmonic weights. Let ω be a positive superharmonic function on D. Then there exists a unique positive finite Borel measure µ on D such that, for all z ∈ D,

1 − ζz 2 1 − |z|2 ω(z)= log dµ(ζ)+ dµ(ζ) D ζ − z 1 − |ζ|2 T |ζ − z|2 Z Z

(see e.g. [4, Theorem 4.5.1]). Defining Dµ ( f ) as in §1, we have the following result, which was established by Richter and Sundberg [6, Proposition 2.2] in the case when ω is harmonic on D (this corresponds to µ being supported on T) and by Aleman [1, §IV, Theorem 1.9] for general superharmonic weights.

Theorem 4.1 Let ω be a superharmonic weight on D, and let µ be the associated measure on D. Then, for all f ∈ Hol(D), we have

′ 2 Dµ ( f )= | f (z)| ω(z)dA(z). D Z Thus Dµ is exactly the ω-weighted Dirichlet space, justifying the assertion made in the introduction. Further information on weighted Dirichlet spaces can be found in [6] and [1], as well as in Chapter 7 of the monograph [2]. 8 Javad Mashreghi, Thomas Ransford

Conflict of interest

The authors declare that they have no conflict of interest.

References

1. Aleman, A.: The multiplication operator on Hilbert spaces of analytic functions (1993). Habilitation- sschrift, Fern Universit¨at, Hagen 2. El-Fallah, O., Kellay, K., Mashreghi, J., Ransford, T.: A Primer on the Dirichlet Space, Cambridge Tracts in Mathematics, vol. 203. Cambridge University Press, Cambridge (2014) 3. Mashreghi, J., Ransford, T.: Hadamard multipliers on weighted Dirichlet spaces (2019). Preprint 4. Ransford, T.: Potential Theory in the , London Mathematical Society Student Texts, vol. 28. Cambridge University Press, Cambridge (1995) 5. Richter, S.: A representation theorem for cyclic analytic two-isometries. Trans. Amer. Math. Soc. 328(1), 325–349 (1991) 6. Richter, S., Sundberg, C.: A formula for the local Dirichlet integral. Michigan Math. J. 38(3), 355–379 (1991)