Product Type Operators Involving Radial Derivative Operator Acting between Some Analytic Function Spaces

Abstract

Let $\mathbb{N}$ denote the set of all positive integers and ${\mathbb{N}}_0=\mathbb{N}\cup \left\{0\right\}$. For $m\in \mathbb{N}$, let ${\mathbb{B}}^m=\{z\in {\mathbb{C}}^m:\left|z\right|<1\}$ be the open unit ball in the $m-$dimensional Euclidean space ${\mathbb{C}}^m$. Let $H\left({\mathbb{B}}^m\right)$ be the space of all analytic functions on ${\mathbb{B}}^m$. For an analytic self map $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ on ${\mathbb{B}}^m$ and ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$, we have a product type operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ which is basically a combination of three other operators namely composition operator $C_{\xi }$, multiplication operator $M_{\varphi }$ and radial derivative operator $\mathfrak{R}$. We study the boundedness and compactness of this operator mapping from weighted Bergman–Orlicz space ${\mathcal{A}}_{\sigma }^{\Psi }$ into weighted type spaces ${\mathcal{H}}_{\omega }^{\infty }$ and ${\mathcal{H}}_{\omega ,0}^{\infty }$.

1. Introduction

Let $z=(z_1,z_2,\dots ,z_m)$, $w=(w_1,w_2,\dots ,w_m)$ be points in ${\mathbb{C}}^m$ and $\overline{w}=(\overline{w_1},\overline{w_2},\dots ,\overline{w_m})$, where $\overline{w_k}$ is the complex conjugate of $w_k$$(k=1,2,\dots ,m)$. We write

$$\begin{array}{c}\hfill \left|z\right|=\sqrt{⟨z,z⟩}=\sqrt{|z_1{|}^2+|z_2{|}^2+\dots +{\left|z_m\right|}^2}\end{array}$$

and

$$\begin{array}{c}\hfill ⟨z,w⟩=z_1\overline{w_1}+z_2\overline{w_2}+\dots +z_m\overline{w_m}.\end{array}$$

Denote the open unit ball in ${\mathbb{C}}^m$ by ${\mathbb{B}}^m=\{z\in {\mathbb{C}}^m:\left|z\right|<1\}$. Let $H\left({\mathbb{B}}^m\right)$ be the space of all analytic functions on ${\mathbb{B}}^m$, ${\mathcal{S}}^m$ the boundary of ${\mathbb{B}}^m$ called as the sphere in ${\mathbb{C}}^m$. Let $dV$ be the Lebesgue measure on ${\mathbb{B}}^m$ and $d\sigma$ the normalized measure on ${\mathcal{S}}^m$. For $\sigma >-1$, we write $d{V}_{\sigma }\left(z\right)=C_{\sigma }{(1-|z|}^2{)}^{\sigma }dV\left(z\right)$, where $C_{\sigma }$ is such that $V_{\sigma }\left({\mathbb{B}}^m\right)=1$. For the result in settings of unit ball, refer to Ref. [1] and the references therein.

For $0<p<\infty$ and $\sigma >-1$, the weighted Bergman space ${\mathcal{A}}_{\sigma }^p\left({\mathbb{B}}^m\right)={\mathcal{A}}_{\sigma }^p$, consists of all those functions $f\in H\left({\mathbb{B}}^m\right)$ for which we have the following norm

$$\begin{array}{c}\hfill {\parallel f\parallel }_{{\mathcal{A}}_{\sigma }^p}^p={\int }_{{\mathbb{B}}^m}{\left|f\left(z\right)\right|}^{p}d{V}_{\sigma }\left(z\right)<\infty .\end{array}$$

A non-zero function $\Psi :[0,\infty )\to [0,\infty )$ is said to be a growth function if it is continuous and non-decreasing. Clearly, every growth function fixes origin, that is $\Psi \left(0\right)=0$. We say that the function $\Psi$ is of positive upper type (respectively, negative lower type) for every $s>0$ and $t\ge 1$, if there exist $C>0$ and $q>0$ (respectively, $q<0$) such that $\Psi \left(st\right)\le C{t}^q\Psi \left(s\right)$. The class of all growth functions $\Psi$ of positive upper type q, (for some $q\ge 1$) for which the function $t\to \Psi \left(t\right)/t$ is non-decreasing on $(0,\infty )$ is denoted by ${\mathfrak{U}}^q$. Similarly, for every $s>0$ and $0<t\le 1$, a function $\Psi$ is said to be of positive lower type (respectively, negative upper type) if there are $C>0$ and $p>0$ (respectively, $p<0$) such that $\Psi \left(st\right)\le C{t}^p\Psi \left(s\right)$. The set of all growth functions $\Psi$ of positive lower type r, (for some $0<r\le 1$) such that the function $t\to \Psi \left(t\right)/t$ is non-increasing on $(0,\infty )$ is denoted by ${\mathfrak{L}}_r$.

For a growth function $\Psi$, the weighted Bergman–Orlicz space ${\mathcal{A}}_{\sigma }^{\Psi }\left({\mathbb{B}}^m\right)={\mathcal{A}}_{\sigma }^{\Psi }$ is the class of all functions f in $H\left({\mathbb{B}}^m\right)$ such that

$$\begin{array}{c}\hfill {\parallel f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}={\int }_{{\mathbb{B}}^m}\Psi \left(\right|f\left(z\right)\left|\right)d{V}_{\sigma }\left(z\right)<\infty .\end{array}$$

The quasi-norm on ${\mathcal{A}}_{\sigma }^{\Psi }$ is defined as follows:

$$\begin{array}{c}\hfill {\parallel f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}^{lux}=inf\left\{\lambda >0:{\int }_{{\mathbb{B}}^m}\Psi \left(\frac{\left|f\right(z\left)\right|}{\lambda }\right)d{V}_{\sigma }\left(z\right)\le 1\right\}.\end{array}$$

If $\Psi \in {\mathfrak{U}}^q$ or $\Psi \in {\mathfrak{L}}_r$, then the quasi-norm on ${\mathcal{A}}_{\sigma }^{\Psi }$ is finite and called the Luxembourg norm. A quasi-norm on a linear space X is similar to a norm in that it satisfies the norm axioms, except that the triangle inequality is replaced by the quasi-triangle inequality, that is, $\parallel x+y\parallel \le C(\parallel x\parallel +\parallel y\parallel )$, for some $C>0$ and $x,y\in X$. The smallest C for which quasi-triangle inequality holds will be called the quasi-norm constant of $(X,\parallel ·\parallel )$. The Luxembourg space equipped with the Luxembourg quasi-norm is really a quasi-normed function space with the same quasi-triangle constant as the one of the quasi-norm. If $\Psi \left(t\right)=t^p$, for $p>0$, then we get the weighted Bergman space ${\mathcal{A}}_{\sigma }^p$. If $p\ge 1$, then ${\mathcal{A}}_{\sigma }^{{\Psi }_p}$ will be a Banach space which for $0<p<1$ is a translation-invariant metric space such that $d(f,g)={\parallel f-g\parallel }_{{\mathcal{A}}_{\sigma }^p}^p$. To know more about these spaces one may refer [2,3] and the references therein.

A positive continuous function $\omega$ on ${\mathbb{B}}^m$ is called as a weight. The weight $\omega$ is called to be a standard weight, if for $z\in {\mathbb{B}}^m$, we have $\omega \left(z\right)\to 0$ as $\left|z\right|\to 1$. Further, for $z\in {\mathbb{B}}^m$, we call a weight $\omega$ to be radial, if $\omega \left(z\right)=\omega \left(\right|z\left|\right)$. For a weight $\omega$ the weighted-type space ${\mathcal{H}}_{\omega }^{\infty }\left({\mathbb{B}}^m\right)={\mathcal{H}}_{\omega }^{\infty }$ is the space of all functions $f\in H\left({\mathbb{B}}^m\right)$ for which

$$\begin{array}{cc}\hfill {\parallel f\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}& =\underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)\left|f\right(z\left)\right|<\infty .\hfill \end{array}$$

The little weighted-type space ${\mathcal{H}}_{\omega ,0}^{\infty }\left({\mathbb{B}}^m\right)={\mathcal{H}}_{\omega ,0}^{\infty }$ is the subspace of the space ${\mathcal{H}}_{\omega }^{\infty }$ and contains all those $f\in H\left({\mathbb{B}}^m\right)$ for which

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)\left|f\left(z\right)\right|=0.\hfill \end{array}$$

