25
APPROXIMATION IN WEIGHTED HARDY SPACES By A. BON1LLA, V. PI~REZ-GONZALEZ, A. STRAY AND R. TRUJILLO-GONZ,~LEZ Dedicated to Professor Ndcere Hayek on the occasion of his 75th birthday Abstract. This paper is concerned with several approximation problems in the weighted Hardy spaces HP(w) of analytic functions in the open unit disc D of the complex plane C. We prove that if X is a relatively closed subset of D, the class of uniform limits on X of functions in HV(w) coincides, modulo HV(w), with the space of uniformly continuous functions on a certain hull of X which are holomorphic on its interior. We also solve the simultaneous approximation problems of describing Farrell and Mergelyan sets for HV(w), giving geometric characterizations for them. By replacing approximating polynomials by polyno- mial multipliers of outer functions, our results lead to characterizations of the same sets with respect to cyclic vectors in the classical Hardy spaces Hv(D), 1 _< p < oo. 1 Introduction In this paper we deal with some qualitative approximation questions in the weighted Hardy spaces HV(w) of analytic functions in the open unit disk D of the complex plane C. The definition of these spaces, and the structural properties needed, are given in Section 2. We are interested in problems concerning the decomposition of the space of uniform limits of functions in HP(w) on a relatively closed subset of D and with simultaneous approximations in these spaces. In 1984, A. Stray proved that ifX is any closed subset of C, the class of uniform limits on X of entire functions can be written as H(C)Ix = C~,a(X) + H(C), where A" denotes the union of X and those components V of C \ X such that V to {c~} is not arcwise connected in C to {oc}, and C~,a()() is the class of all uniformly continuous functions on )~ which are analytic in its interior (see [St5, Corollary 1]). Recently, Stray ([St6]) has proved that for the classical Hardy spaces HP(D), 0 < p < c~, one has the similar decomposition (1.1) Hv(D)Ix = C~a(2) + HP(D), 65 JOURNAL D'ANALYSE MATHEMAT1QUE,Vol. 73 (1997)

Approximation in weighted Hardy spaces

  • Upload
    ull

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

A P P R O X I M A T I O N I N W E I G H T E D H A R D Y S P A C E S

By

A. BON1LLA, V. PI~REZ-GONZALEZ, A. STRAY AND R. TRUJILLO-GONZ,~LEZ

Dedicated to Professor Ndcere Hayek on the occasion of his 75th birthday

A b s t r a c t . This paper is concerned with several approximation problems in the weighted Hardy spaces HP(w) of analytic functions in the open unit disc D of the complex plane C. We prove that if X is a relatively closed subset of D, the class of uniform limits on X of functions in HV(w) coincides, modulo HV(w), with the space of uniformly continuous functions on a certain hull of X which are holomorphic on its interior. We also solve the simultaneous approximation problems of describing Farrell and Mergelyan sets for HV(w), giving geometric characterizations for them. By replacing approximating polynomials by polyno- mial multipliers of outer functions, our results lead to characterizations of the same sets with respect to cyclic vectors in the classical Hardy spaces Hv(D), 1 _< p < oo.

1 I n t r o d u c t i o n

In this paper we deal with some qualitative approximation questions in the

weighted Hardy spaces HV(w) of analytic functions in the open unit disk D of

the complex plane C. The definition of these spaces, and the structural properties

needed, are given in Section 2. We are interested in problems concerning the

decomposition of the space of uniform limits of functions in HP(w) on a relatively

closed subset of D and with simultaneous approximations in these spaces.

In 1984, A. Stray proved that i fX is any closed subset of C, the class of uniform

limits on X of entire functions can be written as

H(C)Ix = C~,a(X) + H(C),

where A" denotes the union of X and those components V of C \ X such that

V to {c~} is not arcwise connected in C to {oc}, and C~,a()() is the class of all

uniformly continuous functions on )~ which are analytic in its interior (see [St5,

Corollary 1]). Recently, Stray ([St6]) has proved that for the classical Hardy spaces

HP(D), 0 < p < c~, one has the similar decomposition

(1.1) Hv(D)Ix = C~a(2) + HP(D),

65 JOURNAL D'ANALYSE MATHEMAT1QUE, Vol. 73 (1997)

66 A. BONILLA ET AL.

where )f represents a hull of X. In Section 3 we generalize (1.1) to the weighted

Hardy spaces HP(w), 0 < p < oo.

In the early seventies, L. A. Rubel ([Ru]) posed problems of simultaneous

approximation by polynomials in linear spaces of analytic functions in D endowed

with a topology r such that analytic polynomials are r-dense. Nowadays, such problems are known as describing Farrell and Mergelyan sets for different function

spaces and have been studied by several authors. Among others, we mention that

L. A. Rubel, A. L. Shields and B. A. Taylor ([RST]) and A. Stray ([Stl, St3])

considered the space H(D) of all analytic functions in D equipped with the topology

of uniform convergence on compacta; A. Stray analysed them in the space H a (D)

with the bounded pointwise convergence topology, while a complete description of

such subsets for the classical Hardy spaces HP(D), 0 < p < oo, which even holds

for the Smirnov class N + with the usual metric, was given by F. Prrez-Gonz~ilez

and A. Stray ([PSI) (see also [RS], [Pe]). Recently, the Farrell and Mergelyan sets

for classes of harmonic functions in higher dimensions have been characterized in

[PT] and [BPT].

A well-known theorem of Beurling states that the outer functions are the cyclic

vectors of HP(]I)), p > 0. This means that any subspace generated by multiplying

an outer function by polynomials is dense in HP(]I)). Hence, it is quite natural to

consider simultaneous approximation problems involving cyclic vectors in classical

Hardy spaces. With this statement it is understood that the outer function will have

to satisfy certain compatibility conditions determined by the type of approximation considered (see Example 5.2). This topic is considered in Section 5, but its

development requires the study of simultaneous approximation by polynomials on

the weighted Hardy spaces HP(w), 1 < p < oo. We dedicate Section 4 to this matter,

showing that Farrell and Mergelyan sets for these spaces can be characterized by

a geometric condition independent o fp and ~o.

2 Pre l iminar ie s

We denote by ql" the unit circle. The Lebesgue measure of any subset E of qr

