Boundedness and Essential Norm of an Operator between Weighted-Type Spaces of Holomorphic Functions on a Unit Ball

Abstract

The boundedness of a sum-type operator between weighted-type spaces is characterized and its essential norm is estimated.

1. Introduction

By ${\mathbb{N}}_k$, where $k\in \mathbb{Z}$, we denote the set $\{n\in \mathbb{Z}:n\ge k\}.$ Let $B(a,r)=\{z\in {\mathbb{C}}^n:|z-a|<r\}$, where $a\in {\mathbb{C}}^n$, $r\ge 0$, $\left|z\right|=\sqrt{⟨z,z⟩}$ and $⟨z,w⟩={\sum }_{j=1}^n{z}_j\overline{w_j}$, $z,w\in {\mathbb{C}}^n$. Further, let $\mathbb{B}=B(0,1)$, $\mathbb{S}=\partial \mathbb{B}$, $dV\left(z\right)$ be the n-dimensional Lebesgue measure on $\mathbb{B}$, $H\left(\mathbb{B}\right)$ be the space of holomorphic functions on $\mathbb{B}$ and $S\left(\mathbb{B}\right)$ be the family of holomorphic self-maps of $\mathbb{B}$. For some basics on the functions in $H\left(\mathbb{B}\right)$, consult, e.g., [1]. For some other presentations of the theory, see also [2,3]. If $f\in C\left(\mathbb{B}\right)$ and $f\left(z\right)\ge 0$, $z\in \mathbb{B}$, then we call it a weight function and write $f\in W\left(\mathbb{B}\right)$. $\mu \in W\left(\mathbb{B}\right)$ is radial if $\mu \left(z\right)=\mu \left(\right|z\left|\right)$, $z\in \mathbb{B}$. If $\mu \in W\left(\mathbb{B}\right)$ is radial and non-increasing in $\left|z\right|$, and ${lim}_{\left|z\right|\to 1}\mu \left(z\right)=0,$ then it is typical. If X is a normed space, then $B_X={\{x:\parallel x\parallel }_X\le 1\}$.

Let X and Y be two normed spaces. A linear operator $T:X\to Y$ is bounded if there is $C\ge 0$ such that ${\parallel Tf\parallel }_Y\le C{\parallel f\parallel }_X,$$f\in X$, and we write $T\in L(X,Y)$. The operator is compact if it maps bounded sets into relatively compact ones ([4,5,6,7]), and we write $T\in \mathcal{K}(X,Y)$. The essential norm of $T\in L(X,Y)$ is

$${\parallel T\parallel }_{e,X\to Y}={inf\{\parallel T+K\parallel }_{X\to Y}:K\in \mathcal{K}(X,Y)\}.$$

If $\mu \in W\left(\mathbb{B}\right)$, then the space of $f\in H\left(\mathbb{B}\right)$, such that

$${\parallel f\parallel }_{H_{\mu }^{\infty }}=\underset{z\in \mathbb{B}}{sup}\mu \left(z\right)\left|f\left(z\right)\right|<+\infty ,$$

is the weighted-type space $H_{\mu }^{\infty }\left(\mathbb{B}\right)=H_{\mu }^{\infty }$. The little weighted-type space $H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)=H_{\mu ,0}^{\infty }$ contains $f\in H\left(\mathbb{B}\right)$ such that ${lim}_{\left|z\right|\to 1}\mu \left(z\right)\left|f\left(z\right)\right|=0.$ For some information on these function spaces see, e.g., [8,9,10,11,12,13,14]. For several technical and theoretical reasons, these spaces are suitable choices for studying concrete linear operators from or to them.

Each $\phi \in S\left(\mathbb{B}\right)$ induces the composition operator $C_{\phi }f\left(z\right)=f\left(\phi \left(z\right)\right)$. Each $u\in H\left(\mathbb{B}\right)$ induces the multiplication operator $M_{u}f\left(z\right)=u\left(z\right)f\left(z\right)$. The radial derivative of $f\in H\left(\mathbb{B}\right)$ is $\Re f\left(z\right)={\sum }_{j=1}^n{z}_j{D}_{j}f\left(z\right),$ where $D_{j}f\left(z\right)=\frac{\partial f}{\partial z_j}\left(z\right),$$j=\overline{1,n}.$ If $n=1$, then $D_{1}f:=Df=f^{\prime }$, where by $D^{k}f$ we denote the differentiation operator of the kth order $f^{\left(k\right)}$ (for $k=0$, the identity operator is obtained).

There has been some interest in these operators, integral-type operators (for some of them see, e.g., [14,15,16]), and their products. Besides the products of $C_{\phi }$ and $M_u$, there have been some investigations into the products of D and $C_{\phi }$. One of the first papers on these products was [17], where $D\circ C_{\phi }$ between Bergman and Hardy spaces was studied. Ohno in [18] studied the products between Hardy spaces. S. Li and S. Stević then studied the operators between various spaces (see, e.g., [19], where we studied the products from $H^{\infty }$ and the Bloch space to nth weighted-type spaces, and the related references therein). For some later investigations of the operators see, e.g., [20,21,22]. The operator $D\circ M_u$ on Bloch-type spaces was studied in [23].

Motivated by the above-mentioned product-type operators, researchers started investigating some more complex operators. The operator $D_{\phi ,u}^m:=M_u{C}_{\phi }{D}^m$ is a natural generalization of the product $C_{\phi }D$ and has been investigated in depth. One of the first studies of the operator was conducted in [24]. Zhu studied the operator from Bergman-type spaces to some weighted-type spaces. The research was continued in [25], where the operator from Bloch-type spaces to weighted Bergman spaces was studied, and in [26], where the operator on weighted Bergman spaces was studied. In several papers, we have studied the operator between various spaces of holomorphic functions (see [27], where we studied the operator from the mixed-norm space to the nth weighted-type space, and the related references therein). For some later studies of the operator, see, e.g., [28,29,30,31,32,33]. The operator ${\Re }_{u,\phi }^m=M_u{C}_{\phi }{\Re }^m$, which is an n-dimensional variant of $D_{\phi ,u}^m$, was introduced in [34] (see also [35]).

The sum $M_u{C}_{\phi }+M_u{C}_{\phi }D$ was studied first in [36], whereas the sum $M_u{C}_{\phi }{D}^n+M_u{C}_{\phi }{D}^{n+1}$ for an arbitrary $n\in {\mathbb{N}}_0$ was studied in [37]. For some other studies of these and related operators, see, e.g., [38,39,40,41,42,43].

Motivated, among others, by the investigations in [34,35,36,37,43], S. Stević introduced several sums of operators, including the following:

$$\begin{array}{c}\hfill {\mathfrak{S}}_{\overrightarrow{u},\phi }^m=\sum _{j=1}^m{M}_{u_j}{C}_{\phi }{\Re }^j=\sum _{j=1}^m{\Re }_{u_j,\phi }^j,\end{array}$$

(1)

where $m\in \mathbb{N}$, $u_j\in H\left(\mathbb{B}\right)$, $j=\overline{1,m}$, and $\phi \in S\left(\mathbb{B}\right)$, and investigated them, e.g., in [44,45].

For some other concrete operators, see, for example, [46,47,48,49,50,51,52,53]. Some of them are product-type operators containing an integral-type operator. In [50], the products of integral-type operators and $C_{\phi }$ from a mixed norm space to Bloch-type spaces were studied. Another product-type operator, which includes an integral-type operator, acting from $Q_k(p,q)$ to $\alpha$-Bloch spaces, was studied in [48].

Here, we continue our research in [27,34,36,37,44,45] by studying the boundedness and compactness and estimating the essential norm of the operators ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m$ acting between weighted-type spaces of holomorphic functions.

By C we denote some positive constants. If we write $a\lesssim b$ (respectively, $a\gtrsim b$), then there is $C>0$ such that $a\le Cb$ (respectively, $a\ge Cb$). If $a\lesssim b$ and $b\lesssim a$, then we write $a\asymp b$.

2. Auxiliary Results

Lemma 1.

Let $m\in \mathbb{N}$, $\mu \in W\left(\mathbb{B}\right)$ and

$$\begin{array}{c}\hfill \frac{\mu \left(z\right)}{\mu \left(w\right)}\le C_r<+\infty ,\end{array}$$

(2)

for $z,w\in \mathbb{B}$, such that $|z-w|<r(1-|z\left|\right)$ for some $r\in (0,1).$ Then,

$$\begin{array}{c}\hfill \left|{\Re }^{m}f\left(z\right)\right|\lesssim \frac{\left|z\right|}{{(1-|z\left|\right)}^m\mu \left(z\right)}{\parallel f\parallel }_{H_{\mu }^{\infty }},\end{array}$$

(3)

for $f\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$ and $z\in \mathbb{B}$.

Proof. 

For any fixed $r\in (0,1)$, the Cauchy–Schwarz and Cauchy inequalities imply

$$|\Re f\left(z\right)|\lesssim \frac{\left|z\right|}{1-\left|z\right|}\underset{w\in B(z,r(1-\left|z\right|\left)\right)}{sup}\left|f\left(w\right)\right|$$

