This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
0,0
+ O 0 >. 4-7- The proof of Proposition 4.2 shows, that if is a separable metric symmetric space and X [0, ~] ~ ~/t then there exists a continuous function F" ~ - - ~ X I? n ~/--
~esp. X/X~ ) such that F ( ~ ) = ~ { ~ { ~ e ~ ~ XA/XAn X~ ( :esp. X / X ~ ) ,, . . . . . "
/% ~ /, ~ ,,/%A the line~
span,, i,,of family ~ ''~ v .... being dense in ~A.,/~A~ A[~ (resp. A/A~ ) and the series converging uD~fo1mLly on compact sets of the disc D •
§ 5. o,n r,otati, On-invariant subs,paces of ,~, ~ ,0< P < ~' Let
G
group. Let
be a compact abelian group. Denote by P
A
be a subset of ~
the dual
. Recall that ~A ~ ~ )
50 denotes the closure (in LP (~) ) of the linear span of the set A ( 0 ~ p ~ ÷ o 0 ) . It is clear that ~ A Q G ) is a closed rotation-invariant subspace of ~ ( G ) ( 0 < p < ~ 0~) . It is well-known that these subspaces are the only invariant l) subspaces of ~ ( G ) when P ~ [ i ~ ~ ) . Moreover, if G is a metrizable group then each invariant subspace of ~ ( ~ ) (~<+o0) is cyclic i.e. generated by a single function ~ , such an # being e.g. 0 C * - ~ ~o~'~(~) , where[6~}~ A is a summable family of non-zero numbers. K. de Leeuw [42] noticed that the invariant subspace
I,Pz.CT)n BP~_(T) ~-HPn H_~ ~
{0} ( o < p < ~ )
does not co.-
rain any
character of the group ~ . It follows from Th.l.0.1(b) that this subspace is cyclic. It is generated by the function ~_ % . However, the invariant subspace ~ * HPn H_~ (0 < p < J ) is not cyclic, see Cor.5.2 below. Let X be an invariant subspace of ~ < 6 ) . Denote by ~ the set of all rotation-invariant functlonals on X . !t is clear that X0~ is a subspace of the Banach space X ~ . Note that ~.~4~ Xo* ~< ~ if ~ c [ ~ + o o ) . PROPOSITION 5.1o Let ~ be a compact abelian group and let be an invariant subspace of L~ ~ ~) . Suppose that < d~TF5 X t . Then the invariant subspace, generated by a collection of functions { ~ K ~ ~ in ~ does not coincide with X. PROOF. Consider the operator T " X ~ > ~ , T~ _~e# = (~(~)~(~)~...~(~)) . since ~ < ~ T ~ ~o~ , there exists a function~] ~ ~ ~ 6 % T ~ ~ q = 0 . To finish the proof note that ~ # ~ } ~ 4 C ~ & ~ ~ and ~ 8 % ~ is an invariant subspace of ~ 7~)- •
coRo~u~Y ~ . The invarlant su~,pace ~ (~) is not cyclic ( o < p < ~) . PROOF. It is easy to check that ~ noting ~YO H_ ~+C . The space ~
~ o funct±on~s:
~,-~ ~(0) , ~
~
H-~ + C
of
X*-~---o Z , X deis the linear span of
~(~)."
I don't know whether there exists an invarlant subspace of ~ ) ( H ~) , 0
i ~ is an absolute constant). ~oreover, the orthogonal projection from L$(~) onto ~i(~) may be taken to coincide with ~I ],~(~) . RE,LARK. A weakened version of lemma 2 was used in [II] (though it was not stated explicitly there) to prove that wp for pb~ and ~ p ( C A ) ~ ( p - ~ ) -~ for p~< ~ . To be more precise, a projection of UP(~) onto ~P(~) for some ~ > / ~ was also constructed in [II] , but in contrast to len~na 2 this projection "depended on p " (i.e. it was defined by different formulae for different ~ s ; this formulae did not agree even on ~co(~) ). However the proof of this fact involved only estimates of the Riesz projection ~+ in [,P , and to prove Lennna 2 analogous estimates in weighted spaces ~P(G~) are needed. If we argue similarly to the proof of Theorem 3 below but use only this weakened version of Lemma 2 we shall be able to prove a proposition differing from Theorem 3 only by a weaker estimate of ~p (~_A_) for ~ < ~ ~< (namely, ~p ( & ) ~ ~ (p-~)-3/~ instead of ~p ( ~ & ) ~<~(~_~)~ ). But to establish the "right" estimate Len~ma 2 in its full strength seems to be inavoidable. PROOF OF THEOREM 3. First of all note that the norm of the natural (i.e. translation-invariant) projection ~ of LP onto the space ¢~oshp % ~ & ~ b [ ~ : ~ j ~ } is less than or equal to
~p(CA)
c ( p - # ) -~t~ pends on ~
if
4
i ~ is an absolute constant). ~oreover, the orthogonal projection from L$(~) onto ~i(~) may be taken to coincide with ~I ],~(~) . RE,LARK. A weakened version of lemma 2 was used in [II] (though it was not stated explicitly there) to prove that wp for pb~ and ~ p ( C A ) ~ ( p - ~ ) -~ for p~< ~ . To be more precise, a projection of UP(~) onto ~P(~) for some ~ > / ~ was also constructed in [II] , but in contrast to len~na 2 this projection "depended on p " (i.e. it was defined by different formulae for different ~ s ; this formulae did not agree even on ~co(~) ). However the proof of this fact involved only estimates of the Riesz projection ~+ in [,P , and to prove Lennna 2 analogous estimates in weighted spaces ~P(G~) are needed. If we argue similarly to the proof of Theorem 3 below but use only this weakened version of Lemma 2 we shall be able to prove a proposition differing from Theorem 3 only by a weaker estimate of ~p (~_A_) for ~ < ~ ~< (namely, ~p ( & ) ~ ~ (p-~)-3/~ instead of ~p ( ~ & ) ~<~(~_~)~ ). But to establish the "right" estimate Len~ma 2 in its full strength seems to be inavoidable. PROOF OF THEOREM 3. First of all note that the norm of the natural (i.e. translation-invariant) projection ~ of LP onto the space ¢~oshp % ~ & ~ b [ ~ : ~ j ~ } is less than or equal to
~p(CA)
c ( p - # ) -~t~ pends on ~
if
4
z~ . a) if ~ e H °° is a singular ~ function, ~ / S e H i , then
437
b) If ~ is a Blascke product, ~ / B ~ ~ 4 and the multiplicity of the zero of the function .~ for every I~e~-4(O) is not less than ~ , then { ~ E H ~ ~ ~-~--~3~ .... It is not clear whether the assertion of theorem 5 holds 1 4 for the spaces ~ , ~2/~ (for the space M s these assertions 4 hold what one can deduce from the (F~property of H ~ ).
8. Further ~eneralizations. In this section we announce results concerning (~property in domains with angles. These results cover (even in the case of the disc) the statement of theorem I but their proof seems to be too long to be published here. DEFI/~ITION. Let ~ be a bounded Jordan domain, a function ~ be analytic in ~ and bounded, I ~(~)I--< C . Let ~ be a conformal mapping of the unit disc ~ onto ~ . Then M ( ~ ) ~~. S(~(~))E H ~ . We write the Nevanlinna factorization for ~ :
H= where
~
is an outer function,
We define the o u t e r p a r t of the S by the equalities:
where
~-~
I
is an inner function.
and the
is the inverse mapping of
~
i n n e r
p a r t
.
THEORE~/~ 6. Let ~ be a Jordan domain whose boundary consists of infinitely smooth arcs ~ " " ~h. and the arcs ~ and ~I (we set ~ I = ~ ) form t'he angle qJIT/~I,- , ~--_~;,0,~;~are positive integers.Let an outer(in ~ ) function F satisfles on ~ the A i -Muckenhoupt condition:
Irl z
z
'
Let X be either the space of functions such that
or the space of functions
~
analytic in ~
~ analytic in
such that
438
where
v
t0
is an arbitrary continuity modulus, the point
[~:
= and
8~)~ ~ sesses t h e literally
,^~ ~$~ (F)-proper~y
like
fS
(~) ~ )
in
=D
watch zs defined
t h e case o f
,
. Then the space
F=4
the unit
, we g e t
for
X
pos-
the domain
disc,
theorem1.
RE,LaRKS. a) The assumption concerning the angles is essential: if their sizes are q C / ~ , ~ c ~ < cO being not all positive integers,then the conclusion of the theorem fails even for ~ ~ . b) An example of the function ~ with A-Muckenhoupt condition: let be a nonnegative measure on ,~(~)<~0, V ~({~})<~ for any point ~ . Then the function
is an outer function satisfying the Az~uckenhoupt condition (the domain ~ is as in theorem 6). I am highly grateful to V.P.Havin for careful reading the present paper and its correction in mathematical and linguistic aspects. References. I. H,E.I~ p H B S J~ O B. F p a a n q ~ e
U2~. ~ Z ,
2. K.H o f f m a n. Banach ce-Hall,
CBO~OTBa aHaaHTnqecEI~X ~yHE--
YHTT~, I950.
Engl. Cliffs,
spaces
N.J.,
of analytic
Math. Z, 1960,
Prenti-
1962.
5. L.C a r 1 e s o n. A representation integral,
functions,
formula
for the Dirichlet
73, N 2, 190-196.
4. B.M.K o p e H 6 a D M, B.C.K o p o a e B ~ 9. 05 a s a z a T ~ e c zi~_x @yHE~Z~X, perya~psHx B zpyre z rza~Z~x Ha ero rpaHm/e, MaT.BaMeT~z, 1970, 7, } 2, I65-172. 5. B.M.K o p e H 6 a D M. 3 E c T p e M a z ~ e COOTHOmeHAH ZJ5~ BHeE~MX ~yHEuH2, MaT.SaMeTEH, 1971, I0, ~ I, 53--56. 6. B.H.X a B ~ S, 0 ~aETopHsaH~Z aHSaHTm~ecEEx ~yHEu/~, rJ~AEHX BHJ~OTB ~0 PpeHHII~, 3anzcEE HayqH~x ceMHH.ZOH4, 1971, 22, 202-
-205. 7. ~ . A . ~ a M 0 S H. ~eaesHe
Ha BHyTpeHHDD ~ y H E ~ H D B seEoT0pHx
439
npocTpaHcTBaX ~ym~/m~, a H a 2 H T ~ e C E H X B Epyre, 3anacEH Hay~HNX ce~H.Z@&[, I97!, 22, 206-208. 8. C.A.B H ~ o r p a ~ o B, H.A.~ ~ p o E o B. 0 ~aETopHsasHE a ~ a ~ T z ~ e c z z x ~ y a ~ m ~ c npOHBBO~HO~ HS H P , 8an~cxH Hay~m~x ce~mH.AOMM, I97I, 22, 8-27. 9. B.M.E o p e ~ 6 a I0 M, B . M . ~ a ~ B ~ m e B C E ~ ~. 06 O~HOM ~aacce c~m~a~m~x onepaTopoB, c ~ s a m ~ H x c ~eam~ocT~o aHazaTz~ e c ~ x ~yszum~, Y~paHsc~m~ ~aTem.~ypH., 1972, I4, ~ 5, 692-695. I0.B.3.K a U H e a s c o s. 3a~e~aa~e o E a H o s ~ e c E o ~ ~aETOp~a-L~E B HeEoTopNx npocTpaHCTBaX a H a x ~ T ~ e c E H x ~yHFJ/~, 8anHcEz HayqH~X ce~mH.~0~, I972, 30, 163-164. II.M.R a b i n d r a n a t h a n . Toeplitz operators and division by inner functions, Indiana Univ.Math. J.,1973, 22,NIQ523-5~% 12.E.~.~I ~ H ~ ~ ~ H. i~Jm~ze ~yHEIIZH ~ta n ~ o c ~ x MHo~eOTBaX, AoE~ AH CCCP, 1973, 208, ~ I, 25-27. 13.~.A.~ a M o ~ H. 06 0rpaHH~eHHOCTH O~HOrO EJ~aooa onepaTopoB, CBHBaHHNX C ;~eJH4MOOTBD SHSJIZT~-qecI
a h a n e.
R~th. Soc.,
1974,
est approx
atio
in
C(T)
,
80, N 5, 788-804.
15.H.A.~ H p o ~ o B. Zu~eaJm ~ ~azTopnsazzm~ B aare6pax a~aJmT~qecEl~X { y H E L ~ , rJ~a~EHx BIIaOTS ~0 rpaHl41~, T p y ~ ~S4AH, I978, I30, I96-222. 16.~.A.[~ a M o ~ H. 06 o~Hom Enacce T~II/mideBNX oHepaTOpOB, OB~-saHHNX C ~eal#4OOT~D aHaZaTi4-~eoEzx (~yHEE~, ~yaEL~.aHaJms ;[ eFo HpM21., I979, IS, ~ I, 83-84. I7.H.M.T a ~ p a s o B. KOSTypm~e ~ TeaecsNe c T p y ~ T y p ~ e CB0~CT-Ba PO~IOMOp~HNX ~ y H E H ~ EOMIL~eKCHOPO llepeMeHHOFO, Yoneym fC~TeM.HayE, I973, 28, ~ I, ISI-I6I. 18.B.M.K o p e H 6 a D M. 8aMEHyTNe m ~ e a ~ ~ o a ~ a "A " , ~ysz~. aHaa~s n e r o npHa., 1972, 6, ~ 3, 3 8 - 5 3 . I9.B.H.]? y p a p z ~. 0 c ~ T o p ~ s a u a ~ a6COJ/DTHO OXO//~L~HXOS p ~ o B TeAaopa H m{~erpaaoB {ypBe, 3anac~H H a y ~ x ce ~#LR.JIOMM, I972, 30, 15-33. 20.H.A.I]] H p 0 E 0 B. He~{oTopue CBO~OTBa npzMapH~x m~eaaoB a6coamTHO C X O Z / ~ C ~ p ~ O B Te~aopa ~ ~/~Te~paaOB ~yp~e, 3 a n H c ~ Hay~H~x ce~H.Z0~M, 1974, 39, I49-I62. 2I.H.A.~ z p o ~ o B. AeaeH~e Ha BHyTpeam0D {ys~mao He Mea~e~ Enacca P.~a~ZOCTH, A o E n a ~ AH CCCP, I98!. 22. J.M.A n d e r s o n. Algebras contained within , 8a[H4C-~ Hay~s~x ce~1~.~O~M, 1978, 81, 235-236.
H
A.L.Volberg
THIN AND THICK FAMILIES OF RATIONAL FRACTIONS
Preface I. Introduction. Part I. Thick families. 2. The first step of the construction. 3. The second step of the construction. 4. The proof of the main theorem in the particular case. Part II.Thin families. 5. The proof of theorem 2. 6. Compactness of the inclusion map and related questions. Proof of theorem 3.
441
Preface The problems investigated in this paper can be formulated as follows: given a finite positive Borel measure ~L on the real line ~ (or on the unit circle T ) and a family of rational
(or A C D oLe~ ~ ~ C ~ ~I <]~), which properties of this measure and family will imply: I) the completeness of the family ~ in the space ~2 (~) 2) or the equivalence of the norms l],IIh~(#)andII.IIL~(~) on the linear span ~ of the family ~ A ( here D'~ denotes Lebesgue measure on the line ~ or on the circle T ) 3) or the compactness of the inclusion map ~ ~ - - ~ L~(~), i~ = ~ , ~ c ~ , ~ being endowed with the - ~ ( ~ ) -nOrmo If the first possibility holds we call the family l~Athick with respect to the measure ~ ° If the second or third possibilities occur we call the family ~ A thin with respect to the measure ~ , (we are interested mainly in the case of unbounded dens~tYthi~s~pa ;erthhl~fofLwl USseathed~sh~r~ ~th~n r). p i b the measures with one "singular" point and some properties of regularity. Thin families are described for the measures ~ with the bounded ~ensity with respect to Lebesgue measure ~ . The paper is subdivided into two parts and six sections. I contains main definitions and the statements of three
442
main theorems. We point out the connections with some other problems. We s_lso discuss basic concepts of the proofs of these theorems. The proof of theorem I is based on the construction of a special domain in the complex plane
~
. The construction of
this domain consists of two steps. In
§ 2 the first step of the construction is made. This
constz~action follows the scheme of the articles
~]
and
[2]. In
It
this paragraph a half" of theorem I is proved. §3 contains the second step of the construction. Here we also finish the proof of theorem I. In
~4, we prove theorem I in a very particular case by an
essentis~lly different method (using a tecb~aique of the quasi=analytic classes). In
~5, we consider thin families of rational fractions and
prove theorem 2. In
~6, we prove theorem 3. Here we present some propositions
concerning compactness of the inclusion map
~
and related
questions The results of this paper were partially announced in
ACE~OWLEDGENLENT. The author wishes to express his deep gratitude to N.K.Nikol'skii for formulating the problem and for valuvv
able advices. Thanks are also due to S . V . H ~ s c e v
for advices
which shortened some proofs and to P.Koosis who kindly supplied me with the prepublication version of the paper [1]. Finally, the author is sincerely grateful to V.P.Havin for readir~g the manuscript.
I.
Introduction
A. Thick families. Let
~
be a positive finite Borel measure on the real line
. As we have mentioned before we consider or~ly a special class of measures with one " s i n ~ l a r " DEFINITION. Let ~ = ~ D ~ , moreover,
point. ~E~
A (~)N
in a neighbourhood of the point
t: ° =
where
t 0*
d: -Oand
~ ~
~ 0
( ~ )
~
443
~-*0+
~-*0+
~ ~>
"
) is Then we s h a l l s a y t h a t t h e m e a s u r e j ~ ( a n d t h e f u n c t i o n regular. Let __~v A be a family of rational fractions ~--~-~_~ whose poles lie in the S t o 1 z d o m a i n K '~e~' ~= X~ ~1~ ~ : l~j~'l"~] } . Recall that ~ - ~ n o t e s the linear span of Now we are in a position to formulate our main theorems THEORE~I 1. Let
(1.1) If
#>o ~ (1.2)
J
then
~,~(Itl) d,t, < oo t~0 Itl "---- O0
(~.3)
On the contrary if
I
then
t
,(Itl) t =
(1.4)
oo
I1;I
oo
.
(1.5)
The fact that the measure ~ has the support on the real line is unimportant. The analogous theorem is valid for measures ,~ ~ , ~= ~ v . Certainly, we suppose that the function ~ ~ ~(~$) is regular and the family ~ has the poles in some Stolz domain ~(~) in the unit disc 0=[~E~" I~I ~ ~ } (let us recall that the S t o 1 z d o m a i n ~(~) i ~ D is the interior of the convex hull of ~ } and the circle ~ ; I~I= ~ v } . To obtain the statement of the theorem for the circle ~ we must only substitute (1.3) by
: -Ixl)
CO .
(I .3a)
444
Note that from (I .1) of the theorem we have
In the opposite case the following theorem(see[4]) gives a complete description of thick families ~ ° In this theorem there no restrictions on the set of poles A , except A C ~ \ ~ THEORE~ (see [4] ) • If
are
•
From a different point of view the rational approximation for the case (1.7) was investigated by G.Tz.Ttunarkin L5], L6]. The basic method of proof of our theorem is the construction of a region in ~ with some special properties. This method is similar to that of P.Koosis ~I]. Now we shall enlist some useful remark s. REMARK 1. It is clear that if ~_/k is thick with respect to ~and ~i~ a.e., then ~ A is thick with respect t o g 1 ~ . R ~ 2. If the function ~ is such that --
and the remark
condition
~
1~I,t~ - - - - - ~
(1.1)
1 we c o n c l u d e
is
ful£illed,
V ----- 0
(1.8)
then from theorem 1 and
that
B ~ it turns out that in this case we may deduce this result with the help of more direct methods. (See §4, which treats this subject). We shall need some notation below., i_lf~ is a measure and ~ is a ~--measurable set then ~ ~ will denote the measure de£ined b ~ ( ~ l F)(X) d ¢ ~ ( E NJX) for every measurable set . REMARK 3. We may consider more general systems of rational fractions.f_ Namely ~.A,~ ~ I~) ~ : ~eA, 4~<~<~(~)) . Here I~ is an integer-valued function. Theorem 1 is still true for these f~nilieso REMARK 4. One can suspect the restriction on the poles in theorem I, n a m e l y ~ c ~ , is unimportant. That this is not the case im mhewn by the following
~
445
proposition. PROPOSITION. Let ~ be a positive finite Borel measure on the circle T . If for every sequence ( A ~ ) ~ , ~E D~ ~4j ~ V~~ ~ we have
then there is a positive number
8
such that
~[4} being the one-point measure. ~PROOP. Suppose (1.9) does not hold. We construct a sequence p~-i.eo
It
is
Blear
that
~C{4})-- 0
withont
.
:et
loss.
of
~cA) ~
We choose the points
A~
generality
we m a y s u p p o s e
that
a({-A}-'ll,~{~). such that the vJec'tors
form a Riesz basis in their linear span in ~ ( ~ ) . ~irstly we show that we may choose ~ such that ~ - - - ~ " in the weak topology of ~(~) . To show this we note that
t~ ~upp ~
(~. lO)
since (1.9) does not hold and note also that
for
Rt,-
a,e,
point
~
. Indeed i t
is sufficient
to prove
e$~6£{P~E
?or an a r b i t r a r y
p o s i t i v e number g and every p o i n t there exists a neig~hbourhood ~ of this point such that . The family of intervals ~ ) ~ q ~ covers the set F and it is well-known that there is a sequence of disjoint intervals C ~ ) ~ 4 such that
j~(I~}~ II~l E~Ua
,
,~:
IT,ll ~ ~'~
,~ for a n arbit-
(1.11) is prove~. Prom (1.10) and (1.11) rar7 6, 6:'0 we deduce that there is a sequence ( ~ ) ~ I ~IT~ ~ = I such that
446
~---~ eO
(1,,,12)
I f we prove t h a t f o r every intez~¢al ~ C
~---* oo
(1.13)
I
then we shall show that ~ - - ~ Pix an arbitrary positive number ~& , ~ ~ such that
~'(~&)
in the ~ea~ topolog~ of
~ <~).
and choose an open interval
"~< S ~
(1.14)
(remember that we suppose that ~ ( [ ~ } ) = 0 ). Now we have the following chain of the inequalities
g~A,~} I I
"g- A.,
d~c~>
T
'I .0(~),
4
.&(~,D'y~Cas) ~/z
~<
o(~)
Taking (1.12) into account we see that (1.13) holds. It is clear that we may choose a subsequence /~ ~ such that
So (6~K)k~
form~a Riesz basis in its linear span. @ B. Thin families Let HP denote the standard Hardy space in ~ a~d let ° If @ is an inner function, then K @ , where the bar stands for the complex conjugation and U P ~ i { #~ ~P : ~(0)~- 0 ) • Let ~ be a positive finite Borel measure on the unit circle ~ and let ~ be Lebesgme measure on ~ . The following questions are interesting from many points of view (see the papers cited below). We may ask: what measures have the property
HPN~-$
q- C qr
I
T
447
where ~ ~e and the constants C~;65) 0<~4 < C~ ~ O0 independent of ~ ? On the contrary: f o r what measures ~
are the
operator : , = ÷ i s compact ( i . e . the norm II'U L~(~) is essentially weaker than II'll~ ( ~ ) )? Note some previous well-known results. When p__~ ~ , ~¢3cp -~-~i , 65,0, the first of the above questions has been considered by B.P.Panejah [7], M ' V.Ja.Lin ~ ,
V.N.Logvinenko and Ju.F.Sereda [10], V.~oKacnelson [1 1]. Here the first question is equivalent with the following: for which measures ~ on the real line ~ the norms ( ~ I ~ I ~ ) 4 / ~ and ( ~ I ~ I ~ ~%)4/Z are equivalent in the space of entire functions ~. of exponential type not exceeding ~ / ~ and such that ~ I ~ 1 % 1 ~ < CO ? A complete a ~ w e r has been given (in ~-dimensiona~ case and for every ~ ~ 0 ) for measures shall answer the above questions f o r ~ - - W ~ j and for an arbitrary inner function ~ . The answer will be gi^ ven in terms of the harmonic continuation W of the function W into the unit disc. Some results concerning- this problem with a measure ~ of more general form may be found in [9]. It is interesting to note that in [12] D.N.Clark showed that for every inner function ~ there are many ~-singular measures ~ with the property (1.15). If ~ is a Blaschke product whose zeroes are ( ~ ) ~ then ~ 0 = 6p6L~C~)~ll (here ,pal% ~A~ denot'es the c 1 o In this case the property (1.15) and the fact that the family ~ is thin with respect to the measure ~ are equivalent. Now we state our theorem about thin families (more generally, about the equivalence of norms in the space ~@ ). THEORE]~ 2. Let p e ('~,003 , w~l,°°(~,},~) ,W~/0, iijfl,=Wi~yH,. The following statements are equivalent: a) the norms II'II~(~) and II'll~.~(~) are equivalent in the space K @ b) if ~, ~ ~ , ~gF~ W ( ~ ) ~ 0 then~[~(~)l~-~ • ~^ --~ ~ ~'~ A similar theorem is true if we everywhere replace the disc by the upper half-plane ~ + . Then the statement c) for %q~ , 0=~%~, ~ > 0 , transformS to the property of the relative density of the set E and this is the criterion found in [8]-[11]. The problem of compactness of the inclusion m a p ~ : K @ - ~ ( W ~ )
448 is considered in ~6. First af ~Ii we remind a definition. Let ~ + be the orthogonal projection of ~ ( ~ ) onto ~ and let ~ _ : I I being the identity operator. Fora bounded measurable ~ , the T o e p 1 i t z o p e r a t o with symbol ~ is the operator T ~ on ~ Z defined e~ ~+~k and the H a n k e I o p e r a t o r with the same symbol is defined by ~ '~'~.t~. ~k~ k ~ N $. By Fatou's theorem the algebra--~ °O of all bounded analytic functions on ~ may be considered as a closed subalgebra of L°°(T) , the algebra of all essentially bounded Lebesgue measurable functions on ~ . For a given $ in ~ let ~ [~] denote the uniform subalgebra of ~ generated by H ~ and'@. -Go o An interesting example is the algebra M [ ~ ] = H + C(T)~ where C denotes the space of all continous functions on V . THEORE~ 3. The following statements are equivalent: a) the operator ~: Ke ---¢- I x,(w~D@) is compact ; b) the operator ~ [ ~a is compact;
byT~k
e) the operator Hw~ H ~ is compact. In conclusion we introduce some additional notation . If ~ is a Hilbert space, T is an operator in ~ , T: ~--~ and E is a subspace of ~ , then the symbol T I ~ denotes the restriction if T onto E~T IE : E--~ • We use the symbols C~ C~ C~ ~3~ 0 4 for constants, moreover the letter C may denote different constants even in the same inequality. PAINT I 2. The fi,rs,t ,s,,tep of,,,,,,,,,,,,,,t,,,h,e,,, construction We begin to prove the sufficieneg in theorem I. Remember that the function k is regular and the condition (1.1) is fulfilled. Let the family ~/i be not complete in L~ ( ~ ) ° Then there is a function e , pELI(~) , p=~0 , such that
Let
449
. The functions ¢ + and ~ _ bein ~ + . It is well-known that ~q~(t)~(t)=¢~(~)-¢_(~) a.e. in ~ . Now it is almost obvious that ¢ ~ 0 Indeed, if it is not the case T t h ~ n ~ h a ~ , ~ ] ~-(t)I ---~ ~ I ~ ( ~ ) l " l~(~Jl and so in the upper ha!f-plane
~e
long to the Hardy space ~
~,
~'itq "r- ~, ~',~I A.
~ + t 9,
~_.Y~ = since @ _ ~ H 9"
co
. But this implies that ¢__~ 0.. . Thus p ( t ) ~ ( ~ )
i~ a tcontradiction h e r e f oand r e .
=
O
a°e. This
~.~is a non- zero function in
From (2.1) we see that the zero-set of @ + . Let
Let us now introduce two auxiliary functions
contains the set
'~/1~ U~ :
]
It is clear that
(2.2)
,j,,~/e
and that the functions "4 > ~ tiable and
oled:
are twice continuously differen-
We consider the curve T ~ ~ = ~ + ~ : ~--~-~(~)} and estimate ~ } Q ~ ) : ~ ~I¢$~Q~) ~ ~=4~ for ~=XJ~(0~)E~ and for 06 sufficiently small:
450
0
-00
Now we estimate the gradients of functions
(~= ~,~ 1
on the c~r~e
~
:
0 ~<~.
The same e s t i m a t e i s t r u e f o r ,
~ ~*
C~)
' ~ T
. There-
f o r e on T (2.4)
LEN~A I. Let Then
W
is
W
be the conformal homeomorphism of the up-
smooth up t o t h e boundary and i s
distortion-free,
i.e.
for
every i n t e r v a l -'7, ~ C ~ . PROOF. The function ~[(~) belongs to the class -C ~ It is easy to see that the angle formed by the tangent of the boundary ~ of ~ and by the line ~ considered as a function of the arc-length parameter on ~ is continuously dlfferentiable.
The lemma now follows from the Kellog's theorem
~ 3 Let , p.411] From the pre~ } ~ ) ~. ( WId¢ ( ~ )~) ) ~ E ~Wvious lemma and the inequality (2.4) one can easily deduce the following inequalities [ C
(2.5)
451 for 06
small enough, j = 4, $, :Prom the definition of the functions ~: it is clear that they are bounded outside of some neighbourhood of the point O, We denote the set ~4/'~(~I) by ~ again. Without loss of generality we may suppose that ~ A . Now we introduce two functions :
"¢j ~'* 4
~
;
"
The inequalities (2.5) imply that the functions and analytic in ~+ and I~4~(~6)I~<~(~06)
for 06
From the definition of S~
~j
are bounded
sufficiently small,~-~_~.
it is clear that
The aim of the above reduction was the construction of the function F ~a~ C~,1+,~9,,,)(.~4_,~3a )=,/4%~t which has the following properties : i) F is a bounded analytic function in ~+ 2 ~ 0 % ii) F C A ) = 0 for A ~ , where ~ is a set in Stolz domain
ii~)~l;Ff(~)l~ A t
F coc) l
for 0 C E ( - ~ o g )
I
i. l
l, lJ &l, l
Here ~ ( ~ ) ~ ¢ ~ k ~ C C ~ )
b) that C ~ ~Tt ~~ v w
)
has the following properties:
f
The functions ~ ~, ~4 are from the Without loss of generality we replace
R O ~[~ii I
and for some constantA9
. ~
statement of theorem 1.
~(~ot)
, %Cgo~)
by
. To prove the sufficiency
of the first part of theorem I it remains to prove lemma 2 below. The proof of this lemma is similar to the reasoning in [I], [2]. So we shall prove it omitting some tedious technique details.
452
LE~S~A 2. If the conditions i)-iv) fo~ the functions F are fulfilled and
and
@ then the z e r o - s e t A o f
the f u n c t i o n F
has the property
PROOF. Consider the set
Then and
~o=~¢
since otherwise I
F<~>I-
I~l F~t~l~i ~-I@
0
o
and this- contra~_Icts ~). For every point ~ o ~ ~ 0
~
=-~
for ~e(O,~> ~
we construct the interval ~From ~de~
iii) and ira) it is clear that
IF~>I~<~, L"e~ ~ % #l ~~ , , %J
~e U 6~o •
<~.8>
I~. ,
be the union of finitely many disjoint intervals, I ~ . - - 2¢.11,#( )u ~ , the intervals bein~ enumerated from right ~o left. "~
Let ~ = [ 0 ) ~ obvious :
\ (~,'
IF(~>)~-~(~>,
. The followin~ inequalities are
(2.9)
Here ~ stands for the principal value of the argument which varies from ~ to ~U . Let
.......
~) We shall say that s imul t ane ously.
if these integrals diverge
453 Thus from (2.9) we have
I Let
~
denote the harmonic conjugate function ,v cO
K
I
~
'
Without l o s s of g e n e r a l i t y we may suppose t h a t t h e . f u n c t i o n is SO small that ~ l ~ [ ~ c ( ~ ) ~ ~-~~(~+~) . We introduce the auxiliary function
The properties of ~
~
are the following :
are real. It means that there is an analytic continuation of the function ~ across ~ from ~+ into the lower half plane ~_ . This new function will be called ¢ ~ also. We have
~ is analytic in the domain ~ .~] ~ - U ~ . Let ~ ~enote the boundary of ~ , )~ , ~= ~ ~ ~ . By the reasoning similar to that o: e can choose a point in the first (from the right) interval so that I¢~(~)I>~ ~ 0~ where the number ~ is independent of ~ o We should like to apply Jensen's inequality to the function ¢ ~ . That it can be done was shown in []] and [2]. We write this inequality in the following form:
~
I
But the first integral in the right hand part does not exceed the constant c (since F is bounded) and ~ I ~ ( ~ )~i ~<~ 4 So we have
454
~ere
gw~(.,g)
denotes
the
harmonic
measure
of
the
aoma:Lm~
corresponding to the point g ~ andG~(.,g ) denotes the ~b Green function of this domain Now our aim is to prove that J ~ d ~ ; ~.v oj@(°) {) is bounded independently of ~b : ~
r~
e~
r. ~_t
jd,t=
is the first (if counted from Here v ~ ~ the right) interval of the set ~ . Without loss of generality we may suppose that the first two intervals ~ = ( G W ~ 0 ) and ~ = Q0~, ~I) of the set ~ become already stable, independent of ~b ° We may suppose also that I ~b[ ~ ~ . Then
do
do c~
iI'V,¢,l(f ~to
q
m
dt ~
£)+cf~~J~l
4
,~
ao
1 ~o'-,:x:, I
~ e...,< ~ .
Here d 0 O ( ~ )
denotes the harmonic measure of the
Thus it remains to estimate Now introduce the notation
It is clear that
domain
(~) ~
. ~
~C,R,(,,~ ) ~ C~((~L), CT'G,I~(k~)=-j
::10-1; -)
455 t~'~-+)$
< 0
(2.12)
for
Taking it into account we see that
Now let us recall that (~'J= Ue~
, ~O~:~'o and { j 6 o = ~o-~~--~t/~(~o)) ° . We denote by L l o the interval with the centre OG O and the length 5 z t is a w e l l -
...~_(9~0-~1/$(~0),
t¢5ol-
known fact that there is a sequence ( ~ ~ ; such that ( ~ . ) are disjoint and ~.fCU ~ L~} ~ 0 ~ ~ then n ~I
,
~E~o f . If~}
~. But the function ~ that
is increasing and
I@ 11- A
(2.13)
. So we obtain
(2.14) $
f Now we take into accotmt (2.t2) and see that the f u n c t i o n ~ ~.(',#) decreases on every interval -~f~ . Therefore it has at most one zero on this interval and so
From (2,13)-(2.15)
we deduce that
f But f o r
t ~
Here ~ ( ~ )
j ~ ' we havre~
denotes the Green function of the d~mai~
So from (2.16), (2.17) we deduce
456
f
(2.18)
Now we rewrite the inequality (2.11) in the following form:
~.
r~
(2.19)
o. We note that the domein£
where
~('
=
~{)
U<~
~
increase and
As the harmonic measure of the domain
~
gr~ i~ its ~reen ~unction. ~here~ore f~o~
~f
(2.19) and ~atou s lemma we may deduce that
(2.20) !t,_
,iteA
r
where [-- de:~ ~Z)f] [O,o&] It is clear from the construction that
~(~>) for ~ F
(see (2.9) and ivb)). Thus (2.20) implies c~
(2.21) o
LEN~A 3. Let the function
be increasing,
0
~(OJ ~-- O~
(A)
C
J
eCm) ~ m = , o o
(B)
o
and let an increasing on [0) ~ ] be such that
¢
x~
continuous function ~)6J(0)= 0~
457 .
for some positive number ~
Then
o ~-*0
(/))
o
~-'
~'4' ~'~
for every pair of positive numbers
satisfying ~ ÷ ~ :
= F~'dPROOF. Without loss of generality we may suppose that
- -
T'
~
(0, ¢-) •
So the function decreases on C0, ~) . Now from (C) we see that (D(~) ----~"0( ). Applying (C) and the integration by parts combined with the facts mentioned above we see that
£
(cO
oo o
It is clear that (A) implies: S ( - ~ - - 0 ( ' ~ - ~ ) and therefore it is clear that the integralU~ ~
W (~) ~¢~' (~0(5) 064
converges. Let
for e v e r y ~ ~(~O) ~
O~
o ~ Then
t o
and so
o
W(~) ~
0k £--~
"
Another application of the integration by parts gives the chain of inequalities : £ ¢
• ~
I;
f e.C~)wc<)-
Thus ~.f 8~W~')'~,~
o T
~z~+Y,
(~D)is
false.
, and we have
458
This contradicts (B). @ Let ~ be a small positive number. Taking into account the inequality (2o21) and lemma 3 we may choose a number ~ so small that the following inequality holds:
0
and t h e r e f o r e ~ ~ .
(2.22)
0
If we prove that
~m(X, ~,)m c(J~A} ~/~ for the points A from the Stolz domain ~ inequality (2.20) we shall obtain that
(2.2~} , then applying the
Xej~ and so l e n a 2 and the s u f f i c i e n c y of the f i r s t p a r t of theorem 1 w i l l be proved, NOW we prove (2.23).~Let4#~¢--~/ ~ U ( O ; O v ) , ~ be i t s Green function and let ~,~i-x-. ~ be the domain homothetic to ~ o It is clear that the following inequalities hold: #,
4
O
o i 6
....... !
not depending on ~ appears where Xl°= ~x , the constant from the application of Harnack's inequality and the symbols ~ 4 and ~,-~^ denote the Green fnnctions of the regions ~# and ~, ~ C ~ ~ respectively. Now if ~ ( ~ , ~ ) P ~ I~+* i ~-~-i~l--~. ~ is the Green function of the right half-plane, we may rewrlte the latter integral as
j=oJ
0
459 Integrating by parts we obtain ( ~ d6~A/~,-- ) I
(2.24) 0
It is clea~ that
l{e,~ ~<
o~.<-~-T
%,
<
o
(2.25)
,~
since ~ = d,, and ~ K r . LE~MA 4. The condition (2.25) being satisfied) the following inequalities hold
k-£~- J ~
G-c~,'l) = o(1~ I ) ,
for "t;'e ( %'1 ).
~oo~.
6C~,~;)[ = ~1¢1 i ~_tF. i~.+1;1~- ~< - - F r -
~rom lemma 4 and (2.22), (2.24) we deduce that
o
Here the constant
C
is independent of
•
. Thus we have
0-< It is easy to see that ~ A ( ~ , ~ ) , - c,l l w constant C 4 . Indeed if~ ~o d e ~ ~ m ( ~ _ U [ 6 5 ; + o o ) ) Now (2.26) implies (if we choose 0"< 6~/~¢
th
an
aboo~ute then
)
04 and therefore (2.23) is proved. Thus the proof of lemma 2 is finished. • To prove the first part of theorem I it remains to show that if ~ A C ~ I ~ ~)~/~ < oo then the family ~ j ~ is not complete in ~'~( k ~ ) -
460
Recall
that for some positive number ~
=~6p~---~
for ~
(-o~> 0)
. Let
we have ~ ( $ ) =
~
be the confor-
mal homeomorphism of the unit disc ~ onto the domain ~ : C~ [-o~ 0 ] , ~ ~a_~~-~ . Let~be the outer function in ~ with the modulus
This function is correctly defined since
~-oj-~--@~ > - ~
.
It is clear that the set ( ~ ( ~ ) ) ~ / k has the Biaschke property in ~ ,A~A(~.I~(~)I )< co , and so there is a Blaschke product B whose zero-set i s ( ~ ( ~ ) ) ~ ] % . Define the function ~ : ~ - - ~ . ~ - - I t is bounded and analytic in ~ and
~,CIJI/(.A))~__0.
A~/~_
o Therefore
. , , . , .
'P
- J - ~-A ~G-
3G-
CWc~z)- V'cA)) c ~-'~)
~G-
It is clear that the last integral is equal to zero. Now if ?(t) d£~ e ~
~C~(t+~))~0~
- ~(~(~+ ~))
then
o
But from the definition of the functions viou~ that J ~ ( ~ ) I ~ ( t ) and that finish the proof. Let &
m
pc~)= Thenp~ b~ ct,,.~)
~
~
and
~
~0
~ it is ob. Now we may
t e (-~, 0) ~ct> ' 0 , t ~ R,',("~,O) . 0
for
461
every
~
.
@ 3. The second step of the c ~ n s t r u c t i o n
Lemma 5 below contains the proof of the second part of theorem I. LE~ F and
5. Let the conditions i)-iv) ~ be fulfilled and let
(see @2) for the functions
(3.3) (3.2) 0
Then the zero-set ~ of the function F is finite. PROOF. The proof of this len~na repeats very closely the scheme of the proof of lemma 2. We begin with the function
where the functions
~
,~
,~
were constructed in len~na 2o
The function .~s. is analytic in the region ~ + obtained form the right half-plane by cutting out a finite number of closed intervals (one of them is infinite) of axis ~ T " On the imaginary axis we have
~ (~) =
the positive half-
F(-~b e ~ ~
and so it is clear that
~1 F(-V")I-<1 '~ (~,7)1 -~ c,, I I:'(-,#h I , where CI and C~ do not depend on of lemma 2 we consider the set
At first we note that ~ . = ~ ~
P~
(3.3)
. Following the scheme
~/~,(
. If it is not the case, then
Fc~,)~,.~/~c~)~ ~e~,p(.4/~, ~~,,£~!~ ) Applying the inequality (2°20) we obtain
for ~E{-~O)
462
where ~ O
is the harmonic measure of the d o . i n
~
in lemma 2. But from the properties of this d o . i n
constructed one can deduce
(see [2], p.7 ) t at
for ~
sufficiently small. So we have
o and it contradicts (3.2). Now we proceed exactly as in the first step of the construction. Namely, we introduce the open subset --~[ of the imaginary axis ~ ,
~'~=
U , I~ °
,
d,÷.. Let the'function I ~ the boundary values
be harmonic ~ n the right half-plane with
Then I ~ $ ~ ( ~ ) i ~ ~ @ # / ~ ( - 7 ~ ) . Let ~ be the harmonic conjugate function. We introduce the auxiliary function
It is clear that there is an analytic continuation of this function~ across ~ from the d~maim~ ~,~ to the symmetric domain ~M_. We denote this new function by ~ , ~/ again. We note that
is analytic in the domain
The function •
~
~----- ~ .
be the boundary of ~.
U
, then
The application Jensen inequality (see [I], L2]) gives the following inequality which is similar to (2.1 I) :
463
(3.4)
Here ~OJMiC', ~) denotes the harmonic measure of the domain ~ , corresponding to the point ~ , @ ~ , ~ is independent of~. Our aim is to estimate the integral ~ L ~ : 4 ; ~ , @ . The inequality (2.10) shows that eO
0
0
since the function
@
decreases so fast that ~ ~ ~ < O O
.
In a similar way we can obtain that It~(l~61)l ~ C . Therefore ~Z,I ~< O , ~,~ 0 , where C does not depend on }$. To estimate ~ , ~ we note first that CO
co
O
-0~
where
It is
clear
that
~,pp ' ~ c c6e~
V~
_]
where
Thus
t
I
"
We see t h a t t h i s i n t e g r a l i s s i m i l a r t o t h e i n t e g r a l ~ , estimated in § 2. So we may reduce the estimate of this integral to
the estimate of the expression (see (2.16)):
r
I"
464
Here ( I ~ ) , T ~~ " ~ ~ ~I,
is a , ~__~ ~ ~ ~ ~"'
.
sequence of disjoint intervals, ~, is the interval with the same ~" #
c-,-0,,,,(-I;,~)'~ 1 ~l~-ti
d,~(~,~,,,.
It is necessary to note that I T 9 ~ . ~ I : ~ ( [ . Now we have the obvious estimate from above for ~ C, ~ ~) :
r~,~
,t
for t ~ [ - ~ ,
qg].
Now we h a v e
X'E
,].r
,l
I
'
..¢-g
The estimate of
J~$
C,~: oo .
is quite similar to that above and so . Therefore from (3.4) we deduce
The application of Fatou's lemma gives
q
r~
the Green function nic
measure,
of
From t h e
the domain ~ construction
(3-5)
and ~(o~6) of this
region
is it
is
its
harmo-
easily
seen t h a t
~(~)
i R~l~zd~c~'~~'(
- ~
~ ), ~f-~',~]~
Thus the inequality (3-5) is equivalent to the system of the
465
inequalities ( ~
~g~
~--~)"
E (~)
(3.6a)
(3.6b)
(3.6C)
~*(~) ~__~~(~)
(~>--- ~ C~~)
Here . It is clear , &~ that the functions ~ ~ have the properties (A) and (B) of lemma 3. We want to prove that the set ~ is finite. It is clear that the set is symmetric with respect to the real and the imaginary axes. So it is enough to prove that the intersection ~ ~ ~ •0 , ~<0} is finite. To do this it is enough to establish that if A C / ~ N [ ~ 0 ~ ~<0} then ~ ( ~ ) ~ for a fixed number ~ C ~ and some positive number C not depending on ~ . Let ~ be a very small positive number. The application of lem~na 3 gives a number ~ , ~0 , so that
Therefore
~,et
~ a~--~d~ ~ U ( - ~ , 0 ~
. It ~s olea~ that the following chain
of inequalities holds:
O
To obtain the last inequality one must apply Harnaek's inequaluty
to the f~notion
---~(X~ ._
(remind that ~ e A ~ 0
Thuswe have
> ~ositive ~
)
~ i ~t,~
harmonic i n F ~ < 0 k ~ - ~ - m ]
466
~
.....~ .. - j
;
~C~.C~(~,~)
t~
The last inequality follows from (3.7). Now the choice of 4 ~'< ~6' ' gives
The s i m i l a r reasoning shows t h a t .
I~1
(3.9)
I~1
I'
Another a p p l i c a t i o n of lemma 3 shows that
~-*0
where._.. _ . ~ ( ~ , g)
%g.l~l
(3.10)
o
.
"
denotes the harmonic measure of
~a~in~
(3.9),
(3.~0)into
an arbitrary small positive number ber ~. such that
~
~ocou~t
there
~n
we see
that
for
is a 9ositive num-
v
Now we estimate
~6(~,-~)
from below (we may suppose that
0¢
where
It
is clear that
We may suppose that
T 3 ~ O. I Xl i s small enough and so
The integration by parts gives
(3.12)
467
Cr[n
_ e~ ¢'1;,- ~ )
The last integral does not exceed
O jo
t
~
since the point ~ lies in some Stolz domain. Thus, after another application of Harnack's inequality we have
(5.14) 0
Now from (3,11)-(3.14) we deduce that (3.15) Now we c h o o s e
~'
small enough ~
so s m a l l
that
~"<
~ ~@~
@8
and note that for . So from (3.15) we
have .
Applying Harnack's inequality once more and taking (3.8) into cocount we obtain that
for some constant C independent of second part of theorem I are proved.
, Thus lemma 5 and the
@
4. The proof of the£rem I in a particular case the weights In this paragraph we consider o n l y with the following properties: a) keL (l ) n ; , where the function ~ is logariShmically convex and rapidly increasing ~) ; c) the function % is of the form "$(~)= eOC,p(n---~) , where k
5) The properties of logarithmically convex, rapidly increasing functions may be found in [14] .
468
THEOREM"If. Let the function ~
satisfy condition a)-c)
and let
0
1
~.
Then the family ~ = } ~_/k of rational fractions with the set of poles ~ In some Stolz domain is dense in -~(----~) provided that the set ~ is infinite. A sequence of moments corresponds to the function ~ :
We introduce two functions constructed with the help of the sequence (
~I,)N~, ~ ~.>
of
the
reformulated
Tn t e r m s
in
o lorry,
~.:. o ~
"moment s e q u e n c e " the following_
the
(4.1)
may be
form
In what follows we shall need the fact
~,,~1~(~5)
condition
"
{/{}5 =
that (4.1) implies
o0
(4.2)
If it is not the case, then we have
This implies that -'A--'---~0 C ~ ) since 4ecreasing sequence. ~herefore, we have
~{
is
a
469
and this contradicts (4.1). Thus (4.2) is proved. PROOF OF THEOREM Ir Let the set ~ be infinite, lie in some Stolz domain K ~ and let the family ~ A be not dense in ~(~t~). Then there is a~function P~ P ~ 0 ,-pE~(~d~) such that
r We have the analytic in ~+ function ~ ~J~ ~_ which is not identically zero (see the beginning of @2) and whose zero-set contains the set ~ . Moreover, F is in the Hardy class H~ in @ + . It is clear that this function is infiniSely differentiable in the closure of every Stolz domain ~ 0 <~
F(~)(~;) =
(4.3)
0
~e ~tr ~ ~;-+0 since the infinitely differentiable function many zeroes in ~ . Let
If ~ r ~ , estimate:
o~(0,~)~J(~)
~E)
F
, we have the following
ct'l, [
3 We i n t r o d u c e a f u n c t i o n t~)g a n a l y t l c i n d e p e n d e n t of o~ i n the h a l f - p l a n e 2 ~
has infinitely
~." (4.4)
and bounded by a c o n s t a n t
q =om
we
we~P~
t.i..r {w I ~" '1
~ e.,
~! R.,.
(~'~'~)~lwl~" =
(4.~)
470 It is clear that (~)~4(W) so we have a function
analytic and bounded in the domain . It is easily seen that for W ~- t~+ $1r~ ~ where ~ 0 and I~'l~ Z we have
Now let K be a positive continuous increasing function defined for 0 O ~ - ~ , K(-~) ~ 0 , so that the curve ~= C~-06+~ :~ = ~(06)~ lies in the domain ~ . Suppose also that co
The function ~ constructed above is analytic and bounded in the domain ~ c J ~ \ { ~ _ _ - - ~ + { ~ : I ~ I ~ ( ~ ) } . Moreover, from (4.5),(4.6) we deduce that CI
l ~,
for
(4.7)
t~l~t~ot-
In order to prove that ~ 0 we consider the conform! homeomorphism ~QCO) of the domain ~ Ne~ { (D~---~'t"~ : I t l <
onto the domain ~
_d¢£ [ ~__~+{~: tUI<'~.-~ ÷-" -
2Kce.~) ~, ,
p s
J
and we prove that the function^ ~(~0~__a¢~ ~(e~(~) ).P-" is identically zero. Let ~(~) I~¢~ ~q~_ @ ~ . By the well-known inequalities due to S.~Vars~awski ~5] we have
~ - ~ ~<~ ~ ~ ~ The function ~ ~ and that
~ ~< ~ ~( ~ )
6~C~} Then for
K ( C ~)
~I
increases and ~--~-~(~)
decreases
. Taking it into account we see
.<
large enough we have
i2,erk~!~< c,. ~'h° ~'(D.I K'C~~
C
471 since (4.9) and ( ~ * ) (4.8) we deduce that
hold. ~rom the last inequality and from
~-<~I ~g +c Thus we obtain taking into account (4.7) and ( 4 . 1 0 ) that for F £~r ~ e I ~ ± - ~ = .- , ~+I ± - T I we have the following estimate for the function ~(~0):
BI I Thus we c o n c l u d e
that o<1 (4.11)
"1
Suppose now that we know how to construct the function ~ ving so that: I) ~ is a smooth and increasing function; decreases, ~ ~ (~)--^ ~
beha2)
. Granted this our theorem
4)
d~÷ ~clr~ ')
follows easily. Indeed if we choose K ( 0 0 ) - K(~) satisfies (*•) and co co
C~
, then
O0
1 So from (4.11) and Jensen's inequality we deduce that ~ ~ 0 . Then the function ~ is identically zero also and therefore F~0. ~(30)
This is a contradiction.
de~
~,
.~Tz~r~
d~
But the function
obviously satisfies I) and 2). Indeed,
~ Now set ~ ( ~ ) ~ [ ~ Now it is clear tha~t
l~ % ~
into account t h a t ~ ( O ~ ) ~
~
"
. Then (4.1) shows that ~.~.~:.T,~--~O W ~ ~ < CO -- and, taking
~
we obtain
IX)
4
472
~(~) t
4
~(~
-~-00
.
@
PART ii 5- The,,,,Rro,R,fq,f,theorem 2 The proof of theorem 2 is based on two lemmas due to L.Carleson [16] and S.-Y.Chang, J.Garnett ~ LE]@~ I (L.Carleson ~6]). Let ~ be a function of norm 1 in ~ . For $ positive and sufficiently small there is a number ~(8) ~ ~(8) ~ 0 , and a system ~ of closed ' ~--*0 rectifiable curves (~$)$~I in ~60~ D , with disjoint interiorS~ with the following properties:~
ii)
for ~
Fn ~ ,
~l~(~w.< ~(~)
iii) arc length measure on rN ~ is a Carleson measure with a Carleson constant C($) which depends only on ~ ~). LENNA II (S.-Y.Chang, J.Garnett ~7]). Let ~ be a contour constructed in the previous lemma for an inner function ~ and a positive number 8 Then for every function ~; ~ ~I
T
r
a ) = > b). We suppose that the normslI, ll~(~) andll.I I ~ ( W ~ ) are equivalent on th~space ~@ Theref~e, taking into account we have
v
~.~
e
I
for every ~,I@l<
(5.1)
Now we estimate both parts of this inequality. ~) A Carleson measure ~ is a measure on ~ such that ~II~(~GII@H N' for every function ~ in the Hardy class --H 1 . T~b Carleson constant of this measure is the best constan~in this inequality.
473
II~e(~d)lP~¢~)-,_-Z~ !l]-e(~e¢~)lPI4-~gl ~-P~-I~l~t~.m~l,@~ ,1_1¢1 ~ j I --~_1~1 ~ mo e s t i m a t e
(4_ g~)~(~_
~,~ 1~-~i~_~i ~.
C]-I ml~)P-s
(4-1~I~}P "~
t~e ri~t
h~d
part
~
=
ohoose a number ~O<~.~m~m(~,#gD;
Thus from (5.1) we deduce that
cw{~)>~(~-IO(~)I ~ -
and
so b) h o Z d s
b ) ~ c ) . It is obvious. c)=>a). Let W ( ~ ! ~ + I ~ C ~ ) I ~ > 0 , for e v e r y ~ D . Let ~ d~--~---e{ ~ : W ( ~ ) ~ / ~ } . If ~0~ denotes the harmonic m~asure of the set E then it is clear that
We s h a l l p r o v e , t h a t f o r
every ~ E ~
I1~ liec.)-~ o11~IlacE> ~,~ o(i l ~ i ~ )
~/~
~.~>
It is obvious that this implies a).E Suppose first that we know how to construct the function I~ with the following properties: I ) ~ - - ~ E ~ ~ ; 2) ll~IIi~(Er)~ where E f ~ e ~.....T \ E and ~ is a small positive number. Granted this it is easy to prove (5.3). Indeed I) implies thatT~IK$=T_iK~
474 where
I
stands
ry ~
Ko
for
the
identity operator. Thus for eve-
we have
E Now if we choose
G-
so small that
and (5.3) holds.
El
~Pcp.~4
then
E
Our aim is to prove that
Granted this we may find for an arbitrary
1~, bell ~
~
so that IIg+sllu~¢~')< ¢
the properties
,~
(
~
F
0~
so small that ~ ( 8 ) ~
is the function from lemma I and
~
as in the inequality (5.2~.Am ~pplication of lemma I contour
, a function
I) and 2) are obviously fulfilled.
It remains to prove (5.4). ~ix a ntur~ber ~ ~/~
O
. Then f o r ~ = 4 f f .
is the same gives the
on which
~1 ~1-< ~(~)< ~/~ Now from ( 5 . 2 ) we have O O E ( g ) ~ E / ~ be an outer function with the modulus
Taking into account t h a t l F 1=4
for
~'I~F
. Let
F
on E z and that F-+C N ~
we have (for an arbitrary positive integer ~
)
~%¢E,)(kH~) -- ++~ II~+I+IIL,+CE,)-- +~ IIF*#+F+~IIL,cE5 k~H ~
~1.1 ~
Now by the standard duality argument
++4 ~H°~
llF+~,kll~ = ~ ~P
(IfF+~4~l).
~ ~Ir,ll~ll-~1 T
An application of lemma Ii gives
475
But the last expression does not exceed
IFI ~ I~1
e-T F
By the choice of ~ the last expression can be made arbitrarily small, and (5.4) is proved. @
6. Compactness of the inqlusio n map ~ and relate 4 questions, l~Rof of theorem ~.
In this section we shall be interested in the following question: for what symbols ~ the operator T%01 K@ is compact? This question is closely related to the problem concerning the criterion of compactness for the operators ~ H~ ~see D8])" Indeed, the compactness of the operator H ~-~ ~ is equivalent to the compactness of the operator T ~ I K @ . ¢~e know the answer only for the "alr~ost" real symbols ~ (see proposition 7 below). But for the proof of theorem 3 we need only positive symbols ~ . Lemma 6 treats this subject. Let N stand for the set of positive integers. Let a ~ n ~ d ~ ~ ~ ( ~ ) ~ S , LE~9~A 6. If the function
~ ~ ~
denote the Poisson kernel
satisfies the inequality
then the following statements are equivalent: a) ~ ~ is compact; b)T~ I K6 iAS compact; I%1--*I
--
n N~[~] c N ~ , C . PROOF. a)(-~-->b).It is obvious. b)~--->c). Let ~ ÷ C and suppose t h a t l l ~ - ~ I I ( ~ < l . We denote ~ 4 : ~ + ~ , ~'-~ ~-- ~ . Now take a sequence (~)~,~ D ~ sucht~l~(~;pN~,fitl~l~'l. Then it is clear that the functions '~=('~-I'~l,[ ) ~@(~,~) d)
H'[~e]
converge weakly to zero and that ff,~ ~
II P,~$,*~)~II~o, and so I IIz Ik - II
. Therefore
I-*- o.
476 H
__~H
Taking into account that ~ , - ~ ~- - - ~ " @ ~~ that II ~- ( ~ i - ~ ) ~ l l ~ ~ 0 and so
is compact, we obtain
I II P_ ~,~14-11 P- ~11~ I --~
o.
Thus, we have
after computing this expression we see that
I
I
I
T
~ow
A
Thus I ~ I C ~ ; ~ )
- - - ' - O.
c)--->d). Here we shall apply the reasoning of D8]. Using the reasoning absolutely similar to that of lemma 5 [18] we may prove that for every pair of numbers ~ and ~ ,~ ~ the operator ~ ~ H~m is compact. Thus for every ~a --
and ~ ,
O0"r
v
v
.,~
''
--
~I"
"
in ~ the operator I'~WI,~I~'~. I"l~l~l~~ T ~ ~M4~H~I~T1. is compact and therefore for every function 9 ~ l ~ [ ~ . ] r l ~[~i ~ the operator is compact. It means that ~ + C. d):>a). It was proved in [18]. • To prove theorem 3 it remains to show, that the conditions a)-c) of the theorem imply tha~ the inclusion map ~ : ~$-~b~(W~) is compact. But the compactness of ~ is equivalent to the compactness of two operators:
H~H~
:E w 'i~OP_ ~ 1 ~ ~ ,
~_ w~P_ ~1 H~
The compactness of the first operator is equivalent to the compactness of H t II ~ H and the compactness of the second to the compactness of -w~l~ ~ ~ . But if we take into account the condition c) of the theorem and use the reasoning of lemma 5 ~ 8 ] we shall see that the operators H W d ~ ~ ~ and HW~I~H ~ are compact. Lemma 6 does not give any criterion of compactness of the
477 operators T ~ I K $even for a real function ~ PROPOSITION 7. If there are numbers, ~ sat isfying
.
g>
!
0
, and ~)
k~
- < then
the
statements
a)-d)
o f lemma _6 a r e
equivalent,
PROOF. It is clear that the only implication that we need to prove is b)-~c).
~et the sequenoeC ~ I ~ ~ , ~ For the functions
D
~atisfyl@~}I~ti~,k£
%1¢,d~g'"(~-l~l~)4/2" ~(~)we
have
. Now we compute T 9 % ~
Let % ~ ¢ J ~ ( ~ ) ( ~ - ~ Q ~ ) O ( ~ ) )
:
4-~ (6.2)
where ~
i~,~h
Schwartz kernel,
~X(~)-- ~" A ~ T , A~P
T Taking into
~ou~t
(6.1)
and (6.2)
we s e e
that
T
By the Holder inequality it is obvious that
Thus we have
I~-+eo ~ and therefore
""~
B'+ m
~p
'~"
~"* I qP~ ~ = Now introGuce the following notation
"
~--,.m
= 0
o. :
~li(:(~)= PI,.£.~VI,,(~),
~)
478
then ~ denotes its harmonic conjugate, ~ ( 0 ) ~--- 0 notation we have
• Using this
'II'
Taking into account C6.4) and the fact that ~ have
"
~---~
0
we
~p
q?
Now we introduce an auxiliary function,
P~cX)~ E ~ ) ,
~C~¢A)-~))]
O-~(%)O(A)).
This function p~ belongs to every Hardy class ~ P , p < 013 in D . Noreover, it is clear that for every ~ , k > 0
where 0{~) does not depend on ~ , Now the following chain of inequalities is obvious:
-
9
~
But ~ I ~ C ~ ) ( ~ - ~ ( ~ t ~ ) O ( ~ ) ) = number
X)l 2~cA)g~¢1)<.
K
~<X)lW-g{~)O(A)I ~
~
. Now l e t the
be the same as in the statement of proposition 7.
, since
~FI~, (~l~C~) =
0
(see ( 6 - 4 ) ) ,
~.
479
1P
T }=o Taking into account --} (6 .5) and (6.6) we see thatl~,=0(~). But I#v%~Q~KI~ g and therefore ~ 0 } ( ~ ~or some constant C~ C > 0, Thus we conclude that
EI I
4
T gi so
) - - o.
Te
COROLLARY 1. If the function ~ has a finite range, then the conditions a)-d) of lemma 6 are equivalent. COROLLARY 2. If the function ~ takes the values ± ~ only, then the operator is not compact unless @ is a finite B!aschke product.
T IK o
References I. P.K o o s i s. Harmonic estimation in certain slit regions and a theorem of Beurling and Iv~alliavin. Acta ~ath. 1979, 142, 275-304. 2. A.Z.B o ~ ~ 5 e p r .
0~oBpeMeHHa~ annpo~c~Man~s n o ~ o M a ~
3af~CI~ H a ~ H . C e M . ~ 0 ~ 1999, 92, 60--84. 3. A . £ . B o a ~ 6 e p r . IIOAHOTa paasoEaa~H~x ApoOe~ B B e c o ~ x L~-npocTpaHCTBaX ~a oEp~HOCTZ. { y H ~ . a H a a a 3 ~ e r o n p s a o ~ e ~ S , 1980. 4. H.H.A x ~ e s e p. Z e u s no Teop~s a n n p o E c s M a ~ , orz~, rocTexHa
OElOYrd~ocT~ ~ BH~TpM Epyrs.
~S~aT, 1947.
5.
r . H . T ~ M a p E s H. H e o 0 x o ~ M ~ e ~ ~OCTBTOqHRe ~CAOBZ~ ~ S BOBMOEHOCTM np~Oa~zeH~s ~yH~n~s Ha OEpy~t~OCT~ pSZI~OHSABH~Z ~ O 0 S ~ , BRpa~eHHRe B Tepm~HaX, Henocpe~CTBeHHo CBSSaHH~X C pacnpeAeaeH~e~ no~ocoB a n n p o E c ~ p 2 # e ~ x ~poOe~. MSB.AH CCCP. Cep~s ~aTe~. 1966, 30, ~ 5, 969-980. 6. ~.H.T y ~4 a p E ~ H. H p ~ d ~ m e H s e ~yHI{E,Z~ p a n ~ o H a ~ H ~ ~pod~m~ c 3apaHee 3aAaHHm~z no~0ca~s. A o ~ n a ~ AH CCCP, I954, 98, ~ 6, 909-912.
480 7. B.H.II a H e s x . 0 He~oTop~x 3aAa~ax r a p M o ~ e c ~ o r o aHam~sa. ~Io~aAu AH CCCP, I962, I 4 2 , ~ 5, I 0 2 6 - I 0 2 9 . 8. B.II.l~ a ~{ e ~ x . H e ~ o T o p ~ e HepaBe~cTBa JD'i~ ~ H I 4 n ~ a~cnoHe~uaa~Horo
T a n s ~ a n ! o a o p s a e o ~ e H I ~ AAS O O ~ X
onepaTopo~,
Ycnexa MaTeM.Ha~K,
Aa~epem/zaasHax
I966, 2I, ~ 3, 75-I14.
9. B.g.~ z H. 0O ~KB~BaAeHTHRX HOI~aX B npOOTpaHOTBe
C~M~zI~eMRx
C KBa/LpaTOM &eARx ~HEIIZ~ SECnOHeHIlaaJLBHOFO Tana, MSTeM.cO. I965, 67(I09), ~ 4, 586-608. I0.B.H.
Z o r B a H e s E o,
HOpNR B HpOCTpaHCTBe ueaux
Teopas
SyH~,
D.(#. C e p e ~ a .
SyHEa~A
3EBaBaAeHTH~e
sEcnoHeau~aasHoro
TZHa.
~HEIL~OHa/LBHRM 8HSJIM3 n ~X npaaomesas. B~n.i9.
PeonyOJL~EaHcF~ HS~qHNM C00pHZE,
~IDBEOBo
I973.
!I:B.3. K a U H e a s c o H. 3KB~BaAeHTHRe HOpeR B HpOCTpaHCTBe ~yHEAZ~ sEcnoHeHn~aaBHOrO T~na. MaTe~.c0. 1973, 92(134), ~ I. I2. D.N.C i a r k. One gimensional perturbations of restricted shift.
J.anal.math.,
1972, 25, 169-191.
I3.~.M.F o a y S ~ H. YeoMeTpsqecEas
TeOp~S # ~ H E A ~
EOMDJIeECHOPO
nepe~eHHoro. MOOKBa, HayEa, I966. 14.S.M a n d e i b r o j t. S4ries ad/q4rentes. R4aularisation des suites. Applications.Paris.
1952.
15.S.E.W a r s h a w s k i. On con_formal mappin 6 of infinite strips. Trans.Amer.Math.Soc.
1942, 51.
16.L.C a r 1 e s o n. The corona problem. Leer.Notes in Math. t18, Sprin~er-Verlag,
1972.
17.S.-Y. C h a n g, J. G a r n e t t..Anaiyticity of functions and subalgebras of L~
containing H e~ . Proc.Amer.Math. Soc.
1978, 72, N I, 41-46. 18.S. A x 1 e r, S.-Y. C h a n g, D. S a r a s o n. Product of Toeplitz operators.
Inte~r.equat.and operator theory.
1978, I, N 3, 285-309.