## Compact Composition Operators on the Bloch Space in Bounded Symmetric Domains

### Zehua Zhou Yan Liu Department of Mathematics, Tianjin University, Tianjin 300072 E-mail: zehuazhou2003@yahoo.com.cn

$1$
Abstract
Let $\Omega$  be a bounded symmetric domain except the two exceptional domains of ${\text{C}}^{N}$  and $\phi$  a holomorphic self-map of $\Omega .$  This paper gives a sufficient and necessary condition for the composition operator ${C}_{\phi }$  induced by $\phi$  to be compact on the Bloch space $\beta \left(\Omega \right)$  .
Key words Bloch space, Bounded symmetric domains, Composition operator, Bergman metric.
2000 Mathematics Subject Classification 47B38 47B33 32A30 32A37

1 Introduction

Let $\mathcal{D}$  be a bounded homogeneous domain in ${\text{C}}^{N}.$  The class of all holomorphic functions with domain $\mathcal{D}$  will be denoted by $H\left(\mathcal{D}\right).$  Let $\phi$  be a holomorphic self-map of $\mathcal{D}$  . For $f\in H\left(\mathcal{D}\right),$  we denote the composition $f\circ \phi$  by ${C}_{\phi }f$  and call ${C}_{\phi }$  the composition operator induced by $\phi$  .
Let $K\left(z,z\right)$  be the Bergman kernel function of $\mathcal{D}$  . The Bergman metric ${H}_{z}\left(u,u\right)$  in $\mathcal{D}$  is defined by ${H}_{z}\left(u,u\right)=\frac{1}{2}{\sum }_{l,k=1}^{N}\frac{{\partial }^{2}logK\left(z,z\right)}{\partial {z}_{l}\partial {\overline{z}}_{k}}{u}_{l}{\overline{u}}_{k},$  where $z\in \mathcal{D}$  and $u=\left({u}_{1},\dots ,{u}_{N}\right)\in {\text{C}}^{N}.$  Following Timoney [1], we say that $f\in H\left(\mathcal{D}\right)$  is in the Bloch space $\beta \left(\mathcal{D}\right),$  if
 $\begin{array}{c}\parallel f{\parallel }_{\beta \left(\mathcal{D}\right)}={sup}_{z\in \mathcal{D}}{Q}_{f}\left(z\right)<\infty ,\end{array}$ (1)
where ${Q}_{f}\left(z\right)=sup\left\{\frac{|▽f\left(z\right)u|}{{H}_{z}^{\frac{1}{2}}\left(u,u\right)}:u\in {\text{C}}^{N}-\left\{0\right\}\right\},$  and $▽f\left(z\right)=\left(\frac{\partial f\left(z\right)}{\partial {z}_{1}},\dots ,\frac{\partial f\left(z\right)}{\partial {z}_{N}}\right),▽f\left(z\right)u={\sum }_{l=1}^{N}\frac{\partial f\left(z\right)}{\partial {z}_{l}}{u}_{l}.$  Let $D$  be the unit disk in $\text{C}.$  Madigan and Matheson [2] proved that ${C}_{\phi }$  is always bounded on $\beta \left(D\right).$  They also gave the sufficient and necessary condition that ${C}_{\phi }$  is compact on $\beta \left(D\right).$  Recently, Shi and Luo [3] proved that ${C}_{\phi }$  is always bounded on $\beta \left(\mathcal{D}\right),$  where $\mathcal{D}$  is a bounded homogeneous domain in ${\text{C}}^{N}.$  They also gave a sufficient condition for ${C}_{\phi }$  to be compact on $\beta \left(\mathcal{D}\right)$  (i.e., Lemma 3). So this result leads us to ask whether the condition is also necessary. Zhou and Shi [4] give an affirmative answer to this question for classical bounded symmetric domains. In fact, the original purpose of the typescript for [4], is to answer the question in the bounded symmetric domains of ${\text{C}}^{N}$  , but in the final proof, the referee point out a fatal mistake which we aren't able to correct that time, upon the suggestion of the referee, we cancel out the last part and published in the form of [4] which discussed only in the four types classical bounded symmetric domains. The following paper overcome difficulty and solve the problem, for the method used here we essentially follow [4], but some new techniques have been used.
By using Cartan's list, all irreducible bounded symmetric domains are divided into six types. The first four types of irreducible domains are called the classical boundedsymmetric domains. The other two types, called exceptional domains, consist of one domain each (a 16and a 27-dimensional domain).
In what follows, $\Omega$  denotes a bounded symmetric domain except the two exceptional domains of ${\text{C}}^{N}$  , and $\phi$  a holomorphic self-map of $\Omega .$  If $U=\left({u}_{kl}{\right)}_{m×n}$  is a $m×n$  complex matrix, write $u=\left({u}_{11},\dots ,{u}_{1n},\dots ,{u}_{m1},\dots ,{u}_{mn}\right)$  as the corresponding vector of matrix $U$  and ${\overline{u}}^{\prime }$  is the conjugate transpose of $u.$  $C$  is a positive constant, not necessarily the same at each occurrence.
In this paper, we will give a sufficient and necessary condition that the composition operator ${C}_{\phi }$  is compact on $\beta \left(\Omega \right).$  Let $A=\left({a}_{jk}{\right)}_{m×n},B=\left({b}_{lr}{\right)}_{p×q}$  . The Kronecker product of $A$  and $B,$  defined by $A×B=C=\left({c}_{jlkr}\right),$  is a $mp×nq$  matrix, where ${c}_{jlkr}={a}_{jk}{b}_{lr}$  .
It is well known [5] that the classical bounded symmetric domains ${R}_{I},{R}_{II},{R}_{III},$  and ${R}_{IV}$  can be expressed as follows:
${R}_{I}\left(m,n\right)=\left\{Z:Z\text{is a}m×n\text{complex matrix,}{I}_{m}-Z{\overline{Z}}^{\prime }>0\right\},$  where ${I}_{m}$  is the $m×m$  identity matrix ( $m\le n$  ).
${R}_{II}\left(p\right)=\left\{Z:Z\text{is a}p×p\text{symmetric matrix}Z={Z}^{\prime },{I}_{p}-Z\overline{Z}>0\right\}.$  ${R}_{III}\left(q\right)=\left\{Z:Z\text{is a}q×q\text{antisymmetric matrix}Z=-Z{,}^{\prime }{I}_{q}+Z\overline{Z}>0\right\}.$  ${R}_{IV}\left(N\right)=\left\{z:z=\left({z}_{1},\dots ,{z}_{N}\right),1+|z{z}^{\prime }{|}^{2}-2z{\overline{z}}^{\prime }>0,|z{z}^{\prime }|<1\right\}.$  Their Bergman metrics are the following respectively [6]:
 $\begin{array}{c}{H}_{z}^{I}\left(u,u\right)=\left(m+n\right)u\left({I}_{m}-Z{\overline{Z}}^{\prime }{\right)}^{-1}×\left({I}_{n}-{\overline{Z}}^{\prime }Z{\right)}^{-1}{\overline{u}}^{\prime },\end{array}$ (2)
where $Z\in {R}_{I}\left(m,n\right)$  and $U$  is a $m×n$  complex matrix, $u$  is the corresponding vector of $U,$  ${\overline{u}}^{\prime }$  is the conjugate transpose of $u.$
 $\begin{array}{c}{H}_{z}^{II}\left(u,u\right)=\left(p+1\right)u\left({I}_{p}-Z\overline{Z}{\right)}^{-1}×\left({I}_{p}-\overline{Z}Z{\right)}^{-1}{\overline{u}}^{\prime },\end{array}$ (3)
