GENERALIZED COMPOSITION OPERATORS ON ZYGMUND-ORLICZ TYPE SPACES AND BLOCH-ORLICZ TYPE SPACES

GENERALIZED COMPOSITION OPERATORS ON
ZYGMUND-ORLICZ TYPE SPACES AND BLOCH-ORLICZ TYPE
SPACES∗
CONGLI YANG1 , FANGWEI CHEN2 AND PENGCHENG WU3
Abstract. The boundedness and compactness of a generalized composition
operators on Zygmund-Orlicz type spaces and Bloch-Orlicz type spaces are
established in this paper.
1. introduction
Let D be a unit disk in complex plane C, H(D) be the space of all holomorphic
functions on D with the topology of uniform convergence on compact subsets of D.
The Bloch space, B, consists of all functions f ∈ H(D) for which
||f ||b := sup(1 − |z|2 )|f 0 (z)| < ∞.
(1.1)
z∈D
B becomes a Banach space when it is equiped with the norm ||f ||B := |f (0)| + ||f ||b
(see e.g., [3]).
Let α > 0, the α-Bloch space, denoted as B α , consists of all holomorphic functions f on D such that
(1.2)
||f ||α := sup(1 − |z|2 )α |f 0 (z)| < ∞.
z∈D
α-Bloch space is introduced and studied by numerous authors. The general theory
of α-Bloch fucntion spaces refer to [20]. Recently, many authors studied different
class of Bloch-type spaces, where the typical weight function, w(z) = 1 − |z|2 (z ∈
D) is replaced by a bounded continuous positive function µ defined on D. More
precisely, a function f ∈ H(D) is called a µ-Bloch function, denoted as f ∈ B µ , if
||f ||µ := sup µ(z)|f 0 (z)| < ∞.
(1.3)
z∈D
α
Clearly, if µ(z) = w(z) with α > 0, B µ is just the α-Bloch space B α . It is readily
to see that B µ is a Banach space with the norm
||f ||Bµ := |f (0)| + ||f ||µ .
µ
B spaces appears in the literature of a natural way when one studies the properties
of some operators of holomorphic functions in a certain spaces. For instance, Attele
in [1] proves that the Hankel operator induced by a function f in the Bergman space
2010 Mathematics Subject Classification. Primary 47B33; Secondary 30H99.
Key words and phrases. Zygmud-Orlicz type space, Bloch-Orlicz type space, Generalized composition operators.
∗ The work is supported in part by CNSF (Grant No. 111010997, Grant No.11161007 and
Grant No. 11171080), Guizhou Foundation for Science and Technology (Grant No. [2012] 2273
and No. [2014] 2044), Guizhou technology foundation for selected overseas scholars, and Ph.D
research foundation of Guizhou Normal University.
1
2
CONGLI YANG1 , FANGWEI CHEN2 AND PENGCHENG WU3
z
is bounded if and only if f ∈ B µ1 (where µ1 = w(z) log w(z)
, with z ∈ D). The space
µ1
B is known as the Log-Bloch space or the weighted Bloch space. The logarithmic
Bloch-type space is introduced by Krantz and Stevi´c [6, 16], where some properties
of this space are studied. In the last decade, there were a big interest in the
investigation of Bloch-type spaces and various concrete linear operators L : X → Y ,
where at least one of the spaces X and Y is Bloch space. For some other recent
results in the areas, see for example [6, 8, 11, 12, 14, 22] and a lot of reference
therein.
Recently, Ramos-Fern´
andz in [12] use Young’s functions to define the BlochOrlicz space as a generalization of Bloch space. More precisely, let ϕ : [0, ∞) →
[0, ∞) be an N -function, that is, ϕ is a strictly increasing convex function such that
t
= lim ϕ(t)
= 0. The Bloch-Orlicz space associated to the
ϕ(0) = 0 and lim ϕ(t)
t
t→∞
t→0
function ϕ, denoted as B ϕ , is the class of all analytic functions f ∈ D such that
(1.4)
sup(1 − |z|2 )ϕ(λ|f 0 (z)|) < ∞,
z∈D
for some λ > 0 depending on f . Without loss of generality, we can suppose that ϕ−1
is continuously and differentiable. In fact, if ϕ−1 is not differentiable everywhere,
we set the function
Z t
ϕ(x)
(1.5)
ψ(t) =
dx
(t ≥ 0),
x
0
then ϕ is differentiable, whence ψ −1 is differentiable everywhere on [0, ∞). Furthermore, ϕ is a strictly increasing and convex function satisfying ϕ(0) = 0, then
the function ϕ(t)
t , t > 0, is increasing and
Z t
t
ϕ(x)
ϕ(t) ≥ ψ(t) ≥
dx ≥ ϕ
(1.6)
,
x
2
t/2
for all t ≥ 0. Hence B ϕ = B ψ . By the convexity of ϕ, it is not difficult to see that
the Minkowski’s functional
0
f
ϕ
(1.7)
≤1 ,
||f ||b = inf k > 0 : Sϕ
k
defines a seminorm for B ϕ , which in this case is known as Luxemburg’s seminorm,
where
(1.8)
Sϕ (f ) := sup (1 − |z|2 )ϕ(|f (z)|).
z∈D
In fact, it can be shown that B ϕ is a Banach space with the norm
(1.9)
||f ||Bϕ = |f (0)| + ||f ||bϕ .
We observe that for any f ∈ B ϕ \ {0}, the following relation
f0
(1.10)
Sϕ
≤ 1,
||f ||Bϕ
holds.
The inequality above allow us to obtain
1
0
−1
(1.11)
|f (z)| ≤ ϕ
||f ||Bϕ ,
1 − |z|2
GENERALIZED COMPOSITION OPERATORS
3
for all f ∈ B ϕ and for all z ∈ D. This last inequality implies that the evaluation
function defined as Tz (f ) := f (z), where z ∈ D is fixed and f ∈ B ϕ is continuous
on B ϕ . In fact, let z ∈ D be fixed and any f ∈ B ϕ , we have
Z
|Tz (f )| = |f (z)| ≤ |f (0)| +
|f 0 (s)||ds|
[0,z]
≤
(1.12)
1
Z
−1
1+
ϕ
0
1
1 − |z|2 t2
dz ||f ||Bϕ .
Form the definition of Luxemburg seminorm and the expression (1.10), we have
Sϕ (f 0 ) ≤ 1 ⇐⇒ ||f ||Bϕ ≤ 1,
(1.13)
for any f ∈ B ϕ .
As an easy consequence of (1.10), we have that the Bloch-Orlicz space is isometrically equal to µ-Bloch space when
1
(1.14)
,
µ(z) = −1
1
ϕ ( 1−|z|
2)
with z ∈ D. Thus, for any f ∈ B ϕ , we have
||f ||Bϕ = sup µ(z)|f 0 (z)|.
z∈D
Denote by Z the class of all f ∈ H(D) ∩ C(D) such that
|f (ei(θ+h) ) + f (ei(θ−h) ) − 2f (eiθ )|
< ∞,
h
where the supremum is taken over all eiθ ∈ ∂D and h > 0. From the Theorem of
Zygmund (see [5], Theroem 5.3) and the closed graph Theorem, we see that f ∈ Z
if and only if supz∈D (1 − |z|2 )|f 00 (z)| < ∞. It is easy to see that Z is a Banach
space under the norm || · ||Z , where
(1.15)
(1.16)
||f || = sup
||f ||Z = |f (0)| + |f 0 (0)| + sup(1 − |z|2 )|f 00 (z)|.
z∈D
From (1.16) it is easy to obtain
(1.17)
|f 0 (z) − f 0 (0)| ≤
1
1 + |z|
||f ||Z log
2
1 − |z|
f or f ∈ Z.
For some other information and operators on this space, see, for example, [8, 9, 10].
Inspired by the way as Bloch-Orlicz spaces were defined (see [12, 13]), we define
the Zygmund-Orlicz space, which is denoted by Z ϕ , is the class of all analytic
functions f in D such that
(1.18)
sup(1 − |z|2 )ϕ(λ|f 00 (z)|) ≤ ∞,
z∈D
for some λ > 0 depending on f . The same as the Bloch-Orlicz space, since ϕ is
convex, it is not difficult to see that the Minkowski functional
00 f
(1.19)
||f ||zϕ = inf{k > 0 : Sϕ
≤ 1},
k
defines a seminorm for Z ϕ . Furthermore, it can be shown that Z ϕ is a Banach
space with the norm
(1.20)
||f ||Z ϕ = |f (0)| + |f 0 (0)| + ||f ||zϕ .
CONGLI YANG1 , FANGWEI CHEN2 AND PENGCHENG WU3
4
It is easily obtained that the following useful lemmas.
Lemma 1.1. [18] If f ∈ Z, then
(1.21)
(1.22)
(i),
(ii),
|f (z)| ≤ ||f ||Z
e
|f (z)| ≤ log(
)||f ||Z
1 − |z|2
0
f or every z ∈ D,
f or every z ∈ D.
Also we can observe the following property:
Lemma 1.2. For any f ∈ Z ϕ \ {0}, the following relation
f 00
Sϕ
(1.23)
≤1
||f ||Z ϕ
holds.
Proof. The same way as the case of Bloch-Orlicz space, so the details are omitted
here.
Lemma 1.2 allows us to obtain that
(1.24)
00
−1
|f (z)| ≤ ϕ
1
1 − |z|2
||f ||Z ϕ ,
for all f ∈ Z ϕ and all z ∈ D.
From the definition of Luxemburg Seminorm and the expression (1.23), we have
(1.25)
Sϕ (f 00 ) ≤ 1 ⇐⇒ ||f ||Z ϕ ≤ 1.
Also, as an easy consequence of (1.23), we have that Zygmund-Orlicz space is
isometrically equal to µ-Zygmund space, where µ(z) = −1 1 1 with z ∈ D.
ϕ
1−|z|2
µ
More information about Z , see [11, 21, 22].
Specially, if ϕ is an N -function such that
Z 1
1
Iϕ (z) =
(1.26)
ϕ−1
dt,
1 − |z|2 t2
0
is bounded for all z ∈ D. Then we get Z ϕ ⊂ H ∞ , the space of all bounded analytic
functions on D. However, there exists N -functions for which Iϕ (z) is not a bounded
function, for instance, consider ϕ(t) = t log(1 + t) with t ≥ 0.
Let φ be an analytic self-map of D, then the composition operator on H(D) is
given by
(1.27)
Cφ f = f ◦ φ.
Composition operators acting on various spaces of analytic functions have been
the object for recent years. Especially, the problems of relating operator-theoretic
properties of Cφ to function-theoretic properties of φ are interesting and been widely
discussed. See the book of Cowen and Maccuer [4] and Shapiro [14] for discussions
of composition operators classical spaces of analytic functions.
Assume that g : D → C be a holomorphic map of the disk D, for f ∈ H(D), we
define a linear operator as follows
Z z
(Cφg f )(z) =
f 0 (φ(ξ))g(ξ)dξ,
z ∈ D.
0
The operator Cφg is called the generalized composition operator, when g = φ0 .
We see that this operator is essentially composition operator, since the difference
GENERALIZED COMPOSITION OPERATORS
5
Cφg − Cφ is constant. Therefore, Cφg is a generalization of the composition operator,
which was introduced in [8].
Recall that if X and Y are Banach spaces, and L : X → Y be a linear operator, then L is said to be compact if for every bounded sequence {xn } in X, the
sequence(L{xn }) has a convergent subsequence. The book [4] contains plenty of information on this topic. By the standard arguments (see, for example, Proposition
3.11 in [4] ), the following lemma follows.
Lemma 1.3. Let ϕ : [0, ∞) → [0, ∞) be an N -function, g ∈ H(D) and φ be an
analytic self-map of D. Let X = Z, Y = B ϕ or Z ϕ . Then Cφg : X → Y is compact
if and only if Cφg : X → Y is bounded and for any bounded sequence (fk )k∈N in
X which converges to Zero uniformly on D as k → ∞, we have ||Cφg fk ||Y → 0 as
k → ∞.
Some characterization of the boundedness and compactness of the composition
operator, as well as Volterra type operator, on Bloch-Orlicz-type space and Zygmund space can be found in [2, 7, 15, 17, 19, 20]. In [8], the boundedness and
compactness of the generalized composition operator on Zygmund space and Bloch
type spaces are characterized by Songxiao Li and Stevo Stevi´c.
In this paper, we devote to investigating the boundedness and compactness
of generalized composition operators between Zygmound-Orlicz type spaces and
Bloch-Orlicz type spaces. The paper is organized as follows. In section 2 we give
the necessary and sufficient conditions for the boundedness and compactness of the
operator Cφg : Z → B ϕ . Section 3 we obtain the necessary and sufficient conditions
for the boundedness and compactness of the operator Cφg on Zygmund type spaces.
Throughout this paper, we use the letter C to denote a generic positive constant
that can change its value at each occurrence. The notation a ≤ b means that there
is a positive constant C such that a ≤ Cb. If a ≤ b and b ≤ a hold, then one says
that a b.
2. the boundedness and compactness of Cφg : Z → B ϕ
Now, we are ready to state and prove the main results in this section.
Theorem 2.1. Let ϕ : [0, ∞) → [0, ∞) be an N -function, g ∈ H(D) and φ be an
analytic self-map of D. Then Cφg : Z → B ϕ is bounded if and only if
(2.1)
L := sup ϕ−1
z∈D
1
1 − |z|2
−1
|g(z)| log
e
1 − |φ(z)|2
< ∞.
Proof. Suppose that (2.1) holds. For arbitrary z ∈ D and f ∈ Z, by Lemma 1.1,
we have the following estimate.
CONGLI YANG1 , FANGWEI CHEN2 AND PENGCHENG WU3
6
Sϕ
(Cφg f )0 (z)
!
2
= sup(1 − |z| )ϕ
L||f ||Z
z∈D
|f 0 (φ(z))||g(z)|
L||f ||Z
|f 0 (φ(z))|
1
)
≤ sup(1 − |z| )ϕ ϕ (
e
2
1 − |z| log( 1−|φ(z)|
2 )||f ||Z
z∈D
1
)
≤ sup(1 − |z|2 )ϕ ϕ−1 (
1 − |z|2
z∈D
≤ 1.
!
−1
2
Where we use the Lemma 1.1 (the relation (ii)) in the last inequality. From here,
we can conclude that ||Cφg ||ϕ ≤ L||f ||Z . Since Cφg f (0) = 0, it follows that the
generalized composition operators Cφg : Z → B ϕ is bounded.
Now, suppose that there exists a constant C > 0 such that
||Cφg ||ϕ ≤ C||f ||Z
f or all f ∈ Z.
Let
"
h(z) = (z − 1)
(2.2)
#
e
1 + log
1−z
2
log
−1
+1 ,
and put
(2.3)
fa (z) =
h(az)
a
e
1 − |a|2
,
√
for any a ∈ D such that 1/ 2 < |a| < 1. Then we have
2 −1
e
e
0
log
(2.4)
fa (z) = log
,
1 − az
1 − |a|2
and
fa00 (z)
2a
=
1 − az
e
log
1 − az
log
e
1 − |a|2
−1
.
Which implies that
|fa00 (z)|
2
≤
1 − |z|
e
C + log
1 − |a|
log
e
1 − |a|2
−1
≤
2
,
1 − |z|
√
for 1/ 2 < |a| < 1 and sup1/√2<|a|<1 ||fa ||Z < ∞. Therefore we have
(2.5)
||Cφg fa ||ϕ ≤ C||fa ||Z ≤ L < ∞.
It follows that
Sϕ
(Cϕg fa )0 (z)
L
That is
2
(1 − |z| )ϕ
≤ 1.
(Cϕg fa )0 (z)
L
≤ 1,
for any a ∈ D. But, on the other hand,
|g(z)| 0
1
ϕ
|fa (φ(z))| ≤
,
L
1 − |z|2
GENERALIZED COMPOSITION OPERATORS
then
|g(z)| 0
|fa (φ(z))| ≤ ϕ−1
L
1
1 − |z|2
7
.
So we have
−1
1
|g(z)||fa0 (φ(z))| ≤ L,
1 − |z|2
for all a ∈ D. In particular for a = φ(z), we have
−1
e
1
|g(z)| log
≤ L.
ϕ−1
1 − |z|2
1 − |φ(z)|2
ϕ−1
This conclude the proof of the theorem.
Theorem 2.2. Let ϕ : [0, ∞) → [0, ∞) be an N -function, g ∈ H(D) and φ be an
analytic self-map of D. Then Cφg : Z → B ϕ is compact if and only if Cφg : Z → B ϕ
is bounded and
e
(2.6)
lim µ(z)|g(z)| log
= 0.
1 − |φ(z)|2
|φ(z)|→1
Proof. First assume that Cφg : Z → B ϕ be bounded and (2.6) holds. By the
boundedness of Cϕg with f (z) = z, we see that
L := sup µ(z)|g(z)| < ∞.
(2.7)
z∈D
Let {fn } be a sequence in Z such that supn∈N ||fn ||Z ≤ K and fn → 0 uniformly
on compact subsets of D as n → ∞. Then by Lemma 1.3, it is suffices to show
that ||Cφg fn ||µ → 0 as n → ∞. By (2.6), we have that for every ε > 0, there is a
constant r ∈ (0, 1), such that r < |φ(z| ≤ 1, which implies
e
ε
µ(z)|g(z)| log
< ,
1 − |φ(z)|2
k
for any z ∈ D. From here, we have that
µ(z)|(Cφg fn )0 (z)| = µ|g(z)||fn0 (φ(z))|
e
||fn ||Z ≤ ε,
≤ µ(z)|g(z)| log
1 − |φ(z)|2
wherer < |φ(z)| < 1.
On the other hand, let Ω = {ω ∈ D : |ω| ≤ r}, by the cauchy estimate, if
{fn }n∈N is a sequence converging to zero on compact subsets of D, then the sequence {fn0 }n∈N also converges to zero on compact subsets of D as n → ∞. In
particular, since Ω is compact, it follows that lim sup |fn0 (ω)| = 0. Using these
n→∞ ω∈Ω
facts and letting n → ∞, we obtain
sup µ(z)|(Cφg fn )0 (z)| =
|φ(z)|≤r
sup µ(z)|g(z)|fn0 (z)|
|φ(z)|≤r
≤ L sup |fn0 (ω)| → 0.
as n → ∞.
ω∈Ω
Since (Cφg fn )(0) → 0 as n → ∞, for given ε > 0, there exists an n ∈ N , such that
||Cφg fn ||µ = |Cφg fn (0)| + sup µ(z)|(Cφg fn )0 (z)| ≤ 3ε,
z∈D
whenever n ≥ N , which means that
Cφg
: Z → B ϕ is a compact operator.
CONGLI YANG1 , FANGWEI CHEN2 AND PENGCHENG WU3
8
To prove the convese, suppose that there exists an ε0 > 0 such that
e
sup µ(z)|g(z)| log
≥ ε0 ,
1 − |φ(z)|2
|φ(z)|≥r
for any r ∈ (0, 1). Given a sequence of real number {rn } ⊂ (0, 1) such that rn → 1
as n → ∞. We can find a sequence {zn } ⊂ D such that |φ(zn )| ≥ rn and
1
e
≥ ε0 ,
µ(zn )|g(zn )| log
2
1 − |ω|
2
where ωn = φ(zn ), if necessary, we may suppose that |ωn | → 1 as n → ∞.
Note that fa , defined by (2.3), converges to zero uniformly on compact subset
of D as |a| → 1 and
e
,
f or a ∈ D \ {0}.
fa0 (a) = log
1 − |a|2
Now, we choose functions {fn }n∈N defined by
"
#
2
−1
wn z − 1
e
e
fn (z) =
+ 1 log
.
1 + log
w
1 − wn z
1 − |wn |2
From the proof of Theorem 2.1, we see that
sup ||f ||Z ≤ C.
(2.8)
n∈N
Moreover, we can see that {fn } converges to zero uniformly on compact subsets of
D, and satisfying
(2.9)
||Cφg fn ||µ
≥
µ(zn )|g(zn )||fn0 (wn )|
= µ(zn )|g(zn )| log
e
1 − |wn |2
≥
1
ε0 > 0.
2
Therefore, Cφg : Z → B ϕ is not a compact operator. This completes the proof of
the theorem.
3. The boundedness and compactness of Cφg : Z → Z ϕ
In this section, we characterize the boundedness and compactness of the operator
Cφg on Zygmund-Orlicz type spaces.
Theorem 3.1. Let ϕ : [0, ∞) → [0, ∞) be an N -function, g ∈ H(D) and φ be an
analytic self-map of D. Then Cφg : Z → Z ϕ is bounded if and only if
|φ0 (z)||g(z)|
< ∞,
1
2)
z∈D ϕ−1
(1
−
|φ(z)|
2
1−|z|
e
0
|g (z)| log 1−|φ(z)|
2
k2 = sup
< ∞.
1
2
z∈D ϕ−1
1−|z|2 (1 − |φ(z)| )
k1 = sup
(3.1)
Proof. Suppose first that (3.1) holds. For each f ∈ Z, we have the following
estimate.
GENERALIZED COMPOSITION OPERATORS
(Cφg f )00 (z)
!
9
|f 00 (φ(z))||g(z)| + |f 0 (φ(z))||g 0 (z)|
Sϕ
≤ sup(1 − |z| )ϕ
||f ||Z
C||f ||Z
z∈D
 


1
1
ϕ−1 1−|φ(z)|
ϕ−1 1−|φ(z)|
|f 00 (φ(z))||φ0 (z)||g(z)|
|f 0 (φ(z))||g 0 (z)|
2
2
+

= sup(1 − |z|2 )ϕ 
1
1
z∈D
ϕ−1 1−|z|
C||f ||Z
ϕ−1 1−|z|
C||f ||Z
2
2
!
1
1
2
00
0
k1 ϕ−1 ( 1−|z|
k2 ϕ−1 ( 1−|z|
2 )(1 − |φ(z)| )|f (φ(z))|
2 )|f (φ(z))|
2
≤ sup(1 − |z| )ϕ
+
e
C||f ||Z
log( 1−|φ(z)|
2 )C||f ||Z
z∈D
k1 C1 + k2 C2 −1
1
= sup(1 − |z|2 )ϕ
ϕ
C
1
−
|z|2
z∈D
1
≤ sup(1 − |z|2 )ϕ ϕ−1
1 − |z|2
z∈D
= 1.
2
Where C1 and C2 are constants, such that k1 C1 + k2 C2 ≤ C. Here we use the
relation (1.24) and (1.22) in the last seconded inequality. Now, we can conclude
that
||Cφg f ||Z φ ≤ C||f ||Z ,
(3.2)
and the generalized composition operators Cφg : Z → Z is bounded.
Now assume that Cφg : Z → Z is bounded, i.e., there exists a constant C such that
||Cφg f ||Z φ ≤ C||f ||Z for all f ∈ Z. Taking the functions f (z) = z and f (z) = z 2 ,
respectively, we obtain
0
|g (z)|
2
(1 − |z| )ϕ
≤ 1.
C
Which implies
(3.3)
sup
z∈D
|g 0 (z)|
< ∞,
ϕ−1
1
1−|z|2
and
2
(1 − (|z| ))ϕ
Then
|φ0 (z)||g(z)| + |φ(z)||g 0 (z)|
C(1 − |z|2 )
≤ 1.
|φ0 (z)||g(z)| + |φ(z)||g 0 (z)|
≤ C.
1
ϕ−1 1−|z|
2
So we obtain
sup
z∈D
|φ0 (z)||g(z)| + |φ(z)||g 0 (z)|
≤ ∞.
1
ϕ−1 1−|z|
2
Using these facts and the boundedness of the function φ(z) we get
(3.4)
sup
z∈D
|φ0 (z)||g(z)|
< ∞.
1
ϕ−1 1−|z|
2
CONGLI YANG1 , FANGWEI CHEN2 AND PENGCHENG WU3
10
Let h(z) = (z − 1)
1 + log
e
1−z
2
+ 1 and put fa (z) =
h(az)
a
log
e
1−|a|2
−1
for
a ∈ D such that |a| > 1/2. We have

(1 − |λ|2 )ϕ 
|g 0 (λ)| log
e
1−|φ(z)|2
|φ(λ)|
− 2|φ0 (λ)||g(λ)| 1−|φ(z)|
2
C||Cφg ||Z→Z ϕ

 ≤ 1.
Then

|g 0 (λ)| log
e
1−|φ(z)|2
|φ(λ)|
− 2|φ0 (λ)||g(λ)| 1−|φ(z)|
2
C||Cφg ||Z→Z ϕ


 ≤ ϕ−1
1
1 − |λ|2
,
e
|g 0 (λ)| log 1−|φ(λ)|
2
|φ0 (λ)||g(λ)||φ(λ)|
−2
≤ C||Cφg ||Z→Z ϕ .
1
1
−1
2)
ϕ−1 1−|λ|
ϕ
(1
−
|φ(λ)|
2
1−|λ|2
So we obtain
(3.5)
e
|g 0 (λ)| log 1−|φ(λ)|
2
|φ0 (λ)||g(λ)||φ(λ)|
≤ C||Cφg ||Z→Z ϕ + 2
.
1
1
ϕ−1 1−|λ|
ϕ−1 1−|λ|
(1 − |φ(λ)|2 )
2
2
Set
(3.6)
ha (z) =
h(az)
a
log
1
1 − |a|2
−1
Z
−
z
log
0
1
dw,
1 − aw
for a ∈ D, such that |a| > 1/2. Then,
2 −1
1
1
e
0
ha (z) = log
(3.7)
log
,
− log
2
1 − az
1 − |a|
1 − az
and
(3.8)
h00a (z) =
2a
1 − az
log
1
1 − az
log
1
1 − |a|2
−1
−
a
.
1 − az
Similar to the case of fa , we have ha ∈ Z and M1 = sup1/2<|a|<1 ||ha ||Z < ∞.
a
From this and by the facts that h0a (a) = 0, h00a (a) = (1−|a|
2 ) , it follows that
C||Cφg ||Z→Z ϕ ≥
(3.9)
|φ0 (λ)||g(λ)||φ(λ)|
.
1
ϕ−1 1−|λ|
(1 − |φ(λ)|2 )
2
From (3.9) we have
|φ0 (λ)||g(λ)||φ(λ)|
|φ0 (λ)||g(λ)||φ(λ)|
<2
1
1
2
|φ(λ)|>1/2 ϕ−1
ϕ−1 1−|λ|
(1 − |φ(λ)|2 )
2
1−|λ|2 (1 − |φ(λ)| )
sup
≤
(3.10)
sup
|φ(λ)|>1/2
C||Cφg ||Z→Z ϕ < ∞.
By (3.4) we see that
(3.11)
sup
|φ(λ)|≤1/2
ϕ−1
4 |φ0 (λ)||g(λ)|
|φ0 (λ)||g(λ)|
< ∞.
≤ sup
1
1
2
|φ(λ)|≤1/2 3 ϕ−1
1−|λ|2 (1 − |φ(λ)| )
1−|λ|2
GENERALIZED COMPOSITION OPERATORS
11
From (3.10) and (3.11) we obtain the first inequality of (3.1). Similarly, from (3.3)
and (3.5) the second inequality in (3.1) follows as desired.
Theorem 3.2. Let ϕ : [0, ∞) → [0, ∞) be an N -function, g ∈ H(D) and φ be an
analytic self-map of D. Then Cφg : Z → Z ϕ is compact if and only if Cφg : Z → Z ϕ
is bounded and
|φ0 (z)||g(z)|
lim
= 0,
1
|φ(z)|→1 ϕ−1
2
1−|z|2 (1 − |φ(z)| )
e
|g 0 (z)| log 1−|φ(z)|
2
= 0.
1
|φ(z)|→1
ϕ−1 1−|z|
2
(3.12)
lim
Proof. Suppose that Cφg : Z → Z ϕ be compact. It is clear that Cφg : Z → Z is
bounded. Let {Zn }n∈N be a sequence in D such that |φ(zn )| → 1 as n → ∞ and
(fn )n∈N be defined by
"
#
−1
φ(zn )z − 1
e
e
(3.13)
.
1 + log
log
fn (z) =
1 − |φ(zn )|2
φ(zn )
1 − φ(zn )z
Then supn∈N ||fn ||Z < ∞, and fn → 0 uniformly on compact subsets of D as
n → ∞. Since Cφg : Z → Z ϕ is compact, it gives limn→∞ ||Cφg fn ||Z ϕ = 0. Note
that
e
fn0 (φ(zn )) = log
,
1 − |φ(zn )|2
fn00 (φ(zn )) =
2φ(zn )
.
1 − |φ(zn )|2
We have
(3.14)
||Cφg fn ||Z ϕ ≥
e
|g 0 (zn )| log 1−|φ(z
2
|φ0 (zn )||g(zn )||φ(zn )|
n )| ,
−
1
1
ϕ−1 1−|zn |2 (1 − |φ(zn )|2 )
ϕ−1 1−|zn |2
and consequently,
(3.15)
e
|g 0 (zn )| log 1−|φ(z
2
|φ0 (zn )||g(zn )||φ(zn )|
n )| .
= lim
lim
1
1
|φ(zn )|→1 ϕ−1
|φ(z
)|→1
2
−1
n
ϕ
1−|zn |2 (1 − |φ(zn )| )
1−|zn |2
If one of these two limits exists, set
(3.16)
hn (z) =
h(φ(zn )z)
φ(zn )
log
e
1 − |φ(zn )|2
−1
− log
e
1 − |φ(zn )|2
−2 Z
0
z
log3
e
1 − φ(zn )w
then, h0n (φ(zn )) = 0, supn∈N ||hn ||Z ≤ C and hn converges to 0 uniformly on
compact subsets of D as n → ∞. Since Cφg : Z → Z ϕ is compact, we have
lim ||Cφg hn ||Z ϕ = 0.
n→∞
On the other hand,
|φ0 (zn )||g(zn )||φ(zn )|
≤ ||Cφg hn ||Z ϕ .
ϕ−1 1−|z1 n |2 (1 − |φ(zn )|2 )
dw,
CONGLI YANG1 , FANGWEI CHEN2 AND PENGCHENG WU3
12
Hence
|φ0 (zn )||g(zn )||φ(zn )|
= 0.
n→∞ −1
1
2
ϕ
1−|zn |2 (1 − |φ(zn )| )
lim
Therefore
|φ0 (zn )||g(zn )||φ(zn )|
|φ0 (zn )||g(zn )||φ(zn )|
= lim
= 0.
1
1
k→∞ −1
|φ(zn )|→1 ϕ−1
2
2
ϕ
1−|zn |2 (1 − |φ(zn )| )
1−|zn |2 (1 − |φ(zn )| )
lim
This together with (3.15) imply
e
|g 0 (zn )| log 1−|φ(z
2
n )| = 0.
lim
1
|φ(zn )|→1
−1
ϕ
1−|zn |2
(3.17)
The implication follows from the last two equalities.
Conversely, assume that Cφg : Z → Z ϕ be bounded and (3.12) holds. From the
proof of Theorem 3.1 we have
C1 = sup
z∈D
C2 = sup
(3.18)
z∈D
|g 0 (z)|
< ∞,
ϕ−1
1
1−|z|2
|φ0 (z)||g 0 (z)|
< ∞.
1
ϕ−1 1−|z|
2
On the other hand, from (3.12) we have that for every ε > 0, there is a δ ∈ (0, 1),
such that
e
|g 0 (z)| log 1−|φ(z)|
2
|φ0 (z)||g(z)|
< ε,
(3.19)
< ε and
ϕ−1 1−|z1 n |2 (1 − |φ(zn )|2 )
ϕ−1 1−|z1 n |2
when δ < |φ(z)| < 1.
Assume that {fn }n∈N be a sequence in Z such that supn∈N ||fn ||Z ≤ 1 and fn
converges to 0 uniformly on compact subsets of D as n → ∞. Let k = {z ∈ D :
|φ(z) ≤ δ|}. Then by (3.18) and (3.19) it follows that


g
00
0
0
0
00
|(C
f
)
(z)|
n
(φ(z))||g
(z)|
(φ(z))||φ
(z)||g(z)|
+
|f
|f
φ

= sup  n
n
||Cφg fn ||Z ϕ = sup
1
1
−1
z∈D ϕ−1
z∈D
ϕ
1−|z|2
1−|z|2
!
|fn00 (φ(z))||φ0 (z)||g(z)| + |fn0 (φ(z))||g 0 (z)|
≤ sup
1
ϕ−1 ( 1−|z|
z∈K
2)


0
00
0
0
(φ(z))||g
(z)|
|f
(φ(z))||φ
(z)||g(z)|
+
|f

n
+ sup  n
1
z∈D\K
ϕ−1 1−|z|
2
≤ C2 sup |fn00 (φ(z))| + C1 sup |fn0 (φ(z))| + C sup
z∈K
+ C sup
z∈D\K
z∈K
z∈D\K
e
|g 0 (z)| log 1−|φ(z)|
2
||fn ||Z
1
ϕ−1 1−|zn |2
≤ C2 sup |f 00 (w)| + C1 sup |fn0 (w)| + 2CεL.
|w|≤δ
|w|≤δ
ϕ−1
|φ0 (z)||g(z)|
||fn ||Z
1
(1 − |φ(zn )|2 )
2
1−|zn |
GENERALIZED COMPOSITION OPERATORS
13
So we obtain
(3.20)
||Cφg fn ||Z ϕ
(3.21)
=
|fn0 (φ(0))||f (0)|
|(Cφg fn )00 (z)|
+ sup
1
z∈D ϕ−1
1−|z|2
≤ C2 sup |fn00 (w)| + C1 sup |fn0 (w)| + 2Cε||fn ||Z + |fn0 (φ(0))||g(0)|.
|w|≤δ
|w|≤δ
By the Cauchy estimate, if {fn }n∈N is a sequence converging to zero on compact
subsets of D, then the sequence {fn }n∈N and {fn00 }n∈N also converges to zero on
compact subsets of D as n → ∞. In particular, since K is compact it follows that
limn→∞ supw∈K |fn0 (w)| = 0 and lim supw |f 00 (w)| = 0. Using these facts and
n→∞
letting n → ∞ in the last inequality, we obtain that
(3.22)
lim ||Cφg ||Z ϕ ≤ 2CεL.
n→∞
Since ε is an arbitrary positive number it follows that the last limit is equal to zero.
Employing Lemma 1.3 the implication follows.
Conflict of Interests: The authors declare that there is no conflict of interests
regarding the publication of this paper.
Acknowledgements: We would like to thank Professor Shengjian Wu for helpful conversations. Part of the work was done during the author stay at Peking
University, in the spring of 2014. We also thank the referee for some very valuable suggestions and comments that significantly improved the presentation of the
paper.
References
[1] K. Attele, Toeplitz and Hankel operators on Bergman one space, Hokkaido Math. J. 21
(1992), no. 2, 279–293.
[2] B. Choe, H. Koo, and W. Smith, Composition operators on small spaces, Integral Equations
and Operator Theory 56 (2006), no. 3, 357–380.
[3] J. Claunie, J. Anderson, and Chr. Pommerenke, On Bloch functions and normal functions,
J. Reine Angew. Math. 270 (1974), 12–37.
[4] C. Cowen Jr and B. MacCluer, Composition operators on spaces of analytic functions, vol. 20,
CRC press, 1995.
[5] P. Duren, Theory of hp spaces, Courier Dover Publications, 2000.
[6] S. Krantz and S. Stevi´
c, On the iterated logarithmic Bloch space on the unit ball, Nonlinear
Anal. Theory, Methods & Applications 71 (2009), no. 5, 1772–1795.
[7] S. Li and S. Stevic, Volterra-type operators on zygmund spaces, Journal of Inequalities and
Applications 2007 (2007).
[8] S. Li and S. Stevi´
c, Generalized composition operators on Zygmund spaces and Bloch type
spaces, J. Math. Anal. Appl. 338 (2008), no. 2, 1282–1295.
, Products of volterra type operator and composition operator from h and bloch spaces
[9]
to zygmund spaces, Journal of Mathematical Analysis and Applications 345 (2008), no. 1,
40–52.
[10]
, Weighted composition operators from zygmund spaces into bloch spaces, Applied
Mathematics and Computation 206 (2008), no. 2, 825–831.
[11]
, On an integral-type operator from ω-Bloch spaces to µ-Zygmund spaces, Appl. Math.
Comput. 215 (2010), no. 12, 4385–4391.
[12] J . Ramos Fern´
andez, Composition operators on Bloch–Orlicz type spaces, Appl. Math. Comput. 217 (2010), no. 7, 3392–3402.
[13] M. Rao and Z. Ren, Theory of orlicz spaces, M. Dekker New York, 1991.
14
CONGLI YANG1 , FANGWEI CHEN2 AND PENGCHENG WU3
[14] J. Shapiro, Composition operators and classical function theory, Springer-Verlag New York,
1993.
[15] S. Stevi´
c, On an integral operator on the unit ball in ? n, Journal of Inequalities and
Applications 2005 (1900), no. 1, 81–88.
[16]
, On new Bloch-type spaces, Appl. math. comput. 215 (2009), no. 2, 841–849.
[17] J. Xiao, Riemann–stieltjes operators on weighted bloch and bergman spaces of the unit ball,
Journal of the London Mathematical Society 70 (2004), no. 1, 199–214.
[18] S. Ye and Q. Hu, Weighted composition operators on the zygmund space, Abstract and applied
analysis, vol. 2012, Hindawi Publishing Corporation, 2012.
[19] R. Yoneda, The composition operators on weighted bloch space, Archiv der Mathematik 78
(2002), no. 4, 310–317.
[20] K. Zhu, Bloch type spaces of analytic functions, Rocky Mountain J. Math. 23 (1993).
[21] X. Zhu, Extended Ces`
aro opperators from H ∞ to Zygmund type spaces in the unit ball, J.
Comput. Anal. Appl. 11 (2009), no. 2, 356–363.
[22]
, Integral-type operators from iterated logarithmic Bloch spaces to Zygmund-type spaces, Appl. Math. Comput. 215 (2009), no. 3, 1170–1175.
1, 3. School of Mathematics and Computer Science, Guizhou Normal University,
Guiyang, Guizhou 550001, People’s Republic of China
E-mail address: [email protected],[email protected]
2. Department of Mathematics and Statistics, Guizhou University of Finance and
Economics, Guiyang, Guizhou 550004, People’s Republic of China.
E-mail address: [email protected]