(4)

for $z\in \mathbb{B}$ and $f\in H\left(\mathbb{B}\right)$. From (2), we have

$$\left|f\left(w\right)\right|\le {\displaystyle \frac{C_r}{\mu \left(z\right)}}\mu \left(w\right)\left|f\left(w\right)\right|\le \frac{C_r}{\mu \left(z\right)}{\parallel f\parallel }_{H_{\mu }^{\infty }}$$

for each $w\in B(z,r(1-\left|z\right|\left)\right)$. By the above two inequalities, we have

$$|\Re f\left(z\right)|\lesssim \frac{\left|z\right|}{(1-|z\left|\right)\mu \left(z\right)}{\parallel f\parallel }_{H_{\mu }^{\infty }},$$

that is, (3) holds when $m=1$.

Next, assume that for $k\in {\mathbb{N}}_2$,

$$\left|{\Re }^{k-1}f\left(z\right)\right|\lesssim {\displaystyle \frac{\left|z\right|}{{(1-|z\left|\right)}^{k-1}\mu \left(z\right)}}{\parallel f\parallel }_{H_{\mu }^{\infty }},$$

(5)

for every $f\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$ and $z\in \mathbb{B}$.

If we replace f by ${\Re }^{k-1}f$ in (4), then we obtain

$$|{\Re }^{k}f\left(z\right)|\lesssim {\displaystyle \frac{\left|z\right|}{1-\left|z\right|}}\underset{w\in B(z,r(1-\left|z\right|\left)\right)}{sup}\left|{\Re }^{k-1}f\left(w\right)\right|.$$

Since it holds that

$${\displaystyle \frac{1}{\mu \left(w\right)}}\le {\displaystyle \frac{C_r}{\mu \left(z\right)}}\mathrm{and}1-\left|w\right|>(1-r)(1-\left|z\right|)$$

for each $w\in B(z,r(1-\left|z\right|\left)\right)$, (5) implies

$$\begin{array}{cc}\hfill \underset{w\in B(z,r(1-\left|z\right|\left)\right)}{sup}\left|{\Re }^{k-1}f\left(w\right)\right|& \lesssim \underset{w\in B(z,r(1-\left|z\right|\left)\right)}{sup}{\displaystyle \frac{\left|w\right|}{{(1-|w\left|\right)}^{k-1}\mu \left(w\right)}}{\parallel f\parallel }_{H_{\mu }^{\infty }}\hfill \\ \hfill & \lesssim {\displaystyle \frac{C_r}{{(1-r)}^{k-1}}}{\displaystyle \frac{1}{{(1-|z\left|\right)}^{k-1}\mu \left(z\right)}}{\parallel f\parallel }_{H_{\mu }^{\infty }}.\hfill \end{array}$$

Thus,

$$\left|{\Re }^{k}f\left(z\right)\right|\lesssim {\displaystyle \frac{\left|z\right|}{{(1-|z\left|\right)}^k\mu \left(z\right)}}{\parallel f\parallel }_{H_{\mu }^{\infty }},$$

from which (3) holds for each $m\in \mathbb{N}$. □

Lemma 2.

Let $w\in \mathbb{B}$ and μ be a typical weight such that

$$\begin{array}{c}\hfill \frac{\mu \left(r\right)}{{(1-r)}^{\alpha }}\le C\frac{\mu \left(\rho \right)}{{(1-\rho )}^{\alpha }},\end{array}$$

(6)

for $\delta \le r\le \rho <1$ and some $\delta \in (0,1)$, $\alpha >0$ and $C>0$. Then, for $w\in \mathbb{B}$ and $k\in {\mathbb{N}}_0$, the function

$$\begin{array}{c}\hfill f_{w,k}^{\alpha }\left(z\right)=\frac{{(1-|w|}^2{)}^{\alpha +k}}{{(1-⟨z,w⟩)}^{\alpha +k}\mu \left(w\right)},\end{array}$$

(7)

belongs to $H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$.

Moreover, we have

$$\begin{array}{c}\hfill \underset{w\in \mathbb{B}}{sup}{\parallel f_{w,k}^{\alpha }\parallel }_{H_{\mu }^{\infty }}\lesssim 1.\end{array}$$

(8)

Proof. 

We have

$$\begin{array}{cc}\hfill \mu \left(z\right)|f_{w,k}^{\alpha }\left(z\right)|& =\frac{{(1-|w|}^2{)}^{\alpha +k}\mu \left(z\right)}{{|1-⟨z,w⟩|}^{\alpha +k}\mu \left(w\right)}\le \frac{{(1-|w|}^2{)}^{\alpha +k}\mu \left(z\right)}{{(1-|z\left|\right|w\left|\right)}^{\alpha +k}\mu \left(w\right)}\le 2^{\alpha +k}\frac{\mu \left(z\right)}{\mu \left(w\right)}\hfill \end{array}$$

(9)

$$\begin{array}{cc}\hfill & \le 2^{\alpha +k}\frac{\mu \left(0\right)}{\mu \left(w\right)}\hfill \end{array}$$

(10)

for $z\in \mathbb{B},$ which implies $f_{w,k}^{\alpha }\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$ for each $w\in \mathbb{B}$. From (9) and since ${lim}_{\left|z\right|\to 1}\mu \left(z\right)=0,$ we obtain $f_{w,k}^{\alpha }\in H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$.

From (10) and since $\mu$ is radial and non-increasing, it follows that

$$\begin{array}{c}\hfill \parallel f_{w,k}^{\alpha }{\parallel }_{H_{\mu }^{\infty }}\le 2^{\alpha +k}\frac{\mu \left(0\right)}{\mu \left(\delta \right)}\end{array}$$

(11)

for $\left|w\right|\le \delta .$

Now, assume that $\delta \le \left|w\right|<1$. Since $\mu$ is radial and non-increasing and (6) holds, we get

$$\begin{array}{cc}\hfill \mu \left(z\right)|f_{w,k}^{\alpha }\left(z\right)|\le & \frac{{(1-|w|}^2{)}^{\alpha +k}\mu \left(z\right)}{{(1-|z\left|\right|w\left|\right)}^{\alpha +k}\mu \left(w\right)}\hfill \\ \hfill =& \frac{\mu \left(\right|z\left|\right)}{\mu \left(\right|w\left|\right|z\left|\right)}·\frac{{(1-|w|}^2{)}^k}{{(1-|z\left|\right|w\left|\right)}^k}·\frac{{(1-|w|}^2{)}^{\alpha }\mu \left(\right|w\left|\right|z\left|\right)}{{(1-|z\left|\right|w\left|\right)}^{\alpha }\mu \left(\right|w\left|\right)}\le 2^{k+\alpha }C,\hfill \end{array}$$

(12)

when $\left|w\right|\left|z\right|\ge \delta$.

If $\delta \le \left|w\right|<1$ and $\left|w\right|\left|z\right|<\delta$, then we have

$$\begin{array}{cc}\hfill \mu \left(z\right)|f_{w,k}^{\alpha }\left(z\right)|\le & \frac{\mu \left(\right|z\left|\right)}{\mu \left(\right|w\left|\right|z\left|\right)}·\frac{{(1-|w|}^2{)}^k}{{(1-|z\left|\right|w\left|\right)}^k}·\frac{{(1-|w|}^2{)}^{\alpha }\mu \left(\right|w\left|\right|z\left|\right)}{{(1-|z\left|\right|w\left|\right)}^{\alpha }\mu \left(\right|w\left|\right)}\hfill \\ \hfill \le & \frac{2^{k+\alpha }\mu \left(0\right)}{{(1-\delta )}^{\alpha }}\frac{{(1-|w\left|\right)}^{\alpha }}{\mu \left(\right|w\left|\right)}\le \frac{C{2}^{k+\alpha }\mu \left(0\right)}{\mu \left(\delta \right)},\hfill \end{array}$$

(13)

From (12) and (13), we have

$$\begin{array}{c}\hfill \parallel f_{w,k}^{\alpha }{\parallel }_{H_{\mu }^{\infty }}\le \frac{C{2}^{k+\alpha }\mu \left(0\right)}{\mu \left(\delta \right)}\end{array}$$

(14)

for $\delta \le \left|w\right|<1.$

From (11) and (14), relation (8) follows. □

Remark 1.

If

$$\begin{array}{c}\hfill \underset{r\to 1-0}{lim}\frac{\mu \left(r\right)}{{(1-r)}^{\alpha +k}}=+\infty \end{array}$$

(15)

then $f_{w,k}^{\alpha }\to 0$ as $\left|w\right|\to 1$ uniformly on compacts of $\mathbb{B}$.

For our next lemma, see [34,35].

Lemma 3.

Let $s\ge 0$, $w\in \mathbb{B}$, and $g_{w,s}\left(z\right)={(1-⟨z,w⟩)}^{-s}.$ Then,

$$\begin{array}{c}\hfill {\Re }^k{g}_{w,s}\left(z\right)=s\frac{P_k\left(⟨z,w⟩\right)}{{(1-⟨z,w⟩)}^{s+k}},\end{array}$$

