Você está na página 1de 12

Acta Mathematica Scientia 2011,31B(1):8192

http://actams.wipm.ac.cn

DERIVATIVES OF HARMONIC MIXED NORM AND


BLOCH-TYPE SPACES IN THE UNIT BALL OF Rn
Tang Xiaomin ( )
Department of Mathematics, University of Science and Technology of China, Hefei 230026, China
Department of Mathematics, Huzhou Teachers College, Huzhou 313000, China
E-mail: txm@hutc.zj.cn
Hu Zhangjian ( )
Department of Mathematics, Huzhou Teachers College, Huzhou 313000, China
E-mail: huzj@hutc.zj.cn
Lv Xiaofen (  )
Department of Mathematics, Huzhou Teachers College, Huzhou 313000, China
E-mail: lvxf@hutc.zj.cn

Abstract Let H(B) be the set of all harmonic functions f on the unit ball B of Rn .
For 0 < p, q and a normal weight , the mixed norm space H p,q, (B) consists of all
functions f in H(B) for which the mixed norm p,q, < . In this article, we obtain some
characterizations in terms of radial, tangential, and partial derivative norms in H p,q, (B).
The parallel results for the Bloch-type space are also obtained. As an application, the
analogous problems for polyharmonic functions are discussed.
Key words Harmonic function; mixed norm space; Bloch-type space; norm; derivatives
2000 MR Subject Classication 31C05; 32A37

1 Introduction

Let B = {x Rn : |x| < 1} be the unit ball of Rn , and B = {x Rn : |x| = 1} be


its boundary. We denote by dv the Lebesgue measure on B normalized so that v(B) = 1, and
denote by d the normalized rotation invariant measure on B so that (B) = 1.
A positive continuous function on [0, 1) is called normal if there exist two positive
constants 0 < a < b, such that

(r) (r)
is decreasing and lim = 0,
(1 r)a r1 (1 r)a

(r) (r)
is increasing and lim = .
(1 r)b r1 (1 r)b
ReceivedSeptember 25, 2007; revised August 15, 2009. Supported by the NNSF of China (10771064,
10971063), the NSF of Zhejiang Province (Y6100219, Y7080197, Y6090036, D7080080), and the Innovation
Team Foundation of the Department of Education of Zhejiang Province (T200924).
82 ACTA MATHEMATICA SCIENTIA Vol.31 Ser.B

Throughout this article, will be always normal on [0, 1). Let H(B) be the family of all
harmonic functions on B. For a multi-index = (1 , 2 , , n ), x = (x1 , x2 , , xn ) B, and
|| f
f C (B), we write || = 1 +2 + +n and f (x) = x1 x 2 n . For m = 0, 1, 2, ,
1 2 xn 
let m f = ( f )||=m be the m-th gradient of f with the norm |m f (x)| = | f (x)|.
||=m

n
f 1
Let f (x) = xj x j
denote the radial derivative of f C (B). For m = 1, 2, , write
j=1
m f (x) = ( m1
f (x)). As there is no smooth non-vanishing tangential vector eld on B
for n > 2, we dene tangential derivatives by means of a family of tangential vector elds
generating all the tangential vectors. Dene Tij f of f C 1 (B) by

Tij f (x) = (xi j xj i )f (x), x B,

for 1 i < j n. Given a nontrivial multi-index , we take the notation T = Ti1 j11 Ti n
n jn

for any choice of i1 , , in and jn , , jn . Note that the radial and tangential derivatives of a
harmonic function on B are again harmonic.
Given 0 < p and 0 < r < 1, for f C(B), we write
  p1
p
Mp (f, r) = |f (r)| d() , 0 < p < ; M (f, r) = sup |f (r)|.
B B

For 0 < p, q and normal on [0, 1), the mixed norm f p,q, for f C(B) is dened as
 1  1q
q (r)
f p,q, = Mpq (f, r) dr , 0 < q < ;
0 1r

f p,, = sup Mp (f, r)(r).


0r<1
p,q,
Then, the harmonic mixed norm space H (B) is dened to be

H p,q, (B) = {f H(B) : f p,q, < }.

In the case 0 < p = q < , H p,p, (B) is just the harmonic Bergman space
   p1 