Clearly, ${\mathcal{H}}_{\omega ,0}^{\infty }$ is closed in ${\mathcal{H}}_{\omega }^{\infty }$. In particular, for $\omega \left(z\right)={(1-|z|}^2{)}^{\sigma };$ $\sigma >0$, the space ${\mathcal{H}}_{\omega }^{\infty }$(${\mathcal{H}}_{\omega ,0}^{\infty }$) will be the classical weighted-type spaces $H_{\sigma }^{\infty }$ (respectively, classical little weighted-type spaces $H_{\sigma ,0}^{\infty }$). For $\omega \equiv 1$, the space ${\mathcal{H}}_{\omega }^{\infty }$ get reduced to the the space $H^{\infty }$ of bounded analytic function on ${\mathbb{B}}^m$. The weighted-type spaces have been studied by various authors see e.g., [4,5,6] and the references therein.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be a holomorphic self-map of ${\mathbb{B}}^m$ and $\varphi \in H\left({\mathbb{B}}^m\right)$. Then, the composition, multiplication, differential and weighted composition operator on $H\left({\mathbb{B}}^m\right)$ are respectively defined as

$$\begin{array}{cc}\hfill C_{\xi }f\left(z\right)& =(f\circ \xi )\left(z\right)=f\left(\xi \right(z\left)\right)\hfill \\ \hfill M_{\varphi }f\left(z\right)& =\varphi \left(z\right)f\left(z\right)\hfill \\ \hfill Df\left(z\right)& =f^{\prime }\left(z\right)\hfill \\ \hfill W_{\varphi ,\xi }f\left(z\right)& =\left(M_{\varphi }{C}_{\xi }\right)f\left(z\right)=\varphi \left(z\right)f\left(\xi \left(z\right)\right),z\in {\mathbb{B}}^m;f\in H\left({\mathbb{B}}^m\right).\hfill \end{array}$$

$W_{\varphi ,\xi }$ is a product-type operator as $W_{\varphi ,\xi }=M_{\varphi }{C}_{\xi }$. More results on weighted composition operators on class of holomorphic functions can be found in [7,8] and the references therein. The product-type operators $W_{\varphi ,\xi }D$ and $D{W}_{\varphi ,\xi }$ were respectively, considered in [2] and [3]. To characterize the product-type operators in a unified way, new product-type operator $T_{{\varphi }_1,{\varphi }_2,\xi }$ was introduced which can be found in [9,10] and the references therein.

For $f\in H\left({\mathbb{B}}^m\right)$, the radial derivative is defined by

$$\begin{array}{cc}\hfill \mathfrak{R}f\left(z\right)& =\sum _{j=1}^m{z}_j\frac{\partial f}{\partial z_j}\left(z\right)=⟨\nabla f\left(z\right),\overline{z}⟩,\hfill \end{array}$$

where $\nabla f\left(z\right)$ denotes the gradient of f which is defined by

$$\begin{array}{cc}\hfill \nabla f\left(z\right)& =\left(\frac{\partial f}{\partial z_1}\left(z\right),\frac{\partial f}{\partial z_2}\left(z\right),\dots ,\frac{\partial f}{\partial z_m}\left(z\right)\right).\hfill \end{array}$$

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be a holomorphic self map of ${\mathbb{B}}^m$, then

$$\begin{array}{cc}\hfill \left|\xi \right(z\left)\right|& =\sqrt{\sum _{j=1}^m|{\xi }_j\left(z\right){|}^2}\hfill \\ \hfill \mathfrak{R}\xi \left(z\right)& =\left(\mathfrak{R}{\xi }_1\left(z\right),\mathfrak{R}{\xi }_2\left(z\right),\dots ,\mathfrak{R}{\xi }_m\left(z\right)\right)\hfill \\ \hfill \left|\mathfrak{R}\xi \right(z\left)\right|& =\sqrt{\sum _{j=1}^m|\mathfrak{R}{\xi }_j\left(z\right){|}^2}.\hfill \end{array}$$

For more information about the radial derivative operator we refer to [11,12] and the references therein. Using radial derivative operator and ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$, Liu and Yu in [13] studied the extension of the operator $T_{{\varphi }_1,{\varphi }_2,\xi }$ which is denoted by $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ and defined as

$$\begin{array}{cc}\hfill T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }f\left(z\right)& ={\varphi }_1\left(z\right)f\left(\xi \left(z\right)\right)+{\varphi }_2\left(z\right)\mathfrak{R}f\left(\xi \left(z\right)\right)+{\varphi }_3\left(z\right)\mathfrak{R}(f\circ \xi )\left(z\right),\hfill \end{array}$$

where $f\in H\left({\mathbb{B}}^m\right)$ and $z\in {\mathbb{B}}^m$. Clearly, by fixing ${\varphi }_1,{\varphi }_2,{\varphi }_3$ in $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$, all possible products of above defined operators can be obtained. In particular, by setting ${\varphi }_2\left(z\right)\equiv {\varphi }_3\left(z\right)\equiv 0$, the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ get reduced to $W_{{\varphi }_1,\xi }$. Similarly, for ${\varphi }_1\left(z\right)\equiv {\varphi }_3\left(z\right)\equiv 0$, the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ get reduced to $W_{{\varphi }_2,\xi }\mathfrak{R}$. The above defined operator can be found in [13] and the references therein. Various product-type operators have been studied for spaces of analytic functions on the unit disk. For this one can refer [14,15,16,17,18,19]. Product-type operators for the unit ball have also been considered by various experts which can be found in [5,13,20,21,22,23]. Operators involving radial derivative have been considered in many papers some of which are [6,24,25] and the references therein.

In this paper, we investigate the boundedness as well as the compactness of the operators $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$. This paper is represented in a systematic manner. Introduction and literature part is kept in Section 1 and Section 2 consists of some auxiliary results which are used to derive the main results. In Section 3, we characterize the boundedness of operators $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ and $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$. Finally, in Section 4, the compactness of operators $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ and $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ is given. Throughout the paper, for any two positive quantities a and b, the notation $a\lesssim b$ means that $a\le Cb$, for some constant $C>0$. The constant C may differ at each occurrence. Further, if both $a\gtrsim b$ and $b\gtrsim a$ hold, then we simply write $a\asymp b$.

2. Auxiliary Results

To obtain the desired results, we have used the following auxiliary results:

Lemma 1.

Let $\Psi \in {\mathfrak{L}}_{\mathfrak{p}}\cup {\mathfrak{U}}^{\mathfrak{q}}$ and $\sigma >-1$. There is a constant $C>1$ such that for any $f\in {\mathcal{A}}_{\sigma }^{\Psi }$,

$$\begin{array}{cc}\hfill \left|f\right(z\left)\right|& \le C{\Psi }^{-1}\left(\frac{1}{{(1-|z|}^2{)}^{m+\sigma +1}}\right){\parallel f\parallel }_{\sigma ,\Psi }^{lux}.\hfill \end{array}$$

Lemma 2.

Let $-1<\sigma <\infty$, $w\in {\mathbb{B}}^m$. Let $K>1$. Suppose that $\Psi \in {\mathfrak{L}}_{\mathfrak{p}}\cup {\mathfrak{U}}^{\mathfrak{q}}$. Then, the following function is in ${\mathcal{A}}_{\sigma }^{\Psi }$

$$\begin{array}{cc}\hfill f_w\left(z\right)& ={\Psi }^{-1}\left(\frac{1}{{(1-|w|}^2{)}^{m+\sigma +1}}\right){\left(\frac{1-{\left|w\right|}^2}{1-⟨z,w⟩}\right)}^{K(m+\sigma +1)}.\hfill \end{array}$$

Moreover, $\parallel f_w{\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}^{lux}\lesssim 1$.

For the proof of Lemma 1 and Lemma 2, we refer to [26,27].

Lemma 3.

[28] Let $\Psi \in {\mathfrak{L}}_{\mathfrak{p}}\cup {\mathfrak{U}}^{\mathfrak{q}}$ and $\sigma >-1$. Then, there are two positive constants $C_1$ and $C_2$ such that for any $f\in {\mathcal{A}}_{\sigma }^{\Psi }$,

$$\begin{array}{cc}\hfill |\nabla f(z\left)\right|& \le \frac{C_1}{1-{\left|z\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|z|}^2{)}^{m+\sigma +1}}\right){\parallel f\parallel }_{\sigma ,\Psi }^{lux},for anyz\in {\mathbb{B}}^m.\hfill \end{array}$$

Lemma 4.

