Boundedness and Compactness of Weighted Composition Operators from (α, k)-Bloch Spaces to $\mathcal{A}$_(β,k) Spaces on Generalized Hua Domains of the Fourth Kind

Abstract

This paper addresses the weighted composition operators ${}_{\psi }C_{\varphi }$ from the $(\alpha ,k)$-Bloch spaces to the ${\mathcal{A}}_{(\beta ,k)}$ spaces of bounded holomorphic functions on W, where W is a generalized Hua domain of the fourth kind. Additionally, we obtain some necessary and sufficient conditions for the boundedness and compactness of these operators.

1. Introduction

Let $\Omega$ be a bounded domain of ${\mathbb{C}}^n$ and $H(\Omega )$ the class of all holomorphic functions on $\Omega$. For a given holomorphic function (self-map) $\varphi$ : $\Omega \to \Omega$ and a function $\psi \in H(\Omega )$, we define the linear operator ${}_{\psi }C_{\varphi }:H(\Omega )\to H(\Omega )$ by the following equality:

$$({}_{\psi }C_{\varphi }f)(z)=\psi (z)f(\varphi (z))(z\in \Omega ).$$

The latter equation is a weighted composition operator for $f\in H(\Omega )$. If $\psi (z)\equiv 1$, it reduces to the composition operator, whereas for $\varphi (z)=z$, it becomes the multiplication operator.

In 1930, Cartan [1] was the first to characterize the six types of irreducible bounded symmetric domains. These comprise four bounded symmetric classical domains, also called Cartan domains, and two exceptional domains, whose complex dimensions are 16 and 27, respectively. ${\Re }_{\mathrm{I}}(m,n),{\Re }_{\mathrm{II}}(p),{\Re }_{\mathrm{III}}(q),$ and ${\Re }_{\mathrm{IV}}(n)$ denote the Cartan domains of the first type, second type, third type, and fourth type, respectively. In addition, Yin introduced the Hua domains [2], which include the Cartan–Hartogs, Cartan–Egg, Hua, generalized Hua domains, and the Hua construction. ${\mathrm{GHE}}_{\mathrm{I}},{\mathrm{GHE}}_{\mathrm{II}},{\mathrm{GHE}}_{\mathrm{III}},$ and ${\mathrm{GHE}}_{\mathrm{IV}}$ denote the generalized Hua domains of the first type, second type, third type, and fourth type, respectively. The fourth type of the generalized Hua domain is defined as follows:

$$\begin{array}{cc}\hfill & {\mathrm{GHE}}_{\mathrm{IV}}(N_1,N_2,\cdots ,N_r;n;q_1,q_2,\cdots ,q_r;k)\hfill \\ \hfill & =\left\{{\zeta }_j\in {\mathbb{C}}^{N_j},z\in {\Re }_{\mathrm{IV}}(n):\sum _{j=1}^r|{\zeta }_j{|}^{2q_j}<(1+|z{z}^{\prime }{{|}^2-2z{\overline{z}}^{\prime })}^k,j=1,2,\cdots ,r\right\},\hfill \end{array}$$

where

$$\begin{array}{c}\hfill {\Re }_{\mathrm{IV}}(n):=\left\{z\in {\mathbb{C}}^n:1+|z{z}^{\prime }{|}^2-2z{\overline{z}}^{\prime }>0,1-{|z{z}^{\prime }|}^2>0\right\}\end{array}$$

is a Cartan domain of the fourth type. ${\zeta }_j=({\zeta }_{j1},\cdots ,{\zeta }_{j{N}_j}),j=1,\cdots ,r$; $z^{\prime }$ denotes the transpose of z; $\overline{z}$ is the conjugate of z; $N_1,\cdots ,N_r,n$ are positive integers; and $q_1,\cdots ,q_r$ are positive real numbers. Without a loss of generality, it is assumed for $N_j=1$, ${\zeta }_j\in \mathbb{C},j=1,\cdots ,r,\zeta =({\zeta }_1,\cdots ,{\zeta }_r)$ and ${\parallel \zeta \parallel }_{\phi }^2={\sum }_{j=1}^r{|{\zeta }_j|}^{2q_j}$. Let

$${⟨\zeta ,\upsilon ⟩}_{\phi }={⟨{\zeta }_1,{\upsilon }_1⟩}^{q_1}+{⟨{\zeta }_2,{\upsilon }_2⟩}^{q_2}+\cdots +{⟨{\zeta }_r,{\upsilon }_r⟩}^{q_r}.$$

We also write

$$\begin{array}{cc}\hfill {|⟨\zeta ,\upsilon ⟩}_{\phi }|& \le |{⟨{\zeta }_1,{\upsilon }_1⟩}^{q_1}|+|{⟨{\zeta }_2,{\upsilon }_2⟩}^{q_2}|+\cdots +|{⟨{\zeta }_r,{\upsilon }_r⟩}^{q_r}|\hfill \\ \hfill & \le |{\zeta }_1{|}^{q_1}|{\upsilon }_1{|}^{q_1}+\cdots +|{\zeta }_r{|}^{q_r}{|{\upsilon }_r|}^{q_r}.\hfill \end{array}$$

For convenience, the fourth type of the generalized Hua domain will be referred to as ${\mathrm{GHE}}_{\mathrm{IV}}$.

On ${\mathrm{GHE}}_{\mathrm{IV}}$, the $(\alpha ,k)$-Bloch space ${\mathcal{B}}^{(\alpha ,k)}$ comprises all $f\in H({\mathrm{GHE}}_{\mathrm{IV}})$, such that

$${\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}:=|f(0,0)|+\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }|\nabla f(z,\zeta )|<\infty ,$$

where

$${\displaystyle \nabla f(z,\zeta )=\left(\frac{\partial f(z,\zeta )}{\partial z_1},\frac{\partial f(z,\zeta )}{\partial z_2},···,\frac{\partial f(z,\zeta )}{\partial z_n},\frac{\partial f(z,\zeta )}{\partial {\zeta }_1},···,\frac{\partial f(z,\zeta )}{\partial {\zeta }_r}\right).}$$