(16)

where $P_k\left(w\right)=s^{k-1}{w}^k+p_{k-1}^{\left(k\right)}\left(s\right)w^{k-1}+\cdots +p_2^{\left(k\right)}\left(s\right)w^2+w,$ and where $p_j^{\left(k\right)}\left(s\right)$, $j=\overline{2,k-1}$, are non-negative polynomials for $s>0$.

$$\begin{array}{c}\hfill {\Re }^k{g}_{w,s}\left(z\right)=\sum _{t=1}^k{a}_t^{\left(k\right)}\left(\prod _{j=0}^{t-1}(s+j)\right)\frac{{⟨z,w⟩}^t}{{(1-⟨z,w⟩)}^{s+t}},\end{array}$$

(17)

where $\left(a_t^{\left(k\right)}\right)$, $t=\overline{1,k}$, $k\in \mathbb{N},$ are defined as

$$\begin{array}{c}\hfill a_1^{\left(k\right)}=a_k^{\left(k\right)}=1,k\in \mathbb{N};\end{array}$$

(18)

and for $2\le t\le k-1,$$k\ge 3$,

$$\begin{array}{c}\hfill a_t^{\left(k\right)}=t{a}_t^{(k-1)}+a_{t-1}^{(k-1)}.\end{array}$$

(19)

Lemma 4.

Assume $\mu \in W\left(\mathbb{B}\right)$ satisfies condition (6), where $\alpha >0$, $m\in \mathbb{N}$, $w\in \mathbb{B}$, $f_{w,t}^{\alpha }$ is defined in (7), and ${\left(a_t^{\left(k\right)}\right)}_{t=\overline{1,k}}$, $k=\overline{1,m}$, are defined in (18) and (19). Then, for each $l\in \{1,\dots ,m\}$, there is

$$\begin{array}{c}\hfill h_w^{\left(l\right)}\left(z\right)=\sum _{k=0}^m{c}_k^{\left(l\right)}{f}_{w,k}^{\alpha }\left(z\right)\end{array}$$

(20)

where $c_k^{\left(l\right)}$, $k=\overline{0,m}$, are numbers such that

$${\Re }^j{h}_w^{\left(l\right)}\left(w\right)=0,0\le j<l,$$

(21)

$${\Re }^j{h}_w^{\left(l\right)}\left(w\right)=a_l^{\left(j\right)}\frac{{\left|w\right|}^{2l}}{{(1-|w|}^2{)}^l\mu \left(w\right)},l\le j\le m,$$

(22)

hold. Moreover, we have ${sup}_{w\in \mathbb{B}}{\parallel h_w^{\left(l\right)}\parallel }_{H_{\mu }^{\infty }}<+\infty .$

Proof. 

Let $d_k=\alpha +k$, $k\in {\mathbb{N}}_0$. Replace the constants $c_k^{\left(l\right)}$ in (20) by $c_k$. Then, from (17), we get

$$\begin{array}{cc}\hfill h_w^{\left(l\right)}\left(w\right)& =\frac{c_0+c_1+\cdots +c_m}{\mu \left(w\right)},\hfill \\ \hfill \Re h_w^{\left(l\right)}\left(w\right)& =\frac{(d_0{c}_0+d_1{c}_1+\cdots +d_m{c}_m){\left|w\right|}^2}{(1-|w{|}^2)\mu \left(w\right)},\hfill \\ \hfill & ⋮\hfill \\ \hfill {\Re }^m{h}_w^{\left(l\right)}\left(w\right)& =a_1^{\left(m\right)}\frac{(d_0{c}_0+d_1{c}_1+\cdots +d_m{c}_m){\left|w\right|}^2}{(1-|w{|}^2)\mu \left(w\right)}+\cdots \hfill \\ \hfill & +a_l^{\left(m\right)}\frac{(d_0\cdots d_{l-1}{c}_0+d_1\cdots d_l{c}_1+\cdots +d_m\cdots d_{m+l-1}{c}_m){\left|w\right|}^{2l}}{{(1-|w|}^2{)}^l\mu \left(w\right)}+\cdots \hfill \\ \hfill & +a_m^{\left(m\right)}\frac{(d_0\cdots d_{m-1}{c}_0+d_1\cdots d_m{c}_1+\cdots +d_m\cdots d_{2m-1}{c}_m){\left|w\right|}^{2m}}{{(1-|w|}^2{)}^m\mu \left(w\right)}.\hfill \end{array}$$

(23)

Lemma 2.5 in [19] shows that the determinant of the system,

$$\left[\begin{array}{cccc}{\displaystyle 1}& {\displaystyle 1}& \cdots & {\displaystyle 1}\\ {\displaystyle d_0}& {\displaystyle d_1}& \cdots & {\displaystyle d_m}\\ {\displaystyle ⋮}& ⋮& & ⋮\\ {\displaystyle \prod _{k=0}^l{d}_k}& {\displaystyle \prod _{k=0}^l{d}_{k+1}}& \cdots & {\displaystyle \prod _{k=0}^l{d}_{m+k}}\\ {\displaystyle ⋮}& ⋮& & ⋮\\ {\displaystyle \prod _{k=0}^{m-1}{d}_k}& {\displaystyle \prod _{k=0}^{m-1}{d}_{k+1}}& \cdots & {\displaystyle \prod _{k=0}^{m-1}{d}_{m+k}}\end{array}\right]\left[\begin{array}{c}{c}_0\\ c_1\\ \\ \\ ⋮\\ \\ \\ \\ c_m\end{array}\right]=\left[\begin{array}{c}0\\ 0\\ ⋮\\ 0\\ 1\\ 0\\ ⋮\\ 0\end{array}\right],$$

(24)

is not equal to zero. This implies that there is a unique solution $c_k=c_k^{\left(l\right)}$, $k=\overline{0,m},$ to (24). For these $c_k$ values, (20) satisfies (21) and (22). Finally, Lemma 2 implies ${sup}_{w\in \mathbb{B}}{\parallel h_w^{\left(l\right)}\parallel }_{H_{\mu }^{\infty }}<+\infty .$ □

The following lemma is well known as a characterization of the compactness of a closed set in the little weighted-type space. Its proof is a slight modification of the proof of Lemma 1 in [54]. Thus, we omit the proof.

Lemma 5.

A closed subset K of $H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is compact if and only if it is bounded and

$$\underset{\left|z\right|\to 1}{lim}\underset{f\in K}{sup}\nu \left(z\right)\left|f\left(z\right)\right|=0.$$

Lemma 6.

Let Y be a Banach space of holomorphic functions on $\mathbb{B}$ and μ be a typical weight function on $\mathbb{B}$. Then, $T:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to Y$ is compact if and only if it is weakly compact.

Proof. 

Let

$$N_1=\left\{g\in L^1\left(\mathbb{B}\right):{\int }_{\mathbb{B}}\mu \left(z\right)f\left(z\right)g\left(z\right)dV\left(z\right)=0\mathrm{for}\mathrm{every}f\in H_{\mu }^{\infty }\left(\mathbb{B}\right)\right\}.$$

Since ${\left(H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\right)}^{*}=L^1\left(\mathbb{B}\right)/N_1$ [8,13], the compactness of $T:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to Y$ is equivalent to the compactness of $T^{*}:Y^{*}\to L^1\left(\mathbb{B}\right)/N_1$. The space $L^1\left(\mathbb{B}\right)/N_1$ has the Schur property, so $T^{*}:Y^{*}\to L^1\left(\mathbb{B}\right)/N_1$ is weakly compact, which is equivalent to $T:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to Y$ being weakly compact. □

3. Boundedness

First, we consider the operator ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ for $\{\mu ,\nu \}\subset W\left(\mathbb{B}\right)$. To analyze ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m$, the growth condition for $|{\Re }^{m}f|$ in Lemma 1 and the functions $f_{w,k}^{\alpha }$ and $h_w^{\left(l\right)}$ defined in Lemmas 2 and 4, respectively, play an important role in our argument. The class of all typical weights satisfying conditions (2) and (6) is denoted by $W_1\left(\mathbb{B}\right)$.

Theorem 1.