[20] Let ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$, $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ denote an analytic self-map of ${\mathbb{B}}^m$. Then, $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is compact if and only if $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is bounded and for every sequence $\left\{f_m\right\}$ in ${\mathcal{A}}_{\sigma }^{\Psi }$ which is bounded and on compact subsets of ${\mathbb{B}}^m$ uniformly converges to zero as $m\to \infty$, we have $\parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f}_m{\parallel }_{{\mathcal{H}}_{\omega }^{\infty }} \to 0$ as $m\to \infty$.

The compactness of $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ from a holomorphic space to ${\mathcal{H}}_{\omega ,0}^{\infty }$ can be obtained by using the following lemma which is similar to Lemma 1 in [21]. So the proof is omitted.

Lemma 5.

A set A closed in ${\mathcal{H}}_{\omega ,0}^{\infty }$ is compact if and only if it is bounded and satisfy the following condition

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\underset{h\in A}{sup}\omega \left(z\right)\left|h\left(z\right)\right|=0.\hfill \end{array}$$

3. Boundedness of Operator ${\mathit{T}}_{{\mathbf{\varphi }}_{\mathbf{1}},{\mathbf{\varphi }}_{\mathbf{2}},{\mathbf{\varphi }}_{\mathbf{3}},\mathbf{\xi }}$ from Weighted Bergman–Orlicz Space to Weighted and Little Weighted Type Spaces

Theorem 1.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ denote an analytic self map of ${\mathbb{B}}^m$ and ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$. Then, the following statements hold true:

(a) 

If

$$\begin{array}{cc}\hfill & \underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)|{\varphi }_1\left(z\right)|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)<\infty \hfill \end{array}$$

(1)

and

$$\begin{array}{cc}\hfill & \underset{z\in {\mathbb{B}}^m}{sup}\frac{\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)<\infty ,\hfill \end{array}$$

(2)

then $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is bounded.

(b) 

If $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ is bounded then the condition (1) hold and

$$\begin{array}{cc}\hfill & \underset{z\in {\mathbb{B}}^m}{sup}\frac{\omega \left(z\right)|⟨{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right),\xi \left(z\right)⟩|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)<\infty .\hfill \end{array}$$

(3)

Proof. 

$\left(a\right)$ First, suppose that conditions (1) and (2) are true. Then, for $f\in {\mathcal{A}}_{\sigma }^{\Psi }$ and any $z\in {\mathbb{B}}^m$, we have

$$\begin{array}{cc}\hfill \mathfrak{R}(f\circ \xi )\left(z\right)=& \sum _{j=1}^m{z}_j\frac{\partial (f\circ \xi )}{\partial z_j}\left(z\right)\hfill \\ \hfill =& \sum _{j=1}^m{z}_j\left(\sum _{k=1}^m\frac{\partial f}{\partial z_k}\left(\xi \left(z\right)\right)\frac{\partial {\xi }_k}{\partial z_j}\left(z\right)\right)\hfill \\ \hfill =& \sum _{k=1}^m\left(\frac{\partial f}{\partial z_k}\left(\xi \left(z\right)\right)\sum _{j=1}^m{z}_j\frac{\partial {\xi }_k}{\partial z_j}\left(z\right)\right)\hfill \\ \hfill =& \sum _{j=1}^m\left(\frac{\partial f}{\partial z_j}\left(\xi \left(z\right)\right)\mathfrak{R}{\xi }_j\left(z\right)\right)\hfill \\ \hfill =& ⟨\nabla f\left(\xi \left(z\right)\right),\overline{\mathfrak{R}\xi \left(z\right)}⟩.\hfill \end{array}$$

Thus, we have

$$\begin{array}{cc}\hfill & \omega \left(z\right)|T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }f\left(z\right)|\hfill \\ \hfill & =\omega \left(z\right)|{\varphi }_1\left(z\right)f\left(\xi \left(z\right)\right)+{\varphi }_2\left(z\right)\mathfrak{R}f\left(\xi \left(z\right)\right)+{\varphi }_3\left(z\right)\mathfrak{R}(f\circ \xi )\left(z\right)|\hfill \\ \hfill & \le \omega \left(z\right)|{\varphi }_1\left(z\right)f\left(\xi \left(z\right)\right)|+\omega \left(z\right)|{\varphi }_2\left(z\right)\mathfrak{R}f\left(\xi \left(z\right)\right)+{\varphi }_3\left(z\right)\mathfrak{R}(f\circ \xi )\left(z\right)|\hfill \\ \hfill & =\omega \left(z\right)|{\varphi }_1\left(z\right)\left|\right|f\left(\xi \left(z\right)\right)|+\omega \left(z\right)|{\varphi }_2\left(z\right)⟨\nabla f\left(\xi \left(z\right)\right),\overline{\xi \left(z\right)}⟩+{\varphi }_3\left(z\right)⟨\nabla f\xi \left(z\right)),\overline{\mathfrak{R}\xi \left(z\right)}⟩|\hfill \\ \hfill & \le \omega \left(z\right)|{\varphi }_1\left(z\right)\left|\right|f\left(\xi \left(z\right)\right)|+\omega \left(z\right)|⟨\nabla f\left(\xi \left(z\right)\right),\overline{{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)}⟩|\hfill \\ \hfill & \le \omega \left(z\right)|{\varphi }_1\left(z\right)\left|\right|f\left(\xi \left(z\right)\right)|+\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)\left|\right|\nabla f\left(\xi \left(z\right)\right)|\hfill \\ \hfill & \le C\omega \left(z\right)|{\varphi }_1\left(z\right)|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right){\parallel f\parallel }_{\sigma ,\Psi }^{lux}\hfill \\ \hfill & +C\frac{|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right){\parallel f\parallel }_{\sigma ,\Psi }^{lux}\hfill \\ \hfill & =C[\omega \left(z\right)|{\varphi }_1\left(z\right)|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)\hfill \\ \hfill & +\frac{|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)]{\parallel f\parallel }_{\sigma ,\Psi }^{lux}.\hfill \end{array}$$

(4)

From (1), (2) and (4), it follows that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is bounded.

$\left(b\right)$ Conversely, suppose that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is bounded. Thus, there exist an independent constant $C>0$ such that

$$\begin{array}{cc}\hfill \parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}& \le {C\parallel f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}.\hfill \end{array}$$

For $w\in {\mathbb{B}}^m$, let

$$\begin{array}{cc}\hfill f_w\left(z\right)=& a_0{\left(\frac{1-{\left|\xi \left(w\right)\right|}^2}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)}+a_1{\left(\frac{1-{\left|\xi \left(w\right)\right|}^2}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)+1},\hfill \end{array}$$

(5)

where $a_0=K(m+\sigma +1)+1$ and $a_1=-K(m+\sigma +1)$. This implies

$$\begin{array}{cc}\hfill \mathfrak{R}{f}_w\left(z\right)& =a_0{(1-{\left|\xi \left(w\right)\right|}^2)}^{K(m+\sigma +1)}\sum _{j=1}^m{z}_j\frac{\partial }{\partial z_j}{\left(\frac{1}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)}\hfill \\ \hfill & +a_0{(1-{\left|\xi \left(w\right)\right|}^2)}^{K(m+\sigma +1)+1}\sum _{j=1}^m{z}_j\frac{\partial }{\partial z_j}{\left(\frac{1}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)+1}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =a_0\left[K(m+\sigma +1)\right]\left(\frac{⟨z,\xi \left(w\right)⟩}{1-⟨z,\xi \left(w\right)⟩}\right){\left(\frac{(1-|\xi \left(w\right){|}^2)}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)}\hfill \\ \hfill & +a_1\left[K(m+\sigma +1)+1\right]\left(\frac{⟨z,\xi \left(w\right)⟩}{1-⟨z,\xi \left(w\right)⟩}\right){\left(\frac{(1-|\xi \left(w\right){|}^2)}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)+1}.\hfill \end{array}$$

(6)

By Lemma 2, we have ${sup}_{w\in {\mathbb{B}}^m}\parallel f_w{\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}\lesssim 1$. Using (5) and (6), we get

$$\begin{array}{c}\hfill f_w\left(\xi \left(w\right)\right)=1\mathrm{and}\mathfrak{R}{f}_w\left(\xi \left(w\right)\right)=0.\end{array}$$

(7)

Since

$$\begin{array}{cc}\hfill f_w\left(\xi \left(z\right)\right)& =a_0{\left(\frac{1-{\left|\xi \left(w\right)\right|}^2}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)}+a_1{\left(\frac{1-{\left|\xi \left(w\right)\right|}^2}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)+1}.\hfill \end{array}$$

Therefore,