where $Z\in {R}_{II}\left(p\right)$  and $U$  is a $p×p$  symmetric complex matrix, $u$  is the corresponding vector of $U.$
 $\begin{array}{c}{H}_{z}^{III}\left(u,u\right)=2\left(q-1\right)u\left({I}_{q}+Z\overline{Z}{\right)}^{-1}×\left({I}_{q}+\overline{Z}Z{\right)}^{-1}{\overline{u}}^{\prime },\end{array}$ (4)
where $Z\in {R}_{III}\left(q\right)$  and $U$  is a $q×q$  anti-symmetric complex matrix, $u$  is the corresponding vector of $U.$
 $\begin{array}{ccc}{H}_{z}^{IV}\left(u,u\right)& =& \frac{2N}{\left(1+|z{z}^{\prime }{|}^{2}-2z{\overline{z}}^{\prime }{\right)}^{2}}u\left[\left(1+|z{z}^{\prime }{|}^{2}-2z{\overline{z}}^{\prime }\right){I}_{N}\end{array}$
 $\begin{array}{ccc}& & -2{\left(\begin{array}{c}z\\ \overline{z}\end{array}\right)}^{\prime }\left(\begin{array}{cc}1-2|z{|}^{2}& \overline{z{z}^{\prime }}\\ z{z}^{\prime }& -1\end{array}\right)\overline{\left(\begin{array}{c}z\\ \overline{z}\end{array}\right)}\right]{\overline{u}}^{\prime }.\end{array}$ (5)
where $z\in {R}_{IV}\left(N\right)$  and $u\in {\text{C}}^{N}.$  Our main result is the following:
Theorem Let $\Omega \subset {\text{C}}^{N}$  be a bounded symmetric domain except the two exceptional domains and $\phi$  a holomorphic self-map of $\Omega .$  Then ${C}_{\phi }$  is compact on the Bloch space $\beta \left(\Omega \right)$  if and only if for every $\varepsilon >0$  , there exists a $\delta >0,$  such that
 $\begin{array}{c}\frac{{H}_{\phi \left(z\right)}\left(J\phi \left(z\right)u,J\phi \left(z\right)u\right)}{{H}_{z}\left(u,u\right)}<\varepsilon ,\end{array}$ (6)
for all $u\in {\text{C}}^{N}-\left\{0\right\}$  whenever $dist\left(\phi \left(z\right),\partial \Omega \right)<\delta ,$  where ${H}_{z}\left(u,u\right)$  is the Bergman metric of $\Omega .$  Remark It is well known that the unit ball and unit polydiscs are bounded symmetric domains, so the above result holds in the unit balls and unit polydiscs. Furthermore, we can also obtain Theorem 2 in [2].

2 Some Lemmas

In order to prove the Theorem, we need the following Lemmas.
Lemma 1 ([1], Theorem 2.12) Let $\mathcal{D}\subset {\text{C}}^{N}$  be a bounded homogeneous domain. Then there exists a constant $C$  depending only on $\mathcal{D}$  , such that ${H}_{\phi \left(z\right)}\left(J\phi \left(z\right)u,J\phi \left(z\right)u\right)\le C{H}_{z}\left(u,u\right)$  , for each $z\in \mathcal{D},$  whenever $\phi$  holomorphically maps $\mathcal{D}$  into itself. Here ${H}_{z}\left(u,u\right)$  denotes the Bergman metric on $\mathcal{D},$  $J\phi \left(z\right)={\left(\frac{\partial {\phi }_{l}\left(z\right)}{\partial {z}_{k}}\right)}_{1\le l,k\le N}$  denotes the Jacobian matrix of $\phi ,$  and $J\phi \left(z\right)u$  denotes a vector, whose $l$  th component is ${\left(J\phi \left(z\right)u\right)}_{l}={\sum }_{k=1}^{N}\frac{\partial {\phi }_{l}\left(z\right)}{\partial {z}_{k}}{u}_{k},$  $l=1,2,\dots ,N.$
Lemma 2 ([3], Lemma 3) Let $\mathcal{D}$  be a bounded homogeneous domain in ${\text{C}}^{N}.$  Then ${C}_{\phi }$  is compact on $\beta \left(\mathcal{D}\right)$  if and only if for any bounded sequence $\left\{{f}_{k}\right\}$  in $\beta \left(\mathcal{D}\right)$  which converges to zero uniformly on compact subsets of $\mathcal{D}$  , we have $\parallel {f}_{k}\circ \phi {\parallel }_{\beta \left(\mathcal{D}\right)}\to 0,$  as $k\to \infty .$
Lemma 3 ([3], Theorem 3) If $\phi :\mathcal{D}\to \mathcal{D}$  is a holomorphic self-map, where $\mathcal{D}$  is a bounded homogeneous domain in ${\text{C}}^{N}.$  Then ${C}_{\phi }$  is compact on $\beta \left(\mathcal{D}\right)$  if for every $\varepsilon >0$  , there exists a $\delta >0,$  such that $\frac{{H}_{\phi \left(z\right)}\left(J\phi \left(z\right)u,J\phi \left(z\right)u\right)}{{H}_{z}\left(u,u\right)}<\varepsilon ,$  for all $u\in {\text{C}}^{N}-\left\{0\right\}$  whenever $dist\left(\phi \left(z\right),\partial \mathcal{D}\right)<\delta .$
Lemma 4 ([4], Lemma 4) Let $\mathcal{D}$  be a bounded homogeneous domain of ${\text{C}}^{N},$  and let $T\left(z,z\right)$  denote its metric matrix. If $T\left(0,0\right)=\lambda {I}_{N},$  where $\lambda$  is a constant depending only on $\mathcal{D},$  then a holomorphic function $f$  on $\mathcal{D}$  is in $\beta \left(\mathcal{D}\right)$  if and only if
 $\begin{array}{c}{sup}_{z\in \mathcal{D}}\left\{▽f\left(z\right){T}^{-1}\left(z,z\right){\overline{▽f\left(z\right)}}^{\prime }\right\}<\infty .\end{array}$ (7)