p
p, p (|x|)
A (B) = f H(B) : |f (x)| dv(x) < .
B 1 |x|

For normal on [0, 1) and f C 1 (B), set f B() = sup (|x|)|f (x)|. The harmonic -Bloch
xB
space B() is dened by

B() = f H(B) : f B() < .

Set f B = |f (0)| + f B(). It is checked that  B is a norm on B(). And the Bloch
space B() is a Banach space under the norm  B .
These spaces were originally studied in the complex variable setting, see [15] for references.
And probably, the mixed norm spaces with normal weights were rst studied systematically in
[6]. In the real variable case, the author in [7] obtained some estimates for the integral mean
of harmonic functions on the bounded domains in Rn . For the weighted harmonic Bergman
space, S. Stevic gave the following estimate in [8].
No.1 Tang et al: DERIVATIVES OF HARMONIC MIXED NORM AND BLOCH-TYPE SPACES 83

Theorem A Suppose that 1 p < and that is an admissible weight with distortion
function . Then,
 
p p
|u(x)| (x)dv(x) |u(0)| + |u(x)|p (x)p (x)dv(x)
B B
for every harmonic function u on the unit ball B.
Set    p1 
p p
b = f H(B) : |f (x)| dv(x) <
B
and  
2
B = f H(B) : sup (1 |x| )|f (x)| < .
xB
In [9], the harmonic Bergman space and Bloch space are characterized in the following way.
Theorem B Let 1 p < and m be a positive integer. Then, for f H(B), the
following conditions are equivalent:
(1) f bp ;
(2) (1 |x|2 )m m f Lp ;
(3) (1 |x|2 )m T f Lp for all with || = m;
(4) (1 |x|2 )m f Lp for all with || = m.
Theorem C Let m be a positive integer. Then, for f H(B), the following conditions
are equivalent:
(1) f B;
(2) (1 |x|2 )m m f L ;
(3) (1 |x|2 )m T f L for all with || = m;
(4) (1 |x|2 )m f L for all with || = m.
And also, the authors introduced corresponding norms and showed that all norms are
equivalent, see Theorems 5.4 and 5.5 in [9].
Let Hk (B) be the family of all polyharmonic functions of order k on B. That is, Hk (B) =
{f C (B) : k f 0}, where k is the k-th power of the Laplacian. Then, H1 (B) = H(B)
is the class of all harmonic functions on B. M. Pavlovic and S. Stevic, respectively, got some
inequality for polyharmonic functions on the unit ball of Rn , which implies certain Bergman
(and mixed) norm domination in [10, 11]. In terms of m-th gradient of f , the following theorem
was established in [12].
Theorem D Let Rn be a bounded domain with C 2 boundary and x0 . And let
0 < p, q and m be a positive integer, be normal. Then, for f Hk (),
m1

f p,q, |j f (x0 )| + m f p,q,(1r)m .


j=0

In this article, we obtain some equivalent norms on H p,q, (B) and B() with the radial,
tangential, and partial derivatives for all possible 0 < p, q . As an application of our
approach, the analogous results for the polyharmonic function are obtained. Our work extends
those results in [712].
In what follows, C will stand for a positive constant whose value may change from line to
line but not depending on the functions considered. The expression A B means C1 A B
CA.
84 ACTA MATHEMATICA SCIENTIA Vol.31 Ser.B

2 Some Preliminary Results

For a Bn and r > 0, set B(a, r) = {x Bn : |x a| < r}. The following lemma is
a consequence of the mean value property of harmonic functions and Cauchys estimate. For
detail, see [13].

Lemma 2.1 Let 0 < p < and be a multi-index. Then, there is a constant C =
C(p, n, ) such that, for all f H(B),

p C
| f (a)| n+||p |f (x)|p dv(x).
r B(a,r)

Lemma 2.2 Let 0 < p , 0 < q < , 0 < < 1 and m be a positive integer. Then,
there exists a constant C = C(p, q, m, ) such that, for all f H(B) and 0 < r < 1 ,
 r+ q
(1) sup |f (x) f (0)|q C 0
Mp (T f, s)ds;
|x|r ||=m
r+ q m
(2) sup |f (x) f (0)|q C 0 Mp ( f, s)ds.
|x|r
Proof First, we claim that, for 0 < p < ,