$$\begin{array}{cc}\hfill & \mathfrak{R}(f_w\circ \xi )\left(z\right)\hfill \\ \hfill & =a_0\left[K(m+\sigma +1)\right]\left(\frac{⟨\mathfrak{R}\xi \left(z\right),\xi \left(w\right)⟩}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right){\left(\frac{(1-|\xi \left(w\right){|}^2)}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)}\hfill \\ \hfill & +a_1\left[K(m+\sigma +1)+1\right]\left(\frac{⟨\mathfrak{R}\xi \left(z\right),\xi \left(w\right)⟩}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right){\left(\frac{(1-|\xi \left(w\right){|}^2)}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)+1},\hfill \end{array}$$

which implies

$$\begin{array}{cc}\hfill \mathfrak{R}(f_w\circ \xi )\left(w\right)& =0.\hfill \end{array}$$

(8)

Using function $f_w$, define a function as

$$\begin{array}{cc}\hfill f\left(z\right)& ={\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)f_w\left(z\right).\hfill \end{array}$$

(9)

From conditions (7), (8) and (9), we obtain

$$\begin{array}{cc}\hfill & \mathfrak{R}f\left(\xi \left(w\right)\right)=\mathfrak{R}(f\circ \xi )\left(w\right)=0,f\left(\xi \left(w\right)\right)={\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right).\hfill \end{array}$$

(10)

Using Lemma 2, we have $f\in {\mathcal{A}}_{\sigma }^{\Psi }$ and ${\parallel f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}\lesssim 1$. By Equation (10) and boundedness of the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$, we have

$$\begin{array}{cc}\hfill & \omega \left(w\right)|{\varphi }_1\left(w\right)|\left(\frac{1}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)\le C\parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }\parallel .\hfill \end{array}$$

Thus,

$$\begin{array}{cc}\hfill & \underset{w\in {\mathbb{B}}^m}{sup}\omega \left(w\right)\left|{\varphi }_1\left(w\right)\right|\left(\frac{1}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)<\infty .\hfill \end{array}$$

This proves (1). For $f\left(z\right)\equiv 1\in {\mathcal{A}}_{\sigma }^{\Psi }$, we have

$$\begin{array}{cc}\hfill K_1& :=\underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)|{\varphi }_1\left(z\right)|<\infty .\hfill \end{array}$$

(11)

Taking the function $f_j\left(z\right)=z_j\in {\mathcal{A}}_{\sigma }^{\Psi }$, we obtain

$$\begin{array}{cc}\hfill & \underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)|{\varphi }_1\left(z\right){\xi }_j\left(z\right)+{\varphi }_2\left(z\right){\xi }_j\left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}{\xi }_j\left(z\right)|<\infty .\hfill \end{array}$$

(12)

Using (11) and (12) with the fact that $\left|\xi \right(z\left)\right|\le 1$, we get

$$\begin{array}{cc}\hfill & \underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|\hfill \\ \hfill & =\underset{z\in {\mathbb{B}}^m}{sup}\sqrt{\sum _{j=1}^m|{\varphi }_2\left(z\right){\xi }_j\left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}{\xi }_j\left(z\right){|}^2}\hfill \\ \hfill & \le C+\underset{z\in {\mathbb{B}}^m}{sup}\sqrt{\sum _{j=1}^m|{\varphi }_1\left(z\right){\xi }_j\left(z\right){|}^2}\hfill \\ \hfill & \le C+\underset{z\in {\mathbb{B}}^m}{sup}|{\varphi }_1\left(z\right)\left|\right|\xi \left(z\right)|\hfill \\ \hfill & \le C+K_1.\hfill \end{array}$$

Thus,

$$\begin{array}{cc}\hfill K_2& :=\underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|<\infty .\hfill \end{array}$$

(13)

For a fixed $w\in {\mathbb{B}}^m$, define

$$\begin{array}{cc}\hfill g_w\left(z\right)=& {\left(\frac{1-{\left|\xi \left(w\right)\right|}^2}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)}-{\left(\frac{1-{\left|\xi \left(w\right)\right|}^2}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)+1}.\hfill \end{array}$$

(14)

This implies