If ( 7 ) holds, then there exists a constant $C$  depending only on $\mathcal{D}$  such that $\parallel f{\parallel }_{\beta \left(\mathcal{D}\right)}\le C{sup}_{z\in \mathcal{D}}\left\{▽f\left(z\right){T}^{-1}\left(z,z\right){\overline{▽f\left(z\right)}}^{\prime }\right\}.$
Lemma 5 ([1], Proposition 4.5) Let $\mathcal{D}$  be a bounded homogeneous domain in ${\text{C}}^{N}.$  If $f$  is a bounded holomorphic function in $\mathcal{D},$  then $f\in \beta \left(\mathcal{D}\right)$  and there exists a constant $C$  depending only on $\mathcal{D}$  , such that $\parallel f{\parallel }_{\beta \left(\mathcal{D}\right)}\le C{sup}_{z\in \mathcal{D}}|f\left(z\right)|.$
It is well known that every $m×n$  $\left(m\le n\right)$  matrix $A$  may be written as $A=U\left({\sum }_{k=1}^{m}{\lambda }_{k}{E}_{kk}\right)V,$  where $U$  and $V$  are $m×m$  and $n×n$  unitary matrices respectively, and ${\lambda }_{1}\ge \cdots \ge {\lambda }_{m}\ge 0,$  ${E}_{kk}$  is a $m×n$  matrix, the element of $k$  th row and $k$  th column is 1, and other elements are $0.$  Hence for every $P\in {R}_{I}\left(m,n\right)$  $\left(m\le n\right),$  there exist $m×m$  unitary matrix $U$  and $n×n$  unitary matrix $V$  , such that $P=U\left({\sum }_{k=1}^{m}{\lambda }_{k}{E}_{kk}\right)V,$  $\left(1\ge {\lambda }_{1}\ge \cdots \ge {\lambda }_{m}\ge 0\right).$
Lemma 6 ([4], Lemma 8) Let $P=U\left(\begin{array}{ccccccc}{\lambda }_{1}& 0& \cdot \cdot \cdot & 0& 0& \cdot \cdot \cdot & 0\\ 0& {\lambda }_{2}& \cdot \cdot \cdot & 0& 0& \cdot \cdot \cdot & 0\\ \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot \\ 0& 0& \cdot \cdot \cdot & {\lambda }_{m}& 0& \cdot \cdot \cdot & 0\end{array}\right)V\in {R}_{I},$  and write $Q=U\left(\begin{array}{cccc}\frac{1}{\sqrt{1-{\lambda }_{1}^{2}}}& 0& \cdot \cdot \cdot & 0\\ 0& \frac{1}{\sqrt{1-{\lambda }_{2}^{2}}}& \cdot \cdot \cdot & 0\\ \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot \\ 0& 0& \cdot \cdot \cdot & \frac{1}{\sqrt{1-{\lambda }_{m}^{2}}}\end{array}\right){\overline{U}}^{\prime },$  $R={\overline{V}}^{\prime }\left(\begin{array}{ccccccc}\frac{1}{\sqrt{1-{\lambda }_{1}^{2}}}& 0& \cdot \cdot \cdot & 0& 0& \cdot \cdot \cdot & 0\\ 0& \frac{1}{\sqrt{1-{\lambda }_{2}^{2}}}& \cdot \cdot \cdot & 0& 0& \cdot \cdot \cdot & 0\\ \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot \\ 0& 0& \cdot \cdot \cdot & \frac{1}{\sqrt{1-{\lambda }_{m}^{2}}}& 0& \cdot \cdot \cdot & 0\\ & {0}_{\left(n-m\right)×m}& & & & {I}_{n-m}& \end{array}\right)V,$  where $U$  and $V$  are $m×m$  and $n×n$  unitary matrices respectively, and ${\lambda }_{1}\ge \cdots \ge {\lambda }_{m}\ge 0.$  For $Z\in {R}_{I},$  denote ${\Phi }_{P}^{\left(I\right)}\left(Z\right)=Q\left(P-Z\right)\left({I}_{n}-{\overline{P}}^{\prime }Z{\right)}^{-1}{R}^{-1},$  then (I) ${\Phi }_{P}^{\left(I\right)}\in Aut\left({R}_{I}\right);$  (II) ${\left({\Phi }_{P}^{\left(I\right)}\right)}^{-1}={\Phi }_{P}^{\left(I\right)};$  (III) ${\Phi }_{P}^{\left(I\right)}\left(0\right)=0,{\Phi }_{P}^{\left(I\right)}\left(P\right)=P;$  (IV) $d{\Phi }_{P}^{\left(I\right)}\left(Z\right){|}_{Z=P}=-QdZR,d{\Phi }_{P}^{\left(I\right)}\left(Z\right){|}_{Z=0}=-{Q}^{-1}dZ{R}^{-1};$  (V) ${\Phi }_{P}^{\left(I\right)}\left(Z\right)={Q}^{-1}\left({I}_{m}-Z{\overline{P}}^{\prime }{\right)}^{-1}\left(P-Z\right)R,$  for $Z\in {R}_{I};$  (VI) $\left({I}_{m}-Z{\overline{P}}^{\prime }\right)Q\left({I}_{m}-{\Phi }_{P}^{\left(I\right)}\left(Z\right){\overline{{\Phi }_{P}^{\left(I\right)}\left(Z\right)}}^{\prime }\right){\overline{Q}}^{\prime }\left({I}_{m}-P{\overline{Z}}^{\prime }\right)={I}_{m}-Z{\overline{Z}}^{\prime },$  for $Z\in {R}_{I}.$

3 An Important Proposition

Proposition Let ${R}_{A}\left(A=I,II,III,IV\right)$  be a classical bounded symmetric domain.
If ${a}^{j}\in {R}_{A}$  , $d\left({a}^{j},\partial {R}_{A}\right)\to 0$  as $j\to \infty ,$  and ${w}^{j}\in {\text{C}}^{N}-\left\{0\right\},$  then exists a sequence of functions $\left\{{f}_{j}\right\}$  satisfying the following three conditions:
(i) $\left\{{f}_{j}\right\}$  is a bounded sequence in $\beta \left({R}_{A}\right)$  ; (ii) $\left\{{f}_{j}\right\}$  tends to zero uniformly on any compact subsets of ${R}_{A};$  (iii) $\frac{|▽{f}_{j}\left({a}^{j}\right){w}^{j}|}{{H}_{{a}^{j}}^{\frac{1}{2}}\left({w}^{j},{w}^{j}\right)}\ge C.$  Proof Note that the construction of the test functions in [4], and replace $\phi \left({Z}_{j}\right)$  by ${a}_{j}$  at a time, we can construct a sequence of functions $\left\{{f}_{j}\right\}$  satisfying the above three conditions. For example, for the reader's convenience, we give the proof for the domain ${R}_{I}.$  But the proof completely follows from [4], if necessary, the proof can be also omitted.
We construct a sequence of the functions according to the following four parts.
Part A: To construct the sequence of $\left\{{f}_{j}\right\}$  , we first assume that ${a}^{j}={r}_{j}{E}_{11},j=1,2,\dots ,$  where ${E}_{kl}$  is a $m×n$  matrix, the element of $k$  th row and $l$  th column is 1, and other elements are 0. It is clear that $0<{r}_{j}<1$  and ${r}_{j}\to 1$  as $j\to \infty .$  Denote ${w}^{j}=\left({w}_{11}^{j},\cdots ,{w}_{1n}^{j},{w}_{21}^{j},\cdots ,{w}_{2n}^{j},\cdots ,{w}_{m1}^{j},\cdots ,{w}_{mn}^{j}\right).$  Using the formula ( 2 ), we have
 $\begin{array}{ccc}& & {H}_{{a}^{j}}^{I}\left({w}^{j},{w}^{j}\right)={H}_{{r}_{j}{E}_{11}}^{I}\left({w}^{j},{w}^{j}\right)\end{array}$
 $\begin{array}{ccc}& & =\left(m+n\right){w}^{j}\left(\begin{array}{cccc}\left(1-{r}_{j}^{2}{\right)}^{-1}& 0& \cdot \cdot \cdot & 0\\ 0& 1& \cdot \cdot \cdot & 0\\ \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot \\ 0& 0& \cdot \cdot \cdot & 1\end{array}\right)×\left(\begin{array}{cccc}\left(1-{r}_{j}^{2}{\right)}^{-1}& 0& \cdot \cdot \cdot & 0\\ 0& 1& \cdot \cdot \cdot & 0\\ \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot \\ 0& 0& \cdot \cdot \cdot & 1\end{array}\right){\overline{{w}^{j}}}^{\prime }\end{array}$
 $\begin{array}{ccc}& & =\left(m+n\right)\left[\frac{|{w}_{11}^{j}{|}^{2}}{\left(1-{r}_{j}^{2}{\right)}^{2}}+\frac{1}{1-{r}_{j}^{2}}\left({\sum }_{l=2}^{n}|{w}_{1l}^{j}{|}^{2}+{\sum }_{k=2}^{m}|{w}_{k1}^{j}{|}^{2}\right)+{\sum }_{2\le k\le m,2\le l\le n}|{w}_{kl}^{j}{|}^{2}\right].\end{array}$
