By the definition of $\parallel .{\parallel }_p$  , $$\left|f\right(0\left)\right|\le \parallel f{\parallel }_p,\left|\frac{\partial f\left(z\right)}{\partial z_l}\right|\le \frac{\parallel f{\parallel }_p}{(1-|z_l{|}^2{)}^p}(l\in \{1,2,\cdots ,n\left\}\right)$$  and

$$\begin{array}{ccc}& & f\left(z\right)-f\left(0\right)={\int }_0^1\frac{df\left(tz\right)}{dt}dt={\sum }_{l=1}^n{\int }_0^1{z}_l\frac{\partial f}{\partial {\zeta }_l}\left(tz\right)dt,\end{array}$$

So

$$\begin{array}{ccc}& & \left|f\right(z\left)\right|\le \left|f\right(0\left)\right|+{\sum }_{l=1}^n\left|z_l\right|{\int }_0^1\frac{\parallel f{\parallel }_p}{{\left(1-t^2|z_l{|}^2\right)}^p}dt\end{array}$$

$$\begin{array}{ccc}& & \le \parallel f{\parallel }_p+\parallel f{\parallel }_p{\sum }_{l=1}^n{\int }_0^{\left|z_l\right|}\frac{1}{{\left(1-t^2\right)}^p}dt.\end{array}$$

(13)

If $p=1,$ 

$$\begin{array}{c}{\int }_0^{\left|z_l\right|}\frac{1}{{\left(1-t^2\right)}^p}dt=\frac{1}{2}ln\frac{1+\left|z_l\right|}{1-\left|z_l\right|}\le \frac{1}{2}ln\frac{4}{1-|z_l{|}^2}.\end{array}$$

(14)

It is clear that $ln\frac{4}{1-|z_l{|}^2}>ln4=2ln2,$  so

$$\begin{array}{c}1\le \frac{1}{2ln2}ln\frac{4}{1-|z_l{|}^2}\le \frac{1}{2nln2}{\sum }_{l=1}^{n}ln\frac{4}{1-|z_l{|}^2}.\end{array}$$

(15)

Combining ( 13 ),( 14 ) and ( 15 ), we get $$\left|f\right(z\left)\right|\le \left(\frac{1}{2}+\frac{1}{2nln2}\right)\left({\sum }_{l=1}^{n}ln\frac{4}{1-|z_l{|}^2}\right)\parallel f{\parallel }_p.$$  If $p\ne 1,$ 

$$\begin{array}{ccc}& & {\int }_0^{\left|z_l\right|}\frac{1}{{\left(1-t^2\right)}^p}dt={\int }_0^{\left|z_l\right|}\frac{1}{(1-t{)}^p}\cdot \frac{1}{(1+t{)}^p}dt\end{array}$$

$$\begin{array}{ccc}& & \le {\int }_0^{\left|z_l\right|}\frac{1}{(1-t{)}^p}dt=\frac{1-(1-|z_l|{)}^{-p+1}}{1-p}.\end{array}$$

(16)

If $0\le p<1,$  ( 16 ) gives that ${\int }_0^{\left|z_l\right|}\frac{1}{{\left(1-t^2\right)}^p}dt\le \frac{1}{1-p},$  it follows from ( 13 ) that $\left|f\right(z\left)\right|\le \left(1+\frac{n}{1-p}\right)\parallel f{\parallel }_p.$  If $p>1,$  ( 16 ) gives that $${\int }_0^{\left|z_l\right|}\frac{1}{{\left(1-t^2\right)}^p}dt\le \frac{1-(1-|z_l{|}^{p-1})}{(p-1)(1-|z_l|{)}^{p-1}}\le \frac{2^{p-1}}{(p-1)(1-|z_l^2|{)}^{p-1}},$$  it follows from ( 13 ) that

$$\begin{array}{ccc}\left|f\right(z\left)\right|& \le & \parallel f{\parallel }_p+\frac{2^{p-1}}{p-1}\left({\sum }_{l=1}^n\frac{1}{(1-|z_l{|}^2{)}^{p-1}}\right)\parallel f{\parallel }_p\end{array}$$

$$\begin{array}{ccc}& \le & \left(\frac{1}{n}+\frac{2^{p-1}}{p-1}\right)\left({\sum }_{l=1}^n\frac{1}{(1-|z_l{|}^2{)}^{p-1}}\right)\parallel f{\parallel }_p.\end{array}$$

Now the Lemma is proved. Proof Assume that $W_{\psi ,\phi }$  is compact and suppose $\left\{f_j\right\}$  is a sequence in ${\mathcal{ℬ}}^p\left(U^n\right)$  with ${sup}_{j\in \mathbf{N}}\parallel f_j{\parallel }_p<\infty$  and $f_j\to 0$  uniformly on compact subsets of $U^n.$  By the compactness of $W_{\psi ,\phi }$  we have that $W_{\psi ,\phi }\left(f_j\right)=\psi f_j\circ \phi$  has a subsequence $\psi f_{j_m}\circ \phi$  which converges in ${\mathcal{ℬ}}^q,$  say, to $g.$  By Lemma 1 we have that for any compact $K\subset U^n$  there is a positive constant $C_K$  independent of $f$  such that $$\left|\psi \right(z\left)f_{j_m}\right(\phi \left(z\right))-g(z\left)\right|\le C_K\parallel \psi f_{j_m}\circ \phi -g{\parallel }_q$$  for all $z\in K$  . This implies that $\psi \left(z\right)f_{j_m}\left(\phi \right(z\left)\right)-g\left(z\right)\to 0$  uniformly on compacts of $U^n.$  Since $K$  is a compact subset of $U^n,$  $\left|\psi \right(z\left)\right|\le C$  for all $z\in K$  and $\phi \left(K\right)$  isalso a compact subset of $U^n,$  by the hypothesis, $\left|\psi \left(z\right)f_{j_m}\left(\phi \right(z\left)\right)\right|\le C\left|f_{j_m}\left(\phi \right(z\left)\right)\right|$  converges to zero uniformly on $K$  . It follows from the arbitrary of $K$  that the limit function $g$  is equal to $0.$  Since it is true for arbitrary subsequence of $\left\{f_j\right\}$  we see that $W_{\psi ,\phi }{f}_j\to 0$  in ${\mathcal{ℬ}}^q.$  Conversely, $\left\{g_j\right\}$  be any sequence in the ball ${\mathcal{K}}_M=B_{{\mathcal{ℬ}}^p}(0,M)$  of the space ${\mathcal{ℬ}}^p\left(U^n\right).$  Since $\parallel g_j{\parallel }_p\le M<\infty ,$  by Lemma 1, $\left\{g_j\right\}$  is uniformly bounded on compact subsets of $U^n$  and hence normal by Montel's theorem. Hence we may extract a subsequence $\left\{g_{j_m}\right\}$  which converges uniformly on compact subsets of $U^n$  to some $g\in H\left(U^n\right).$  It follows that $\frac{\partial g_{j_m}}{\partial z_l}\to \frac{\partial g}{\partial z_l}$  uniformly on compacts, for each $l\in \{1,...,n\},$  which implies $g\in {\mathcal{ℬ}}^p\left(U^n\right)$  and $\parallel g{\parallel }_p\le M.$  Hence the sequence $\{g_{j_m}-g\}$  is such that $\parallel g_{j_m}-g{\parallel }_p\le 2M<\infty ,$  and converges to $0$  on compact subsets of $U^n,$  by the hypothesis and Lemma 2, we have that $\psi g_{j_m}\circ \phi \to \psi g\circ \phi$  in ${\mathcal{ℬ}}^q.$  Thus the set $W_{\psi ,\phi }\left({\mathcal{K}}_M\right)$  is relatively compact, finishing the proof. Proof For any $z=(z_1,z_2,\cdots ,z_n),$  $w=(w_1,w_2,\cdots ,w_n)\in U^n,$  then $$tz+(1-t)w\in U^n$$  for $t\in [0,1].$  Denote $F\left(t\right)=f\left(tz+(1-t)w\right),$  then