Let $k\in \mathbb{N}$, $u\in H\left(\mathbb{B}\right)$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_1\left(\mathbb{B}\right)$ and $\nu \in W\left(\mathbb{B}\right)$. Then, ${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded if and only if

$$J_k:=\underset{z\in \mathbb{B}}{sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}<\infty .$$

(25)

Furthermore, if it is bounded, then we have

$$\parallel {\Re }_{u,\phi }^k{\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}\asymp J_k.$$

Proof. 

By Lemma 1, we have

$$\nu \left(z\right)|{\Re }_{u,\phi }^{k}f\left(z\right)|\lesssim {\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}{\parallel f\parallel }_{H_{\mu }^{\infty }}$$

for $z\in \mathbb{B}$ and $f\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$. By this inequality, we see that condition (25) implies ${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded and $\parallel {\Re }_{u,\phi }^k{\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}\lesssim J_k$.

Now, we assume that ${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded. For a fixed $w\in \mathbb{B}$, we put $G_w\left(z\right)=f_{\phi \left(w\right),1}^{\alpha }\left(z\right)$. Lemma 2 shows that $G_w\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$ and ${sup}_{w\in \mathbb{B}}{\parallel G_w\parallel }_{H_{\mu }^{\infty }}\lesssim 1$. By Lemma 3, we have

$${\Re }^k{G}_w\left(z\right)={\displaystyle \frac{{(1-|\phi \left(w\right)\left|\right)}^{\alpha +1}}{\mu \left(\phi \right(w\left)\right)}}{\displaystyle \frac{(\alpha +1)P_k\left(⟨z,\phi \left(w\right)⟩\right)}{{(1-⟨z,\phi \left(w\right)⟩)}^{k+\alpha +1}}}$$

for some polynomial $P_k$ whose coefficients are all non-negative. Since $\left|\phi \left(w\right)\right|\lesssim {\left|\phi \left(w\right)\right|}^2\lesssim P_k{\left(\right|\phi \left(w\right)|}^2)$ if $\left|\phi \right(w\left)\right|>1/2$, we have

$$\begin{array}{cc}\hfill \nu \left(w\right)|{\Re }_{u,\phi }^k{G}_w\left(w\right)|& =(\alpha +1){\displaystyle \frac{\nu \left(w\right)\left|u\left(w\right)\right|P_k{\left(\right|\phi \left(w\right)|}^2)}{{(1-|\phi \left(w\right)|}^2{)}^k\mu \left(\phi \left(w\right)\right)}}\hfill \\ \hfill & \gtrsim {\displaystyle \frac{\nu \left(w\right)\left|u\right(w\left)\right|\left|\phi \right(w\left)\right|}{{(1-|\phi \left(w\right)\left|\right)}^k\mu \left(\phi \left(w\right)\right)}},\hfill \end{array}$$

and thus we obtain

$${\displaystyle \frac{\nu \left(w\right)\left|u\right(w\left)\right|\left|\phi \right(w\left)\right|}{{(1-|\phi \left(w\right)\left|\right)}^k\mu \left(\phi \left(w\right)\right)}}\lesssim {\parallel {\Re }_{u,\phi }^k\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}$$

(26)

for any $w\in \mathbb{B}$ with $\left|\phi \right(w\left)\right|>1/2$. If $\left|\phi \right(w\left)\right|\le 1/2$, then $f_j\left(z\right)=z_j\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$$(z\in \mathbb{B},j=\overline{1,n})$ shows

$$\begin{array}{c}\hfill \nu \left(w\right)\left|u\left(w\right)\right||{\phi }_j\left(w\right)|\le \parallel {\Re }_{u,\phi }^k{f}_j{\parallel }_{H_{\nu }^{\infty }}\le \parallel {\Re }_{u,\phi }^k{\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}{\parallel \mu \parallel }_{\infty },\end{array}$$

from which, together with $\left|\phi \left(w\right)\right|\asymp {\sum }_{j=1}^n\left|{\phi }_j\left(w\right)\right|$, we have

$${\displaystyle \frac{\nu \left(w\right)\left|u\right(w\left)\right|\left|\phi \right(w\left)\right|}{{(1-|\phi \left(w\right)\left|\right)}^k\mu \left(\phi \left(w\right)\right)}}\lesssim \nu \left(w\right)\left|u\left(w\right)\right|\left|\phi \left(w\right)\right|\lesssim \parallel {\Re }_{u,\phi }^k{\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}$$

(27)

for any $w\in \mathbb{B}$ with $\left|\phi \right(w\left)\right|\le 1/2$. Combining (26) and (27), we get

$$J_k\lesssim {\parallel {\Re }_{u,\phi }^k\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}<\infty$$

for each $k\in \mathbb{N}$. Thus, we accomplish the proof. □

Corollary 1.

Under the assumptions of Theorem 1, the followings statements are equivalent:

(a)

${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded;

(b)

${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded;

(c)

The condition (25) holds.

Proof. 

In fact, since $G_w\left(z\right)=f_{\phi \left(w\right),1}^{\alpha }\left(z\right)$ in the proof of Theorem 1 is in $H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$, the argument of Theorem 1 still holds in the case of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$. That is, we also see that ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded if and only if u and $\phi$ satisfy (25). Hence, Theorem 1 implies the desired claim. □

Theorem 2.

Let $m\in \mathbb{N}$, $u_j\in H\left(\mathbb{B}\right)(j=\overline{1,m})$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_1\left(\mathbb{B}\right)$, and $\nu \in W\left(\mathbb{B}\right)$. Then, all operators ${\Re }_{u_j,\phi }^j:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)(j=\overline{1,m})$ are bounded if and only if ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded and

$$\underset{z\in \mathbb{B}}{sup}\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|<\infty ,$$

(28)

for $j=\overline{1,m}$.

Proof. 

If ${\Re }_{u_j,\phi }^j:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)(j=\overline{1,m})$ are bounded, then ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is also bounded. As in the proof of Theorem 1, condition (28) can be verified by the functions $f_l\left(z\right)=z_l\in H_{\mu }^{\infty }\left(\mathbb{B}\right)(l=\overline{1,n})$.

To prove the other direction, we assume that ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded and (28) is true for $j=\overline{1,m}$. By Theorem 1, it is enough to prove

$$J_j=\underset{z\in \mathbb{B}}{sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}}<\infty$$

(29)

for $j=\overline{1,m}$.

If $\left|\phi \right(w\left)\right|>0$, by Lemma 4, then there is $h_{\phi \left(w\right)}^{\left(m\right)}\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$ such that

$${\Re }^j{h}_{\phi \left(w\right)}^{\left(m\right)}\left(\phi \left(w\right)\right)=0$$

for $0\le j\le m-1$,

$${\Re }^m{h}_{\phi \left(w\right)}^{\left(m\right)}\left(\phi \left(w\right)\right)={\displaystyle \frac{{\left|\phi \left(w\right)\right|}^{2m}}{{(1-|\phi \left(w\right)|}^2{)}^m\mu \left(\phi \left(w\right)\right)}}$$

and ${sup}_{w\in \mathbb{B}}{\parallel h_{\phi \left(w\right)}^{\left(m\right)}\parallel }_{H_{\mu }^{\infty }}<\infty$. By considering the boundedness of ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m$, we have

$$\begin{array}{cc}\hfill \parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}& \gtrsim \parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{h}_{\phi \left(w\right)}^{\left(m\right)}{\parallel }_{H_{\nu }^{\infty }}\hfill \\ \hfill & \ge \nu \left(w\right)\left|\sum _{j=1}^m{u}_j\left(w\right){\Re }^j{h}_{\phi \left(w\right)}^{\left(m\right)}\left(\phi \left(w\right)\right)\right|\hfill \\ \hfill & ={\displaystyle \frac{\nu \left(w\right)|u_m{\left(w\right)\left|\right|\phi \left(w\right)|}^{2m}}{{(1-|\phi \left(w\right)|}^2{)}^m\mu \left(\phi \left(w\right)\right)}}.\hfill \end{array}$$

Hence, it follows that

$$\underset{\left|\phi \right(w\left)\right|>1/2}{sup}{\displaystyle \frac{\nu \left(w\right)|u_m\left(w\right)\left|\right|\phi \left(w\right)|}{{(1-|\phi \left(w\right)\left|\right)}^m\mu \left(\phi \left(w\right)\right)}}\lesssim {\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}<\infty .$$

By (28), we have

$$\underset{\left|\phi \right(w\left)\right|\le 1/2}{sup}{\displaystyle \frac{\nu \left(w\right)|u_m\left(w\right)\left|\right|\phi \left(w\right)|}{{(1-|\phi \left(w\right)\left|\right)}^m\mu \left(\phi \left(w\right)\right)}}\lesssim \underset{\left|\phi \right(w\left)\right|\le 1/2}{sup}\nu \left(w\right)|u_m\left(w\right)\left|\right|\phi \left(w\right)|<\infty ,$$

and so $J_m<\infty$.

Next, we assume that (29) holds for $j=\overline{s+1,m}$, for $s\in \{1,2,\dots ,m-1\}$. For $h_{\phi \left(w\right)}^{\left(s\right)}$ as in Lemma 4, we see that ${sup}_{w\in \mathbb{B}}{\parallel h_{\phi \left(w\right)}^{\left(s\right)}\parallel }_{H_{\mu }^{\infty }}<\infty$ and

$$\begin{array}{cc}\hfill \nu \left(w\right)\left|\sum _{j=s}^m{a}_s^{\left(j\right)}{u}_j\left(w\right){\displaystyle \frac{{\left|\phi \left(w\right)\right|}^{2s}}{{(1-|\phi \left(w\right)|}^2{)}^s\mu \left(\phi \left(w\right)\right)}}\right|& \le \underset{z\in \mathbb{B}}{sup}\nu \left(z\right)\left|\sum _{j=1}^m{u}_j\left(z\right){\Re }^j{h}_{\phi \left(w\right)}^{\left(s\right)}\left(\phi \left(z\right)\right)\right|\hfill \\ \hfill & \lesssim \parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}.\hfill \end{array}$$