Denote
 $\begin{array}{ccc}& & {A}_{j}^{I}=\frac{|{w}_{11}^{j}{|}^{2}}{\left(1-{r}_{j}^{2}{\right)}^{2}},\end{array}$
 $\begin{array}{ccc}& & {B}_{j}^{I}=\frac{1}{1-{r}_{j}^{2}}\left({\sum }_{l=2}^{n}|{w}_{1l}^{j}{|}^{2}+{\sum }_{k=2}^{m}|{w}_{k1}^{j}{|}^{2}\right),\end{array}$
 $\begin{array}{ccc}& & {C}_{j}^{I}={\sum }_{2\le k\le m,2\le l\le n}|{w}_{kl}^{j}{|}^{2},\end{array}$
then
 $\begin{array}{c}{H}_{{a}^{j}}^{I}\left({w}^{j},{w}^{j}\right)=\left(m+n\right)\left({A}_{j}^{I}+{B}_{j}^{I}+{C}_{j}^{I}\right).\end{array}$ (8)
We construct the functions according to three different cases:
Case 1 If for some $j,$
 $\begin{array}{c}max\left({B}_{j}^{I},{C}_{j}^{I}\right)\le {A}_{j}^{I},\end{array}$ (9)
then set
 $\begin{array}{c}{f}_{j}\left(Z\right)=log\left(1-{e}^{-a\left(1-{r}_{j}\right)}{z}_{11}\right)-log\left(1-{z}_{11}\right),\end{array}$ (10)
where $Z=\left({z}_{kl}\right),1\le k\le m,1\le l\le n$  and $a$  is any positive number.
Case 2 If for some $j,$
 $\begin{array}{c}max\left({A}_{j}^{I},{C}_{j}^{I}\right)\le {B}_{j}^{I},\end{array}$ (11)
then set
 $\begin{array}{c}{f}_{j}\left(Z\right)=\left({\sum }_{l=2}^{n}{e}^{-i{\theta }_{1l}^{j}}{z}_{1l}+{\sum }_{k=2}^{m}{e}^{-i{\theta }_{k1}^{j}}{z}_{k1}\right)\left(\frac{1}{\sqrt{1-{e}^{-a\left(1-{r}_{j}\right)}{z}_{11}}}-\frac{1}{\sqrt{1-{z}_{11}}}\right),\end{array}$ (12)
where $a$  is any positive number, and ${\theta }_{1l}^{j}=arg{w}_{1l}^{j},$  ${\theta }_{k1}^{j}=arg{w}_{k1}^{j}.$  If ${w}_{1l}^{j}=0$  for some $l$  or ${w}_{k1}^{j}=0$  for some $k$  , replace the corresponding term ${e}^{-i{\theta }_{1l}^{j}}{z}_{1l}$  or ${e}^{-i{\theta }_{k1}^{j}}{z}_{k1}$  by $0.$  Case 3 If for some $j,$
 $\begin{array}{c}max\left({A}_{j}^{I},{B}_{j}^{I}\right)\le {C}_{j}^{I},\end{array}$ (13)
then set
 $\begin{array}{c}{f}_{j}\left(Z\right)=\left({\sum }_{2\le k\le m,2\le l\le n}{e}^{-i{\theta }_{kl}^{j}}{z}_{kl}\right)\sqrt{1-{z}_{11}}\left(\frac{1}{\sqrt{1-{e}^{-a\left(1-{r}_{j}\right)}{z}_{11}}}-\frac{1}{\sqrt{1-{z}_{11}}}\right),\end{array}$ (14)
where $a$  is any positive number, and ${\theta }_{kl}^{j}=arg{w}_{kl}^{j},2\le k\le m,2\le l\le n.$  If ${w}_{kl}^{j}=0$  for some $k$  or $l,$  replace the corresponding term ${e}^{-i{\theta }_{kl}^{j}}{z}_{kl}$  by $0.$  Let $E$  be a compact subset of ${R}_{I},$  then there exists a $\rho \in \left(0,1\right)$  such that $|{z}_{11}|\le \rho ,$  for any $Z=\left({z}_{kl}\right)\in E.$  It is easy to show that the sequence of functions defined by ( 10 ), ( 12 ) and ( 14 ) respectively, converges to zero uniformly on $E$  as $j\to \infty ,$  so the sequence satisfies the conditions (ii).
Now we prove the above sequence satisfies the condition (i).
For the functions defined by ( 10 ), it is easy to see
 $\begin{array}{ccc}▽{f}_{j}\left(Z\right)& =& \left(\frac{\partial {f}_{j}}{\partial {z}_{11}}\left(Z\right),\cdots ,\frac{\partial {f}_{j}}{\partial {z}_{1n}}\left(Z\right),\cdots ,\frac{\partial {f}_{j}}{\partial {z}_{m1}}\left(Z\right),\cdots ,\frac{\partial {f}_{j}}{\partial {z}_{mn}}\left(Z\right)\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\frac{\partial {f}_{j}}{\partial {z}_{11}}\left(Z\right),\cdots ,0,\cdots ,0,\cdots ,0\cdots ,0\right).\end{array}$
From formula (2), it is easy to know that the metric matrix of ${R}_{I}\left(m,n\right)$  is $T\left(Z,Z\right)=\left(m+n\right)\left({I}_{m}-Z{\overline{Z}}^{\prime }{\right)}^{-1}×\left({I}_{n}-{\overline{Z}}^{\prime }Z{\right)}^{-1},$  so $T\left(0,0\right)=\left(m+n\right){I}_{mn},$  and ${T}^{-1}\left(Z,Z\right)=\left(m+n{\right)}^{-1}\left({I}_{m}-Z{\overline{Z}}^{\prime }\right)×\left({I}_{n}-{\overline{Z}}^{\prime }Z\right).$  Thus
 $\begin{array}{ccc}& & ▽{f}_{j}\left(Z\right){T}^{-1}\left(Z,Z\right){\overline{▽{f}_{j}\left(Z\right)}}^{\prime }=\left(m+n{\right)}^{-1}{|\frac{\partial {f}_{j}}{\partial {z}_{11}}\left(Z\right)|}^{2}\left(1-{\sum }_{l=1}^{n}|{z}_{1l}{|}^{2}\right)\left(1-{\sum }_{k=1}^{n}|{z}_{k1}{|}^{2}\right)\end{array}$
 $\begin{array}{ccc}& & =\left(m+n{\right)}^{-1}\left(1-{\sum }_{l=1}^{n}|{z}_{1l}{|}^{2}\right)\left(1-{\sum }_{k=1}^{n}|{z}_{k1}{|}^{2}\right){|\frac{-{e}^{-a\left(1-{r}_{j}\right)}}{1-{e}^{-a\left(1-{r}_{j}\right)}{z}_{11}}+\frac{1}{1-{z}_{11}}|}^{2}\end{array}$
 $\begin{array}{ccc}& & \le \left(m+n{\right)}^{-1}\left(1-|{z}_{11}{|}^{2}{\right)}^{2}{\left(\frac{2}{1-|{z}_{11}|}\right)}^{2}\le 4\left(m+n{\right)}^{-1}\left(1+|{z}_{11}|{\right)}^{2}\le 16\left(m+n{\right)}^{-1}.\end{array}$