$$\begin{array}{ccc}& & f\left(z\right)-f\left(w\right)=F\left(1\right)-F\left(0\right)={\int }_0^1{F}^{\prime }\left(t\right)dt={\int }_0^1\frac{d}{dt}\left(f(tz+(1-t)w\right)dt\end{array}$$

$$\begin{array}{ccc}& & ={\sum }_{k=1}^n(z_k-w_k){\int }_0^1\frac{\partial f}{\partial {\zeta }_k}\left(tz+(1-t)w\right)dt.\end{array}$$

(17)

$f\in {\mathcal{ℬ}}^p\left(U^n\right),$  so for $k\in \{1,2,\cdots ,n\}$  $$(1-|{\zeta }_k{|}^2{)}^p\left|\frac{\partial f}{\partial {\zeta }_k}\left(\zeta \right)\right|\le \parallel f{\parallel }_p$$  $$\left|\frac{\partial f}{\partial {\zeta }_k}\right|\le \parallel f{\parallel }_p(1-|{\zeta }_k{|}^2{)}^{-p}\le \parallel f{\parallel }_p(1-|{\zeta }_k|{)}^{-p}.$$  Let ${\zeta }_k=t{z}_k+(1-t)w_k=w_k+t(z_k-w_k),$  note that if $\left|a\right|<1,\left|b\right|<1$  and $|a+b|<1$  then $\left|a\right|+\left|b\right|+|a+b|<2,$  so $1-\left|{\zeta }_k\right|=1-|w_k+t(z_k-w_k\left)\right|\ge \left|1-\left|w_k\right|-t|z_k-w_k|\right|,$ 

$$\begin{array}{c}\left|\frac{\partial f}{\partial {\zeta }_k}(tz+(1-t\left)w\right)\right|\le \parallel f{\parallel }_p(1-|{\zeta }_k{|}^2{)}^{-p}\le \parallel f{\parallel }_p{\left|1-\left|w_k\right|-t|z_k-w_k|\right|}^{-p}.\end{array}$$

(18)

It follows from ( 17 ) and ( 18 ) that

$$\begin{array}{ccc}& & \left|f\right(z)-f(w\left)\right|\le \parallel f{\parallel }_p{\sum }_{k=1}^n|z_k-w_k|{\int }_0^1{\left|1-\left|w_k\right|-t|z_k-w_k|\right|}^{-p}dt\end{array}$$

$$\begin{array}{ccc}& & =\parallel f{\parallel }_p{\sum }_{k=1}^n{\int }_0^{|z_k-w_k|}{\left|1-\left|w_k\right|-t\right|}^{-p}dt.\end{array}$$

(19)

If $1-\left|w_k\right|\le |z_k-w_k|,$  then

$$\begin{array}{ccc}& & {\int }_0^{|z_k-w_k|}{\left|1-\left|w_k\right|-t\right|}^{-p}dt\end{array}$$

$$\begin{array}{ccc}& & ={\int }_0^{1-\left|w_k\right|}(1-|w_k|-t{)}^{-p}dt+{\int }_{1-\left|w_k\right|}^{|z_k-w_k|}{\left(t-(1-|w_k\left|\right)\right)}^{-p}dt\end{array}$$

$$\begin{array}{ccc}& & =\frac{1}{1-p}\left((1-|w_k|{)}^{1-p}+(|z_k-w_k|-(1-|w_k\left|\right){)}^{1-p}\right)\end{array}$$

$$\begin{array}{ccc}& & \le \frac{2}{1-p}\left(\right|z_k-w_k|{)}^{1-p}.\end{array}$$

(20)

If $1-\left|w_k\right|>|z_k-w_k|,$  let $a=1-\left|w_k\right|,b=|z_k-w_k|,a>b$  and note that the fundamental inequality $a^{1-p}<(a-b{)}^{1-p}+b^{1-p},$  where $0\le p<1,$  so

$$\begin{array}{ccc}& & {\int }_0^{|z_k-w_k|}{\left|1-\left|w_k\right|-t\right|}^{-p}dt={\int }_0^{|z_k-w_k|}{\left(1-\left|w_k\right|-t\right)}^{-p}dt\end{array}$$

$$\begin{array}{ccc}& & =\frac{1}{1-p}\left((1-|w_k|{)}^{1-p}-(1-\left|w_k\right|-|z_k-w_k|{)}^{1-p}\right)\end{array}$$

$$\begin{array}{ccc}& & <\frac{1}{1-p}|z_k-w_k{|}^{1-p}.\end{array}$$

(21)

Combining  20  21  $\left(\right),\left(\right)$  and  19  $\left(\right)$  , this Lemma is proved. Proof Let $\left\{f_j\right\}$  be a sequence in ${\mathcal{ℬ}}^p\left(U^n\right),$  and $\parallel f_j{\parallel }_p\le C$  for $j=1,2,\cdots .$  It follows from Lemma 3 that $\left|f_j\right(z)-f_j(w\left)\right|\le C{\sum }_{k=1}^n|z_k-w_k{|}^{1-p}$  for $z,w\in U^n.$  Thus the family $\{f_j:n=1,2,\cdots \}$  is equicontinuous. By Lemma 1, $\left|f_j\right(z\left)\right|\le C\parallel f_j{\parallel }_p\le C,$  the family $\{f_j:n=1,2,\cdots \}$  is bounded uniformly on $\overline{U^n}$  . The statement of the lemma now follows from the Arzela-Ascoli Theorem. Proof Let $\varepsilon \in (0,1),$  $r\in (1-\varepsilon ,1),$  and $w\in r{U}^n,$  then from Lemma 3 we have

$$\begin{array}{ccc}& & \left|f_j\right(z\left)\right|\le \left|f_j\right(w\left)\right|+C\parallel f_j{\parallel }_p{\sum }_{k=1}^n|z_k-w_k{|}^{1-p}\end{array}$$

$$\begin{array}{ccc}& & \le \left|f_j\right(w\left)\right|+C{\sum }_{k=1}^n|z_k-w_k{|}^{1-p},z\in U^n.\end{array}$$

Since ${sup}_{w\in r{U}^n}\left|f_j\right(w\left)\right|\to 0$  and since for each $z\in \overline{U^n}\backslash r{U}^n,$  $1-\varepsilon <r\le \left|z_k\right|\le 1,$  there exists $\eta$  such that $$1-\varepsilon <\eta <r\le \left|z_k\right|\le 1.$$  Choosing $w_z=(\eta z_1,\eta z_2,\cdots ,\eta z_n),$  then $w_z\in r{U}^n$  and $$|z_k-(w_z{)}_k{|}^{1-p}=|z_k-\eta z_k{|}^{1-p}=(1-\eta {)}^{1-p}\left|z_k\right|<{\varepsilon }^{1-p}\le \varepsilon .$$  So ${lim}_{k\to \infty }{sup}_{z\in \overline{U^n}}\left|f_j\right(z\left)\right|\le C\varepsilon ,$  from which the result follows.

Combining Lemma 2 and Lemma 5, we can obtain the following Lemma at once.

Lemma 6 Let $\phi$  be a holomorphic self-map of $U^n$  and $\psi \left(z\right)$  a holomorphic function on $U^n.$  Let $0\le p<1$  and $q\ge 0,$  then $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)\to {\mathcal{ℬ}}^q\left(U^n\right)$  is compact if and only if for any bounded sequence $\left\{f_j\right\}$  in ${\mathcal{ℬ}}^p\left(U^n\right)$  which converges to zero uniformly on $\overline{U^n}$  we have $\parallel W_{\psi ,\phi }{f}_j{\parallel }_q\to 0,$  as $j\to \infty .$ 