(30)

From (30), it follows that

$${\displaystyle \frac{\nu \left(w\right)|u_s{\left(w\right)\left|\right|\phi \left(w\right)|}^{2s}}{{(1-|\phi \left(w\right)|}^2{)}^s\mu \left(\phi \left(w\right)\right)}}\lesssim {\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}+\sum _{j=s+1}^m{\displaystyle \frac{\nu \left(w\right)|u_j{\left(w\right)\left|\right|\phi \left(w\right)|}^{2s}}{{(1-|\phi \left(w\right)|}^2{)}^s\mu \left(\phi \left(w\right)\right)}},$$

so that we get

$$\underset{\left|\phi \right(w\left)\right|>1/2}{sup}{\displaystyle \frac{\nu \left(w\right)|u_s\left(w\right)\left|\right|\phi \left(w\right)|}{{(1-|\phi \left(w\right)|}^2{)}^s\mu \left(\phi \left(w\right)\right)}}\lesssim {\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m\parallel }_{H_{\mu }^{\infty }\to H_{\nu }^{\infty }}+\sum _{j=s+1}^m{J}_j.$$

On the other hand, by (28), we have

$$\underset{\left|\phi \right(z\left)\right|\le 1/2}{sup}{\displaystyle \frac{\nu \left(w\right)|u_s\left(w\right)\left|\right|\phi \left(w\right)|}{{(1-|\phi \left(w\right)|}^2{)}^s\mu \left(\phi \left(w\right)\right)}}\lesssim \underset{\left|\phi \right(w\left)\right|\le 1/2}{sup}\nu \left(w\right)|u_s\left(w\right)\left|\right|\phi \left(w\right)|<\infty .$$

Hence, (29) holds for $j=s$ and thus for $j=\overline{1,m}$. □

For the same reasons as in Corollary 1, we get the following corollary.

Corollary 2.

Under the assumptions of Theorem 2, the followings statements are equivalent:

(a)

All the operators ${\Re }_{u_j,\phi }^j:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$$(j=\overline{1,m})$ are bounded;

(b)

${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded and (28) holds for $j=\overline{1,m}$;

(c)

${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded and (28) holds for $j=\overline{1,m}$.

Theorem 3.

Let $k\in \mathbb{N}$, $u\in H\left(\mathbb{B}\right)$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_1\left(\mathbb{B}\right)$, and $\nu \in W\left(\mathbb{B}\right)$. Then, the boundedness of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is equivalent to the boundedness of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ and

$$\underset{\left|z\right|\to 1}{lim}\nu \left(z\right)\left|u\left(z\right)\right|\left|\phi \left(z\right)\right|=0.$$

(31)

Proof. 

First, suppose that ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded and (31) holds. Since

$$\begin{array}{cc}\hfill \nu \left(z\right)|{\Re }_{u,\phi }^{k}p\left(z\right)|& =\nu \left(z\right)|u\left(z\right){\Re }^{k}p\left(\phi \left(z\right)\right)|\hfill \\ \hfill & \le \nu \left(z\right)\left|u\left(z\right)\right|\left|\phi \left(z\right)\right||\nabla \left[{\Re }^{k-1}p\right]\left(\phi \left(z\right)\right)|\hfill \\ \hfill & \le \nu \left(z\right)\left|u\left(z\right)\right|\left|\phi \left(z\right)\right|\underset{w\in \mathbb{B}}{sup}|\nabla \left[{\Re }^{k-1}p\right]\left(w\right)|\hfill \end{array}$$

for any polynomial p, (31) implies ${\Re }_{u,\phi }^{k}p\in H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$. Since the set of all polynomials is dense in $H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$, for any $f\in H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$ there is a sequence of polynomials ${\left(p_j\right)}_{j\in \mathbb{N}}$ such that $\parallel f-p_j{\parallel }_{H_{\mu }^{\infty }}\to 0$ as $j\to \infty$. Using the boundedness of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$, we have

$$\parallel {\Re }_{u,\phi }^{k}f-{\Re }_{u,\phi }^k{p}_j{\parallel }_{H_{\nu }^{\infty }}\le \parallel {\Re }_{u,\phi }^k{\parallel }_{H_{\mu ,0}^{\infty }\to H_{\nu }^{\infty }}{\parallel f-p_j\parallel }_{H_{\mu }^{\infty }}\to 0$$

as $j\to \infty$. Since ${\Re }_{u,\phi }^k{p}_j\in H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ and $H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is closed in $H_{\nu }^{\infty }\left(\mathbb{B}\right)$, ${\Re }_{u,\phi }^{k}f\in H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$, then ${\Re }_{u,\phi }^k\left(H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\right)\subset H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$. Hence, ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded.

Now, assume that ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded. Since $H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)\subset H_{\nu }^{\infty }\left(\mathbb{B}\right)$ and the norms on the spaces $H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ and $H_{\nu }^{\infty }\left(\mathbb{B}\right)$ are the same, it immediately follows that the boundedness of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ implies the boundedness of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$.

In order to derive the condition (31), we consider the functions $f_j\left(z\right)=z_j$ for $j=\overline{1,n}$. Since $\mu$ is typical, we see $f_j\in H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$. The boundedness of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ implies that ${\Re }_{u,\phi }^k{f}_j=u·{\phi }_j\in H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$, that is,

$$\underset{\left|z\right|\to 1}{lim}\nu \left(z\right)\left|u\left(z\right)\right||{\phi }_j\left(z\right)|=0,$$

from which (31) easily follows. □

Theorem 4.

Let $m\in \mathbb{N}$, $u_j\in H\left(\mathbb{B}\right)(j=\overline{1,m})$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_1\left(\mathbb{B}\right)$, and $\nu \in W\left(\mathbb{B}\right)$. Then, ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded and

$$\underset{\left|z\right|\to 1}{lim}\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|=0,j=\overline{1,m}$$

(32)

if and only if ${\Re }_{u_j,\phi }^j:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$$(j=\overline{1,m})$ are bounded.

Proof. 

Suppose that ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded and (32) holds. Theorem 3 shows that it is enough to prove that ${\Re }_{u_j,\phi }^j:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ are bounded for $j=\overline{1,m}$. For this purpose, it is sufficient to show the boundedness of ${\Re }_{u_j,\phi }^j:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$, so we may prove that

$$\underset{z\in \mathbb{B}}{sup}{\displaystyle \frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}}<\infty$$

(33)

for $j=\overline{1,m}$. Now, looking back at the proof of Theorem 2, by Lemma 4, there exists a function $h_{\phi \left(w\right)}^{\left(m\right)}\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$ satisfying

$${\Re }^j{h}_{\phi \left(w\right)}^{\left(m\right)}\left(\phi \left(w\right)\right)=0$$

for each $0\le j\le m-1$,

$${\Re }^m{h}_{\phi \left(w\right)}^{\left(m\right)}\left(\phi \left(w\right)\right)={\displaystyle \frac{{\left|\phi \left(w\right)\right|}^{2m}}{{(1-|\phi \left(w\right)|}^2{)}^m\mu \left(\phi \left(w\right)\right)}}$$

and ${sup}_{w\in \mathbb{B}}{\parallel h_{\phi \left(w\right)}^{\left(m\right)}\parallel }_{H_{\mu }^{\infty }}<\infty$. According to Lemma 2, we see $h_{\phi \left(w\right)}^{\left(m\right)}\in H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$. Hence, as in the proof of Theorem 2, we obtain

$$\underset{\left|\phi \right(w\left)\right|>1/2}{sup}{\displaystyle \frac{\nu \left(w\right)|u_m\left(w\right)\left|\right|\phi \left(w\right)|}{{(1-|\phi \left(w\right)\left|\right)}^m\mu \left(\phi \left(w\right)\right)}}\lesssim {\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m\parallel }_{H_{\mu ,0}^{\infty }\to H_{\nu ,0}^{\infty }}<\infty .$$

On the other hand, the assumption (32) indicates

$$\underset{z\in \mathbb{B}}{sup}\nu \left(z\right)|u_m\left(z\right)\left|\right|\phi \left(z\right)|<\infty ,$$

and so we obtain

$$\underset{\left|\phi \right(w\left)\right|\le 1/2}{sup}{\displaystyle \frac{\nu \left(w\right)|u_m\left(w\right)\left|\right|\phi \left(w\right)|}{{(1-|\phi \left(w\right)\left|\right)}^m\mu \left(\phi \left(w\right)\right)}}\lesssim \underset{\left|\phi \right(w\left)\right|\le 1/2}{sup}\nu \left(w\right)|u_m\left(w\right)\left|\right|\phi \left(z\right)|<\infty .$$

Thus, (33) holds for $j=m$. We can also prove that (33) holds for all $j=\overline{1,m}$ by exactly the same argument as in the proof of Theorem 2. Hence, Theorem 1 implies ${\Re }_{u_j,\phi }^j:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ are bounded, and so ${\Re }_{u_j,\phi }^j:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ are bounded. The other direction is trivial from Theorem 3. □