$$\begin{array}{cc}\hfill \mathfrak{R}{g}_w\left(z\right)& =\left[K(m+\sigma +1)\right]\left(\frac{⟨z,\xi \left(w\right)⟩}{1-⟨z,\xi \left(w\right)⟩}\right){\left(\frac{(1-|\xi \left(w\right){|}^2)}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)}\hfill \\ \hfill & -\left[K(m+\sigma +1)+1\right]\left(\frac{⟨z,\xi \left(w\right)⟩}{1-⟨z,\xi \left(w\right)⟩}\right){\left(\frac{(1-|\xi \left(w\right){|}^2)}{1-⟨z,\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)+1}.\hfill \end{array}$$

(15)

By Lemma 2, we have $g_w\in {\mathcal{A}}_{\sigma }^{\Psi }\left({\mathbb{B}}^m\right)$ and ${sup}_{w\in {\mathbb{B}}^m}\parallel g_w{\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}\lesssim 1$. Conditions (14) and (15) implies that

$$\begin{array}{cc}\hfill & g_w\left(\xi \left(w\right)\right)=0,{\mathfrak{R}}_w\left(\xi \left(w\right)\right)=\frac{-{\left|\xi \left(w\right)\right|}^2}{1-{\left|\xi \left(w\right)\right|}^2}.\hfill \end{array}$$

(16)

Now, we have

$$\begin{array}{cc}\hfill & \mathfrak{R}(g_w\circ \xi )\left(z\right)\hfill \\ \hfill & = \left[K(m+\sigma +1)\right]\left(\frac{⟨\mathfrak{R}\xi \left(z\right),\xi \left(w\right)⟩}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right){\left(\frac{(1-|\xi \left(w\right){|}^2)}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)}\hfill \\ \hfill & -\left[K(m+\sigma +1)+1\right]\left(\frac{⟨\mathfrak{R}\xi \left(z\right),\xi \left(w\right)⟩}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right){\left(\frac{(1-|\xi \left(w\right){|}^2)}{1-⟨\xi \left(z\right),\xi \left(w\right)⟩}\right)}^{K(m+\sigma +1)+1},\hfill \end{array}$$

which implies

$$\begin{array}{cc}\hfill \mathfrak{R}(g_w\circ \xi )\left(w\right)& =\frac{-⟨\mathfrak{R}\xi \left(w\right),\xi \left(w\right)⟩}{1-{\left|\xi \left(w\right)\right|}^2}.\hfill \end{array}$$

(17)

Using function $g_w$, define another function

$$\begin{array}{cc}\hfill g\left(z\right)& ={\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)g_w\left(z\right).\hfill \end{array}$$

(18)

Therefore, by conditions (16), (17) and (18), we get

$$\begin{array}{cc}\hfill g\left(\xi \right(w\left)\right)& =0,\hfill \\ \hfill \mathfrak{R}g\left(\xi \right(w\left)\right)& =\left(\frac{-{\left|\xi \left(w\right)\right|}^2}{1-{\left|\xi \left(w\right)\right|}^2}\right){\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right),\hfill \\ \hfill \mathfrak{R}(g\circ \xi )\left(w\right)& =\left(\frac{-⟨\mathfrak{R}\xi \left(w\right),\xi \left(w\right)⟩}{1-{\left|\xi \left(w\right)\right|}^2}\right){\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right).\hfill \end{array}$$

For $w\in {\mathbb{B}}^m$, we have

$$\begin{array}{cc}\hfill C& \ge \parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{g\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}\hfill \\ \hfill & \ge \omega \left(w\right)|{\varphi }_1\left(w\right)g\left(\xi \left(w\right)\right)+{\varphi }_2\left(w\right)\mathfrak{R}g\left(\xi \left(w\right)\right)+{\varphi }_3\left(z\right)\mathfrak{R}(g\circ \xi )\left(w\right)|\hfill \\ \hfill & =\omega \left(w\right)\left|\frac{{\varphi }_2\left(w\right){\left|\xi \left(w\right)\right|}^2+{\varphi }_3\left(w\right)⟨\mathfrak{R}\xi \left(w\right),\xi \left(w\right)⟩}{1-{\left|\xi \left(w\right)\right|}^2}\right|{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)\hfill \\ \hfill & =\omega \left(w\right)\frac{\left|⟨{\varphi }_2\left(w\right)\xi \left(w\right)+{\varphi }_3\left(w\right)\mathfrak{R}\xi \left(w\right),\xi \left(w\right)⟩\right|}{1-{\left|\xi \left(w\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right).\hfill \end{array}$$

(19)

From (19), it follows that

$$\begin{array}{cc}\hfill & \underset{w\in {\mathbb{B}}^m}{sup}\omega \left(w\right)\frac{\left|⟨{\varphi }_2\left(w\right)\xi \left(w\right)+{\varphi }_3\left(w\right)\mathfrak{R}\xi \left(w\right),\xi \left(w\right)⟩\right|}{1-{\left|\xi \left(w\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)<\infty ,\hfill \end{array}$$

which proves condition (3). This completes the theorem.  □

Corollary 1.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be an analytic self map of ${\mathbb{B}}^m$, ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$ and suppose the functions ξ and ${\varphi }_2\xi +{\varphi }_3\mathfrak{R}\xi$ are linearly dependent. Then, $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded if and only if it satisfies (1) and (2).

Proof. 

First suppose that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded. Then, by condition $\left(b\right)$ of Theorem 1, we see that (1) holds. So, we only need to prove (2). Using Cauchy-Schwartz inequality and (19), for $w\in {\mathbb{B}}^m$ we get

$$\begin{array}{cc}\hfill C& \ge \omega \left(w\right)\left|\frac{{\varphi }_2\left(w\right){\left|\xi \left(w\right)\right|}^2+{\varphi }_3\left(w\right)⟨\mathfrak{R}\xi \left(w\right),\xi \left(w\right)⟩}{1-{\left|\xi \left(w\right)\right|}^2}\right|{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)\hfill \\ \hfill & =\omega \left(w\right)\frac{\left|⟨{\varphi }_2\left(w\right)\xi \left(w\right)+{\varphi }_3\left(w\right)\mathfrak{R}\xi \left(w\right),\xi \left(w\right)⟩\right|}{1-{\left|\xi \left(w\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)\hfill \\ \hfill & =\omega \left(w\right)\frac{|{\varphi }_2\left(w\right)\xi \left(w\right)+{\varphi }_3\left(w\right)\mathfrak{R}\xi \left(w\right)|\left|\xi \left(w\right)\right|}{1-{\left|\xi \left(w\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right).\hfill \end{array}$$

(20)

Thus, for $\delta \in (0,1)$, condition (20) implies that

$$\begin{array}{cc}\hfill & \underset{\delta <\left|\xi \right(w\left)\right|<1}{sup}\omega \left(w\right)\frac{|{\varphi }_2\left(w\right)\xi \left(w\right)+{\varphi }_3\left(w\right)\mathfrak{R}\xi \left(w\right)|}{1-{\left|\xi \left(w\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)\hfill \\ \hfill \le & \underset{\delta <\left|\xi \right(w\left)\right|<1}{sup}\omega \left(w\right)\frac{|{\varphi }_2\left(w\right)\xi \left(w\right)+{\varphi }_3\left(w\right)\mathfrak{R}\xi \left(w\right)|\left|\xi \left(w\right)\right|}{\delta (1-|\xi \left(w\right){|}^2)}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)\hfill \\ \hfill \le & \frac{C}{\delta }.\hfill \end{array}$$

(21)

Therefore, by Equation (13), we have

$$\begin{array}{cc}\hfill & \underset{\left|\xi \right(w\left)\right|\le \delta }{sup}\omega \left(w\right)\frac{|{\varphi }_2\left(w\right)\xi \left(w\right)+{\varphi }_3\left(w\right)\mathfrak{R}\xi \left(w\right)|}{1-{\left|\xi \left(w\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(w\right)|}^2{)}^{m+\sigma +1}}\right)\hfill \\ \hfill \le & \underset{\left|\xi \right(w\left)\right|\le \delta }{sup}\omega \left(w\right)\frac{|{\varphi }_2\left(w\right)\xi \left(w\right)+{\varphi }_3\left(w\right)\mathfrak{R}\xi \left(w\right)|}{1-{\delta }^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-{\delta }^2)}^{m+\sigma +1}}\right)\hfill \\ \hfill \le & \frac{K_2}{1-{\delta }^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-{\delta }^2)}^{m+\sigma +1}}\right)<\infty .\hfill \end{array}$$

(22)

Hence, (2) follows from the combination of (21) and (22). This completes the proof.

Conversely suppose that (1) and (2) hold. Then, from condition $\left(a\right)$ in Theorem 1 we get that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded.  □

In Corollary 1, if we take ${\varphi }_1\left(z\right)=\varphi \left(z\right)$ and ${\varphi }_2\left(z\right)\equiv {\varphi }_3\left(z\right)\equiv 0$, then the operator get reduced to the weighted composition operator $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$. Thus we get the following corollary for the boundedness of $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ as:

Corollary 2.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be an analytic self map of ${\mathbb{B}}^m$ and $\varphi \in H\left({\mathbb{B}}^m\right)$. Then the operator $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded if and only if

$$\begin{array}{cc}\hfill & \underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)\left|\varphi \left(z\right)\right|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)<\infty .\hfill \end{array}$$

Theorem 2.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be an analytic self map of ${\mathbb{B}}^m$ and ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$. Then, the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ is bounded if and only if $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded and satisfy the conditions

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)\left|{\varphi }_1\left(z\right)\right|=0\hfill \end{array}$$

(23)

and

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|=0.\hfill \end{array}$$

(24)

Proof. 

First suppose that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ is bounded. This implies the boundedness of $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$. Thus for each $f\in {\mathcal{A}}_{\sigma }^{\Psi }$, we have $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }f\in {\mathcal{H}}_{\omega ,0}^{\infty }$. On setting $f\left(z\right)\equiv 1\in {\mathcal{A}}_{\sigma }^{\Psi }$, we get that

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)\left|{\varphi }_1\left(z\right)\right|=0,\hfill \end{array}$$

which proves (23). Now, for $k=1,2,\dots ,m$ take $f_k\left(z\right)=z_k\in {\mathcal{A}}_{\sigma }^{\Psi }$. So, we get

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)|{\varphi }_1\left(z\right){\xi }_k\left(z\right)+{\varphi }_2\left(z\right){\xi }_k\left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}{\xi }_k\left(z\right)|=0.\hfill \end{array}$$

(25)

By using (23) and (25) and triangle inequality with condition $|{\xi }_k\left(z\right)|\le |\xi \left(z\right)|\le 1$, we get

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)|{\varphi }_2\left(z\right){\xi }_k\left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}{\xi }_k\left(z\right)|=0,k=1,2,\dots ,m.\hfill \end{array}$$

Thus,

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|=0,\hfill \end{array}$$

which proves (24).

Conversely, suppose that (23), (24) hold and $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded. Then, for each polynomial q and $z\in {\mathbb{B}}^m$, we obtain

$$\begin{array}{cc}\hfill & \left|q\left(z\right)\right|\le {\parallel q\parallel }_{\infty },\mathrm{and}|\nabla q\left(z\right)|\le C<\infty .\hfill \end{array}$$

Therefore,

$$\begin{array}{cc}\hfill & \omega \left(z\right)|T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }q\left(z\right)|\hfill \\ & =\omega \left(z\right)|{\varphi }_1\left(z\right)q\left(\xi \left(z\right)\right)+{\varphi }_2\left(z\right)\mathfrak{R}q\left(\xi \left(z\right)\right)+{\varphi }_3\left(z\right)\mathfrak{R}(q\circ \xi )\left(z\right)|\hfill \\ \hfill & \le \omega \left(z\right)|{\varphi }_1\left(z\right)q\left(\xi \left(z\right)\right)|+\omega \left(z\right)|{\varphi }_2\left(z\right)\mathfrak{R}q\left(\xi \left(z\right)\right)+{\varphi }_3\left(z\right)\mathfrak{R}(q\circ \xi )\left(z\right)|\hfill \\ \hfill & =\omega \left(z\right)|{\varphi }_1\left(z\right)\left|\right|q\left(\xi \left(z\right)\right)|+\omega \left(z\right)|{\varphi }_2\left(z\right)⟨\nabla q\left(\xi \left(z\right)\right),\overline{\xi \left(z\right)}⟩+{\varphi }_3\left(z\right)⟨\nabla q\xi \left(z\right)),\overline{\mathfrak{R}\xi \left(z\right)}⟩|\hfill \\ \hfill & =\omega \left(z\right)|{\varphi }_1\left(z\right)\left|\right|q\left(\xi \left(z\right)\right)|+\omega \left(z\right)\left|⟨\nabla q\left(\xi \left(z\right)\right),\overline{{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)}⟩\right|\hfill \\ \hfill & \le \omega \left(z\right)|{\varphi }_1\left(z\right)\left|\right|q\left(\xi \left(z\right)\right)|+\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)\left|\right|\nabla q\left(\xi \left(z\right)\right)|\hfill \\ \hfill & \le \omega \left(z\right)|{\varphi }_1{\left(z\right)|\parallel q\parallel }_{\infty }+C\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|\hfill \\ \hfill & ⟶0\mathrm{as}\left|z\right|\to 1.\hfill \end{array}$$