Now Lemma 4 gives $\parallel {f}_{j}{\parallel }_{\beta \left({R}_{I}\right)}\le 16C\left(m+n{\right)}^{-1}.$  This proves that the functions ( 10 ) satisfy condition (i).
For the functions defined by ( 12 ), If $Z\in {R}_{I}\left(m,n\right),$  we have ${I}_{m}-Z{\overline{Z}}^{\prime }={\left({\delta }_{st}-{\sum }_{k=1}^{n}{z}_{sk}{\overline{z}}_{tk}\right)}_{1\le s,t\le m}>0.$  ${I}_{n}-{Z}^{\prime }\overline{Z}={\left({\delta }_{st}-{\sum }_{k=1}^{m}{z}_{ks}{\overline{z}}_{kt}\right)}_{1\le s,t\le n}>0.$  Hence
 $\begin{array}{c}{\delta }_{11}-{\sum }_{l=1}^{n}{z}_{1l}{\overline{z}}_{1l}=1-{\sum }_{l=1}^{n}|{z}_{1l}{|}^{2}>0.\end{array}$ (15)
 $\begin{array}{c}{\delta }_{11}-{\sum }_{k=1}^{m}{z}_{k1}{\overline{z}}_{k1}=1-{\sum }_{k=1}^{m}|{z}_{k1}{|}^{2}>0.\end{array}$ (16)
Now ( 15 ) and ( 16 ) imply
 $\begin{array}{ccc}|{f}_{j}\left(Z\right)|& =& |\left({\sum }_{l=2}^{n}{e}^{-i{\theta }_{1l}^{j}}{z}_{1l}+{\sum }_{k=2}^{m}{e}^{-i{\theta }_{k1}^{j}}{z}_{k1}\right)\left(\frac{1}{\sqrt{1-{e}^{-a\left(1-{r}_{j}\right)}{z}_{11}}}-\frac{1}{\sqrt{1-{z}_{11}}}\right)|\end{array}$
 $\begin{array}{ccc}& \le & \left({\sum }_{l=2}^{n}|{z}_{1l}|+{\sum }_{k=2}^{m}|{z}_{k1}|\right)\left(|\frac{1}{\sqrt{1-{e}^{-a\left(1-{r}_{j}\right)}{z}_{11}}}|+|\frac{1}{\sqrt{1-{z}_{11}}}|\right)\end{array}$
 $\begin{array}{ccc}& <& \left(\sqrt{n}{\left({\sum }_{l=2}^{n}|{z}_{1l}{|}^{2}\right)}^{\frac{1}{2}}+\sqrt{m}{\left({\sum }_{k=2}^{m}|{z}_{k1}{|}^{2}\right)}^{\frac{1}{2}}\right)\left(\frac{1}{\sqrt{1-|{z}_{11}|}}+\frac{1}{\sqrt{1-|{z}_{11}|}}\right)\end{array}$
 $\begin{array}{ccc}& <& \left(\sqrt{n}+\sqrt{m}\right)\sqrt{1-|{z}_{11}{|}^{2}}\left(\frac{1}{\sqrt{1-|{z}_{11}|}}+\frac{1}{\sqrt{1-|{z}_{11}|}}\right)\le 4\left(\sqrt{m}+\sqrt{n}\right).\end{array}$ (17)
From Lemma 5, ( 17 ) means that $\left\{{f}_{j}\right\}$  satisfy the condition (i). Similarly, we may prove the functions defined by ( 14 ) satisfy the condition (i).
At last, we prove that the sequence of functions defined by ( 10 ) satisfies the conditions (iii). In fact, by ( 8 ) and ( 9 ), ${H}_{{a}^{j}}^{I}\left({w}^{j},{w}^{j}\right)=\left(m+n\right)\left({A}_{j}^{I}+{B}_{j}^{I}+{C}_{j}^{I}\right)\le 3\left(m+n\right){A}_{j}^{I}.$
 $\begin{array}{ccc}& & \frac{|▽{f}_{j}\left({a}^{j}\right){w}^{j}|}{{H}_{{a}^{j}}^{\frac{1}{2}}\left({w}^{j},{w}^{j}\right)}\ge \sqrt{\frac{1}{3\left(m+n\right)}}\frac{|\frac{\partial {f}_{j}}{\partial {z}_{11}}\left({r}_{j}{E}_{11}\right){w}_{11}^{j}|}{\frac{|{w}_{11}^{j}|}{1-{r}_{j}^{2}}}\end{array}$
 $\begin{array}{ccc}& & =\sqrt{\frac{1}{3\left(m+n\right)}}\left(1-{r}_{j}^{2}\right)\left(\frac{1}{1-{r}_{j}}-\frac{{e}^{-a\left(1-{r}_{j}\right)}}{1-{e}^{-a\left(1-{r}_{j}\right)}{r}_{j}}\right)\end{array}$
 $\begin{array}{ccc}& & \ge \sqrt{\frac{1}{3\left(m+n\right)}}\left(1-\frac{\left(1-{r}_{j}\right){e}^{-a\left(1-{r}_{j}\right)}}{1-{e}^{-a\left(1-{r}_{j}\right)}{r}_{j}}\right),\end{array}$
and ${lim}_{j\to \infty }\left[1-\frac{\left(1-{r}_{j}\right){e}^{-a\left(1-{r}_{j}\right)}}{1-{e}^{-a\left(1-{r}_{j}\right)}{r}_{j}}\right]=\frac{a}{a+1}\ne 0.$  This proves the sequence of functions defined by ( 10 ) satisfies the conditions (iii).
Similarly, we can prove the sequence of functions defined by ( 12 ) or ( 14 ) satisfies the conditions (iii).
Part B: We assume that ${a}^{j}={r}_{j}^{\left(1\right)}{E}_{11}+{r}_{j}^{\left(2\right)}{E}_{22},$  where $1>{r}_{j}^{\left(1\right)}\ge {r}_{j}^{\left(2\right)}\ge 0.$  By ${a}^{j}\to \partial {R}_{I},$  we may assume that ${r}_{j}^{\left(1\right)}\to 1,{r}_{j}^{\left(2\right)}\to {\lambda }_{0}\left(\le 1\right).$  If ${\lambda }_{0}=1,$  using the same methods as in Part A, we can construct a sequence of functions $\left\{{f}_{j}\left(Z\right)\right\}$  satisfying the three conditions (i), (ii) and (iii).
If ${\lambda }_{0}<1,$  by Lemma 6, there exist ${\Phi }_{{r}_{j}^{\left(1\right)}{E}_{11}+{r}_{j}^{\left(2\right)}{E}_{22}}^{I}\in {R}_{I}$  and ${\Phi }_{{r}_{j}^{\left(1\right)}{E}_{1}1}^{I}\in {R}_{I},$  such that ${\Phi }_{{r}_{j}^{\left(1\right)}{E}_{11}+{r}_{j}^{\left(2\right)}{E}_{22}}^{I}\left({r}_{j}^{\left(1\right)}{E}_{11}+{r}_{j}^{\left(2\right)}{E}_{22}\right)=0$  and ${\Phi }_{{r}_{j}^{\left(1\right)}{E}_{1}1}^{I}\left({r}_{j}^{\left(1\right)}{E}_{11}\right)=0$  ( $j=1,2,\cdots$  ). If we denote ${\Psi }^{\left(j\right)}\left(Z\right)={\left({\Phi }_{{r}_{j}^{\left(1\right)}{E}_{11}}^{I}\right)}^{-1}\circ {\Phi }_{{r}_{j}^{\left(1\right)}{E}_{11}+{r}_{j}^{\left(2\right)}{E}_{22}}^{I},$  then ${\Psi }^{\left(j\right)}\in {R}_{I}$  and ${\Psi }^{\left(j\right)}\left({a}^{j}\right)={\Psi }^{\left(j\right)}\left({r}_{j}^{\left(1\right)}{E}_{11}+{r}_{j}^{\left(2\right)}{E}_{22}\right)={r}_{j}^{\left(1\right)}{E}_{11}={r}_{j}{E}_{11},$  where ${r}_{j}={r}_{j}^{\left(1\right)}.$  Set ${g}_{j}={f}_{j}\circ {\Psi }^{\left(j\right)},$  where $\left\{{f}_{j}\right\}$  are the functions obtained in Part A. Since ${\Psi }^{\left(j\right)}\left(Z\right)\in Aut\left({R}_{I}\right),$  it is clear that
 $\begin{array}{c}{H}_{{a}^{j}}^{I}\left({w}^{j},{w}^{j}\right)={H}_{{\Psi }^{j}\left({a}^{j}\right)}^{I}\left(J{\Psi }^{\left(j\right)}\left({a}^{j}\right){w}^{j},J{\Psi }^{\left(j\right)}\left({a}^{j}\right){w}^{j}\right)={H}_{{r}_{j}{E}_{11}}^{I}\left({v}^{j},{v}^{j}\right),\end{array}$ (18)