4. Essential Norm and Compactness

Here, we investigate the essential norm and the compactness of ${\Re }_{u,\phi }^k$ and ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m$. To characterize the compactness of T, it is well known that it is sufficient to evaluate ${\parallel T\parallel }_e$. To estimate the essential norm of ${\Re }_{u,\phi }^k$ or ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m$, we need the properties of the test functions $f_{w,k}^{\alpha }$ and $h_w^{\left(l\right)}$ in Lemmas 2 and 4, respectively, plus the fact that $f_{w,k}^{\alpha }$ and $h_w^{\left(l\right)}$ converge weakly to 0 as $\left|w\right|\to 1-0$. Since this weak convergence is verified by the condition (15) on $\mu \in W\left(\mathbb{B}\right)$, we continue to assume that $\mu \in W_1\left(\mathbb{B}\right)$ and add further condition (15). The class of such weights we denote by $W_{\alpha ,k}\left(\mathbb{B}\right)$.

Theorem 5.

Let $k\in \mathbb{N}$, $u\in H\left(\mathbb{B}\right)$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_{\alpha ,k}\left(\mathbb{B}\right)$ and $\nu \in W\left(\mathbb{B}\right)$. Suppose that ${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded. Then,

$$\begin{array}{c}\hfill \parallel {\Re }_{u,\phi }^k{\parallel }_e\asymp \underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}.\end{array}$$

(34)

Proof. 

If ${\parallel \phi \parallel }_{\infty }<1$, then ${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is compact, implying $\parallel {\Re }_{u,\phi }^k{\parallel }_e=0$, whereas the limit in (34) is taken over an empty set, so the theorem vacuously holds.

Now, assume ${\parallel \phi \parallel }_{\infty }=1$. Let $r\in (0,1)$. Put $C_{r}f\left(z\right)=f\left(rz\right)$. Since $C_r$ is compact on $H_{\mu }^{\infty }\left(\mathbb{B}\right)$, the operator ${\Re }_{u,\phi }^k{C}_r:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is also compact, from which it follows that

$$\parallel {\Re }_{u,\phi }^k{\parallel }_e\le \underset{{\parallel f\parallel }_{H_{\mu }^{\infty }}\le 1}{sup}{\parallel {\Re }_{u,\phi }^{k}f-{\Re }_{u,\phi }^k{C}_{r}f\parallel }_{H_{\nu }^{\infty }}.$$

(35)

Now, we fix $f\in H_{\mu }^{\infty }$, which satisfies ${\parallel f\parallel }_{H_{\mu }^{\infty }}\le 1$ and $\rho \in (0,1)$ arbitrarily. Using the mean value theorem, the fact that $\Re \left(f\right(rz\left)\right)=(\Re f)\left(rz\right)$, and the Cauchy inequality, we have

$$\begin{array}{cc}\hfill & \underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)|{\Re }_{u,\phi }^{k}f\left(z\right)-{\Re }_{u,\phi }^k{C}_{r}f\left(z\right)|\hfill \\ \hfill \le & \underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)\left|u\left(z\right)\right||{\Re }^{k}f\left(\phi \left(z\right)\right)-{\Re }^{k}f\left(r\phi \left(z\right)\right)|\hfill \\ \hfill \le & \underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)\left|u\left(z\right)\right|(1-r)\left|\phi \left(z\right)\right|\underset{\left|w\right|\le \rho }{sup}|\nabla \left[{\Re }^{k}f\right]\left(w\right)|\hfill \\ \hfill \lesssim & \underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)\left|u\left(z\right)\right|{\displaystyle \frac{(1-r)\left|\phi \right(z\left)\right|}{1-\rho }}\underset{\left|w\right|\le \frac{1+\rho }{2}}{sup}\left|{\Re }^{k}f\left(w\right)\right|.\hfill \end{array}$$

Combining Lemma 1 with this, we obtain

$$\begin{array}{cc}\hfill & \underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)|{\Re }_{u,\phi }^{k}f\left(z\right)-{\Re }_{u,\phi }^k{C}_{r}f\left(z\right)|\hfill \\ \hfill & \lesssim {\displaystyle \frac{(1+\rho )(1-r)}{{(1-\rho )}^{k+1}\mu \left(\frac{1+\rho }{2}\right)}}{\parallel f\parallel }_{H_{\mu }^{\infty }}\underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)\left|u\left(z\right)\right|\left|\phi \left(z\right)\right|.\hfill \end{array}$$

(36)

Since $f_j\left(z\right)=z_j\in H_{\mu }^{\infty }\left(\mathbb{B}\right)(j=\overline{1,n})$ and the boundedness of ${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ shows $u·{\phi }_j\in H_{\nu }^{\infty }\left(\mathbb{B}\right)$ for $j=\overline{1,n}$, we get

$$\underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)\left|u\left(z\right)\right|\left|\phi \left(z\right)\right|<\infty .$$

By letting $r\to 1$ in (36), we have

$$\underset{{\parallel f\parallel }_{H_{\mu }^{\infty }}\le 1}{sup}\underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)|{\Re }_{u,\phi }^{k}f\left(z\right)-{\Re }_{u,\phi }^k{C}_{r}f\left(z\right)|\to 0.$$

(37)

Further, Lemma 1 yields

$$\begin{array}{cc}\hfill & \underset{{\parallel f\parallel }_{H_{\mu }^{\infty }}\le 1}{sup}\underset{\left|\phi \right(z\left)\right|>\rho }{sup}\nu \left(z\right)|{\Re }_{u,\phi }^{k}f\left(z\right)-{\Re }_{u,\phi }^k{C}_{r}f\left(z\right)|\hfill \\ \hfill & \lesssim \underset{\left|\phi \right(z\left)\right|>\rho }{sup}\frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}.\hfill \end{array}$$

(38)

From (35), (37) and (38), it follows that

$$\parallel {\Re }_{u,\phi }^k{\parallel }_e\lesssim \underset{\left|\phi \right(z\left)\right|>\rho }{sup}\frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}.$$

By letting $\rho \to 1$, we obtain the upper estimate

$$\parallel {\Re }_{u,\phi }^k{\parallel }_e\lesssim \underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}.$$

To prove the lower estimate for $\parallel {\Re }_{u,\phi }^k{\parallel }_e$, we take a sequence ${\left(z_j\right)}_{j\in \mathbb{N}}\subset \mathbb{B}$ such that $\left|\phi \right(z_j\left)\right|\to 1$ as $j\to \infty$. Put $G_j=f_{\phi \left(z_j\right),1}^{\alpha }$, where $f_{w,1}^{\alpha }$ are as in Lemma 2. Then, ${sup}_{j\ge 1}{\parallel G_j\parallel }_{H_{\mu }^{\infty }}<\infty$. As we pointed out in Remark 1, the assumption (15) on $\mu$ implies that $G_j\to 0$ uniformly on compact subsets of $\mathbb{B}$ as $j\to \infty$.

A duality argument employed in $H_{\mu }^{\infty }\left(\mathbb{B}\right)$ [8,13] implies that $G_j\to 0$ weakly in $H_{\mu }^{\infty }\left(\mathbb{B}\right)$ as $j\to \infty$, and so $\parallel K{G}_j{\parallel }_{H_{\nu }^{\infty }}\to 0$ as $j\to \infty$ for any compact operator $K:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$. Hence, Lemma 3 gives

$$\begin{array}{cc}\hfill \parallel {\Re }_{u,\phi }^k{\parallel }_e& \gtrsim \underset{j\to \infty }{lim\; sup}(\parallel {\Re }_{u,\phi }^k{G}_j{\parallel }_{H_{\nu }^{\infty }}-\parallel K{G}_j{\parallel }_{H_{\nu }^{\infty }})\hfill \\ \hfill & \ge \underset{j\to \infty }{lim\; sup}\nu \left(z_j\right)\left|u\left(z_j\right)\right|{\displaystyle \frac{(\alpha +1)|P_k\left(\right|\phi \left(z_j\right){|}^2\left)\right|}{(1-|\phi \left(z_j\right){{|}^2)}^k\mu \left(\phi \left(z_j\right)\right)}}\hfill \\ \hfill & \gtrsim \underset{j\to \infty }{lim\; sup}{\displaystyle \frac{\nu \left(z_j\right)|u\left(z_j\right)\left|\right|\phi \left(z_j\right)|}{(1-|\phi \left(z_j\right){\left|\right)}^k\mu \left(\phi \left(z_j\right)\right)}}.\hfill \end{array}$$

That is, the lower estimate

$$\parallel {\Re }_{u,\phi }^k{\parallel }_e\gtrsim \underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}$$

holds. The proof is accomplished. □

Corollary 3.

Under the assumptions of Theorem 5, the followings statements are equivalent:

(a)

