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!
1) satisfies (1.13) with j = 1 + p, then the functions Ba{z, {zk}), Ga{z, {zk}) and Ha{z,{zk}) belong to the class Np of M.M.Djrbashian. Proof. 1°. It is easy to verify that the products (3.3) and (3.3') are absolutely and uniformly convergent inside B. Hence, (3.2) directly follows from R^, then v{Q satisfies (2.4)-
114
CHAPTER 5
(1.7)-(1.8). It remains to observe that the integral in the exponent of the representation of each factor of Ha is a holomorphic function in D. 2°. First observe that under our requirements there exists po ^ (0? 1) for which \zk\ > Po {k > I)' Further, assuming ( = pe^^ {po ^ p < 1) and z = re'^ (0 < r < 1) we use the following formula from [19] ((1.22), p. 573): if f{x) G Li(0, /) (0 < / < +oo), then for any a G (0,1)
Then for any /? G (—1,0] and a G (—1, +oo) we get r-f'D-l'
logg^iz, () = r-l'D-^'+0^^
+ I3)p r \1 (l + /3)p l+g
log g^{z, C) + ^^^^^
7Jp^/
' J oJo
\oggc,{z, Q
h-r^tei{'P-^)?+" (i-tftei-P-^))'
Z*^ ( 1 - a
T{1+I3)J,
7
Similarly, we find l + a
f^{l-x)
-dx
For a — P, one can show that
.-«i5-.l„g*.(re«,p.<^)|<ji±?^^'
2r(2 + a ) i p
—^—ax
|l_ree*(^-v)p
^
Using this estimate, we obtain that for 0 < r < 1 1 r \r--D--i^^\H^^,,i^^{,^}^\\ ^^J-7v
< "
\ V^(l - |z,|)i+- < +00, Pol (2 + a) ^
which provides i^a ^ -^a- Hence G^ G N^ in view of 5c^ G iV^ (see [19], Ch. IX). Now let l3 < a <1+p. Then |r-/^i^-/^log/..(re^^pe^-)| < ^ 1 ^ ^ P P oo l( l++ aa) rr ((ll+ / 3 )
+ 1+^ f\i-xrdx
C
(1 -
'
tfdt
BOUNDARY VALUES
115
and by Lemma 3.1
(1 - x)"daj
+ WW)"""''
(3.4)
i(^_c^)|l+«-^"
p \p — rxe
Observe that iov 'd — if = \ |A| < TT ^^1^ =.[xI a: — rpte
rptf
+ 4a:rptsin^ - > (a; - rpt)'^ +
4xrpt^
Therefore |A| X — rpt + 2y/xrpt
|^_^p^e^A|-(2+-)<2iW2
-(2+a)
and p /
\r-'^D-^loghaire''^,pe''^)\d^<
(i-p) y90(l+a)r(l+;9) dA 2+a
(a; — r/9f + | ^/xrptX)
The change of variable t = l — (x/p— 1)T gives
i
Ci (1 + T ) I + " - (a; - p)""
0 {x - pty+'- ^ {x- p)"-/3 Jo
Consequently, by a; = 1 — (1 — p)y we get ^
r
\r-'^D-l^loghc{re'^,pe''^)\d-d <
po{l+a)T{l+p)
nT{ '^7rT{l+(3)Jo
(1-2/)"-'^^
'^^
•
Hence, for 0 < r < 1 l-J^ 27r
\r-^D-^logHa{re'^,{zk})\d^ 22+a/2^^
po(l+a)r(l+/3)
|.l
+ 7rr(l+/3)yo / Jo
^a^^
(1 - 2/)""^
5^(1-1^,1)1+^ < + 0 0 .
116
CHAPTER 5
Thus, Ha G Np. For proving that also Ga ^ Np , observe that in view of (3.4) the repetition of the above argument gives d^
27r po(i + a ) r ( i where ^a,/3 =
^ (l-x)"da; /,p | p - r a ; | " - / 3 '
(3.6)
For evaluating of the last integral, first assume r < p. Then
Ia0<
/
1 {i-x)''dx {I-PY^I^ I -p k—^ < ^' „ ' ' ' ,
0
(3.7)
Next, assume p
One can verify that 1
Ji < J2 <
/•"/'•/
^ / 1
/JN/5^
a; - -
dx<
((i1- -p p) i) + ^ ^ / '
/•(i+p/'')/2. p\0 ^ / a; - - dx H
1
/-i 2 ( 1 -- Pn\^+0 ) -J / (1 - a;)'^da; < (1+PM/2'
P5+"(1+/3)
Therefore
•^a,/3
^
Po
+ Po
( 1 - p ) 1+iS-, 1+/3
p
a
(3.8)
Now let p < e < 1 and 0 < a < 1 + /3. Then integration by parts gives . l+/3-a
'".""TTjT^I-/, a-r^(^'^) .(l+p/r)/2
PN1+/3-"!
1
/•!
(1 - x)''da;
(i+p/r)/2 (a; - f) a-/3 <
1
1
1
(1-P)^+^
p^''
2i+/5pJ+"
pr"(l+;9)
1+,9-Q;'
BOUNDARY VALUES
117
Hence, by (3.5)-(3.8) ^
j ^ | r - ^ i ^ - ^ l o g G a ( r e ^ ^ {zk})\d^ < C2 ^ ( 1 - kA.|)'+^ < +00
for 0 < r < 1, where C2 is a constant depending only on a, P, and po- Thus, Ga € Np^ which provides Ba G Np by already proven Hoc ^ -^/3 and (3.2). Lemma 3.3. 1°. Let a G (0,+CXD) be any number, and let {zk} C ID) (ZA; 7^ 0, k > 1) be a sequence satisfying
j2{i-\zk\r<+oo. k
Then Ba{z,{zk})^C'^Ba-i{z,{zk}) where C'^ = exp {—a~^ ^ki^
[^^-i(^, { ^ a ) ] " ' ,
(3.9)
~ \^k\)^} is a constant and the function
^:-i(^,{^4) = n e ^ p | r
V
T — ^ S ^ ^ U o
(4.1 (1-^)
(3-10)
J
is holomorphic in D and bounded if 0 < a < 1. 2°. If a e (l,+oo) and the sequence {zk} satisfies
^(i-i^feir-i<+(x., A:
then Ba{z,
{Zk})
= C'^B^-1{Z,
{zk})-
[^a-2(^,{^fc})]
(3.^^)
[HT^2i^,{^k})]'[Ra-iiz,{z,}f where
i?a-i(^,{^fe}) = e x p ( - - ^ ^ | z f e | - ^ l ^ ^ M r i |
(3.12")
118
CHAPTER 5
are holomorphic, non-vanishing functions in B , hounded if 1 < a <2. Proof. 1°. The representation (3.9)-(3.10) is proved in [6]. The required properties of H^_i are obvious. 2°. One can easily show (see [6]) that for any
^a(^,C) = ^ a - l ( ^ , C ) e x p < 2 /
—-a•^^-
JKl (l On the other hand, if h^-i {z, () is a factor of the product (3.10), then obviously
J\i\ (l
('-?)'
Further, one can verify that <Pa-l{z,0 ^a-2{z,C)
exp<
1
(1-|(|)»
""M>-«r
l + 2 ( a - l ) /•' ( l - i ) " - '
^
°"' ^'i^-fT"
The representation (3.11) is a consequence of these equahties. For 1 < a < 2 the boundedness of functions (3.12), (3.12') and (3.12") in B is obvious. Proof of Theorem 1.3. 1°. Let (1.13) be true for some 7 G (0,1). First, assume that 7 — 1 < a < 7. Denoting /? = 7 — 1 we have —1 < /? < 0 and P < a < P + 1. Consequently, Ba G Np by Lemma 3.2, and our assertion holds in view of Theorem 2 (Introduction) of M.M.Djrbashian-V.S.Zakarian. Next, let 7 < a < 7 + 1. Then the representation (3.9)-(3.10) of Lemma 3.3 holds, and 7 — 1 < Q ; — 1 < 7 . Therefore, in this representation Ba-i G Np by Lemma 3.2. In essence, the proof of H^_i G Np coincides with that of the inclusion H^-i G Np. The desired statement follows from the above mentioned boundary property of functions of Np. Now consider the case a = 7 + 1. According to formulas (3.9) and (3.11), Ba = 5^+1 = C;+iB^[if;]-2, where H; = H;*_^[H;*_\]-^R^. AS it is proved above, the multiplier B^ has non-zero, finite boundary values at all points of the unit circle, with possible exception of a set of zero 7-capacity. As it was mentioned, H*'!Li ^ -^7-1? ^^d one can easily verify that also iJ*!*! G N^-i. Hence these functions possess the required boundary property in view of the common boundary property of functions from Nj-i. Therefore, if we prove that the limit lim H;_,{re'^,{zk})j^O (3.13) exists and is finite out of a set of zero 7-capacity, then by Lindelof's theorem Rj and successively if* and B^^i will have non-zero, finite boundary values
119
BOUNDARY VALUES
out of such a set. And this will complete the proof of 1°. The proof of (3.13) is quite similar to that of Lemma 2.3. The following estimates appear to be the only difference. Let /i* be a factor of the product (3.10), let z — re*^ (0 < r < 1) and let C = pe*'^ (0 < po ^ P < !)• Then one can verify that
|:log/^;(re^^O <
(1 - x)'*dx
22+7/2
Ip
{x-rp+lV^p\§-ip\)^^''
Jo
(x — •
22+7/2
1 + 7 ( i _ r - p + f v ^ p | ^ - y , | ) [ p ( l - r ) + fv^p|^-v^|]^+' <
{1-pr
22+7/2.
Consequently, for Zk = \zk\e^'^^^ \zk\'> PQ> p
L
i| ^
dr
dr
\ogH*M\{zk})
dr ^
-^0
\\Zk\{l [\zk\{l-r)
+
lr\zk\W-ipk\] dr
27
< 22+7/2 ^ ( 1 _ | ^ ^ |
7+1
^ ^ p r ^ r\ '/Ai / 2 ((li+ 7 r - i \'&-^^\-ry+^ 22+7/2
2T +
<^^+rE(i-l^^l „7+l Po
k
1
7 l^-^fel^J
At last, if ^2 is the number from (1.10), then
r dpoW f J-ir
d ^^\ogH;{re^'^,{zk})
dr
Jo
22+7/2
<-9TrE(i-l^^ir ^0
k
TT '
2^ + — 5 2 7
< +00,
since for any (p G (—7r,7r]
dM-&) oi'd | 7
= 52 < + 0 0 .
2°. If (1.14) is true, then our assertion is well-known for a = 0. If 0 < a < 1 then by (3.9) BQC is a function of bounded type in D, which provides the validity of our assertion. If 1 < a < 2, then we use the representation (3.11), where
120
CHAPTER 5
the functions H^*_2^ -fi^a-*2? ^^d Ra-i are holomorphic and bounded in B . And Ba-i is of bounded type in D by the previous case. Thus, also B^ is of bounded type in D. This completes the proof. One can be convinced that the requirements of Theorems 1.2 and 1.3 for a > 7 + 1 (in 1°) or for a > 2 (in 2°) do not provide the inclusion of the considered Blaschke type products in the suitable classes of functions of a-bounded type. Therefore, the method used in this chapter is not applicable for investigation of boundary properties of these products in the mentioned cases. NOTES. Theorem 1.1 is a distinctive similarity of a result proved by M.M.Djrbashian and V.S.Zakarian [28, 29, 30] for the classes N^ (- 1 < a < 0) in the disc. Similar to the case of unit disc, here also a contraction of Nevanlinna's class leads to delicate boundary properties. For - 1 < a < 0 and y = 1 4- a the assertion 1° of Theorem 1.3 was proved earlier by M.M.Djrbashian and V.S.Zakarian [28, 29]. In another particular case 0 < a < 1 and y = a the same assertion, in essence, was proved by D.T.Baghdasarian and I.V.Ohanyan [6]. For all - 1 < a < 1 the assertions 1 of Theorems 1.2 and 1.3 can be considered as generalizations (for the Blaschke type products in the half-plane and in the disc) of the well known result of Frostman [33], which coincides with the case a == 0 of assertions 1° of Theorems 1.2 and 1.3. Further, by assertions 2° of Theorems 1.2 and 1.3 a well-known property of the classical Blaschke product is extended to Blaschke type products. The author's united work with G.V.Mikaelyan [71] contains similar results on the boundary properties of the Blaschke-M.M.Djrbashian products of the version of 1945 [16, 17] (formulas (7), (8) in Introduction), as well as for the Blaschke type products considered in [69] (formulas (2.6), (2.7) in Ch. 4) and used in factorizations of Ch. 4. The structure of that products permits to prove in [71] the similarities of results of this chapter for all a G ( - 1 , + 0 0 ) .
CHAPTER 6 UNIFORM APPROXIMATIONS
1. MAIN RESULTS In this section we prove the following three theorems which are related to approximations and some other problems in the classes Na{G~} of functions of Qj-bounded type (see Definition 1.1 in Ch. 5). T h e o r e m 1.1. The class Na{G~} (—1 < a < +oo) coincides with the set of functions which are representable in G~ in the form Ba{w,{am})
{
,
^ ^ ) ^ o / , , /L IN ^^PS ^0 4- ciw
Bc,[w,{hn\) hn iTypi-" /
\ogba{w,t + i'n)dii{t)+ic\,
J —oo
(1.1) J
where the limit is uniform inside G", B^ are convergent Blaschke type products (of Ch. 2), and the numbers CQ, ci, C, the sequence {bn} and the function ii{t) are those in factorization (LI), (1.2), (1.3) of Ch. 5. T h e o r e m 1.2. Let F{w) be a holomorphic function from Na{G~} (—1 < a < +oo); representable by the formula (LI), (L2), (L3) of Ch. 5, where Co — ci = C — 0 and fi{t) is a nondecreasing function. Then for any natural numbers K, and N there exists a triangular matrix of pairwise different complex numbers {wi \K>,N)} C G~ {k = 1,2,..., I = 1,2,... ,/c) such that: 1°. For any k >1 Im ^ P ^ (/^, N) = rjihi, AT),
/ = 1,2,... , fc,
and N
sup
{k\M-,N)\'-''^}<'^^ V^+1
2°. From the associated with the mentioned matrix finite Blaschke type products k
B^{w,{wl^\K,N)}',)
=
Y[b^{w,w^,^\K,N)) 1=1
122
CHAPTER 6
one can choose a sequence
such that F{w) = 5„(w,{a™}) lim 5„(«;,{«;f^'^(K,-,iV,)}^) j->oo
uniformly inside G~. R e m a r k 1.1. This theorem is similar to a well-known result due to Schur [93], stating that any bounded holomorphic function in |2:| < 1 (or in a half-plane) can be uniformly approximated by a sequence of finite Blaschke products, although, for a = 0 Theorem 1.2 somewhat differs from Schur's theorem. R e m a r k 1.2. Any function oi Not{G~} (see (1.1) in Ch. 5) is representable as the product of exp{co + ciK;+2C} and a quotient of two functions satisfying the conditions of Theorem 1.2. Therefore, Theorem 1.2 implies a similar assertion on uniform approximation of arbitrary meromorphic functions from Not{G~} (—1 < a < -hoc) by means of finite Blaschke type products. Theorem 1.3. Let F{w) e Na{G-}
{-1<
a < +oo), and let F{w) ^ 0.
r. If liminf / '^-^-0 J_^
\W-''\og\F(u-^iv)\\-
^ = 0, ' 1-hu^
(1.2)
then F{w) = e^o+ci^+ic Ba{w, {am}) ^ ^^Q-^ Ba{w, {On})
(13)
where CQ, C\, and C are those in (1.1) of Ch. 5, and Ba are some convergent Blaschke type products. 2°. Conversely, if F{w) is representable in the form (1.3), then + 00
/
I W - " log \F{u -hiv)\\du = 0,
(1.4)
-oo
R e m a r k 1.3. Being a generalization of Akutowicz' theorem [3] for the classes Na{G~}, Theorem 1.3 becomes a somewhat different assertion for a = 0. This difference of cases a = 0 of Theorems 1.2 and 1.3 from the well known results is a consequence of the fact that No{G~} is a subclass of the set of all functions of bounded type in G~.
UNIFORM APPROXIMATIONS
123
2. PROOFS OF THEOREMS 1.1, 1.2, 1.3 2.1. The following lemma is to be used for proving Theorem 1.1. Lemma 2.1. For any a G (—1, +00) and t-i-ir] E G~ n^{w,t + in)= ^^^^^^^^^^_^^^^^^+Ra{w,t
+ iv),
w€G-,
(2.1)
where Ra is such that for any compact K C G~ and any w G K. and t G (-00,+00)
\Raiw,t + ir,)\<^f^^^l^^ll",
\r,\
(2.2)
where Ca(K) 25 a constant depending only on a and K. Proof. In view of the proof of Lemma 1.2 in Ch. 2 {w, t + irj) = r{[i{w
-t)-
a ] - ' - " - [i{w -t) + a ] - ' - " } {\r)\ -
af^'^dG.
/o
Hence (2.2) follows by the estimate , 2\i{w-t)±a\>\
f W for 1^1 >2/^ + P " J t p
tor
\t\ <2K-\-
. , X . (o
p
where K = max^^^K |Re it;| and p = mini^^K |Im ILJI. P r o o f of T h e o r e m 1.1. First we show that any F{w) G Na{G~} (a > - 1 ) is represent able in the form (1.1). To this end, observe that by (2.1) ^ [i{w-t)]^-^^
-
^\r]\-'-''logbo.{w,t
+
iri)-^\rj\-'--Ra{w,t^irj)
for any rj < 0. Inserting this into formula (1.1) of Ch. 5, one can write the exponential factor of that formula in the form
-^^^^\V\~'~''
r^Ra{w,t
+ ir])df,{t)+iCy
(2.3)
Consequently, by (2.2) and (1.2) of Ch. 5 +CXD
/
Ra{w,t-{-irj)dfi{t) -oo
=0
(2.4)
124
CHAPTER 6
uniformly in respect to it; G K, whatever be the compact K C G~. Thus, we proved the representation (1.1), where the passage is uniform by w inside G~. Conversely, if (1.1) is true, then F(w) G Not{G~} by (2.3) and (2.4). 2.2. Proof of Theorem 1.3. Our assertion 2° is already proved (see the relation (3.12) in Ch. 2). For proving 1°, note that from formula (1.1) of Ch. 5 one can easily derive that for any w = v -\- iv ^ G~
W^-« log |F(^)| = W-'^ log I ^"^'^' ^"""^^^'
\v\ / ^ -
dix{t)
Boc{w,\hn\)
Denoting r»+co
H<-) = e i
,^_t)?+„2. '«-v + ivea-,
(2.6)
by (1.2) and (1.4) we find +00
lim
/ ^—^ i-oc 1
^
= 0.
Observe that for any x G (—00, +00) and y > 0
y
C{x,y)
~7
1
/
\2~^ 2 - 7 " ; 2 '
-00
^,
where C{x,y) > 0 depends on x and y. Hence, for fixed x and y
Further, set ^l,2(^.) = ^ ^ ~ 7 ^ % ^ > ''
/i,2 = -
w-u + ivGG-,
(2.8)
J —C
/
.
TT y _ ^
NO .
{x -uf
odu,
V <0
(2.9)
+y^
(where /ii,2(^) is assumed to satisfy (1.2) of Ch. 5). Then one can see that
h;
y+\v\
±m ff-^^ {x-tY d/xi,2(t) + {y-{-\v\Y'
UNIFORM APPROXIMATIONS
125
Now observe that for any i; < 0 y-}-\v\
C'{x,y) 1 ^ ^ . ^ . ^ 7 4.\2 . / — r r h 2 - TV72 ' - c x ) < ^ < + o o , TT {x-ty ^-{y-\-\v\y 1+t^ where C{x, y) > 0 depends on x and y. Therefore, by Lebesgue's theorem
for any fixed a; and y. But in view of (2.8) and (2.9)
y r+ ^
^u + iv) ^d^Z>|/l-/2|. {x — uY + 2/2
Together with (2.7) and (2.10), this leads to the conclusion that the quantity y_ / - + d^{t) ^ y r ^ TT J_^ (X - ty +2/2 TT J_^
c//ii(t) y P^^ _ {X - ty 4- 2/2 TT J . ^ (x- t ) 2 + 2 / '
is equal to zero. Hence ii{t) = const by arbitrariness of a: G (—00, +00) and 2/ > 0, and consequently the representation (1.1) of Ch. 5 can be written in the form (1.3). 2.3. For proving Theorem 1.2 we shall use Lemma 2.2. Let a G (—1, +00)^ let N > 1 be a natural number and let
where fi{t) is a continuous, nondecreasing function on [—N,N]. Then there exists a triangular matrix ofpairwise different complex numbers {w^i^^{^, N)}^^^ CG- (A: = 1,2,...) such that: 1°. For any k >1 Im w^,'\fi,N)=rjk{fi,N)
( / = 1,2,... ,fc),
(2.11)
and
k(M,iV)|^+<^ = i ^ ^ i ^ V M . ^
27r
_^
(2.12)
2°. Uniformly inside G fo{w,N)
= lim B^iw,{wl''\fi,N)}t^). fc—>00
(2.13)
126
CHAPTER 6
Proof. For any fc > 1 we split [-N,N] tk^i = N in a, way to provide
as -N
< t[^^ < 4^^ < • • • < tf^ <
N
M(iS)-M4'^) = | V M '^
(/-l,2,...,fe).
-N
Also, we assume that
Vk ^Vkif^^N) „W^ wl^'{ti,N)
= -
•r(2 + a) ^ 27r
Ak) = t\''>+irik
VM
-jv
J
{k = l,2,...;l
=
l,2,...,k).
One can be convinced that in these assumptions 1° is true. Besides, by ( l - l ' ) ' (1.2) of Ch. 2 and (2.1)
logB„(t/;,{<'(M,iV)}ti) = 5 ] log 6„ ( « ; , < ) (;t*,iV)) 1=1 k
.j.{k)
^ _
,,(+{k)^
^^Ef-'':r'i2-E^(-.'!''+%). ' ti\i(„~tP) But, if K C G
is any compact, then by (2.2)
'Y^Roc{w,t^^'^ +ir]k)
as
k-> oo
1=1
uniformly in respect to it; G K. In addition, uniformly by it; G K
dn{t) Z=
l
[i(«;-4'=)y
1+a
t)]l+""
Hence (2.13) follows. 2.4- P r o o f of T h e o r e m 1.2. Assuming that a G (—1, +oo), set
/(.,iV).exp|-i:ii±^r
^^W
[i(w; - t)]i+" f '
UNIFORM APPROXIMATIONS
127
where fi{t) is a nondecreasing function satisfying the condition (1.2) of Ch. 5. Let {Kj}J° be a family of compacts exhausting G~, i.e. 00
K,CK,+i
(j = l,2,...)
and J J K . ^ G - .
Further, for any j > 1 choose Nj (AT^+i > Nj) enough great to provide \f{w)-fiw,Nj)\<^.,
weKj.
(2.15)
Consider the following sequence of functions, which are continuous and increasing on [-N,N] {N> 1):
Z^+i fj^^{t) = K
t if^{x)dx^-Yj;^^
/^ = 1 , 2 , . . . ,
where
r ii[N) (f^x) = < fj.{x) [ fi{-N)
a x>N if -N-^^<x
One can verify, that lim //«(t) = ii{t) for any t G [—N^N] and /c—>-oo
N
\^Ji.{t)\ < \ii{-N)\ +\Jii^i, -N
N
N
y ^.<\/ fi + i -N
-N
for any K, > 1. Therefore, by Kelly's theorem on the passage in the Stieltjes integral, lim r j-^t!M_^ = r , , '^^l^ , j_r^ [i{w - t)]i+" «^°o J-N [iiw - t)Y+"
. e G-.
(2.16) ^ '
One can be convinced that this passage is uniform by w inside G~. Now for any K>1 and j >1 set
[
-K J_ff. [l{w - i)]l+" J
Then, by (2.16) one can choose a sequence of natural numbers {KJ}J° to provide that for any j > 1 \f{w,Nj)-f.^{w,Nj)\<j,, weKj.
(2.17)
128
CHAPTER 6
By Lemma 2.2, for each j >1 there exists a triangular matrix of pairwise different numbers {wi (t^j^Nj)} (fc = 1, 2 , . . . ; Z = 1,2,... ,fc)satisfying (2.11) and (2.12) and such that (2.13) is uniform in respect to w inside G~. Consequently, one can extract a sequence of natural numbers {fej}i^ such that ,S^j)(
ife)
for any j > 1. Hence by (2.15) and (2.17) we come to the desired assertion.
CHAPTER 7 SUBHARMONIC FUNCTIONS WITH NONNEGATIVE HARMONIC MAJORANTS
1. MAIN RESULTS 1.1. It is well known, that Nevanlinna's factorization of the class N of meromorphic functions of bounded type in the unit disc [82] (see also [84], Ch. VII) leads to the following complete characterization of the growth of functions u{z) which are subharmonic in \z\ < 1 and have nonnegative harmonic majorants: P'ZTT
sup
/
P'2'K
u-^{re'^)dd ^limmi
tx+(re^^)d?? <-foo
(1.1)
(here and everywhere u'^ = max{n, 0}, u~ = u^ — u). In contrast with this, the problem of finding a complete characterization of the growth of functions which are of the same type in a half-plane was solved only partially, since the conditions l i m i n f i / w+(i?e^^)sin??d?? < + o o (1.2) R^-hoo i? Jo and
/
u-^{x)-
-\-x 2
< +00
(1.3)
J —(
arising from Nevanlinna factorization in the upper half-plane G'^ = {z : Im z > 0} [83] completely characterize the growth of such functions only in the particular case when they are subharmonic i n G + = {^ : l m z > 0 } (see also [10], Sec. 6.3-6.5, where it is assumed that u{z) can somehow be continuously extended to the real axis). 1.2. The main results of this chapter are the following three theorems particularly containing a complete characterization of the growth of functions subharmonic in G"^, having there nonnegative harmonic majorants. Besides, these theorems somehow improve Nevanlinna's uniqueness theorem ([84], Ch. Ill, Sec. 38) and also the Phragmen-Lindelof type theorem which follows from a result due to M.Heins and L.Ahlfors [1], by replacing the condition limsup z—>t, Im z > 0
u{z)<0,
—oo < t < + 0 0
(1.4)
130
CHAPTER 7
by a less restrictive one. Theorem 1.1. Let S{fl) be the class of functions u{z) ^ — oo subharmonic in G+ and satisfying (1.2) and nR
lim liminf /
u^{x + iy)Q.{x) dx <-^oo^
(1.5)
where Q.{x) is a continuous function such that f](x) > C{l-\-x'^)~^ (—oo < x < +CXD) for a constant (7 > 0. Then: 1^. S{Q) coincides with the set of functions representable in the form
{z == X + iy £ G~^); where u{() is a nonnegative Borel measure for which
h is a real number, and /i(t) is a function representable as the difference fi{t) = IJi+{t) — iJb-{t) of two nondecreasing functions such that n{t)dfi^{t)
and
< +00
/
-oo
-~—^ < +oo.
J — oo
2^. If the representation (1.6)-(1.8),
(1.8)
1 I ^
is valid, then fi±{t) can be deduced by
l^±{t) — lim / u^{x -\-iy)dx^
—oo < ^ < + o o .
(1.9)
With this choice of fi±{t) b
b
b
\ / / i - V ^ + + V^-' a
a
V[a,6]c(-oo,+oo),
(1.10)
a
and nb
pb
lim / u^(x-\-iy)g(x)dx
= / gix)dii±(x)
(l-H)
2^-^+0 J a Ja for any function g(x) continuous in [a, 6]. Besides, R
/
/•+00
u'^{x + iy)Q.{x) dx •= / -R
J-oo
Q.{x)dii^(x),
^hrnJ_M^+^.)^:^ = y _ ^ ,
(1-12)
(1.13)
SUBHARMONIC FUNCTIONS WITH NONNEGATIVE . . .
131
and the relation +00
/
r+oo
u'^{x-\-iy)fl{x) -oo
dx = /
Q.{x) diJ.^{x)
is true, if n{x) = {!-{- \x\)-^ ( 1 < 7 < 2) or n{x) = (1 + \x\)-^ and h <0. 3^. If the representation (1.6)~(1.8) is valid, then h^ = -
(1-14)
J-oo
lim
4 /
( - K 7 < 1)
u^iRe'^)smMd,
(1.15)
for any 1} G (0, TT) /isin^ = lim sup R-^u{Re'^),
/i+siriT? = limsupi?-^^+(i?e^^),
i?^+oo
(1.16)
i?-)>+oo
and /or any 1? G (0, TT); except at most for a set of outer capacity zero, /i^sinT?-
lim R-^u'^iRe'^).
(1.17)
Remark 1.1. It is well known that the Nevanlinna class of functions (which are subharmonic in G+ and have there nonnegative harmonic majorants) coincides with the set of functions representable in the form (1.6)-(1.8) where ft{x) = (l + x^)~^, i.e. coincides with S{{1-{-x'^)~^). Thus, the pair of conditions (1.2) and (1.5) presents a complete characterization of the growth of such functions when Q>{x) = (1 + x'^)~^. Besides, if u{x) is subharmonic in G+, then it is obvious that the condition (1.5) with fl{x) = (1 + x^)~^ is equivalent to (1.3). The relations (1.5)-(1.7) are well known even in the most general case when fl{x) = (1 + x'^)~^ (these relations are true for h, h^ and /i~, since u{z) and u'^{z) have the same least nonnegative harmonic majorant). Remark 1.2. Using a result from [101] one can verify that the subset of functions of 5(1) {fl{x) = 1), for which /i < 0, coincides with the class of those functions subharmonic in G"^, for which +00
sup
y>o /
u'^{x + iy) dx < +00.
(1.18)
-00
T h e o r e m 1.2. Letu{z) he subharmonic in G^, and let there exists a sequence Rn t +00 such that for any n > 1 /»7r
I u^{Rne^'^)sm'dd'd Jo
pRn
<-\-OQ and
liminf / u'^{x-\-iy) dx < y^+^ J-Rr^
^-OQ.{1. 19)
132
CHAPTER 7
If for some Ro > 0 liminfi 4 / u(Re'^) sin M^ R^+oo \R Jo H-liminf /
u{x + iy)gRn^{x)dx>
=-oo,
(1.20)
where , ^
( 2-Ha;-2 - i?-2)
for
Ro < \x\ < R,
i?-2)
for
|a;| < Ro,
then u{z) = —oc. R e m a r k 1.3. Theorem 1.2 is an improvement of Nevanlinna's uniqueness theorem, since NevanUnna's conditions (1.4) and Hminfi^-^M(i?)--oo
{M{R) = sup
R^+oo
u{Re'^))
0
are more restrictive than the conditions (1.19)-(1.20). T h e o r e m 1.3. Let u{z) be subharmonic in G^, and let rR pR hminf / u-^ (x-^ iy) dx = 0 -R y-^+o J_j^
(1.21)
for any R> 0. Then: r.
hm R-^M{R)=
hm
R-^+oo
R-^[M{R)]-^
R-^+oo
= -
hm
^ [ u+{Re'^)smMi}
n R-^-hoo R JQ
Besides, if a = sup {Im z)~^u{z),
= pe[0,-hoo].
(1.22)
then
Im z>0
a+ =
sup (Im z)-^ix+(z) = /3.
(1.23)
Im z>0
2\ IfP = a-^< -foo, then (1.15), (1.16) and (1.17) hold for /i+ = ^ - a+. R e m a r k 1.4. The above theorem is an improvement of the Phragmen-Lindelof type theorem which follows from a result of M.Heins and L.Ahlfors [1] since their theorem implies the same assertions under the condition (1.4) which is more restrictive than (1.20).
SUBHARMONIC FUNCTIONS WITH NONNEGATIVE . . .
133
1.3. The techniques used to prove Theorem 1.1 can be appHed to prove also a theorem on some weighted H^ classes in G+. Consider the class H'P{Q.{X) dx) (0 < p < +oo) of functions f{z) holomorphic in G'^, for which liminf4 / and
|/(i?e^^)|^sin^di?<+oo
(1.24)
nR
lim liminf /
\f{x-\-iy)\Pn{x)dx<-\-oo.
(1.25)
By Theorem 1.1, i7^((l + x'^)~^dx) coincides with the set of functions f{z) holomorphic in G"^, for which \f{z)\P has a harmonic majorant in G+, i.e. it coincides with the conformal mapping of Hardy's H^ class for the disc. Besides, it is obvious that, by Remark 1.2 H^{dx) coincides with the class H^ introduced by Hille and Tamarkin by means of the condition (1.18), where u{z) = \f{z)\P. The following theorem relates to a more general case. T h e o r e m 1.4. Let 0 < p < +oo^ and let fl{x) be a measurable function such that almost everywhere Q.{x) > C{1 -^ x'^)'^ for a constant C > 0 and such that for any R> 0, rt{x) is uniformly bounded almost everywhere in {—R,R). Then: 1^. The class H^{^{x)dx) coincides with the subset of those functions of the conformal mapping of Hardy's class, for which f{x) G Lp{fl{x)dx). 2°. The condition (1-24) can be replaced by liminf 4 / il-> + 00 i t
without changing H^[Vt{x)dx). lim
log" \f{Re'^)\smddd
= {)
(1.26)
JQ
Besides, if f{z) G H^{Q.{x)dx),
~ I
\f{Re'^)\PsmMi}
then
= 0.
(1.27)
i?-^ + 00 R JQ
3^. If Q{x) satisfies the additional condition
I
^+^ log+ n{x) -dx < + 0 0 , 1+^2
(1.28)
then HP{^{x) dx) = [VL{z)]-^^^H^{dx), where
n(.)^exp|-y_^ t - . 1 + tV^^h ^^^^-
(1.29)
134
CHAPTER 7
Particularly HP{{1 + \x\)-^dx)
= {z + iy^PH^idx),
- o o < 7 < 2.
(1.30)
2. REPRESENTATION IN THE SEMI-DISC The main tool used in this chapter is a theorem on necessary and sufficient growth conditions under which a function subharmonic in a semi-disc larger than G^ = {z : Im z > 0, \z\ < R} has a nonnegative harmonic majorant in G^. Before stating our theorem we consider the function T-»
,
.
\
TV/a'
Rp + z-ip^ Rp- z + ip
^piC^z)
Rp-z-ipJ
I
where 0 < p < R, Rp = y/R? —/9^, and a = arccos (p/i?) and prove some lemmas. Observe that LUp{(, z) gives a conformal one-to-one mapping of the segment G j = {^ : Im ^ > p, |(^| < R} onto the unit disc and ijjp{z^ z) = 0. Therefore gR^p{(^z) = — log |cjp(C, z)| (z, ( G G'^ ) is the Green's function of G J . If u{z) is a function subharmonic in a semi-disc G^* (i?* > R), then by Riesz' theorem in G^
[
u{Re'^)ipRAd,z)dd+
[ ' u{t-\-ip)xljRAt,z)dt,
(2.1)
//3
where i^(^) is a nonnegative Borel measure in G j * , finite in any domain D compactly contained in G^*, and (fR^p, i/^R^p are the expressions for the Poisson kernel of G^^^, written on the arc {( = Re^'^ : (3 < d < -K — f3} {(3 = di.vcsin{p/R) = -K12 — a) and on the interval {C^ = t -\- ip \ —Rp < t < Rp}. Using the well known formula
^^p(C,^)
dC ^p(C,^)'
SUBHARMONIC FUNCTIONS WITH NONNEGATIVE . . .
135
where dn is the differentiation along the inner normal, one can calculate Tv/a^
-KIOL '^
{R, + Re'^ - ipyl-
- {R, - Re'^ + ipyl'^
i ^ ± ± - ^
^ f Rp -{- z-\-ip X J (i?p + Re'^ - ipyl'^ - {Rp - Re'^ + ip^^' Rp — I — ip
-K/a
-1
(2.2)
(2.2')
(sixi^'^'^'f}^ 7r-2/3
/3
(2.3)
where Ci,2 > 0 are constants depending only on z and R. Besides, in (0,7r)
uniformly
/o
^
Vfl,p(i?,^)
is sufficiently
2Im^
E(i?2-|^|2)sini?
; n n ^ ^ . „ ( ^ , . ) = -;r\Rei^-zme-^^-z\^
,
,„ ^,
^ ^^^^^'^^
,„
^'''^
Proof. First we shall prove the inequalities (2.3) for iS close to the ends of [/?,TT — /?]. Next we shall prove the relation (2.4). Then, estimating (pR{'d,z), we shall extend (2.3) to all -j? € [/3, TT —/3]. So, we start from the obvious relation .. fRp + z-ip\ ^ 2Ry /^ '7r\ lim arg -~ — = arctan —x —pr = r? G 0, — ,
y = lm z,
using which one can verify that for sufficiently small p > 0 n/a
^R^Re'^m a
f^^ + ^'^P
Rp - z + ip
6i?2
f5R\^
136
CHAPTER 7
where A = sinry, if 0 < r/ < 7r/4, and A = sin(7r/2 — 77), if 7r/4 < 77 < 7r/2. To estimate the denominator in (2.2), first observe that
\R, + Re'^ - ipl''^'' + \R, - Re'^ + i/^r/"
Rp-\z-ip Rp- z + ip bR
<
-K/OC
3
-'TJ
for sufficiently small p > 0. Next, observe that Rp^z-ip \Rp + Re'^ - %p\''l'' - \Rp - R^^ + i p r / ^ Rp- z-\-%p > I i?p + i? cos (5r/<^ - (^47? sin ^ )
-KIOL
Z'—")
> i?^
for sufficiently small p, J > 0 (J > /3) and for any ?? € [/3, J]. Now, using (2.5) and the last two inequalities (where the quantities estimated are even functions of ?? — 7r/2), we obtain that for sufficiently small p, 5 > 0 (J > /3) and for any ^ e [/3,J]U[7r-(5,7r-/3] ax < \Rl - (i?e*^ - ipf\'-^/"ipR,p{^,z)
< a2,
where ai,2 > 0 are constants depending only on z and R. Since \Rl - {Re'^ - ip)^\ = 2i?2 sin [(i? - p)/2] sin [(TT - /3 - 0)/2], we conclude that the estimates (2.3) are true for sufficiently small p, 6 > 0 {6 > (3) and for any i? G [/3, J] U [TT - (J, TT - /?]. Now observe that (2.4) can be easily derived for any i? G (0, TT). To prove that this relation is true uniformly in [(5,7r — 6] for any S G (0,7r/2), it is enough to observe that the limits of both the numerator and denominator of (fR^p{'d^z) are uniformly separated from zero. Finally, it follows from (2.4) that for any i9 e [S^TT — S] {0 < S < 7r/2) we have 0 < al < (^R{d,z) < a^ < +oo, where the constant aj depends only on z, R and 5 J and the constant a2 depends only on z and R. Using the uniformity of (2.4) and the estimates (2.3) (which were proved for i? G [/3, J] U [TT — (5, TT — ^]), we conclude that these estimates hold for any 7? G [/?, TT — /9]. Lemma 2.2. If R > 0 and z G G^ are fixed numbers and p > 0 is sufficiently small, then Cl < {Rl - i')i-"/"Vii,p(i, z) < C | ,
-Rp
Rp,
(2.6)
SUBHARMONIC FUNCTIONS WITH NONNEGATIVE . . . where C^ 2 > 0 ^^^ constants depending only on z and R. Besides, in {-R,R)
Imz f 1
lim i;R^p{t,z)
137 uniformly
K'
Z\^
|i?2_t2|2
= - ^ \t-zm^-tz\^
=^fi(<.^)-
(2.7)
P r o o f is similar to that of the previous lemma. T h e o r e m 2 . 1 . Let u{z) ^ —00 be a function subharmonic in the semi-disc G^* {0 < R* < +00). Then u{z) has a nonnegative harmonic majorant in G\ {0 < R < R*) if and only if the following conditions are satisfied: f
i/+(i?e^^)sin^d^<+oo,
(2.8)
liminf / \ R I - x^y/'^-^u-^(u^iy)dx
< +00,
(2.9)
where Ry = ^/R^ — y'^ and a — arccos (y/i?). / / it is so, then
"''''lit
log
+ ^R(R^
z-CR'^-Cz z-CR^-Cz u{R e'"^) sin ^
- 1^12
d^
Jo i?2
\R'^ - tz\
id/i(t),
z^x + iyeC^,
(2.10)
where i^(C) is a nonnegative Borel measure in G j , , such that Jj
^{R-\<:\)Im(:du{0<+oo,
(2.11)
and ii{t) is a function representable as the difference ii{t) = fJ^-\-{t) — fJ'-{t) of two nondecreasing functions such that / {R^ - t^)dii±{t) < + o o . J-R
(2.12)
The functions /x± {t) can be chosen to be those deduced from rt
li±it) = lim / u {x-\-iy)d'.X,
-R
(2.13)
138
CHAPTER 7
Under this choice b
b
b
\/M = V ^ + + V ^ - ' a
and
a
V[a,6]c(-i?,i?),
(2.14)
a
r
lim / u^{x-\-iy)g{x)dx = / g(x)dfj.±{x) (2.15) y-^-^O J a Ja for any function g{x) continuous in [a, 6]. Besides, for any RQ {0 < RQ < R) [
\u{Roe''^)\smi}d^<-\-oo.
(2.16)
Proof. Choose 0 < yo < R such that u{iyo) 7^—00, then take z = iyo and suppose p > 0 in (2.1) is small enough to ensure the validity of the estimates (2.3) and (2.6). Using these estimates we obtain
/X+
9RAC^^)di^{0 + C^I^
+ Ci* /
u-{Re'^)[sm'^^^^y^
dd
{Rl - t^Y^''-^u-{t + ip)dt
J-Rp
pRp
+ C2* / {Rl - t^Y^'^-^u^it + ip)dt. (2.17) J-Rp Further, assuming that A^ i 0 is any sequence such that the last integral is uniformly bounded for p = Am ( ^ > 1)? we conclude that the whole right-hand side of (2.17) is uniformly bounded for such p. Thus sup / / 9R,Xm{C^Wo)du{0 < +00, m>iJJG+^^
sup r~^^ m>l Jp^ sup /
u-{Re'^)
f s i n ' ' ^ ^ ~ f " ^ ^ V "^ d^ < +00, \ TT - 2fJm J
{Rl^ - ^2)^/^-^-i|x^(t + iXm)dt < +00,
(2.18)
where am = a,vccos {Xm/R), Pm = 7r/2 — am and Rx^ = ^/R^ — A^. It is not difficult to verify that the first of these relations is equivalent to (2.11)
SUBHARMONIC FUNCTIONS WITH NONNEGATIVE . . .
139
while the second, together with (2.8), gives (2.16) for RQ = R. Now let Sn iO {0 < 6n < R) be any sequence. Then, by (2.18), the nondecreasing functions
Jo are uniformly bounded in any segment [—{R — Sn),{R — Sn)] {n > 1), if m > N{n) > 1. Consequently, by Kelly's theorem, there exists a subsequence {Am } £ {Am} such that the relations (2.13) are true when t G [—{R — 6n), {R — Sn)] and y = Am i 0. Therefore, the relations (2.13) are true for any t e {—R,R), if y takes values from the diagonal sequence {Pn} - {A^"^}. At the same time, Kelly's theorem on passage to a limit leads to relations (2.15) for y = Pn I 0. This implies the validity of the equality (2.14). Consider the nondecreasing functions Ai±)(t) = fiRl Jo
- a;2)-/"-id^(±)(x),
- i ? , „
(2.19)
and put AW(t)=Ai±)(i?pJ
{R,^
and
Ai±)(i) = Al±)(-i?,J
{-R
Then (2.18) shows that these functions are uniformly bounded in [—R,R]. Kence, by Kelly's theorem, there exists a subsequence of {pn} (which for convenience we again denote {pn}) such that ^^rt\t)
-^ A±(t)
{-R
as
n ^ oo,
where A± {t) are some nondecreasing and bounded functions. It is clear that A±(t) =
{R^ - x'^)dp±{x),
-R
(2.20)
Jo and so the relations (2.12) are true. On the other hand, Kelly's other theorem (on the passage to the limit in Stiltyes integrals) implies the relations (2.15) in any [a, 6] C [—R^R] for the measures dA^r^\t). Therefore, b
b
lim \ / A 1 ^ ' = V A ± , a
a
and, since the function i/jR{t, z)/{R^ ~'t^) is continuous in [—i?, i?],
(2.21)
140
CHAPTER 7
Let
C (/-';.r/i-.-'<*'">=C ^^'^"'<"+«?'• f^-^^) Then i^R,pAt,z) JR-
i5<|t|
•>pR{t,z)
(i?2^ - i 2 ) - / a „ - l
+
dAi±)(t)
i?2_i2
(R-S)
+
(R-S)
{m
-i2)V".-l
i?2_i2
dAi±)(i) = j ; + j ; '
(2.24)
for any 6 {0 < 6 < R). Assuming that 5 > 0 is arbitrary, choose 5 > 0 such that ' -(R-S)
R
V +VP^i'=^< 8C2*' where the constant Q is that of (2.6). Then, by (2.21) -{R-5)
V +V|A.<J^. -R
R-Sj
if n > 1 is sufficiently large. Therefore, J^ < s/2 by (2.6). On the other hand, it follows from (2.7) that the integrand of J^ tends to zero uniformly in [-{R - 6), {R - S)] as n -> oo. Therefore, by (2.21), J^ < e/2 for sufficiently large n > 1. Consequently, the relations (2.19)-(2.24) give lim /
u^{t + ipn)ijR,pAt^z)dt=
/
^R{t,z)dii±{t).
(2.25)
It follows from (2.3) that 0 < (pR,p{'d, z) < C2 sini? for sufficiently small p > 0. Hence, using the relation (2.16) (still proved only for RQ = R), we obtain lim /
u^{Re'^)^Rp{d,z)d^ ?1!B(JJ'-
W')'" 7o
\Re''
«"('''">™'' zmRe-i^-z
jdi}.
(2.26)
For the next passage, observe that the function ^{z)=gR{(,z) — gR,p{C^z) is harmonic in the closure of G'^ whatever be C ^ G^ . Besides, $(i?e*^) = 0 (/? < 79 < TT - /?) and $(t + ip) '= 9R{C, t + ip)>0 {-R^ < t < Rp). Therefore,
SUBHARMONIC FUNCTIONS WITH NONNEGATIVE . . .
141
^{z) > 0 in G+^^, and gniCz) > gR,p{C,z) for any z, C ^ G^^^. It is easy to prove that the condition (2.11) is sufficient for the convergence of the integral
//^gniC,z)du{C) ^ ff J JG+
iog\'~^ll~^j\du{C).
J JG+
\Z-CR^
-CZ\
Using this, one can prove that
The relations (2.25)-(2.27) permit to obtain the representation (2.10)-(2.12) by letting p = pn iO in (2.1). On the other hand, the representation (2.10)-(2.12) is necessary and sufficient for the existence of a nonnegative harmonic majorant of u{z) in G^, since using a conformal mapping this representation is derived from the similar representation of subharmonic functions which are of the same type in the unit disc. Thus, u{z) has a nonnegative harmonic majorant in G^, and, as its majorant is the same in any half-disc G J {0 < Ro < R), the relation (2.16) is true for any Ro {0 < Ro < R). Finally, the relations (2.13) and (2.15) without the indices ± can be easily verified using directly the representation (2.10). But also u'^{z) is a subharmonic function having the same nonnegative harmonic majorant. This proves the relations (2.13) and (2.15) with the index +, hence follows their validity with the index —. 3. PROOFS OF THEOREMS 1.1 - 1.4 Proof of Theorem 1.1. Let u{z) ^ —oo be a function of 5(f^), and let i?^ t oo be a sequence on which the lower limit in (1.2) is attained. Then the hypotheses of Theorem 2.1 are true for any R = Rk, and hence the representation (2.10) is valid for any R = R^. From (2.10) we subtract the same representation written for a smaller half-disc G^ {Q < Ro < R)^ put z = iy, divide the obtained equality by 2y and let y -> +0. This gives the following Carleman type formula:
+ (if - i^) / I **'> - i : [ "'^°'"'^'"'''"'- *=*•" The right-hand side of this formula remains bounded from above as R = Rk -^ -hoo. This follows from (1.2), (2.16) and from the relation +00
/
pR
ft{x)dfi-^{x) =
lim liminf /
u'^(x-i-iy) ft(x) dx <-\-oo
(3.2)
142
CHAPTER 7
which is a consequence of (1.5) and (2.15). Hence, also the left-hand side of (3.1) is bounded. Using this we arrive at (1.7). The proof of convergence of the second integral of (1.8) as well as the proof of the representation (1.6) are similar to the proofs of the corresponding assertions of Nevanlinna's theorem [83] (see also [10], Sec. 6.3 - 6.5). Now let u{z) be a function representable in the form (1.6)-(1.8). Then, obviously
Hence (1.2) follows. Further, it is easy to show that for any R> 0 there exists a constant C > 0 such that
y f"" ^n(x)dx ^^
C <5-, t)2 + 2/2 - 1 + ^2 '
0<2/
-oo
Hence, using Lebesgue's theorem on dominated convergence we arrive at relation (1.12) for U{z). This implies (1.5), and so, u{z) G S{Ct). Consequently, the measures fi±{t) in (1.6) can be recovered by the relations (1.9), and (1.10), (1.11) follow from (2.14), (2.15) of Theorem 2.1. Further, R
/»+oo
/
u~^{x-{-iy)Q{x) dx < / Q{x)dfi^{x) -R J-00 since (1.2) is true for U{z). This inequality and (3.2) imply (1.12). On the other hand, one can prove that 1 dx C If -^"^ (a;-i)2+2/2 TTT"? (1 + 1^1)7 -< 7(1 + |«|)T"
""^^
for any Q < y < M < +00 and —1 < 7 < 2, where the constant C > 0 depends only on M and 7. Therefore, if f](t) = (1 + \t\)~^ (1 < 7 < 2) or 0(t) = (1 + \t\)-^ ( - K 7 < 1) and /i < 0, then by Lebesgue's theorem + CX)
/
/• + 0 0
u^{x-\-iy)Q.{x) -00
dx < I
Q{x)d/j.-^{x).
J—00
The converse inequality for the lower limit is true by (3.2). Hence (1.14) holds. To prove (1.13), observe that the function / / .G+
log
c z-C
du{C) - u{z)
is from 5((1 + \x\)~'^). Therefore, the relation (1.14) with n{x) = {1-\- \x\y is true for this function. Using (1.14) we come to (1.13).
SUBHARMONIC FUNCTIONS WITH NONNEGATIVE . . .
143
Remark 3.1. By a similar argument, one can prove that the set S{ft 1,0.2) of functions which are subharmonic in G"^ and satisfy the conditions (1.2), (1.5) with f2 = f^i and also the condition lim liminf /
u (x -{- iy)ft2M
dx < +00
(where 01,2(2^) are continuous and such that fli^2 > ^1,2(1 4- x^)~-^ for some ^1,2 > 0) coincides with the set of functions representable in the form (1.6)(1.7), where ^±{t) are such that +00
/•+00
/
fli{x)diij^{x) < +00 and / ft2{x)dfi-{x) < +00. J—00 Besides, by-00the results of [103] the subclass of 5(1,1) (fii = fi2 = 1) for which h = 0 and / /
Im C duiC) < +00
coincides with the set of those functions u{z) subharmonic in G"^, for which ^+00 i-CXD
/
\u{x + iy)\dx < +00. -00
Proof of Theorem 1.2. Assuming u{z) ^ — cx), observe that the conditions of Theorem 2.1 are satisfied for any R = Rn- Therefore, they are satisfied for any i? > 0, and (2.15), (2.10)-(2.12) and (3.1) are true for any i?, Ro {0
/
u{Roe'^)smi}d^<^
^o Jo
[
u{Re'^)sinM^
^ Jo
+
lim /
gR^R^{x)u{x-\-iy)dx,
where the left-hand side integral is absolutely convergent in accordance with (2.16). So, the hypothesis u{z) ^ —00 contradicts to the condition (1.20). Proof of Theorem 1.3. 1^. Let lim sup i?-iM(i?) = +00 as i? -> +00. In this case, for any i^ > 0 we can find z = x -\- iy ^ G+ such that u{z) > K\z\ > Ky. Hence a = a'^ = +00. If we have also liminf i?~-^M(i?) < +CXD as R -^ -hoo, then by Theorem 1.1, u{z) is representable in the form (1.6)-(1.8), where /i+(t) = 0. Thus, u{z) satisfies the condition (1.4), and, by the result of M.Heins and L.Ahlfors, there exists lim. R~^M{R) a,s R -^ +00. This is a contradiction. Therefore, if lim sup i?~^M(i?) = +00 as i? -> +00, then there exists lim R~^M{R) = +00 as i? —)> +00, and a + == /3 = +00. In our case lim
^ /
R^-^00 R JQ
u-^(Re'^)sinM'i}
= +oo
144
CHAPTER 7
since otherwise u{z) would be representable in the form (1.6) - (1.8), where /x_i_(t) = 0, and obviously a < h < +oo which is a contradiction. Now consider the case when \iui sup R~^M{R) < +oo as i? -> H-cx). In this case u{z) is representable in the form (1.6)-(1.8) with /i+(t) = 0, besides, (1.4) is true and there exists lim R~^M{R) =(3 = a-^ as i? -^ +oo, according to the result of M.Heins and L.Ahlfors. Besides, from the representation (1.6)-(1.8) immediately follows that a < h. On the other hand, a > \ixnsupy~^u{iy) a.s y ^ +oo by the first of relations (1.16). Thus, a"*" = /i"^ = /3 and, additionally, (1.15) is true. 2^. U (3 = a^ < -foo, then u(z) is representable in the form (1.6)-(1.8). For such functions the relations (1.15)-(1.17) with h = fS = a'^ hold. Proof of Theorem 1.4. P . Let f{z) G HP{n{x)dx). Then \f{z)\P has a harmonic majorant in G"^ by Theorem 1.1. Thus, f{z) belongs to the conformal mapping of Hardy's class, and it has nontangential boundary values f{x) almost everywhere on (—OO,+CXD). Hence R
pR
X < +00, i? > 0,
/
\f{x)\Pn{x)dx
< liminf /
-R
2/-^+0
(3.3)
\f{x + iy)\Pn{x)d:
J-R
by Fatou's lemma, and f{x) € Lp{Q,{x)dx). Now let f{z) be from the conformal mapping of Hardy's class H^ {\z\ < 1), and let f{x) G Lp{fl{x)dx). Then, using the factorization of f{z) one can obtain
On the other hand, it can be easily verified that for almost all t G (—oo, +00) Q,{x)dx
-1
< C*nit),
0
R>0,
for a constant C* > 0 depending only on R and Q,{x). Consequently, R
/
pR
\f{x + iy)\Pn{x)dx< / \f{t)\Pn{t)dt (3.5) -R J-R by Lebesgue's theorem. The relation (1.27) follows from (3.4). 2^. If / ( z ) G HP{Q{x)dx), then f(z) is from the conformal mapping of Hardy's class. Using the factorization of this function we obtain (1.26). Now let (1.24) be replaced by (1.26). Then evidently log"^ \f{z)\ has a harmonic
SUBHARMONIC FUNCTIONS WITH NONNEGATIVE . . .
145
majorant in G+, i.e. f{z) is of bounded type in G^. Therefore, |/(i?e*'^)|^ is continuous in 0 < i? < TT for almost all i? > 0. Besides, liminf / ?/->+0 J-R
dx \f{x + iy)\P- —^ 1
<+oo
for any R> 0. Therefore, by Theorem 2.1, \f{z)\^ has a harmonic majorant in any C^ (JR > 0), i.e. in any G^ the function f{z) is from the conformal mapping of Hardy's class. The transformation of the corresponding factorization by means of the conformal mapping of |z| < 1 onto G^ gives
log|/WI= E l°g z,eG+
z — Zk R — zzk z - ZkB? - zzk I d^
Here ZA; are the zeros of f{z) and dii{t) = \og\f{t)\dt — duj{t), where uj{t) is a nondecreasing function such that (jo'{t) = 0 almost everywhere in {—R^R). But we have already proved that log"^ \fi^)\ has a harmonic majorant in G^. Therefore it is obvious that the passage R -^ +oo in (3.6) leads to the factorization
(2: e G+), where £i/i(i) = log |/(t)|di - duj{t), Im C = 0 and /i=-
lim
4 /
log|/(i?e*'')|sin^di?<0
according to (1.15) and (1.26). Consequently, f{z) is from the conformal mapping of Hardy's class, and (3.4) is true. Hence (1.27) follows. 3^. Let f{z) e HP{Q{x)dx), where fl{x) satisfies the additional condition (1.28). Then it is clear that Q{z) and
both are non-vanishing holomorphic functions in G'^. Using (3.7) one can easily obtain
146
CHAPTER 7
where |/(i)|Pfi(t) € Li{dt). Hence f{z)[n{z)]^/P S HP{dx). Thus
On the other hand, the assumption f{z) Lp{Q,{x)dx). Therefore, fiz)[n{z)]-'^/P
G HP{dx) gives f{x)['[l{x)]~^/P £
G HP{n{x)dx)
by assertion 1°, and HP{dx)[n{z)]-^^P C fl-J'(J^(a;)da;). The equahty (1.30) is for the particular case of (1.29), when il(x) = (1 +
CHAPTER 8 WEIGHTED CLASSES OF SUBHARMONIC FUNCTIONS
1. GREEN TYPE POTENTIALS 1.1. We start by the following auxiliary Lemma 1.1. Let U{w) he subharmonic in G~, and let U{w) G Mp {= Mp{G~}) for a natural p. Then for any a G (0,p]; 1°. W~^ u{z) is continuous and subharmonic in G~, 2°. —-W-^P-'^^W-'^u(z)
= U(w), w =
u-\-iveG-.
Proof. 1°. Since Uiw) G Mp, the integral W~^ u{z) is absolutely convergent for any w G G~. By the same reason, for any fixed t/;o = ixo + ifo ^ G~ the integral />+oo
/
I
I
a^-^ \U{w - iG)\dG,
\w - w^\ < - 4 ^ , JM 2 can be made arbitrary small by taking M > 0 large enough. On the other hand, one can verify that for any finite M > 0 the integral rM
a'^-'^\U{w-ia)\da /o is a function continuous at w = WQ. TO this end, one can use, for example, the Riesz representation of U{w) in any disc in G~, which contains the rectangle {w -ia : \w - wo\ < bo|/2}, 0 < a < M. Hence it follows that W'^^uiz) is continuous in G~. The inequality between W~^u{z) and its mean value is easily obtained by changing the order of integration. 2° follows from Lemma 1.2of Ch. 1. 1.2. The Green type potentials considered below are constructed by means of the Blaschke type products considered in Ch. 2. Lemma 1.2. Let u{() be a nonnegative Borel measure in G~, such that
IL
\il\'+"duiO<+oo
iC^^
IG-
for some a > 0. Then the Green type potential
+ iv)
(1.1)
148
CHAPTER 8
lo.{w) = -jj
log|6„KC)MKC)
(1.2)
is a superharmonic function in G . Proof. Let po < 0 be a fixed number, and let w G G~^ = {w : Im w < po}- Using the representation (2.2) of Ch. 2, one can verify that for any C e Q- \ G^^/2 w^ ^^^^ \^og\ba{w,C)\\ < Ca,po \v\^'^'^, where Ca,po > 0 is a constant depending only on a and po- Hence
li
^c.,poM
\G PO/2
logK{w,0\dHO
is a harmonic function in G^^. For consideration of the remaining part of Iot{'^)', recall from Ch. 2 that the function Uc,{w,0 =
\og\ha{w,0\-\og\ho{w,C)\
is harmonic in G~ and representable in the form + CXD r" C/„(w,C)=C„+Re / \_{iw — iC, + TY^^
Re
(1.3)
1 dr iw — iC-\-T
T^dr ^ /"l^' dr + Re iw — i( — r)^+^ iw — i( — r / Jo + 00 "^ da >0
/
where
(1.4)
rH^)\
Co.
l+ay J 1+a
is a constant while the other terms are functions harmonic in G~. One can see that for any w G G^Q and ( G G~ ,2
G. - r
"^^"
+^'^t1 iw —driQ —
< c'
|r/r+^
T\ Jo {iw-iC-ry-^^ Jo where C'^p^ > 0 is a constant depending only on a and po- To estimate the remaining term of (1.4), denote
J
{iw — iC,-\-TY'^^ + 00
1 dr iw — i(-{-T
^+l?l \v\
da
+ 1 + 0-
w = u-\-iv,
(1.6)
i ^ + i+a
and consider separately the cases \T]\ > 2\v\ and \r]\ < 2\v\ {( = ^ + ir] £ G - j , w = u + iv £ C^o). If \ri\ > 2\v\, then J =
Jo '^M-2) =
Jl+J2,
da \v\
+ 1 + 0(1.7)
149
W E I G H T E D CLASSES O F SUBHARMONIC F U N C T I O N S
where obviously ^"^"^
^^
.1
\'^\
^ riff
I
|i+«
(1.8)
On the other hand, putting
^ + l?l |t,| + l + a
where
1
A
^1^ +1 i ^ + l +a
observe that | A| < 1 if and only if cr > \r]/v\ — 2. When |A| < 1 we have |(1 - A ) " - 1|/|A| < M^ < +oo. Therefore J2 < 2Ma
u-C
+
1 V
1+a
+ 00
0/
U-^
da
+ l + (7
^1-2
(1.9)
< 2M« < C7-,„ |7?r
If |po|/2 < |7?| < 2|w|, then |A| < 1 for any a > 0. Hence J ^ <2M, ^-Lyj-a
4-CO
U-^
+
1
u-^
-2
+ 1 + 0-1
da
il+a
< 2M„ < c:,j7?r
Using formulas (1.4)-(1.9) and the last estimate we obtain that \Ua{zC)\^ ^a,po l^l^"^*^ for '^ ^ G^po5 C ^ ^ W 2 ' where the constant C* ^^ > 0 depends only on a and po- Therefore, by (1.3) and (1.1)
Po/2
= -y"y_ PO/2
\og\bo{w,i:)\duiO-JI_
Ua{w,Odu{0, Po/2
where the last integral converges in G~^ absolutely and uniformly, while the whole Ia,po ('^) ^^ superharmonic in G~^, as a sum of an ordinary Green potential and a function harmonic in G~^. The desired assertion follows, since /«('«;) = la^po {w) + 1*^^^ (w) for any po < 0. L e m m a 1.3. Let u{() be a nonnegative Borel measure in G~, satisfying (1.1) for some a > 0. Then the Green type potential (1.2) has the following properties: 1°. Ioc{w) G M/3 for any /? G (0,1 + a). 2°.
W~^Iot(w) is a continuous superharmonic function in G",
W-^Ia.{w) = - j j
W-"log|6.(^,C)IMC)>0,
weG-,
(1.10)
where the integral is uniformly convergent in any half-plane G~ (p < 0) and
150
CHAPTER 8 7,
+00
W-^Ia{-it) J < +00.
(1.11)
/ is representable as an ordinary Green potential:
3°. W~^Ia{w) W-''Ia{w)
=- J j
log\bo{wX)\diya{C).
weG-,
(1.12)
where I'aiC) ^^ ^ nonnegative Borel measure satisfying (1.1) for a = 0. Proof. 1°. Let po < 0 and w = u-{-iv e C^Q. Assuming a < ^ < 1 + o; set I - / Jo
a^-' da
I log \bc,iw - ia, QWdi^iO J JG-
^ \IL G-^IIG-I
(/^°°<^''"'|i°gl^"("'-^<^'Ollrf^) MO
= h+h
(1.13)
and estimate / i and I2 separately. By formula (1.1') and (1.2) of Chapter 2
-Jo
(1 + c.)^+« JJG-\G,
h=
tr^-^
Ivl'^'^duiO, J
where C{a,P,po)
' ^ ' ^ ^ ^ 7-1 {\v/r,\ -
(1.14)
JG-\GZ
> 0 is a constant depending only on a, f3, and po- Putting
du{C) / (T^-' \\og\ba{w-ia,C)\\ J JGJ\rj\ r r r\l\ + / / dv{Q / a^-^\\og\ba{w-ia,0\\da J JGy
da = Ji+J2
(1.15)
Jo
and again using formulas (1.1') and (1.2) of Ch.2, we obtain
Ji< / /
duio/
J JG-
(|7,i-\t\rdt /
J-\n\
,,/./^V»
J\v\ K\v\-t + (xY+'^
(1-16)
To estimate J2 we use the representation P-I
^
/
I I
\ ct-k
logMt«,C)|=X:-^f7-^) -^^
fl'nl / 7: Jo
-Re / ' " -
^ •PdT
r^ dr 7= Tj— ( a < p < l + a)
[IW - ZC — T)^^^
W E I G H T E D CLASSES O F SUBHARMONIC F U N C T I O N S
151
which is derived from the representation (1.1')-(1.2) of Ch.2 by integration by parts. Then we obtain P-^
JJG-
1
/
1^1
\«-^
JO L[^"-^Vl^l+^y ,=o- --• • -
+ Jo0 JM (|t;| +
|7?|-T + (7)'+"_
r\r}\
11^ -io '•-•
1^1+'^ + ^ 1 ' + " " ^
<7^-^da = Ki+K2
+ Kz.
(1.17)
For any 7 e (0, a]
Therefore
f:;^
a - A;
k=0
J JG-
On the other hand
K, < C"'{a,p,po) jj
H'-^'' dKO-
(1-19)
Now observe that where ^ ^
io
io | | i ; / ^ | - l + cT + T|^+"-^
and \\v/rj\ — 1 + cr| < 1. One can easily show that L{rj) < C^{a,P) < +00. Therefore, for K2 an estimate similar to (1.18)-(1.19) holds and by (1.17)
h
Thus, by (1.1) and (1.13)-(1.16) I
|r?|^+" (izy(C) < + 0 0 ,
where C*(a,/3, po) > 0 is a constant depending only on a, /3, and po- This obviously proves the inclusion / a ( ^ ) ^ Mp {a < p < 1 -{- a) and the equality (1.10), where the integral is absolutely and uniformly convergent in G~. Besides, the mentioned inclusion is true for any P E (0,1 + a), since Mp^ C Mp^ for any Pi > P2- The inequality in (1.10) is valid since the integral in the formula (2.2) of Ch. 2 is nonnegative. By Lemma 1.1, W~^Ia{w) is a continuous superharmonic function in G~ since Ia{w) G Mp {a < p < 1 -\- a). To prove representation (1.12), observe that by (1.10)
152
CHAPTER 8 + 00
IW-'^Iaiu + iv)] du /
-CXI
=n ff di^iC) [ ' J JGJ-\r,\
{\v\-\t\rsign{\v\-t)dt
< I T S //G-I i'l'" •*"«'•=+"= for any v <0. On the other hand, ip{v) -^ 0 as v -^ —0. Therefore, the results of [103] and Ch. 7 lead to (1.12), the latter implies (1.11). R e m a r k 1.1. Using the formula (2.2) of Ch. 2, one can verify that for any w,( e G~ and a > 0 T ^ - log \b^{w, 01 - - ^
/ ' r"-^ log \bo{w, C + iT)| dr.
r(a) Jo This formula permits to write explicitly the measure z^a(C) of representation (1.12). Namely, one can prove that Ua{E) = W-'^uiE) = —— / ^[^j Jo
a''-'^u{E - ia) da
for any Borel set E such that E C G~ (see [Q&\). 2. SUBHARMONIC FUNCTIONS WITH NONPOSITIVE LIOUVILLE PRIMITIVES Definition 2.1. By Sa {0 < a < +CXD) we denote the class of functions U{w) which are subharmonic in G~ and satisfy the following conditions: (i)
U{w) G Mp for the integer p E [a,l -\- a),
(ii)
W-'^uiz)
<0,weG-,
(iii) the associated measure of U{w) is supported in a neighborhood of the origin, (iv) if a = p>0
is an integer, then
I
+°°
'1
df
W-^Ui-it)
-t > -00.
2.1. Our aim is to find Riesz type representations for functions from SaL e m m a 2 . 1 . / / U{w) e Sa {c^>0), then its associated measure u{Q satisfies (1.1) and U{w) = l j
log\ba{w,0\du{0
+ U4w),
weG-,
(2.1)
W E I G H T E D CLASSES O F SUBHARMONIC F U N C T I O N S
153
where U^{w) is a harmonic function of SaProof. Let a > 0, and let J9 be a bounded domain such that D C G~. Then Uoiw) = U{w) - 11
logK{w,0\
dv{Q
is a function subharmonic in G~ and harmonic in D, and by Lemma 1.3 UD{W) e Mp. Therefore W-'^UDiw) = W-^'Uiw) - II
PF-^log|6a(^,C)l ^KC), ^ e G",
(2.2)
by Lemma 1.2, and consequently W^Uoiw)
<- j j
M/-"log|6a(u;,C)| dv{0 =
VD{W),
where VD{W) is a nonnegative superharmonic function, as proved in Lemma 1.3. The representation (1.12) yields sup / v
[W-''UD{u^iv)]'^
du < 27r / / |r/| dv^iQ < +oo. J Jo-
in the same way we obtain ^hm^ /
[W-'^UDiu + iv)y
du = 0.
Consequently, W~^UD{W) < 0 in G~ by Theorem 1.1 of Ch. 7 (see also Remark 1.2 after that theorem). By (2.2) VD{W) < -VF-"C/(^) {w G G"). But the measure z/(C) vanishes when \(\ is large enough, for example when ICI > R^. Therefore the representation (2.2) of Ch. 2 gives
>-^Rjh^) IIy*° ""•(>• Exhausting G~ by means of finite domains D we arrive at (1.1). Further, defining U^{w) by (2.1) and using Lemma 1.3 we obtain U^{w) G 5^. This completes the proof since our assertions are obvious when a = 0. 2.2. We are ready to prove our main theorem on descriptive representations of classes Sa-
154
CHAPTER 8
Theorem 2.1. The class Sa {0 < a < +oo) coincides with the set of functions representable in the form
_ R e n i ± i a e - . f O « ) r ^ ^ ,
„,G-,
(2.3)
where u{Q is a nonnegative Borel measure in G~, supported in a neighborhood of the origin and such that
IL I
|Im Cl^^° du{0 < +00,
(2.4)
'G-
while fj.{t) is a nondecreasing function for which '•+°°
J
^
dii{t) , ,,^
< +00.
(2.5)
—<
Proof. Let u{z) G Sa (0 < a < +oc). By Lemma 2.1 the measure associated with U{w) satisfies (2.4) and U{w) is representable in the form (2.1), where C/*(i(;) G 5a is a harmonic function. Using Theorem 3.5 of Ch. 3, we conclude that U^{w) can be written in the form of the last integral of (2.3), where /x(t) satisfies the mentioned conditions. Conversely, let U{w) be representable in the form (2.3)-(2.5). Then using Theorem 3.5 of Ch. 3 we conclude that the last integral in (2.3) is a harmonic function of Sa- At the same time, by Lemma 1.3 also the first term on the right-hand side of (2.3) is a function of ««• Hence U{w) G SaRemark 2.1. Using Lemma 3.3 and formula (2.10) of Ch. 1, we find that the inclusion U{w) e Sa (0 < a < +oo) implies that iov w = u-hiv E G~
W--u{z) = f[
W--logK{w,C)\
duiO + l r V ^ j f e l '
(2-^)
J JG^ J-oo (^ - t) + ^ where u{() and fi{t) are the same as in representation (2.3)-(2.5). By (1.12) ioT w = u-\-iv £ G~ W-- u{z) ^ jj^
log |6o(«;, 01 du^iO + I f ^
(u-t)*\v^'
^^'^^
where i^aiC) is some nonnegative Borel measure in G~, satisfying (2.4) for a = 0. Remark 2.2. Consider the class Sa {0 < a < +oo) of those functions subharmonic in G~, which are representable as differences of two functions of s^Evidently Sa coincides with the set of those functions U{w) subharmonic in G~, whose Liouville a-primitives (in imaginary variable) are representable in the form (2.7), with measures Ua{C) from certain class, while fi{t) is the difference of any two nondecreasing functions satisfying (2.5). This representation describes a subclass of functions which are subharmonic and have nonnegative harmonic major ants in G~.
W E I G H T E D CLASSES O F SUBHARMONIC F U N C T I O N S
155
3. THE GROWTH OF FUNCTIONS FROM S^ 3.1. We aim at proving T h e o r e m 3.1. 1°. The class 5a (0 < a < +oo) coincides with the set of those functions u{z) G Mp {a < p < 1 -\- a) subharmonic in G~, which satisfy the conditions liminf^ /
\W-'^U(Re-'^)\sm^d^ \W-'^U(u + iv)\
= 0, T-nTT
< +00,
(3.1) (3.2)
and associated measures of which are supported in the neighborhood of the origin. 2°. / / U{w) e Sa {0
-^ /
+oo), then \W-'^U(Re-'^)\sin^d^
i?->+oo R JQ ^
The function iJL{i) in the representations (2.3)-(2.4) found from the relations fi±{t)=
lim /
\W-''U{u
= 0.
(3.3)
o,nd (2.6)-(2.7)
can be
'
+ iv)]'^ du,
-/i(t) = / i + ( t ) - / i _ ( t ) ,
(3.4)
where the functions fi±{t) are nondecreasing and satisfy (2.5). If lJ±{t) are recovered by (3.4), then for any [a, 6] C (—oo,+oo) and for any function g{x) continuous in [a, b] \mi I
[W-'^Uiu + iv)]^ g{x)dx=
f g{u)dfi±{u).
(3.5)
t/(2
•/ a.
Besides, lim P
[W--U{u-,ivt
.
, t .
-
r
T-%T?^-
(3.6)
R e m a r k 2.3. Evidently, U{w) G 5a (0 < a < +oo) implies U{w) G Sa if and only if one of relations (3.4)-(3.6) gives /J^-{t) = 0 (—oo < t < +oo). If both /j.±{t) = 0 then U{w) is precisely a Green type potential. 3.2. To prove Theorem 3.1, we need the following lemma. Lemima 3.1. Let a>0 and let U{w) G Mp {a
156
CHAPTER 8
Proof. Let p < 0 be any number. Then the function Up{w) = U{w) - j j
\og\ho^{w,s)\ dv{s)
is harmonic in G~ and is of Mp by Lemma 1.3. By the same lemma, W-'^Upiw) = W-"" u{z) - 1 1
W-""log\bc,(w,s)\
dv{s).
is harmonic in G~. Writing the difference of two Poisson representations of : \w\ < RQ} and in G-{R) {R>Ro> i?*), W-'^Upiw), in G-{RQ) ^{weQwe arrive at the equality
r[
^-a^(^)^^P,i^o(C^)|^^|^ weG;{Ro), (3.7)
'^^ JdG-{Ro)
where
ipA^^s) = ^f
w--\ogK{C,s)\ ^^^'^^^-^Vci {R = Ro.R)
and QP^RQ, Qp^R are the Green functions of G~{Ro) and G~{R). We conclude that IP^R{W,S) — IP^RQ{W,S) > 0 when w G G~{RQ) and 5 G G~, since W~^\og\ha{C,^s)\ is subharmonic in G~ for any fixed s G G~. Now assume that i? and RQ {R> RQ > R^) are such that / \W-''U{Re-'^)\smddd<^oo Jo
{R =
RQ,R).
By Lemmas 2.1 and 2.2 of Ch. 7, the right-hand side of (3.7) remains bounded for a sequence p = pnt ^' Hence, by Fatou's lemma / / liminf [/p,ii(if;,5) J J^-^ p ^ - o
IP^RQ{W,S)]
dv{s) < M{w) < +oo,
where M{w) > 0 is a constant depending only on W^RQ and i?, while po < 0 has sufficiently small modulus. Letting here po -> —0, we obtain / /
liminf [/p,i?(if;,5) - Ip^R^{w,s)\ dv{s) < M{w) < +cx).
(3.8)
157
W E I G H T E D CLASSES O F SUBHARMONIC F U N C T I O N S
But for any R> 0 there exists
p->-0
C—w
^T^'^JdG-(R) fdG-{R)
C—w
W
W
dC
+
/"llm s\
-|
r ( l + a) J_\ims\ where (see (2.2) of Ch. 2) jR{t,w)
-f
27ri JdG-{R) C - (Re s + it) C ~w
C—w w
+
w
dC
Calculating this integral and returning to (3.8), we arrive at the estimate
+t
L(fi+*)' + (Re.)^ ML + t
dt > du{s) < M{-ivo)
\vo\
< 4-cx),
(S+*) +(^^«)'J where M{—ivo) > 0 depends only on VQ (—i?* < i;o < 0) and i?, i?o- Taking i? sufficiently large, we obtain that u{() satisfies (2.4). 3.3. P r o o f of T h e o r e m 3.1. Let U{w) G Mp be a function subharmonic in G~ and satisfying conditions (3.1), (3.2) for an a G (p — l,p], and let the associated measure u{Q of U{w) vanishes in a neighborhood of infinity. Then u{() satisfies (2.4) according to Lemma 3.1. Therefore the function U.{w) = U{w) - I I is harmonic in G'. W-''U.{w)
log Kiw, 01 di^iO
By Lemma 1.3, Ut{w) E Mp and = W-" u{z) - I I
W"' log \ho.(w, 01 dzy(0
is harmonic in G~. Besides, this function satisfies (3.1) and (3.2) since W~''lo.{w) = ' 1 1
W " " log K{w, 01 du{0
(3.9)
158
CHAPTER 8
satisfies (3.1) and (3.2). Moreover, the representation (1.12) implies that Km
^f
W-'^lJRe-'^)sm^di} = 0
(3.10)
and + 00
W-''Ia(u-\-iv)du = 0.
/
(3.11)
-oo
Hence, by Theorem 1.1 of Ch. 7 W--U4w) = - f ^ ,
'^^}^^ , ,
w = u^-iveG-,
(3.12)
where ii{t) is the measure determined from relations (3.4) and satisfying (3.5), (3.6). In addition, (3.3) is obviously true. Applying ^ V F - ^ ^ - " ) to both sides of (3.12) and using the results of Ch. 1, we obtain a representation of the form (2.3). Therefore, Theorem 1.1 leads to the conclusion that U{w) G SoL' Conversely, by Remark 2.1, for any U{w) G Sa the function W~^ u{z) is representable in the form (2.6). Now relations (3.3) and (3.6) follow from (3.10), (3.11) and Theorem 1.1 of Ch. 7. NOTES. The inversion z = w" ^ transforms our requirement on boundedness of the support of associated measures in classes Sa and Sa to the requirement that the supports of measures are disjoint from the origin. This is a natural requirement for the classical Blaschke product with factors of the form (1 -z/(!^)/ (1 - z/Q in G"*" and its generalizations.
CHAPTER 9 FUNCTIONS OF a-BOUNDED TYPE IN SPECTRAL THEORY OF NON-WEAK CONTRACTIONS
1. FACTORIZATION OF REGULARIZED DETERMINANTS 1.1. For any p > 1 we denote by Cp the class of continuously invertible contractions T in a separable Hilbert space 53 for which the operator Dj^=I — T*T belongs to the Neuman-Schatten ideal 6p. The set Ci coincides with the class of all invertible weak contractions [104]. We define the characteristic function WT of the operator T as in [12]: WT{Z)WT{0)
WT{0)
= [/ - DT{I
- ZT)-'^DT]
= (r*T)i/2 I S T ,
I ST,
VT = DTS).
It is easy to verify that the operator-function Wj^{'z) differs from the characteristic function @T{Z) of B.Sz.-Nagy and C.Foias [104] by a constant isometric factor. Let us recall from [104, 12] that WT{Z) is holomorphic in \z\ < 1, where its values are two-sided contractions in 2 ) T , i.e. W>J^{Z)WT{Z) < I and WT{z)Wf{z) < / in \z\ < 1. Since / - W^\0)
= W^\0)
[(r*T)i/2 - /
\^i
= W f i ( 0 ) [ / + ( T * T ) i / 2 ] ~ \ r * T - / ) |S)T and
I - WT{Z)
= I-
W^\0)
+ DT{I
- zT)-^
DTW^\0)
operator / — WT{Z) belongs to &p for any z ^ a{T~^). the regularized determinant driz) = detpWriz)
= Y[Xk{z)expl k
^
, DT
-:[1 - Xk{z)y
^ 3=1 ^
e 62p,
the
Hence for each p > 1
(1.1) J
is holomorphic wherever the operator-function WT is holomorphic [37, Ch. IV]. In (1.1), {Xk{z)} is the set of eigenvalues of the operator WT{Z). Further, the functions VT = detpWT{z)Wf{z) (1.2)
160
CHAPTER 9
will play an important role, and one can state that formulas (1.1) and (1.2) give a correspondence between the operators T e Cp (where p is a natural number) and the functions (IT and 7>T which are holomorphic in |z| < 1. 1.2. The main result of this section states that (IT and J>T both belong to M.M.Djrbashian's class Na [19, Ch. IX]. As it is well known, the functions (IT and J>T are bounded in |2:| < 1 if p = 1. For the general case we have T h e o r e m 1.1. If p > 2 is an integer and T G Cp, then the holomorphic functions (IT and T>T belong to Np-i^^ for any e > 0. For proving this theorem we need L e m m a 1.1, If p > 2 is an integer, then for 0 < r < 1 i- / ^^
\\DT{I-zT)-'DTrp\dz\
< (l-r)-(^-i)p|.||^,
(1.3)
J\z\=r
where \\ • ||p is the norm in &p. Proof. First, suppose p = 2^ {k > 1). By the elementary properties of eigenvalues (A^) and singular values {sj) of compact operators [37, Ch. II] \\DT{I - ZT)-'DT\\1
= Y. s f '
{DT{I - ZT)-'DUI
-
ZT*)-'DT)
3
= J2 ^T i^Til - ZT)-'DUI - ZT*)-^DT) 3
= Y, Af' {Dl{I - zT)-^Dl{I
-
zT*)-')
3
< Y ^T i^Tii - zTr'DUi - zT*r') 3
3
<{l-rrP/'\\DUl-zT)-'Dm/;^
{\z\=r).
Using these relations k — 1 times we get \DT{I
- ZT)-'DT\\1
< ( 1 - r ) - ^ n ; . ' 2"' \\Dl'-' (/ -
=
fc-1
zXy^D^ 2
il-r)-^P-^)\\Q{I-zTr'Q\\l, 2
•
||2
2
FUNCTIONS O F Q-BOUNDED T Y P E IN ...
161
where Q = DZ! . Further,
/
\\DTiI-zT)-'DTt\dz\
J\z\=r
P
oo
= 27r(l - r)-(^-2) ^Sp(QT^'Q2(T*)^Q)r2^' 3=0
since
|2 = Sp(0(7 - zT)-'Q\l ||Q(J - zT)-iQ||2'
-
zT*r'Q)
= J2 Sp{QT^Q^{TyQ)z^z''. j,k>0
Recalling that Q = D^' , we get
Hence (1.3) holds for p = 2^ {k > 1). Note that the above argument remains vahd if we replace DT by any normal operator G with the spectral decomposition i
i
We shall use this later. Returning to the proof of (1.3), for any p > 2 we shall use the well known Hadamard theorem on three lines and some techniques similar to one worked out in the proof of the Riesz-Thorin theorem on interpolation of operators [7]. First note that if the values of a function F{ip) are in &p, then TV
sup G
/
\
(
f^
1 ^^^
^ sp{F{,f)G{^)}dcp]^ = |y_^ m^w^d^j
,
where the supremum is taken over all ©^-valued functions G{(p) for which
\\G{^)\\ld^ = l,
(1.4)
1 + 1 = '^-
J —t
Of course, we presupposed that F and G satisfy the standard requirements providing the existence of the integrals in (1.4). It is easy to verify that (1.4) is an immediate consequence of the precise estimate |Sp{FG}| < ||i^||p||G||q (see [37]) and Holder's inequality.
162
CHAPTER 9
For interpolating the inequality (1.3) (already proved for p = 2^~^, 2^) for all p G [2^~^,2'^], denote po = 2^"^, pi = 2^ and similar to the proof of the Riesz-Thorin theorem set 1 1— z z 1 1— z z 1 1 . / . ^ . x P{z) Po P i ' q{z) qo Qi' Pj Qj and for any n > 1 consider the operator-function ri
_p_
_ ^
n
k=l
j=l
where l/p-\- 1/q = 1 and {ek}, {%(v^)}> {'^i(^)} ^^^ some weak measurable orthonormal sets of vectors, 5^ > 0 and aj{(p), [djiy^)]"^ are nonnegative, bounded, measurable functions. In addition, we suppose that
X:sf = l
and
rJ2a%v)d^
fc=i
=l
•'-'^j=i
for any fixed n > 1. Now introduce the entire function fr{z)
= ^
f
Sp{^niz){I-re"'T)-^^n{z)Gn{
k,m,j=l
wheie Pk,m,j{^) = {ek,Vj{(f)){uj{(p),em){{I - re^'^T) ^6^,6^). The inequality (1.3) is true for p = po and for the normal operator $n(^)- Consequently 1/PO
\Miy)\ <
(27^)^-'!^^Ij\^n{iy)il-re'^T)-'^niiy)\Zld^'^ r
\
p-K
l/qo
<(27r)-i||$^(i2/)||^^(l_^)-i+i/Po|^j|Gr„(^,iy)||^orf^ 2p
=(27r)-i|X:
Po >j 1/po
go
(l-r)-
af^\^) 1 1/90
^27r)-^^.f
(1-r)-^
i/go
/
0
>j 1/go
y
_ ^
5 ] a ((/:?)d(yi? ^ = [27r(l - r)] ^o.
Takings = pi we similarly come to the inequality \fr{l-{-iy)\ < [27r(l—r)] ^/^^. Consequently, \frW\
< [27r(l-r)]""^~^,
0 < ? ? < 1.
163
FUNCTIONS O F Q:-BOUNDED T Y P E IN ...
Now let p e (2^ "^,2^) be arbitrary and let the corresponding T? G (0,1) be chosen from 1
1-1?
p
po
- =
^
+-, Pi
1
1-7?
q
go
- =
7?
/I
1
Qi
\p
q
+-
\
- +- =1 . J
Then obviously n
^nW
= Y^Sk{'
n
,ek)ek,
Gn(^,^) = ^ a j M ( . ,Vj{cp))uj{ip)
k=i
(1.6)
j=i
and therefore ^)]d^ < [27r(l-r)]
•^ j ^ Sp{$n(7?)(/ - re'^Tr^^nmOni^,
-i/q
for any n>\ and any functions 0n('^), Gn{^,'&) satisfying (1.5). Using this inequality and (1.4) instead of the first condition of (1.5), we get ^
fj^nWil
~ r e ^ ^ T ) - ^ ^ 4 ^ ) | | > < 11^^(^)11^ (1 - r) - ( p - i )
At last, taking as $n(^) the n-th sum of the Schmidt series of the operator DT and letting n —> oo we come to (1.3). P r o o f of T h e o r e m 1.1. Using a simple inequality for regularized determinants [31, Ch. XI, Sec. 22], from (1.1) we get log+ M T ( ^ ) | < mp\\I-WT{z)\\P {\z\ < 1). Therefore log+ \dT{z)\ < 2^M,{\\I
- Wi;\0)r,
+ \\Wi;\OW\\DT{I
-
ZT)-'DT\\I],
Consequently, by (1.3) /
D-^log+ |^T(re^'^)|^^ = Z ) - ^ | /
log+ \dT{re'^)W^^
Ci+C2(l-r)-^+i
for any a > p - 1. Hence dr G A"^ {a > p - 1). To prove that T>T G ^4° for any a > p — 1, observe that log+
\VT{Z)\
< Mp\\I -
WTiz)W}{z)rp
< 2PMp{||/ - WrizWp + < Ci + C2{\\DT{I
- zTr'Drr^
\\I-WS{z)\\p} + \\DT{I
-
zT^r'DTFp}.
164
CHAPTER 9
Application of (1.3) completes the proof. Corollary. If p > 3 is an integer, T e Cp and I — T'^T G Got for some a ^\p — l,p); then both (IT and J>T belong to ^ p _ i . Proof. As Lemma 1.1 is true for any p>2, using the above notation we obtain
- zTr'Dr\\;=^s^,
\\DT{I
which even may be not an integer,
= E4'"«i 3
3
<\\DT{I-zT)-^DTr-''Y.''i 3
-
<2^-"\\DT{I
zT)-^DTn.
Hence i- /
- zT)-'DT\\l\dz\
\\DT{I
< ^
^TT J\z\=r
/ ^^
\\DT{I
-
zT)-'DTUdz\
J\z\=r
<2P-"||D2^||^(l-r)-("-^).
Recalling the proof of Theorem 1.1 and using the fact that the class A° enlarges as a increases, we complete the proof. 1.3. The following assertion is another corollary of Theorem 1.1. Proposition 1.1. Let {zk} be a sequence of numbers from \z\ < 1, such that for a given integerp>2 ^ ( l - | z , | f <+oo.
(1.7)
k
Then the products
k
I fe=l •'
fp-l J J2 ^[l - Bk{z)]
Vo{z) = l[Bk{z)exp{
(1.8)
k^i^
k
where Zk — Z \Zk\
bzA^) = --, =1-7-
1 — YkZ Zk
^^^
^k{z) = bzj,{z)bj^{z),
are holomorphic functions in \z\ < 1, which belong to A^_i^^ for any e > 0. Proof. Consider the normal operator T = ^
Zk{'
,ek)ek.
FUNCTIONS OF a-BOUNDED TYPE IN ...
165
in our Hilbert space S^. Obviously, T eCphy (1.7). Further, for z ^ cr(T~^) U a{T*~^) the operators WT{Z) and WT{Z)W>}^{'Z) are normal and the sequences {bzk{z)} and {Bk{z)} are their eigenvalues. Hence ^0(^2^) = driz), ^o{z) = J)T{Z), and our assertion follows from Theorem 1.1. Now we shall check the precision of Theorem 1.1. First, it is easy to observe that the discrete spectrum of an operator T ^ Cp satisfies (1.7). Thus, the functions (IT and T^T in general do not belong to A^ when a < p — 1. For checking this, observe that the set of zeros of dx is the discrete spectrum of T*. Indeed, it follows from (1.1) that driz) — 0 if and only if ;2: = 0 is an eigenvalue of the operator WT[Z)^ and this is equivalent to noninvertability of WT{Z^ since / — WT{Z) G 6 p . On the other hand, applying the equalities T^r(^)W?(^"^) - W^(^-i)Wr(z) - / ,
z^ ai.T''),
\z\ < 1,
(see [104, 12]) we conclude that the operator WT{Z) {\Z\ < 1) is invertible if and only if z ^ a{T*). Similarly, {z^} U {zk} is the set of zeros of 2>T, where {zk} is the set of eigenvalues of T. Thus, if dx (or 7)T) belongs to A"^ for some a < p — 1, then
^(l-|z,|)i+«<+oo k
according to the general assertion on the density of zeros in ^ ° , and these series obviously does not converge for any T G Cp. It is not known weather the functions dr and X>T belong to Ap_i or even to M.M.Djrbashian's more wider class Np-i for any T E Cp. Also, it is not known weather the products do and I^o? constructed by a sequence satisfying (1.7), belong to Np-i. But we can state that there exists a sequence {2^fc}i° satisfying (1.7) and ^(l-|z,|)^-^<+oo k
for any £: > 0, such that do, ^ 0 G Ap_i for the corresponding products. However, we mention that Theorem 1.1 is as much precise as it is necessary for the further assertions. 1.4' Finding factorizations for C?T and J>T, we shall pay the main attention to the function T^T since its factorization will play more important role in our further considerations. First we note that 0<
VT{X)
which immediately follows from
< 1,
- 1 < a: < 1,
WT{X)W'}{X)
(1.9)
< I.
T h e o r e m 1.2. Ifp > 2 is an integer, T E Cp and {zk} is the discrete spectrum of T, then for any £ > 0
V^{z)=i:)o{z)e^^[-^j^
5p_i+,(e-^^z)d^,(i?)|,
\z\ < 1,
(1.10)
166
CHAPTER 9
where ips is a real, continuous function of bounded variation in defined by (1.8) and
[—TT^TT], 2>O
is
5p-i+.(C) = r(p + e ) { ^ 3 - A _ _ i | , Each factor of this representation satisfies (1.9) and if it is assumed that i/jsi—Tr) = 0, then the factorization (1.10) is unique for any s > 0. For proving this theorem we need the following Lemma 1.2. Let A and B be nonnegative contractions and let A = I — XP, where A G (0,1) and P is a one-dimensional orthogonal projector. Ifl—B G &p for some integer p>2, then
sp I E ^ [(^ - ^ ) ' + (^ - ^ ) ' - (^ - ^ ^ ) 1 1 ^ 0-
(1-11)
Proof. First, consider the case when A and B are acting in a finite-dimensional space and B is continuously invertible. Let {A^li', {l^k}^-, and {Z^A;}? be the sets of eigenvalues of the operators A, 5 , and AB correspondingly, numerated in decreasing order (note that the spectrum of AB is positive). It is well known [35, Addition] that TTl
771
n
n ^J ^ n ^^N 3= 1
(1 < m < n - 1) and
3= 1
71
H ^^' "" 11 ^^N3= 1
3= 1
In terms of these sequences, the inequality (1.11) takes the form n
p—1 ^
3=1
k=l
Observing that
3 = 1 k=l n
"^ \
= ^ ( l o g A,- + log iij - log I/,) - - log H - ^ 3=1
3=1
- 0,
^3
we conclude that (1.11) is equivalent to
EEfc{(i-^^)' + (i-^i)'-(i-'^i)'}^o3 = 1 k=p
(1-12)
FUNCTIONS O F Q-BOUNDED T Y P E IN ...
167
Now set ^(t) = f {I- e-'^y-^dx, Jo
0
+CX),
Thus, denoting — log Aj = aj, — log/ij = bj and — loguj = Cj {I < j < n) one can write (1.12) in the form
3=1
i=i
As A = I — XP, where P is a one-dimensional orthogonal projector, we have ai = a2 = ''' = ctn-i = 0, an = — log(l — A) and also m
>.
/ m
^bj
= -log( YlfiA
y m
\
<-log(Y[uj]
m
=J2^J^
1 <m
and an + Zlj=:i ^j = S j = i ^J- Consequently
f]{$(c,) - ^bj)}=j2 r ^^ - ^"')'"'^^' 3=1
3=1 -^^^
where Cj > bj (1 < j < n) and Cn > an since for each fc(l < fc < n) we have i^k < Xk and Uk < /J^k [35, Addition]. Note that at least the first n — 1 intervals {^3^ ^j) (1 ^ J < ^ — 1) are disjoint. Indeed, let C be the Hnear hull of those eigenvectors of AB, which correspond to the eigenvalues ^'l, z/2,.. • , ^j-i, and let P = (• , e)e. Then, using the minimaximal properties of eigenvalues [37, Ch. II] we obtain that
(ABx.x)
Uj — max —
(Bx,Ax)
r— > max —
(Bx.x)
r— = max —
r^ > //j+i
for any j ( l < j < n — 1). Thus Cj < &j+i. Further,
3=1
73=1"^^^ = 1 ^^3
> r\l-e-^r-^dx Jo
= ^{an)
168
CHAPTER 9
since {bj, Cj) (1 < j < n) are disjoint and the sum of their lengths is a^. Thus, we proved (1.11) under the assumption that A and B are acting in a finite-dimensional space. It is clear that (1.11) is valid also when B is not invertible. For proving (1.11) in the general case, observe that in virtue of the formula detpAB
={detpA){detpB) x e x p | - S p (j2l[{I-A)'-^{I-B)'-{I-AB)']^^
(1.13)
and other simple properties of regularized determinants [37, Ch. IV] the lefthand side of (1.11) depends on the operators I — A and I — B continuously in the ©p-metric. Consider a monotonely increasing sequence of orthogonal projectors {Pn}T which strongly tend to / and PnA = APn (n > 1). As (1.11) is already proved for An = PnAPn and Bn = PnBPn, letting n -> oo we come to (1.11) in the general case. 1.5. Proof of Theorem 1.2. As we have proved, {zk} U {zk} is the zeroset of the function X>T which belongs to Ap_-^_^^ for any e > 0. In virtue of Proposition 1.1, also the product !Do constructed by the sequence {zk} belongs to Ap_i_^^. Hence the function 'DT{Z)/'DQ{Z)^ which has no zeros in \z\ < 1, belongs to A'^_ij^^ for any 5 > 0, and consequently it allows the representation
VT{Z)/V^{Z)
= e'^^ e ^ p { - ^ f
Sp-i+e{e-'^z)dM^)V
|z|
where Im 7^ = 0 and i/^e is a real-valued function of bounded variation in [-7r,7r] [19, Ch. IX]. In this formula 7^ = 0 since X>T(0),X>O(0) > 0. Thus (1.10) is true. For proving that -0^ is continuous, observe that log ( P T / ^ O ) is holomorphic in |2:| < 1 and hence it can be expanded in a power series: 00
log {VT{Z)/VO{Z))
= ^ 4 ^ ^
\z\ < 1.
A;=0
On the other hand, using the power expansion of the kernel 5p_i+£ we find
Hence
169
FUNCTIONS OF Q-BOUNDED TYPE IN ...
As the same equality is true for any ei G (0,6:), we have \dk\
Tjl + k)
^1
-iM
r ( p + 5 + fe) TT
#.iW
Tip + £i + fc) T{p + e + k)
0(1)
as fc -> cxD, i.e. the Fourier coefficients of V^e tend to zero and hence '^^ is continuous on [—7r,7r] [122, Ch. Ill] (note that more might be said on the differential properties of t/^e). The uniqueness of the function ijje follows from the results of [19, Ch. IX]. Moreover, the following inversion formulas are true:
V^(±) . (^2)
- ^ f ^(^i) = ^Hm J j ^ rD"" . - a .log .J^T(re^^)
(1.14)
M,
'0^(^) :='0(+)(^)-'0(-)(^) (-7r<7?i<^2<7r, - 7 r < ' i ? < 7 r ,
a=p-l-\-e),
where ijje {'&) are nonnegative, continuous, increasing functions defined as the positive and the negative variations of ijje on [—TT,-??]. Finally, we shall show that each term of the factorization (1.10) satisfies (1.9). It is well known [12] that to each invariant subspace S)i of the operator T, on which T is invertible, corresponds a factorization of the characteristic function: WT{Z) = WI{Z)W2{Z), (1.15) where Wi and W2 are holomorphic contractions in |z| < 1. Now, let zi be the first eigenvalue of T, Tei = ziei, ||ei|| = 1 and let ^ 1 be the one-dimensional invariant subspace born by ei. Then by (1.15) and (1.13) VT{z)^detp[Wi{z)W2{z)W^{z)W^{z)] =
= detj,[W^ {z)Wi{z)W2{z)W^
{z)]
det^[W^{-z)Wi{z)]det^[W2{z)W^{-z)]
xexp|-Sp(X^i[(/-A)^ + ( / - 5 ) ^ - ( / - A B ) ^ ] ) | ,
(1.16)
where A = Wi{j)W\{z) and B = W2(-2^)1^2*(^)- For finding the elementary factor corresponding to zi, note that detpW^{z)Wi{z)
=
detpWi{z)W^{z)
and use the well known formula [12] Wi{z)W^{z)
= 7 - (1 - Z^)DTPI{I
-
zTi)-\l-ZT^)-^PIDT,
where Pi is the orthogonal projection on i j i and Ti =T\S)i. (1 - \zif)h (7 - zTiy^h
= (7 - Ti*Ti)/i = Pi (7 - T*T)Pih = = (7 - zzi)-'^h
and
As
PiD^Pih,
(7 - zT;;)-'^h = (1 -
zziy^h,
170
CHAPTER 9
for any h e S^i, we conclude that the spectrum of the operator Wi{z)Wi {"z) coincides with the spectrum of the operator / - (1 - z'^){I - zTi)-\l = I-{1-
-
-zT^y^PiDlPi
z^){I - zz,)-\l
- zzi)-\l
- |zi|2)Pi
having only one eigenvalue Tyi{z) that differs from 1: vx{z) = \ - {l-z^)il-\z^\^) {\ - zz{){\ - zz{)
_{z-z^){z-z^) (}. - zz{){\ - zzx)
= h.,{z)h-,,{z) = B^{z). Therefore, obviously r pp--ii - .
detpT^i(z)l^i*(^) = ^ i W e x p ^ E ^ [ l - ^ i ( ' ^ ) ] ' \3 = ^ 3 is the desired elementary factor. Further, denoting as ^/c(>3) the elementary factor corresponding to z^^ by (1.16) we obtain VT{X)I^X{X)
< detpW2{x)W^{x),
- 1 < X < 1.
(1.17)
Here we used also (1.11) with A = W^{x)Wi{x), B = W2{x)W^{x), which, as one can easily verify, satisfy the conditions of Lemma 1.2. Since W2 is also a characteristic function of a contraction from Cp [12], the above argument is applicable for X>2(^) = detpW2{z)W^(z). By (1.17) this gives 0 < 'DT{x)/[^i{x)^2ix)]
< detpW3{x)W^{x)
< 1,
- 1 < a: < 1,
since W3 is a holomorphic contraction. Taking away the zeros oiT>T in this way, we come to the desired statement, and the proof is complete. The following question naturally arises: in which case the exponential factor in (1.10) is absent? The answer is given by Proposition 1.2. Let T he a completely non-unitary contraction from Cp (p > 2). Then its regularized determinant T>T is exactly the product T^o of (1.10) if and only ifT is complete and normal. We omit the proof of this statement since it will not be used in the future. Note that, as it was stated in the proof of Theorem 1.2, each discrete factor of the factorization (1.10) is a regularized determinant constructed by a divisor of the characteristic operator-function WT^ corresponding to an eigenvalue of T. So, the considered Blaschke-type factors have a definite spectral interpretation and their application is reasonable in operator theory.
FUNCTIONS O F Q;-BOUNDED T Y P E IN ...
171
In [19] M.M.Djrbashian used Blaschke-type factors of different form, which permit to obtain inversion formulas (1.14) without division by I>o- Note that products of nearly same type as in (1.10) were introduced in the early works of M.M.Djrbashian [16, 17].
2. BOUNDARY BEHAVIOR OF REGULARIZED DETERMINANTS In this section we find a connection between the behavior of the function J>T near the boundary point z = 1 and some spectral properties of operators T G Cp. Namely, our aim is to prove Theorem 2.1. Let p > 2 be an integer, let 1 be not an eigenvalue for an operator T E Cp and let 7>T be the regularized determinant (1-2). Then the following statements are equivalent: (i)
DTS^ C (/ - T^)9)
(ii)
sup
and
{I - T*)-^DT
G 62^;
{l-r)-^\\I-WT{r)W^{r)\\p<+oo;
0
(iii)
sup (1 - r)-P[l - Drir)] < +00; 0
(iv) if {zk} and i/js are the parameters of the factorization (1.10), then E f h l ' ^ ' I ' V < + ° ° '^'^d r
5 p _ i + , ( e - ^ ' ' r ) # e W = 0 ( ( 1 - rf)
(2.1)
as r -^ 1 — 0; (v) the following limits exist lim (1 - r)-n\I
- WT{r)W^{r)\\P,
r—>-l—0
^
hm ( 1 - r ) - ^ r r-^l-O
lim (1 - r)-^[l - D r ( r ) ] , 7—>-l—0
Sp.i^e{e-'^r)dM^)'
J_^
Moreover, if any of statements (i) - (v) is true, then 11(7 - TT'DTWZ
= 2 - ^ lim (1 - r)-^I
- T^T(r-)W?(r)||^
= p2-P lim (1 - r)-P[l - VT(r)]
= T.{]^)\W
- '^"2^ £ Vi+.(e-*^)#. W- (2.2)
2.1. The following lemmas are to be used for proving Theorem 2.1. L e m m a 2.1. //(ii) is true, then I \ogVT{r)\
< Mp\\I - WT{r)W^{r)\\l,
0 < ro < r < 1.
(2.3)
172
CHAPTER 9
Proof. From (1.1) it follows that oo
^
oo ^
I logI?T(r)| = E E 7(1 - ^'^W]' = E [ l - ^^'WF E 7[1 - ^A,(r)F-^ /e j = p "
J=p"^
where {Afe(r)} is the set of eigenvalues of the operator WT{r)Wj^{r). if r is sufficiently close to 1, then E [ l - Mr)r
Further,
= 11/ - Wr(r)Wf (r)ll^ < M ; ( 1 - r f < 5 < 1.
Thus 1 — Afc(r) < VS for each fe, and we get I logI>T(r)| < b ( l - ^ ) ] " ' E [ l - ^fc(^)]'' = ^pll-^ - ^T(r)W?(r-) \'pL e m m a 2.2. T/ie following assertions are equivalent: (a)
(b)
sup(l-r)-^[l-l^o(r)]<+oo, 0
^ ( i l l M y ^V|l-^A:r/
<+oc.
Proof. If (a) is true and r is sufficiently close to 1, then clearly 1
I
"^ 1
' k
j=p
|logX>o(r)|
n
Y^{l-r)-P[l-Bk{r)r
for any n > 1. As dr
Bk{r]
letting r ^ 1 — 0 we get
t{}0tr.. Zk
which implies (b) by arbitrariness of n > 1. Conversely, if (b) is true, then observe that l-B,{r)=^-^—p^^—p^ |1 - Zkr]''
and
\1 - z^rl >2-'\l
- Zk\
FUNCTIONS O F a-BouNDED T Y P E IN ...
173
for I^A;! < 1 and 0 < r < 1. Hence
(l-r)-.|l-B.(r)l=(l + r ) l ^ < 8 l ^ and by (b) J2[l~Bk{r)r
Consequently \\ogVo{r)\<M^Y}^-Bk{r)r, k
and finally we come to 1 - X>o(r) < | logX>o(r')| < (74Mp(l - r)^. Lemma 2.3. If the statement (i) of Theorem 2.1 is true, then s4im (/ - T ) ( / - rT)-^ = I
s4im (/ - T*)(/ - rT*)'^
and
1—)>1—0
= I,
r-^l—0
Proof. One can easily verify that the left relation holds if s4im (1 - r)(J - rT)-^ = 0.
(2.5)
1—)>1—0
To prove (2.5), note that for every h G 9) \\{I-rt)-^DTh-{I-T)-^DTh\\
< \\{1 - r)T{I - rT)-^{I <
Consequently, lim (l-r){I-rT)-^DTh
-
T)-^DTh\\
\\{I-T)-^DTh\\. = 0 and lim {l-r){I~rT)-'^f
1—>-l—0
=0
r—>-l—0
for any vector / of the form n
f=Y.
T'^Drhk,
n > 0, {kkjlr. C Sj.
k=—n
As 11(1 - r){I - rT)-iII < 1 (0 < r < 1), (2.5) holds if T is completely nonunitary [104, Ch. 1]. The relation (2.5) is true also in the case when T has a unitary component U. Indeed, 1 is not an eigenvalue for f7, as it is not an eigenvalue for T. Therefore, by the spectral decomposition of U s4im (1 - r)(I - rU)-^ = 0 . 2.2. P r o o f of T h e o r e m 2 . 1 . For proving (i) =^ (ii), we use the following well-known equalities for characteristic operator-functions [104, 12]: Wr(r/)W?(0 = / - ( ! - vODril - vT)-\l W^iOWriv) _ _ = / - {l-'n£,)W:^^{Q)DTT*{I - iT*)-^{I
-
1,T*)-^DT,
(2.6) - »7T)-iT£>TWf 1(0).
174
CHAPTER 9
Hence / - WT{r)W^{r) and consequently
- (1 - r'^)DT{I ~ rT)-\l
(1 - r2)-i||7 - WT{r)W^{r)\\r, =
- rT'^y^Dr
- rT)-\l
\\DT{I
=
-
(0 < r < 1) rT^'DrW^
\\iI-rTn-'DT\\l.
On the other hand, II(/ - rT^r^Dr
- (J -
T^)-^DT\\^^
<(i-r)||(/-rr*)-i||.||(/-rT'i^T||2,<||(/-n-^i^T||2,. Thus, ||(/ - rT*)-iJ9T||2p < C < +00 (0 < r < 1), and (ii) holds. (ii) => (hi). By Lemma 2.1, for ro < r < 1 1 - -DTir) < I logX>T(r)| < M^\\I - WT(r)W?(r)||^ < M'^{1 -
rf.
(hi) ^ (ii). If {\k{T)} is the sequence of eigenvalues of the nonnegative operator WT{T)Wj^{r)^ then 1 ^
I k
\ k
"^ 1
- I log X>T(r) I
j=p'^
< M[l - Vrir)]
< M i ( l - rf,
and it suffices to see that ||/ - WT{r)W^{r)\\P = J ^ J l (ii) => (i). From (ii) it follows that for ro < r < 1 (1 - r)-^\\I - WT{r)W^{r)rp
(1 - r)-^I
0 < r < 1, M^W-
- W^{T)WT{r)\\l < K.
Therefore, using the formulas (2.6) we obtain ||(/ - vT^r^Drhp
< Ku
\\T{I - rT)-'DTW^\0)hp
< Ki
and moreover sup | | ( / - r r * ) - i D T / i | | 2 p < H - o o
and
0
sup \\{I - rTy'^Drh\\
<+oo
0
for any vector h E'DT- Since 1 is not an eigenvalue for T, we have DT9)C{I-T*)S)
and
DT^C{I-T)S)
(2.8)
by the well-known theorem of B.Sz.-Nagy and C.Foias [104, Ch. IV]. Besides, by the same theorem the following strong limits exist: s4im (/ - rT*)-^DT r—>1—0
= {I - ry^Dr,
s4im (I r—>1—0
VTY^DT
= {I -
T)-^DT,
FUNCTIONS OF a-BOUNDED TYPE IN ...
175
and using (2.7) we come to the inclusions [37, Ch. Ill] {I-T*)-^DTee2p
and
{I-T)-^DT
eG2p
(2.9)
which mean that (i) is true. For proving the equivalence (iii) <^ (iv), we denote the exponential factor in (1.10) as G{z) and observe that (iii) is equivalent to the following pair of conditions: sup (1 - r)-^[l - X>o(r)] < +oo,
sup (1 - r)-^[l - G(r)] < +oo. (2.10)
0
0
The last condition obviously is equivalent to the second condition of (2.1). Therefore, application of Lemma 2.2 proves the equivalence (iii) 4^ (iv). (i) ^ (v). By Lemma 2.3, s4im (/ - T*)(/ - rT'')-^! s4im (J - T){I - rT)-\l
- T*)-^DT
= {I -
T'^y^Dr,
- T)-^DT
= (I -
T)-^DT-
r—>1—0
Consequently [37, Ch. Ill] ^hmJ{I-rT)-^DT-{I-T)-'DT\\,^
=
^i4Y'J^I-rTT'DT-iI-T*r'Dr\\,^=^0,
and by the equalities (2.6) lim \\{I-rT*)-^DT\\l
= Hm (1 =
r^y^ll-WT(r)W}{r)\\
\\{I-T*)-'Dj
\2p'
Further, if {Xk} is the set of eigenvalues of the operator WT{t)Wj^{r), using the already proven equivalence (i) <^ (ii) we obtain
then
oo
lp+1 k
j=p-hl
•"
^
' ^
k
= C'\\I - WT{r)W}{r)\\
. \\I -
WT{r)W}{r)\\l.
176
CHAPTER 9
Thus, by (ii)
^(l-r)-4logA,(r) + X:7[l-A.(r)FJ
{l-r)-P\logVT{r)\ oo
.
= E E 7(1 - '•)"''[i - ^-^ wi' = E ^(1 - ^)"'ti - ^*= w]' k j=p-'
k p
00
^
+ E E 7(l-0-"[l-A.(r)F = i ( l - r ) - P | | / - W r ( r ) W ^ ( r ) | | ^ + o(l)
as r - > 1 - 0.
Now (2.11) implies the existence of the hmits lini
^-^TJr)
r->l-0
{l-r)P
^
j . ^ r->l-0
llog'DTir)] ^ ^.^ 11^ - ^ T ( r ) W ^ ( r ) ||g (l-r)P
r ^ l - 0
(1 - r ) ^
Similar to the above argument (but Bk{r) taken instead of A^), we prove that p lim ( l - r ) - P [ l - X > o ( r - ) ] r—^-l—0
lim V ( l - r)-^[l - 5 , ( r ) f , r->l—0-^—' A;
and using the factorization (1.10) and Theorem 2.1 we obtain ,. 1-I?r(r) ,. I-Voir) p lim -^r— = p lim -7- r r-^1-0
(1—r)P
r-»l-0
[l—r)P
, ,. 1 - G{r) h p lim -7- r—. r-^l-0[l—r)P
As the equality (2.4) is true,
.]!?LoE(i-)-^[i - ^^Wf = 2^ E ( y i ^ ) ' Consequently
and the implication (i) =^ (v) is proved. The converse implication is an obvious consequence of previous results. Further, formula (2.2) follows from (2.11)(2.13), and the proof of Theorem 2.1 is complete.
FUNCTIONS O F ^ - B O U N D E D T Y P E IN ...
177
We close this section by two remarks related to Theorem 2.1. R e m a r k 2 . 1 . Theorem 2.1 remains valid if we add to (i) - (v), for instance, (vi)
sup(l - \z\)-^I zer
-
(vii)
sup(l - |2:|)~^|1 - VT\ < +00, zer
WT{Z)W}{Z)\\P
< +00,
where F is an angle of opening < TT in |z| < 1, symmetric with respect to the real axis and with vertex at z = 1. Moreover, all the limits in Theorem 2.1 exist as z —> 1 non-tangentially. The proof of this extension of Theorem 2.1 is simple and it needs no new idea. R e m a r k 2.2. Formula (2.2) will be discussed also in the next section. One has to note that it is not known weather (2.2) can be observed as a regularized trace formula for operators of Cp (p > 2). The previous considerations may be used to obtain essentially more general relations of (2.2)-type, which are called trace formulas in the case p = 1 [75]. The existence of e in (2.2) brings some dissatisfaction. The way in which e appears was explained in Sec. 1. One may get rid of it by letting e —> 0 but the properties of the limit function ipo (which may be even a distribution) would be hard to analyze. At last. Theorem 2.1 has been proved earlier for the case p = 1. 3. 6p-PERTURBATI0NS OF SELF-ADJOINT OPERATORS The meaning of the condition (i) of Theorem 2.1 becomes more clear for dissipative unbounded operators A whose Cayley transforms belong to Cp. Namely, it appears that (i) is equivalent to the representability of A as a sum of a selfadjoint operator and an operator from &p. 3.1. Denote by Qp the set of those operators A whose Cayley transforms T={AiI){A -\-iI)-^ belong to Cp. Then A e Qp ii and only if:
1)
±i^a{A),
2)
Im ( A / , / ) > 0 for a l l / G i ^ ( A ) ,
3)
The operator iR^i - iR*_. - 2R-iR'Li belongs to ©p.
(where Rx = {A-
A/)"^)
Besides, an operator T G Cp appears to be the Cayley transform of another operator from Qp if and only if 1 is not an eigenvalue for T. In addition, the following statement is true. P r o p o s i t i o n 3.1. Let A G Qp be an arbitrary operator. transform satisfies (i) of Theorem 2.1 if and only if A = AR+iAi
Then its Cayley
(3.1)
178
CHAPTER 9
where AR = A'^ and Aj is nonnegative and belongs to ©p. Proof. Let T satisfies (i). Then by (2.8) (/-T*r)i3C(/-T*)^
and
{I-T^T)^
(l{I-T)^,
(3.2)
Since / - T'^T = 2{iR.i - iR:_. - 2i21^i?_i), D{A) = {I - T)S) and Z}(^*) (/ - T'')S^, the inclusions (3.2) mean that {iR-i - iR'Li - 2R1^R-i)^ C D{A) and {iR-i - iRL^ - 2R'^_-R-i)S) C D{A*). By the first of these inclusions, R'LiTh e D{A) for any h e S), and D{A') C D{A) since T is invertible. Similarly, the second relation gives D{A) C D{A*), and so D{A) = D{A*). Consequently, we can write i{A* - iI)R-i
- i l - 2R-i = 2-\A*
and if we take h = {A + il)f 2 - \ A * - iI)Dl{A
+ il)f
- il){l - T^'T) = 2-\A*
-
iI)D^,
(/ G D{A), then = i(A* - il)f - i{A -I- il)f -2f
= i{A* -
A)f.
Thus Aj = ^ ~ ^ * ={I-
T'^y^Dlil
- T)-\
(3.3)
By the left relation in (2.9), Aj G &p. In other words, the closure of Aj (which initially was defined on D{A)) is a nonnegative operator from (5p. On the other hand, AR = {A -{- A*)/2 is a self-adjoint operator. Indeed, since A is a closed symmetric operator, it suffices to show that its defect index is (0,0). If we contrarily suppose that this defect index is {n,m) {n -\- m > 0), then introducing the operator A - ^ © {-A)
=AR
+ ZAI,
AR = ARe
{-AR),
AI
=
AT
e (-^/),
acting in the space M. = S) ^ f) we conclude that the defect index of AR is {n + m,n-]- m). Thus, AR has an extension in H. Since A/ is bounded, also A has such an extension. The latter is impossible since A and therefore also A have ±z as regular points. Suppose now that A is represent able in the form (3.1). Then similarly we obtain that Ajf = {I - T*)-^D^I - T)-^f for any vector / G D{A) ( - D{A'')). Besides, for any / G D{A) \\DT{I
- T ) - V | r = ((/ - Tn-'DUl
- T)-'f, f) = {Ajf, f) < M l l / p
since Aj is bounded. Consequently, the operator S = DT{{I — T)~^ can be extended by taking its closure to a continuous operator in i^. As A / G &p and Ai = 5*5, one can easily deduce that DTS) C (/ - T * ) ^ and 5* = (/-r*)-iL>TG62p.
FUNCTIONS O F Q;-BOUNDED T Y P E IN ...
179
3.2. Now we shall convert the statement of Theorem 2.1 to an assertion for operators A £ Qp. It is convenient to connect such operators with the functions DA{W) = DT (l^^^ , \i — w J
T={A-
iI){A + iI)-\
lmw<0,
(3.4)
which are holomorphic in the lower half-plane G~ = {w : Im. w < 0} and for which the factorization (1.10) takes the form VA{w)=Vo{w)g{w),
(3.5)
where ^ is a non-vanishing function in G~, corresponding to the exponential factor in (1.10), and X>o is the product jj—i
V"
^f^i^
J
1-Xkwl
+ XkW
(Im \k > 0) constructed by the discrete spectrum {A^;} G G~ of A. Note that a formal representation of the function g can be obtained from the formulas g(w) = G f ^ i ^ ) ,
Giz) = exp { - ^
r
Vi+,(e-^''z)dV.w|
I —W
which are true for w E G~. Nevertheless, g{w) has another, more natural representation given in the below similarity of Theorem 1.2 for unbounded operators. T h e o r e m 3 . 1 . Let p > 2 be an integer, and let A G Qp be an arbitrary continuously invertible operator. Then for any e G (0,1/2) 2..M=I>oHexp{4/;j^^^^^^},
lm.<0,
(3.6)
where //^(t) is a real-valued function of locally bounded variation, satisfying
I
(l + |t|)2e
< +00.
3.3. For proving Theorem 3.1, we need the following purely technical lemma which we give without a proof. L e m m a 3.1. Let G{z) ^Q be a holomorphic function in \z\ < 1, and let G{z) be holomorphic also in a neighborhood of z = —1, where it may be written as oo
G(z) = l + ^ a f t ( 2 + l)'= k=p
{p>2,
|z + l | < r o < l ) .
(3.7)
180
CHAPTER 9
If for some a e {p — l,p) I=ff
il-\z\^r-'\\og\Giz)\\daiz)<+oo J
(3.8)
J\z\
{where d(j{z) is the area element), then for each 7 G (a—_p-f-l,l) the function g{w) = G ( f z ^ l ; which is holomorphic in G~, satisfies
P r o o f of T h e o r e m 3.1. Evidently, - 1 0 a{T) (where T {A-iI){A-\-iI)-^) since A is continuously invertible. Using the similarity of Theorem 2.1 for the point z — — 1 (i.e. for the operator —T for which all remains true with the change z -^ —z), we obtain lim
(1 + x)~^[l - DT{X)]
=bp
lim
(1 + x)~P[l - G{x)] =ap
{0 < bp < +00),
and moreover (0 < a^ < +00),
where G is the exponential factor in (1.10). In our case G{z) is holomorphic in a neighborhood of 2: == —1. Hence, G{z) is representable in the form (3.7). Besides, for any a > p— 1 and any r G (0,1) 1
f\r
- i)"-i [ r
r(a) Jo
log+ \G{te'^)\d^] tdt
U~n < f
i D-" log+ |G(re^'')|di? <M < +00,
J —TV
where D~^ is the Riemann-Liouville integro-differentiation and M is a constant independent of r (the latter was seen in Proof of Theorem 1.1). Thus, sup 0
/
/
{r~t)'^-'^\og-^\G{te'^)\tdtd^<M.
J-TV
Further, the equilibrium relation between Nevanlinna characteristics of G{z) leads to (3.11) since G{z) 7^ 0 in \z\ < 1. Thus, G{z) satisfies the requirements of Lemma 3.1. From (3.7) it follows that there exists a neighborhood of it; = 00, where I log |^(if;)|| < C\w\~P. Assuming a=p—l-{-€{0<€< 1/2) and using Lemma 1.9 of Ch. 1, we conclude that for w G G" with enough great modulus \W-"\og\g{w)\\
(3.10)
FUNCTIONS O F a-BouNDED T Y P E IN ...
181
where W~^ is Liouville's integro-differentiation and Ci is a constant. Hence by (3.9) (where 7 = 2e) we find that for any v <0 +°°
du
L
-j
< sup—-
nv
n-\-oo
+°° I log \g{u +
{v-tr-'dt
it)\\-
du
+ KP^
J
r(a)
< +00.
On the other hand, by (3.10) Hm ^ /
\W-''log\g(Re'^)\\sinMi}
= 0.
R-^+00 i t Jo
But the function W~^ log \g{w)\ is harmonic in the lower half-plane (see Lemmas 1.5 and 1.8 in Ch. 1). Consequently, by the results of Ch. 7
„,-.,„,i,,„+,„,i=_i_£|;j_i^, „<„,
,3.„)
where ji^ is a measure with the required properties. Using these properties and the corresponding assertion in Ch. 1, one can verify that dP 1 V /*+^ dii,{t) _1 7; r W~^^~^^ dvP T{p) 4- 5) TT J_, J_^ {u - t)2 + i;2 = - R e i r , / ^ - ( ; )
•
(3.12)
On the other hand, the properties of G{z) provide that the holomorphic function Log g{w) is expandable in a neighborhood of ty = oo by a power series: L o g 5 H = ^/lfe(^u;)-^
(3.13)
k=p
As W-^P-''^^W-''{iw)-^
= {iw)-^
{k > p),
successively applying the operators W~^, d^/dv^ and W~^^~^^ to both sides of (3.13) (the termwise application of these operators does not change the uniform convergence of the sum) and then taking real parts, we get W-^f-''^—W-''log\giw)\
= log|5(w;)|,
Im w = z; < 0.
182
CHAPTER 9
Thus, g{w)=exp\--
I
r . / ^ ' S z ^ + e +^^f^
lmit;<0,
where (7 is a real number. It remains to observe that C = 0, since g{w) as If; -> oo and ^™
/
= 0.
TTT
Hence, our assertion follows from (3.5), and the proof is complete. 3.4- The next theorem is a consequence of above results. Theorem 3.2. If p > 2 is an integer, then for any operator A G Qp the following statements are equivalent: (i) A is representable in the form A = AR + iAi, where AR = A}^ and Aj >0 (ii)
sup
belongs to
6p;
\v\~P[l - DA{iv)] < +oo;
-l
(iii) The limit
lim |t'|~^[l — DA{iv)]
exists.
V—>—0
Besides, if A is continuously invertible, then (i) - (iii) are equivalent to (iv)
V^(Im Xk)^ < -foo and the following limit exists:
d,s)
lim - ^ r v^-0 4P7r J-oo
\v\P{\v\-it)P+^'
where {Xk} cind /i^ are the parameters of the factorization (3.5). In addition, if A is invertible and at least one of the statements (i) - (iv) is true, then
= V ( I m A.)- + lim / -
r ^
, , , y ^ , .
(3.14)
Proof directly follows from Theorem 2.1, Proposition 3.1, and Theorem 3.1, if one uses the formulas (1 _ ^)-P[i _ Zk =
DT{X)] T——:,
Xk+i
= (1 - ^)^(2|7;|)-^[1 - DA{iv)l 71
To = I m Xk
\^-Zkr
^ < 0,
FUNCTIONS O F a-BouNDED T Y P E IN ...
and the equality (3.3) by which | | ^ j | | ^ = ||(/ -
183
T*)-^DT||2P-
Note that formula (3.14) is an improvement of the inequality
j2{irciXkr<\\Ai\\i, k
which is well known at least for bounded dissipative operators. Further, note that for p = 1 the quantity Sp {Aj) was calculated by the parameters of the factorization of bounded holomorphic functions in a half-plane in [42]. 4. COMPLETENESS OF OPERATORS IN Cp The aim of this section is to show how the properties of the regularized determinant X>T may be applied to the completeness problem of non-weak contractions. Recall that an operator is called complete if the closed linear hull of its root subspaces corresponding to the eigenvalues of that operator coincides with the whole space. 4.1. In the case of dissipative operators, the following theorem improves a well-known result due to M.V.Keldisch (see [74] or [37, Ch. V]). T h e o r e m 4 . 1 . Let p > 1 be an integer, and let T G Cp be any operator for which 1 is not an eigenvalue. Further, let the spectrum of T be a sequence {zk} having 1 as its unique limit point, and let Vrir) liminf l o g - ^ ^ = 0
(4.1)
for the functions J>T{r) and X>o(r) defined by (1.2) and (1.8). Then the operator T is complete. Before proving this theorem, we shall show that it really is a generalization of the mentioned result of M.V.Keldisch. Indeed, (4.1) is satisfied "with considerable reserve" if sup (1 - r)-P[l - G{r)] < +00,
where
G{z) =
VT{Z)/VQ{Z).
0
If we additionally demand supo<^
< +00,
0
and the requirements of Theorem 2.1 will be fulfilled. Thus, by Theorem 3.2, the corresponding operator A (which is the inverse Cayley transform of T) will be representable as A = AR + iAj, where AR = A^j^ and Aj > 0, A/ € &p. Further, A and AR will have the same continuous spectrum since a compact
184
CHAPTER 9
perturbation does not change that. By the conditions of Theorem 4.1, the continuous spectrum of AR will be located in oc, i.e. AR will have only discrete spectrum. In this particular case Theorem 4.1 states: a 6p-perturbation of a self-adjoint operator with discrete spectrum is a complete operator. Namely this statement was established by M.V.Keldisch [74]. If we put p = lin the formulas for VT and 2>o, then Tyri^) will become the usual determinant of WT{Z)W'}{'Z) and 2^o(^) will become a Blaschke product. Thus, for p = 1 the condition (4.1) is also necessary for the completeness of T if this operator is a weak contraction. The latter fact immediately follows from the well-known completeness criterion for weak contractions [37, Ch. V]. 4.2. Proof of Theorem 4.1. Suppose our statement is not true. Then it is clear that S)i = Clos span{/^ : \zk\ < 1} ^ S), and denoting S)2 = ^ Q ^1 we conclude that the following triangulation given by the invariant subspace S) 1 is true:
Here T2 is an operator whose spectrum consists of the single point z = 1 which is not an eigenvalue. Thus, the characteristic function WT{Z) admits the factorization [12] WT{Z)
= WI{Z)W2{Z)
(4.2)
the factors of which are defined by the formulas Wi{z)W^{0)
=1-
DTPI{I
-
ZTI)-^PIDT,
W2{z)W^{0) =1-
Wr\0)DTP2{I
W2{0)
W{-\0)WT{0),
=
-
ZT)-^P2DTW^~\0),
where Wi{0) is any invertible solution of the equation Wi{0)Wi{0) = I — DTPIDT [12]. In the above formulas Pi and P2 are the orthogonal projections onto S)i and 9)2 correspondingly. As the operator Ti is complete, its characteristic function Wi can be represented by the product Wi(z) = W,,{z)W,,(z).-.
W,„(^) • • • = n W , , ( z ) ,
where Wzj^{z) are operatorial Blaschke factors. This can be checked by the standard methods introduced into operator theory by M.S.Livsic [78]. Note that this infinite product is convergent in the sense that the operator-function -1
An{z)=(flW.,{z))
Wi{z)
FUNCTIONS O F Q-BOUNDED T Y P E IN ...
185
uniformly converges to / inside \z\ < 1 in ©p-norm (i.e. ||/ — An(2r)||p —> ) 0 as n -^ oo). Thus, from (4.2) it follows that as n -> oo
W^''\z)^(flW,,iz))
WT{Z) = Y[
W.AZ)W2{Z)-^W2{Z)
in 6p-norm, uniformly in \z\ < 1. Consequently, by the properties of regularized determinants [37, Ch. IV] detpW^"'\z)W^''^'"{z)-^detpW2{z)W;{z)
as
n - > oo.
(4.3)
On the other hand, < detpW2{x)W^{x),
VT{X)/VO{X)
- 1 < x < 1.
(4.4)
Indeed, by Lemma 1.2 and relations in the end of the proof of Theorem 1.2 VT{X)
= detpWT{x)W^{x)
=
detpW^,W^^\x)W^^^*{x)W*^{x)
= detpW^^{x)W,,{x)W^^\x)W^^^*{x)
<
^idetpW^^\x)W^^^''{x),
where $ i , as before, is that elementary factor of the product I^o? which corresponds to the eigenvalue Zi. Evidently, one can apply the same argument to detpWj. \x)Wj^ {x) and so on. Thus for any n > 1 VT{X)
< n$fe(x)detpV4"^(a;)W^"^*(x).
Letting here n —> oo and taking into account (4.3) we come to (4.4). Now denote V2{z) = detpW2{z)W^{z). If {Xk} are the eigenvalues of the operator W2{x)W2(x), oo
then one can see that
oo
|logD2(a;)|=EE7[l-^'^(^)l' k=lj=p^ OO
^
oo
^
= E7ll(^-^2(x)l^2W)ii>E7ll^-^2(a;)T^;(^)ir'j=p ^
3=P "^
Further, by (4.4) and the second condition of our theorem oo
^hmJlogl>2(r)H^hm^X^^||/-T^2(r)W2*Mir-^0, J=P
(4.5)
186
CHAPTER 9
and consequently lim 11/ - W2(r)W:{r)\\
= 0.
(4.6)
Let r be the angle with vertex at z = 1, defined by the inequality 11-^1 < a
{\z\ < 1,
1-N
a> 1).
li z eT, then by formulas (2.6) ((7 - W2{x)W;{x))h, where Q2 =
P2DTWI~^{0).
(7 - zT^)-^Q2h
h) = {l-
\z\^)\\{I-zTi)-'Q2h\f,
h G 2)T,
Besides, it is obvious that
- (7 - rT*)-^Q2h
= {z - r)T;{I - zT^)-\l
-
rT^)-^Q2h
- r\\\{I -
rT^)-'Q2h\\
for \z\ — r and \l — z\ \z — r\ ^ 1 — r <+ 1—r 1— r 1 -
+a = K
for 2: G r . Consequently 11(7 - rr^)-^Q2h\\
< 11(7 - vT;)-^Q2h\\
+ (l - rr^\z
< K{{I - W2{r)Wi{r))h,h)
\im\\l-W2iz)W^{z)\\=0,
for any h € S T ,
zer.
Thus, in any angle F of the mentioned type 00
\\{W2{z)WUz)r'\\
< Ylp-W2iz)WUz)\\''
< C„ < +00,
where Ca is a constant depending solely on a. Henceforth, we shall suppose that a is enough great to provide that the opening of F is greater than 7r(l — 2/p). Now we may state that for any /ii,/i2 ^ 2 ) T the function f{z) = {W^^{z)hi,h2) is holomorphic in the whole complex plane, except the point z = 1, and is bounded in F. Besides, the entire function F{w) = f{z),
z = {w-i)/{w
+ i)
is bounded in the upper half-plane, except two angles adjoining the real axis, with openings less than n/p (since W2{z) is a unitary operator when |z| = 1
FUNCTIONS O F Q;-BOUNDED T Y P E IN ...
187
[12]). Aimed to apply the Phragmen-Lindelof principle in that angles, we shall show that F is of order p. To this end, we first note that if \z\ < 1, then ii^2~H^)ii = ii^2*(^-')ii < ^ 1 + C 2 i i ( / - z - ^ T ^ r ' i i = Ci+C2\z\-\\{T2-zI)-% Now introduce the operator A2 G Qp which is connected with T2 by the equality T2 = {A2 — iI){A2 -{-il)~^. li z = {w — i)/{w + i), then a simple calculation gives {T2 - zl)-^
= {2i)-\w
+ i)I 4- {2i)-\w
+ i){i - w){A2 +
wI)-\
On the other hand, if B2 = A ^ \ then B2 = -i{{I - T2){I + T2)~'^ and B2 - B* e 6 p since B2 - B^ = -2i{I + r 2 ) - i ( / - T2T^){I + T^)-\ As the spectrum of the operator A2 is an empty set, B2 is quasinilpotent and hence it is a compact operator [37, Ch. I]. Besides B2 G &p according to a theorem due to V.I.Macaev and, as it is well known, the order of the resolvent {A2 — wl)~^ is equal to p [37, Ch. IV]. Thus, the function F is of order p. Therefore, applying the Phragmen-Lindelof principle we conclude that F is bounded in the whole upper half-plane. By the elementary properties of characteristic operator-functions [12], F is bounded also in the lower half-plane. Consequently, the operator-function W2 is constant in the unit disc, i.e. T2 is a unitary operator. As cr(T2) = 1, we come to the equality T2 = I which contradicts the conditions of our theorem. Thus, Theorem 4.1 is proved. 4.3. Examining the proof of Theorem 4.1, one can see that a more general result could be proved. Namely, instead of the condition (4.1) one could require the function | \og{7yT{x)/7>o{x))\ to be bounded by a constant (which can be calculated) depending solely on p. Of course, stronger criterions of completeness given in terms of the regularized determinant T>T are possible. These can be obtained using more delicate Phragmen-Lindelof type theorems. For instance, the following result is true for the case p = 2 being of special interest. T h e o r e m 4.2. Let T be a contraction from C2, for which 1 is not an eigenvalue. Further, let the spectrum of T be a sequence {zk} with the unique limit point at 1, and let liminf (1 - r) log § ^
= 0.
(4.7)
Then T is complete. Moreover, for any given a < 0 there exists a non-complete operator in C2, for which the lower limit (4.1) is equal to a. Proof. It follows from (4.4) that liminf (1 - r)T>2(r) = 0 , r—>1—0
188
CHAPTER 9
where 1^2 is the function considered in the proof of Theorem 4.1. Suppose T>2{r) = exp{—(f{r)} {(p{r) > 0). Then {l — r)(p{r) -^ 0 as r -> 1 —0, according to Theorem 1.2. Further, (4.5) can be written in the form
^{r)>-log{l-\\I-W2{r)W^{r)\\)-Y^-:\\I-W2{r)WUrW. Using this we get (l — ||/ — W2(r)W2*(^)ll))~'^ ^ Cexp{(f{r)}
which impHes
oo
\\{W2{r)Wi{r)-^
3=0
Turning as ear her to the entire function F , one can see that hm sup y-'^ log \F{iv)\ < 0
(4.8)
and F is of second order and minimal type [37, Ch. V]. Application of the Pragmen-Lindelof principle to the function Fi{w) = F{w)exp{iw} separately in both quadrants of the upper half-plane gives that F is of first order and, consequently, it belongs to M.Cartwright's class [37, Ch. V]. Thus, by (4.8) the indicator of F is non-positive and hence F = const. The end of the proof of completeness is quite the same as that of Theorem 4.1 and we omit it. Now introduce an obviously non-complete operator T € C2 as the orthogonal sum T = Ti 0T2, where Ti is a complete operator from C2, for which (4.7) is true, and T2 is a contraction with one-dimensional defect, the characteristic function of which is of the form
T^2W = exp{|i±i}, a<0. Then
T>T{Z)
=
'DTI{Z)W2{Z)
exp{l — W2{z)} and consequently
Vrir)
limsup ^ , . = lim (1 — r) logl^2(^) = a < 0. r-,1.0 Voir) r->i-o^ J s zy J
NOTES. As it became clear from the later work [5], the measure dlp^ appearing in the similar to (1.10) factorization of the regularized determinant dx(z), is absolutely continuous and belongs to definite O.V.Besov class.
REFERENCES
[1] Ahlfors L. v., Heins M. (1949). Questions of regularity connected with the PhragmenLindelof principle. Ann. o/Ma*/i., 50(2), 341-346. [2] Akiezer N. I. (1961). The classical moment problem [in Russian]. Moscow: FM. [3] Akutowicz E. J. (1956). A qualitative characterization of Blaschke product in a half-plane. Amer. J. Math., 78, 677-684. [4] Atkinson F. V. (1964). Discrete and continuous boundary problems. New York: Ac. Press. [5] Avetisyan K. L. (1995). Green type potentials and representability of weighted classes of subharmonic functions. J. of Contemp. Math. Analysis, 30, 1-28. [6] Baghdasaryan D. T., Ohanyan I. V. (1990). Boundary properties of the functions ^^(z,z;c) of M.M. Djrbashian [in Russian]. DAN of Armenia, 90, 199-205. [7] Bergh J., Lofsrtom J. (1956). Interpolation spaces. An introduction, Berlin, Heidelberg, New York: Springer-Verlag. [8] Bergman S. (1950). The kernel function and the conformal mapping. Math. Surveys, 5. [9] Biberbach L. (1914). Zur theorie und praxis der konformen abbildung. Palermo 38, 98-118.
Rendiconti,
10] Boas R. P. (1954). Entire Functions. New York: Ac. Press. 11] Brelot M. (1961). Elements de la theorie classique du potential. Paris: Centre de Doc. 12] Brodski V. M., Gohberg I. T., Krein M. G. (1971). On characteristic functions of invertible operator [in Russian]. Acta Sci. Math. (Szeged). 32, 141-164. 13] Carleman T. (1922). Uber die approximation analytischer funktionen durch lineare aggregate von vorgegebenen potenzen. Arkhiv for Mat, Astr. och Fys., 17. 14] De'Branges L. (1968). Hilbert spaces of entire functions. Englewood CliflPs, N. Y., PrenticeHall Inc. 15] Djrbashian A. E., Shamoian F. A. (1988). Topics in the theory of A^ spaces, Leipzig, Teubner Verlag. 16] Djrbashian M. M. (1945). On canonical representation of functions meromorphic in the unit disc [in Russian]. DAN of Armenia, 3, 3-9. 17] Djrbashian M. M. (1948). On the representability problem of analytic functions [in Russian]. Soobsch. Inst. Math, and Mech. AN of Armenia, 2, 3-40. 18] Djrbashian M. M. (1966). Classes of functions and their parametric representations [in Russian]. In Contemporary problems in theory of analytic functions, International Conference on the Theory of Analytic Functions, Yerevan, 1965 (pp. 118-137). Moscow, Nauka. 19] Djrbashian M. M. (1966). Integral transforms and representations of functions in the complex domain [in Russian]. Moscow: Nauka. 20] Djrbashian M. M. (1968) A generalized Riemann-Liouville operator and some of its applications. Math. USSR Izv., 2, 1027-1065.
190
REFERENCES
[21] Djrbashian M. M. (1969). Theory of factorization of functions meromorphic in the unit disc. Math. USSR Sbornik, 8, 493-591. [22] Djrbashian M, M. (1975). Theory of factorization and boundary properties of functions meromorphic in the disc. Proceedings of the International Congress of Mathematicians, Vancouver 1974, ^- ^^ (PP- 197-202), Canadian Mathematical Congress, Vancouver. [23] Djrbashian M. M. (1984). Some open problems in the theory of representations of analytic functions. In Lecture Notes in Mathematics, Vol. 1043 (pp. 522-526). Berlin, SpringerVerlag. [24] Djrbashian M. M., Djrbashian A. E. (1985). Integral representations of some classes of functions analytic in the half-plane [in Russian]. DAN SSSR, 285, 547-550. [25] Djrbashian M. M., Zakarian V. S. (1967). Boundary properties of meromorphic functions of the class Na [in Russian]. Izv. Ac. of Sci. of Armenia, Matematika, 2, 275-294. [26] Djrbashian M. M., Zakarian V. S. (1968). On factorization of the function ^ Mat. Zametki, 4, 3-10.
[in Russian].
[27] Djrbashian M. M., Zakarian V. S. (1969). On boundary properties of meromorphic functions of the class ATc, [in Russian]. DAN SSSR, 173(121), 1247-1250. [28] Djrbashian M. M., Zakarian V. S. (1970). Boundary properties of some subclasses of meromorphic functions of bounded type. Math. USSR Izv., 4, 1273-1354. [29] Djrbashian M. M., Zakarian V. S. (1971). Boundary properties of some subclasses of meromorphic functions of bounded type [in Russian]. Izv. Ac. of Sci. of Armenia, Matematika, 6, 182-194. [30] Djrbashian M. M., Zakarian V. S. (1993). Classes and boundary properties of functions meromorphic in the disc [in Russian], Moscow, Nauka. [31] Dunford N., Schwarz J. I. (1971). Linear operators. Vol. II. New York: Interscience Publishers. [32] D u r e n R L. (1970). Theory of if
spaces. New York: Ac. Press.
[33] Frostman O. (1939). Sur les produits de Blaschke. Fysiogr. Soldsk. Land, fohr., 12, 1-14. [34] Gakhov F. D. (1958) Boundary problems [in Russian]. Moscow: GIFML. [35] Gantmaher F. R. (1959). Theory of matrices [in Russian]. Moscow, Nauka. English Transl. (1959), Vols. 1, 2, New York, Chelesa. [36] Garnett J. B. (1981). Bounded analytic functions. New York, Ac. Press, 1981. [37] Gohberg I. C , Krein M. G. (1969). Introduction to the theory of linear nons elf adjoint operators. Providence, RI, AMS. [38] Goldberg A. A., Ostrovskii I. V. (1970). Value distribution of meromorphic functions [in Russian]. Moscow, Nauka. [39] Govorov N. V. (1965). On the indicator of functions of non-integer order, analytic and of completely regular growth in the half-plane [in Russian]. DAN SSSR, 162, 495-498. [40] Gubreev G. M., Jerbashian A. M. (1991). Functions of generalized bounded type in spectral theory of non-weak contractions. Rev. Romanic de Math. Pures et Appl, 36, 147-154. [41] Gubreev G. M., Jerbashian A. M. (1991). Functions of generaHzed bounded type in spectral theory of non-weak contractions. Journal of Operator Theory, 26, 155-190. [42] Gubreev G. M., Kovalenko A. I. (1983). On a new property of the perturbation determinant of non-weak contractions [in Russian]. Journal of Operator Theory, 10, 39-49. [43] Hardy, Gh., Littlewood, J. E. (1932). Some properties of functional integrals II. Mathematische Zeitschrift, 34, 403-439.
REFERENCES
191
[44] Hayman W. K., Kennedy P. B. (1976). Suhharmonic functions. London, Ac. Press. [45] Hedenmalm H., Korenblum, B., Zhu, K. (2000). Theory of Bergman Spaces. Graduate Texts in Mathematics, Berlin, Springer Verlag. [46] Herglotz G. (1911) Uber Potenzreihen mit positiven reelen Teil im Einheitskreise. Ber. Verh. Sachs Acad. Wiss. Leipzig, Bd. 63, 501-511. [47] Hille E., Tamarkin J. D. (1935). On the absolute integrability of Fourier transforms. Fund. Math., 25, 325-352. [48] Hoffman K. (1962). Banach spaces of analytic functions. Englewood Cliffs, N. J., PrenticeHall Inc. [49] Jerbashian A. M, (1979), Blaschke type functions for the half-plane. Soviet Math. 20, 607-610.
Dokl,
[50] Jerbashian A. M. (1980). Generalization of formulas of R. and F. Nevanlinna and Carleman. Soviet Math. Dokl. 21, 248-251. [51] Jerbashian A. M. Factorization of some general classes of functions meromorphic in a halfplane. In Colloquia Mathematica Soc. Janos Bolyai, no. 35, Functions, Series, Operators (pp. 423-429), Budapest. [52] Jerbashian A. M. (1981). Factorization of some general classes of functions meromorphic in a half-plane. Soviet Math. Dokl, 257, 21-25. [53] Jerbashian A. M. (1981). Factorization of analytic functions of any finite order in a half-plane. Soviet Math. Dokl, 23, 289-292. [54] Jerbashian A. M. (1983). Blaschke type functions for the half-plane. Sov. J. of Contemp. Math. Analysis, 18, 1-36. [55] Jerbashian A. M. (1986). Equilibrium relations and factorization theorems for functions meromorphic in a half-plane. Sov. J. of Contemp. Math. Analysis, 21, 213-279. [56] Jerbashian A. M. (1987). Parametric representations of classes of meromorphic functions with unbounded Tsuji characteristic. Sov. J. of Contemp. Math. Analysis, 22, 34-60. [57] Jerbashian A. M. (1988). Classes of functions of bounded type in the half-plane, a uniqueness theorem and a Phragmen-Lindelof type theorem. Sov. J. of Contemp. Math. Analysis, 22, 398-401. [58] Jerbashian A. M. (1989). Herglotz-Riesz type theorems [in Russian]. Matem. Zametki, 45, 19-26. [59] Jerb2ishian A. M. (1989). A representation of the Bl2ischke product for a half-plane. Sov. J. of Contemp. Math. Analysis, 24, 46-53. [60] Jerbashian A. M. (1990). Uniform approximation of functions of generalized bounded type in the half-plane and analog of Akutowicz theorem. J. of Contemp. Math. Analysis, 25, 75-83. [61] Jerbashian A. M. (1991). On boundary behavior of functions of generalized bounded type. J. of Contemp. Math. Analysis, 26, 187-209. [63] Jerbashian A. M. (1991). On functions of bounded and generalized bounded type in the half-plane. Rev. Roum. Math. Pur. et Appl, 36, 425-432. [63] Jerbashian A. M. (1993). On some classes of subharmonic functions which have nonnegative harmonic majorants in a half-plane. J. of Contemp. Math. Analysis, 28, 42-61. [64] Jerbashian A. M. (1994). On some general classes of subharmonic functions. J. of Contemp. Math. Analysis, 29, 29-41. [65] Jerbashian A. M. (1995). An extension of the factorization theory of M.M.Djrbashian. In Theory of Functions and Applications, Collection of works dedicated to the memory of M.M.Djrbashian (pp. 65-74), Yerevan, Louys.
192
REFERENCES
[66] Jerbashian A. M. (1995). An extension of the factorization theory of M. M. Djrbashian. J. of Contemp. Math. Analysis, 30, 39-61. [67] Jerbashian A. M. (1999). On the embedding of Nevanlinna type classes N{CO} [in Russian]. Izv. of Russian Ac. of Sci., 63, 687-705. [68] Jerbashian A. M. (2002). Weighted classes of regular functions area integrable over the disc. Preprint 2002 - 01, Institute of Mathematics, National Ac. of Sci. of Armenia. [69] Jerbashian A. M., Mikaelyan G. V. (1980). Construction and main properties of a family of Blaschke type functions for the half-plane. Sov. J. of Contemp. Math. Analysis, 15, 461-474. [70] Jerbashian A. M., Mikaelyan G. V. (1986). The asymptotic behavior of Blaschke-type products for the half-plane. Sov. J. of Contemp. Math. Analysis, 21, 38-58. [71] Jerbashian A. M., Mikaelyan G. V. (1991). On the boundary behavior of Blaschke type functions. J. of Contemp. Math. Analysis, 26, 435-442. [72] Kats I. S. (1956). On integral representations of analytic functions mapping the upper halfplane into its part [in Russian]. UMN, 11, 139-144. [73] Keldysch M. V. (1941). Sur les conditions pour qu'un systeme de polynomes orthogonaux avec un poids soit ferme. Coptes Rendus (Doklady) Academic des Sciences USSR (ns), 30, 778-780. [74] Keldysch M. V. (1951). On eigenvalues and eigenfunctions of some classes of nonselfadjoint equations [in Russian]. Soviet Math. Dokl., 77, 11-14. [75] Krein M. G. (1987). On perturbation determinants and trace formula for some classes of pairs of operators [in Russian]. J. of Operator Theory, 17, 129-187. [76] Krilov V. I. (1939). On functions regular in a half-plane [in Russian). Mat. Shornik, 6(48), 95-138. [77] Levin B. Ja. (1964). Distribution of roots of entire functions. Transl. Math. Monographs, Vol. 5, Providence, RI, Amer. Math. Soc. [78] Livsic M. S. (1954). On spectral resolution of linear nonselfadjoint operators [in Russian]. Mat. Shornik, 3, 144-199. English Transl. (1960). Amer. Math. Soc. Transl. (2), 13, 61-63. [79] Livsic M. S. (1974). Linear discrete systems and there connection with the theory of factorization of meromorphic functions of M.M.Djrbashian [in Russian]. DAN SSSR, 219, 793-796. [80] Nevanlinna F., Nevanlinna R. (1922). Uber die Eigenschaften analytischer Funktionen in der Umgebung einer singular en Stelle oder Linie. Acta Soc. Sci. Fennicae, 50. [81] Nevanlinna R. (1922). Asymptotische Entwickelungen beschrankter Funktionen und das Steiltjessche Momentenproblem. Ann. Acad. Sci. Fenn. Ser. AI, 18. [82] Nevanlinna R. (1924). Uber eine Klasse von meromorphen Funktionen. Math. Ann., 92. [83] Nevanlinna R. (1925). Uber die Eigenschaften meromorpher Funktionen in einem Winkelraum. Acta Soc. Sci. Fennicae, 50, 3-45. [84] Nevanlinna R. (1936). Eindeutige Analytische Funktionen. Berlin: Springer. [85] Paley R.E.A.C, Wiener R.E.A.C. (1934). Fourier transforms in the complex domain. New York, Amer. Math. Soc. Coll. Publ., 19. [86] Privalov L L (1937). Suhharmonic functions [in Russian]. Moscow-Leningrad, GITTL. [87] Privalov I. L (1941). Moscow, MGU.
Boundary properties of univalent analytic functions
[in Russian].
[88] Riesz F. (1911). Sur certaines systemes singulieres d'equations integrales. Ann. Ec. Norm., 28, 33-62. [89] Rudin W. (1980). Function theory in the unit hall ofC^.
Berlin, Springer-Verlag.
REFERENCES
193
[90] Saitoh S. (1988). Theory of reproducing kernels and its applications. Pitman Res. Notes in Math. Ser., 189, England, Longman Sci.&; Tech. [91] Saitoh S. (1997). Integral transforms, reproducing kernels and their applications. Res. Notes in Math. Ser., 369, England: Addison Wesley Longman.
Pitman
[92] Samko S. G., Kilbas A. A., Marichev O. L (1993). Fractional integrals and derivatives, theory and applications. Gordon & Breach Sci. Publishers. [93] Schur J. (1916). Uber Potenzreihen, die im Inneren des Einheitskreises beschrauktsind. J. Reine und Angew. Math., 147, 205-232 and 148, 122-145. [94] Shamoian F. A. (1978). The factorization theorem of M.M.Djrbashian and a characterization of zeros of analytic in the disc functions with majorants of finite order. Sov. J. of Contemp. Math. Analysis, 13, 405-422. [95] Shamoian F. A. (1990). Diagonal mapping and representation questions in anisothropic spaces of functions holomorphic in the polydisc [in Russian]. Sib. Mat. J., 31, 197-216. [96] Shamoian F. A. (1993). Some remarks on the parametric representation of NevanlinnaDjrbashian classes. Math. Notes, 52, 727-737. [97] Shamoian F. A. (1999). Parametrical representation and description of the root sets of classes of functions holomorphic in in the disc [in Russian]. Sib. Mat. J., 40, 1420-1440. [98] Shamoian F. A., Chasova N. A. (2003). Diagonal mappings in Hardy mixed-norm spaces [in Russian]. Trudi Mat. Senter of N.I.Lobachevski, Kazan 19, 242-256. [99] Shamoian F. A., Shubabko E. N. (2000). Parametrical reprezentation of some classes of holomorphic function in the disc. Operator Thory; Advances and Application, Basel, Birkhauser Verlag, 113, 332-339. [100] Shamoian F. A., Shubabko E. N. (2201). On a class of functions holomorphic in the disc [in Russian]. Investigations on linear operators and function theory, St. Petersburg, POMI, 29, 242-256. [101] Shamoian F. A., Yaroslavtseva O. V. (1997). Continuous projectors, duality and diagonal mappings in some mixed-norm spaces of holomorphic functions [in Russian]. Zapiski Nauch. Sem. POMI, 247, 268-275. [102] Shohat J. A., Tamarkin J. D. (1943). The problem of moments. New York: AMS. [103] Solomentsev E. D. (1959). On classes of functions subharmonic in a half-space [in Russian]. Vestnik MGU, Ser. Math., 5, 73-91. [104] Sz.-Nagy B., Foia§ B. (1970). Harmonic analysis of operators in Hilbert space. Budapest, Akademiai Kiado. [105] Tsuji M. (1950). On Borel's directions of meromorphic functions of finite order. Math. J., 2, 97-112.
Tohoku
[106] Tsuji M. (1975). Potential theory in modern function theory. Tokyo, Maruzen Co. Ltd. [107] Walsh J. L. (1935). Interpolation and approximation by rational functions. New York, Amer. Math. Soc. Publ. [108] Weyl H. (1917). Bemerkungen zum BegriflFdes Differentialquotienten gebrochener Ordnung. Vierteljahrschrift der Naturforschenden Geselschaft in Zurich, 62, 296-302. [109] Wirtinger W. (1932). Uber eine minimumaufgabe im gebiet der analytischen funktionen. Motatshefte filr Math, und Phys., 39, 377-384. [110] Zakarian V. S. (1963). On radial boundary values of a class of functions meromorphic in the disc [in Russian]. Izv. AN SSSR, Ser. Mat, 27, 801-818. [Ill] Zakarian V. S. (1963). Uniqueness theorems for some classes of functions meromorphic in the disc [in Russian]. DAN of Armenia, 36, 3-9.
194
REFERENCES
112] Zakarian V. S. (1963). Uniqueness theorems for some classes of functions holomorphic in the disc [in Russian]. Mat. Sbomik, 10, 3-22. 113] Zakarian V. S. (1967). On segmental variation of a class of analytic functions [in Russian]. Izv. Ac. of Sci. of Armenia, Matematika, 2, 117-122, 114] Zakarian V. S. (1968). Radial limits and radial variations of the product 8^ [in Russian]. Izv. Ac. of Sci. of Armenia, Matematika, 3, 38-51. 115] Zakarian V. S. (1968). On radial boundary values of the function ^ [in Russian]. Izv. Ac. of Sci. of Armenia, Matematika, 3, 287-300. 116] Zakarian V. S. (1974). A growth estimate for meromorphic functions of the class I^ (in Russian]. Izv. Ac. of Sci. of Armenia, Matematika, 9, %5-lOQ. 117] Zakarian V. S. (1978). Segmental variations of the Green type potential [in Russian]. DAN of Armenia, 66, 212-215. 118] Zakarian V. S., Sekhposyan L. A. (1979). A growth estimate for meromorphic functions of the class N\(Jj [in Russian]. Izv. Ac. of Sci. of Armenia, Matematika, 15, 348-368. 119] Zakarian V. S., Hunanyan A. G. (1981). Variations of Green type potentials on a segment [in Russian]. DAN of Armenia, 73, 3-8. 120] Zakarian V. S., Madoyan S. V. (1984). On boundary values of functions from classes Na (- 1 < a < 0) [in Russian]. DAN of Armenia, 39, 348-368. 121] Zakarian V. S. (1988). On a growth estimate for the products of M.M.Djrbashian [in Russian]. Izv. Ac. of Sci. of Armenia, Matematika, 23, 189-192. 122] Zygmund A. (1959). Trigonometric series. Vol. I. Cambridge, University Press.
INDEX
a-bounded type, xv, 101 Qf-characteristics in \z\ < 1, xiii a-kernels in \z\ < 1, xiii (1 + Q:)-capacity, xiv a-mean type, 68 ^ a { G + } , 62 ^ g (in \z\ < 1), xii Cp, 159 dT, 159, 160, 165 X>T, 158, 165, 168 dQ, 164 X>o, 164, 165, 168 G+(i?), 45 r*[^,oo), 46 7-capacity, 101, 102 HP (in \z\ < 1), ix iJ^ (in Imz > 0), X, xvi, 133 HP{n{x)dx), 133 iC^((5o,-D)-class, 7 i^^((5o,^)-class, 13 La(—oo,d)-class, 1 £c.(p,F^\81 M{R), 132 M/^(L)), Mp, 7, 147 Mp{D), 13 Blaschke-Djrbashian products, xi, xiii, XV, 103, 112 Blaschke type products, xiv, 21, 25, 33, 38, 84, 120, 121 M.M.Djrbashian factorization, xi, xiii
01, 9^"", X, 76, 131 AT, Nevanlinna class, 101, 120, 131 iVc-class, xiii, 113, 120, 160 91«, 0 1 ^ , 70, 71, 72, 75 Na{G-}, 101, 121 ?n^^, 82, 85, 86, 97 DA\W),
179
Qp, 111, 182 0t(p,F±),80 -R, Herglotz-Riesz class, 14 i?°, Nevanlinna class, 14, 23 i?T, I.S.Kats class, 14 Ra, 15 i?°, 15 Sa, 152, 154 Soc, 154, 155 6 p , Neuman-Scetten ideal, 159 it, il+, 69 il+,69 oo-starshaped domain, 6 oo-starshaped continuation, 45 W - " , 1, 6, 7, 20 W-^, 12 WT{Z), characteristic function, 159 na(^,C), 21 Ahlfors-Heins theorem, 132 Nevanhnna factorization in Im z > 0, ix, XV, 65, 129 Nevanhnna type characteristic, 61,82 Nevanhnna uniqueness theorem, 132
196
Eequilibrium relation, 61, 81, 82 Carleman type formula, 54,58 Cay ley transform, 177 Green type potential, 147, 149 Levin formula, 80 Levin type formula, 55, 59, 61, 62, 82
INDEX
Nevanlinna weighted class, xi, 82 R. and F.Nevanlinna type formula, 49,51 Phragmen-Lindelof Principle, x Riesz type representation, xvi Tsuji characteristic, xiv, 80, 100 Tsuji type estimate, 90 Tsuji type characteristic, 61, 62, 82