p
sup |f (x) f (0)| C |T f (x)|p dv(x). (2.1)
|x|r |x|r+
||=m

The proof goes as that of Proposition 5.2 in [9]. In fact, we notice that the inequality |f (x)

f (0)|p C sup |Tij f |p and Lemma 2.2 in [9] still hold for 0 < p < 1, where |x| = r and Sr
Sr i<j
denotes the sphere of radial r centered at the origin.
For p q < , applying Holder inequality to (2.1), we have

 r+
p
sup |f (x) f (0)| C Mpp (T f, s)ds
|x|r ||=m 0


 r+ pq
 pq
C Mpp (T f, s) ds
||=m 0


 r+  pq
C Mpq (T f, s)ds .
||=m 0

Thus, we obtain

 r+
q
sup |f (x) f (0)| C Mpq (T f, s)ds.
|x|r ||=m 0

Now, for 0 < q < p , by the inequality Mq (T f, s) CMp (T f, s), we have



 r+
 r+
sup |f (x) f (0)|q C Mqq (T f, s)ds C Mpq (T f, s)ds.
|x|r ||=m 0 ||=m 0

Similarly, we can obtain inequality (2). The proof is completed.


Lemma 2.3 Let 0 < p , 0 < q < , and be a multi-index. Then, there is a
positive constant C such that, for all f H(B) and 0 < r < 1,
 1 12 (1r)
q C
Mp ( f, r) Mpq (f, t)dt. (2.2)
(1 r)q||+1 1 32 (1r)
No.1 Tang et al: DERIVATIVES OF HARMONIC MIXED NORM AND BLOCH-TYPE SPACES 85

Proof If p = , by Lemma 2.1,



C
| f (x)|q |f (y)|q dv(y).
(1 |x|)n+||q B(x, 12 (1|x|))

Therefore,

q C
M ( f, r) sup |f (y)|q dv(y)
(1 r)n+||q B B(r, 12 (1r))
 1 12 (1r) 
C q
sup M (f, t)dt B(r, 12 (1r)) (t)d()
(1 r)n+||q B 1 32 (1r) B
 1 12 (1r)
C q
M (f, t)dt.
(1 r)n+||q(n1) 1 32 (1r)

If 0 < p q < , then,


  
C
| f (r)|p d() d() |f (y)|p dv(y)
B (1 r)n+||p B B(r, 12 (1r))

C
= |f (y)|p dv(y)
(1 r)n+||p 1 32 (1r)<|y|<1 12 (1r)

B(r, 12 (1r)) (y)d()
B

C
|f (y)|p dv(y)
(1 r)||p+1 1 32 (1r)<|y|<1 12 (1r)
 1 12 (1r)
C
Mpp (f, t)dt.
(1 r)||p+1 1 32 (1r)
This gives (2.2) if p = q. For p < q, applying Holder inequality to the above inequality, we
obtain
  1 12 (1r)  pq
1
Mpq ( f, r) C Mpp (f, t)dt
(1 r)||p+1 1 32 (1r)
 1 12 (1r)   qp q
q p
1 12 (1r)
C q
q Mp (f, t)dt dt
(1 r)||q+ p 1 32 (1r) 1 32 (1r)
 1 12 (1r)
C
Mpq (f, t)dt.
(1 r)q||+1 1 32 (1r)
If 0 < q < p < , by Lemma 2.1,
  qp
q p
Mp ( f, r) = | f (r)| d()
B
   pq  pq
C q
|f (y)| dv(y) d()
(1 r)n+||q B B(r, 12 (1r))
    pq  pq
1 12 (1r)
C q
dt |f (t)| B(r, 12 (1r)) (t)d() d()
(1 r)n+||q B 1 32 (1r) B

    pq  pq
1 12 (1r)
C
d() |f (t)|q B(r, 12 (1r)) (t)d() dt.
(1 r)n+||q 1 32 (1r) B B
86 ACTA MATHEMATICA SCIENTIA Vol.31 Ser.B

The last inequality comes from the Minkowski inequality. Then, by the Holder inequality, we
see that the above is not greater than
 1 12 (1r)   