From the above fact, we get that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }q\in {\mathcal{H}}_{\omega ,0}^{\infty }$. As we know that the class of all the polynomial is dense in ${\mathcal{A}}_{\sigma }^{\Psi }$, so for each $f\in {\mathcal{A}}_{\sigma }^{\Psi }$, there will be a sequence ${\left\{q_k\right\}}_{k\in \mathbb{N}}$ such that

$$\begin{array}{cc}\hfill & \underset{k\to \infty }{lim}{\parallel q_k-f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}=0.\hfill \end{array}$$

By the boundedness of the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$, we get that

$$\begin{array}{cc}\hfill & \parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{q}_k-T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}\le \parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }\parallel \parallel q_k{-f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}\to 0\mathrm{as}k\to \infty .\hfill \end{array}$$

Thus, $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }f\in {\mathcal{H}}_{\omega ,0}^{\infty }$. As ${\mathcal{H}}_{\omega ,0}^{\infty }\subset {\mathcal{H}}_{\omega }^{\infty }$ is closed, this implies $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }\left({\mathcal{A}}_{\sigma }^{\Psi }\right)\subset {\mathcal{H}}_{\omega ,0}^{\infty }$. Hence, the boundedness of $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ follows from the boundedness of $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$. This completes the proof.  □

By taking ${\varphi }_1\left(z\right)=\varphi \left(z\right)$ and ${\varphi }_2\left(z\right)\equiv {\varphi }_3\left(z\right)\equiv 0$ in Theorem 2, we get $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$. Thus, we get the following corollary for the boundedness of $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ as:

Corollary 3.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be an analytic self map of ${\mathbb{B}}^m$ and $\varphi \in H\left({\mathbb{B}}^m\right)$. Then, the operator $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ is bounded if and only if $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded and $\varphi \in {\mathcal{H}}_{\omega ,0}^{\infty }$.

Theorem 3.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ denotes an analytic self map of ${\mathbb{B}}^m$ and ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$. Then, the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ is bounded if it satisfy the conditions

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)\left|{\varphi }_1\left(z\right)\right|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)=0\hfill \end{array}$$

(26)

and

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\frac{\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)=0.\hfill \end{array}$$

(27)

Proof. 

Suppose that (26) and (27) hold. It clearly implies that (1) and (2) hold. By using condition $\left(a\right)$ in 1, we obtain that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded. So, by taking $f\in {\mathcal{A}}_{\sigma }^{\Psi }$ and using (4), we get

$$\begin{array}{cc}\hfill & \omega \left(z\right)|T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }f\left(z\right)|\hfill \\ \hfill & \le \omega \left(z\right)|{\varphi }_1\left(z\right)\left|\right|f\left(\xi \left(z\right)\right)|+\omega \left(z\right)|{\varphi }_2\left(z\right)\mathfrak{R}f\left(\xi \left(z\right)\right)+{\varphi }_3\left(z\right)\mathfrak{R}(f\circ \xi )\left(z\right)|\hfill \\ \hfill & \le {C\parallel f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}[\omega \left(z\right)\left|{\varphi }_1\left(z\right)\right|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)\hfill \\ \hfill & +\frac{\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)]\hfill \\ \hfill & ⟶0\mathrm{as}\left|z\right|\to 1,\hfill \end{array}$$

Thus, $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }f\in {\mathcal{H}}_{\omega ,0}^{\infty }$. Hence, the boundedness of the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ follows from the boundedness of $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$. This completes the proof.  □

4. Compactness of the Operator ${\mathit{T}}_{{\mathbf{\varphi }}_{\mathbf{1}},{\mathbf{\varphi }}_{\mathbf{2}},{\mathbf{\varphi }}_{\mathbf{3}},\mathbf{\xi }}$ from Weighted Bergman–Orlicz Space to Weighted and Little Weighted Type Spaces

Theorem 4.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ denote a holomorphic self-map of ${\mathbb{B}}^m$ and ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$. Then, the following statements hold true:

(a) 

If $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is bounded and satisfy the conditions

$$\begin{array}{cc}\hfill & \underset{\left|\xi \right(z\left)\right|\to 1}{lim}\omega \left(z\right)|{\varphi }_1\left(z\right)|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)=0\hfill \end{array}$$

(28)

and

$$\begin{array}{cc}\hfill & \underset{\left|\xi \right(z\left)\right|\to 1}{lim}\frac{\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)=0,\hfill \end{array}$$

(29)

then, $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is compact.

(b) 

If $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ is compact then, it satisfy (28) along with the condition

$$\begin{array}{cc}\hfill & \underset{\left|\xi \right(z\left)\right|\to 1}{lim}\frac{\omega \left(z\right)|⟨{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right),\xi \left(z\right)⟩|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)=0.\hfill \end{array}$$

(30)

Proof. 

$\left(a\right)$ First suppose that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is bounded and satisfy the conditions (28) and (29). Let $\left\{f_k\right\}\in {\mathcal{A}}_{\sigma }^{\Psi }$ be a bounded sequence converging to zero uniformly on compact subset of ${\mathbb{B}}^m$ as $k\to \infty$. Let $\parallel f_k{\parallel }_{\sigma ,\Psi }^{lux}\le 1$.

Now, by conditions (28) and (29), we have that for any $\epsilon >0$, there will be a $\delta \in (0,1)$ for which

$$\begin{array}{c}\hfill \omega \left(z\right)|{\varphi }_1\left(z\right)|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)<\epsilon \end{array}$$

(31)

and

$$\begin{array}{c}\hfill \frac{\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)<\epsilon ,\end{array}$$

(32)

when $\delta <\left|\xi \right(z\left)\right|<1$. Since $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ is bounded, so condition (1) and (3) hold. In addition, on compact subset of ${\mathbb{B}}^m$, the sequence $\left\{f_k\right\}\in {\mathcal{A}}_{\sigma }^{\Psi }$ converges to zero. So, using the Cauchy’s estimate we get that on compact subsets of ${\mathbb{B}}^m$, the sequence $\nabla f_k$ uniformly converges to zero as $k\to \infty$. This implies that ${lim}_{k\to \infty }{sup}_{\left|W\right|\le \delta }|\nabla f_k\left(W\right)|=0$. Thus, there will be a $K_0\in \mathbb{N}$ such that

$$\begin{array}{cc}\hfill & \underset{\left|\xi \right(z\left)\right|\le \delta }{sup}\omega \left(z\right)|T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f}_k\left(z\right)|\hfill \\ \hfill \le & \underset{\left|\xi \right(z\left)\right|\le \delta }{sup}\omega \left(z\right)|{\varphi }_1\left(z\right)\left|\right|f_k\left(\xi \left(z\right)\right)|+\underset{\left|\xi \right(z\left)\right|\le \delta }{sup}\omega \left(z\right)|{\varphi }_2\left(z\right)\mathfrak{R}{f}_k\left(\xi \left(z\right)\right)+{\varphi }_3\left(z\right)\mathfrak{R}(f_k\circ \xi )\left(z\right)|\hfill \\ \hfill \le & K_1\underset{\left|\xi \right(z\left)\right|\le \delta }{sup}|f_k\left(\xi \left(z\right)\right)|+\underset{\left|\xi \right(z\left)\right|\le \delta }{sup}\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)\left|\right|\nabla f_k\left(\xi \left(z\right)\right)|\hfill \\ \hfill \le & K_1\underset{\left|W\right|\le \delta }{sup}|f_k\left(W\right)|+K_2\underset{\left|W\right|\le \delta }{sup}|\nabla f_k\left(W\right)|\hfill \\ \hfill <& C\epsilon ,\hfill \end{array}$$

(33)

where $k>K_0$. On combining conditions (31), (32) and (33) with Lemma 1, we get

