Professional Documents
Culture Documents
1. Introduction
Let U = {z C : Im(z) > 0} denote the upper half of the complex plane.
For 0 < p < , the Hardy space H p (U) is the space of analytic functions
f : U C for which
Z
1
p
p
kf kH p (U) = sup
|f (x + iy)| dx < .
y>0
H (U)
For p = we denote by
the space of all bounded analytic functions
on U with the supremum norm.
The spaces H p (U), 1 p , are Banach spaces and for p = 2, H 2 (U)
is a Hilbert space. For the rest of the paper we use the notation kf kp for
kf kH p (U) .
Let 1 p < and suppose f H p (U). Then f satisfies the growth
condition
Ckf kpp
(1.1)
|f (z)|p
,
z U,
Im(z)
where C is a constant. Further the limit limy0 f (x + iy) exists for almost
every x in R and we may define the boundary function on R, denoted by
f , as
f (x) = lim f (x + iy).
y0
kf kpp
|f (x)|p dx.
z
is also shown to be bounded on H p (U) for p 1. We find the norm and
the spectrum of C, T and we show that, for the boundary functions, we have
C(f ) = C(f ). The whole discussion is based on the observation that C and
T can be obtained as resolvent operators for appropriate strongly continuous
semigroups of simple composition operators on H p (U).
2. Related semigroups, strong continuity.
For each t R consider the analytic self maps of U
t (z) = et z,
z U,
Z
= sup
v>0
= kf kpp ,
|f (u + iv)|p du
pt
t0
t0
f t f kp = 0
H p (U)
s > 0.
= 2kfs f kp + ke
fs t fs kp .
Now it is clear that the boundary function of fs (z) is f (x + is) and the
t
t
boundary function of e p fs (et z) is e p f (et x + is) for all x R. Since
Z
p
|f (x + is) f (x)|p dx 0,
kfs f kp =
lim ke
t0
fs t fs kp = 0
for each s. For a fixed such s and a > 0 (to be specified later) we have
Z
pt
t
p
ke fs t fs kp =
|e p f (et x + is) f (x + is)|p dx
2a
|e
Z 2a
Z2a
pt
2a
|e
2p+1
2a
|f (x + is)|p dx
|f (x + is)|p dx,
valid for 0 < t < log 2. An analogous estimate for I3 (t) gives
Z
p+1
I3 (t) 2
|f (x + is)|p dx,
a
We now deal with the second integral I2 (t). Using the growth estimate (1.1)
we have
t
p
f (et x + is)kpp
p kf (x + is)kp
+
2
C
Im(et x + is)
Im(x + is)
p
p
kf kp
kf kp
+ 2p C
2p C
s
s
p
kf kp
= 2p+1 C
.
s
p
2 C
ke
t
p
f t f
t
e p f t f
,
(f ) = lim
t0
t
f D().
The growth estimate (1.1) shows that convergence in the norm of H p (U)
implies in particular pointwise convergence, therefore for each f D(),
pt
f (et z) f (z)
(f )(z) = lim
t0
t
pt
t
=
e f (e z)
t=0
t
1
= zf (z) f (z).
p
e
where F (z) =
1
p f (z)
zf (z)
t0
1+z
, a conformal map from the unit disc D = {|z| < 1} onto
where (z) = i 1z
p
U, and H (D) is the usual Hardy space of the disc. We find
c1
(2.2)
(z)1/p h ((z)) =
,
2
+
(1 z) p
and
(2.3)
(z)1/p e ((z)) = c2
(1 + z)
2
(1 z) p
1
p
z U.
c a constant.
c1 + cc2 (1 + z)
2
(1 z) p
where c1 , c2 are nonzero constants. This last expression represents an analytic function on the unit disc which however, by an argument similar to
that in the proof of Lemma 2.2, is not in the Hardy space H p (D) of the unit
disc for any value of c because Re() = 1/p. Thus G(z) is not in H p (U)
for any c and this is a contradiction. It follows that () = iR, and this
completes the proof.
` ro operators
3. The Cesa
It follows from the above that when 1 < p < the point p = 1 1/p is
in the resolvent set of the generator . The resolvent operator R(p , ) is
therefore bounded. Let f H p (U) and let g = R(p , )(f ). It follows that
(p )(g) = f or equivalently
(1 1/p)g(z) + zg (z) + (1/p)g(z) = f (z).
Thus g satisfies the differential equation
g(z) + zg (z) = f (z),
Fix a point w on the imaginary axis. Then
Z z
f () d + c,
zg(z) =
z U.
z U,
Theorem 3.1. Let 1 < p < and let C be the operator defined by
Z
1 z
C(f )(z) =
f () d, f H p (U).
z 0
p
,
p1
p
p
|=
}.
2(p 1)
2(p 1)
p = 1 1/p ().
We now consider the negative part {Tt : t 0} of the group {Tt } and we
rename it {St }. That is, for f H p (U),
t
t 0.
It is clear that {St } is strongly continuous on H p (U) and that its generator
is = . It follows from Proposition 2.3 that
() = iR,
() = .
a
Im(w)
We therefore find
a
f ()
d + lim
w
z
Im(w)
Z w
f ()
d.
= lim
w
z
Im(w)
g(z) =
w
a
f ()
d
We now show that the above limit exists unrestrictedly when w within
the half-plane U. Indeed for > 0 we have,
Z w
Z w+i
Z w
f ()
f ()
f ()
d =
d +
d = Jw + Iw .
z
z
w+i
With the change of variable = w + is, 0 s 1, we have
Z 1
f (w + is)
|Iw | = | i
ds|
w + is
0
Z 1
|f (w + is)|
ds
|w + is|
0
Z 1
|f (w + is)| ds
|w| 0
Z y+
1
|f (x + iu)| du,
=
|w| y
where w = x+iy and u = y +s. For p = 1 the Fejer-Riesz inequality for the
half-plane [Du, Exercise 6, page 198] implies, through the last inequality,
Z
1
1
kf k1 0, as w ,
|f (x + iu)| du
|Iw |
|w| 0
2|w|
10
(y + )1/q
kf kp ,
|w|
(|w| + )1/q
kf kp 0, as w .
|w|
Thus in all cases Iw 0 and we have
Z w
f ()
lim
d = lim Jw + lim Iw = g(z)
w z
w
w
i.e. the unrestricted limit exists. For this reason we can write
Z
f ()
g(z) =
d.
z
Cp
z
Then T : H p (U) H p (U) is bounded. Further
kT k = p,
and
p
p
(T ) = {w C : |w | = }.
2
2
Proof. As found above we have
T = R(p , ),
p = 1/p ().
11
Suppose now 1 < p < and let q be the conjugate index, 1/p + 1/q = 1.
Recall the duality (H p (U)) = H q (U) which is realized through the pairing
Z
f (x)g (x) dx.
(3.1)
hf, gi =
t
f (x)e q g (et x) dx
=
(3.2)
= hf, St (g)i.
Thus {Tt } and {St } are adjoints of each other. From the general theory
of operator semigroups this relation of being adjoint, on reflexive spaces, is
inherited by the infinitesimal generators and subsequently by the resolvent
operators [Pa, Corollaries 10.2 and 10.6]. It follows that C and T are adjoints
of each other on the reflexive Hardy spaces of the half-plane.
4. Boundary correspondence
We now examine the boundary correspondence between C and its real line
version C, as well as between T and the corresponding real line operator T
defined on Lp (R) by
R
f (u)
x > 0,
x u du,
T(f )(x) =
Theorem 4.1. Consider the operators C, T on the Hardy spaces H p (U) and
the operators C, T on the spaces Lp (R). Then
(i) For 1 < p < and f H p (U),
C(f ) = C(f ).
(ii) For 1 p < and f H p (U),
T (f ) = T(f ).
Proof. (i) For f H p (U) and > 0 consider the function
f (z) = f (z + i),
Im(z) > .
12
C(f ) (x) =
f (u) du
x 0
for almost all x. Now for z = x + iy U, since f (z) is analytic on {Im(z) >
}, its integral on the segment [0, z] can be obtained by integrating over
the path [0, x] [x, z], so we have
Z
1 z
f () d
C(f )(z) =
z 0
Z
Z
1
1
f () d +
f () d.
=
z [0, x]
z [x, z]
If x 6= 0 then clearly the limit of the first integral as y 0 is
Z
Z
1
1 x
lim
f () d =
f (u) du.
y0 z [0, x]
x 0
The limit of the second integral vanishes. Indeed since f H p (U), f is
bounded over every half-plane {z : Im(z) } and we find
sup |f ()| sup |f (z)| = M < ,
[x, z]
Im(z)
therefore
1
|
z
f () d|
[x, z]
1
M
( sup |f ()|)y
y0
|x| [x, z]
|x|
as y 0. It follows that
C(f ) (x) = lim C(f )(z) =
y0
1
x
f (u) du =
0
1
x
x
0
f (u) du
13
!
Z x
Z z+s(1+i)
Z x+s
f ()
f ()
f ()
=
d + lim
d +
d .
s
z
x+s
x
For the first integral inside the limit it is clear that
Z x+s
Z +
f ()
f (u)
lim
d =
du.
s x
u
x
R z+s(1+i) f ()
Write I(s) = x+s
d, the second integral inside the limit, then
Z y+s
f (x + s + it)
i dt|
|I(s)| = |
x + s + it
0
Z y+s
|f (x + s + it)|
dt
|x + s + it|
0
Z y+s
1
|f (x + s + it)| dt.
x+s 0
If p = 1 then the Fejer -Riesz inequality for the upper half-plane gives
Z
Z y+s
1
1
|f (x + s + it)| dt kf k1 kf k1 ,
|f (x + s + it)| dt
2
2
0
0
thus I(s)
1
2(x+s) kf k1
Cp kf kp (y + s) p +1 ,
1 +1
p
u
x
z
T (f ) (x) =
du = T(f )(x)
u
x
14
References
[BHS] A. Brown, P. R. Halmos and A. L. Shields, Ces`
aro operators, Acta Sci. Math.
(Szeged) 26 (1965) 125137.
[Du] P. L. Duren, Theory of H p Spaces, Pure and Applied Mathematics, Vol. 38 Academic Press, New York-London 1970.
[DS] N. Dunford and J. T. Schwartz, Linear Operators, Part I, Pure and Applied Mathematics, Vol. 7 Interscience Publishers, Inc., New York, 1958.
[Ga]
J. B. Garnett, Bounded Analytic Functions, Pure and Applied Mathematics, Vol.
96, Academic Press, Inc. New York-London, 1981.
[HLP] G. Hardy, J. Littlewood and G. Polya, Inequalities, 2d ed., Cambridge University
Press, 1952.
[Ho]
K. Hoffman, Banach Spaces of Analytic Functions, Reprint, Dover Publications,
Inc., New York, 1988.
[Ma1] V. Matache, Composition operators on Hardy spaces of a half-plane, Proc. Amer.
Math. Soc. 127 (1999), 14831491.
[Ma2] V. Matache, Weighted composition operators on H 2 and applications, Complex
Anal. Oper. Theory 2 (2008), 169197.
[Pa]
A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential
Equations, Applied Mathematical Sciences, Vol. 44, Springer-Verlag, New York,
1983.
[Si]
A. G. Siskakis, Composition semigroups and the Ces`
aro operator on H p , J. London
Math. Soc. (2) 36 (1987), 153-164.
[Zy]
A. Zygmund, Trigonometric Series I & II, 3rd edition, Cambridge Mathematical
Library, Cambridge University Press, 2002.
Department of Mathematics, University of Thessaloniki, 54124 Thessaloniki,
Greece
E-mail address: arvanit@math.auth.gr
Department of Mathematics, University of Thessaloniki, 54124 Thessaloniki,
Greece
E-mail address: siskakis@math.auth.gr