will be represented by [El, and, as usual, C will mean a constant which can change

in each occurrence.

The classical Hardy spaces HP(D), 0 < p < oo, of analytic functions in

ID can be defined as HP(D) = N + n LP(qF) where N + is the Smirnov's class

([Gar, page 72]).

Let w be a non_negative function o f LI(qF). For 0 < p < oo, LP(w) is the space

APPROXIMATION IN WEIGHTED HARDY SPACES 67

of all complex-valued Lebesgue measurable functions on "It such that

{ 1 / : }l/p (2.1) Ilfllp,~, = 27 I:(ei~176 < m ,

7r

and we define the weighted Hardy space HV(w) of analytic functions on D by

(2.2) n % o ) = N + n Z%o) = {f e N + : Ilfllp# < ~ } .

Weighted Hardy spaces have recently been considered in [McP, GLS, Zh]. We

recall some properties.

(1) Ifw - 1, then HP(w) agrees with the classical Hardy space HP(ID). (2) It follows from the integrability condition of ~o that H~(D) c HP(r for

allp > 0.

(3) For any 0 < a < 1, consider

I-a( w(e iO) = exp L \Tr + O/

defined on T with a > 0, so that w(e i~ is a positive function in LI(T) whose

logarithm is also integrable. Define

f(e i~ = exp [ \7-+-'0: J

with b > 0. Then, since log f E L 1 (T),

1 H(z, eiO) 1 logf(eiO)dO F ( z ) = e x p ~ ~ p

belongs to N +, where e i~ + z

H ( z , e i e ) = e i e - ;

is the Herglotz kernel. However, for any p > 0, f ~ LP(T), and consequently

F c N+ \ (Up>o Hp(D)).

On the other hand, for fixed p > 0, we can choose b > 0 such that F defines a

function in HP(w), Indeed, as

l:(ei~176 = exp (pb- a) \ 7-~ : J '

taking b < alp, we obtain that f ~ LP(w) and therefore F E HV(w). By a weight on T we mean a nonnegative function w defined in T such that

w E LI(T) and logw E LI(T). I r E is any measurable subset o f t we will use the

68 A. BON1LLA ET AL.

notation ~(E) := fE w(()d~. To each weight w we can associate the outer function

of H p(D):

[/; ] 1 g ( z , eiO) log~(eiO)dO (2.3) G(z) = exp ~ r

Such an outer function satisfies the identity IG(ei~ = w(ei~ 1/p at almost every

point of the unit circle and provides a close relationship between H p (~) and H p (D).

P ropos i t ion 2.1. Let p > O, w be a weight on T, and f be a function defined in D. The following assertions are equivalent:

(a) f �9 HP(w),

(b) f G �9 HP(D),

where G is defined by (2.3).

Proof. Let f �9 HP(~). Then log [f(ei~ �9 Ll(']r) and, by the Riesz-Herglotz

factorization theorem, f can be represented as f = B S F , B being a Blaschke

product, S a singular inner function, and F the outer function given by

[/; ] 1 H(z, e ~~ log If(e%l dO F(z)=exp ~ ~

Now,

1 f(z)G(z) = B(z)S(z)exp [-~ i_ H(z, ei~ logif(ei~176 dO ]

is analytic on D and belongs to HP(D) because f(ei~176 lip E LP(T). On the other hand, if fG �9 HV(D), f is defined almost everywhere in ~I" and

f �9 N +. Moreover, f �9 HP(w) since

}"" Ilfllp,• = 1 ~r If(ei~176 dO

7P

(2.4) }"" = I I ( . % G ( . % I p dO = I I fGI I . .

7r

[]

Proposition 2.1 provides an equivalent definition of weighted Hardy spaces as

H"(w) = { f �9 N + : f G �9 HV(D)}.

P ropos i t ion 2.2. Let w be a weight on .~. Then HP(w) is a complete metric

space with the metric H ' H~p,~, 0 < p < 1, and a Banach space with the norm N" Np,~, 1 < p < oo.

APPROXIMATION IN WEIGHTED HARDY SPACES 69

Proof. We have only to prove that HP(w) is complete with the metric of LV(w)

for any 0 < p < c~. Take f E HP(, 0, p > 0. By Proposition 2.1, Ilfl lp,~ = IIfGIIp where G is defined by (2.3); hence any Cauchy sequence {fn }~-1 in H p (w) produces

the Cauchy sequence {fnG}.~__l in Hp(D) and, therefore, there exists F E HP(D)

such that f~G , F in Hp(]I)). If f = F/G, then trivially f belongs to HP(w) and

[]fn - f[[~,~ = [[f~G - FIIpP ,0 as n ~ c~. []

The equivalence between weighted Hardy spaces and classical Hardy spaces

given in Proposition 2.1 will play a crucial role in our study of approximation

problems in H P ( w ) . In the next two propositions we give a necessary and sufficient

condition for convergence in HP(w) and prove that analytic polynomials are dense

in HP(w).

Proposition 2.3. A sequence {fn}n~ converges to f in Hv(w) i f and only i f

{f~}~=1 converges to f uniformly on compact subsets o f D and [If~ [Ip,~ ' I lf l lp,~ aS ~2 ---~ (YL

Proof. Necessity is clear from the convergence in HP(D) of {f,~G}~_ 1 to f G

since G(z) # 0 on D. The reverse implication follows directly from the hypothesis

and from [CMS, Thin. 2], keeping in mind that G is an outer function of liP(D). []

Proposition 2.4. Analytic polynomials are dense in HP(w).

Proof. By Beurling's theorem ([Gar, Chapter II, w we have that for any

function f E HP(a;) there exists a sequence {Pn}nC~=X of analytic polynomials such

thatpnG ~ f G in HP(D). But this just means that pn ~ f in Hp(~) as n ~ oz. []

We close this section by proving that H~176 is dense HP(w). Actually, it will

be shown that approximating functions can be chosen in such a way that they are

controlled by the function in HP(w) to be approximated.

Proposition 2.5. For any function f in HP(w) (0 < p < co) there exists a

sequence {fn}~=l in H~(D) such that

(1) [f~l <- Ill in D and at almost every point in "~, for all n E N,

(2) fn ~ f pointwise in D and almost everywhere on qF as n ~ oo, and

(3) fn ~ f in HP(w) as n ~ oo.

7 0 A. BONILLA ET AL.

Proof . Fix f c H"@). By the factorization theorem, f = B S F , t3 being a

Blaschke product, S a singular inner function and F the outer function

] F(z) = exp ~ H(z, u(e ~~ dO , 7r

where u( e iO) = log I f ( ei~ [. Put un ( e iO ) = min{ u( ei~ n }, n = 1,2 . . . . . The functions

f,~(z) = B(z)S(z)F,~(z), with

[12 ] Fn(z) = exp ~ H(z, e i~ un(e i~ dO , 7r

give a sequence o f bounded analytic functions satisfying (1) which converges

pointwise to f on ]I). Moreover, it is easy to see that f,~ ~ f in measure on "IF so

that, by passing to a subsequence i f necessary, (2) holds, while (3) follows from

the dominated convergence theorem. The proof is complete. []

3 D e c o m p o s i t i o n o f HP(w)

Let X be a relatively closed subset of II~ and A be a class of analytic functions

on D. I f f E A, as usual we put Ilfllx = sup{If(z)l : z E x } and define the hull

o f X with respect to A as

2 A = {z e D : If(z)l ___ Ilfllx for all f E A}.

In the case A = H~(D) we write )(H~(D) = Jr.

R e m a r k 3.1. From Proposition 2.5, we conclude that )~H,(,o) = ~-.

By Alx we will represent the class of all those functions which are uniform

limits on X of functions belonging to A. C,,~(X) denotes the class o f all analytic

functions in the interior o f X which admit a continuous extension to C u {oo}.

We can now state the main result of this section, which is a decomposition

theorem for weighted Hardy spaces.

T h e o r e m 3.2. For 0 < p < oo we have

(3.1) Hv(w)lx = C,~a(.~) + HP(w).

R e m a r k 3.3. It should be noted that HP@)Ix = HP(w)I2. Indeed, since to

any function f in Hv(w)lx there corresponds a sequence of functions in HP(w)

which is, of course, a Cauchy sequence in J(, it follows that f e ap(~o)l ~.

APPROXIMATION IN WEIGHTED HARDY SPACES 71

The proof o f Theorem 3.2 requires some lemmas. The next one can be easily

shown using standard techniques o f integration theory (see, e.g., [Fo, page 93]).

We omit its proof.

L e m m a 3.4. Consider w E L~(w) with w > 0 a.e.-[dO] on T and let f E

IT(w), 0 < p < co, I f

1 fO+r If(e ey) - f(ela)[P w(ei'~)d% Av(f, e i0, r) ---- ~ Ja - r

then Ap(f, e i~ r) is a measurable function ofeiO fo r any r > O, and Av(f, e i~ , r) , 0

as r ~ O fo r almost every point o f t with respect to Lebesgue measure.

In order to prove (3.1) we are required to approximate any function in HP(w)

by continuous functions on X. Denote by Xnr the nontangential boundary of X ,

i.e., the set o f all those points e ~~ E X Ca T that are nontangential limits o f points

of X. Its complement in X n T, the tangential boundary of X, will be denoted by

Xt. As a first step, we obtain approximation by continuous functions on a subset

of the X,u having full measure.

L e m m a 3.5. Let f E HP(a O, 0 < p < ~ , and let X be a relatively closed

subset o f D. For any e > 0 there exist an open set V and a function f E HP(w)

satisfying."

(1) Ilf - fllH,(~) < e,

(2) l l / ] lx -< Ilfllx + e,

(3) f can be extended continuously to -X N V, and

(4) IXnt \ V I = O.

P r o o f . In the case IX,ul = 0 we take V = 0 and f = f . Hence we can assume

that IX,~tl > 0 and, by Lemma 2.5, without loss o f generality that f is bounded

on D.

For a > 1 and 0 < s < 1, we denote by T(e i~ a, s) the truncated cone in I13 with

vertex at e ~~ amplitude a and height s, i.e.,

T(e i~ = {z �9 D : I z - ei~ I < c~(1 - Izl), Izl > s}.

For fixed a l > 1, we define the following measurable sets:

.Aj = {e i~ �9 Xnt : If(e iO) - f ( z ) l < e ,z �9 T(ei~ - l / j ) } ,

B j = {e i~ � 9 : Ap(f ,e i ~ g k > _ j } .

It is easy to check that these families o f sets satisfy

72 A. BONILLA ET AL.

(a) Aj c Aj+I and Bj c Bj+I for any j e N, and

(b) IXnt \ (Uj~N .aj)l = IX,~ \ (U~eN B;)I = o.

Observe that {6j = Aj n Bj}]~ is an increasing sequence o f measurable sets

and that for j t large enough, we can choose a compact set K1 C C h satisfying 1 [X,~t \ Kxl < 7[X,~tl, and for every point e iO E K1

(i) ] f (d ~ - f(z)l < e for all z ~ T(ei~ l / j1) , and

(ii) Ap(f,e i~ 1/j~) < e.

Now take finitely many discs { A t }5 e J, with the same radii r~ < 1/ j l and centers

at {e i~ }jeJ~ C K1, such that A~ n Aj = 0 i f / r j and

I X Ix,,~ \ ( U aj ) l _< ~1 ,,,I. jEJ1

Let {~j }jeJ, C Co ~ (C) be a partition of unity subordinate to the family {2Aj}j~j,

such that, for each j E J1, supp ~y c 2Aj, ~oj -- 1 on Aj, and 110~3/0~1to~ _< C~/r~, C1 being an absolute constant. We extend f to C by f ( z ) = f(1/2) , for Izl > 1, so

that f is essentially bounded on C with respect to area measure. Define f~ = f - G1

with

jEJ1

where

1 f~ f(z) - f(e~ o~j dx dy

: v ~ + vj.

Here T~ is Vitushkin's localization operator, and Rj is a holomorphic function

off a compact subset of 2Aj \ D satisfying

(A1) Vj - Rj has a triple zero at infinity, and

(A2) IIR~tloo <_ C211vjlloo,

where C2 is a constant. In our situation, the existence o f such functions R~ is given

by Vitushkin's theorem applied to this case ([Ga, Corollary 7.3]).

I f we take a l sufficiently close to 7r, the boundedness of f and the uniform

approximation on T(e i~ , a l , 1 - rj) give IlVjll~ < e/2 for every j . By (A1) and

APPROXIMATION IN WEIGHTED HARDY SPACES 73

standard properties of the Vimshkin scheme for approximating analytic functions,

we obtain that

(3.2) II ~ (vj - R,.)lloo < c c jEJI

with C3 an absolute constant (see, e.g., [Ve, Lemma 2.2]).

Note that fl is analytic on D and near Uj~& Zxj, and it follows from our selection

C , of the centers e iej in X~t that l]f11[x <- llfl[x + 3~. With regard to G1, we have

Ilalll~,,~ ~ ~ . ,,.rot If('~) - f (e*OJ)F~a(5)d5 + (63) , . , (2Aj n"]r) .1

C

J 6 < a(4~ + c4)~ = c ~ .

Proceeding by induction, suppose we have chosen a finite collection of discs

{ A j } j e j ~ and constructed a function f,~ satisfying

( B I ) Xnt \( O( U Aj)) < ~nlXngl, t= l jEJ~

(B2) IIAIIx _< IlSllx + ca( s ~)~,1 /=1

(B3) Ilfn - A-*lip,., -< C5~, and

(B4) fn is analytic on D and continuous where f,~-i is continuous and on I.Jje j~ Aa.

To obtain fn+l, we exploit the arguments used to find fl. Indeed, having fixed n + l an angle c~,~+1, consider a compact subset K,~+I ofXn, \ (U~=I ([.J~eJ~ Aj)) in the

same way as we chose K1. Next, take a finite collection of discs {Aj}se&+ 1 with

radii rn+l and centers at e i~ E K~+t such that, for any j E J,~+l, I f ( d ~ - f(z)l < ~ for all z e T ( e i~ ~ + 1 , 1 - r j ) ,

and

,~p(I, ei~ , r ,+ l ) < -~ .

Moreover, Kn+l and r,~+l can be selected so that n + l

1 X x,,, \ ( U ( U A')) i <-- 2--~ 1 ,~,l. 1=1 jEJI

74 A. BONILLA ET AL.

Then we define f,~+l from f,~ in the same way we obtained f l from f . Finally, from (B3) we have that {fn},~__a is a Cauchy sequence in HP(w) whose

limit f satisfies

Ill - f l l . ,~ -< ~ = ~, n = l

while the inequality

II lx IIfllx + A :

follows from the pointwise convergence in D and (B2).

I f V = Ut~l (Uj~j~ A j), it remains to show that f is continuous on V A ~. For

any z E V N X f3 'IF there exist no E N and a neighborhood E of z such that, for

all n > no, E does not meet any disc of the generation of discs used to define fn;

hence fn is continuous on E. Also, by (3.2), we have E

llf,, - fn+111E _< 2--;

So we can write f = f,~ + ~]~k~=n(fk+l -- fk) and conclude that {fn} converges

uniformly on E to f . Thus, f i s continuous on E and the proof is finished. []

We are now in a position to prove Theorem 3.2.

P r o o f o f T h e o r e m 3.2. We first prove that C~,a(~') + HV(w) c Hv(o.,)lx.

Since Hv(w)lx = HP(w)Iy " (see Remark 3.3), it will be enough to show that

C~,~(~') C Hv(~o)[~,. Let B be the Banach algebra H~(D)Ij? and let S = ~ . I f V is

a bounded component o f C \ S, then, for each point z0 E V, there exists a bounded

analytic function h on D such that 1 = h(zo) > IIhLIx- So 1 - h is invertible in B

and, since we can write 1 - h(z) = (z - zo)g(z) with g �9 H~(D) and g r 0 on X,

we conclude that (1) l:z �9

On the other hand, for any point z0 in the unbounded component of C \ S, it is

well-known that 1/(z - zo) can be uniformly approximated on X by polynomials.

These facts imply that R(S)I2 c B, where R(S) is the uniform closure on S of the

rational functions with poles off S.

I f {Vj}3~x are the components of C \ S, the maximum principle gives that

0Vj. M "Ii" r 0 for all j . In particular, for any z �9 OS and for 6 > 0 small enough, the

interior o f A(z, 6) \ S contains an arc with diameter bigger than 6/2. By [Ga, Cor.

8.4], it follows that R(S) = C,~a(S) and, since trivially (3f) ~ = S ~ we obtain that

R(S)I.~ = C,,,,(S)1~7 = C,,o(X) c B c HP(w)I.~.

We now prove the reverse inclusion Hp(w)lx c C,,,(.~) + HP(w). Given

f �9 Hp(w)lx, we can assume that f is bounded on X. Otherwise, i f f l �9 HP(w)

APPROXIMATION IN WEIGHTED HARDY SPACES 75

and Ilf - f i l l s < 1, writing f = ( f - f l ) + f l we note that i f the decomposit ion

holds for ( f - f l ) it also holds for f .

Since any element f E Hp(w)lx can be represented on X as f = ~n~__l f,~,

with {f,~}n~_l c HP(w) and ~--~,,~--1 IIf~llx < ~ , all we have to do is to construct a

h ~ C~,a(-~) such that sequence { n}n=l in HP(w) N

1 Ilfn- h,~llp,~ < ~-~, (3.3)

and

1 (3.4) Ilhnll~ ~ IIf~llx + 2,~

for each n. Indeed, i f this is the case, we can put f = 2nL1 hn + ~'~nC~=l(fn -- hn) ,

where En~x hr~ E Cua(2) by (3.4), and ~,~-_l(fn - hn) E HP(w) by (3.3).

Let us assume that f is a function o f HP(w) bounded on X and fix e > 0. Our

task is now to find a function h in HP(~) M C~a ()() such that

l l f - hllp,~ < ~ and IIh[l~ ~ Ilfllx + ~.

By Lemma 3.5, there exist an open subset V such that [Xnt \ V[ = 0 and a function f E HP(~), continuous on X fq V, close to f in HP(cz), and bounded

on X by IlflIx. Our goal is to find a function in HP(w), continuous on X O qF,

approximating ] ' in HP(~) and whose supremum over )( is less than II]'llx- Since ] ' is continuous on X N V, we may "repair" the function on Xt and on

Xnt \ V. Indeed, i f IXtl > o, we use a construction due to J. Detraz ([De, page

332]) which guarantees the existence o f a compact subset K o f Xt with IKI > 0

and an outer function GK E H ~ (]D) such that

(i) 0 < IGg(z)l ~ i for all z E D,

(ii) G K ( Z ) ----* 0 as z ~ ~ E K, z E X, and

(iii) GK extends continuously to "IF \ K and does not vanish there.

By induction, we can consider an increasing sequence o f compact subsets

{K,~}n~-i of Xt \ V such that [Xt \ (V U K,~)I ---* 0 as n ~ c~. Then, if Gn = GK,~ is

the outer function associated to Kn as above, G = I-I,~__l G,~ extends continuously

to V n ' r and 0 < Ia(z)l _< 1 onD.

If [Xtl = 0 we simply take G = 1. - - O O Let L = (X n 2") \ (V U (U,~=I K,~)). Then ILl -- 0 and, by a general Ru d in -

Carleson-type theorem ([De], [St6]; see also [Ho, page 80]), there exists a function

H E H~(D), with continuous extension to L u (qr \ L), and satisfying H r 0

76 A. B O N I L L A E T AL.

on D and H --- 0 on L. Consider now the sequence {U~},~__I in HP(w) given by

U,~ = G1/'~H1/'f ". It follows from Lemma 3.5 and the properties o f G, f and H

that (Un)ly is uniformly continuous. This means that (U,~)I 2 E C~a()~). Indeed,

let z0 be a point in Xf~ "s such that U~(z) ~ 0 as z ~ z0, z ~ X. Then IU,~(z)l <

on x • A for some disc A centered at zo. I f we choose a polynomial p(z) peaking

at z0, i.e., such that p(zo) = 1, Ip(z)l < x for any z # z0 and IU~pl < ~ on X, we

have that

l imsup If,~(z)l -- lim sup IU,~(z)p(z)l <_ ~, Z ~ Z 0 Z---~Z 0

ze2 ze2

since ]]U~p]] 2 _< HU~p]]y <_ E. Finally, since G~/'~H ~/n ---+ 1 at almost every point of'lr, it follows that {Un}n~176

converges to f i n HP(w). For n large enough, h = U,~ satisfies (3.3) and (3.4) and

the proof is finished. []

4 S i m u l t a n e o u s a p p r o x i m a t i o n on H'(w)

In this section we characterize the Farrell and Mergelyan sets for HP(w) in

terms of a certain geometric condition that does not depend on w or p. From now

on, polynomial will mean analytic polynomial.

Def in i t ion 4.1. We say that a relatively closed subset X o f D is a Farrell set for HP(w) i f for any function f in HP(w) bounded on X there exists a sequence o f

polynomials {p~}n~=l such that

(F1): p,~ ~ f in HP(w),

(F2): IIP~llx ' IlYllx,

a s n ----~ ~O.

Analogously, we say that X is a Mergelyan set for H p (w) i f for any function f in

HP(w) uniformly continuous on X there exists a sequence {p,~}n~__x o f polynomials

such that (M1): pn , f inHP(w),

(M2): [IPn- fllx ,0, a s n - - - ~ cr

Def in i t ion 4.2. We say that a relatively closed subset X o f D satisfies the

nontangential condition (NTC) i f almost every point o f X n q1" with respect to the

Lebesgue measure on q" can be approached nontangentially from X.

We are now in a position to establish the main resut t in this section.

APPROXIMATION IN WEIGHTED HARDY SPACES 77

T h e o r e m 4.3. Let w be a weight in qF, 1 <_ p < co, and X a relatively closed subset olD. The following assertions are equivalent:

(i) X is a Farrell set for HP(w).

(ii) X is a Mergelyan set for HP(a;).

(iii) X satisfies the NTC.

(iv) For anyfimction f E HV(w) bounded on X and for any function 9 uniformly continuous on X, there exists a sequence {pn}n~z 1 of polynomials such that:

(1) Pn , y in HP(co),

<2) Ilpn - 9 [ I x ' I l l - 9 1 I x ,

asia- - - -* o c ,

Proof. First, we show that (i) :=> (iii). Suppose that (i) holds but (iii) fails.

Following an idea in [RS], we can choose a subset E of the tangential botmdary

X~ of X such that w(E) > 0 (because log w E LI(T)) and construct a function

f E Ha(D) satisfying [f(ei~ = 1 for all e ~~ E E and [If[Ix < 1. Let h(e i~ be defined in T by

h(eio)={~(ei~ ) i n E ,

in'ir \ E.

By (i), if {P,~}~=I is a sequence of polynomials satisfying (F1) and (F2) for

such a function f , it follows from (F1) that

// s (4.1) lim p,~(ei~ i~ w(e~~ = If(e~~ 2 w(ei~ = w(E). n - - - + o ~ 7r

On the other hand, (F2) yields

limsupn~ f~-~P~(ei~176176 <- limsuPn~e~ ~ ]P'~(ei~176176

_< lira sup []pn[[x f ]h(ei~176 n - - - ~ OO dE

< w(E),

which contradicts (4.1).

To see (ii) ~ (iii), we again suppose that (ii) holds but (iii) fails. By a construc-

tion due to J. Detraz ([De, page 332]), there exist a subset B o f Xt with [B[ > 0

and a function f in H ~ ( D ) , uniformly continuous on X, such that l i m z ~ f(z) = 0 z E X

for any ~ E B. Without loss of generality, we may assume that f (0) # 0.

78 A . B O N I L L A E T A L .

Let {p,~}n~_l be a sequence o f polynomials satisfying (M1) and (M2) for such

G ~ f G in HP(D) by a function f . Then, i fG(z) is as in (2.3), {pn },~=1 converges to

Propostion 2.1. Now, by Jensen's inequality we have

log Ip,~(0)G(0)l < ~ log Ip,~GIdO

= 2 ~ 1 [ i x . l~176176176

for any n. Next, we estimate each term in the right hand side. Since p,~G --~ f G in

HP(I~), we can conclude that

(4.2) sup [ loglp~CldO <_ sup [ Ip~Cl'dO <_ C < 0(3.

n JT\B n JT

On the other hand, since

G is integrable with IGI > 0 almost everywhere on "I" and pn , 0 uniformly on B

by (M2), we obtain

lim [ log IPnGIdO = - ~ . (4.3) n--* oo JB

Since fB l~ IGI dO < oc, (4.2) and (4.3) lead to

log If(0)G(0)l = lira log Ip,~(0)G(0)l = - ~ , ~--'-* OO

which would imply that f(0)G(0) = 0 and therefore f(0) = 0. This contradiction

shows that the NTC is necessary for X to be a Mergelyan set for HP(w). The implications (iv) ~ (i) and (iv) =, (ii) are immediate if in (iv) we take g _-__ 0

and g -- f i x , respectively. It remains to prove that (iii) =~ (iv).

Fix g E C(X) and fo E Hp(~o) bounded on X. For simplicity, we assume that

IIf011p,~ = I and Ill0 - gllx = ~ < oc. Consider the Banach space B = LP(a~) x C(X) endowed with the norm

II(fl, f2)ll = max{Ill1 IIp,,~, II f2 I1~-}.

Note that any continuous function f on D can be represented as an element o f

B by the pair f = (fhr, f i X ) . It will be convenient to denote by P the subspace o f

B consisting of all analytic polynomials.

For e > 0, let K , be the bounded convex subset of B defined as

K~ = {(fa, f2) E B : tlYltlp,~ < 1 + e , Ill -gllx < ~ + e } .

APPROXIMATION IN WEIGHTED HARDY SPACES 79

We make the following

Cla im. Fix any compact subset J o f D; fo can be uniformly approximated on

J by elements o f P N K~.

Take the claim for granted and let (Jn)n~_--I be an increasing sequence o f compact

subsets of D such that D = U,~__I Jn. Then, for each compact Jn and each real

~ = 1/n, n E N, the claim provides a sequence {q~}~-i C P satisfying

[[q~[[p,,o < 1 + l /n ,

[]q~ - 9]]x < 6 + 1/n, and

IIq~ - fo l lJ . < l / k ,

for k = 1, 2, . . . . By a diagonalization process, we obtain a sequence {p,~},~__l =

{q~}n~_~ c P such that, for any compact subset J o f D and any e > 0,

(4.4) 11;41p,~ < IlYollp,~ + ~,

(4.5) [[P,~ - g l lx < lifo - g112 + ~, and

(4.6) []Pn - follJ < e

for n large enough. Trivially, (4.6) leads to

(a) pn ' fo uniformly on compact subsets o f D .

Also, (4.6) with (4.4) gives

(~) Ilpnllv,,, ' ]lf01l,,~;

and again (4.6), but with (4.5), leads to

(7) I l p , ~ - g l l x ' t l f o - g l l x -

Now in (iv), (1) follows from (a), (/3) and Proposition 2.3, while (2) holds

by (7). []

P r o o f o f t h e C l a i m . Let J be a compact subset o f D; then we have to show

that f0[J can be uniformly approximated on J by elements from P n K , . By duality,

this is equivalent to proving that

Re A(fo) = Re f f o dA < 1, (4.7)

for any complex regular measure A supported on J such that Re A(p) < 1 whenever

pE P n K , .

80 A. BONILLA ET AL.

Each of these measures A defines a continuous linear functional on the closure

T B of P on B which satisfies Re A(h) _< 1 for all f E pB n K,/2. Indeed, since G

does not vanish on ID, i f / = minz~j [G(z)[ > 0 and q E P, then

<- 7 [qG[ dia I <_ ][qG]lp _< Cllqllv:, _< CBIqllB,

where C is a constant that depends only on the compact subset J and G. Here we

have used the Poisson formula and the well-known pointwise estimate by the norm

for HP(ID)-functions ([Du, Chap. III, w On the other hand, i f h E pB n K,/2

there exists a sequence of polynomials {p,~}n~176 1 that converges to h in Hr'(a:) and

such that

[Ih-pni]p,~_<s/2 and ] [h-pnl [x <_e/2

for n large enough. Hence,

[IPnl[p,~ < l[ht[p,w "F s/2 ~ 1 -b s,

Ilpn - 91Ix -< Ilpn - h l ]x + I I h - 91Ix -< +

since h E K~/2. Thus, for n large enough, these polynomials belong to K, ,

Moreover, since convergence in H;(w) implies uniform convergence on compact

subsets of D, we obtain that A(pn) ---* A(h). Thus, Re A(h) _< 1.

We now need a Hahn-Banach-type theorem due to A. M. Davie, T. W. Gamelin

and J. B. Garnett.

L e m m a 4.4 (DGG, L e m m a 4.1). Let B be a real Banach space and M a

closed subspace o f B. I f K is a bounded convex subset o f B and r is a con-

tinuous linear functional on M satisfying r < a (a > O) on U~ n M with U, an

s-neighborhood o f K, then there exists an extension r o f r to B such that ~ < a on

K.

By Lemma 4.4, the functional A admits a continuous extension L to B satisfying

(4.8) Re L(h) < 1 for all h E K~,

with 0 < s' < s. The action of L on any element (fl , f2) o f B can be represented as

(4.9) L(fl'f2) : ~T flIx~dOJ- fX :2dl"~' where 11 E Lq(a:) and # is a finite Borel measure supported on X.

It is easy to see that the restriction o f # to X n qP is absolutely continuous

with respect to Lebesgue measure on the unit circle. Indeed, for any compact

APPROXIMATION IN WEIGHTED HARDY SPACES 81

a o o subset K o f t with zero Lebesgue measure, let { n}n=l be a sequence of functions

continuous on D and analytic on its interior such that an = 1 on K and an ---' 0 on D \ K ([Ho, page 80]). Since A(an) = L(a,~) for any n, (4.9) and the Lebesgue

dominated convergence theorem lead to

0 = lim A(an)= lim L(a~)= #(K), n -----r o o n - - ~

which proves the desired property for P]wX" It should be noted that this property of #, together with (iii) and (4.9), implies

that L(fo) is well defined, even though fo may be outside B.

To conclude the proof it will be sufficient to establish that

(4.10)

and

(4.11)

: L ( f o )

ReL(f0) _< 1.

Lemma 2.5 gives a sequence {f~}n~176 1 in H~(D) that converges to f0 in HP(w)

and such that, for any n E N, If,~(z)l <_ I/o(z)l for all z E D and for almost every

point in "ir. Thus, ,~(f,~) ~ ~(fo) and, since fo is bounded on X and almost

everywhere on X n ql" (here we again use the hypothesis (iii)), L(f,~) ---* L(fo). Now we want to show that ,~(f,~) = L(fn) (n = 1, 2, ...), which will give (4.10).

Since we are dealing with bounded functions, this is immediate i f we take its

dilations fn(rz), 0 < r < 1 (which trivially belong to T a ) , apply a dominated

convergence argument and recall that )~ - L on T a.

In order to prove (4.11) it will be enough to find a sequence {(f{~,/~')}n~__o c

K~, such that L(f~, f~) , L(fo). As the first component {f~},~--o, we take the

sequence of bounded analytic functions {fi~}~-o given by the Lemma 2.5 and used

in the proof o f (4.10). Since {f~}n~176 0 converges weakly to f0 in LP(a~), it follows

that

fT f~ ll wdO ) IT fo 11 ~dO (4.12)

a s n -----> 0 o .

To construct the sequence {f~ }~:o in C(X) we note again that, by assumption,

the estimate [fo - gl -< 5 holds on X and, by (iii), at almost every point o f X n "ii"

with respect to Lebesgue measure; therefore, it also holds at almost every point

of X with respect to #. By Lusin's theorem, we obtain a sequence {hn}~__0 in

C(X) uniformly bounded on X by [[hnlI-R <_ ~ and converging pointwise to f0 - g

at almost every point o f X with respect to #. This implies that

(4.13) , s

8 2 A. B O N I L L A E T A L .

a s n ~ .

Taking f~ = hn + g, we see that the sequence {(f~, f~)}~=0 belongs to Ke.

Hence, by (4.8),

(4.14) ReL(f~, f~) < 1

for any n E N. Moreover, by (4.12) and (4.13)

(4.15) L(f?, f~) ~ L(fo)

a s n -----~ o o .

Thus, (4.11) follows from (4.14) and (4.15).

A final comment should be made. The extension of the functional A which

Lemma 4.4 provides also exists in the case that the subspace does not meet the

convex set. In our situation, i f P B does not intersect K, , the claim above could also

be proved for any measure # with support on J, which would allow us to show that

Re f j f0 d# is less than any constant. Since this is clearly impossible, we conclude

that P n K~ cannot be empty.

5 Simultaneous approximation by cyclic vectors

A well-known theorem of Beurling states that any outer function G in HV(~))

generates a dense subspace {pG : p is an analytic polynomial } ([Gar, Chapter II,

w Hence it is quite natural to study simultaneous approximation by these

functions. The definitions of Farrell and Mergelyan sets in this case can be

reformulated as follows.

Definit ion 5.1. Let G be an outer function of H~(D), 1 < p < oo, and X a

relatively closed subset of D. We say that X is a Farrell set for HP(D) with respect

to G if for any function f E HP(D) bounded on X there exists a sequence {Pn}~=l

of polynomials such that

(FG1): p,~G , f inHP(D),

(FG2): IIP,~allx ' II/llx, a s h - - - - } o o .

Analogously, we say that X is a Mergelyan set for HP(D) with respect to G if

for any function f E HP(D) uniformly continuous on X there exists a sequence

{Pn },~----1 of polynomials such that

(MG1): p,~G ----+ f in HP(D),

(MG2): IlPna-/llx ,0, a s n - - - - > o o .

APPROXIMATION IN WEIGHTED HARDY SPACES 83

It should be noted that these kinds o f approximation require the outer function

to satisfy some rather evident compatibility conditions on X. We illustrate partially

the nature o f such conditions in the example below.

E x a m p l e 5.2. Consider a relatively closed subset X o f D and let E be a

Cantor-type subset o f X N "]r with positive measure. Let G be an outer function o f

HP(D) such that [G[ = �89 on E and Ial = 1 on qF \ E. I f {Pn}n~176 is a sequence o f

polynomials satisfying pnG " ' 1 in HP(D), then, by the pointwise convergence at

almost every point o f T , there exists a compact subset K c E where IP,~I > 2 - e

for n large enough. By continuity, IPn [ > 2 - 2e in a neighbourhood V o f K on

T. Since [G I = 1 on 7f \ E, [p,~G[ > 2 - 3e in a subset o f positive measure o f

V n (T \ E). Therefore, we can choose z E X close enough to V n ('IF \ E) such that

[pn(z)G(z)[ > 2 - 3e for n large. This makes it impossible that IIp,~Gllx - - ~ 1.

The characterizations of Farrell and Mergelyan sets with respect to outer

functions are stated in the following theorems.

T h e o r e m 5.3. Assume that i <_ p < oo and let G bean outer function of liP(D) with IGI uniformly continuous on X. Then a necessary and sufficient condition for X to be a Farrell set for HP(D) with respect to G is that X satisfies the NTC.

P roo f . Replacing polynomials by polynomial multipliers o f G, we see that

the same argument used in the p roof o f the implication (i)=~ (iii) o f Theorem 4.3

shows that the NTC is necessary.

Conversely, fix fo E Hp(]D) with Ilfollx < oo. To begin with, we assume that G

does not vanish on X. For any e > 0, define the Banach space B = Lv('IF) x C(X) endowed with the norm

{ lllfollp IIfollx1 } II(fl, f2)lIB -- max + ~llAIIp, + ~ IlY211x-

Note that the hypothesis o f continuity o f IGI over X guarantees that

Q = {(q[G[, q[G[) : q is an analytic polynomial}

is a subspace o f B. Denote by K , the unit ball of B, i.e.,

K~ = {(f l , f2) : IIflllp <~-- IISollp + ~, IIf211x- <- IIfollx + ~}-

Let us assume for the moment the following

Given any compact subset J of D, fol~_ I can be approximated Claim.

uniformly on J by elements from K, n Q .

84 A. B O N I L L A E T A L .

Let {Jn},~-i be an increasing sequence o f compact subsets o f D such that

D = Un~__t J,~. From the claim it follows that, for each compact J,~, there exists a

polynomial p~ such that

I@11 1 (5.1) I l p n l G I - fo J~ < - ,

n

1 (5.2) IIp,dalllp _< Ilfollp + - ,

n

1 (5.3) IIp,dGIIIR- -< Iifollx + - .

n

Since

IIP, IGI - f o L ~ l l J ~ = IIp~G - follJ~,

we deduce from (5.2), (5.3) and Proposition 2.3 (see also [CMS, Thm. 2]) that

{pn }n=l converges to fo in HP(D). On the other hand, from (5.2) and (5.3) it

follows that [IpnGIIR- ' I l f o l l x as n ---, oo. []

Hence it only remains to prove the claim above.

P r o o f o f t h e C l a i m . By duality, we must show that

}A(fo~-~)] < 1 ,

whenever )~ is any complex Borel measure supported on J satisfying I;~(h)l < i for

any h E K~ n Q.

Since K, is the unit ball of B, it is easy to see that ), defines a continuous linear

functional on P whose norm is bounded by one. Now, A can be extended to a

continuous linear functional L on B with IILII < 1, and L can be represented as

L(sl,s2) = f sloe0 (sl,s ) B,

with I 6 Lq(qr) ( l / p + 1/q = 1) and # a complex Borel measure compactly supported

on X. Moreover, since

II(b,0)il~=/ II(0,g)llB=l

= sup ~ bldO + sup f gdl~ Ilbllp=llYotl~ +~ IIgH~-=ll.follx+e

= sup [(llfollx +e)hldO + sup [(llfollx +~)kdu Ilhllp=l J~ Ilkll~-=l JR-

= (IILII + ~)lllllq + (llfollx + ~)11~11,

APPROXIMATION IN WEIGHTED HARDY SPACES 85

where [l#if denotes the total variation of/~, the estimate IIL[t <_ 1 means

(5.4) (llfollp + r + (llfollx + r - 1.

On the other hand, the same argument given in the proof of the implication (iii)

(iv) in Theorem 4.3 can be exploited again to show that the restriction ~l~nT o f

to "r is absolutely continuous with respect to Lebesgue measure on qF. Indeed, it

is enough to repeat the reasoning making use of the sequence { (an l G I, a~ IGI)}~-1, g ~o where { n },~=1 is the sequence of functions in the disk algebra given there.

Note that, even in the case that fol---~ - does not belong to B, L(fol---~ -] is well

defined by the NTC and the properties~of/~. Thus, the proof will ~ ~ / b e complete as

soon as we prove that

(c~) ~(folGG-~l) = L(fol--~-), and

To see that the identity in (c~) holds, we use our results on simultaneous ap-

proximation in the weighted Hardy spaces. In fact, since X satisfies the NTC and

~(e ~~ = IG(e~~ is a weight on "2, X is a Farrell set for HP(w) (Theorem 4.3).

Thus, since fo/G E HP(~o) and it is bounded on X, there exists a sequence {io,~ },~__1

of analytic polynomials satisfying

(1) Pn ~ fo/G in HP(~o), and

(2) IIP-llx ~ Ilfo/IGlllx. Now, from (1) and (2), it is easy to check that

(1') pnla[ , fol-~ - in LP(ql ") and uniformly on compact subsets o f D, and

(2') IlpnGtlx <_ K, K being a constant independent o fn .

By (1') and (2') it follows that

A(pnIGI)---* A(fo,G--~) and \ l(..x[ ,;

L(p,dGI) ~ L(fo~Gi) ash--* oe;

since A(PnlGI) = L(PnlG[) for all n, (a) holds. Finally, by (5.4) we obtain that

L(fo~--~Gi)l < Ilfollplltllq + llfollxll~l,

-< (IILIIp + ~)llltlq + (llfollx + ~)11~11 < 1 ,

8 6 A. B O N I L L A ET AL.

which proves (/7) as desired.

To prove the general case (in which G can vanish on X f~ "IF), we consider the

outer functions defined by

Gn(z) = exp [ ~----~ f ~ H(z' ei~ l~ ]Gn(ei~ '

where [Gn(eie)l = max{IG(eie)1,1/n}, n = 1, 2, . . . . Observe that, for all n,

IGn(z)l _> ta(z)l in D and at almost every point o fT . Note also that IGn(z)[ > 1/n for all z E D and Gn , G pointwise on D and at almost every point of T. Since

_ G c~ IIG~II~ < IICII~ + 2~/nP, { ~}~=x is a sequence of outer functions that converges to G in HP(•).

Furthermore, from the uniform continuity of IGI on X, it is not difficult to check

that each ]Gn I is also uniformly continuous on X.

Now let fo E HP(D) with Ilfollx < ~ and assume that X satisfies the NTC.

Arguing as in the previous case, we see that for each n there exists a polynomial

Pn such that

IlpnGn - flip < 1/n and IIp~a~llx ~ Ilfllx + 1/n.

Since Ip,~(ei~176 < Ipn(eio)G~(ei~ for almost every point in T, Ilp~Gnllp Ilfllp and pnG --, f almost everywhere on T, a dominated convergence argument

yields pnG ~ f in HP(D) (see, e.g., [Fo, page 57]). Finally, since IIp~allx <_ [IpnGnllx <- tlfllx + Un for all n, it follows that limsup IlpnGllx < Ilfllx. The proof is complete. []

T h e o r e m 5.4. Assume that 1 < p < ~ and let G be an outer function of HP(D) satisfying

(i) G is uniformly continuous on X,

(ii) G does not vanish on X.

Then a necessary and sufficient condition for X to be a Mergelyan set for HP(D) with respect to G is that X satisfies the NTC.

Proof . First suppose that X is a Mergelyan set but it does not satisfy the

nontangential condition. In this case, again using the construction due to J. Detraz

in [De, page 335], we can find a subset B of Xt with positive Lebesgue measure and

a bounded analytic function f uniformly continuous on X which satisfies f(0) ~ 0,

and f(z) ~ 0 as z ~ ~ for z E X and ~ E B. Then, i f {p,~}n~__x is a sequence o f

APPROXIMATION IN WEIGHTED HARDY SPACES 87

polynomials satisfying (MG1) and (MG2) for such f , by Jensen's inequality we have

log Ip,(0)a(0)[ < f l o g IPn(eiO)G(ei~ dO.

We split the integral on the right hand side into

f loglp,~G'dO=f~ l~ fBl~ \ B

Now

(5.5)

(5.6)

when n ~ ~ . As

L\Blog lPnGIdO <_ (L IPnGIPdO}I/P < oo,

for all n, because {pnG}~=l converges to f in HP(D). However, since log fpnG[ ~ 0 uniformly on B, it follows that fB log IpnG I ~ -oo. Hence f(0) = 0, and the

contradiction is evident.

Assume now that X satisfies the NTC. Consider the weight w(e i~ = [G(ei~ p and let f e HP(D) be uniformly continuous on X. Then f /G e nP(w) and (by

(i) and (ii)) it is also uniformly continuous on X. Since X is a Mergelyan set for

HV(w) (Theorem 4.3), there exists a sequence {Pn}n~176 of polynomials such that

f ) - - in H~'(w), and pn G

P n - - f X ~0

f lpn(eie)G(e i~ - f(eiO)lP de = fT p , ~ ( O )

= f~ Pn(eiO)

pnG that [IpnG - f[lx

f(e o) p v(e'o) IV(ei~ f(eiO) P G(eiO) w(ei~ dO,

, f in HP(D) by (5.5), while the boundedness of G on X and (5.6) show ,0. The proof is complete. []

Acknowledgments

The authors wish to express their sincere appreciation to the referee for some

valuable comments and suggestions leading to the revised version. The research of

the authors in La Laguna has been partially supported by a grant of the DGICYT

no. PB95-0749-A.

88 A. BONILLA ET AL.

REFERENCES

[BPT] A. Bonilla, F. P6rez-Gonz~tlez and R. Trujillo-Gonz~ilez, Mergelyan sets for classes of harmonic functions, Complex Variables 31 (1996), 9--18.

[CMS] J. A. Cima, T. H. MacGregor and M. I. Stessin, Recapturing functions in H p spaces, Indiana Univ. Math. J. 43 (1994), 205-220.

[DGG] A. M. Davie, T. W. Gamelin and J. B. Garnett, Distance estimates and pointwise bounded densiW, Trans. Amer. Math. Soc. 175 (1973), 37~o8.

[De] J. Detraz, Algebres de.fonctions analytiques dans le disque, Ann. Sc. I~cole Norm. Sup. (4) (1970), 313-352.

[Du] P.L. Duren, Theory of liP Spaces, Academic Press, New York, 1970.

[Fo] G.B. Folland, RealAnalysis, Wiley, New York, 1984.

[Ga] T.W. Gamelin, Uniform Algebras, Second Edition, Chelsea Publ. Co., New York, 1984.

[Gar] J.B. Garnett, Bounded Analytic Functions, Academic Press, New York, 1991.

[GLS] D. Girela, M. Lorente and M. D. Sarri6n, Embedding derivatives of weighted Hardy spaces into Lebesgue spaces, Math. Proc. Cambridge Philos. Soc. 116 (1994), 151-166.

K. Hoffman, Banach Spaces of Analytic Functions, Prentice-Hall, New Jersey, 1962.

J. D. McPhail, A weighted interpolation problem for analytic functions, Studia Math. 96 (1990), 105-116.

F. P6rez-Gonz~ilez, HVjoint approximation, Proc. Amer. Math. Soc. 102 (1988), 577-580.

F. P6rez-Gonz~ilez and A. Stray, Farrell and Mergelyan sets .for H p spaces (0 < p < 1), Michigan Math. J. 36 (1989), 379--386.

F. Perez-Gonz~ilez and R. Trujillo-Gonz~ilez, Farrell and Mergelyan sets .for the space of bounded harmonic functions, in Classical and Modern Potential Theory and Applications (K. GowriSankaran et al., eds.), Kluwer Academic Publ., Dordrecht, 1994, pp. 399-412.

L. A. Rubel, Joint approximation in the complex domain, in Symposium on Complex Analysis, Canterbury, 1973 (J. Clunie and W. K. Hayman, eds.), Cambridge Univ. Press, Londorv-New York, 1974, pp. 115-118.

L. A. Rubel, A. L. Shields and B. A. Taylor, Mergelyan sets and the modulus ofcontinui(v, in Approximation Theory (G. G. Lorentz, ed.), Academic Press, New York, 1973, pp. 457--460.

L. A. Rubel and A. Stray, Joint approximation in the unit disc, J. Approx. Theory 37 (1983), 44-50.

A. Stray, Characterization of Mergelyan sets, Proc. Amer. Math. Soc. 44 (1974), 347-352.

A. Stray, Pointwise bounded approximation by functions satisfying a side condition, Pacific J. Math. 51 (1974), 301-305.

A. Stray, Approximation by analytic functions which are uniformly continuous on a subset of their domain of definition, Amer. J. Math. 99 (1977), 787--800.

A. Stray, A scheme for approximating bounded analytic functions on certain subsets of the unit disc, Pacific. J. Math. 74 (1978), 251-255.

A. Stray, Decomposition of approximable functions, Ann. of Math. (2) 120 (1984), 225-235.

A. Stray, Mergelyan type theorems for some function spaces, Publ. Mat. 39 (1995), 61-69.

[Ho] [McP]

[Pe]

[PSI

[PT]

[Ru]

[RST]

[RS]

[Stl]

[St2]

[St3]

[St4]

[St5]

[St6]

APPROXIMATION IN WEIGHTED HARDY SPACES 89

[We] J. Verdera, C TM approximation by solutions of elliptic equations and Calderon-Zygmund operators, Duke Math. J. 55 (1987), 157-187.

[Zh] X. Zhong, On the radial limits offunctions in weighted n p and BMOA, Houston Math. J. 20 (1994), 261-273.

dntonio Bonilla DEPARTAMENTO DE ANALISIS MATEM./~T1CO

UN1VERSIDAD DE LA LAGUNA 38271 LA LAGUNA, TENERIFE, SPAIN

email: abonilla~ull.es

Fernando P~rez-Gonzcilez DEPARTAMENTO DE ANALIS1S MATEM,~TICO

UNIVERSIDAD DE LA LAGUNA 38271 LA LAGUNA, TENERIFE, SPAIN

email: fpergon~ull.es Arne Stray DEPARTMENT OF MATHEMATICS

UNIVERSITY OF BERGEN N-5007 BERGEN, NORWAY

email: stray~mi.uib.no

Rodrigo Trujillo-Gonzfilez DEPARTAMENTO DE AN.~LISIS MATEMATICO

UNIVERSIDAD DE LA LAGUNA 38271 LA LAGUNA, TENERIFE, SPAIN

email: [email protected]

(Received October 7, 1996 and in revised form August 6, 1997)