where ${w}^{j}=J\phi \left({Z}^{j}\right){u}^{j},{v}^{j}=J{\Psi }^{\left(j\right)}\left(\phi \left({Z}^{j}\right)\right){w}^{j}.$  It follows from ( 18 ) that $\frac{|▽\left({g}_{j}\right)\left({a}^{j}\right){w}^{j}|}{{H}_{{a}^{j}}^{\frac{1}{2}}\left({w}^{j},{w}^{j}\right)}=\frac{|▽\left({f}_{j}\right)\left({r}_{j}{E}_{11}\right)J{\Psi }^{\left(j\right)}\left(\phi \left({Z}^{j}\right)\right){w}^{j}|}{{H}_{{r}_{j}{E}_{11}}^{\frac{1}{2}}\left(J{\Psi }^{\left(j\right)}\left(\phi \left({Z}^{j}\right)\right){w}^{j},J{\Psi }^{\left(j\right)}\left(\phi \left({Z}^{j}\right)\right){w}^{j}\right)}=\frac{|▽\left({f}_{j}\right)\left({r}_{j}{E}_{11}\right){v}^{j}|}{{H}_{{r}_{j}{E}_{11}}^{\frac{1}{2}}\left({v}^{j},{v}^{j}\right)}.$  Now the discussion in Part A shows that $\frac{|▽\left({f}_{j}\right)\left({r}_{j}{E}_{11}\right){v}^{j}|}{{H}_{{r}_{j}{E}_{11}}^{\frac{1}{2}}\left({v}^{j},{v}^{j}\right)}\ge C>0,$  that is, $\left\{{g}_{j}\right\}$  satisfies condition (iii).
We prove that $\left\{{g}_{j}\right\}$  is a bounded sequence in $\beta \left({R}_{I}\right)$  ; In fact, since ${\Psi }^{\left(j\right)}\left(Z\right)\in Aut\left({R}_{I}\right),$  ${Q}_{{g}_{j}}\left(Z\right)={Q}_{{f}_{j}\circ {\Psi }^{\left(j\right)}}\left(Z\right)={Q}_{{f}_{j}}\left({\Psi }^{\left(j\right)}\left(Z\right)\right),$  so $\parallel {g}_{j}{\parallel }_{\beta \left({R}_{I}\right)}=\parallel {f}_{j}{\parallel }_{\beta \left({R}_{I}\right)}$  is bounded.
Now we prove $\left\{{g}_{j}\right\}$  tends to zero uniformly on compact subset $E$  of ${R}_{I}.$  If we write ${\Psi }^{\left(j\right)}\left(Z\right)={\left({\psi }_{lk}^{\left(j\right)}\left(Z\right)\right)}_{1\le l\le m,1\le k\le n},$  by the definition of ${\Psi }^{\left(j\right)}$  and Lemma 6, a direct calculation shows that
 $\begin{array}{c}{\psi }_{11}^{\left(j\right)}\left(Z\right)={z}_{11}+{r}_{j}^{\left(2\right)}\frac{{z}_{12}{z}_{21}}{1-{r}_{j}^{\left(2\right)}{z}_{22}}.\end{array}$ (19)
It is easy to show that ${\psi }_{11}^{\left(j\right)}\left(Z\right)$  converges uniformly to ${\psi }_{11}\left(Z\right)={z}_{11}+{\lambda }_{0}\frac{{z}_{12}{z}_{21}}{1-{\lambda }_{0}{z}_{22}}$  on ${R}_{I}\left(m,n\right).$  Since ${\lambda }_{0}<1,$  ${\lambda }_{0}{E}_{11}+{\lambda }_{0}{E}_{22}\in {R}_{I},$  similarly, there exists $\Psi \left(Z\right)\in Aut\left({R}_{I}\right),$  such that $\Psi \left({\lambda }_{0}{E}_{11}+{\lambda }_{0}{E}_{22}\right)={\lambda }_{0}{E}_{11},$  and the first component of $\Psi \left(Z\right)$  is ${\psi }_{11}\left(Z\right).$  It is clear that ${\psi }_{11}\left(Z\right)$  is holomorphic on ${R}_{I}.$  Let ${M}_{1}={sup}_{Z\in E}|{\psi }_{11}\left(Z\right)|=|{\psi }_{11}\left({Z}_{0}\right)|,\left({Z}_{0}\in E\right).$  From $\Psi \left(Z\right)\in Aut\left({R}_{I}\right),$  we know ${M}_{1}=|{\psi }_{11}\left({Z}_{0}\right)|<1,$  so we may choose ${M}_{0}>0$  with ${M}_{1}<{M}_{0}<1.$  So for $j$  large enough, $|{\psi }_{11}^{\left(j\right)}\left({Z}_{0}\right)|<{M}_{0},$  from this it follows that $1-|{\psi }_{11}^{\left(j\right)}\left(Z\right)|>1-{M}_{0}>0,$  by the definition of ${f}_{j}\left(Z\right),$  it is easy to know ${g}_{j}\left(Z\right)={f}_{j}\circ {\Psi }^{\left(j\right)}\left(Z\right)$  tends to zero uniformly on $E.$  So ${g}_{j}\left(Z\right)$  satisfies the three conditions (i), (ii) and (iii).
Part C: Assume that $\phi \left({Z}^{j}\right)={\sum }_{k=1}^{m}{r}_{j}^{\left(k\right)}{E}_{kk},\left(1>{r}_{j}^{\left(1\right)}\ge {r}_{j}^{\left(2\right)}\ge \dots \ge {r}_{j}^{\left(m\right)}\ge 0\right).$  By the same discussion as in Part B, we can construct a sequence of functions ${f}_{j}\left(z\right)$  which satisfies the three conditions (i), (ii) and (iii).
Part D: In the general situation, $\phi \left({Z}^{j}\right)\in {R}_{I}\left(m,n\right),$  so there exist $m×m$  unitarymatrix ${P}_{j}$  and $n×n$  unitary matrix ${Q}_{j}$  , such that ${P}_{j}\left(\phi \left({Z}^{j}\right)\right){Q}_{j}={\sum }_{k=1}^{m}{r}_{j}^{\left(k\right)}{E}_{kk}.$  We may assume that ${P}_{j}\to P$  and ${Q}_{j}\to Q,$  as $j\to \infty$  (let ${P}_{j}=\left({p}_{j}^{kl}\right),P=\left({p}^{kl}\right),$  ${P}_{j}\to P$  means that ${p}_{j}^{kl}\to {p}^{kl}$  as $j\to \infty$  for any $1\ge k\ge m,1\ge l\ge n$  ). Let ${\psi }^{j}\left(Z\right)={P}_{j}Z{Q}_{j},$  $\Psi \left(Z\right)=PZQ,Z\in {R}_{I}\left(m,n\right).$  It is easy to show that $P$  is a $m×m$  unitary matrix, $Q$  is a $n×n$  unitary matrix and ${\psi }^{\left(j\right)}\left(Z\right)$  converges uniformly to $\psi \left(Z\right)$  on ${R}_{I}.$  Let ${g}_{j}\left(Z\right)={f}_{j}\left({\psi }^{\left(j\right)}\left(Z\right)\right),$  where $\left\{{f}_{j}\right\}$  are the functions obtained in Part C. From the same discussion as that of Part B, we know ${g}_{j}\left(Z\right)$  satisfies conditions (i) and (iii). For the compact subset $E\subset {R}_{I},$  it is easy to know $\psi \left(E\right)$  is also a compact subset of ${R}_{I},$  so we can choose an open subset ${D}_{1}$  of ${R}_{I}$  such that $\psi \left(E\right)\subset {D}_{1}\subset \overline{{D}_{1}}\subset {R}_{I}.$  Since ${\psi }^{\left(j\right)}\left(Z\right)$  converges uniformly to $\psi \left(Z\right)$  on ${R}_{I}$  , so as $j\to \infty ,$  ${\psi }^{j}\left(E\right)\subset {D}_{1}.$  Since ${f}_{j}\left(Z\right)$  tends to zero uniformly on $\overline{{D}_{1}},$  we know ${g}_{j}\left(Z\right)={f}_{j}\left({\psi }^{\left(j\right)}\left(Z\right)\right)$  tends to zero uniformly on $E\subset {R}_{I},$  i.e., ${g}_{j}$  satisfies condition (iii).
The last claim follows from the discussion in the above. This completes the proof.

