arxiv: v1 [math.cv] 13 Mar 2008

Transcription

1 TRACES OF HÖRMANDER ALGEBRAS ON DISCRETE SEQUENCES arxiv: v1 [math.cv] 13 Mar 2008 XAVIER MASSANEDA, JOAQUIM ORTEGA-CERDÀ, AND MYRIAM OUNAÏES Abstract. We show that a discrete sequence Λ of the complex plane is the union of n interpolating sequences for the Hörmander algebras A p if and only if the trace of A p on Λ coincides with the space of functions on Λ for which the divided differences of order n 1 are uniformly bounded. The analogous result holds in the unit disk for Korenblum-type algebras. 1. Definitions and statement A function p : C R +, is called a weight if (w1) There is a constant K > 0 such that p(z) Kln(1+ z 2 ). (w2) There are constants D 0 > 0 and E 0 > 0 such that whenever z w 1 then p(z) D 0 p(w)+e 0. Let H(C) denote the space of all entire functions. We consider the algebra { } A p = f H(C), z C, f(z) Ae Bp(z) for some A > 0,B > 0. Condition (w1) implies that A p contains the polynomials and (w2) that it is closed under differentiation. Definition 1.1. Given a discrete subset Λ C we denote by A p (Λ) the space of sequences ω(λ) = {ω()} Λ of complex numbers such that there are constants A,B > 0 for which ω() Ae Bp(), Λ. Date: November 8, Mathematics Subject Classification. 30E05, 42A85. Key words and phrases. Interpolating sequences, Divided differences. Partially supported by the Picasso programme (Action Integrée) HF First and second authors supported by MEC grant MTM C02-02 and CIRIT grant 2005-SGR

2 2 X. MASSANEDA, J. ORTEGA-CERDÀ, AND M. OUNAÏES We say that Λ is an interpolating sequence for A p when for every sequence ω(λ) A p (Λ) there exists f A p such that f() = ω(), Λ. In terms of the restriction operator R Λ : A p A p (Λ) f {f()} Λ, Λ is interpolating when R Λ (A p ) = A p (Λ). Definition 1.2. Let Λ be a discrete sequence in C and ω a function given on Λ. The divided differences of ω are defined by induction as follows 0 ω( 1 ) = ω( 1 ), j ω( 1,..., j+1 ) = j 1 ω( 2,..., j+1 ) j 1 ω( 1,..., j ) j+1 1 j 1. For any n N, denote Λ n = {( 1,..., n ) Λ n Λ : j k if j k}, and consider the set Xp n 1 (Λ) consisting of the functions in ω(λ) with divided differences of order n uniformly bounded with respect to the weight p, i.e., such that for some B > 0 sup n 1 ω( 1,..., n ) e B[p( 1)+ +p( n)] < +. ( 1,..., n) Λ n Remark 1.3. It is clear that Xp(Λ) n Xp n 1 (Λ) Xp(Λ) 0 = A p (Λ). To see this assume that ω(λ) Xp n (Λ), i.e., there exists B > 0 such that C := sup ( 1,..., n+1 ) Λ n+1 n 1 ω( 2,..., n+1 ) n 1 ω( 1,..., n ) n+1 1 e B[p( 1)+ +p( n+1 )] <. Then, given ( 1,..., n ) Λ n and taking 0 1,...,0 n from a finite set (for instance the n first 0 j Λ different of all j) we have n 1 ω( 1,..., n ) = n 1 ω( 1,..., n ) n 1 ω( 0 1, 1,..., n 1 ) ( n 0 n 1 0)+ 1 + n 1 ω( 0 1, 1,..., n 1 ) n 1 ω( 0 2, 0 1,..., n 2 ) ( n 1 0 n )+ + 2 n 1 ω( 0 n 1,...,0 1, 1) n 1 ω( 0 n,...,0 1 ) ( n)+ n 1 ω( 0 n,..., 0 1) n