3 The Proof of Theorem 1

First shows the sufficiency. If $f\in {\mathcal{ℬ}}^p\left(U^n\right),$  a direct calculation gives

$$\begin{array}{ccc}& & {\sum }_{k=1}^n\left|\frac{\partial \left(W_{\psi ,\phi }f\left(z\right)\right)}{\partial z_k}\right|(1-|z_k{|}^2{)}^q\end{array}$$

$$\begin{array}{ccc}& & ={\sum }_{k=1}^n\left|\frac{\partial \psi \left(z\right)}{\partial z_k}f\left(\phi \right(z\left)\right)+\psi \left(z\right){\sum }_{l=1}^n\frac{\partial f}{\partial w_l}\left(\phi \right(z\left)\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\end{array}$$

(22)

$$\begin{array}{ccc}& & \le {\sum }_{k=1}^n\left|\frac{\partial \psi \left(z\right)}{\partial z_k}\right|\left|f\right(\phi \left(z\right)\left)\right|(1-|z_k{|}^2{)}^q\end{array}$$

$$\begin{array}{ccc}& & +\left|\psi \right(z\left)\right|{\sum }_{k,l=1}^n\left|\frac{\partial f}{\partial w_l}\left(\phi \right(z\left)\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q.\end{array}$$

(23)

By Lemma 1, if $p=1$  , ( 22 ) gives that

$$\begin{array}{ccc}& & {\sum }_{k=1}^n\left|\frac{\partial \left(W_{\psi ,\phi }f\left(z\right)\right)}{\partial z_k}\right|(1-|z_k{|}^2{)}^q\end{array}$$

$$\begin{array}{ccc}& & \le C({\sum }_{k,l=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)\right|{\left(1-|z_k{|}^2\right)}^{q}ln\frac{4}{1-\left|{\phi }_l\right(z){|}^2}\end{array}$$

$$\begin{array}{ccc}& & +\left|\psi \right(z\left)\right|{\sum }_{k,l=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{1-\left|{\phi }_l\right(z){|}^2})\parallel f{\parallel }_p.\end{array}$$

(24)

Combining ( 1 ), ( 2 ) and ( 24 ), we know $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)⟶{\mathcal{ℬ}}^q\left(U^n\right)$  is bounded.

If $0\le p<1$  , by Lemma 1, ( 23 ) gives that

$$\begin{array}{ccc}& & {\sum }_{k=1}^n\left|\frac{\partial \left(W_{\psi ,\phi }f\left(z\right)\right)}{\partial z_k}\right|(1-|z_k{|}^2{)}^q\end{array}$$

$$\begin{array}{ccc}& & \le C({\sum }_{k,l=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)\right|{\left(1-|z_k{|}^2\right)}^q\end{array}$$

$$\begin{array}{ccc}& & +\left|\psi \right(z\left)\right|{\sum }_{k,l=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{{\left(1-\left|{\phi }_l\right(z){|}^2\right)}^p})\parallel f{\parallel }_p.\end{array}$$

(25)

Combining ( 3 ), ( 4 ), Lemma 1 and ( 25 ), we know $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)⟶{\mathcal{ℬ}}^q\left(U^n\right)$  is bounded.

If $p>1,$  by Lemma 1, ( 23 ) gives that

$$\begin{array}{ccc}& & {\sum }_{k=1}^n\left|\frac{\partial \left(W_{\psi ,\phi }f\left(z\right)\right)}{\partial z_k}\right|(1-|z_k{|}^2{)}^q\end{array}$$

$$\begin{array}{ccc}& & \le C({\sum }_{k,l=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{{\left(1-\left|{\phi }_l\right(z){|}^2\right)}^{p-1}}\end{array}$$

$$\begin{array}{ccc}& & +\left|\psi \right(z\left)\right|{\sum }_{k,l=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{{\left(1-\left|{\phi }_l\right(z){|}^2\right)}^p})\parallel f{\parallel }_p.\end{array}$$

(26)

Combining ( 5 ), ( 6 ) and ( 26 ), we know $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)⟶{\mathcal{ℬ}}^q\left(U^n\right)$  is bounded.

To show the necessity, assume that $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)⟶{\mathcal{ℬ}}^q\left(U^n\right)$  is bounded, with

$$\begin{array}{c}\parallel W_{\psi ,\phi }f{\parallel }_q\le C\parallel f{\parallel }_p\end{array}$$

(27)

for all $f\in {\mathcal{ℬ}}^p\left(U^n\right).$  It is clear that $\psi \in {\mathcal{ℬ}}^q\left(U^n\right),$  that is, ( 3 ) holds.

If $p=1$  , For fixed $l(1\le l\le n),$  we will make use of a family of test functions $\{f_w:w\in \text{C},|w|<1\}$  in ${\mathcal{ℬ}}^p\left(U^n\right)$  defined as follows: let $$f_w\left(z\right)=\frac{z_l}{1-\overline{w}{z}_l},$$  then $\frac{\partial f_w\left(z\right)}{\partial z_l}=\frac{1}{(1-\overline{w}{z}_l{)}^2},\frac{\partial f_w\left(z\right)}{\partial z_k}=0(k\ne l)$  , $\parallel f_w{\parallel }_p\le \frac{4}{1-|w{|}^2}.$  It follows from ( 22 ) and ( 27 ) that $${\sum }_{k=1}^n\left|\frac{\partial \psi \left(z\right)}{\partial z_k}\frac{{\phi }_l\left(z\right)}{1-\overline{w}{\phi }_l\left(z\right)}+\psi \left(z\right)\frac{1}{(1-\overline{w}{\phi }_l(z){)}^2}\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\le C\frac{1}{1-|w{|}^2},$$  let $w={\phi }_l\left(z\right),$  then

$$\begin{array}{c}\left|\psi \right(z\left)\right|{\sum }_{k=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{1-\left|{\phi }_l\right(z){|}^2}\le C+\parallel \psi {\parallel }_q\le C.\end{array}$$

(28)

So for any $z\in U^n$  , $$\left|\psi \right(z\left)\right|{\sum }_{k,l=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{1-\left|{\phi }_l\right(z){|}^2}\le C,$$  that is, ( 2 ) is valid.

If we set $$g_w\left(z\right)=ln\frac{4}{1-\overline{w}{z}_l},$$  then $\frac{\partial g_w\left(z\right)}{\partial z_l}=\frac{\overline{w}}{1-\overline{w}{z}_l},\frac{\partial g_w\left(z\right)}{\partial z_k}=0(k\ne l)$  , $\parallel g_w{\parallel }_p\le 2+ln4.$  It follows from ( 22 ) and ( 27 ) that $${\sum }_{k=1}^n\left|\frac{\partial \psi \left(z\right)}{\partial z_k}ln\frac{4}{1-\overline{w}{\phi }_l\left(z\right)}+\psi \left(z\right)\frac{\overline{w}}{1-\overline{w}{\phi }_l\left(z\right)}\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\le C,$$  let $w={\phi }_l\left(z\right)$  , ( 1 ) is valid. If $0\le p<1$  , $\psi =W_{\psi ,\phi }1\in {\mathcal{ℬ}}^q\left(U^n\right),$  (3) is valid. For fixed $l(1\le l\le n),$  we will make use of a family of test functions $\{f_w:w\in \text{C}-\{0\},|w|<1\}$  in ${\mathcal{ℬ}}^p(U^n$  defined as follows: set $$f_w\left(z\right)={\int }_0^{z_l}{\left(1-\frac{{\overline{w}}^2}{|w{|}^2}{z}_l^2\right)}^{-p}d{z}_l$$  with $f_w\left(0\right)=0.$  Since for $w\ne 0,$  $$\frac{\partial f_w}{\partial z_l}={\left(1-\frac{{\overline{w}}^2}{|w{|}^2}{z}_l^2\right)}^{-p},\frac{\partial f_w}{\partial z_i}=0,(i\ne l),$$  it is easy to show $\parallel f_w{\parallel }_{\alpha }=1.$  Lemma 1 gives $\left|f_w\right(z\left)\right|\le 1+\frac{n}{1-p},$  so by ( 3 ),

$$\begin{array}{c}{\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)f_w\left(\phi \right(z\left)\right)(1-|z_k{|}^2{)}^q\right|\le C{\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)\right|{\left(1-|z_k{|}^2\right)}^q\le C.\end{array}$$

(29)

For $z\in U^n,$  it follows from ( 22 ) and ( 27 ) that $${\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)f_w\left(\phi \right(z\left)\right)+\psi \left(z\right){\sum }_{l=1}^n\frac{\partial f_w\left(\phi \right(z\left)\right)}{\partial {\phi }_l}\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\le C,$$  combining ( 29 ), we get $${\sum }_{k=1}^n\left|\psi \left(z\right)\frac{\partial f_w\left(\phi \right(z\left)\right)}{\partial {\phi }_l}\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\le C.$$  For an arbitrary $z\in U^n$  with ${\phi }_l\left(z\right)\ne 0$  and set $w={\phi }_l\left(z\right)$  in the above inequality to obtain $$\left|\psi \right(z\left)\right|{\sum }_{k=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{{\left(1-\left|{\phi }_l\right(z){|}^2\right)}^p}\le C.$$  If ${\phi }_l\left(z\right)=0,$  let $f\left(z\right)=z_l,$  it follows from ( 22 ) and ( 27 ) that $$\left|\psi \right(z\left)\right|\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{{\left(1-\left|{\phi }_l\right(z){|}^2\right)}^p}=\left|\frac{\partial \psi }{\partial z_k}\left(z\right){\phi }_l\left(z\right)+\psi \left(z\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\le C.$$  So for all $z\in U^n,$  $$\left|\psi \right(z\left)\right|{\sum }_{k,l=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{{\left(1-\left|{\phi }_l\right(z){|}^2\right)}^p}\le C,$$  that is, ( 4 ) is valid.

If $p>1$  , similarly, the test functions would be $$f_w\left(z\right)=\frac{1}{\overline{w}}\left(\frac{1-|w{|}^2}{{\left(1-\overline{w}{z}_l\right)}^p}-\frac{1}{{\left(1-\overline{w}{z}_l\right)}^{p-1}}\right),\left(\right|w|<1,w\ne 0,1\le l\le n)$$  for proving ( 6 ), and $$g_w\left(z\right)=\left(\frac{p}{{\left(1-\overline{w}{z}_l\right)}^{p-1}}-\frac{(p-1)(1-|w{|}^2)}{{\left(1-\overline{w}{z}_l\right)}^p}\right),\left(\right|w|<1,1\le l\le n)$$  for proving ( 5 ), we omit the details. Now the proof of Theorem 1 is completed.

4 The Proof of Theorem 2

To show the sufficiency.

If $p=1$  . First assume conditions ( 7 ) and ( 8 ) hold, we need to prove $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)⟶{\mathcal{ℬ}}^q\left(U^n\right)$  is compact. According to Lemma 2, assume that ${\parallel f_j\parallel }_p\le C,j=1,2,\dots ,$  and $\left\{f_j\right\}$  converges to zero uniformly on compact subsets of $U^n,$  we need only prove that ${\parallel W_{\psi ,\phi }{f}_j\parallel }_q\to 0,$  as $j\to \infty .$  For every $\varepsilon >0,$  ( 7 ) and ( 8 ) imply that there exists a $r$  , $0<r<1$  , such that

$$\begin{array}{c}{\sum }_{k,l=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)\right|{\left(1-|z_k{|}^2\right)}^{q}ln\frac{4}{1-\left|{\phi }_l\right(z){|}^2}<\varepsilon \end{array}$$

(30)

and

$$\begin{array}{c}{\sum }_{k,l=1}^n\left|\psi \left(z\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{1-\left|{\phi }_l\right(z){|}^2}<\varepsilon ,\end{array}$$

(31)

whenever $dist\left(\phi \right(z),\partial U^n)<r.$  Since $f_j\left(\phi \right(0\left)\right)$  converges to zero, by ( 30 ) and ( 31 ), it follows from ( 24 ) that for large enough $j$ 

$$\begin{array}{c}{\sum }_{k=1}^n\left|\frac{\partial \left(W_{\psi ,\phi }{f}_j\right)}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\le C\varepsilon ,\end{array}$$

(32)

whenever $dist\left(\phi \left(z\right),\partial U^n\right)<r.$  If we set $\varepsilon =1,$  by ( 30 ) and ( 31 ),it is easy to show that ( 1 ) and ( 2 ) holds, from Remark 1, we know $\psi \in {\mathcal{ℬ}}^q\left(U^n\right).$  On the other hand, if we write $E=\left\{w\in U^n:dist(w,\partial U^n)\ge r\right\},$  which is a closed subset of $U^n$  , then $f_j\left(w\right)$  and $\frac{\partial f_j}{\partial w_l}\left(w\right)\to 0$  uniformly on $E$  . So by ( 22 ) and the boundedness condition (2) in Theorem 1, we obtain for $dist\left(\phi \right(z),\partial U^n)\ge r,$ 

$$\begin{array}{ccc}& & {\sum }_{k=1}^n\left|\frac{\partial \left(W_{\psi ,\phi }{f}_j\right)}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\le C\left(\left|f_j\right(\phi \left(z\right)\left)\right|+{\sum }_{l=1}^n\left|\frac{\partial f_j}{\partial w_l}\left(\phi \right(z\left)\right)\right|\right)\end{array}$$

$$\begin{array}{ccc}& & =C\left(\left|f_j\right(w\left)\right|+{\sum }_{l=1}^n\left|\frac{\partial f_j}{\partial w_l}\left(w\right)\right|\right)\le C\varepsilon .\end{array}$$

(33)

Since $\psi \left(0\right)f_j\left(\phi \right(0\left)\right)\to 0$  for large enough $j,$  combining ( 32 ) and ( 33 ) we know ${\parallel W_{\psi ,\phi }{f}_j\parallel }_q\to 0,$  as $j\to \infty .$  If $p>1,$  note that ( 26 ), in a similar manner to the case $p=1$  , we can show the sufficiency, omit the details.

To show the necessity.

First we will prove the following Lemma:

Lemma 7 Let $p\ge 1$  and $q\ge 0$  . If $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)⟶{\mathcal{ℬ}}^q\left(U^n\right)$  is compact, then

$$\begin{array}{c}\left|\psi \right(z\left)\right|{\sum }_{k,l=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{{\left(1-|z_k{|}^2\right)}^q}{{\left(1-\left|{\phi }_l\right(z){|}^2\right)}^p}=o\left(1\right)\left(\phi \right(z)\to \partial U^n).\end{array}$$

(34)

Proof For any $\left\{z^j\right\}$  in $U^n$  with $\phi \left(z^j\right)\to \partial U^n$  as $j\to \infty .$  Let $A_j=\phi \left(z^j\right)=(a_{1j},\dots ,a_{nj}),$  where $a_{kj}={\phi }_k\left(z^j\right),1\le k\le n.$  Since $\phi \left(z^j\right)\to \partial U^n,$  as $j\to \infty$  , there exists some $s,(1\le s\le n),$  with $\left|a_{sj}\right|\to 1$  as $j\to \infty .$  Without loss of generality, we may assume that $s=1$  .

Case 1: If for some $l(1\le l\le n),$  $\left|a_{lj}\right|\to 1$  as $j\to \infty ,$  then set

$$\begin{array}{c}{f}_j\left(z\right)=\frac{{\left(1-|a_{lj}{|}^2\right)}^2}{{\left(1-z_l\overline{a_{lj}}\right)}^{p+1}}-\frac{1-|a_{lj}{|}^2}{{\left(1-z_l\overline{a_{lj}}\right)}^p},j=1,2,\cdots .\end{array}$$

(35)

$$\frac{\partial f_j}{\partial z_k}=0,(k\ne l),$$  $$\frac{\partial f_j}{\partial z_l}=(p+1)\overline{a_{lj}}\frac{{\left(1-|a_{lj}{|}^2\right)}^2}{{\left(1-z_l\overline{a_{lj}}\right)}^{p+2}}-p\overline{a_{lj}}\frac{1-|a_{lj}{|}^2}{{\left(1-z_l\overline{a_{lj}}\right)}^{p+1}},$$  so $\parallel f_j{\parallel }_p\le C$  and $\left\{f_j\right(z\left)\right\}$  tends to zero uniformly on compact subsets of $U^n.$  So by Lemma 2, we know ${\parallel W_{\psi ,\phi }{f}_j\parallel }_q\to 0$  as $j\to \infty .$  It follows from ( 22 ) that

$$\begin{array}{ccc}& & {\sum }_{k=1}^n{\left(1-|z_k^j{|}^2\right)}^q\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)f_j\left(\phi \right(z^j\left)\right)+\psi \left(z^j\right)\frac{\partial f_j}{\partial w_l}\left(\phi \right(z^j\left)\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & \le {\parallel W_{\psi ,\phi }{f}_j\parallel }_q\to 0.\end{array}$$

(36)

Note that $f_j\left(\phi \right(z^j\left)\right)=0$  and $\frac{\partial f_j}{\partial z_l}\left(\phi \right(z^j\left)\right)=\overline{a_{lj}}\frac{1}{{\left(1-|a_{lj}{|}^2\right)}^p}$  , ( 36 ) gives that

$$\begin{array}{ccc}& & \left|\psi \right(z^j\left)\right|{\sum }_{k=1}^n\frac{{\left(1-|z_k^j{|}^2\right)}^q}{{\left(1-|a_{lj}{|}^2\right)}^p}\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & \le C\frac{1}{\left|a_{lj}\right|}{\parallel W_{\psi ,\phi }{f}_j\parallel }_q\to 0\text{as}j\to \infty .\end{array}$$

(37)

Case 2: If for some $l(2\le l\le n),$  $\left|a_{lj}\right|\to ̸1$  as $j\to \infty ,$  then we assume $\left|a_{lj}\right|\le \rho <1.$  If $p\ge 1$  , The compactness of $W_{\psi ,\phi }$  implies $W_{\psi ,\phi }$  is bounded, by Theorem 1 and Remark 1, ( 11 ) is valid. Set

$$\begin{array}{c}{f}_j\left(z\right)=z_l{\left(\frac{1-|a_{1j}{|}^2}{1-z_1\overline{a_{1j}}}\right)}^p,j=1,2,\cdots .\end{array}$$

(38)

It is easy to show that $\parallel f_j{\parallel }_p\le C$  , and $\left\{f_j\right\}$  tends to zero uniformly on compact subsets of $U^n.$  It follows from ( 22 ) that

$$\begin{array}{ccc}& & \left|\psi \right(z^j\left)\right|{\sum }_{k=1}^n{\left(1-|z_k^j{|}^2\right)}^q\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & \le {\parallel W_{\psi ,\phi }{f}_j\parallel }_q+C{\sum }_{k=1}^n{\left(1-|z_k^j{|}^2\right)}^q\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & +C\left|\psi \right(z^j\left)\right|{\sum }_{k=1}^n\frac{{\left(1-|z_k^j{|}^2\right)}^q}{1-|a_{1j}{|}^2}\left|\frac{\partial {\phi }_1}{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & \le {\parallel W_{\psi ,\phi }{f}_j\parallel }_q+C{\sum }_{k=1}^n{\left(1-|z_k^j{|}^2\right)}^q\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & +C\left|\psi \right(z^j\left)\right|{\sum }_{k=1}^n\frac{{\left(1-|z_k^j{|}^2\right)}^q}{(1-|a_{1j}{|}^2{)}^p}\left|\frac{\partial {\phi }_1}{\partial z_k}\left(z^j\right)\right|\to 0.\end{array}$$

So

$$\begin{array}{ccc}& & \left|\psi \right(z^j\left)\right|{\sum }_{k=1}^n\frac{{\left(1-|z_k^j{|}^2\right)}^q}{(1-|a_{lj}{|}^2{)}^p}\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & \le \frac{1}{(1-{\rho }^2{)}^p}\left|\psi \right(z^j\left)\right|{\sum }_{k=1}^n{\left(1-|z_k^j{|}^2\right)}^q\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\to 0.\end{array}$$

(39)

Now we return to prove the necessary of Theorem 2.

If $p=1$  , by Lemma 7, ( 8 ) is necessary, now we prove that ( 7 ) is also necessary.

In case 1, set

$$\begin{array}{c}{f}_j\left(z\right)={\left(ln\frac{4}{1-|a_{lj}{|}^2}\right)}^{-1}{\left(ln\frac{4}{1-z_l\overline{a_{lj}}}\right)}^2,\end{array}$$

(40)

It is easy to show that $\parallel f_j{\parallel }_p\le C$  , and $\left\{f_j\right\}$  tends to zero uniformly on compact subsets of $U^n.$  It follows from ( 22 ) that $${\sum }_{k=1}^n{\left(1-|z_k^j{|}^2\right)}^q\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)f_j\left(\phi \right(z^j\left)\right)+\psi \left(z^j\right)\frac{\partial f_j}{\partial w_l}\left(\phi \right(z^j\left)\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\le {\parallel W_{\psi ,\phi }{f}_j\parallel }_q\to 0.$$  By a direct calculation and by ( 34 ), we obtain

$$\begin{array}{ccc}& & {\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)\right|{\left(1-|z_k{|}^2\right)}^{q}ln\frac{4}{1-\left|{\phi }_l\right(z){|}^2}\end{array}$$

$$\begin{array}{ccc}& & \le {\parallel W_{\psi ,\phi }{f}_j\parallel }_q+2\left|\psi \right(z^j\left)\right|{\sum }_{k=1}^n\frac{{\left(1-|z_k^j{|}^2\right)}^q}{{\left(1-|a_{lj}{|}^2\right)}^p}\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\to 0.\end{array}$$

(41)

In case 2, by remark 1, $${\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)\right|{\left(1-|z_k^j{|}^2\right)}^{q}ln\frac{4}{1-\left|{\phi }_l\right(z^j){|}^2}\le ln\frac{4}{1-{\rho }^2}{\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)\right|{\left(1-|z_k^j{|}^2\right)}^q\to 0.$$  Combining case 1 and case 2, we know ( 7 ) is necessary.

If $p>1.$  by Lemma 7, we know ( 10 ) is necessary, now we prove ( 9 ) is also necessary.

In case 1, set $$f_j\left(z\right)=(p+1)\frac{1-|a_{lj}{|}^2}{{\left(1-z_l\overline{a_{lj}}\right)}^p}-p\frac{{\left(1-|a_{lj}{|}^2\right)}^2}{{\left(1-z_l\overline{a_{lj}}\right)}^{p+1}},j=1,2,\cdots .$$  It is easy to show that $\parallel f_j{\parallel }_p\le C$  , and $\left\{f_j\right\}$  tends to zero uniformly on compact subsets of $U^n.$  Note that $f_j\left(\phi \right(z^j\left)\right)=\frac{1}{{\left(1-|a_{lj}{|}^2\right)}^{p-1}}$  and $\frac{\partial f_j}{\partial z_l}\left(\phi \right(z^j\left)\right)=0,$  it follows from ( 22 ) that

$$\begin{array}{ccc}& & {\sum }_{k=1}^n{\left(1-|z_k^j{|}^2\right)}^q\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)f_j\left(\phi \right(z^j\left)\right)+\psi \left(z^j\right)\frac{\partial f_j}{\partial w_l}\left(\phi \right(z^j\left)\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & ={\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)\right|\frac{{\left(1-|z_k^j{|}^2\right)}^q}{(1-|a_{lj}{|}^2{)}^{p-1}}\le {\parallel W_{\psi ,\phi }{f}_j\parallel }_q\to 0.\end{array}$$

(42)

In case 2, by remark 1,

$$\begin{array}{ccc}& & {\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)\right|\frac{{\left(1-|z_k^j{|}^2\right)}^q}{{\left(1-\left|{\phi }_l\right(z^j){|}^2\right)}^{p-1}}\end{array}$$

$$\begin{array}{ccc}& & \le \frac{1}{{\left(1-{\rho }^2\right)}^{p-1}}{\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)\right|{\left(1-|z_k^j{|}^2\right)}^q\to 0.\end{array}$$

Combining cas1 and case 2, we know ( 9 ) is necessary.

Now the proof of Theorem 2 is completed.

5 Proof of Theorem 3

Proof of Theorem 3. First assume $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)⟶{\mathcal{ℬ}}^q\left(U^n\right)$  is bounded and ( 12 ) holds, we prove that $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)\to {\mathcal{ℬ}}^q\left(U^n\right)$  is compact. By Lemma 6, assume that ${\parallel f_j\parallel }_p\le C,j=1,2,...,$  and $\left\{f_j\right\}$  converges to zero uniformly on $\overline{U^n},$  we need to prove that ${\parallel W_{\psi ,\phi }{f}_j\parallel }_q\to 0,$  as $j\to \infty .$  Note that the boundedness of $W_{\psi ,\phi }$  and Theorem 1, ( 1 ) and ( 2 ) hold. So

$$\begin{array}{c}\left|\psi \right(z\left)\right|\le C\parallel \psi {\parallel }_q\le C,\left|\psi \right(z\left)\right|{\sum }_{k=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{(1-|z_k{|}^2{)}^q}{(1-|{\phi }_l\left(z\right){|}^2{)}^p}\le C\end{array}$$

(43)

for $l\in \{1,2,\cdots ,n\}.$  By the assumption as $j\to \infty$ 

$$\begin{array}{c}{sup}_{z\in \overline{U^n}}\left|f_j\right(z\left)\right|\to 0\end{array}$$

(44)

$$\begin{array}{ccc}& & {\sum }_{k=1}^n\left|\frac{\partial \left(W_{\psi ,\phi }{f}_j\left(z\right)\right)}{\partial z_k}\right|(1-|z_k{|}^2{)}^q\end{array}$$

$$\begin{array}{ccc}& & ={\sum }_{k=1}^n\left|\frac{\partial \psi \left(z\right)}{\partial z_k}{f}_j\left(\phi \right(z\left)\right)+\psi \left(z\right){\sum }_{l=1}^n\frac{\partial f_j}{\partial w_l}\left(\phi \right(z\left)\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|(1-|z_k{|}^2{)}^q\end{array}$$

$$\begin{array}{ccc}& & \le \left|f_j\right(\phi \left(z\right)\left)\right|{\sum }_{k=1}^n\left|\frac{\partial \psi }{\partial z_k}\left(z\right)\right|{\left(1-|z_k{|}^2\right)}^q\end{array}$$

$$\begin{array}{ccc}& & +{\sum }_{k=1}^n{\sum }_{l=1}^n\left|\frac{\partial f_j}{\partial w_l}\left(\phi \right(z\left)\right)\right|\left|\psi \right(z\left)\right|\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{(1-|z_k{|}^2{)}^q}{(1-|{\phi }_l\left(z\right){|}^2{)}^p}\end{array}$$

$$\begin{array}{ccc}& & \le C\left|f_j\left(\phi \right(z\left)\right)\right|+{\sum }_{k=1}^n{\sum }_{k=1}^n\left|\frac{\partial f_j}{\partial w_l}\left(\phi \right(z\left)\right)\right|\left|\psi \right(z\left)\right|\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{(1-|z_k{|}^2{)}^q}{(1-|{\phi }_l\left(z\right){|}^2{)}^p}\end{array}$$

$$\begin{array}{ccc}& & \le C\varepsilon +{\sum }_{k=1}^n{\sum }_{l=1}^n\left|\frac{\partial f_j}{\partial w_l}\left(\phi \right(z\left)\right)\right|\left|\psi \right(z\left)\right|\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{(1-|z_k{|}^2{)}^q}{(1-|{\phi }_l\left(z\right){|}^2{)}^p}.\end{array}$$

(45)

For every $\varepsilon >0$  , $l\in \{1,...,n\},$  ( 12 ) implies that there exists an $r$  , $0<r<1$  , such that

$$\begin{array}{c}\left|\psi \right(z\left)\right|{\sum }_{k=1}^n\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{(1-|z_k{|}^2{)}^q}{(1-|{\phi }_l\left(z\right){|}^2{)}^p}<\varepsilon ,\end{array}$$

(46)

whenever $\left|{\phi }_l\right(z\left)\right|>r.$  Note that $$U^n=\left\{z\in U^n:\left|{\phi }_l\right(z\left)\right|>r\right\}\bigcup \left\{z\in U^n:\left|{\phi }_l\right(z\left)\right|\le r\right\}.$$  For each $l\in \{1,2,\cdots ,n\}.$  If $\left|{\phi }_l\right(z\left)\right|>r,$  from ( 46 ) and $\parallel f_j{\parallel }_p\le C$  , we have

$$\begin{array}{c}\left|\frac{\partial f_j}{\partial w_l}\left(\phi \right(z\left)\right)\right|\left|\psi \right(z\left)\right|\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{(1-|z_k{|}^2{)}^q}{(1-|{\phi }_l\left(z\right){|}^2{)}^p}<C\varepsilon .\end{array}$$

(47)

If $\left|{\phi }_l\right(z\left)\right|\le r,$  by the Cauchy's estimate applied to the function $$g\left(w_l\right)=f(w_1,...,w_{l-1},w_l,w_{l+1}...,w_n),$$  of one variable, if $\left|w_l\right|\le r,$  we have $$\left|\frac{\partial f_j}{\partial w_l}\left(w\right)\right|\le C{sup}_{\left|w_l\right|\le \frac{1+r}{2}}\left|f_j\right(w\left)\right|\le C{sup}_{z\in \overline{U^n}}\left|f_j\right(z\left)\right|,$$  for some $C>0$  independent of $f.$  From this, ( 43 ) and ( 44 ) we have

$$\begin{array}{ccc}& & \left|\frac{\partial f_j}{\partial w_l}\left(\phi \right(z\left)\right)\right|\left|\psi \right(z\left)\right|\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z\right)\right|\frac{(1-|z_k{|}^2{)}^q}{(1-|{\phi }_l\left(z\right){|}^2{)}^p}\end{array}$$

$$\begin{array}{ccc}& & \le C{sup}_{z\in \overline{U^n}}\left|f_j\right(z\left)\right|\to 0\end{array}$$

(48)

as $j\to \infty .$  So From ( 45 ),( 47 ) and ( 48 ), and since ${lim}_{j\to \infty }{f}_j\left(\phi \right(0\left)\right)=0,$  we obtain ${\parallel C_{\phi }{f}_j\parallel }_q\to 0,$  as $j\to \infty ,$  from which the result follows.

Now suppose that $W_{\psi ,\phi }:{\mathcal{ℬ}}^p\left(U^n\right)\to {\mathcal{ℬ}}^q\left({\text{C}}^n\right)$  is compact. Then $W_{\psi ,\phi }$  is bounded, and by Theorem 1 we know that ( 4 ) holds. Now we prove that condition ( 12 ) holds. Let $\left\{z^j\right\}$  be a sequence in $U^n$  and $w^j=\phi \left(z^j\right)=(w_1^j,...,w_n^j).$  For each $l\in \{1,2,\cdots ,n\}$  with ${lim}_{j\to \infty }\left|w_l^j\right|\to 1.$  Let $$f_j\left(z\right)=\frac{1-|w_l^j{|}^2}{(1-z_l\overline{w_l^j}{)}^p},j=1,2,...,$$  then $$\frac{\partial f_j}{\partial z_l}\left(z\right)=p\overline{w_l^j}\frac{1-|w_l^j{|}^2}{(1-z_l\overline{w_l^j{|}^2}{)}^{p+1}}.$$  As in the proof of Theorem 2 we can prove that $\parallel f_j{\parallel }_p\le 1+2^{p+1}p,$  for all $j\in \mathbf{N},$  i.e. $\left\{f_j\right\}$  is bounded on ${\mathcal{ℬ}}^p\left(U^n\right).$  It is easy to see that $f_j$  tends to zero uniformly on compact subsets of ${\text{C}}^n.$  So by Lemma 2, we know ${\parallel W_{\phi }{f}_j\parallel }_q\to 0$  as $j\to \infty$  and notice that $$f_j\left(\phi \right(z^j\left)\right)=(1-|w_l^j{|}^2{)}^{1-p},\frac{\partial f_j}{\partial w_l}\left(\phi \right(z^j\left)\right)=p\overline{w_l^j}\frac{1}{(1-|w_l^j{|}^2{)}^p},$$  consequently, by ( 22 )

$$\begin{array}{ccc}& & {\sum }_{k=1}^n{\left(1-|z_k^j{|}^2\right)}^q\left|\frac{\partial \psi }{\partial z_k}\left(z^j\right)f_j\left(\phi \right(z^j\left)\right)+\psi \left(z^j\right)\frac{\partial f_j}{\partial w_l}\left(\phi \right(z^j\left)\right)\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\end{array}$$

$$\begin{array}{ccc}& & \le {\parallel W_{\psi ,\phi }{f}_j\parallel }_q.\end{array}$$

(49)

So $${\sum }_{k=1}^{n}p\left|w_l^j\right|\left|\psi \right(z^j)\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\frac{{\left(1-|z_k^j{|}^2\right)}^q}{(1-|w_l^j{|}^2{)}^p}\le \parallel \psi {\parallel }_q{\left(1-|w_l^j{|}^2\right)}^{1-p}+{\parallel W_{\psi ,\phi }{f}_j\parallel }_q.$$  Hence $$\left|\psi \right(z^j\left)\right|{\sum }_{k=1}^n\frac{(1-|z_k^j{|}^2{)}^q}{(1-|w_l^j{|}^2{)}^p}\left|\frac{\partial {\phi }_l}{\partial z_k}\left(z^j\right)\right|\le \frac{1}{p\left|w_l^j\right|}\left(C(1-|w_l^j{|}^2{)}^{1-p}+{\parallel W_{\psi ,\phi }{f}_j\parallel }_q\right)\to 0$$  as $j\to \infty .$  Now the proof of Theorem 3 is finished.

References

1. R.Timoney, Bloch Function in Several Complex Variables, I, Bull.London Math.Soc. 12(1980),241-267.
2. R.Timoney, Bloch Function in Several Complex Variables, II, J. Reine Angew Math., 319(1980):1-22.
3. C. C. Cowen and B. D. MacCluer, Composition operators on spaces of analytic functions, CRC Press, Boca Raton, FL,1995.
4. K. Madigan and A. Matheson, Compact composition operators on the Bloch space, Trans. Amer. Math. Soc. 347(1995): 2679-2687.
5. K. Madigan, Compact composition operators on analytic Lipschitz space, Proc. Amer. Math. Soc. 119(1993): 465-473.
6. M. D. Contreras and A. G. Hernandez-Diaz, Weighted composition operators in weighted Banach spaces of ananytic functions, J. Austral. Math. Soc. (Series A), 69(2000):41-46.
7. Alfonso Montes-Rodriguez, Weighted composition operators on weighted banach spaces of analytic functions, J. London Math. Soc. (2)61(2000):872-884.
8. S.Ohno, K. Stroethoff and R.H.Zhao, Weighted composition operators between-type spaces, Rocky Mountain Journal of Mathematics,Vol33, No.1(2003):191-215.
9. J. H. Shi and L. Luo, Composition operators on the Bloch space of several complex variables, Acta Math. Sinica, English Series, 16(2000):85-98.
10. Z. H. Zhou and J. H. Shi, Compact composition operators on the Bloch space in polydisk, Science in China (Series A), 44(2001): 286-291.
11. Z. H. Zhou, Composition operators on the Lipschitz spaces in polydisk. Science in China (Series A), 46(2003): 33-38.
12. Z. H. Zhou and J. H. Shi, Compactness of composition operators on the Bloch space in classical bounded symmetric domains, The Michigan Mathematical Journal, 50(2002): 381-405.
13. J. P. D'Angelo, Several complex variables and geometry of real hypersurfaces, CRC Press, 1993.

^$1$  Supported in part by the National Natural Science Foundation of China (Grand No.10371091), and LiuHui Center for Applied Mathematics, Nankai University and Tianjin University