${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is compact;

(b)

${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is compact;

(c)

u and φ satisfy the following condition

$$\underset{\left|\phi \right(z\left)\right|\to 1}{lim}\frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}=0.$$

(39)

Proof. 

By Theorem 5, it is enough to prove the equivalence (b) ⇔ (c). To do this, we estimate the essential norm of the bounded operator ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$. The upper estimate for this operator is obtained by the arguments in the proof of Theorem 5. On the other hand, we use the weak convergence of the sequence ${\left(G_j\right)}_{j\in \mathbb{N}}$ to 0 in $H_{\mu }^{\infty }\left(\mathbb{B}\right)$ for the lower estimate. In fact, an application of the Hahn–Banach extension theorem implies that $G_j\to 0$ weakly in $H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$ as $j\to \infty$. Thus, we also see that the essential norm of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ can be evaluated from below by

$$\underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}.$$

This indicates that (b) ⇔ (c) is true. □

Theorem 6.

Let $m\in \mathbb{N}$, $\{u_1,u_2,\dots ,u_m\}\subset H\left(\mathbb{B}\right)$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_{\alpha ,0}\left(\mathbb{B}\right)$ and $\nu \in W\left(\mathbb{B}\right)$. Suppose ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded and (28) holds for $j=\overline{1,m}$. Then,

$$\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e\asymp \underset{j=\overline{1,m}}{max}\underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}.$$

Proof. 

The case ${\parallel \phi \parallel }_{\infty }<1$ is treated as in Theorem 5. Now, assume ${\parallel \phi \parallel }_{\infty }=1$. For a fixed $r\in (0,1)$, the operator $C_r$ is compact on $H_{\mu }^{\infty }\left(\mathbb{B}\right).$ Fix $f\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$ with ${\parallel f\parallel }_{H_{\mu }^{\infty }}\le 1$ and $\rho \in (0,1)$ arbitrarily. Since

$$|{\mathfrak{S}}_{\overrightarrow{u},\phi }^{m}f\left(z\right)-{\mathfrak{S}}_{\overrightarrow{u},\phi }^m{C}_{r}f\left(z\right)|=\left|\sum _{j=1}^m{u}_j\left(z\right)({\Re }^{j}f\left(\phi \left(z\right)\right)-{\Re }^{j}f\left(r\phi \left(z\right)\right))\right|$$

for each $z\in \mathbb{B}$, from Lemma 1, we have

$$\begin{array}{cc}\hfill \underset{\left|\phi \right(z\left)\right|>\rho }{sup}\nu \left(z\right)|{\mathfrak{S}}_{\overrightarrow{u},\phi }^{m}f\left(z\right)-{\mathfrak{S}}_{\overrightarrow{u},\phi }^m{C}_{r}f\left(z\right)|& \lesssim \sum _{j=1}^m\underset{\left|\phi \right(z\left)\right|>\rho }{sup}{\displaystyle \frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}}{\parallel f\parallel }_{H_{\mu }^{\infty }}\hfill \\ \hfill & \lesssim \underset{j=\overline{1,m}}{max}\underset{\left|\phi \right(z\left)\right|>\rho }{sup}{\displaystyle \frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}}.\hfill \end{array}$$

By noting (28), the same argument which derives (36) and (37) implies

$$\underset{{\parallel f\parallel }_{H_{\mu }^{\infty }}\le 1}{sup}\underset{\left|\phi \right(z\left)\right|\le \rho }{sup}\nu \left(z\right)|{\mathfrak{S}}_{\overrightarrow{u},\phi }^{m}f\left(z\right)-{\mathfrak{S}}_{\overrightarrow{u},\phi }^m{C}_{r}f\left(z\right)|\to 0$$

as $r\to 1$. Hence, these inequalities give the upper estimate

$$\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e\lesssim \underset{j=\overline{1,m}}{max}\underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}.$$

Let ${\left(z_k\right)}_{k\in \mathbb{N}}\subset \mathbb{B}$ be such that $\left|\phi \right(z_k\left)\right|\to 1$ as $k\to \infty$ and put $h_k^{\left(s\right)}=h_{\phi \left(z_k\right)}^{\left(s\right)}$ for each $s=\overline{1,m}$, where $h_w^{\left(s\right)}$ are as in Lemma 4. Then, we see that ${sup}_{k\ge 1}{\parallel h_k^{\left(s\right)}\parallel }_{H_{\mu }^{\infty }}<\infty$ and $\mu \in W_{\alpha ,0}\left(\mathbb{B}\right)$ imply that $h_k^{\left(s\right)}\to 0$ uniformly on compacts of $\mathbb{B}$ as $k\to \infty$ for $s=\overline{1,m}$.

Since a duality argument employed in $H_{\mu }^{\infty }\left(\mathbb{B}\right)$ implies $h_k^{\left(s\right)}\to 0$ weakly in $H_{\mu }^{\infty }\left(\mathbb{B}\right)$, we see that $\parallel K{h}_k^{\left(s\right)}{\parallel }_{H_{\mu }^{\infty }}\to 0$ as $k\to \infty$ for compact $K:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$. From (21) and (22), we have that

$${\Re }^j{h}_k^{\left(s\right)}\left(\phi \left(z_k\right)\right)=0,1\le j<s,$$

(40)

and

$${\Re }^j{h}_k^{\left(s\right)}\left(\phi \left(z_k\right)\right)=a_s^{\left(j\right)}{\displaystyle \frac{|\phi \left(z_k\right){|}^{2s}}{(1-|\phi \left(z_k\right){{|}^2)}^s\mu \left(\phi \left(z_k\right)\right)}},s\le j\le m,$$

(41)

hold for $s=\overline{1,m}$. Hence, it follows from (40) and (41) that

$$\begin{array}{cc}\hfill \parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e& \gtrsim \underset{k\to \infty }{lim\; sup}(\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{h}_k^{\left(m\right)}{\parallel }_{H_{\nu }^{\infty }}-\parallel K{h}_k^{\left(m\right)}{\parallel }_{H_{\nu }^{\infty }})\hfill \\ \hfill & \ge \underset{k\to \infty }{lim\; sup}\nu \left(z_k\right)\left|\sum _{j=1}^m{u}_j\left(z_k\right){\Re }^j{h}_k^{\left(m\right)}\left(\phi \left(z_k\right)\right)\right|\hfill \\ \hfill & =\underset{k\to \infty }{lim\; sup}{\displaystyle \frac{\nu \left(z_k\right)|u_m\left(z_k\right)\left|\right|\phi \left(z_k\right){|}^{2m}}{(1-|\phi \left(z_k\right){{|}^2)}^m\mu \left(\phi \left(z_k\right)\right)}}\hfill \\ \hfill & \gtrsim \underset{k\to \infty }{lim\; sup}{\displaystyle \frac{\nu \left(z_k\right)|u_m\left(z_k\right)\left|\right|\phi \left(z_k\right)|}{(1-|\phi \left(z_k\right){\left|\right)}^m\mu \left(\phi \left(z_k\right)\right)}},\hfill \end{array}$$

and so

$$\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e\gtrsim \underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)|u_m\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^m\mu \left(\phi \left(z\right)\right)}}.$$

(42)

Now, we assume that for $s\in \{1,\dots ,m-1\}$,

$$\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e\gtrsim \underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}}$$

(43)

holds for $j=\overline{s+1,m}$. Equations (40) and (41) imply

$$\underset{k\to \infty }{lim\; sup}\nu \left(z_k\right)\left|\sum _{j=s}^m{a}_s^{\left(j\right)}{u}_j\left(z_k\right){\displaystyle \frac{|\phi \left(z_k\right){|}^{2s}}{(1-|\phi \left(z_k\right){{|}^2)}^s\mu \left(\phi \left(z_k\right)\right)}}\right|\lesssim {\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m\parallel }_e,$$

from which we easily get

$$\begin{array}{cc}\hfill & \underset{k\to \infty }{lim\; sup}{\displaystyle \frac{\nu \left(z_k\right)|u_s\left(z_k\right)\left|\right|\phi \left(z_k\right){|}^{2s}}{(1-|\phi \left(z_k\right){{|}^2)}^s\mu \left(\phi \left(z_k\right)\right)}}\hfill \\ \hfill & \lesssim \parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e+\underset{k\to \infty }{lim\; inf}\sum _{j=s+1}^m{a}_s^{\left(j\right)}{\displaystyle \frac{\nu \left(z_k\right)|u_j\left(z_k\right)\left|\right|\phi \left(z_k\right){|}^{2s}}{(1-|\phi \left(z_k\right){{|}^2)}^s\mu \left(\phi \left(z_k\right)\right)}}\hfill \\ \hfill & \lesssim \parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e.\hfill \end{array}$$

This indicates that (43) holds for $j=s$, and therefore holds for any $j\in \{1,\dots ,m\}$. Hence, we obtain the lower estimate

$$\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e\gtrsim \underset{j=\overline{1,m}}{max}\underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}}.$$

We complete the proof. □

The following result is proved exactly by the previous arguments.

Corollary 4.

Under the assumptions of Theorem 6, the followings statements are equivalent:

(a)