C p
dt d() |f (t)| 1
B(r, 2 (1r)) (t)d()
(1 r)n+||q 1 32 (1r) B B
 pq  p
q
 q
B(r, 12 (1r)) (t)d()
B
 1 12 (1r)    pq
n||q+(n1) pq p
C(1 r) p dt |f (t)| d() B(r, 12 (1r)) (t)d()
1 32 (1r) B B
 1 12 (1r)
C
Mpq (f, t)dt.
(1 r)q||+1 1 32 (1r)

The proof is completed.


Lemma 2.4 [9] Let m be a positive integer, there exists a smooth dierential operator
Em of order 2m 1 with bounded coecients, such that

m
2m
 f= Tij2 f + Em f
i<j

for all f H(B).


We dene an integral operator on H(B) as
 1
Sf (x) = |f (tx)|dt, f H(B) and x B.
0

Lemma 2.5 Let 0 < p, q and be normal on [0, 1). There exists a constant C such
that, for any f H(B), Sf p,q, Cf p,q,(1r).
The proof is similar to that of Theorem 2.3 in [14], omitted here.

3 Main Results

Given 0 < p, q and a positive integer m, put

f p,q,,m,1 = |f (0)| + m f p,q,(1r)m ,


f p,q,,m,2 = |f (0)| + T f p,q,(1r)m ,


||=m
m1

f p,q,,m,3 = |j f (0)| + m f p,q,(1r)m


j=0

for f H(B). Our main result is the following.


Theorem 3.1 Let 0 < p, q , m be a positive integer, and be normal on [0, 1).
Then, for all f H(B), f p,q, f p,q,,m,1 f p,q,,m,2 f p,q,,m,3.
Proof First, we claim that f p,q, f p,q,,m,1. From Theorem D, we know that
f p,q, f p,q,,m,3. By direct calculation, we see

 f p
m p
| f | C  
 x 
1||m
No.1 Tang et al: DERIVATIVES OF HARMONIC MIXED NORM AND BLOCH-TYPE SPACES 87

for f H(B), where C is a positive constant. Thus, it is checked that f p,q,,m,1 Cf p,q,
from the fact that f p,q, f p,q,,m,3. Now, we consider the other direction. As
 1
x dt
f (x) f ( ) = f (tx) , x B,
2 1
2
t

we have  
 x   1 dt 
 1
  
|f (x)| f ( ) +  f (tx)  sup |f (x)| + 2 |f (tx)|dt.
2  1 t  |x|< 1 1
2 2 2

Hence,
 
f p,q, C sup |f (x)| + Sf p,q, . (3.1)
|x|< 12

In contrast, by Lemma 2.2, for 0 < p , 0 < q < , we have


 
q q q
sup |f (x)| C sup |f (x) f (0)| + |f (0)|
|x|< 12 |x| 12
 3 
4
C Mpq (f, s)ds + |f (0)|q
0
 1 
(1 r)q q (r) q
C Mp (f, r)dr + |f (0)|q . (3.2)
0 1r
And for 0 < p , q = , we have

sup |f (x)| sup |f (x) f (0)| + |f (0)|


|x|< 12 |x| 12
 3 
4
C Mp (f, s)ds + |f (0)|
0
 
C sup Mp (f, r)(1 r)(r) + |f (0)| . (3.3)
0r<1

Therefore, from (3.1), (3.2), (3.3), and Lemma 2.5, we obtain


 
f p,q, C |f (0)| + f p,q,(1r) .

For the general integer m, the proof of the inequality f p,q, Cf p,q,,m,1 can be carried
out by induction, because m f H(B) for each m and m f (0) = 0.
Now, we show that f p,q,,m,2 f p,q, . From Theorem D, we know that f p,q,
f p,q,,m,3. It is clear that
m

f p,q,,m,2 C f p,q,,j,3 f p,q,


j=1

for each j 1. We discuss the domination in the other direction. As is normal, there exist
two positive constants C1 and C2 such that, for 0 r, t < 1 satisfying 12 1r
1t
32 , we have

(t)
C1 C2 . (3.4)
(r)
88 ACTA MATHEMATICA SCIENTIA Vol.31 Ser.B