It is clear that ${\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is a Banach space.

On ${\mathrm{GHE}}_{\mathrm{IV}}$, a Bers-type space ${\mathcal{A}}_{(\beta ,k)}$ comprises all $f\in H({\mathrm{GHE}}_{\mathrm{IV}})$, such that

$${\parallel f\parallel }_{{\mathcal{A}}_{(\beta ,k)}}:=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|f(z,\zeta )|<\infty .$$

It is evident that ${\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is a Banach space with norm ${\parallel ·\parallel }_{{\mathcal{A}}_{(\beta ,k)}}$.

In fact, for $\forall (z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}$, we have $0<(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2\le 1$; hence, it is easy to prove that ${\parallel ·\parallel }_{{\mathcal{A}}_{(\beta ,k)}}$ is a norm using conventional methods.

To show that ${\parallel ·\parallel }_{{\mathcal{A}}_{(\beta ,k)}}$ is complete, assume that $\left\{f_k\right\}$ is a Cauchy sequence in ${\mathcal{A}}_{(\beta ,k)}$ and for $\forall \epsilon >0$ (assume $\epsilon <1$), $\exists K>0$. Whenever $p,l>K$, we have

$$\parallel f_p-f_l{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|(f_p-f_l)(z,\zeta )|<\epsilon .$$

(1)

For any compact subset F in ${\mathrm{GHE}}_{\mathrm{IV}}$, it must exist $\delta \in (0,1)$, such that

$$(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2\ge \delta ,\forall (z,\zeta )\in F.$$

From (1), we know that

$$|f_p(z,\zeta )-f_l(z,\zeta )|<{\displaystyle \frac{\epsilon }{{\delta }^{\beta }}},(z,\zeta )\in F.$$

Hence, there exists a holomorphic function f in ${\mathrm{GHE}}_{\mathrm{IV}}$, such that

$$\underset{k\to \infty }{lim}{f}_k(z,\zeta )=f(z,\zeta ),(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}},$$

and $\left\{f_p\right\}$ converges uniformly to f on every compact set of ${\mathrm{GHE}}_{\mathrm{IV}}$. In (1), let $l\to \infty$, whenever $p>K$, we obtain

$$\parallel f_p{-f\parallel }_{{\mathcal{A}}_{(\beta ,k)}}=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|f_p(z,\zeta )-f(z,\zeta )|\le \epsilon .$$

In particular, $\exists K_0>0,$ whenever $p>K_0$, we obtain $\parallel f_p{-f\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\le 1$, hence

$${\parallel f\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\le \parallel f_{K_0+1}{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}+\parallel f_{K_0+1}{-f\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\le {\parallel f_{K_0+1}\parallel }_{{\mathcal{A}}_{(\beta ,k)}}+1;$$

therefore, $f\in {\mathcal{A}}_{(\beta ,k)}$.

The boundedness and the compactness of the weighted composition operators on (or between) the spaces of the holomorphic functions on various domains have received significant attention. Indeed, the literature has already presented very thorough conclusions on the unit disc [3,4,5,6], the unit polydisk [7,8,9,10,11], and the open unit ball [12,13,14,15,16,17,18]. In the setting of the infinite dimensional bounded symmetric domains, Zhou and Shi [19] characterized the compactness of the composition operators on the Bloch space using classical bounded symmetric domains. Hamada [20] studied the weighted composition operators from $H^{\infty }$ to the Bloch space of infinite dimensional bounded symmetric domains. Allen and Colonna [21] investigated the weighted composition operators from $H^{\infty }$ to the Bloch space of a bounded homogeneous domain.

Since establishing the Hua domains, many issues have been investigated in these domains. Some examples are the Bergman problem, the convexity problem of the Hua domains and the extreme value problem of the Hua domains. Yin et al. [2] obtained the explicit formula of the Bergman kernel function on Hua domains of four kinds. Although many researchers investigating complex variables have made significant achievements, research on operators in the Hua domains is still limited. For example, Bai [22] investigated the weighted composition operators on Bers-type spaces on Cartan–Hartogs domains of the first kind. Su and Zhang [23] characterized the composition operators from the p-Bloch space to the q-Bloch space on Cartan–Hartogs domains of the fourth kind. Su, Li, and Wang [24] studied the boundedness and compactness of weighted composition operators from the u-Bloch space to the v-Bloch spaces on Hua domains of the first kind. Su and Zhang [25] studied the weighted composition operators from $H^{\infty }$ to the $(\alpha ,m)$-Bloch space on Cartan–Hartogs domains of the first type. Su and Wang [26] discussed weighted composition operators between Bers-type spaces on generalized Hua–Cartan–Hartogs domains. Jiang and Li [27] studied the boundedness and compactness of weighted composition operators between Bers-type spaces on Hua domains of four kinds. However, there is currently relatively little research on the boundedness and compactness of weighted composition operators on generalized Hua domains. Therefore, the research in this article is of great significance.

Weighted composition operators have widespread applications. For example, R. F. Allen, W. George, and M. A. Pons [28] investigated the properties of the topological space of composition operators on the Banach algebra of bounded functions on an unbounded, locally finite metric space in the operator norm topology and essential norm topology. The authors characterized the compactness of the differences between two such composition operators. Z. Guo [29] studied the boundedness, essential norm, and compactness of the generalized Stevi–Sharma operator from the minimal Mobius invariant space into the Bloch-type space. S. Heidarkhani, S. Moradi, and G. A. Afrouzi [30] characterized the existence of at least one weak solution for a nonlinear Steklov boundary-value problem involving a weighted $p(·$)-Laplacian. Stević and Ueki [31] investigated the boundedness, compactness, and estimated essential norm of a polynomial differentiation composition operator from the Hardy space $H^p$ to the weighted-type spaces of holomorphic functions on the unit ball.

Recently, we studied the boundedness and compactness of weighted composition operators from the $\alpha$-Bloch spaces to the Bers-type spaces on generalized Hua domains of the first kind [32]. Motivated by [32], we characterized the generalized Hua’s inequalities on the generalized Hua domains of the fourth kind. These inequalities are used to study the boundedness and the compactness of weighted composition operators from the $(\alpha ,k)$-Bloch spaces ${\mathcal{B}}^{(\alpha ,k)}$ to the ${\mathcal{A}}_{(\beta ,k)}$ spaces built on generalized Hua domains of the fourth kind and we obtain some necessary and sufficient conditions.

Notes: We investigated the boundedness and the compactness of the weighted composition operators from $\alpha$-Bloch to ${\mathcal{A}}_{\beta }$ on generalized Hua domains of the first kind in [32]. We also discuss these issues in a similar way on generalized Hua domains of the second kind, excluding the discussion presented herein. We must use new basic knowledge and skills to discuss these issues on generalized Hua domains of the fourth kind. Regarding generalized Hua domains of the third kind, we cannot discuss these issues yet since we cannot prove that our results are similar to Lemmas 2 and 4; this is an open question. We speculate that similar results regarding the boundedness and the compactness of weighted composition operators from $\alpha$-Bloch to Bers on generalized Hua domains of the third kind are also valid.

2. Preliminaries

Lemma 1

([32]). Let

$$Z=\left(\begin{array}{cccc}{z}_{11}& z_{12}& \dots & z_{1n}\\ z_{21}& z_{22}& \dots & z_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ z_{m1}& z_{m2}& \dots & z_{mn}\end{array}\right)$$

be an $m\times n$ matrix $(m\le n)$. Then, there exists an $m\times m$ unitary matrix U and an $n\times n$ unitary matrix V, such that

$$Z=U\left(\begin{array}{ccccccc}{\lambda }_1& 0& \dots & 0& 0& \dots & 0\\ 0& {\lambda }_2& \dots & 0& 0& \dots & 0\\ ⋮& ⋮& & ⋮& ⋮& & ⋮\\ 0& 0& \dots & {\lambda }_m& 0& \dots & 0\end{array}\right)V({\lambda }_1\ge {\lambda }_2\ge \cdots \ge {\lambda }_m\ge 0)$$

and

$$Z{\overline{Z}}^{\prime }=U\left(\begin{array}{cccc}{{\lambda }_1}^2& 0& \dots & 0\\ 0& {{\lambda }_2}^2& \dots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \dots & {{\lambda }_m}^2\end{array}\right){\overline{U}}^{\prime },$$

where ${{\lambda }_1}^2,\cdots ,{{\lambda }_m}^2$ are the characteristic values of $Z{\overline{Z}}^{\prime }$. $I-Z{\overline{Z}}^{\prime }>0⟺{\lambda }_1<1$.

Lemma 2

([32]). Let $p_i$$(i=1,2,\cdots ,r)$ be positive integers, $0<km⩽1$ and $t\in [0,1]$, then,

$$1-det{(I-t^{2}Z{\overline{Z}}^{\prime })}^k+{\parallel t\xi \parallel }_p^2\le t^2\left[1-det{(I-Z{\overline{Z}}^{\prime })}^k+{\parallel \xi \parallel }_p^2\right],$$

for $(Z,\xi )\in {\mathrm{GHE}}_{\mathrm{I}}$.

Lemma 3

([32]). Let $p_j$$(j=1,2,\cdots ,r)$ be positive integers, $0<km⩽1$, $t\in [0,1],(Z,\zeta )\in {\mathrm{GHE}}_{\mathrm{I}}$, $q=\max \{p_1,p_2,\cdots ,p_r\}$. Then, the following inequality holds:

$$|\overline{(Z,\xi )}|\le M\sqrt{1-det{(I-Z{\overline{Z}}^{\prime })}^{{\displaystyle \frac{k}{q}}}+{\parallel \xi \parallel }_p^{{\displaystyle \frac{2}{q}}}},$$

where $M=\max \{\sqrt{{\displaystyle \frac{q}{k}}},\sqrt{r^{1-{\displaystyle \frac{1}{q}}}}\}$.

Lemma 4

([32]). Let $(Z,\xi ),(S,t)\in {\mathrm{GHE}}_{\mathrm{I}}$, and if $0<km⩽1$, then

$$det{(I_m-Z{\overline{Z}}^{\prime })}^k+det{(I_m-S{\overline{S}}^{\prime })}^k\le 2|det{(I_m-Z{\overline{S}}^{\prime })}^k|$$

(2)

and “=” holds if and only if $(Z,\xi )=(S,t)$. If $km>1$, then

$$det{(I_m-Z{\overline{Z}}^{\prime })}^k+det{(I_m-S{\overline{S}}^{\prime })}^k\le 2^{mk}|det{(I_m-Z{\overline{S}}^{\prime })}^k|.$$

(3)

Lemma 5

([32]). Assume $(Z,\xi ),(S,t)\in {\mathrm{GHE}}_{\mathrm{I}}$ and $0<km\le 1$, then

$$[det{(I_m-Z{\overline{Z}}^{\prime })}^k-{\parallel \xi \parallel }_p^2]+[det{(I_m-S{\overline{S}}^{\prime })}^k-{\parallel t\parallel }_p^2]\le 2||det{(I_m-Z{\overline{S}}^{\prime })}^k{|-\parallel \xi \parallel }_p{\parallel t\parallel }_p|,$$

(4)

with equality that holds if and only if $(Z,\xi )=(S,t)$.

Lemma 6.

Assume $A,B\in {\mathbb{C}}^{m\times n}$ and if $I-A{\overline{A}}^{\prime }>0,I-B{\overline{B}}^{\prime }>0$, $0<km\le 1$, then

$$2^{m(1-k)}\ge det{(I-A{\overline{A}}^{\prime })}^{1-k}{|det(I-A{\overline{B}}^{\prime })|}^{k-1}.$$

Proof. 

By [25], we know

$$2|det(I-A{\overline{B}}^{\prime }){|}^{{\displaystyle \frac{1}{m}}}\ge det{(I-A{\overline{A}}^{\prime })}^{{\displaystyle \frac{1}{m}}}+det{(I-B{\overline{B}}^{\prime })}^{{\displaystyle \frac{1}{m}}}.$$

The inequality is obtained on both sides to the power of $m(1-k)$ and we obtain

$$\begin{array}{cc}\hfill 2^{m(1-k)}{|det(I-A{\overline{B}}^{\prime })|}^{1-k}& \ge {[det{(I-A{\overline{A}}^{\prime })}^{{\displaystyle \frac{1}{m}}}+det{(I-B{\overline{B}}^{\prime })}^{{\displaystyle \frac{1}{m}}}]}^{m(1-k)}\hfill \\ \hfill & \ge {[det{(I-A{\overline{A}}^{\prime })}^{{\displaystyle \frac{1}{m}}}]}^{m(1-k)}\hfill \\ \hfill & \ge det{(I-A{\overline{A}}^{\prime })}^{1-k}.\hfill \end{array}$$

□

Lemma 7

([26]). Let $z=(z_1,z_2,z_3,z_4)\in {\Re }_{\mathrm{IV}}(4)$. Hence,

$$1+|z_2^2+z_2^2+z_3^2+z_4^2{|}^2-2(|z_1{|}^2+|z_2{|}^2+|z_3{|}^2+|z_4{|}^2)>0,$$

$$1-|z_1{|}^2-|z_2{|}^2-|z_3{|}^2-{|z_4|}^2>0.$$

There exists a type of linear mapping, where

$$a_1=z_1+i{z}_2,a_2=i{z}_3-z_4,$$

$$a_3=i{z}_3+z_4,a_4=z_1-i{z}_2.$$

These are mapped one by one to a domain ${\Re }_{\mathrm{I}}(2,2)$, where

$$A=\left(\begin{array}{cc}{a}_1& a_2\\ a_3& a_4\end{array}\right)$$

and

$$1+|z_2^2+z_2^2+z_3^2+z_4^2{|}^2-2(|z_1{|}^2+|z_2{|}^2+|z_3{|}^2+|z_4{|}^2)=det(I-A{\overline{A}}^{\prime }).$$

Lemma 8.

Let $q_j$$(j=1,2,\cdots ,r)$ be positive integers. $q=\max \{q_1,q_2,\cdots ,q_r\}$, $(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}$, $t\in [0,1]$, $0<k\le {\displaystyle \frac{1}{2}}$. Then,

(1) 

$1-(1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2{)}^k+{\parallel t\zeta \parallel }_{\phi }^2\le t^2(1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k+{\parallel \zeta \parallel }_{\phi }^2).$

(2) 

$|\overline{(z,\zeta )}|\le M\sqrt{1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^{{\displaystyle \frac{k}{q}}}+{\parallel \zeta \parallel }_{\phi }^{{\displaystyle \frac{2}{q}}}},$

where $M=\max \{\sqrt{{\displaystyle \frac{q}{k}}},\sqrt{r^{1-{\displaystyle \frac{1}{q}}}}\}$.

Proof. 

For $z\in {\Re }_{\mathrm{IV}}(n)$, there exists a real orthogonal matrix $\Gamma$, such that

$$z=(z_1^{*},z_2^{*},z_3^{*},z_4^{*},0,\dots ,0)\Gamma .$$

Let

$$z^{*}=(z_1^{*},z_2^{*},z_3^{*},z_4^{*}),$$

$$A=\left(\begin{array}{cc}{z}_1^{*}+i{z}_2^{*}& i{z}_3^{*}-z_4^{*}\\ i{z}_3^{*}+z_4^{*}& z_1^{*}-i{z}_2^{*}\end{array}\right).$$

Since $1+|z^{*}{z}^{{*}^{\prime }}{|}^2-2|z^{*}{|}^2=1+|z{z}^{\prime }{|-2|z|}^2>0$, $1-|z^{*}{z}^{{*}^{\prime }}{|}^2>0$, one has $z^{*}\in {\Re }_{\mathrm{IV}}(4)$. From Lemma 7, we obtain $A\in {\Re }_{\mathrm{I}}(2,2)$ and for all $z\in {\Re }_{\mathrm{IV}}(n)$, we have

$$1+|z{z}^{\prime }{|-2|z|}^2=1+|z^{*}{z}^{{*}^{\prime }}{|}^2-2{|z^{*}|}^2=det(I-A{\overline{A}}^{\prime }).$$

For $t\in [0,1]$, $tz\in {\Re }_{\mathrm{IV}}(n)$ we obtain

$$1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2=det(I-t^{2}A{\overline{A}}^{\prime }).$$

According to Lemma 2,

$$\begin{array}{cc}\hfill 1-(1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2{)}^k+{\parallel t\zeta \parallel }_{\phi }^2& =1-det{(I-t^{2}A{\overline{A}}^{\prime })}^k+{\parallel t\zeta \parallel }_{\phi }^2\hfill \\ \hfill & \le t^2[1-det{(I-A{\overline{A}}^{\prime })}^k+{\parallel \zeta \parallel }_{\phi }^2]\hfill \\ \hfill & =t^2[1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k+{\parallel \zeta \parallel }_{\phi }^2].\hfill \end{array}$$

According to Lemma 3 and

$$\begin{array}{cc}\hfill {|A|}^2& =|z_1^{*}+z_2^{*}{|}^2+|z_1^{*}-z_2^{*}{|}^2+|z_3^{*}+z_4^{*}{|}^2+{|z_3^{*}-z_4^{*}|}^2\hfill \\ \hfill & =2(|z_1^{*}{|}^2+|z_2^{*}{|}^2+|z_3^{*}{|}^2+|z_4^{*}{|}^2)\hfill \\ \hfill & =2z{\overline{z}}^{\prime }\hfill \\ \hfill & ={2|z|}^2,\hfill \end{array}$$

we obtain

$$\begin{array}{cc}\hfill {|z|}^2& ={\displaystyle \frac{{|A|}^2}{2}}\hfill \\ \hfill & \le {\displaystyle \frac{q}{2k}}[1-det{(I-A{\overline{A}}^{\prime })}^{{\displaystyle \frac{k}{q}}}]\hfill \\ \hfill & ={\displaystyle \frac{q}{2k}}[1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^{{\displaystyle \frac{k}{q}}}]\hfill \\ \hfill & \le {\displaystyle \frac{q}{k}}[1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^{{\displaystyle \frac{k}{q}}}].\hfill \end{array}$$

(5)

If $0<p<1$, then

$$\sum _{k=1}^n|a_k{|}^p\ge {\left[\sum _{k=1}^n|a_k|\right]}^p\ge n^{p-1}\sum _{k=1}^n{|a_k|}^p.$$

(6)

One has

$$\begin{array}{cc}\hfill {\parallel \zeta \parallel }_{\phi }^{{\displaystyle \frac{2}{q}}}& =(|{\zeta }_1{|}^{2q_1}+|{\zeta }_2{|}^{2q_2}+\cdots +|{\zeta }_r{{|}^{2q_r})}^{{\displaystyle \frac{1}{q}}}\hfill \\ \hfill & \ge r^{{\displaystyle \frac{1}{q}}-1}(|{\zeta }_1{|}^{{\displaystyle \frac{2q_1}{q}}}+|{\zeta }_2{|}^{{\displaystyle \frac{2q_2}{q}}}+\cdots +|{\zeta }_r{|}^{{\displaystyle \frac{2q_r}{q}}})\hfill \\ \hfill & \ge r^{{\displaystyle \frac{1}{q}}-1}(|{\zeta }_1{|}^2+|{\zeta }_2{|}^2+\cdots +|{\zeta }_r{|}^2)\hfill \\ \hfill & =r^{{\displaystyle \frac{1}{q}}-1}{|\zeta |}^2,\hfill \end{array}$$

and then

$${|\zeta |}^2\le r^{1-{\displaystyle \frac{1}{q}}}{\parallel \zeta \parallel }_{\phi }^{{\displaystyle \frac{2}{q}}}.$$

(7)

Therefore, by combining (6) and (7), we obtain

$$\begin{array}{cc}\hfill |\overline{(z,\zeta )}|& =\sqrt{{|z|}^2+{|\zeta |}^2}\hfill \\ \hfill & \le \sqrt{{\displaystyle \frac{q}{k}}[1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^{{\displaystyle \frac{k}{q}}}]+r^{1-{\displaystyle \frac{1}{q}}}{\parallel \zeta \parallel }_{\phi }^{{\displaystyle \frac{2}{q}}}}\hfill \\ \hfill & \le M\sqrt{[1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^{{\displaystyle \frac{k}{q}}}{]+\parallel \zeta \parallel }_{\phi }^{{\displaystyle \frac{2}{q}}}},\hfill \end{array}$$

where $M=\max \{\sqrt{{\displaystyle \frac{q}{k}}},\sqrt{r^{1-{\displaystyle \frac{1}{q}}}}\}$. □

Lemma 9.

Let $(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}$, $(\omega ,\upsilon )\in {\mathrm{GHE}}_{\mathrm{IV}}$, $0<k\le {\displaystyle \frac{1}{2}}$, then

(i) 

$[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]+[(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^k-{\parallel \upsilon \parallel }_{\phi }^2]$

$\le 2||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }|.$

(ii) 

$(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}{|(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })|}^{k-1}\le 4^{1-k}.$

Proof. 

For $z,\omega \in {\Re }_{\mathrm{IV}}(n)$, there exists a real orthogonal matrix $\Gamma$, such that

$$z=(z_1^{*},z_2^{*},z_3^{*},z_4^{*},0,\dots ,0)\Gamma ,$$

$$s=({\omega }_1^{*},{\omega }_2^{*},{\omega }_3^{*},{\omega }_4^{*},0,\dots ,0)\Gamma .$$

Let

$$A=\left(\begin{array}{cc}{z}_1^{*}+i{z}_2^{*}& i{z}_3^{*}-z_4^{*}\\ i{z}_3^{*}+z_4^{*}& z_1^{*}-i{z}_2^{*}\end{array}\right),$$

$$B=\left(\begin{array}{cc}{\omega }_1^{*}+i{\omega }_2^{*}& {\omega }_3^{*}-{\omega }_4^{*}\\ i{\omega }_3^{*}+{\omega }_4^{*}& {\omega }_1^{*}-i{\omega }_2^{*}\end{array}\right).$$

According to Lemma 7, we know that $A,B\in {\Re }_{\mathrm{I}}(2,2)$, $1+|z{z}^{\prime }{|}^2-2{|z|}^2=det(I-A{\overline{A}}^{\prime })$, $1+|\omega {\omega }^{\prime }{|}^2-2{|\omega |}^2=det(I-B{\overline{B}}^{\prime })$ and

$$\begin{array}{cc}\hfill 1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime }& =1+z^{*}{z}^{{*}^{\prime }}\overline{\omega {\omega }^{\prime }}-2z^{*}{\overline{{\omega }^{*}}}^{\prime }\hfill \\ \hfill & =1+[{(z_1^{*})}^2+{(z_2^{*})}^2+{(z_3^{*})}^2+{(z_4^{*})}^2]\overline{{({\omega }_1^{*})}^2+{({\omega }_2^{*})}^2+{({\omega }_3^{*})}^2+{({\omega }_4^{*})}^2}\hfill \\ \hfill & -(z_1^{*}{\omega }_1^{*}+z_2^{*}{\omega }_2^{*}+z_3^{*}{\omega }_3^{*}+z_4^{*}{\omega }_4^{*})\hfill \\ \hfill & =det(I-A{\overline{B}}^{\prime }).\hfill \end{array}$$

From Lemma 5, we have

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]+[(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^k-{\parallel \upsilon \parallel }_{\phi }^2]\hfill \\ \hfill & \le 2||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }|.\hfill \end{array}$$

From Lemma 6, we obtain

$$(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}{|(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })|}^{k-1}\le 4^{1-k}.$$

□

Lemma 10.

Let $q_j$$(j=1,2,\cdots ,r)$ be positive integers, $q=\max \{q_1,q_2,\cdots ,q_r\}$, $0<k\le {\displaystyle \frac{1}{2}}$ and $f\in {\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$. Then, there exists a constant C, such that

$$|f(z,\zeta )|\le \left\{\begin{array}{ccc}\hfill & {C\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill & \hfill 0<\alpha <1\\ \hfill & {C\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}ln{\displaystyle \frac{2q}{(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2}}\hfill & \hfill \alpha =1\\ \hfill & {C\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}{\displaystyle \frac{1}{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha -1}}}\hfill & \hfill \alpha >1\end{array}\right.$$

(8)

for $\forall (z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}$.

Proof. 

$$\begin{array}{cc}\hfill |f(z,\zeta )|& =|f(0,0)+{\int }_0^1⟨\nabla f(tz,t\zeta ),\overline{(z,\zeta )}⟩\mathrm{d}t|\hfill \\ \hfill & \le |f(0,0)|+{\int }_0^1|\nabla f(tz,t\zeta )||\overline{(z,\zeta )}|\mathrm{d}t\hfill \\ \hfill & =|f(0,0)|+|\overline{(z,\zeta )}|{\int }_0^1{\displaystyle \frac{[(1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2{)}^k-{\parallel t\zeta \parallel }_{\phi }^2{]}^{\alpha }|\nabla f(tz,t\zeta )|}{[(1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2{)}^k-{\parallel t\zeta \parallel }_{\phi }^2{]}^{\alpha }}}\mathrm{d}t\hfill \\ \hfill & \le |f(0,0)|+|\overline{(z,\zeta )}|{\int }_0^1{\displaystyle \frac{{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}}{[(1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2{)}^k-{\parallel t\zeta \parallel }_{\phi }^2{]}^{\alpha }}}\mathrm{d}t\hfill \\ \hfill & \le \left[1+{\int }_0^1{\displaystyle \frac{|\overline{(z,\zeta )}|}{[(1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2{)}^k-{\parallel t\zeta \parallel }_{\phi }^2{]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & =\left[1+{\int }_0^1{\displaystyle \frac{|\overline{(z,\zeta )}|}{[1-(1-(1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2{)}^k+{\parallel t\zeta \parallel }_{\phi }^2{)]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}.\hfill \end{array}$$

According to Lemma 8, we obtain

$$\begin{array}{cc}\hfill & \left[1+{\int }_0^1{\displaystyle \frac{|\overline{(z,\zeta )}|}{[1-(1-(1+t^4|z{z}^{\prime }{|}^2-2t^2{|z|}^2{)}^k+{\parallel t\zeta \parallel }_{\phi }^2{)]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le \left[1+M{\int }_0^1{\displaystyle \frac{\sqrt{1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^{\frac{k}{q}}+{\parallel \zeta \parallel }_{\phi }^{\frac{2}{q}}}}{[1-t^2(1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k+{\parallel \zeta \parallel }_{\phi }^2{)]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}.\hfill \end{array}$$

By the elementary inequality $a-b\le q(a^{{\displaystyle \frac{1}{q}}}-b^{{\displaystyle \frac{1}{q}}})$, we obtain

$$\begin{array}{cc}\hfill & \left[1+M{\int }_0^1{\displaystyle \frac{\sqrt{1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^{\frac{k}{q}}+{\parallel \zeta \parallel }_{\phi }^{\frac{2}{q}}}}{[1-t^2(1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k+{\parallel \zeta \parallel }_{\phi }^2{)]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le \left[1+M{\int }_0^1{\displaystyle \frac{\sqrt{1-\frac{1}{q}((1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2)}}{[1-t^2(1-(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k+{\parallel \zeta \parallel }_{\phi }^2{)]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le \left[1+M{\int }_0^1{\displaystyle \frac{\sqrt{1-\frac{1}{q}((1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2)}}{[1-t^2(1-\frac{1}{q}((1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{))]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & =\left[1+M{\int }_0^1{\displaystyle \frac{K}{{[1-t^2{K}^2]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & =\left[1+M{\int }_0^1{\displaystyle \frac{K}{{\left[(1-tK)(1+tK)\right]}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le \left[1+M{\int }_0^1{\displaystyle \frac{K}{{(1-tK)}^{\alpha }}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}},\hfill \end{array}$$

where $K=\sqrt{1-{\displaystyle \frac{1}{q}}((1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2)}$.

Below is a classification discussion of $\alpha$:

Case ${\mathcal{B}}_1$: $0<\alpha <1$,

$$\begin{array}{cc}\hfill |f(z,\zeta )|& \le \left\{1+{\displaystyle \frac{M}{1-\alpha }}[1-{(1-K)}^{1-\alpha }]\right\}{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le (1+{\displaystyle \frac{M}{1-\alpha }}){\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le {C\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}},\hfill \end{array}$$

(9)

where $C=1+{\displaystyle \frac{M}{1-\alpha }}$.

Case ${\mathcal{B}}_2$: $\alpha =1$,

$$\begin{array}{cc}\hfill |f(z,\zeta )|& \le \left[1+M{\int }_0^1{\displaystyle \frac{K}{1-tK}}\mathrm{d}t\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & =\left[1+Mln{\displaystyle \frac{1}{1-K}}\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & =\left[1+Mln{\displaystyle \frac{1+K}{(1-K)(1+K)}}\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le \left[1+Mln{\displaystyle \frac{2}{1-K^2}}\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ & \le \left[{\displaystyle \frac{1}{ln2}}ln{\displaystyle \frac{2}{1-K^2}}+Mln{\displaystyle \frac{2}{1-K^2}}\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le \left[{\displaystyle \frac{1}{ln2}}+M\right]ln{\displaystyle \frac{2}{1-K^2}}{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & ={C\parallel f\parallel }_{{\mathcal{B}}^{\alpha }}ln{\displaystyle \frac{2q}{(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2}},\hfill \end{array}$$

(10)

where $C={\displaystyle \frac{1}{ln2}}+M$.

Case ${\mathcal{B}}_3$: $\alpha >1$,

$$\begin{array}{cc}\hfill |f(z,\zeta )|& \le \left[1+{\displaystyle \frac{M}{\alpha -1}}\left({\displaystyle \frac{1}{{(1-K)}^{\alpha -1}}}-1\right)\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le \left[C^{\prime }+C^{\prime }\left({\displaystyle \frac{1}{{(1-K)}^{\alpha -1}}}-1\right)\right]{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & =C^{\prime }{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}{\displaystyle \frac{1}{{(1-K)}^{\alpha -1}}}\hfill \\ \hfill & =C^{\prime }{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}{\displaystyle \frac{{(1+K)}^{\alpha -1}}{{\left[(1-K)(1+K)\right]}^{\alpha -1}}}\hfill \\ \hfill & \le 2^{\alpha -1}{C}^{\prime }{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}{\displaystyle \frac{1}{{(1-K^2)}^{\alpha -1}}}\hfill \\ \hfill & ={C\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}{\displaystyle \frac{1}{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha -1}}},\hfill \end{array}$$

(11)

where $C={(2q)}^{\alpha -1}{C}^{\prime }$, $C^{\prime }=max\{1,{\displaystyle \frac{M}{\alpha -1}}\}.$ By combining (9)–(11), the proof is completed. □

Lemma 11.

Let $\varphi =({\varphi }_1,{\varphi }_2,\dots ,{\varphi }_{n+r})$ be a holomorphic self-map of ${\mathrm{GHE}}_{\mathrm{IV}}$ and $\psi \in H({\mathrm{GHE}}_{\mathrm{IV}})$. The weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact if and only if ${}_{\psi }C_{\varphi }$ is bounded and for any bounded sequence ${\left\{f_n\right\}}_{n\ge 1}$ in ${\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ converging to 0 uniformly on compact subsets of ${\mathrm{GHE}}_{\mathrm{IV}}$, $\parallel {}_{\psi }C_{\varphi }{f}_n{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\to 0$ as $n\to \infty$.

Proof. 

This is similar to the proof of Lemma 12 in reference [32]. □

3. Boundedness of ${}_{\mathsf{\psi }}\mathit{C}_{\mathsf{\varphi }}\mathbf{:}{\mathcal{B}}^{(\mathsf{\alpha },\mathit{k})}\to {\mathcal{A}}_{(\mathsf{\beta },\mathit{k})}$

Theorem 1.

Assume that $\alpha =1$, $\beta >0$, $0<k\le {\displaystyle \frac{1}{2}}$ and that $q_j(j=1,2,\cdots ,r)$ are positive integers, $q=\max \{q_1,q_2,\cdots ,q_r\}$. Let $\varphi =({\varphi }_1,{\varphi }_2,\cdots ,{\varphi }_{n+r})$ be a holomorphic self-map of ${\mathrm{GHE}}_{\mathrm{IV}}$, with $\psi \in H({\mathrm{GHE}}_{\mathrm{IV}})$ and $(z_{\varphi },{\zeta }_{\varphi })=\varphi (z,\zeta )$. If

$$\begin{array}{c}\hfill M_1:=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }\\ \hfill \times ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}<\infty ,\end{array}$$

(12)

then the weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded.

Conversely, if the weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha .k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded, then

$$\begin{array}{c}\hfill M_2:=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{{|}^2)}^{1-k}\\ \hfill \times ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}<\infty .\end{array}$$

(13)

Proof. 

Assume that (12) holds and for $f\in {\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$, we know that

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }f)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )||f(\varphi (z,\zeta ))|.\hfill \end{array}$$

From Lemma 10, we obtain

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )||f(\varphi (z,\zeta ))|\hfill \\ \hfill & \le C|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }\times ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le C{M}_1{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}.\hfill \end{array}$$

For all $(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}$, we have

$$\parallel {}_{\psi }C_{\varphi }{f\parallel }_{{\mathcal{A}}_{(\beta ,k)}}=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }f)(z,\zeta )|\le C{M}_1{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}},$$

which implies that ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded.

Conversely, assume that ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded. For any $(\omega ,\upsilon )\in {\mathrm{GHE}}_{\mathrm{IV}}$, let us introduce a test function $f_{(\omega ,\upsilon )}\in H({\mathrm{GHE}}_{\mathrm{IV}})$, such that

$$f_{(\omega ,\upsilon )}(z,\zeta ):=(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}ln{\displaystyle \frac{2q}{{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k-{⟨\zeta ,\upsilon ⟩}_{\phi }}}.$$

This means that

$$\begin{array}{ccc}\hfill {\displaystyle \frac{\partial f_{(\omega ,\upsilon )}}{\partial z_l}}& =& {\displaystyle \frac{k·(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}·{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^{k-1}(2{\overline{{\omega }_l}}^{\prime }-2z_l\overline{\omega {\omega }^{\prime }})}{{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k-{⟨\zeta ,\upsilon ⟩}_{\phi }}},\hfill \\ & & l=1,\cdots ,n.\hfill \\ \hfill {\displaystyle \frac{\partial f_{(\omega ,\upsilon )}}{\partial {\zeta }_j}}& =& {\displaystyle \frac{(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}·q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}}{{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k-{⟨\zeta ,\upsilon ⟩}_{\phi }}},j=1,\cdots ,r.\hfill \end{array}$$

There exists a constant $C_1>0$, such that

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]|\nabla f_{(\omega ,\upsilon )}(z,\zeta )|\hfill \\ \hfill & ={\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2](1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}}{|{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k-{⟨\zeta ,\upsilon ⟩}_{\phi }|}}\hfill \\ \hfill & \times {\left\{k^2|1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime }{|}^{2k-2}\times \sum _{l=1}^n|2{\overline{{\omega }_l}}^{\prime }-2z_l\overline{\omega {\omega }^{\prime }}{|}^2+\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right\}}^{{\displaystyle \frac{1}{2}}}\hfill \\ \hfill & \le {\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]}{||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }|}}\hfill \\ \hfill & \times \{k(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega \omega |}^2{)}^{1-k}|1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime }{|}^{k-1}|2{\overline{\omega }}^{\prime }-2z\overline{\omega {\omega }^{\prime }}|\hfill \\ \hfill & +{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times (1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\}.\hfill \end{array}$$

According to Lemma 9, we obtain

$$\begin{array}{cc}\hfill & {\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]}{||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }|}}\hfill \\ \hfill & \times \{k(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}|1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime }{|}^{k-1}|2{\overline{\omega }}^{\prime }-2z\overline{\omega {\omega }^{\prime }}|\hfill \\ \hfill & +{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times (1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\}\hfill \\ \hfill & \le {\displaystyle \frac{2[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]}{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]+[(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^k-{\parallel \upsilon \parallel }_{\phi }^2]}}\hfill \\ \hfill & \times \left\{k{4}^{1-k}|2{\overline{\omega }}^{\prime }-2z\overline{\omega {\omega }^{\prime }}|+{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times (1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\right\}\hfill \\ \hfill & \le 2\times \left\{k{4}^{1-k}(2|{\overline{\omega }}^{\prime }|+2|z||\overline{\omega {\omega }^{\prime }}|)+{\left[\sum _{j=1}^r{|q_j|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times (1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\right\}\hfill \\ \hfill & \le 2\times \left\{k{4}^{2-k}+{\left[\sum _{j=1}^r{|q_j|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times (1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\right\}\hfill \\ \hfill & \le C_1.\hfill \end{array}$$

Since $f_{(\omega ,\upsilon )}(0,0)=(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}ln2q\le ln2q$, one has

$$\begin{array}{cc}\hfill \parallel f_{(\omega ,\upsilon )}{\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}& =|f_{(\omega ,\upsilon )}(0,0)|+\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }|\nabla f_{(\omega ,\upsilon )}(z,\zeta )|\hfill \\ \hfill & \le C_1+ln2q.\hfill \end{array}$$

Therefore, we have

$$\begin{array}{cc}\hfill & \infty >(C_1+ln2q){\parallel {}_{\psi }C_{\varphi }\parallel }_{{\mathcal{B}}^{(\alpha ,k)}\to {\mathcal{A}}_{(\beta ,k)}}\hfill \\ \hfill & \ge \parallel {}_{\psi }C_{\varphi }{f}_{(\omega ,\upsilon )}{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\hfill \\ \hfill & =\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )f_{(\omega ,\upsilon )}(\varphi (z,\zeta ))|\hfill \\ \hfill & \ge |\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\hfill \\ \hfill & \times |ln{\displaystyle \frac{2q}{{(1+z_{\varphi }{z}_{\varphi }^{\prime }\overline{\omega {\omega }^{\prime }}-2z_{\varphi }{\overline{\omega }}^{\prime })}^k-{⟨{\zeta }_{\varphi },\upsilon ⟩}_{\phi }}}|.\hfill \end{array}$$

Let us consider

$$(\omega ,\upsilon )=(z_{\varphi },{\zeta }_{\varphi })=\varphi (z,\zeta ),$$

so that

$$\begin{array}{c}\hfill \underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{{|}^2)}^{1-k}\\ \hfill \times ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}<\infty .\end{array}$$

□

Theorem 2.

Assume that $\alpha >1,\beta >0$, $0<k\le {\displaystyle \frac{1}{2}}$ and that $q_j$$(j=1,2,\cdots ,r)$ are positive integers. Let $\varphi =({\varphi }_1,{\varphi }_2,\cdots ,{\varphi }_{n+r})$ be a holomorphic self-map of ${\mathrm{GHE}}_{\mathrm{IV}}$, with $\psi \in H({\mathrm{GHE}}_{\mathrm{IV}})$ and $(z_{\varphi },{\zeta }_{\varphi })=\varphi (z,\zeta )$. If

$$M_3:=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}|\psi (z,\zeta )|{\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -1}}}<\infty ,$$

(14)

then the weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded.

Conversely, if the weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded, then

$$M_4:=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}|\psi (z,\zeta )|{\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{{|}^2)}^{1-k}}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -1}}}<\infty .$$

(15)

Proof. 

Assuming that (14) holds and $f\in {\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$, we have

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }f)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )·(C_{\varphi }f)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )||f(\varphi (z,\zeta ))|.\hfill \end{array}$$

From Lemma 10, we obtain

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )||f(\varphi (z,\zeta ))|\hfill \\ \hfill & \le C|\psi (z,\zeta )|{\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -1}}}{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \le C{M}_3{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}.\hfill \end{array}$$

For all $(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}$, we obtain

$$\begin{array}{c}\hfill \parallel {}_{\psi }C_{\varphi }{f\parallel }_{{\mathcal{A}}_{(\beta ,k)}}=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }f)(z,\zeta )|\le C{M}_3{\parallel f\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}.\end{array}$$

This implies that ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded.

Conversely, assume that ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded. For $(\omega ,\upsilon )\in {\mathrm{GHE}}_{\mathrm{IV}}$, we define a test function $f_{(\omega ,\upsilon )}\in H({\mathrm{GHE}}_{\mathrm{IV}})$, such that

$$f_{(\omega ,\upsilon )}(z,\zeta ):={\displaystyle \frac{(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}}{{[{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k-{⟨\zeta ,\upsilon ⟩}_{\phi }]}^{\alpha -1}}}.$$

For the test function f, we have

$$\begin{array}{ccc}\hfill {\displaystyle \frac{\partial f_{(\omega ,\upsilon )}}{\partial z_l}}& =\hfill & \hfill {\displaystyle \frac{k(\alpha -1)·(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}·{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^{k-1}}{{[{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k-{⟨\zeta ,\upsilon ⟩}_{\phi }]}^{\alpha }}}\\ \hfill & \hfill & \hfill \times (2{\overline{{\omega }_l}}^{\prime }-2z_l\overline{\omega {\omega }^{\prime }}),l=1,\cdots ,n.\\ \hfill {\displaystyle \frac{\partial f_{(\omega ,\upsilon )}}{\partial {\zeta }_j}}& =\hfill & \hfill {\displaystyle \frac{(\alpha -1)q_j{\zeta }_j^{q_j-1}{\overline{t_j}}^{q_j}·(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}}{{[{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k-{⟨\zeta ,\upsilon ⟩}_{\phi }]}^{\alpha }}},j=1,\cdots ,r.\end{array}$$

There exists a constant $C_2>0$, such that

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }|\nabla f_{(\omega ,\upsilon )}(z,\zeta )|\hfill \\ \hfill & ={\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }}{|{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k-{⟨\zeta ,\upsilon ⟩}_{\phi }{|}^{\alpha }}}\times (1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\times (\alpha -1)\hfill \\ \hfill & \times {\left\{k^2|{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^{k-1}{|}^2\times \sum _{l=1}^n|2{\overline{{\omega }_l}}^{\prime }-2z_l\overline{\omega {\omega }^{\prime }}{|}^2+\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right\}}^{{\displaystyle \frac{1}{2}}}\hfill \\ \hfill & \le {\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }}{||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }{|}^{\alpha }}}\times (1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\times (\alpha -1)\hfill \\ \hfill & \times {\left\{k^2|{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^{k-1}{|}^2\times \sum _{l=1}^n|2{\overline{{\omega }_l}}^{\prime }-2z_l\overline{\omega {\omega }^{\prime }}{|}^2+\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right\}}^{{\displaystyle \frac{1}{2}}}\hfill \\ \hfill & \le {\displaystyle \frac{(\alpha -1)[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }}{||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }{|}^{\alpha }}}\times (1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\hfill \\ \hfill & \times \left\{k|(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime }){|}^{k-1}\times |2{\overline{\omega }}^{\prime }-2z\overline{\omega {\omega }^{\prime }}|+{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\right\}\hfill \\ \hfill & ={\displaystyle \frac{(\alpha -1)[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }}{||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }{|}^{\alpha }}}\hfill \\ \hfill & \times \{k|(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime }){|}^{k-1}(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}|2{\overline{\omega }}^{\prime }-2z\overline{\omega {\omega }^{\prime }}|\hfill \\ \hfill & +(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\}.\hfill \end{array}$$

From Lemma 9, we obtain

$$\begin{array}{cc}\hfill & {\displaystyle \frac{(\alpha -1)[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }}{||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }{|}^{\alpha }}}\hfill \\ \hfill & \times \{k|(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime }){|}^{k-1}(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}|2{\overline{\omega }}^{\prime }-2z\overline{\omega {\omega }^{\prime }}|\hfill \\ \hfill & +(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\}\hfill \\ \hfill & \le {\displaystyle \frac{(\alpha -1)2^{\alpha }[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }}{|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]+[(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^k-{\parallel \upsilon \parallel }_{\phi }^2{]|}^{\alpha }}}\hfill \\ \hfill & \times \left\{4^{1-k}k|2{\overline{\omega }}^{\prime }-2z\overline{\omega {\omega }^{\prime }}|+(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\right\}\hfill \\ \hfill & \le {\displaystyle \frac{(\alpha -1)2^{\alpha }[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }}{|(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{|}^{\alpha }}}\hfill \\ \hfill & \times \left\{4^{1-k}k(|2{\overline{\omega }}^{\prime }|+|2z\overline{\omega {\omega }^{\prime }}|)+(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\right\}\hfill \\ \hfill & \le (\alpha -1)2^{\alpha }\left\{4^{2-k}k+(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\right\}\hfill \\ \hfill & \le C_2.\hfill \end{array}$$

Since $f_{(\omega ,\upsilon )}(0,0)=(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}\le 1$, so that

$$\begin{array}{cc}\hfill \parallel f_{(\omega ,\upsilon )}{\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}& =|f_{(\omega ,\upsilon )}(0,0)|+\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }|\nabla f_{(\omega ,\upsilon )}(z,\zeta )|\hfill \\ \hfill & \le C_2+1.\hfill \end{array}$$

It follows that

$$\begin{array}{cc}\hfill \infty & >(C_2+1){\parallel {}_{\psi }C_{\varphi }\parallel }_{{\mathcal{B}}^{(\alpha ,k)}\to {\mathcal{A}}_{(\beta .k)}}\hfill \\ \hfill & \ge \parallel {}_{\psi }C_{\varphi }{f}_{(\omega ,\upsilon )}{\parallel }_{{\mathcal{A}}_{(\beta .k)}}\hfill \\ \hfill & =\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )f_{(\omega ,\upsilon )}(\varphi (z,\zeta ))|\hfill \\ \hfill & \ge |\psi (z,\zeta )|{\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^{1-k}}{{[{(1+z_{\varphi }{z}_{\varphi }^{\prime }\overline{\omega {\omega }^{\prime }}-2z_{\varphi }{\overline{\omega }}^{\prime })}^k-{⟨{\zeta }_{\varphi },\upsilon ⟩}_{\phi }]}^{\alpha -1}}}.\hfill \end{array}$$

For $(\omega ,\upsilon )=(z_{\varphi },{\zeta }_{\varphi })=\varphi (z,\zeta )$, we obtain

$$\begin{array}{c}\hfill \underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}|\psi (z,\zeta )|{\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{{|}^2)}^{1-k}}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -1}}}<\infty .\end{array}$$

□

4. Compactness of ${}_{\mathsf{\psi }}\mathit{C}_{\mathsf{\varphi }}:{\mathcal{B}}^{(\mathsf{\alpha },\mathit{k})}\to {\mathcal{A}}_{(\mathsf{\beta },\mathit{k})}$

Theorem 3.

Assume $\alpha =1$, $\beta >0$, $0<k\le {\displaystyle \frac{1}{2}}$ and that $q_j$$(j=1,2,\cdots ,r)$ are positive integers, $q=\max \{q_1,q_2,\cdots ,q_r\}$. Let $\varphi =({\varphi }_1,{\varphi }_2,\cdots ,{\varphi }_{n+r})$ be a holomorphic self-map of ${\mathrm{GHE}}_{\mathrm{IV}}$, with $\psi \in H({\mathrm{GHE}}_{\mathrm{IV}})$ and $(z_{\varphi },{\zeta }_{\varphi })=\varphi (z,\zeta )$. If $\psi \in {\mathcal{A}}_{(\beta ,k)}$ and

$$\underset{\varphi (z,\zeta )\to \partial {\mathrm{GHE}}_{\mathrm{IV}}}{lim}|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}=0,$$

(16)

then the weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact.

Conversely, if the weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact, then $\psi \in {\mathcal{A}}_{(\beta ,k)}$ and

$$\begin{array}{cc}\hfill & \underset{\varphi (z,\zeta )\to \partial {\mathrm{GHE}}_{\mathrm{IV}}}{lim}|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{{|}^2)}^{1-k}\hfill \\ \hfill & \times ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}=0.\hfill \end{array}$$

(17)

Proof. 

Assume that (16) holds. We have

$$\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}<\infty ,$$

then, ${}_{\psi }C_{\varphi }$ is bounded. Consider the bounded sequence ${\left\{f_k\right\}}_{k\ge 1}$ in ${\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$, which converges to 0 uniformly on compact subsets of ${\mathrm{GHE}}_{\mathrm{IV}}$. Hence, there exists $Q_1>0$, such that $\parallel f_k{\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\le Q_1,k=1,2,\cdots$. From (16), $\forall \epsilon >0$, $\exists \delta \in (0,1)$, such that for $\mathrm{dist}(\varphi (z,\zeta ),\partial {\mathrm{GHE}}_{\mathrm{IV}})<\delta$, we have

$$|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}<\epsilon .$$

(18)

According to Lemma 10, we obtain

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }{f}_k)(z,\zeta )|\hfill \\ & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )·(C_{\varphi }{f}_k)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )||f_k(\varphi (z,\zeta ))|\hfill \\ \hfill & \le C|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }{\parallel f_k\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\hfill \\ \hfill & \times ln{\displaystyle \frac{2q}{(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-{\parallel {\zeta }_{\varphi }\parallel }_{\phi }^2}}\hfill \\ \hfill & \le C{Q}_1\epsilon .\hfill \end{array}$$

(19)

On the other hand, let us introduce the set

$$E_{\delta }:=\{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}:\mathrm{dist}(\varphi (z,\zeta ),\partial {\mathrm{GHE}}_{\mathrm{IV}})\ge \delta \},$$

which is a compact subset of ${\mathrm{GHE}}_{\mathrm{IV}}$. Assuming that $\left\{f_k\right\}$ converges to 0 uniformly on any compact subset of ${\mathrm{GHE}}_{\mathrm{IV}}$ and since $\psi \in {\mathcal{A}}_{(\beta ,k)}$, for such $\epsilon$, we know

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }{f}_k)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )·(C_{\varphi }{f}_k)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )||f_k(\varphi (z,\zeta ))|\hfill \\ \hfill & \le {\parallel \psi \parallel }_{{\mathcal{A}}_{(\beta ,k)}}\epsilon .\hfill \end{array}$$

(20)

Combining (19) and (20), we have

$$\parallel {}_{\psi }C_{\varphi }{f}_k{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }{f}_k)(z,\zeta )|\to 0,k\to \infty .$$

Hence, from Lemma 11, we finally have that ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact.

Consequently, suppose ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact. Letting $f\equiv 1$, we have

$$[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )|=[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }f)(z,\zeta )|<\infty ,$$

which shows that $\psi \in {\mathcal{A}}_{(\beta ,k)}.$ Consider now a sequence $({\omega }^i,{\upsilon }^i)=\varphi (z^i,{\zeta }^i)$ in ${\mathrm{GHE}}_{\mathrm{IV}}$, such that $\varphi (z^i,{\zeta }^i)\to \partial {\mathrm{GHE}}_{\mathrm{IV}}$ as $i\to \infty$. If such a sequence does not exist, then condition (17) obviously holds. Moreover, let us introduce the following sequence of test functions ${\left\{f_i\right\}}_{i\ge 1}$:

$$\begin{array}{cc}\hfill f_i(z,\zeta )& ={\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\hfill \\ \hfill & \times {\left\{ln{\displaystyle \frac{2q}{{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }}}\right\}}^2\hfill \\ \hfill & \times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k},i=1,2,\cdots .\hfill \end{array}$$

Differentiating the above formula provides

$$\begin{array}{ccc}\hfill {\displaystyle \frac{\partial f_i}{\partial z_l}}& =& {\displaystyle \frac{2k{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z\overline{{\omega }^{i^{\prime }}})}^{k-1}(2{\overline{{\omega }_l^i}}^{\prime }-2z_l\overline{{\omega }^i{\omega }^{i^{\prime }}})(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}}{{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }}}\hfill \\ & & \times {\displaystyle \frac{ln\frac{2q}{{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }}}{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}},l=1,\cdots ,n.\hfill \\ \hfill {\displaystyle \frac{\partial f_i}{\partial {\zeta }_j}}& =& {\displaystyle \frac{2q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}}{{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }}}\times {\displaystyle \frac{ln\frac{2q}{{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }}}{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}.\hfill \\ & & j=1,\cdots ,r,i=1,2,\cdots .\hfill \end{array}$$

There exists two constants $C_3>0$ and $C_4>0$, such that

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]|\nabla f_i(z,\zeta )|\hfill \\ \hfill & ={\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2](1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}}\times \left|{\displaystyle \frac{ln\frac{2q}{{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }}}{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\right|\hfill \\ & \times {\left\{4k^2|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z\overline{{\omega }^{i^{\prime }}})}^{k-1}{|}^2\times \sum _{l=1}^n|2{\overline{{\omega }_l^i}}^{\prime }-2z_l\overline{{\omega }^i{\omega }^{i^{\prime }}}{|}^2+4\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right\}}^{{\displaystyle \frac{1}{2}}}\hfill \\ & \le {\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2](1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}}{||{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|-|{⟨\zeta ,{\upsilon }^i⟩}_{\phi }||}}\hfill \\ \hfill & \times {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\times \{2k|(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z\overline{{\omega }^{i^{\prime }}}){|}^{k-1}|2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|\hfill \\ \hfill & +2{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\}\hfill \\ \hfill & \le {\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]}{||{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|-|{⟨\zeta ,{\upsilon }^i⟩}_{\phi }||}}\times {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ & \times \{2k(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{)}^{1-k}{|(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z\overline{{\omega }^{i^{\prime }}})|}^{k-1}\hfill \\ \hfill & \times |2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|+2{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\},\hfill \end{array}$$

from Lemma 9, we obtain

$$\begin{array}{cc}\hfill & {\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]}{||{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|-|{⟨\zeta ,{\upsilon }^i⟩}_{\phi }||}}\times {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ & \times \{2k(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{)}^{1-k}{|(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z\overline{{\omega }^{i^{\prime }}})|}^{k-1}\hfill \\ \hfill & \times |2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|+2{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\}\hfill \\ \hfill & \le {\displaystyle \frac{2[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]}{(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2+(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\hfill \\ \hfill & \times {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \times \left\{2k\times 4^{1-k}|2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|+2{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\right\}\hfill \\ \hfill & \le {\displaystyle \frac{2[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]}{(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2}}\times {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel t^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \times \left\{2k\times 4^{1-k}(|2{\overline{{\omega }^i}}^{\prime }|+|2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|)+2{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\right\}\hfill \\ \hfill & \le 2\times \left\{4^{2-k}+C_3\right\}\times {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \le C_4\times {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}.\hfill \end{array}$$

We now have two cases:

Case $\mathcal{C}$: If $|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|\le 2q$, then

$$\begin{array}{cc}\hfill {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}& \le {\displaystyle \frac{ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|-|{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \le {\displaystyle \frac{ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|-{\parallel \zeta \parallel }_{\phi }^2{\parallel {\upsilon }^i\parallel }_{\phi }^2}+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \le {\displaystyle \frac{ln\frac{4q}{(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2+(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \le {\displaystyle \frac{ln\frac{4q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \le 2+{\displaystyle \frac{\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \le C_5,\hfill \end{array}$$

where $C_5=2+{\displaystyle \frac{\pi }{ln2}}$.

Case $\mathcal{D}$: If $|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|>2q$, then

$$\begin{array}{cc}\hfill {\displaystyle \frac{|ln\frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}& ={\displaystyle \frac{|ln2q-ln|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }||+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \le {\displaystyle \frac{ln|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|+\pi }{ln\frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}}\hfill \\ \hfill & \le {\displaystyle \frac{ln(|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|+|{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|)+\pi }{ln2}}\hfill \\ \hfill & \le {\displaystyle \frac{ln(G_0^k+\parallel \zeta {\parallel }_{\phi }\parallel {\upsilon }^i{\parallel }_{\phi })+\pi }{ln2}}\hfill \\ \hfill & \le {\displaystyle \frac{ln(G_0^k+1)+\pi }{ln2}}\hfill \\ \hfill & \le C_6,\hfill \end{array}$$

where

$$G_0=n^2+2n+1\ge |1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime }|.$$

By using both cases $\mathcal{C}$ and $\mathcal{D}$, we obtain that $[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]|\nabla f_i(z,\zeta )|\le Q{C}_4$, then $\parallel f_i{\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\le Q{C}_4$, which means that $\left\{f_i\right\}$ is bounded, where $Q=max\{C_5,C_6\}$. It follows that $f_i\in {\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ and

$$\begin{array}{cc}\hfill |f_i(z,\zeta )|& ={\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\hfill \\ \hfill & \times |ln{\displaystyle \frac{2q}{{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }}}{|}^2(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \le {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{|ln{\displaystyle \frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}}|+\pi \right\}}^2.\hfill \end{array}$$

If $|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|\le 2q$, then

$$\begin{array}{cc}\hfill |f_i(z,\zeta )|& \le {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{ln{\displaystyle \frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|-|{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|}}+\pi \right\}}^2\hfill \\ \hfill & \le {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{ln{\displaystyle \frac{2q}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel {\upsilon }^i\parallel }_{\phi }}}+\pi \right\}}^2\hfill \\ \hfill & \le {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{ln{\displaystyle \frac{4q}{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]+[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}}+\pi \right\}}^2\hfill \\ \hfill & \le {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{ln{\displaystyle \frac{4q}{(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2}}+\pi \right\}}^2.\hfill \end{array}$$

Since $0<(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\le 1$, we take $i\to \infty$ and obtain $({\omega }^i,{\upsilon }^i)\to \partial {\mathrm{GHE}}_{\mathrm{IV}}$. This implies $(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2\to 0$, then ${\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\to 0$. Consider a compact subset E of ${\mathrm{GHE}}_{\mathrm{IV}}$. For $(z,\zeta )\in E$, it is easy to see that $(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2$ has a positive lower bound. Thus, we have $f_i(z,\zeta )\rightrightarrows 0,i\to \infty$ on all compact subsets of ${\mathrm{GHE}}_{\mathrm{IV}}$.

If $|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|>2q$, then

$$\begin{array}{cc}\hfill |f_i(z,\zeta )|& \le {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{|ln2q-ln(|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|)|+\pi \right\}}^2\hfill \\ & \le {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{ln(|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|+|{⟨\zeta ,{\upsilon }^i⟩}_{\phi }|)+\pi \right\}}^2\hfill \\ & \le {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times (1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\{ln(G_0^k+1)+\pi \}}^2.\hfill \end{array}$$

Since $0<(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\le 1$ and ${\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\to 0$ as $i\to \infty$, we have $f_i(z,\zeta )\to 0$.

The above proof shows that $f_i(z,\zeta )\rightrightarrows 0,i\to \infty$ on all compact subsets of ${\mathrm{GHE}}_{\mathrm{IV}}$. From Lemma 11, this implies that $\parallel {}_{\psi }C_{\varphi }{f}_i{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\to 0$. Hence, we conclude that

$$\begin{array}{cc}\hfill 0\leftarrow & \parallel {}_{\psi }C_{\varphi }{f}_i{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\hfill \\ \hfill & =\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )|(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\hfill \\ \hfill & \times |ln{\displaystyle \frac{2q}{{(1+z_{\varphi }{z}_{\varphi }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z_{\varphi }{\overline{{\omega }^i}}^{\prime })}^k-{⟨{\zeta }_{\varphi },{\upsilon }^i⟩}_{\phi }}}{|}^2\hfill \\ \hfill & \ge [(1+|z^i{z}^{i^{\prime }}{|}^2-2|z^i{|}^2{)}^k-{\parallel {\zeta }^i\parallel }_{\phi }^2{]}^{\beta }|\psi (z^i,{\zeta }^i)|(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times {\left\{ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}\right\}}^{-1}\times |ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}{|}^2\hfill \\ \hfill & =|\psi (z^i,{\zeta }^i)|[(1+|z^i{z}^{i^{\prime }}{|}^2-2|z^i{|}^2{)}^k-{\parallel {\zeta }^i\parallel }_{\phi }^2{]}^{\beta }(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^{1-k}\hfill \\ \hfill & \times ln{\displaystyle \frac{2q}{(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2}}.\hfill \end{array}$$

□

Theorem 4.

Assume $\alpha >1$, $\beta >0$, $0<k\le {\displaystyle \frac{1}{2}}$ and that $q_j$$(j=1,2,\cdots ,r)$ are some positive integers. Let $\varphi =({\varphi }_1,{\varphi }_2,\cdots ,{\varphi }_{n+r})$ be a holomorphic self-map of ${\mathrm{GHE}}_{\mathrm{IV}}$, with $\psi \in H({\mathrm{GHE}}_{\mathrm{IV}})$, $(z_{\varphi },{\zeta }_{\varphi })=\varphi (z,\zeta )$. If $\psi \in {\mathcal{A}}_{(\beta ,k)}$ and

$$\underset{\varphi (z,\zeta )\to \partial {\mathrm{GHE}}_{\mathrm{IV}}}{lim}{\displaystyle \frac{|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -1}}}=0,$$

(21)

then the weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact.

Conversely, if the weighted composition operator ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact, then $\psi \in {\mathcal{A}}_{(\beta ,k)}$ and

$$\underset{\varphi (z,\zeta )\to \partial {\mathrm{GHE}}_{\mathrm{IV}}}{lim}{\displaystyle \frac{|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{{)}^k-{\parallel \zeta \parallel }_{\phi }^2]}^{\beta }}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -\frac{1}{k}}}}=0.$$

(22)

Proof. 

Assume that (21) holds. We have

$$\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}{\displaystyle \frac{|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -1}}}<\infty .$$

From Theorem 2, we have that ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded. Let ${\left\{f_k\right\}}_{k\ge 1}$ be a bounded sequence in ${\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ with $\left\{f_k\right\}$ that converges to 0 uniformly on compact subsets of ${\mathrm{GHE}}_{\mathrm{IV}}$. There exists ${\theta }_2>0$, such that $\parallel f_k{\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}\le {\theta }_2,k=1,2,\cdots$. From (21) and for any $\epsilon >0$, there is a constant $\delta \in (0,1)$ for $\mathrm{dist}(\varphi (z,\zeta ),\partial {\mathrm{GHE}}_{\mathrm{IV}})<\delta$, such that

$${\displaystyle \frac{|\psi (z,\zeta )|[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -1}}}<\epsilon .$$

(23)

From Lemma 10, we have

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }{f}_k)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )·(C_{\varphi }{f}_k)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )||f_k(\varphi (z,\zeta ))|\hfill \\ \hfill & \le C|\psi (z,\zeta )|\parallel f_k{\parallel }_{{\mathcal{B}}^{(\alpha ,k)}}{\displaystyle \frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }}{[(1+|z_{\varphi }{z}_{\varphi }^{\prime }{|}^2-2|z_{\varphi }{|}^2{)}^k-\parallel {\zeta }_{\varphi }{{\parallel }_{\phi }^2]}^{\alpha -1}}}\hfill \\ \hfill & \le C{\theta }_2\epsilon .\hfill \end{array}$$

(24)

On the other hand, if we set

$$E_{\delta }:=\{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}:\mathrm{dist}(\varphi (z,\zeta ),\partial {\mathrm{GHE}}_{\mathrm{IV}})\ge \delta \},$$

we have that $E_{\delta }$ is a compact subset of ${\mathrm{GHE}}_{\mathrm{IV}}$. For $\epsilon$ defined in (23), $\left\{f_k\right\}$ converges to 0 uniformly on any compact subset of ${\mathrm{GHE}}_{\mathrm{IV}}$. For $\psi \in {\mathcal{A}}_{(\beta ,k)}$, we have

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }{f}_k)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )·(C_{\varphi }{f}_k)(z,\zeta )|\hfill \\ \hfill & =[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )||f_k(\varphi (z,\zeta ))|\hfill \\ \hfill & \le {\parallel \psi \parallel }_{{\mathcal{A}}_{(\beta ,k)}}\epsilon .\hfill \end{array}$$

(25)

According to inequalities (24) and (25), we see that

$$\parallel {}_{\psi }C_{\varphi }{f}_k{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}=\underset{(z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }{f}_k)(z,\zeta )|\to 0,k\to \infty .$$

Consequently, from Lemma 11, ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact.

Conversely, suppose that ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is compact. Then, ${}_{\psi }C_{\varphi }:{\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})\to {\mathcal{A}}_{(\beta ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$ is bounded. Letting $f\equiv 1$, we obtain

$$[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )|=[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|({}_{\psi }C_{\varphi }f)(z,\zeta )|<\infty .$$

This shows that $\psi \in {\mathcal{A}}_{(\beta ,k)}.$ Consider now a sequence $({\omega }^i,{\upsilon }^i)=\varphi (z^i,{\zeta }^i)$ in ${\mathrm{GHE}}_{\mathrm{IV}}$, such that $\varphi (z^i,{\zeta }^i)\to \partial {\mathrm{GHE}}_{\mathrm{IV}}$ as $i\to \infty$. If such a sequence does not exist, then condition (22) obviously holds.

Moreover, let us introduce a sequence of test functions ${\left\{f_i\right\}}_{i\ge 1}$:

$$\begin{array}{c}\hfill f_i(z,\zeta ):={\displaystyle \frac{[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{{[{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }]}^{2\alpha -1}}},i=1,2,\cdots .\end{array}$$

Differentiation gives

$$\begin{array}{ccc}\hfill {\displaystyle \frac{\partial f_i}{\partial z_l}}& =& {\displaystyle \frac{(2\alpha -1)k[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{{[{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }]}^{2\alpha }}}\hfill \\ & & \times {(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^{k-1}(2{\overline{{\omega }_l^i}}^{\prime }-2z_l\overline{{\omega }^i{\omega }^{i^{\prime }}}),l=1,\cdots ,n.\hfill \\ \hfill {\displaystyle \frac{\partial f_i}{\partial {\zeta }_j}}& =& {\displaystyle \frac{(2\alpha -1)q_j{\zeta }_j^{q_j-1}{\overline{t_j}}^{q_j}[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{{[{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }]}^{2\alpha }}},\hfill \\ & & j=1,\cdots ,r,i=1,2,\cdots .\hfill \end{array}$$

It follows that there exists a constant $C_7>0$, such that

$$\begin{array}{cc}\hfill & [(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }|\nabla f_i(z,\zeta )|\hfill \\ \hfill & ={\displaystyle \frac{(2\alpha -1)[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }{|}^{2\alpha }}}\hfill \\ \hfill & \times {\left\{k^2|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^{k-1}{|}^2\times \sum _{l=1}^n|2{\overline{{\omega }_l^i}}^{\prime }-2z_l\overline{{\omega }^i{\omega }^{i^{\prime }}}{|}^2+\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{q_j}|}^2\right\}}^{{\displaystyle \frac{1}{2}}}\hfill \\ \hfill & \le {\displaystyle \frac{(2\alpha -1)[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\alpha }}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }{|}^{2\alpha }}}\hfill \\ \hfill & \times \{k|(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime }){|}^{k-1}\times [(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{{\displaystyle \frac{1}{k}}-1}\hfill \\ \hfill & \times |2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|+{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{\prime q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times [(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{{\displaystyle \frac{1}{k}}-1}\}\hfill \\ & \le {\displaystyle \frac{(2\alpha -1)[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\alpha }}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }{|}^{2\alpha }}}\hfill \\ \hfill & \times \{k|(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime }){|}^{k-1}[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{)}^k{]}^{{\displaystyle \frac{1}{k}}-1}\times |2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|\hfill \\ \hfill & +{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{\prime q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times [(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{{\displaystyle \frac{1}{k}}-1}\}.\hfill \end{array}$$

By the elementary inequality ${\displaystyle \frac{a+b}{2}}\ge \sqrt{ab}$ and Lemma 9, we have

$$\begin{array}{cc}\hfill & {\displaystyle \frac{(2\alpha -1)[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\alpha }[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\alpha }}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }{|}^{2\alpha }}}\hfill \\ \hfill & \times \{k|(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime }){|}^{k-1}[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{)}^k{]}^{{\displaystyle \frac{1}{k}}-1}\times |2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|\hfill \\ \hfill & +{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{\prime q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times [(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{{\displaystyle \frac{1}{k}}-1}\}\hfill \\ \hfill & \le {\displaystyle \frac{(2\alpha -1){\left\{\frac{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2]+[(1+|\omega {\omega }^{\prime }{|}^2-{2|\omega |}^2{)}^k-{\parallel \upsilon \parallel }_{\phi }^2]}{2}\right\}}^{2\alpha }}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }{|}^{2\alpha }}}\hfill \\ \hfill & \times \{k|(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime }){|}^{k-1}(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{)}^{1-k}\times |2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|\hfill \\ \hfill & +{\left[\sum _{j=1}^r{|q_j{\zeta }_j^{q_j-1}{\overline{{\upsilon }_j}}^{\prime q_j}|}^2\right]}^{{\displaystyle \frac{1}{2}}}\times [(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{{\displaystyle \frac{1}{k}}-1}\}\hfill \\ \hfill & \le (2\alpha -1){\displaystyle \frac{||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }{|}^{2\alpha }}{||{(1+z{z}^{\prime }\overline{\omega {\omega }^{\prime }}-2z{\overline{\omega }}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }{\parallel \upsilon \parallel }_{\phi }{|}^{2\alpha }}}\hfill \\ \hfill & \times \left\{k·4^{(1-k)}\times |2{\overline{{\omega }^i}}^{\prime }-2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|+C_7\right\}\hfill \\ \hfill & \le (2\alpha -1)\times \left\{k·4^{(1-k)}\times (|2{\overline{{\omega }^i}}^{\prime }|+|2z\overline{{\omega }^i{\omega }^{i^{\prime }}}|)+C_7\right\}\hfill \\ \hfill & \le C^{\prime \prime }.\hfill \end{array}$$

This shows that $f_i\in {\mathcal{B}}^{(\alpha ,k)}({\mathrm{GHE}}_{\mathrm{IV}})$, $i=1,2,\cdots$ and

$$\begin{array}{cc}\hfill |f_i(z,\zeta )|& ={\displaystyle \frac{[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k-{⟨\zeta ,{\upsilon }^i⟩}_{\phi }{|}^{2\alpha -1}}}\hfill \\ \hfill & \le {\displaystyle \frac{[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{||{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k|-|{⟨\zeta ,{\upsilon }^i⟩}_{\phi }{||}^{2\alpha -1}}}\hfill \\ & \le {\displaystyle \frac{[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{|{(1+z{z}^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z{\overline{{\omega }^i}}^{\prime })}^k{|-\parallel \zeta \parallel }_{\phi }\parallel {\upsilon }^i{{\parallel }_{\phi }|}^{2\alpha -1}}}\hfill \\ & \le {\displaystyle \frac{2^{2\alpha -1}[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2+(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{2\alpha -1}}}\hfill \\ & \le {\displaystyle \frac{2^{2\alpha -1}[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{2\alpha -1}}}.\hfill \end{array}$$

Taking $i\to \infty$, we have $({\omega }^i,{\upsilon }^i)\to \partial {\mathrm{GHE}}_{\mathrm{IV}}$. This implies that $(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{{|}^2)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2\to 0$. If E is a compact subset of ${\mathrm{GHE}}_{\mathrm{IV}}$, for $(z,\zeta )\in E$, we have that $(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2$ has a positive lower bound. Thus, we have $f_i(z,\zeta )\rightrightarrows 0,i\to \infty$ on all compact subsets of ${\mathrm{GHE}}_{\mathrm{IV}}$. According to Lemma 11, we have that $\parallel {}_{\psi }C_{\varphi }{f}_i{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\to 0$. Hence,

$$\begin{array}{cc}\hfill 0\leftarrow & \parallel {}_{\psi }C_{\varphi }{f}_i{\parallel }_{{\mathcal{A}}_{(\beta ,k)}}\hfill \\ \hfill & =\underset{\varphi (z,\zeta )\in {\mathrm{GHE}}_{\mathrm{IV}}}{sup}[(1+|z{z}^{\prime }{|}^2-{2|z|}^2{)}^k-{\parallel \zeta \parallel }_{\phi }^2{]}^{\beta }|\psi (z,\zeta )|\hfill \\ & \times {\displaystyle \frac{[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{|{(1+z_{\varphi }{z}_{\varphi }^{\prime }\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z_{\varphi }{\overline{{\omega }^i}}^{\prime })}^k-{⟨{\zeta }_{\varphi },{\upsilon }^i⟩}_{\phi }{|}^{2\alpha -1}}}\hfill \\ \hfill & \ge \psi (z^i,{\zeta }^i)[(1+|z^i{z}^{i^{\prime }}{|}^2-2|z^i{|}^2{)}^k-\parallel {\zeta }^i{{\parallel }_{\phi }^2]}^{\beta }\hfill \\ \hfill & \times {\displaystyle \frac{[(1+|{\omega }^i{\omega }^{i^{\prime }}{|}^2-2|{\omega }^i{|}^2{{)}^k-{\parallel {\upsilon }^i\parallel }_{\phi }^2]}^{\frac{1}{k}-1+\alpha }}{|{(1+z_{\varphi }^i{z}_{\varphi }^{i^{\prime }}\overline{{\omega }^i{\omega }^{i^{\prime }}}-2z_{\varphi }^i{\overline{{\omega }^i}}^{\prime })}^k-{⟨{\zeta }_{\varphi },{\upsilon }^i⟩}_{\phi }{|}^{2\alpha -1}}}\hfill \\ \hfill & =[(1+|z^i{z}^{i^{\prime }}{|}^2-2|z^i{|}^2{)}^k-\parallel {\zeta }^i{{\parallel }_{\phi }^2]}^{\beta }{\displaystyle \frac{\psi (z^i,{\zeta }^i)}{[(1+|z_{\varphi }^i{z}_{\varphi }^{i^{\prime }}{|}^2-2|z_{\varphi }^i{|}^2{)}^k-\parallel {\zeta }_{\varphi }^i{{\parallel }_{\phi }^2]}^{\alpha -\frac{1}{k}}}}.\hfill \end{array}$$

□