$$\begin{array}{cc}\hfill & \parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f}_k{\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}\hfill \\ \hfill & =\underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)\left|T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f}_k\left(z\right)\right|\hfill \\ \hfill & \le \underset{\left|\xi \right(z\left)\right|\le \delta }{sup}\omega \left(z\right)|T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f}_k\left(z\right)|+\underset{\delta <\left|\xi \right(z\left)\right|<1}{sup}\omega \left(z\right)\left|T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f}_k\left(z\right)\right|\hfill \\ \hfill & <C\epsilon +C\underset{\delta <\left|\xi \right(z\left)\right|<1}{sup}\omega \left(z\right)|{\varphi }_1\left(z\right)|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right){\parallel f_k\parallel }_{\sigma ,\Psi }^{lux}\hfill \\ \hfill & +C\underset{\delta <\left|\xi \right(z\left)\right|<1}{sup}\frac{\omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right)|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right){\parallel f_k\parallel }_{\sigma ,\Psi }^{lux}\hfill \\ \hfill & <3C\epsilon ,\hfill \end{array}$$

when $k>K_0$, which approaches to zero as $k\to \infty$. Hence the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is compact.

$\left(b\right)$ Conversely, suppose that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$ is compact. This implies that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }$ is bounded. If ${\parallel \xi \parallel }_{\infty }<1$, then conditions (28) and (30) hold. Let ${\parallel \xi \parallel }_{\infty }=1$ and $\left\{z_k\right\}\in {\mathbb{B}}^m$ be a sequence such that $\left|\xi \right(z_k\left)\right|\to 1$ as $k\to \infty$. Using sequence $\left|\xi \right(z_k\left)\right|$ define a function

$$\begin{array}{cc}\hfill f_k\left(z\right)& ={\Psi }^{-1}\left(\frac{1}{(1-|\xi \left(z_k\right){{|}^2)}^{m+\sigma +1}}\right)f_{\xi \left(z_k\right)}\left(z\right),\hfill \end{array}$$

(34)

where

$$\begin{array}{cc}\hfill f_{\xi \left(z_k\right)}\left(z\right)& =\left[K(m+\sigma +1)+1\right]{\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨z,\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)}\hfill \\ \hfill & -\left[K(m+\sigma +1)\right]{\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨z,\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)+1}.\hfill \end{array}$$

Clearly, $f_{\xi \left(z_k\right)}\in {\mathcal{A}}_{\sigma }^{\Psi }$ and ${sup}_{k\in \mathbb{N}}{\parallel f_{\xi \left(z_k\right)}\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}\le C$. Therefore,

$$\begin{array}{cc}\hfill |f_{\xi \left(z_k\right)}\left(z\right)|& \le \left[K(m+\sigma +1)+1\right]|\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨z,\xi \left(z_k\right)⟩}{|}^{k(m+\sigma +1)}\hfill \\ \hfill & +\left[K(m+\sigma +1)\right]|\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨z,\xi \left(z_k\right)⟩}{|}^{k(m+\sigma +1)+1}\hfill \\ \hfill & \le \left[K(m+\sigma +1)+1\right]|\frac{1-|\xi \left(z_k\right){|}^2}{1-r}{|}^{k(m+\sigma +1)}\hfill \\ \hfill & +\left[K(m+\sigma +1)\right]|\frac{1-|\xi \left(z_k\right){|}^2}{1-r}{|}^{k(m+\sigma +1)+1},\hfill \end{array}$$

when $\left|z\right|\le r$, we get that $f_{\xi \left(z_k\right)}$ converges to zero uniformly on compact subsets of ${\mathbb{B}}^m$. Thus, $f_k$ converges to zero uniformly on compact subsets of ${\mathbb{B}}^m$. Therefore, by Lemma 4, it follows that the sequence $\left\{f_k\right\}$ uniformly converges to zero on any compact subsets of ${\mathbb{B}}^m$ as $k\to \infty$ such that

$$\begin{array}{c}\hfill \underset{k\to \infty }{lim}{\parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f}_k\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}=0.\end{array}$$

In addition, we have

$$\begin{array}{ccc}\hfill & f_k\left(\xi \left(z_k\right)\right)={\Psi }^{-1}\left(\frac{1}{1-\left(\right|\xi \left(z_k\right){{|}^2)}^{m+\sigma +1}}\right)and\mathfrak{R}{f}_k\left(\xi \left(z_k\right)\right)\hfill & \hfill =\mathfrak{R}(f_k\circ \xi )\left(z_k\right)=0.\end{array}$$

Thus, we obtain

$$\begin{array}{cc}\hfill \omega \left(z_k\right)\left|{\varphi }_1\left(z_k\right)\right|{\Psi }^{-1}\left(\frac{1}{1-\left(\right|\xi \left(z_k\right){{|}^2)}^{m+\sigma +1}}\right)& \le \parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{f}_k{\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}\to 0\mathrm{as}k\to \infty ,\hfill \end{array}$$

which implies that (28) holds. In order to prove condition (30), we define another sequence of functions

$$\begin{array}{cc}\hfill g_k\left(z\right)& ={\Psi }^{-1}\left(\frac{C_2}{(1-|\xi \left(z_k\right){{|}^2)}^{m+\sigma +1}}\right)g_{\xi \left(z_k\right)}\left(z\right),\hfill \end{array}$$

(35)

where

$$\begin{array}{cc}\hfill g_{\xi \left(z_k\right)}\left(z\right)& ={\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨z,\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)}-{\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨z,\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)+1}.\hfill \end{array}$$

Therefore,

$$\begin{array}{cc}\hfill (g_{\xi {\left(z\right)}_k}\circ \xi )\left(z\right)& ={\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨\xi \left(z\right),\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)}-{\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨\xi \left(z\right),\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)+1},\hfill \end{array}$$

which implies

$$\begin{array}{cc}\hfill \mathfrak{R}{g}_{\xi \left(z_k\right)}\left(z\right)& =\left[K(m+\sigma +1)\right]\left(\frac{⟨z,\xi \left(z_k\right)⟩}{1-⟨z,\xi \left(z_k\right)⟩}\right){\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨z,\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)}\hfill \\ \hfill & +\left[K(m+\sigma +1)+1\right]\left(\frac{⟨z,\xi \left(z_k\right)⟩}{1-⟨z,\xi \left(z_k\right)⟩}\right){\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨z,\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)+1}\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill & \mathfrak{R}(g_{\xi {\left(z\right)}_k}\circ \xi )\left(z\right)\hfill \\ \hfill & =\left[K(m+\sigma +1)\right]\left(\frac{⟨\mathfrak{R}\xi \left(z\right),\xi \left(z_k\right)⟩}{1-⟨\xi \left(z\right),\xi \left(z_k\right)⟩}\right){\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨\xi \left(z\right),\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)}\hfill \\ \hfill & +\left[K(m+\sigma +1)+1\right]\left(\frac{⟨\mathfrak{R}\xi \left(z\right),\xi \left(z_k\right)⟩}{1-⟨\xi \left(z\right),\xi \left(z_k\right)⟩}\right){\left(\frac{1-|\xi \left(z_k\right){|}^2}{1-⟨\xi \left(z\right),\xi \left(z_k\right)⟩}\right)}^{k(m+\sigma +1)+1}.\hfill \end{array}$$

Similar to the sequence $f_k$, the sequence $g_{\xi \left(z_k\right)}$ and hence the sequence $g_k$ converges to zero uniformly on compact subsets of ${\mathbb{B}}^m$, $g_k\in {\mathcal{A}}_{\sigma }^{\Psi }$ and ${sup}_{k\in \mathbb{N}}{\parallel g_k\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}\le C$. By Lemma 4, we have

$$\begin{array}{cc}\hfill \underset{k\to \infty }{lim}{\parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{g}_k\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}& =0.\hfill \end{array}$$

(36)

In addition, we have

$$\begin{array}{c}\hfill g_k\left(\xi \left(z_k\right)\right)=0,\mathfrak{R}{g}_k\left(\xi \left(z_k\right)\right)=\frac{-|\xi \left(z_k\right){|}^2}{1-|\xi \left(z_k\right){|}^2},\mathfrak{R}(g_k\circ \xi )\left(z_k\right)=\frac{-⟨\mathfrak{R}\xi \left(z_k\right),\xi \left(z_k\right)⟩}{1-|\xi \left(z_k\right){|}^2}.\end{array}$$

Thus,