By Lemmas 2.1 and 2.3 with || = m,


 1
(1 r)mq q (r)
Mpq ( f, r) dr
0 1r
 12  1
(1 r)mq q (r) (1 r)mq q (r)
= Mpq ( f, r) dr + Mpq ( f, r) dr
0 1r 1
2
1r
 1  1 12 (1r)
q (r)
C sup | f (x)|q + C dr Mpq (f, t)dt
1 1 (1 r)2 3
|x| 2 2 1 2 (1r)
 3  1 23 (1t)
q
4
q q (r)
C sup |f (x)| + C Mp (f, t)dt dr
|x| 34 1
4
1
2
(1 r)2
 1  1 23 (1t) 
q (r)
+ Mpq (f, t)dt 2
dr
3
4 12(1t) (1 r)
  1 
q q q (t)
C sup |f (x)| + Mp (f, t) dt
|x| 34 0 1t
 1
q (r)
C Mpq (f, r) dr.
0 1r
Hence, we have
 1  1
(1 r)mq q (r) q (r)
Mpq ( f, r) dr C Mpq (f, r) dr (3.5)
0 1r 0 1r
for all 0 < p and 0 < q < .
Now, for q = , if 0 < 1 r < 1, similarly, by Lemmas 2.1, 2.3, and (3.4) again

sup Mp ( f, r)(1 r)m (r)


0r<1
sup Mp ( f, r)(1 r)m (r) + sup Mp ( f, r)(1 r)m (r)
0r 12 1
2 <r<1
 1 12 (1r)
(r)
C sup | f (x)| + C sup Mp (f, t)dt
|x| 12 1
2 <r<1 1 r 1 32 (1r)
 1 12 (1r)
1
C sup Mp (f, r) + C sup Mp (f, t)(t)dt
0r 34 1
<r<1 1 r 1 32 (1r)
2

C sup Mp (f, r)(r) + C sup Mp (f, t)(t)


0r1 1
4 t1

C sup Mp (f, r)(r). (3.6)


0r<1

Let Tij be any tangential dierential operator and || = 2m 1. Then, for 0 < p and
0 < q < , by (3.5), we have
 1
(1 r)2mq q (r)
Mpq (Tij T f, r) dr
0 1r
 1
(1 r)q [(1 r)2m1 (r)]q
C Mpq (T f, r) dr
0 1r
 1
(1 r)(2m1)q q (r)
C Mpq (T f, r) dr.
0 1r
No.1 Tang et al: DERIVATIVES OF HARMONIC MIXED NORM AND BLOCH-TYPE SPACES 89

Meanwhile, for q = , by (3.6), we have

sup Mp (Tij T f, r)(1 r)2m (r)


0r<1

sup Mp (T f, r)(1 r)(1 r)2m1 (r)


0r<1

C sup Mp (T f, r)(1 r)2m1 (r).


0r<1

Therefore, we have
f p,q,,2m,2 Cf p,q,,2m1,2 . (3.7)
Let Em be the dierential operator as in Lemma 2.4. We obtain

f p,q,,2m,1 Cf p,q,,2m,2 + Em f p,q,(1r)2m . (3.8)

If 0 < p , 0 < q < , then for 0 < a < 1, by (3.5), we have


 1
(1 r)2mq q (r)
Mpq (Em f, r) dr
1a 1r
 1
(1 r)(2m1)q q (r)
Caq Mpq (Em f, r) dr
0 1r
 1
q (r)
Caq Mpq (f, r) dr. (3.9)
0 1r
Meanwhile, by Lemmas 2.1 and 2.2, we have

sup |Em f (x)| C sup |f (x)| (3.10)


|x|1a |x|1 a
2

and
 
sup |f (x)|q C sup |f (x) f (0)|q + |f (0)|q
|x|1 a
2 |x|1 a
2

 1 a 
4
C Mpq (T f, s)ds + |f (0)|q
||=2m 0

 1 
(1 r)2mq q (r)
C Mpq (T f, r) dr + |f (0)|q (3.11)
0 1r
||=2m

for 0 < p , 0 < q < and some constants C = C(a) . Thus, (3.10) and (3.11) imply that