3 TRACES OF HÖRMANDER ALGEBRAS ON DISCRETE SEQUENCES 3 Then a direct estimate and (w1) show that for some B > 0 there is a constant K( 0 1,...,0 n ) such that n 1 ω( 1,..., n ) ) C (e B[p(0 1 )+ +p(n)] + +e B[p(0 n 1 )+ +p( 1)] and the statement follows. K( 0 1,...,0 n )eb[p( 1)+ +p( n)], The main result of this note is modelled after Vasyunin s description of the sequences Λ in the unit disk such that the trace of the algebra of bounded holomorphic functions H on Λ equals the space of (hyperbolic) divided differences of order n (see [7], [8]). The analogue in our context is the following. Theorem 1.4 (Main Theorem). The identity R Λ (A p ) = Xp n 1 (Λ) holds if and only if Λ is the union of n interpolating sequences for A p. For the most usual of these weights there exists a complete description of the A p -interpolating sequences, both in analytic and geometric terms. This is the case for doubling and radial weights(see[2, Corollary 4.8]), or for non-isotropic weights of the form p(z) = Im z +log(1+ z ) (see [5, Theorem 1]). With similar techiques it should be possible to extend this result to an Hermite-type interpolation problem with multiplicites, along the lines of [6]. 2. General properties We begin by showing that one of the inclusions of Theorem 1.4 is inmediate. Proposition 2.1. For all n N, the inclusion R Λ (A p ) Xp n 1 (Λ) holds. Proof. Let f A p. Let us show by induction on j 1 that, for certain constants A,B > 0 j 1 f(z 1,...,z j ) Ae B[p(z 1)+ +p(z j )] for all (z 1,...,z j ) C j. As f A p, we have 0 f(z 1 ) = f(z 1 ) Ae Bp(z 1). Assume that the property is true for j and let (z 1,...,z j+1 ) C j+1. Fix z 1,...,z j and consider z j+1 as the variable in the function j f(z 1,...,z j+1 ) = j 1 f(z 2,...,z j+1 ) j 1 f(z 1,...,z j ) z j+1 z 1.

4 4 X. MASSANEDA, J. ORTEGA-CERDÀ, AND M. OUNAÏES By the induction hypothesis, j 1 f(z 2,...,z j+1 ) j 1 f(z 1,...,z j ) A ( e B[p(z 2)+ +p(z j+1 )] +e B[p(z 1)+ +p(z j )] ) 2Ae B[p(z 1)+ +p(z j+1 )]. Thus, if z j+1 z 1 1, we easily deduce the desired estimate. For z j+1 z 1 1, by the maximum principle and (w2): j f(z 1,...,z j+1 ) 2A sup e B[p(z 1)+ +p(z j )+p(ξ)] ξ z 1 =1 Ae (B+D 0)[p(z 1 )+ +p(z j )+p(z j+1 )]. Definition 2.2. A sequence Λ is weakly separated if there exist constants ε > 0 and C > 0 such that the disks D(,εe Cp() ), Λ, are pairwise disjoint. Remark 2.3. If Λ is weakly separated then Xp 0(V) = Xn p (V), for all n N. To see this it is enough to prove (by induction) that Xp(Λ) 0 Xp(Λ) n for all n N. For n = 0 this is trivial. Assume now that Xp(Λ) 0 X n 1 p (Λ). Given ω(λ) Xp 0 (Λ) we have n ω( 1,..., n+1 ) = n 1 ( 2,..., n+1 ) n 1 ( 1,..., n ) n+1 1 2A ε e(b+c)[p( 1)+ +p( n+1 )]. Lemma 2.4. Let n 1. The following assertions are equivalent: (a) Λ is the union of n weakly separated sequences, (b) There exist constants ε > 0 and C > 0 such that (c) Xp n 1 (Λ) = Xp n(λ). sup#[λ D(,εe Cp() )] n. Λ Proof. (a) (b). This is clear, by the weak separation. (b) (a). We proceed by induction on j = 1,...,n. For j = 1, it is again clear by the definition of weak separation. Assume the property true for j 1. Let 1 ε > 0 and C > 0 be such that sup Λ #[Λ D(,εe Cp() )] j. Put ε = e E 0C ε/2 and C = D 0 C. By Zorn s Lemma, there is a maximal subsequence Λ 1 Λ such that the disks D(,ε e C p() ), Λ 1, are pairwise disjoint. In particular

5 TRACES OF HÖRMANDER ALGEBRAS ON DISCRETE SEQUENCES 5 Λ 1 is weakly separated. For any α Λ\Λ 1, there exists Λ 1 such that D(,ε e C p() ) D(α,ε e C p(α) ), otherwise Λ 1 would not be maximal. Then D(α,εe Cp(α) ), since α < ε e C p() +ε e C p(α) < εe Cp(α), by (w2). Thus D(α,εe Cp(α) ) contains at most j 1 points of Λ\Λ 1. We use the induction hypothesis to conclude that Λ\Λ 1 is the union of j 1 weakly separated sequences and, by consequence, Λ is the union of j weakly separated sequences. (b) (c). It remains to see that Xp n 1 (Λ) Xp n (Λ). Given ω(λ) Xp n 1 (Λ)andpoints( 1,..., n+1 ) Λ n+1,wehavetoestimate n ω( 1,..., n+1 ). Under the assumption (b), at least one of these n+1 points is not in the disk D( 1,εe Cp(1) ). Note that Λ n is invariant by permutation of the n+1 points, thus we may assume that 1 n+1 εe Cp(1). Using the fact that ω(λ) Xp n 1 (Λ), there are constants A,B > 0 such that n ω( 1,..., n+1 ) n 1 ω( 2,..., n+1 ) + n 1 ω( 1,..., n ) 1 n+1 Ae B[p( 1)+ +p( n+1 )]. (c) (b). We prove this by contraposition. Assume that for all C,ε > 0, there exists Λ such that #[Λ D(,εe Cp() )] > n. Since Λ has no accumulation points, for any fixed C > 0, we can extract from Λ a weakly separated subsequence L = {α l } l N such that #[(Λ\L) D(α l,1/le Cp(αl) )] n for all l. Let us call l 1,...,l n the points of Λ\L closest to α l, arranged by increasing distance. In order to construct a sequence ω(λ) Xp n 1 (Λ)\Xp n (Λ), put n 1 ω(α l ) = (α l l j), for all α l L j=1 ω() = 0 if Λ\L. To see that ω(λ) X n 1 (Λ) let us estimate n 1 ω( 1,..., n ) for any given vector ( 1,..., n ) Λ n. We don t need to consider the case where the points are distant, thus, as L is weakly separated, we may assume that at most one of the points is in L. On the other hand, it is clear that n 1 ω( 1,..., n ) = 0 if all the points are in Λ \ L. Then, taking into account that n 1 is invariant by permutation, we will only consider the case where n is some α l L and 1,..., n 1

6 6 X. MASSANEDA, J. ORTEGA-CERDÀ, AND M. OUNAÏES are in Λ\L. In that case, n 1 n 1 ω( 1,..., n 1,α l ) = ω(α l ) α l l k 1 1, k=1 as desired. On the other hand, a similar computation yields n ω( l 1,...,l n,αl ) = ω(α l ) n α l l k 1 = α l l n 1 le Cp(αl). k=1 Using (w2), for any constant B > 0, and choosing C = B(nD 0 + 1), we have n ω( l 1,...,l n,αl ) e B(p(l 1 )+ +p(l n )+p(αl )) le BnE 0 +. We finally conclude that ω(λ) / X n p (Λ). Corollary 2.5. If Λ is an interpolating sequence, then it is weakly separated. Proof. If Λ is an interpolating sequence, then R Λ (A p ) = Xp(Λ). 0 On the other hand, by Proposition 2.1, R Λ (A p ) Xp(Λ). 1 Thus Xp(Λ) 0 = Xp 1 (Λ). We conclude by the preceding lemma applied to the particular case n = 1. Lemma 2.6. Let Λ 1,...,Λ n be weakly separated sequences. There exist positiveconstants a,b, B 1,B 2 and ε > 0, a subsequencel Λ 1 Λ n and disks D = D(,r ), L, such that (i) Λ 1 Λ n L D (ii) aεe B 1p() r bεe B 2p() for all L (iii) dist(d,d ) aεe B 1p() for all, L,. (iv) #(Λ j D ) 1 for all j = 1,...,n and L. Proof. Let 0 < ε < 1 and C > 0 be constants such that (2.1) εe C/D 0(p() E 0 ),, Λ j,, j = 1,...,n, where D 0 1 and E 0 0 are given by (w2). We will proceed by induction on k = 1,...,n to show the existence of a subsequence L k Λ 1 Λ k and constants C k C, B k 0

7 TRACES OF HÖRMANDER ALGEBRAS ON DISCRETE SEQUENCES 7 such that: (i) k (ii) k Λ 1 Λ k Lk D(,R k ), k 1 2 3k e C kp() B k ε R k εe Cp() 2 (3j+2) 2/7e Cp() ε, (iii) k dist(d(,r k ),D(,R k )) 2 3k εe C kp() B k for any, L k,. TheconstantsC k andb k arechosen, inviewof(w2),sothatc k p()+ B k C k+1 p( )+B k+1 whenever 1. Then it suffices to chose L = L n, r = R n, a = e Bn 2 3n, b = 2/7, B 1 = C n and B 2 = C. As r < e Cp() ε, it is clear that D(,r ) contains at most one point of each Λ j, hence the lemma follows. For k = 1, the property is clearly verified with L 1 = Λ 1 and R 1 = e Cp() ε/4. Assume the property true for k and split L k = M 1 M 2 and Λ k+1 = N 1 N 2, where M 1 = { L k : D(,R k +2 3k 2 εe C kp() B k ) Λ k+1 }, N 1 = Λ k+1 L k D(,R k +2 3k 2 εe Ckp() Bk ), M 2 = L k \M 1, N 2 = Λ k+1 \N 1. Now, we put L k+1 = L k N 2 and define the radii R k+1 as follows: R k +2 3k 2 εe C kp() B k if M 1, R k+1 = R k if M 2, 2 3k 3 εe C k+1p() B k+1 if N 2. It is clear that and, by the induction hypothesis, 2 3k 3 εe C k+1p()+b k+1 ) R k+1 j=0 Λ 1 Λ k+1 D(,R k+1 ) L k+1 εe Cp() k 2 3j 2 2/7εe Cp(). In order to prove (iii) k take now, L k+1,. We will verify that dist(d(,r k+1 ),D(,R k+1 )) = R k+1 R k+1 2 3k 3 εe C k+1p() B k+1 by considering different cases. j=0