$$\begin{array}{cc}\hfill & \parallel T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{g}_k{\parallel }_{{\mathcal{H}}_{\omega }^{\infty }}\hfill \\ \hfill & =\underset{z\in {\mathbb{B}}^m}{sup}\omega \left(z\right)\left|T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }{g}_k\left(z\right)\right|\hfill \\ \hfill & \ge \omega \left(z_k\right)|{\varphi }_1\left(z_k\right)g_k\left(\xi \left(z_k\right)\right)+{\varphi }_2\left(z_k\right)\mathfrak{R}{g}_k\left(\xi \left(z_k\right)\right)+{\varphi }_3\left(z_k\right)\mathfrak{R}(g_k\circ \xi )\left(z_k\right)|\hfill \\ \hfill & =\omega \left(z_k\right)|{\varphi }_2\left(z_k\right)\mathfrak{R}{g}_k\left(\xi \left(z_k\right)\right)+{\varphi }_3\left(z_k\right)\mathfrak{R}(g_k\circ \xi )\left(z_k\right)|\hfill \\ \hfill & =\omega \left(z_k\right)\frac{\left|⟨{\varphi }_2\left(z_k\right)\xi \left(z_k\right)+{\varphi }_3\left(z_k\right)\mathfrak{R}\xi \left(z_k\right),\xi \left(z_k\right)⟩\right|}{1-|\xi \left(z_k\right){|}^2}.\hfill \end{array}$$

By condition (36)

$$\begin{array}{cc}\hfill & \frac{\omega \left(z_k\right)\left|⟨{\varphi }_2\left(z_k\right)\xi \left(z_k\right)+{\varphi }_3\left(z_k\right)\mathfrak{R}\xi \left(z_k\right),\xi \left(z_k\right)⟩\right|}{1-|\xi \left(z_k\right){|}^2}⟶0\mathrm{as}k\to \infty ,\hfill \end{array}$$

from which condition (30) follows.  □

Corollary 4.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be an analytic self map of ${\mathbb{B}}^m$, ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$ and suppose the functions ξ and ${\varphi }_2\xi +{\varphi }_3\mathfrak{R}\xi$ are linearly dependent. Then, we have the following equivalent statements:

(a) 

$T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$is compact;

(b) 

$T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$is bounded and, satisfy (28) and (29).

Proof. 

We omit the proof as it is easy to prove.  □

In Corollary 4 if we take ${\varphi }_1\left(z\right)=\varphi \left(z\right)$ and ${\varphi }_2\left(z\right)\equiv {\varphi }_3\left(z\right)\equiv 0$, then we get the operator $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ whose compactness can be given by the following corollary:

Corollary 5.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be an analytic self map of ${\mathbb{B}}^m$ and $\varphi \in H\left({\mathbb{B}}^m\right)$. Then, the operator $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is compact if and only if $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega }^{\infty }$ is bounded and

$$\begin{array}{cc}\hfill & \underset{\left|\xi \right(z\left)\right|\to 1}{lim}\omega \left(z\right)\left|\varphi \left(z\right)\right|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)=0.\hfill \end{array}$$

Theorem 5.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ denote a holomorphic self-map of ${\mathbb{B}}^m$ and ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$. Then, the following statements hold true

(i) 

If (26) and (27) hold, then the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega ,0}^{\infty }$ is compact;

(ii) 

If $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega ,0}^{\infty }$ is compact, then (26) hold and

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\frac{\omega \left(z\right)\left|⟨{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right),\xi \left(z\right)⟩\right|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)=0.\hfill \end{array}$$

(37)

Proof. 

$\left(i\right)$ Initially, suppose that conditions (26) and (27) hold. Then, from Theorem 3 we get that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega ,0}^{\infty }$ is bounded. Let $\left|z\right|\to 1$ in (4) and take supremum on the unit ball ${\parallel f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}\le 1$, we get that

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\underset{{\parallel f\parallel }_{{\mathcal{A}}_{\sigma }^{\Psi }}\le 1}{sup}\omega \left(z\right)\left|T_{{\varphi }_1,{\varphi }_2,{\varphi }_2,\xi }f\left(z\right)\right|=0.\hfill \end{array}$$

Thus, on applying lemma 5, we get that the operator $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega ,0}^{\infty }$ is compact.

$\left(ii\right)$ Assume that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega ,0}^{\infty }$ is compact. This implies the compactness of $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega }^{\infty }$. Condition $\left(b\right)$ in Theorem 4 implies that (28) and (30) hold. Thus, for $\epsilon >0$, there exists a $\delta \in (0,1)$ for which (31) hold along with the condition

$$\begin{array}{cc}\hfill & \frac{\omega \left(z\right)\left|⟨{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\mathfrak{R}\xi \left(z\right),\xi \left(z\right)⟩\right|}{1-{\left|\xi \left(z\right)\right|}^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)<\epsilon ,\hfill \end{array}$$

(38)

where $\delta <\left|\xi \right(z\left)\right|<1$. Further, the compactness of $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega ,0}^{\infty }$ implies that $T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }⟶{\mathcal{H}}_{\omega ,0}^{\infty }$ is bounded. Using Theorem 2, we see that (23) and (24) hold. Thus, for any $\epsilon >0$, there exists a $\eta \in (0,1)$ such that

$$\begin{array}{cc}\hfill & \omega \left(z\right)|{\varphi }_1\left(z\right)|<\epsilon {\Psi }^{-1}\left(\frac{1}{{(1-{\delta }^2)}^{m+\sigma +1}}\right)\hfill \end{array}$$

(39)

and

$$\begin{array}{cc}\hfill & \omega \left(z\right)|{\varphi }_2\left(z\right)\xi \left(z\right)+{\varphi }_3\left(z\right)\left(R\right)\xi \left(z\right)|<\frac{\epsilon }{1-{\delta }^2}{\Psi }^{-1}\left(\frac{C_2}{{(1-{\delta }^2)}^{m+\sigma +1}}\right),\hfill \end{array}$$

(40)

when $\eta <\left|z\right|<1$. Therefore, with $\delta <\left|\xi \right(z\left)\right|<1$ and $\eta <\left|z\right|<1$ condition (31) implies that

$$\begin{array}{cc}\hfill & \omega \left(z\right)|{\varphi }_1\left(z\right)|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)<\epsilon .\hfill \end{array}$$

(41)

Again, for $\left|\xi \right(z\left)\right|\le \delta$ and $\eta <\left|z\right|<1$ condition (39) implies that

$$\begin{array}{cc}\hfill & \omega \left(z\right)|{\varphi }_1\left(z\right)|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)\le \omega \left(z\right)\left|{\varphi }_1\left(z\right)\right|{\Psi }^{-1}\left(\frac{1}{{(1-{\delta }^2)}^{m+\sigma +1}}\right)<\epsilon .\hfill \end{array}$$

(42)

Thus, (26) follows from (41) and (42). Similarly, by using Cauchy-Schwartz inequality, (38) and (40) we can obtain (37). This completes the proof.  □

Corollary 6.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be an analytic self map of ${\mathbb{B}}^m$, ${\varphi }_1,{\varphi }_2,{\varphi }_3\in H\left({\mathbb{B}}^m\right)$ and suppose the functions ξ and ${\varphi }_2\xi +{\varphi }_3\mathfrak{R}\xi$ are linearly dependent. Then, we have the following equivalent statements:

(a) 

$T_{{\varphi }_1,{\varphi }_2,{\varphi }_3,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ is compact;

(b) 

(26) and (27) hold.

Proof. 

We omit the proof as it is easy to prove.  □

In Corollary 6 if we take ${\varphi }_1\left(z\right)=\varphi \left(z\right)$ and ${\varphi }_2\left(z\right)\equiv {\varphi }_3\left(z\right)\equiv 0$, then we get the operator $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ whose compactness can be given by the following corollary:

Corollary 7.

Let $\xi =({\xi }_1,{\xi }_2,\dots ,{\xi }_m)$ be an analytic self map of ${\mathbb{B}}^m$ and $\varphi \in H\left({\mathbb{B}}^m\right)$. Then, the operator $W_{\varphi ,\xi }:{\mathcal{A}}_{\sigma }^{\Psi }\to {\mathcal{H}}_{\omega ,0}^{\infty }$ is compact if and only if

$$\begin{array}{cc}\hfill & \underset{\left|z\right|\to 1}{lim}\omega \left(z\right)\left|\varphi \left(z\right)\right|{\Psi }^{-1}\left(\frac{1}{{(1-|\xi \left(z\right)|}^2{)}^{m+\sigma +1}}\right)=0.\hfill \end{array}$$

5. Discussion and Conclusions

In this paper, we have considered the product type operators formed by the combination of composition, multiplication, differentiation and radial derivative operators acting between weighted Bergman–Orlicz spaces and weighted type spaces taken over the unit ball. We analysed these operators for basic properties including boundedness and compactness. The basic aim of this paper is to give the operator-theoretic characterization of these operators in terms of function–theoretic characterization of their including functions.