sup |Em f (x)| Cf p,q,,2m,2 (3.12)


|x|1a

for some constant C = C(a). Therefore, (3.9) and (3.12) yield

Em f p,q,(1r)2m C3 f p,q,,2m,2 + C4 af p,q,, (3.13)

where C3 = C3 (a) and C4 is independent of a. As we already have f p,q, f p,q,,2m,1,


applying (3.8) and (3.13), we obtain

f p,q, C5 f p,q,,2m,2 + C6 af p,q, (3.14)


90 ACTA MATHEMATICA SCIENTIA Vol.31 Ser.B

where C5 = C5 (a) and C6 is independent of a. Hence, taking a suciently small, we conclude


from (3.7) and (3.14) that f p,q, Cf p,q,,m,2.
If q = , for 0 < a < 1, by (3.6), we have
sup Mp (Em f, r)(1 r)2m (r) am sup Mp (Em f, r)(1 r)2m1 (r)
1a<r<1 0r<1
C7 am sup Mp (f, r)(r),
0r<1

where C7 is independent of a. By using Lemmas 2.1 and 2.2, and proceeding in a way similar
to the preceding proof, we obtain
sup Mp (Em f, r)(1 r)2m (r) C sup |Em f (x)|
0<r1a |x|1a

 1 a 
4
C Mp (T f, t)dt + |f (0)|
||=2m 0


2m
C sup Mp (T f, r)(1 r) (r) + |f (0)|
0r<1
||=2m

for some constant C = C(a). From this, we have


Em f p,,(1r)2m C(a)f p,,,2m,2 + C7 am f p,,. (3.15)
Thus, because we already have f p,, f p,,,2m,1, applying (3.8) and (3.15), we obtain
f p,, C(a)f p,,,2m,2 + C8 am f p,,, (3.16)
where C8 is independent of a. Hence, taking a suciently small, we conclude from (3.7) and
(3.16) that f p,, Cf p,,,m,2. The proof is completed.
We now turn to the norm equivalence for the harmonic Bloch-type space. For a positive
integer m, put
f B,m,1 = |f (0)| + m f ,,(1r)m1 ,

f B,m,2 = |f (0)| + T f ,,(1r)m1 ,


||=m
m1

f B,m,3 = |j f (0)| + m f ,,(1r)m1


j=1
for f H(B). As an application of Theorem 3.1, we can obtain the following result.
Theorem 3.2 Let m 2 be a positive integer and be normal on [0, 1). Then, for all
f H(B), f B() f B,m,1 f B,m,2 f B,m,3 .
Proof For m 2 and f H(B), by Theorem 3.1, we have

n  
 f 
f B() = sup (|x|)|f (x)| f ,,  
xB
 xj 
j=1 ,,
   
 f 
 f 
sup    
 x (0) +  x  .
1||m1 ,,(1r)m1
||=m

That is, f B() f B,m,1 f B,m,2 f B,m,3. The proof is completed.


Notice that the harmonic mixed norm space and the Bloch-type space are spaces of dierent
types. From Theorem 3.1 and Theorem 3.2, we know that there are no inclusion relation for
these two spaces.
No.1 Tang et al: DERIVATIVES OF HARMONIC MIXED NORM AND BLOCH-TYPE SPACES 91

4 Final Remarks

Now, we discuss the polyharmonic mixed norm space. Let Hk (B) be the family of all
polyharmonic functions of order k on B. That is, Hk (B) = {f C (B) : k f 0}, where
k is the k-th power of the Laplacian. The polyharmonic mixed norm space is dened as

Hkp,q, (B) = {f Hk (B) : f p,q, < }.

In the case 0 < p = q < , Hkp,p, (B) is just the polyharmonic Bergman space
   p1 
p
p, p (|x|)
Ak (B) = f Hk (B) : |f (x)| dv(x) < .
B 1 |x|