${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is compact;

(b)

${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is compact;

(c)

$u_j$ and φ satisfy the following condition

$$\underset{\left|\phi \right(z\left)\right|\to 1}{lim}\frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}=0$$

(44)

for $j=\overline{1,m}$.

Theorem 7.

Let $k\in \mathbb{N}$, $u\in H\left(\mathbb{B}\right)$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_{\alpha ,k}\left(\mathbb{B}\right)$ and $\nu \in W\left(\mathbb{B}\right)$. Suppose that ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded. Then,

$$\parallel {\Re }_{u,\phi }^k{\parallel }_e\asymp \underset{\left|z\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}.$$

Proof. 

Assume ${\parallel \phi \parallel }_{\infty }<1$. Since ${\Re }_{u,\phi }^k$ is compact from $H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$ into $H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$, $\parallel {\Re }_{u,\phi }^k{\parallel }_e=0$ holds. On the other hand, we obtain

$${\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}\le {\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-\parallel \phi \parallel }_{\infty }{)}^k{\mu (\parallel \phi \parallel }_{\infty })}}$$

(45)

for each $z\in \mathbb{B}$. We consider the function $f_j\left(z\right)=z_j$ for $j=\overline{1,n}$. Since $\mu$ is typical, we see $f_j\in H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$. The boundedness of ${\Re }_{u,\phi }^k$ implies that ${\Re }_{u,\phi }^k{f}_j=u·{\phi }_j\in H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$, that is,

$$\underset{\left|z\right|\to 1}{lim}\nu \left(z\right)\left|u\left(z\right)\right|\left|\phi \left(z\right)\right|\asymp \underset{\left|z\right|\to 1}{lim}\sum _{j=1}^n\nu \left(z\right)\left|u\left(z\right)\right||{\phi }_j\left(z\right)|=0.$$

(46)

Thus, (45) and (46) give that

$$\underset{\left|z\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}=0={\parallel {\Re }_{u,\phi }^k\parallel }_e.$$

Now, we assume that ${\parallel \phi \parallel }_{\infty }=1$. In view of Theorem 5, it is sufficient to prove

$$\underset{\left|z\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}=\underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}.$$

(47)

Take a sequence ${\left(z_l\right)}_{l\in \mathbb{N}}\subset \mathbb{B}$ such that

$$\underset{\left|z\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}=\underset{l\to \infty }{lim}{\displaystyle \frac{\nu \left(z_l\right)|u\left(z_l\right)\left|\right|\phi \left(z_l\right)|}{(1-|\phi \left(z_l\right){\left|\right)}^k\mu \left(\phi \left(z_l\right)\right)}}.$$

(48)

If ${sup}_{l\in \mathbb{N}}\left|\phi \left(z_l\right)\right|<1$, then (46) shows that the second limit in (48) is zero. Since the following inequality obviously holds

$$\underset{\left|z\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}\ge \underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}},$$

we see that (47) holds as the upper limit of both sides is zero.

If ${sup}_{l\in \mathbb{N}}\left|\phi \left(z_l\right)\right|=1$, then we can choose a subsequence ${\left(\phi \left(z_{l_i}\right)\right)}_{i\in \mathbb{N}}$ such that $\left|\phi \right(z_{l_i}\left)\right|\to 1$ as $i\to \infty$. Thus,

$$\begin{array}{cc}\hfill \underset{\left|z\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}& =\underset{i\to \infty }{lim}{\displaystyle \frac{\nu \left(z_{l_i}\right)|u\left(z_{l_i}\right)\left|\right|\phi \left(z_{l_i}\right)|}{(1-|\phi \left(z_{l_i}\right){\left|\right)}^k\mu \left(\phi \left(z_{l_i}\right)\right)}}\hfill \\ \hfill & \le \underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}},\hfill \end{array}$$

which proves that (47) really holds. □

Theorem 8.

Let $m\in \mathbb{N}$, $u_j\in H\left(\mathbb{B}\right)$$(j=\overline{1,m})$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_{\alpha ,0}\left(\mathbb{B}\right)$ and $\nu \in W\left(\mathbb{B}\right)$. If ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded and (32) holds, then

$$\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e\asymp \underset{j=\overline{1,m}}{max}\underset{\left|z\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}.$$

Proof. 

Since ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded and (32) holds, it follows from Theorems 3 and 4 that all operators ${\Re }_{u_j,\phi }^j:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$$(j=\overline{1,m})$ are bounded. Hence, by Theorem 2, we see that ${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu }^{\infty }\left(\mathbb{B}\right)$ is bounded and (28) holds for $j=\overline{1,m}$. Theorem 6 gives

$$\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e\asymp \underset{j=\overline{1,m}}{max}\underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}.$$

By exactly the same argument as in (47), we obtain

$$\underset{\left|\phi \right(z\left)\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}=\underset{\left|z\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}$$

for $j=\overline{1,m}$, from which it follows that

$$\parallel {\mathfrak{S}}_{\overrightarrow{u},\phi }^m{\parallel }_e\asymp \underset{j=\overline{1,m}}{max}\underset{\left|z\right|\to 1}{lim\; sup}\frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}.$$

The proof is accomplished. □

Theorem 9.

Let $k\in \mathbb{N}$, $u\in H\left(\mathbb{B}\right)$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_{\alpha ,k}\left(\mathbb{B}\right)$ and $\nu \in W\left(\mathbb{B}\right)$. The following statements are equivalent:

(a)

${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is compact;

(b)

${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is compact;

(c)

${\Re }_{u,\phi }^k:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded;

(d)

${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is weakly compact;

(e)

The following condition holds:

$$\underset{\left|z\right|\to 1}{lim}{\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}=0.$$

Proof. 

By Lemma 6, we get the equivalence (a) ⇔ (d). The equivalence (a) ⇔ (e) follows from Theorem 7 immediately. (b) ⇒ (c) is obvious. If we prove implications (e) ⇒ (b) and (c) ⇒ (d), we accomplish the proof. By Lemma 1, we have

$$\nu \left(z\right)|{\Re }_{u,\phi }^{k}f\left(z\right)|\lesssim {\displaystyle \frac{\nu \left(z\right)\left|u\right(z\left)\right|\left|\phi \right(z\left)\right|}{{(1-|\phi \left(z\right)\left|\right)}^k\mu \left(\phi \left(z\right)\right)}}{\parallel f\parallel }_{H_{\mu }^{\infty }}$$

for each $f\in H_{\mu }^{\infty }\left(\mathbb{B}\right)$, from which we see ${\Re }_{u,\phi }^k\left(H_{\mu }^{\infty }\left(\mathbb{B}\right)\right)\subset H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ and

$$\underset{\left|z\right|\to 1}{lim}\underset{{\parallel f\parallel }_{H_{\mu }^{\infty }}\le 1}{sup}\nu \left(z\right)\left|{\Re }_{u,\phi }^{k}f\left(z\right)\right|=0.$$

By Lemma 5, we see that (e) ⇒ (b) holds. Now, we assume (c) is true. Then, ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded. A duality argument and weak-star density of $H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)$ in $H_{\mu }^{\infty }\left(\mathbb{B}\right)$ shows

$${\left({\Re }_{u,\phi }^k\right)}^{**}={\Re }_{u,\phi }^k\mathrm{on}{H}_{\mu }^{\infty }\left(\mathbb{B}\right)={\left(H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\right)}^{**}.$$

Therefore,

$${\left({\Re }_{u,\phi }^k\right)}^{**}\left({\left(H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\right)}^{**}\right)={\Re }_{u,\phi }^k\left(H_{\mu }^{\infty }\left(\mathbb{B}\right)\right)\subset H_{\nu ,0}^{\infty }\left(\mathbb{B}\right).$$

This and Gantmacher’s theorem [55] imply the weak compactness of ${\Re }_{u,\phi }^k:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ follows. Namely, we have proven the implication (c) ⇒ (d). □

In exactly the same way as in Theorem 9, we also obtain the following result.

Theorem 10.

Let $m\in \mathbb{N}$, $u_j\in H\left(\mathbb{B}\right)$$(j=\overline{1,m})$, $\phi \in S\left(\mathbb{B}\right)$, $\mu \in W_{\alpha ,0}\left(\mathbb{B}\right)$ and $\nu \in W\left(\mathbb{B}\right)$. Suppose that (32) holds for $j=\overline{1,m}$. Then, the following statements are equivalent:

(a)

${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is compact;

(b)

${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is compact;

(c)

${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu }^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is bounded;

(d)

${\mathfrak{S}}_{\overrightarrow{u},\phi }^m:H_{\mu ,0}^{\infty }\left(\mathbb{B}\right)\to H_{\nu ,0}^{\infty }\left(\mathbb{B}\right)$ is weakly compact;

(e)

The following conditions hold:

$$\underset{\left|z\right|\to 1}{lim}{\displaystyle \frac{\nu \left(z\right)|u_j\left(z\right)\left|\right|\phi \left(z\right)|}{{(1-|\phi \left(z\right)\left|\right)}^j\mu \left(\phi \left(z\right)\right)}}=0,j=\overline{1,m}.$$

5. Conclusions

We studied the boundedness of a recently introduced operator between weighted-type spaces of holomorphic functions and estimated its essential norm. To do this, we gave some methods, ideas and tricks which may be useful in investigations of related concrete linear operators, which will be the focus of our further investigations.