4 Proof of Theorem

It is well known that a bounded symmetric domain except the two exceptional domains can be expressed as a topological product of the first four types of irreducible domains ${R}_{A}\left(A=I,II,III,IV\right)$  . So we may assume that $\Omega ={\Omega }_{1}×{\Omega }_{2}×\dots ×{\Omega }_{n},$  where ${\Omega }_{k}\subset {\text{C}}^{{N}_{k}},\left(k=1,2\dots ,n\right)$  are the classical bounded symmetric domains and ${N}_{1}+{N}_{2}+\dots +{N}_{n}=N.$  It is obvious $\Omega$  is homogeneous, so by Lemma 3, we only need to prove the condition ( 6 ) is necessary.
Let ${K}_{\Omega }\left(z,z\right)$  and ${T}_{\Omega }\left(z,z\right)$  be the Bergman kernel function and the Bergman metric of $\Omega$  respectively. Denote $z=\left({z}_{1},{z}_{2},\dots ,{z}_{n}\right)\in \Omega \subset {\text{C}}^{N},$  where ${z}_{k}\in {\Omega }_{k}\subset {\text{C}}^{{N}_{k}}.$  It is known that ${K}_{\Omega }\left(z,z\right)={K}_{{\Omega }_{1}}\left({z}_{1},{z}_{1}\right)×{K}_{{\Omega }_{2}}\left({z}_{2},{z}_{2}\right)×\dots ×{K}_{{\Omega }_{n}}\left({z}_{n},{z}_{n}\right),$  ${T}_{\Omega }\left(z,z\right)=\left[\begin{array}{cccc}{T}_{{\Omega }_{1}}\left({z}_{1},{z}_{1}\right)& 0& \cdot \cdot \cdot & 0\\ 0& {T}_{{\Omega }_{2}}\left({z}_{2},{z}_{2}\right)& \cdot \cdot \cdot & 0\\ \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot & \cdot \cdot \cdot \\ 0& 0& \cdot \cdot \cdot & {T}_{{\Omega }_{n}}\left({z}_{n},{z}_{n}\right)\end{array}\right]$
 $\begin{array}{c}{H}_{z}^{\Omega }\left(u,u\right)={H}_{{z}_{1}}^{{\Omega }_{1}}\left({u}_{1},{u}_{1}\right)+{H}_{{z}_{2}}^{{\Omega }_{2}}\left({u}_{2},{u}_{2}\right)+\dots +{H}_{{z}_{n}}^{{\Omega }_{n}}\left({u}_{n},{u}_{n}\right),\end{array}$ (20)
where $u=\left({u}_{1},\dots ,{u}_{n}\right),{u}_{k}\in {\text{C}}^{k}\left(k=1,2,\dots ,n\right),$  and ${H}_{z}^{\Omega }\left(u,u\right)={H}_{z}\left(u,u\right).$  Now assume the condition ( 6 ) fails, then there exists a sequence $\left\{{z}^{j}\right\}$  in $\Omega$  with $\phi \left({z}^{j}\right)\to \partial \Omega ,$  as $j\to \infty ,{u}^{j}\in {\text{C}}^{N}-\left\{0\right\},$  and an ${\varepsilon }_{0},$  such that
 $\begin{array}{c}\frac{{H}_{\phi \left({z}^{j}\right)}^{\Omega }\left(J\phi \left({z}^{j}\right){u}^{j},J\phi \left({z}^{j}\right){u}^{j}\right)}{{H}_{{z}^{j}}^{\Omega }\left({u}^{j},{u}^{j}\right)}\ge {\varepsilon }_{0},\end{array}$ (21)
for all $j=1,2,\dots$  . Write $J\phi \left({z}^{j}\right){u}^{j}={w}^{j},$  by ( 20 ), we have
 $\begin{array}{c}{H}_{\phi \left({z}^{j}\right)}^{\Omega }\left({w}^{j},{w}^{j}\right)={H}_{{\phi }_{1}\left({z}_{1}^{j}\right)}^{{\Omega }_{1}}\left({w}_{1}^{j},{w}_{1}^{j}\right)+{H}_{{\phi }_{2}\left({z}_{2}^{j}\right)}^{{\Omega }_{2}}\left({w}_{2}^{j},{w}_{2}^{j}\right)+\dots +{H}_{{\phi }_{n}\left({z}_{n}^{j}\right)}^{{\Omega }_{n}}\left({w}_{n}^{j},{w}_{n}^{j}\right),\end{array}$ (22)
where ${w}^{j}=\left({w}_{1}^{j},{w}_{2}^{j},\dots ,{w}_{n}^{j}\right),{w}_{k}^{j}\in {\text{C}}^{{N}_{k}},\left(k=1,2,\dots ,n\right),$  and $\phi =\left({\phi }_{1},{\phi }_{2},\dots ,{\phi }_{n}\right).$  It is obvious that for some $k$  , without loss of generality, we may assume for $k=1,$  there exists a subsequence $\left\{{j}_{s}\right\}$  which we still denote by $\left\{j\right\},$  such that ${H}_{{\phi }_{l}\left({z}_{l}^{j}\right)}^{{\Omega }_{l}}\left({w}_{l}^{j},{w}_{l}^{j}\right)\le {H}_{{\phi }_{1}\left({z}_{1}^{j}\right)}^{{\Omega }_{1}}\left({w}_{1}^{j},{w}_{1}^{j}\right),\left(l=2,\dots ,n\right).$  So by ( 22 )
 $\begin{array}{c}{H}_{\phi \left({z}^{j}\right)}^{\Omega }\left({w}^{j},{w}^{j}\right)\le n{H}_{{\phi }_{1}\left({z}_{1}^{j}\right)}^{{\Omega }_{1}}\left({w}_{1}^{j},{w}_{1}^{j}\right).\end{array}$ (23)