And the polyharmonic Bloch-type space B(, k) is dened in the familiar way.
From [10] and [15], Lemma 2.1 remains valid for all polyharmonic functions of order k on
B. A careful check of that in Section 2 shows that Lemmas 2.2 and 2.3 still hold for f Hk (B).
Therefore, with our approach in Section 3, we have the following.
Theorem 4.1 Let 0 < p, q , m be a positive integer, and be normal on [0, 1).
Then, for all f Hk (B), f p,q, f p,q,,m,1 f p,q,,m,3.
Theorem 4.2 Let m 2 be a positive integer and be normal on [0, 1). Then, for all
f Hk (B), f B() f B,m,1 f B,m,3 .
By Almansi representation theorem in [15], the family Hk (B) coincides with the class of
functions of the form
k1

f (x) = |x|2j uj (x), uj H1 (B).


j=0
It is easy to rewrite this as
k1

f (x) = (1 |x|2 )j fj (x), fj H1 (B). (4.1)


j=0

Theorem 4.3 Let 0 < p, q , m be a positive integer, and be normal on [0, 1).
Then, there exists a positive constant C, such that for all f Hk (B), f p,q,,m,2 Cf p,q, .
Proof With the same approach as that of Theorem 3 in [10], using Lemmas 2.2 and 2.3
in [14] instead of Lemma 7 in [10], for each f Hk (B) given by (4.1), we can prove that
k1

f p,q, fj p,q,(1r)j . (4.2)


j=0


k1
Thus, from Theorem 3.1, (4.2), and the fact that T f (x) = (1 |x|2 )j T fj (x), we have
j=0



k1

T f p,q,(1r)m T fj p,q,(1r)m+j
||=m ||=m j=0



k1


C T fj p,q,(1r)m+j + |fj (0)|
j=0 ||=m
k1

C fj p,q,(1r)j Cf p,q, .


j=0
92 ACTA MATHEMATICA SCIENTIA Vol.31 Ser.B

The proof is completed.


However, if k 2, the other direction domination does not hold in Theorem 4.3 in general.
In fact, take f (x) = |x|2 Hk (B), then T f (x) = 0. Thus,

|f (0)| + T f p,q,(1r)m = 0,
||=m

but
f p,q, = |x|2 p,q, = 0.

References

[1] Hardy G H, Littlewood J E. Some properties of fractional integrals II. Math Z, 1932, 34: 403439
[2] Shi J H. On the rate of growth of the means of Mp of holomorphic and pluriharmonic functions on bounded
symmetric domain of Cn . J Math Anal Appl, 1987, 126: 161175
[3] Zhu K H. The Bergman spaces, the Bloch space and Gleasons problem. Trans Amer Math Soc, 1988,
309: 253268
[4] Ouyang C H, Yang W S, Zhao R H. Characterizations of Bergman spaces and Bloch space in the unit ball
of Cn . Trans Amer Math Soc, 1995, 347: 43014313
[5] Li B, Ouyang C H. Higher radial derivative of Bloch type functions. Acta Math Sci, 2002, 22B(4): 433445
[6] Mateljevic M, Pavlovic M. Lp -behavior of the integral means of analytic functions. Studia Math, 1984,
77: 219237
[7] Hu Z J. Estimates for the integral means of harmonic functions on bounded domains in Rn . Science in
China, Ser A, 1995, 38(1): 3646
[8] Stevic S. Weighted integrals of harmonic functions. Studia Sci Math Hung, 2002, 39(1/2): 8796
[9] Choe B R, Koo H, Yi H. Derivatives of harmonic Bergman and Bloch functions on the ball. J Math Anal
Appl, 2001, 260: 100123
[10] Pavlovic M. Decompositions of Lp and Hardy spaces of polyharmonic functions. J Math Anal Appl, 1997,
216: 499509
[11] Stevic S. A note on polyharmonic functions. J Math Anal Appl, 2003, 278: 243249
[12] Hu Z J, Pavlovic M, Zhang X J. The mixed norm spaces of polyharmonic functions. Potential Analysis,
2007, 27(2): 167182
[13] Axler S, Bourdon P, Ramey W. Harmonic function theory. New York: Spring-Verlag, 1992
[14] Hu Z J, Tang X M. The Glaesons problem for some polyharmonic and hyperbolic harmonic sunction
space. Science in China, Ser A, 2006, 49(8): 11281145
[15] Aronszajn N, Creese T M, Lipkin L J. Polyharmonic functions//Oxford Mathematical Monographs. New
York: The Clarendon Press Oxford University Press, 1983