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!
I/PLf
The
to 1
_<
f(f P(-~z,s)d~(s))P/q(/ p(~z,s)If(Rs)I Pd~<s)]d~(z) S S
S
= f(/ P(--~z,s)If(Rs)IPd~{s)]d~{zl = /If(Rs) SPd~(s), S S
S
w h e r e v) above has been applied.
For 1~p<~ we define HarmP(D)
QED.
to consist of the functions f6Harm(D)
with Npf
:= lim IlfRl P(1) R+I
=
sup JlfRil < ~. O
For p=~ this coincides with the earlier definition.
N1f ~ Npf ~ N f we see that Harm~(D)
for f6Harm(D)
c HarmP(D)
behaviour of the functions Here ca(S)
From
c Harml(D).
in HarmP(D)
We formulate the b o u n d a r y
in the subsequent propositions.
denotes the class of c o m p l e x - v a l u e d Baire measures on S.
1.3 PROPOSITION:
i) For e6ca(S)
define the function
<8>:<8>(z) = / P(z,s)dS(s) S Then <8>6Harm1(D)
V z6D.
and N 1 < 8 > = I H ] : = t o t a l
R+I we have Convergence
<8>RI+@
variation of 8. F u r t h e r m o r e
in the weak • topology o(ca(S),C(S))
for =
~(c(s)~c(s) ~. ii) Let I ~ < ~. For F£LP(1)
consider the function
f =
V z6D.
and Npf= IIF I~ _P(1) . F u r t h e r m o r e
gence fR÷F in L P ( 1 ) - n o r m if I ~ < ~
for R+I we have conver-
and in the weak • topology o(L~(1),LI(1))
= a(LI(1)',LI(1)) if p=~. iii) For F6C(S) convergence Proof:
we have f=
Furthermore
for R+I we have
fR÷F uniformly on S.
I) <8>6Harm(D)
8 the d e f i n i t i o n
for 86ca(S)
represents
2) In order to prove iii) fR÷F for R+I. For O~R
is obvious since for real-valued
<8> as the real part of a function in HoI(D).
it suffices to show the u n i f o r m c o n v e r g e n c e
and z6S we have
fR(Z)-F(z)
= / P(Rz,s)(F(s>-F(z))dl(s) S
: / P(R,~)(F(s)-F(z)]dl(s) S
- 2~ f P(R'eit)(F(zelt)-F(z))dt' and hence for O<~
into
!tl~6 and d ~ I t I ~
IfR(Z)-F(z) i ~2~_~6 p(R, eit)~(6)dt + 2 ]IFII P(R,e i6) =< ~(~) + 2 IIFII P(R,e i6) ,
where ~ is the modulus of continuity lim sup R+I
Hf R- F H ~ ~(6>
SO that l{fR-F{l+o
of the function F6C(S).
Therefore
for each o<6<~,
for R+I.
3) We next prove i). For f=<e>6Harm(D)
and O
/{f(Rz) {dl(z) <_ /(~ P(Rz,s)d{0] (s))dl(z) S S S
=f(f
P(Rs,z)dl(z))dl% I (s) = ll81l,
s s therefore f6Harm I (D) and Nlf< lle]l. The weak* convergence to be shown means that [HfRdl ÷ fHd8 for R+I for each H6C(S). But this is true since S S for h = we know from iii) that / HfRdl = /(/ H(z)P(Rz,s)d@(s))dl(z) S S S = ]'(f H(z)P(Rs,z)dI(z))dO(s) S S And then
= f hR(S)de(s ) + / Hd8 for R%1. S S
IfHfRdll__< liHll flfRldl_<_ IIH]INIf for O
3.9 SZEG0-KOLMOGOROV-KREIN
THEOREM:
For
1<=p<~ we have
= exp(f ( l o gd~ ~ ) dl) S
DP(o)
V a6Pos(S).
In particular V O<_F£LI(1),
DP(FI) = exp(f(logF)dl) S which
is the Szeg~ theorem.
4. The Function
Classes
HoI#(D)
In the future abstract
and H#(D)
theory the function
class which corresponds
to the class H#(D)
to be defined
important
function classes which correspond
than the
in the present
section will be far more to the HP(D)
finite p~1. As before our main concern will be the transition
for
from D
to S. For G an open subset of ~ we define a function HoI#(G)
iff there exists a sequence
on G, fn ÷ I pointwise
on G
of functions
(and hence uniformly
f:G÷~
to be of class
fn6HOl~(G)
with
on each compact
Ifnl~1 subset
of G),
and f f6Hol~(G) for all n>1. We list some immediate consequences. n = i) HoI~(G) c H o l # ( G ) c H o l ( G ) , and HoI#(G) is an algebra, ii) HoI#(G) con-
tains the class HOI+(G) of the functions f£Hol(G) with Re f >=0. In fact, n we can take fn:=n--~, iii) If U,Vc(~ are open and @:U+V a holomorphic map, then f6Hol#(V)
implies
that fo@6Hol#(U).
Let us now turn to the unit disk situation. F6L(1) F
to be of class H#(D)
n6H ~ (D) with
FnF6H~(D)
iff there exists
[Fnl ~< I, Fn÷1 pointwise
(as usual
for all n~1. Then H~(D)cH#(D),
4.1 PROPOSITION:
For f6Hol#(D)
F(s) := lim fR(s) R+I
a function of functions
in the L(1)-sense)
and H#(D)
the radial
exists
We define
a sequence
is an algebra.
limit
for l-almost
all s6S,
t
and
17 and produces
an
element F6H#(D).
The map f ~ F
thus defined
is a bijec-
tion HOI#(D)÷H#(D). Proof:i)
Let f£Hol#(D),
the definition
and take functions
with gn:=fnf6Hol~(D).
dary functions.
Then
IF
f 6HoI~(D) n
Let Fn,Gn6H~(D)
as required
the respective
in boun-
=
f IFn-I 12dl < 2-2Re / Fnd~. = 2{1-ReFn(O)~÷O. S S Therefore
after transition
to a suitable
subsequence
we can assume
that
F +I pointwise, ii) We choose a Baire set NcS with ~ (N)=O such that in n each point s6S-N I) radial convergence fn (Rs)÷Fn(s) and gn(RS)÷Gn(S) for R+I takes place the Fn6H~(D)
for each n>1,
thus obtained
now the equation
and 2) the representatives
on S-N
fulfills Fn(S)÷1
fn(Rs)f(Rs)=gn(RS)
choose an n> 9 with Fn(S) tO.
for s6S-N and O~R O, an m6M(~)
with m< O. Then we can apply 5.4 to the function F+s for
40 e>O
and
thus
obtain
f(log(F+e))+dme appropriate
m6M(~)
well-defined.
an m EM(~)
< ~ we see
And
with
that
in 5.3 is
me<
Proof:
with
Let O~P6LI(m) the convention
with
0~=O
follows.
The
aim
o
next
,a :Re L ~ ( m ) ÷ ~ .
2.3 LEMMA:
some
ii)
but
this
of the
is u n i m -
above
a(F)a(G)~a(FG)
is a d o p t e d ,
and O~F6L(m)
.
iv)
with
proper-
VO~F,G6L(m),
a(lul)=l~(u)I
PF6LI (m). T h e n
v u 6 H x.
dl ( P ) a ( F ) ~
0~=O.
~(u)=1
and
=dl (P) I~(uv) ] ~ / l u v I P d m ~ / l u I P F d m assertion
restrictive,
VO~F6L(m).
convention
For u,v6H
more
us r e f o r m u l a t e
i) O ~ I n f F ~ a ( F ) ~ S u p F ~
provided
V f £ReL(m)
IvI~F we h a v e
and h e n c e
dl (P) l~(v) 1=
d1(p)]~(v)I
~d1(pF).
The
QED.
is to d e r i v e We n e e d
Assume
that
h(u+v) < h ( u ) + h ( v )
from
a the
sublinear
the
subsequent
the
function
V u,v>O
and Sup s>O
simple
h:]O,~[÷~
limit
functionals
lemma.
satisfies
h(s) < co. s
Then
Proof: sequence
Let
h(t) t
÷ Sup h(s) s s>O
for
h(t) t
÷ Inf h(s) s s>O
for
S and
s(£)+O
I denote
the
t+O ' t+ ~.
Sup and
Inf
in q u e s t i o n ,
i) T a k e
with
h(s(i)) s (Z)
+ liminf s+O
h(s) s
=:
c < lim sup h(s) = s+O s
< S. =
a
68 Fix
t>O.
For
Z sufficiently
large
t = m(1)s(Z)+u(1)
with m(Z)6~
< m(9~)h(s(Z))+h(u(i))
f=
(a)
fix
situation
and
f(a)
for
(H,~)
=
(a)) /fGdm
Note
properties.
that
G>O
Xs6M.
Furthermore
from S e c t i o n
I.I
I -a I -a G:=(I-I~P(a,'),I-- ~ )
initial
remark
In fact,
where
for f=
6 H we have
= /ull-
1-a 1~aP(a, • )Idl +
(a)1-1-a ~ = /udl = /f°dl
= ~(f).
that G6M is dominant.
2) M = {(I-t)Xs
+ tG:O
(a))Vdm
+
(a)V(a) It follows
= fu[V°+V(a)P(a,.)Idl.
that V ( a ) P ( a , - ) < 1
and hence O<=t:=
" Then V° = I - V (a) P (a, • ) = (l-t) +t (1-1-ap l+a (a,')) =((I-t)Xs+tG)"
hence V = ( I - t ) X s + t G
and %0(f)=~o(f° ) Yf6H #. This
4) One c o m p u t e s
H#={f6L(m):f'£H # (D) and
is immediate.
that (I-Z) 2 (a-Z) (1-aZ)"
G° = a Hence I/G°6H#(D)
and
from the d e f i n i t i o n s .
3) L#={f6L(m):f°6L# (Ha(D))=L°(I) }. F u r t h e r m o r e f(a)=kOa(f~)}
that
i).
6M,
and q0a(I/G°)=0
in view of V.4.4
and V.4.10.
Thus
3) shows
(I/Go,O)6H #.
5) For f6K we have have
f/G6H # and ~0(f/G)=/fdm.
~o(U) ffdm = ~ [ ( u , < u l > ( a ) ) I / f d m = /uf°dl so that
+
(a)f(a)
Thus
for u6H~(D)
we
= f (u,
(a))fdm
= /ulf°+f(a)P(a,-)!dl,
f°+f(a)P(a,-)6K(H~(D),q~o)=H~(D)
L I (I)cL°(I)=L#(H~(D)).
In fact,
4) implies
LI
(m)cH#(D)
that
in v i e w of 4.8 and
126
G o
Also
4) i m p l i e s
G°
that
1-a
G=
so that we c o n c l u d e =f(a)/G(a).
Thus
IV. 3.4 i m p l i e s
6
(D) w i t h q0a
that
(f/G)° = f~/G°6H#(D)
3) shows
w i t h ~a((f/G) *) =~-j~ 1+a f (a) =
that f / G f H #. N o w f l f / G [ G d m = / I f l d m < ~
so t h a t
that ~ ( f / G ) = / ( f / G ) G d m = / f d m .
6) We have K = ~ LI (m) . In o r d e r 5). T h u s
l-a"
t h e r e are f u n c t i o n s
to see c let f6K so that f / G 6 H # a f t e r
fn6H w i t h
Ifn1_<1, fn÷1
and fnf/GEH.
It fol-
lows that f fEHG and f f÷f in L I (m)-norm so that fELI (m)-norm c l o s u r e n n (HG). T h u s w e h a v e f u l f i l l e d the p r o m i s e of 4.10. 7) M o r e o v e r real-valued but also
the p r e s e n t
situation
h6H # and d o m i n a n t
for c e r t a i n
since otherwise a f t e r V.2.3.
p>1,
furnishes
examples
namely
for 1
This
lh[6L1 (Gm)~e lh [ £ L ° ( G m ) c L # w o u l d
One e x a m p l e
is h = ( I / G ~ , O ) 6 H # a f t e r
/lhlPGdm
of n o n c o n s t a n t
G 6 M such that / l h l P G d m < ~
P-ld
=
not o n l y for p=1
implies enforce
that L ° ( G m ) ~ L # that h=const
4) s i n c e
aP-1 2p-2 dt < ~
for I