Journal manuscript No. (will be inserted by the editor) Polynomial approximation in weighted Dirichlet spaces Javad Mashreghi · Thomas Ransford Received: date / Accepted: date Abstract We give an elementary proof of an analogue of Fej´er’s theorem in weighted Dirichlet spaces with superharmonic weights. This provides a simple way of seeing that polynomials are dense in such spaces. Keywords Dirichlet space · superharmonic weight · Fej´er theorem Mathematics Subject Classification (2010) 41A10 · 30E10 · 30H99 1 Introduction and statement of main result Let D be the open unit disk and T be the unit circle. We denote Hol(D) the set of all holomorphic functions on D, and by H2 the Hardy space on D. Given ζ ∈ D, we define Dζ to be the set of all f ∈ Hol(D) of the form f (z)= a + (z − ζ)g(z), 2 C D 2 where g ∈ H and a ∈ . In this case, we set ζ ( f ) := kgkH2 . We adopt the conven- D tion that, if f ∈ Hol( ) but f ∈/ Dζ , then Dζ ( f ) := ∞. Given a positive finite Borel measure µ on D, we define Dµ to be the set of all f ∈ Hol(D) such that Dµ ( f ) := Dζ ( f )dµ(ζ) < ∞. D Z JM supported by an NSERC grant. TR supported by grants from NSERC and the Canada Research Chairs program. J. Mashreghi D´epartement de math´ematiques et de statistique, Universit´eLaval, Qu´ebec City (Qu´ebec), Canada G1V 0A6 arXiv:2011.02844v1 [math.CV] 4 Nov 2020 E-mail: [email protected] T. Ransford D´epartement de math´ematiques et de statistique, Universit´eLaval, Qu´ebec City (Qu´ebec), Canada G1V 0A6 E-mail: [email protected] 2 Javad Mashreghi, Thomas Ransford D We endow µ with the norm 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.