8 8 X. MASSANEDA, J. ORTEGA-CERDÀ, AND M. OUNAÏES If, L k and p() p( ), then dist(d(,r k+1 ),D(,R k+1 )) R k Rk 2 3k 1 εe C kp() B k 2 3k 1 εe C kp() B k. Assume now, N 2 and p() p( ). Condition (2.1) implies εe Cp(), hence dist(d(,r k+1 ),D(,R k+1 )) (1 2 3k 2 )εe Cp(). If M 1 and N 2 there exists β N 1 such that β R k+1. There is no restriction in assuming that 1. Then, using (2.1) on β, Λ k+1, we have β β εe C/D 0(p(β) E 0 ) R k+1 εe Cp() R k+1. The definition of R k+1 together with the estimate R k+1 2/7εe Cp() yield dist(d(,r k+1 ),D(,R k+1 )) εe Cp() 2R k+1 R k+1 εe Cp() 2R k 2 3k 1 εe C kp() B k 2 3k 3 εe C k+1p( ) B k+1 εe Cp() 4 7 εe Cp() 2 3k εe C kp() B k εe Cp() (3/4 2 3k ), as required. Finally, if M 2 and N 2, again, assuming that 1, we have dist(d(,r k+1 ),D(,R k+1 )) = R k 2 3k 3 εe C k+1p( ) B k+1 2 3k 2 εe C kp() B k 2 3k 3 εe C kp() B k 2 3k 3 εe Cp(). 3. Proof of Theorem 1.4. Necessity Assume R Λ (A p ) = Xp n 1 (Λ), n 2. Using Proposition 2.1, we have Xp n 1 (V) = Xp n(v), andbylemma2.4wededucethatλ = Λ 1 Λ n, where Λ 1,...,Λ n are weakly separated sequences. We want to show that each Λ j is an interpolating sequence. Let ω(λ j ) A p (Λ j ) = Xp(Λ 0 j ). Let L D be the covering of Λ given by Lemma 2.6. We extend ω(λ j ) to a sequence ω(λ) which is constant on each D Λ j in the following way: ω D Λ = { 0 if D Λ j = ω(α) if D Λ j = {α}.

9 TRACES OF HÖRMANDER ALGEBRAS ON DISCRETE SEQUENCES 9 We verify by induction that the extended sequence is in Xp k 1 (Λ) for all k. It is clear that it belongs to Xp 0 (Λ). Assume that ω Xk 2 p (Λ) and consider (α 1,...,α k ) Λ k. If all the points are in the same D then k 1 ω(α 1,...,α k ) = 0, so we may assume that α 1 D and α k D with. Then we have α 1 α k aεe B 1p(), by Lemma 2.6 (iii). With this and the induction hypothesis it is clear that for certain constants A,B > 0 k 1 ω(α 1,...,α k ) = k 2 ω(α 2,...,α k ) k 2 ω(α 1,...,α k ) α 1 α k Ae B[p(α 1)+ +p(α k )]. In particular ω(λ) Xp n 1 (Λ), and by assumption, there exist f A p interpolating the values ω(λ). In particular f interpolates ω(λ j ). 4. Proof of Theorem 1.4. Sufficiency According to Proposition 2.1 we only need to see that Xp n 1 (Λ) R Λ (A p ). Before going further, let us recall the following facts about interpolation in the spaces A p. Lemma 4.1. [1, Lemma 2.2.6] Let Γ be an A p -interpolating sequence. Then: (i) For all A,B > 0, there exist constants A,B > 0 such that for all sequences ω A p (Γ) with sup ω(γ) e Bp(γ) A there exists γ Γ f A p with sup f(z) e B p(z) A and f(γ) = ω(γ) for all z γ Γ.. (ii) There exists a constant C > 0 such that γ Γ e Cp(γ) <. Applying (i) to the sequences ω γ = {δ γ,γ } γ Γ it is easy to deduce that Γ is weakly separated. Property (ii) is just a consequence of the weak separation and properties (w1) and (w2). AssumethusthatΛ = Λ 1 Λ n whereλ 1,...,Λ n areinterpolating sequences. Recall that each Λ j is weakly separated (Corollary 2.5). Consider also the covering of Λ given by Lemma 2.6.

10 10 X. MASSANEDA, J. ORTEGA-CERDÀ, AND M. OUNAÏES Lemma 4.2. ThereexistconstantsA,B > 0 andasequence{f } L A p such that: { 1 if α Λ D F (α) = 0 if α Λ D, F (z) Ae B(p()+p(z)) for all z C. Proof. Fix L and define ω(λ) by (α β) 1 if α / Λ D ω(α) = β Λ D 0 if α Λ D. By Lemma 2.6 (iii), we have α β cεe Cp(α) whenever α / Λ D, β Λ D. Since #(Λ D ) n we deduce that ω(α) (cε) n e ncp(α) Recall that Λ j is an interpolating sequence for all j = 1,...,n, thus there exist a n-indexed sequence {f,j } L,j [[1,n]] A p such that for all z C, f,j (z) Ae Bp(z) f,j (α) = β Λ D (α β) 1 if α / Λ j D, with the constants A and B independent of (see Lemma 4.1(i) ). The sequence of functions {F } L defined by [ n F (z) = 1 ] (z β)f,j (z) j=1 β Λ D has the desired properties. Lemma 4.3. For all D > 0, there exist D > 0 and a sequence {G } L A p such that: G (α) = e Dp() if α Λ D. G (z) Ae Bp() e D p(z) for all z C, where A,B > 0 do not depend on D. Proof. In this proof D denotes a constant depending on D but not on, and its actual value may change from one occurrence to the other.

11 TRACES OF HÖRMANDER ALGEBRAS ON DISCRETE SEQUENCES 11 Let L. Assume, without loss of generality, that D Λ j = {α,j } for all j. As Λ 1 is an interpolating sequence and e Dp() Ae D p(α,1 ), by Lemma 4.1(i) there exists a sequence {h,1 } A p such that h,1 (α,1 ) = e Dp() h,1 (z) Ae D p(z) for all z C. Setting H,1 (z) = h,1 (z), we have H,1 (α,1 ) = e Dp(). Now, as Λ 2 is A p -interpolating and e Dp() H,1 (α,2 ) α,2 α,1 = H,1(α,1 ) H,1 (α,2 ) α,2 α,1 there exists a sequence {h,2 } A p such that h,2 (α,2 ) = edp() H,1 (α,2 ) α,2 α,1 h,2 (z) Ae D p(z) for all z C. Ae D p(α,2 ), Setting H,2 (z) = h,1 (z)+h,2 (z)(z α,1 ). We have H,2 (α,1 ) = H,2 (α,2 ) = e Dp(). Weproceedbyinduction toconstruct asequence offunctions {h,k } A p such that h,k (α,k ) = h,k (z) Ae D p(z) e Dp() H,k 1 (α,k ) (α,k α,1 ) (α,k α,k 1 ) for all z C. Then the function defined by H,k (z) = H,k 1 (z) + h,k (z)(z α,1 ) (z α,k 1 ) verifies Finally, we set G = H,n. H,k (α,1 ) = = H,k (α,k ) = e Dp(). To proceed with the proof of the inclusion Xp n 1 (Λ). ω(λ) X n 1 p (Λ) R Λ (A p ), let Fix L and let Λ D = {α 1,...,α k }, k n. We first consider a polynomial interpolating the values ω(α 1 ),...,ω(α k ): k 1 P (z) = 0 ω(α 1 )+ 1 ω(α 1,α 2 )(z α 1 )+ + k 1 ω(α 1,...,α k ) (z α j ). j=1

12 12 X. MASSANEDA, J. ORTEGA-CERDÀ, AND M. OUNAÏES Notice that P A p, since ω(λ) Xp n 1 (Λ) and by properties (w1) and (w2) we have Now, define P (z) A z k e B[p(α 1)+ +p(α k )] Ae B [p(z)+p()]. f = LF G P e Dp(), where D is a large constant to be chosen later on. By the preceding estimates on G and P, there exist constants A,B > 0 not depending on D and a constant D > 0 such that, for all z C, we have f(z) Ae D p(z) Le (B D)p(). In view of Lemma 4.1 (ii), taking D = B+C, the latter sum converges and f A p. Toverifythatf interpolatesω(λ),letα Λandletbethe(unique) point of L such that α D. Then, f(α) = G (α)p (α)e Dp(α) = P (α) = ω(α), as desired. 5. Similar results in the disk The previous definitions and proofs can be adapted to produce analogousresultsinthedisk. TodosoonejustneedstoreplacetheEuclidean distance used in C by the pseudo-hyperbolic distance ρ(z,ζ) = z ζ 1 ζz z,ζ D, and the Euclidean divided differences by their hyperbolic version δ 0 ω( 1 ) = ω( 1 ), δ j ω( 1,..., j+1 ) = j 1 ω( 2,..., j+1 ) j 1 ω( 1,..., j ) j+1 1 j j+1 In this context a function φ : D R + is a weight if (wd1) There is a constant K > 0 such that φ(z) Kln ( 1 1 z ). (wd2) There are constants D 0 > 0 and E 0 > 0 such that whenever ρ(z,ζ) 1 then φ(z) D 0 φ(ζ)+e 0. The model for the associated spaces A φ = {f H(D) : sup f(z) e Bφ(z) < for some B > 0}, z D

13 TRACES OF HÖRMANDER ALGEBRAS ON DISCRETE SEQUENCES 13 isthekorenblumalgebraa,whichcorrespondstothechoicee φ(z) = 1 z. The interpolating sequences for this and similar algebras have been characterised in [3] and [4]. With these elements, and replacing the factors z α by z α when 1 ᾱz necessary, we can follow the proofs above and, mutatis mutandis, show that Theorem 1.4 also holds in this situation. The only point that requires further justification is the validity of Lemma 4.1 for the weights φ. Condition (i) is a standard consequence of the open mapping theorem for (LF)-spaces applied to the restriction map R Λ, and the same proof as in [1, Lemma 2.2.6] holds. Applying (i) to the sequences ω (Λ) defined by { ω ( 1 if = ) = 0 if we have functions f A φ interpolating these values and with growth control independent of. Since 1 = f () f ( ), an estimate on the derivative of f shows that for some C > 0 and ε > 0 the pseudohyperbolic disks D H (,εe Cφ() ) = {z D : ρ(z,) < e Cφ() } are pairwise disjoint. In particular the sum of their areas is finite, hence (1 ) 2 e 2Cφ() < +. Λ From this and condition (wd1) we finally obtain (ii). References [1] Berenstein, C.A. - Gay, R. Complex Analysis and Special Topics in Harmonic Analysis, Springer Verlag, [2] C.A. Berenstein and B.Q. Li, Interpolating varieties for spaces of meromorphic functions, J. Geom. Anal. 5 (1995), [3] J. Bruna and D. Pascuas, Interpolation in A, J. London Math. Soc. (2) 40 (1989), no. 3, [4] X. Massaneda, Density conditions for interpolation in A, J. Anal. Math. 79 (1999), [5] X. Massaneda, J. Ortega-Cerdà and M. Ounaïes. A geometric characterization of interpolation in Ê (R), Trans. Amer. Math. Soc. 358 (2006), [6] M. Ounaïes. Interpolation by entire functions with growth conditions. To appear in Mich. Math. J. [7] Vasyunin, V. I. Traces of bounded analytic functions on finite unions of Carleson sets (Russian). Investigations on linear operators and the theory of functions, XII. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 126 (1983),

14 14 X. MASSANEDA, J. ORTEGA-CERDÀ, AND M. OUNAÏES [8] Vasyunin, V. I. Characterization of finite unions of Carleson sets in terms of solvability of interpolation problems (Russian). Investigations on linear operators and the theory of functions, XIII. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 135 (1984), Departament de Matemàtica Aplicada i Anàlisi, Universitat de Barcelona, Gran Via 585, Barcelona, Spain address: xavier.massaneda@ub.edu Departament de Matemàtica Aplicada i Anàlisi, Universitat de Barcelona, Gran Via 585, Barcelona, Spain address: jortega@ub.edu Institut de Recherche Mathématique Avancée, Université Louis Pasteur, 7 Rue René Descartes, Strasbourg CEDEX, France address: ounaies@math.u-strasbg.fr