Since ${\Omega }_{1}$  is a classical bounded symmetric domain, denote ${a}^{j}={\phi }_{1}\left({z}^{j}\right),$  by the important Proposition we may construct a sequence of functions $\left\{{f}_{j}\right\}$  satisfying the following three conditions:
(a) $\left\{{f}_{j}\right\}$  is a bounded sequence in $\beta \left({\Omega }_{1}\right)$  ; (b) $\left\{{f}_{j}\right\}$  tends to zero uniformly on any compact subsets of ${\Omega }_{1};$  (c) $\frac{|▽{f}_{j}\left({a}^{j}\right){w}_{1}^{j}|}{{H}_{{a}^{j}}^{\frac{1}{2}}\left({w}_{1}^{j},{w}_{1}^{j}\right)}\ge C.$  We first prove that $\left\{{f}_{j}\right\}$  as a function sequence on $\Omega$  is a bounded sequence in $\beta \left(\Omega \right)$  .
In fact,
 $\begin{array}{ccc}\frac{|▽\left({f}_{j}\right)\left(z\right)u|}{{H}_{z}^{\frac{1}{2}}\left(u,u\right)}& =& \frac{|▽\left({f}_{j}\right)\left({z}_{1}\right){u}_{1}|}{{\left({H}_{{z}_{1}}^{{\Omega }_{1}}\left({u}_{1},{u}_{1}\right)+\dots +{H}_{{z}_{n}}^{{\Omega }_{n}}\left({u}_{n},{u}_{n}\right)\right)}^{\frac{1}{2}}}\end{array}$
 $\begin{array}{ccc}& \le & \frac{|▽\left({f}_{j}\right)\left({z}_{1}\right){u}_{1}|}{{\left({H}_{{z}_{1}}^{{\Omega }_{1}}\left({u}_{1},{u}_{1}\right)\right)}^{\frac{1}{2}}}\le \parallel {f}_{j}{\parallel }_{\beta \left({\Omega }_{1}\right)},\end{array}$
so $\left\{{f}_{j}\right\}$  is a bounded sequence in $\beta \left(\Omega \right)$  .
For the compact subset $E\subset \Omega ,$  let ${E}_{1}=\left\{{z}_{1}:\left({z}_{1},{z}_{2},\dots ,{z}_{n}\right)\in E\subset \Omega \right\}.$  It is easy to know ${E}_{1}$  is a compact subset of ${\Omega }_{1}.$  We also have ${sup}_{z\in E}|{f}_{j}\left(z\right)|={sup}_{{z}_{1}\in {E}_{1}}|{f}_{j}\left({z}_{1}\right)|\to 0,$  as $j\to \infty .$  i.e., $\left\{{f}_{j}\right\}$  tends to zero uniformly on compact subsets of $\Omega .$  Now we prove ${\parallel {C}_{\phi }{f}_{j}\parallel }_{\beta \left(\Omega \right)}\to ̸0.$  In fact, by ( 22 ) and ( 23 ), we have
 $\begin{array}{ccc}& & {\parallel {C}_{\phi }{f}_{j}\parallel }_{\beta \left(\Omega \right)}={\parallel {f}_{j}\circ \phi \parallel }_{\beta \left(\Omega \right)}\ge {Q}_{{f}_{j}\circ \phi }\left({z}^{j}\right)\end{array}$
 $\begin{array}{ccc}& & \ge \frac{|▽\left({f}_{j}\circ \phi \right)\left({z}^{j}\right){u}^{j}|}{{\left({H}_{{z}^{j}}^{\Omega }\left(u,u\right)\right)}^{\frac{1}{2}}}=\frac{|▽\left({f}_{j}\right)\left(\phi \left({z}^{j}\right)\right)J\phi \left({z}^{j}\right){u}^{j}|}{{\left({H}_{{z}^{j}}^{\Omega }\left(u,u\right)\right)}^{\frac{1}{2}}}\end{array}$
 $\begin{array}{ccc}& & =\frac{|▽\left({f}_{j}\right)\left(\phi \left({z}^{j}\right)\right)J\phi \left({z}^{j}\right){u}^{j}|}{{\left({H}_{\phi \left({z}^{j}\right)}^{\Omega }\left(J\phi \left({z}^{j}\right){u}^{j},J\phi \left({z}^{j}\right){u}^{j}\right)\right)}^{\frac{1}{2}}}{\left\{\frac{{H}_{\phi \left({z}^{j}\right)}^{\Omega }\left(J\phi \left({z}^{j}\right){u}^{j},J\phi \left({z}^{j}\right){u}^{j}\right)}{{H}_{{z}^{j}}^{\Omega }\left({u}^{j},{u}^{j}\right)}\right\}}^{\frac{1}{2}}\end{array}$
 $\begin{array}{ccc}& & \ge \sqrt{{\varepsilon }_{0}}\frac{|▽\left({f}_{j}\right)\left(\phi \left({z}^{j}\right)\right){w}^{j}|}{{\left({H}_{\phi \left({z}^{j}\right)}^{\Omega }\left({w}^{j},{w}^{j}\right)\right)}^{\frac{1}{2}}}\ge \sqrt{\frac{{\varepsilon }_{0}}{n}}\frac{|▽\left({f}_{j}\right)\left({\phi }_{1}\left({z}^{j}\right)\right){w}_{1}^{j}|}{{\left({H}_{{\phi }_{1}\left({z}^{j}\right)}^{{\Omega }_{1}}\left({w}_{1}^{j},{w}_{1}^{j}\right)\right)}^{\frac{1}{2}}}=\sqrt{\frac{{\varepsilon }_{0}}{n}}\frac{|▽{f}_{j}\left({a}^{j}\right){w}_{1}^{j}|}{{H}_{{a}^{j}}^{\frac{1}{2}}\left({w}_{1}^{j},{w}_{1}^{j}\right)},\end{array}$
by (c), we know ${\parallel {C}_{\phi }{f}_{j}\parallel }_{\beta \left(\Omega \right)}\to ̸0$  as $j\to \infty .$  This contradicts the compactness of ${C}_{\phi }$  by Lemma 2. Now the proof of the Theorem is complete.
References

1. R.Timoney, Bloch Function in Several Complex Variables, I, Bull.London Math.Soc. 12(1980),241-267.
2. K.Madigan and A.Matheson, Compact composition operators on the Bloch space, Trans. Amer. Math. Soc. 347(1995), 2679-2687.
3. J.H.Shi and L.Luo, Composition Operators on the Bloch Space of Several Complex Variables. Acta Mathematica Sinica, English Series, 16(2000), 85-98.
4. Z.H.Zhou and J.H.Shi,Compactness of composition operators on the Bloch space in classical bounded symmetric domains, Michigan Math.J.50(2002), 381-405.
5. L.K.Hua, Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains, Transl. Amer. Math. Soc. 6(1963).
6. Q.K. Lu, The Classical Manifolds and the Classical Domains, Shanghai Scientific and Technical Publishers. Shanghai, China, 1963.

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