Skip to main content

Multiplication operators on weighted Bloch spaces of the first Cartan domains

Abstract

Let \(\Re_{I}(m,n)\) be the first Cartan domain. Motivated by some results of the multiplication operators on the holomorphic function spaces on the unit ball of \({\mathbb {C}}^{n}\), we study multiplication operators on weighted Bloch spaces of the first Cartan domain and obtain some necessary or sufficient conditions for the boundedness and compactness in this paper.

Introduction

The well-known first Cartan domain (see [22]) is defined as

$$\Re_{I}(m,n)= \bigl\{ Z=(z_{ij})_{m\times n}\in {\mathbb {C}}^{m\times n}:I-Z\overline{Z}^{T}>0 \bigr\} , $$

where denotes the conjugate of the matrix Z, \(Z^{T}\) denotes the transpose of Z, and m, n are positive integers. For the sake of convenience, it is denoted by \(\Re_{I}\).

Let \(H(\Re_{I})\) be the space of all holomorphic functions on \(\Re_{I}\). For \(\alpha\geq0\), the weighted-type space \(H_{\alpha}^{\infty}(\Re _{I})\) on \(\Re_{I}\) consists of all \(f\in H(\Re_{I})\) such that

$$\Vert f \Vert _{H_{\alpha}^{\infty}(\Re_{I})}=\sup_{Z\in\Re_{I}} \bigl[ \operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert f(Z) \bigr\vert < +\infty. $$

The little weighted-type space \(H_{\alpha,0}^{\infty}(\Re_{I})\) on \(\Re_{I}\) consists of all \(f\in H(\Re_{I})\) such that

$$\lim_{Z\to\partial\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z\overline {Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert f(Z) \bigr\vert =0. $$

If \(\alpha=0\), then \(H_{\alpha}^{\infty}(\Re_{I})\) is denoted as \(H^{\infty}(\Re_{I})\) and \(H_{\alpha,0}^{\infty}(\Re_{I})\) is denoted as \(H_{0}^{\infty}(\Re_{I})\). The weighted-type spaces on the unit disk or the unit ball frequently appear; see, for example, [6, 11, 12, 16, 17, 19].

Let \(\mathbb{B}=\{z\in {\mathbb {C}}^{n}:|z|<1\}\) be the open unit ball of \({\mathbb {C}}^{n}\). It is obvious that \(\mathbb{B}=\Re_{I}(1, n)\), which shows that \(\Re_{I}(m,n)\) is a generalization of \(\mathbb{B}\). The weighted Bloch space on \(\mathbb{B}\), usually denoted by \(\mathcal{B}^{\alpha}(\mathbb{B})\), consists of all \(f\in H(\mathbb{B})\) such that

$$b(f):=\sup_{z\in \mathbb{B}}\bigl(1- \vert z \vert ^{2} \bigr)^{\alpha} \bigl\vert \nabla f(z) \bigr\vert < +\infty, $$

where

$$\nabla f(z)= \biggl(\frac{\partial f(z)}{\partial z_{1}},\frac{\partial f(z)}{ \partial z_{2}},\ldots, \frac{\partial f(z)}{\partial z_{n}} \biggr). $$

It is well known that the quantity \(b(f)\) is a seminorm of \(\mathcal{B}^{\alpha }(\mathbb{B})\) and under the norm

$$\Vert f \Vert _{\mathcal{B}^{\alpha}(\mathbb{B})}= \bigl\vert f(0) \bigr\vert +b(f), $$

\(\mathcal{B}^{\alpha}(\mathbb{B})\) is a Banach space. The weighted Bloch spaces also frequently appear in the literature; see, for example, [2, 1315, 27].

Similarly, the weighted Bloch space \(\mathcal{B}^{\alpha}(\Re_{I})\) on \(\Re _{I}\) consists of all \(f\in H(\Re_{I})\) such that

$$s(f):=\sup_{z\in\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z \overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla f(Z) \bigr\vert < +\infty. $$

Under the norm

$$\Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}= \bigl\vert f(0) \bigr\vert +s(f), $$

\(\mathcal{B}^{\alpha}(\Re_{I})\) is a Banach space. The little Bloch space \(\mathcal{B}_{0}^{\alpha}(\Re_{I})\) on \(\Re_{I}\) consists of all \(f\in H(\Re_{I})\) such that

$$\lim_{Z\to\partial\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z\overline {Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla f(Z) \bigr\vert =0. $$

Let X and Y be two function spaces on \(\Re_{I}\). If it follows that \(\psi f\in Y\) for all \(f\in X\), then ψ is called a multiplier from X to Y, and usually \(M_{\psi}:f\mapsto\psi f\) is called a multiplication operator from X to Y. In general, ψf cannot necessarily belong to Y for some \(f\in X\). In order to explain this fact, we need to introduce the Bloch space \(\mathcal{B}(U^{2})\) (see [24]), where \(U^{2}=\{z=(z_{1},z_{2}):|z_{1}|<1,|z_{2}|<1\}\) is the unit polydisk in \({\mathbb {C}}^{2}\). We say a holomorphic function f belongs to \(\mathcal{B}(U^{2})\) if f satisfies the condition

$$\sup_{z\in U^{2}} \biggl[\bigl(1- \vert z_{1} \vert ^{2}\bigr) \biggl\vert \frac{\partial f}{\partial z_{1}}(z) \biggr\vert +\bigl(1- \vert z_{2} \vert ^{2}\bigr) \biggl\vert \frac{\partial f}{\partial z_{2}}(z) \biggr\vert \biggr]< +\infty. $$

If we consider

$$f(z_{1},z_{2})=\log\frac{1}{1-z_{1}}+\log \frac{1}{1-z_{2}} $$

in \(\mathcal{B}(U^{2})\), it is easy to see that ψf does not belong to \(\mathcal{B}(U^{2})\) for \(\psi(z)=z_{1}\). Hence, a natural problem is to find some conditions when ψ satisfies \(M_{\psi}f\in Y\) for all \(f\in X\). It is well known that the theory of the multipliers or multiplication operators on function spaces has been studied for a long time. In 1966, Talyor started an investigation of the multipliers on \(D_{\alpha }\) in [21]. Later on, for example, Stegenga considered the multipliers of the Dirichlet space in [10]. Now multipliers or multiplication operators between or on various function spaces of the classical domains have been studied by many authors (see, for example, [5, 7, 23, 26]). But beyond that, there is a great interest in some generalizations of the multiplication operators on classical domains (for example, see [1, 4, 8, 15, 18] for the weighted composition operators). However, we do not find any result of multipliers or multiplication operators on the holomorphic function spaces of the first Cartan domain. In this paper, we study the multiplication operators on weighted Bloch spaces of the first Cartan domain and obtain some necessary or sufficient conditions for the boundedness and compactness.

For \(Z=(z_{ij})_{m\times n}\in {\mathbb {C}}^{m\times n}\), let \(|Z|^{2}=\sum_{\substack{1\leq i\leq m\\1\leq j\leq n}}|z_{ij}|^{2}\). Constants are denoted by C, they are positive and may differ from one occurrence to the next. The notation \(a\lesssim b\) means that there exists a positive constant C independent of the essential variables in the quantities a and b such that \(a\leq Cb\).

Some lemmas

First, we have the following obvious result.

Lemma 1

Let\(Z=(z_{ij})_{m\times n}\in\Re_{I}\), then\(|z_{ij}|<1\)for alliandj.

Proof

Let \(Z= (z_{ij} )_{m\times n}\in\Re_{I}\). Then \(I-Z\overline {Z}^{T}>0\). So, we have \(1-\sum_{j=1}^{n}|z_{ij}|^{2}>0\) for \(i=1,2,\ldots,n\), from which the desired result follows. □

By a direct calculation, we obtain the following formula.

Lemma 2

Let\(f\in H(\Re_{I})\). Then, for all\(Z\in \Re_{I}\), it follows that

$$\nabla(M_{\psi}f) (Z)=f(Z)\nabla\psi(Z)+\nabla f(Z)\psi(Z). $$

We need the following result (see [20]) to obtain the point evaluation estimate for the Bloch functions.

Lemma 3

Let\(Z\in\Re_{I}\). Then there exist two unitary matricesUandVsuch that

$$ Z=U\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c} \lambda_{1} & 0 & \cdots& 0 & 0 & \cdots& 0\\ 0 & \lambda_{2} & \cdots& 0 & 0 & \cdots& 0\\ \vdots& \vdots& \ddots& \vdots& \vdots& \cdots& 0\\ 0 & 0 & \cdots& \lambda_{m} & 0 & \cdots& 0 \end{array}\displaystyle \right )V, $$

where\(1>\lambda_{1}\geq\lambda_{2}\geq\cdots\geq\lambda_{m}\geq 0\)and\(\lambda_{1}^{2},\ldots,\lambda_{m}^{2}\)are eigenvalues of\(Z\overline{Z}^{T}\).

Lemma 4

Let\(\alpha>0\). Then there exists a positive constantCindependent of\(f\in \mathcal{B}^{\alpha}(\Re_{I})\)and\(Z\in\Re_{I}\)such that

$$\begin{aligned} \bigl\vert f(Z) \bigr\vert \leq{ \textstyle\begin{cases} C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})},&0< m\alpha< 1,\\ C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}\log\frac{2}{\operatorname{det}(I-Z\overline {Z}^{T})},&m\alpha=1,\\ C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}\frac{1}{ [\operatorname {det}(I-Z\overline{Z}^{T}) ]^{m\alpha-1}},&m\alpha>1. \end{cases}\displaystyle } \end{aligned}$$
(1)

Proof

If \(Z=0\), then the result holds obviously. Now, assume that \(Z=(z_{ij})_{m\times n}\neq0\). It follows from Lemma 3 that there exist two unitary matrices U and V such that

$$ Z=U\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c} \lambda_{1} & 0 & \cdots& 0 & 0 & \cdots& 0\\ 0 & \lambda_{2} & \cdots& 0 & 0 & \cdots& 0\\ \vdots& \vdots& \ddots& \vdots& \vdots& \cdots& 0\\ 0 & 0 & \cdots& \lambda_{m} & 0 & \cdots& 0 \end{array}\displaystyle \right )V, $$
(2)

where \(1>\lambda_{1}\geq\lambda_{2}\geq\cdots\geq\lambda_{m}\geq 0\) and \(\lambda_{1}^{2},\ldots,\lambda_{m}^{2}\) are eigenvalues of \(Z\overline{Z}^{T}\). By (2), we have

$$ 1-t^{2}Z\overline{Z}^{T}=U \left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c@{\quad}c} 1-t^{2}\lambda_{1}^{2} & 0 & \cdots& 0\\ 0 & 1-t^{2}\lambda_{2}^{2} & \cdots& 0\\ \vdots& \vdots& \ddots& \vdots\\ 0 & 0 & \cdots& 1-t^{2}\lambda_{m}^{2} \end{array}\displaystyle \right )\overline{U}^{T}. $$
(3)

It follows from (3) that

$$\begin{aligned} \bigl[\operatorname{det}\bigl(I-t^{2}Z\overline{Z}^{T}\bigr) \bigr]^{\alpha}=\prod_{i=1}^{m} \bigl(1-t^{2}\lambda_{i}^{2} \bigr)^{\alpha}. \end{aligned}$$

Assume \(t\in[0,1]\). Since \(\lambda_{1}\geq\lambda_{2}\geq\cdots \geq\lambda_{m}\geq0\), for each \(i\in\{1,2,\ldots,m\}\), we have

$$1-t^{2}\lambda_{i}^{2}=(1-t \lambda_{i}) (1+t\lambda_{i})\geq (1-t \lambda_{i}). $$

By this, we have

$$\begin{aligned} \bigl[\operatorname{det}\bigl(I-t^{2}Z\overline{Z}^{T}\bigr) \bigr]^{\alpha}=\prod_{i=1}^{m} \bigl(1-t^{2}\lambda_{i}^{2} \bigr)^{\alpha}\geq (1-t\lambda_{i})^{m\alpha}. \end{aligned}$$
(4)

From the facts

$$ Z\overline{Z}^{T}=U\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}@{\quad}cc} \lambda_{1}^{2} & 0 & \cdots& 0\\ 0 & \lambda_{2}^{2} & \cdots& 0\\ \vdots& \vdots& \ddots& \vdots\\ 0 & 0 & \cdots& \lambda_{m}^{2} \end{array}\displaystyle \right )\overline{U}^{T} $$

and \(|Z|^{2}=\operatorname{tr}(Z\overline{Z}^{T})\), we obtain

$$\begin{aligned} \vert Z \vert ^{2}=\sum_{i=1}^{m} \lambda_{i}^{2}\leq m\lambda_{1}^{2}. \end{aligned}$$
(5)

Then, from (4) and (5) we obtain

$$\begin{aligned} \bigl\vert f(Z) \bigr\vert &= \biggl\vert f(0)+ \int_{0}^{1}\bigl\langle \nabla f(tZ), \overline{Z}\bigr\rangle \,\mbox{d}t \biggr\vert \leq \bigl\vert f(0) \bigr\vert + \int_{0}^{1} \bigl\vert \nabla f(tZ) \bigr\vert \vert \overline{Z} \vert \,\mbox{d}t \\ &\leq \bigl\vert f(0) \bigr\vert + \int_{0}^{1}\frac{ \vert Z \vert \,\mbox{d}t}{ [\operatorname {det}(I-t^{2}Z\overline{Z}^{T}) ]^{\alpha }} \Vert f \Vert _{\mathcal{B}^{\alpha }(\Re _{I})} \\ &= \bigl\vert f(0) \bigr\vert + \int_{0}^{1}\frac{ \vert Z \vert \,\mbox{d}t}{\prod_{j=1}^{m}(1-t^{2}\lambda_{j}^{2})^{\alpha}} \Vert f \Vert _{\mathcal{B}^{\alpha }(\Re _{I})} \\ &\leq \biggl[1+ \int_{0}^{1}\frac{\sqrt{m}\lambda_{1}}{(1-\lambda _{1}t)^{m\alpha}}\,\mbox{d}t \biggr] \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})} \\ &= \biggl[1+ \int_{0}^{\lambda_{1}}\frac{\sqrt{m}}{ (1-t)^{m\alpha}}\,\mbox{d}t \biggr] \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re _{I})} \\ &\leq{ \textstyle\begin{cases} C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})},&0< m\alpha< 1,\\ C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}\log\frac{1}{1-\lambda_{1}},&m\alpha =1,\\ C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}\frac{1}{(1-\lambda_{1})^{m\alpha -1}},&m\alpha>1 \end{cases}\displaystyle } \end{aligned}$$
(6)
$$\begin{aligned} &\leq{ \textstyle\begin{cases} C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})},&0< m\alpha< 1,\\ C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}\log\frac{2}{\operatorname{det}(I-Z\overline {Z}^{T})},&m\alpha=1,\\ C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}\frac{1}{[\operatorname{det}(I-Z\overline {Z}^{T})]^{m\alpha-1}},&m\alpha>1, \end{cases}\displaystyle } \end{aligned}$$
(7)

where (7) is obtained by (6) by using the elementary fact

$$1-\lambda_{1}\geq\frac{1-\lambda_{1}^{2}}{2}\geq\frac{1}{2} \operatorname {det}\bigl(I-Z\overline{Z}^{T}\bigr). $$

This completes the proof. □

Remark 1

In Lemma 4, there exists a parameter m which maybe is the biggest difference from the weighted Bloch spaces on the unit ball. Unfortunately, we do not find an effective method to avoid it. However, this also shows that this result is a generalization of the corresponding result on \(\mathcal{B}^{\alpha }(\mathbb{B})\).

In order to study the compactness of the operator \(M_{\psi}\) on \(\mathcal{B}^{\alpha }(\Re_{I})\), we need the following result which is similar to Proposition 3.11 in [3].

Lemma 5

Let\(\alpha>0\)andψbe a holomorphic function on\(\Re_{I}\). Then the bounded operator\(M_{\psi}\)is compact on\(\mathcal{B}^{\alpha}(\Re_{I})\)if and only if for every bounded sequence\(\{f_{n}\}\)in\(\mathcal{B}^{\alpha }(\Re_{I})\)such that\(f_{n}\rightarrow0\)uniformly on any compact subset of\(\Re_{I}\)as\(n\rightarrow\infty\), it follows that

$$\begin{aligned} \lim_{n\rightarrow\infty} \Vert M_{\psi}f_{n} \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}=0. \end{aligned}$$

Proof

Suppose that the bounded operator \(M_{\psi}\) is compact on \(\mathcal{B}^{\alpha}(\Re_{I})\). Let \(\{{f_{n}}\}\) be a bounded sequence in \(\mathcal{B}^{\alpha}(\Re_{I})\) such that \(f_{n}\rightarrow0\) uniformly on any compact subset of \(\Re_{I}\) as \(n\rightarrow\infty \). If \(\|M_{\psi}f_{n}\|_{\mathcal{B}^{\alpha}(\Re_{I})}\nrightarrow0\) as \(n\rightarrow\infty\), then there exists a subsequence \(\{f_{n_{j}}\}\) of \(\{f_{n}\}\) such that

$$\begin{aligned} \inf_{n\in N} \Vert M_{\psi}f_{n_{j}} \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}>0. \end{aligned}$$
(8)

Since \(M_{\psi}\) is compact on \(\mathcal{B}^{\alpha}(\Re_{I})\), there exist a function \(g\in \mathcal{B}^{\alpha}(\Re_{I})\) and a subsequence of \(\{f_{n_{j}}\}\) (without loss of generality, still written by \(\{f_{n_{j}}\}\)) such that

$$\begin{aligned} \lim_{j\rightarrow\infty} \Vert M_{\psi}f_{n_{j}}-g \Vert _{\mathcal{B}^{\alpha}(\Re _{I})}=0. \end{aligned}$$

Let K be a compact subset of \(\Re_{I}\). From Lemma 4, it follows that \(M_{\psi}f_{n_{j}}-g\rightarrow0\) uniformly on K as \(j\rightarrow \infty\). From this, for \(\varepsilon>0\), there exists a positive integer \(N_{1}\) such that

$$\begin{aligned} \bigl\vert \psi(Z)f_{k_{j}}(Z)-g(Z) \bigr\vert < \varepsilon \end{aligned}$$
(9)

for all \(Z\in K\), whenever \(j>N_{1}\). Since \(f_{n_{j}}\rightarrow0\) uniformly on K as \(j\rightarrow\infty\), also there exists a positive integer \(N_{2}\) such that \(|f_{n_{j}}(Z)|<\varepsilon\) for all \(Z\in K\), whenever \(j>N_{2}\). Let \(N=\max\{N_{1},N_{2}\}\) and \(M=\max_{Z\in K}|\psi(Z)|\). From (9), we have

$$\begin{aligned} \bigl\vert g(Z) \bigr\vert \leq M \bigl\vert f_{n_{j}}(Z) \bigr\vert +\varepsilon< (M+1)\varepsilon \end{aligned}$$
(10)

for all \(Z\in K\), whenever \(j>N\). From (10) and the arbitrariness of ε, we obtain \(g(Z)=0\) for all \(Z\in K\), which leads to \(g\equiv0\) on \(\Re _{I}\). This shows that \(\lim_{j\rightarrow\infty}\|M_{\psi}f_{n_{j}}\|_{\mathcal{B}^{\alpha}(\Re_{I})}=0\) which contradicts (8).

Now suppose that \(\{f_{n}\}\) is a bounded sequence in \(\mathcal{B}^{\alpha }(\Re_{I})\). Then it is locally uniformly bounded on \(\Re_{I}\), which shows that there exists a subsequence \(\{f_{n_{j}}\}\) of \(\{f_{n}\}\) such that \(f_{n_{j}}\to f\) uniformly on every compact subset of \(\Re_{I}\) as \(j\rightarrow\infty\). From this, we have \(f_{n_{j}}-f\to0\) uniformly on every compact subset of \(\Re_{I}\) as \(j\rightarrow\infty\). Consequently, we obtain

$$\begin{aligned} \lim_{j\rightarrow\infty} \bigl\Vert M_{\psi}(f_{n_{j}}-f) \bigr\Vert _{\mathcal{B}^{\alpha }(\Re_{I})}= \lim_{j\rightarrow\infty} \Vert M_{\psi}f_{n_{j}}-M_{\psi}f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}=0, \end{aligned}$$

which shows that \(M_{\psi}\) is compact on \(\mathcal{B}^{\alpha}(\Re_{I})\). □

In the studies of the several complex variables, the mathematician Loo-Keng Hua found the following matrix inequality in 1955.

Lemma 6

Let\(I-A\overline{A}^{T}\)and\(I-B\overline{B}^{T}\)be two Hermitian and positive definite matrices. Then

$$\begin{aligned} \operatorname{det}\bigl(I-A\overline{A}^{T}\bigr)\operatorname{det}\bigl(I-B \overline{B}^{T}\bigr)\leq \bigl\vert \operatorname{det}\bigl(I-A \overline{B}^{T}\bigr) \bigr\vert ^{2}. \end{aligned}$$
(11)

By the way, as an easy application of Lemma 6, we see that, for each \(Z, S\in\Re_{I}\), the matrix \(I-Z\overline{S}^{T}\) is reversible. We also have the following result (see [20]).

Lemma 7

There exists a positive constantCindependent of all\(Z,S\in\Re_{I}\)such that

$$\begin{aligned} \bigl\vert \operatorname{det}\bigl(I-Z\overline{S}^{T}\bigr) \bigr\vert \biggl\{ \sum_{\substack {1\leq i\leq m\\1\leq j\leq n}} \bigl\vert \operatorname{tr} \bigl[ \bigl(I-Z\overline{S}^{T}\bigr)^{-1}I_{ij} \overline {S}^{T} \bigr] \bigr\vert ^{2} \biggr\} ^{\frac{1}{2}} \leq C, \end{aligned}$$
(12)

where\(I_{ij}\)is an\(m\times n\)matrix whose element of theith row and thejth column is 1, and the other elements are 0.

Let S be a fixed point in \(\Re_{I}\). If \(\alpha=\frac{1}{2}\), on \(\Re_{I}\) we define the function

$$\begin{aligned} f_{S}(Z)=\bigl[\operatorname{det}\bigl(I-S\overline{S}^{T} \bigr)\bigr]^{\frac{1}{2}}\log\frac {2}{\operatorname{det}(I-Z\overline{S}^{T})}, \end{aligned}$$

and if \(\alpha\neq\frac{1}{2}\), on \(\Re_{I}\) we define the function

$$\begin{aligned} g_{S}(Z)=\frac{1}{1-2\alpha}\frac{[\operatorname{det}(I-S\overline {S}^{T})]^{\alpha}}{[\operatorname{det}(I-Z\overline{S}^{T})]^{2\alpha-1}}. \end{aligned}$$

To prove that \(f_{S}\) belongs to \(\mathcal{B}^{\frac{1}{2}}(\Re_{I})\) (or \(g_{S}\) belongs to \(\mathcal{B}^{a}(\Re_{I})\) for \(\alpha \neq\frac{1}{2}\)), let us recall the definition of the function matrix derivative.

Let

$$ Y(x)=\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c@{\quad}c} y_{11}(x)&y_{12}(x)&\cdots&y_{1n}(x)\\ y_{21}(x)&y_{22}(x)&\cdots&y_{2n}(x)\\ \vdots&\vdots&\vdots&\vdots\\ y_{n1}(x)&y_{n2}(x)&\cdots&y_{nn}(x) \end{array}\displaystyle \right ) $$

and each \(y_{ij}(x)\) be differentiable on the interval I. Then the well-known derivative of \(Y(x)\) is defined as

$$ \frac{d Y(x)}{dx}=\left ( \textstyle\begin{array}{c@{\quad}c@{\quad}c@{\quad}c} y'_{11}(x)& y'_{12}(x)&\cdots&y'_{1n}(x)\\ y'_{21}(x)& y'_{22}(x)&\cdots&y'_{2n}(x)\\ \vdots&\vdots&\vdots&\vdots\\ y'_{n1}(x)& y'_{n2}(x)&\cdots&y'_{nn}(x) \end{array}\displaystyle \right ). $$

If we regard \(\operatorname{det}(I-Z\overline{S}^{T})\) as a function of Z, we have the following result.

Lemma 8

LetSbe a fixed point in\(\Re_{I}\). Then on\(\Re_{I}\)it follows that

$$\frac{\partial\operatorname{det}(I-Z\overline{S}^{T})}{\partial z_{ij}}=\operatorname {det}\bigl(I-Z\overline{S}^{T}\bigr) \operatorname{tr} \bigl[\bigl(I-Z\overline {S}^{T}\bigr)^{-1}I_{ij} \overline{S}^{T} \bigr]. $$

Proof

Let \(A(x)\) be a differentiable function matrix and \(\operatorname {det}A(x)\neq0\) for each \(x\in I\). Then by the formula (see [9])

$$\frac{d\operatorname{det} A(x)}{dx}=\operatorname{det}A(x)\operatorname{tr} \biggl[A(x)^{-1} \frac{d A(x)}{dx} \biggr], $$

we have

$$\begin{aligned} \frac{\partial\operatorname{det}(I-Z\overline{S}^{T})}{\partial z_{ij}}=\operatorname {det}\bigl(I-Z\overline{S}^{T}\bigr) \operatorname{tr} \biggl[\bigl(I-Z\overline{S}^{T}\bigr)^{-1} \frac {\partial(I-Z\overline{S}^{T})}{\partial z_{ij}} \biggr]. \end{aligned}$$
(13)

By the definition of the function matrix derivative, it is easy to see that

$$\begin{aligned} \frac{\partial(I-Z\overline{S}^{T})}{\partial z_{ij}}=I_{ij}\overline {S}. \end{aligned}$$
(14)

From (13) and (14), the desired result follows. □

Lemma 9

Let\(\alpha>0\). For the fixed point\(S\in \Re_{I}\), the following statements hold.

  1. (i)

    If\(\alpha=\frac{1}{2}\), then the function\(f_{S}\)belongs to\(\mathcal{B}^{\frac{1}{2}}(\Re_{I})\). Moreover,

    $$\begin{aligned} \sup_{S\in\Re_{I}} \Vert f_{S} \Vert _{\mathcal{B}^{\frac{1}{2}}(\Re_{I})}\lesssim 1. \end{aligned}$$
    (15)
  2. (ii)

    If\(\alpha\neq\frac{1}{2}\), then the function\(g_{S}\)belongs to\(\mathcal{B}^{\alpha }(\Re_{I})\). Moreover,

    $$\begin{aligned} \sup_{S\in\Re_{I}} \Vert g_{S} \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}\lesssim 1. \end{aligned}$$
    (16)

Proof

We first prove (i). By Lemma 8, we have

$$\begin{aligned} \frac{\partial f_{S}(Z)}{\partial z_{ij}}= \bigl[\operatorname {det}\bigl(I-S\overline{S}^{T} \bigr) \bigr]^{\frac{1}{2}} \frac{\operatorname{det}(I-Z\overline{S}^{T})\operatorname{tr}[(I-Z\overline {S}^{T})^{-1}I_{ij}\overline{S}^{T}]}{ \operatorname{det}(I-Z\overline{S}^{T})}. \end{aligned}$$

Then we obtain

$$\begin{aligned} \bigl\vert \nabla f_{S}(Z) \bigr\vert = \bigl[\operatorname{det} \bigl(I-S\overline{S}^{T}\bigr) \bigr]^{\frac{1}{2}} \frac{ \vert \operatorname{det}(I-Z\overline{S}^{T}) \vert \{\sum_{\substack{1\leq i\leq m\\1\leq j\leq n}} \vert \operatorname{tr}[(I-Z\overline{S}^{T})^{-1}I_{ij}\overline {S}^{T}] \vert ^{2} \}^{\frac{1}{2}}}{ \vert \operatorname{det}(I-Z\overline{S}^{T}) \vert }. \end{aligned}$$
(17)

By Lemmas 68 and (17), we obtain

$$\begin{aligned} \Vert f_{S} \Vert _{\mathcal{B}^{\frac{1}{2}}(\Re_{I})}= \bigl\vert f_{S}(0) \bigr\vert + \bigl[\operatorname {det}\bigl(I-Z \overline{Z}^{T}\bigr) \bigr]^{\frac{1}{2}} \bigl\vert \nabla f_{S}(Z) \bigr\vert \leq C. \end{aligned}$$
(18)

From (18), it follows that \(f_{S}\in \mathcal{B}^{\frac{1}{2}}(\Re_{I})\) and (15) holds.

Next, we prove (ii). Obviously, we have

$$\begin{aligned} \frac{\partial g_{S}(Z)}{\partial z_{ij}}= \bigl[\operatorname {det}\bigl(I-S\overline{S}^{T} \bigr) \bigr]^{\alpha} \frac{\operatorname{det}(I-Z\overline{S}^{T})\operatorname{tr}[(I-Z\overline {S}^{T})^{-1}I_{ij}\overline{S}^{T}]}{ [\operatorname{det}(I-Z\overline{S}^{T})]^{2\alpha}}. \end{aligned}$$

Then

$$\begin{aligned} \bigl\vert \nabla g_{S}(Z) \bigr\vert = \bigl[\operatorname{det} \bigl(I-S\overline{S}^{T}\bigr) \bigr]^{\alpha} \frac{ \vert \operatorname{det}(I-Z\overline{S}^{T}) \vert \{\sum_{\substack{1\leq i\leq m\\1\leq j\leq n}} \vert \operatorname{tr}[(I-Z\overline{S}^{T})^{-1}I_{ij}\overline {S}^{T}] \vert ^{2} \}^{\frac{1}{2}}}{ \vert \operatorname{det}(I-Z\overline{S}^{T}) \vert ^{2\alpha}}. \end{aligned}$$
(19)

Also by Lemmas 68 and (19), we have

$$\begin{aligned} \Vert g_{S} \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}= \bigl\vert g_{S}(0) \bigr\vert + \bigl[\operatorname {det}\bigl(I-Z \overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla g_{S}(Z) \bigr\vert \leq C. \end{aligned}$$
(20)

From (20), it follows that \(g_{S}\in \mathcal{B}^{\alpha}(\Re_{I})\) and (16) holds. □

Remark 2

It is easy to see that \({f_{S}}\) and \({g_{S}}\) uniformly converge to zero on any compact subset of \(\Re_{I}\) as \(S\rightarrow \partial\Re_{I}\).

Boundedness and compactness of \(M_{\psi}\) on \(\mathcal{B}^{\alpha }(\Re_{I})\)

First, we have the following result of the operator \(M_{\psi}\) on \(\mathcal{B}^{\alpha}(\Re_{I})\).

Theorem 1

Let\(\alpha>0\)and\(\psi\in H(\Re _{I})\). Then the following statements hold.

  1. (i)

    For\(0< m\alpha<1\), if\(\psi\in H^{\infty}(\Re_{I})\cap \mathcal{B}^{\alpha}(\Re_{I})\), then the operator\(M_{\psi}\)is bounded on\(\mathcal{B}^{\alpha}(\Re_{I})\).

  2. (ii)

    For\(m\alpha=1\), if\(\psi\in H^{\infty}(\Re_{I})\)and

    $$\begin{aligned} M_{1}:=\sup_{Z\in\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z \overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla \psi(Z) \bigr\vert \log\frac{2}{\operatorname{det}(I-Z\overline{Z}^{T})}< +\infty, \end{aligned}$$
    (21)

    then the operator\(M_{\psi}\)is bounded on\(\mathcal{B}^{\alpha}(\Re _{I})\).

  3. (iii)

    For\(m\alpha>1\), if\(\psi\in H^{\infty}(\Re_{I})\)and

    $$\begin{aligned} M_{2}:=\sup_{Z\in\Re_{I}}\frac{ \vert \nabla\psi(Z) \vert }{ [\operatorname{det}(I-Z\overline{Z}^{T})]^{m\alpha-\alpha-1}}< + \infty, \end{aligned}$$
    (22)

    then the operator\(M_{\psi}\)is bounded on\(\mathcal{B}^{\alpha}(\Re _{I})\).

  4. (iv)

    If the operator\(M_{\psi}\)is bounded on\(\mathcal{B}^{\alpha}(\Re _{I})\), then\(\psi\in H_{\alpha}^{\infty}(\Re_{I})\cap \mathcal{B}^{\alpha}(\Re _{I})\).

Proof

We first prove (i). For \(f\in \mathcal{B}^{\alpha}(\Re_{I})\), by Lemma 4, we have

$$\begin{aligned} \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla (M_{\psi}f) (Z) \bigr\vert &= \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla \psi(Z)f(Z)+\psi(Z)\nabla f(Z) \bigr\vert \\ &\leq \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl( \bigl\vert \nabla\psi(Z)f(Z) \bigr\vert + \bigl\vert \psi(Z)\nabla f(Z) \bigr\vert \bigr) \\ &\leq C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})} \Vert \psi \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}+ \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})} \Vert \psi \Vert _{H^{\infty}(\Re _{I})} \\ &= \bigl(C \Vert \psi \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}+ \Vert \psi \Vert _{H^{\infty}(\Re _{I})} \bigr) \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}. \end{aligned}$$
(23)

Then from (23) we obtain

$$\begin{aligned} \Vert M_{\psi}f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}&= \bigl\vert \psi(0)f(0) \bigr\vert + \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla M_{\psi}f(Z) \bigr\vert \\ &\leq \bigl( \bigl\vert \psi(0) \bigr\vert +C \Vert \psi \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}+ \Vert \psi \Vert _{H^{\infty}(\Re_{I})} \bigr) \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}. \end{aligned}$$
(24)

From the assumption and (24), it follows that the operator \(M_{\psi}\) is bounded on \(\mathcal{B}^{\alpha}(\Re_{I})\).

We prove statement (ii). For each \(f\in \mathcal{B}^{\alpha}(\Re_{I})\), by Lemmas 2 and 4, we have

$$\begin{aligned} \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla (M_{\psi}f) (Z) \bigr\vert &= \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla \psi(Z)f(Z)+\psi(Z)\nabla f(Z) \bigr\vert \\ &\leq \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl( \bigl\vert \nabla\psi(Z) \bigr\vert \bigl\vert f(Z) \bigr\vert + \bigl\vert \psi(Z) \bigr\vert \bigl\vert \nabla f(Z) \bigr\vert \bigr) \\ &\leq \bigl(M_{1}+ \Vert \psi \Vert _{H^{\infty}(\Re_{I})} \bigr) \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}. \end{aligned}$$
(25)

By (25), we obtain

$$\begin{aligned} \Vert M_{\psi}f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}= \bigl\vert \psi(0)f(0) \bigr\vert +\sup_{Z\in\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z \overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla(M_{\psi}f) (Z) \bigr\vert \leq C \Vert f \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}, \end{aligned}$$

which shows that the operator \(M_{\psi}\) is bounded on \(\mathcal{B}^{\alpha }(\Re_{I})\).

Statement (iii) can be obtained similarly. Here we omit.

Now, we begin to prove (iv). Choose \(f(Z)\equiv1\) on \(\Re_{I}\). Then by the boundedness of the operator \(M_{\psi}\) on \(\mathcal{B}^{\alpha }(\Re_{I})\), we have

$$\begin{aligned} \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla \psi(Z) \bigr\vert = \bigl[ \operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla(M_{\psi}f) (Z) \bigr\vert \leq C \Vert f \Vert _{\mathcal{B}^{\alpha }(\Re_{I})}, \end{aligned}$$
(26)

which shows

$$\begin{aligned} \sup_{Z\in\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T} \bigr) \bigr]^{\alpha} \bigl\vert \nabla\psi(Z) \bigr\vert < + \infty, \end{aligned}$$
(27)

that is, \(\psi\in \mathcal{B}^{\alpha}(\Re_{I})\). Again applying the boundedness of the operator \(M_{\psi}\) on \(\mathcal{B}^{\alpha}(\Re_{I})\) to the function \(g(Z)=z_{11}\), by Lemma 1 and (27) we obtain

$$\begin{aligned} \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \psi(Z) \bigr\vert &= \bigl[\operatorname{det} \bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla\psi(Z)z_{11}+\psi(Z)-\nabla\psi(Z)z_{11} \bigr\vert \\ &\leq \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl( \bigl\vert \nabla\psi(Z)z_{11}+ \psi(Z) \bigr\vert + \bigl\vert \nabla\psi(Z)z_{11} \bigr\vert \bigr) \\ &\leq \Vert M_{\psi}g \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}+ \Vert \psi \Vert _{\mathcal{B}^{\alpha }(\Re_{I})}. \end{aligned}$$
(28)

By (28), we have

$$\begin{aligned} \sup_{Z\in\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T} \bigr) \bigr]^{\alpha} \bigl\vert \psi(Z) \bigr\vert < + \infty, \end{aligned}$$
(29)

that is, \(\psi\in H_{\alpha}^{\infty}(\Re_{I})\). Combining (27) and (29), we obtain \(\psi\in H_{\alpha}^{\infty}(\Re_{I})\cap \mathcal{B}^{\alpha}(\Re_{I})\). □

Next, we discuss the compactness of the operator \(M_{\psi}\) on \(\mathcal{B}^{\alpha}(\Re_{I})\).

Theorem 2

Let\(\alpha>0\)andψbe the holomorphic function on\(\Re_{I}\). Then the following statements hold.

  1. (i)

    For\(0< m\alpha<1\), if\(\psi\in H_{0}^{\infty}(\Re_{I})\cap \mathcal{B}_{0}^{\alpha}(\Re_{I})\), then the operator\(M_{\psi}\)is compact on\(\mathcal{B}^{\alpha}(\Re _{I})\).

  2. (ii)

    For\(m\alpha=1\), if\(\psi\in H_{0}^{\infty}(\Re_{I})\cap \mathcal{B}^{\alpha}(\Re_{I})\)and

    $$\begin{aligned} \lim_{Z\rightarrow\partial\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z\overline {Z}^{T} \bigr) \bigr]^{\alpha} \bigl\vert \nabla\psi(Z) \bigr\vert \log \frac{2}{\operatorname{det}(I-Z\overline{Z}^{T})}=0, \end{aligned}$$
    (30)

    then the operator\(M_{\psi}\)is compact on\(\mathcal{B}^{\alpha}(\Re _{I})\).

  3. (iii)

    For\(m\alpha>1\), if\(\psi\in H_{0}^{\infty}(\Re_{I})\cap \mathcal{B}^{\alpha}(\Re_{I})\)and

    $$\begin{aligned} \lim_{Z\rightarrow\partial\Re_{I}}\frac{ \vert \nabla\psi(Z) \vert }{ [\operatorname{det}(I-Z\overline{Z}^{T}) ]^{m\alpha-\alpha-1}}=0, \end{aligned}$$
    (31)

    then the operator\(M_{\psi}\)is compact on\(\mathcal{B}^{\alpha}(\Re _{I})\).

Proof

Here we only prove statement (ii). Statements (i) and (iii) can be similarly proved. By Lemma 5 we only need to prove that, if \(\{f_{i}\}\) is a sequence in \(\mathcal{B}^{\alpha}(\Re_{I})\) such that \(\sup_{i\in {\mathbb {N}}}\|f_{i}\|_{\mathcal{B}^{\alpha}(\Re_{I})}\leq M\) and \(f_{i}\rightarrow0\) uniformly on any compact subset of \(\Re_{I}\) as \(i\rightarrow\infty\), then \(\lim_{i\rightarrow\infty}\|M_{\psi}f_{i}\|_{\mathcal{B}^{\alpha}(\Re _{I})}=0\). We observe that \(\psi\in H_{0}^{\infty}(\Re_{I})\) and condition (30) imply that, for every \(\varepsilon>0\), there exists \(\sigma>0\) such that on \(K=\{Z\in\Re_{I}:\operatorname{dist}(Z,\partial\Re_{I})<\sigma\}\) it follows that

$$\begin{aligned} \bigl\vert \psi(Z) \bigr\vert < \varepsilon\quad \mbox{and} \quad\bigl[\operatorname{det} \bigl(I-Z\overline {Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla\psi(Z) \bigr\vert \log\frac{2}{\operatorname{det}(I-Z\overline{Z}^{T})}< \varepsilon. \end{aligned}$$
(32)

For such ε and σ, by using (32) and Lemma 4, we have

$$\begin{aligned} \Vert M_{\psi}f_{i} \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}&= \bigl\vert \psi (0)f_{i}(0) \bigr\vert +\sup_{Z\in\Re_{I}} \bigl[\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla M_{\psi}f_{i}(Z) \bigr\vert \\ &= \bigl\vert \psi(0)f_{i}(0) \bigr\vert +\sup _{Z\in\Re_{I}} \bigl[\operatorname {det}\bigl(I-Z\overline{Z}^{T} \bigr) \bigr]^{\alpha} \bigl\vert \nabla\psi(Z)f_{i}(Z)+ \psi(Z)\nabla f_{i}(Z) \bigr\vert \\ &\leq \bigl\vert \psi(0)f_{i}(0) \bigr\vert \\&\quad+ \Bigl(\sup _{Z\in K}+\sup_{Z\in\Re _{I}\setminus K} \Bigr) \bigl[\operatorname{det} \bigl(I-Z\overline{Z}^{T}\bigr) \bigr]^{\alpha} \bigl\vert \nabla\psi(Z)f_{i}(Z)+\psi(Z)\nabla f_{i}(Z) \bigr\vert \\ &\leq \bigl\vert \psi(0)f_{i}(0) \bigr\vert +M\sup _{Z\in K} \bigl[\operatorname {det}\bigl(I-Z\overline{Z}^{T} \bigr) \bigr]^{\alpha} \bigl\vert \nabla\psi(Z) \bigr\vert \log \frac{2}{\operatorname{det}(I-Z\overline {Z}^{T})} \\ & + \Vert \psi \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}\sup_{Z\in\Re_{I}\setminus K} \bigl\vert f_{i}(Z) \bigr\vert \\&\quad +M\sup_{Z\in K} \bigl\vert \psi(Z) \bigr\vert + \Vert \psi \Vert _{H_{\alpha}^{\infty}(\Re_{I})}\sup _{Z\in\Re _{I}\setminus K} \bigl\vert \nabla f_{i}(Z) \bigr\vert . \end{aligned}$$
(33)

It is obvious to see that if \(f_{i}\rightarrow0\) uniformly on a compact subset of \(\Re_{I}\) as \(i\rightarrow\infty\), then \(|\nabla f_{i}(Z)|\) does as \(i\rightarrow\infty\). Since \(\Re_{I}\setminus K\) is a compact subset of \(\Re_{I}\), \(f_{i}\rightarrow0\) uniformly on \(\Re_{I}\setminus K\) as \(i\rightarrow\infty\). From this and (33), we get

$$\begin{aligned} \lim_{i\rightarrow\infty} \Vert M_{\psi}f_{i} \Vert _{\mathcal{B}^{\alpha}(\Re_{I})}=0, \end{aligned}$$

which shows that \(M_{\psi}\) is compact on \(\mathcal{B}^{\alpha}(\Re_{I})\). □

Theorem 3

Let\(\alpha>0\)and\(\psi\in H(\Re _{I})\). Then the following statements hold.

  1. (i)

    For\(\alpha=\frac{1}{2}\), if the operator\(M_{\psi}\)is compact on\(\mathcal{B}^{\alpha}(\Re_{I})\), then

    $$\begin{aligned}& \lim_{Z\to\partial\Re_{I}}\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \biggl\{ \sum_{\substack{1\leq i\leq m\\1\leq j\leq n}} \biggl\vert \frac {\partial\psi(Z)}{\partial z_{ij}}\log\frac{2}{\operatorname{det}(I-Z\overline{Z}^{T})}\\& \quad{} +\psi(Z)\operatorname{tr} \bigl[\bigl(I-Z \overline{Z}^{T}\bigr)^{-1}I_{ij} \overline{Z}^{T} \bigr] \biggr\vert ^{2} \biggr\} ^{\frac{1}{2}}=0. \end{aligned}$$
  2. (ii)

    For\(\alpha\neq\frac{1}{2}\), if the operator\(M_{\psi}\)is compact on\(\mathcal{B}^{\alpha}(\Re_{I})\), then

    $$\begin{aligned} \lim_{Z\rightarrow\partial\Re_{I}}\operatorname{det}\bigl(I-Z\overline{Z}^{T}\bigr) \biggl\{ \sum_{\substack{1\leq i\leq m\\1\leq j\leq n}} \biggl\vert \frac {1}{2\alpha-1}\frac{\partial\psi(Z)}{\partial z_{ij}}+\psi(Z)\operatorname{tr} \bigl[\bigl(I-Z \overline{Z}^{T}\bigr)^{-1}I_{ij}\overline {Z}^{T} \bigr] \biggr\vert ^{2} \biggr\} ^{\frac{1}{2}}=0. \end{aligned}$$

Proof

We first prove statement (i). Suppose that the operator \(M_{\psi}\) is compact on \(\mathcal{B}^{\alpha}(\Re_{I})\). Consider a sequence \(\{S_{n}\}\) in \(\Re _{I}\) such that \(S_{n}\to\partial\Re_{I}\) as \(n\to\infty\). Using this sequence, we define the functions

$$\begin{aligned} f_{n}(Z)= \bigl[\operatorname{det}\bigl(I-S\overline{S}^{T} \bigr) \bigr]^{\frac{1}{2}}\log \frac{2}{\operatorname{det}(I-Z\overline{S_{n}}^{T})}. \end{aligned}$$
(34)

Then, by Lemma 9, we know that the sequence \(\{f_{n}\}\) is uniformly bounded in \(\mathcal{B}^{\alpha}(\Re_{I})\) and uniformly converges to zero on any compact subset of \(\Re_{I}\) as \(n\to\infty\). Hence, by Lemma 5,

$$\begin{aligned} \lim_{n\rightarrow\infty} \Vert M_{\psi}f_{n} \Vert _{\mathcal{B}^{\alpha}(\Re _{I})}=0. \end{aligned}$$
(35)

Using (35), it follows from a direct computation that (i) holds.

Consider

$$\begin{aligned} g_{n}(Z)=\frac{1}{1-2\alpha }\frac{ [\operatorname{det}(I-S_{n}\overline {S_{n}}^{T}) ]^{\alpha}}{ [\operatorname{det}(I-Z\overline{S_{n}}^{T}) ]^{2\alpha-1}}. \end{aligned}$$

We can similarly prove statement (ii) and the details are omitted. □

References

  1. 1.

    Allen, R.F., Colonna, F.: Weighted composition operators from \(H^{\infty}\) to the Bloch space of a bounded homogeneous domain. Integral Equ. Oper. Theory 66, 21–40 (2010)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Colonna, F., Li, S.: Weighted composition operators from the minimal Möbius invariant space into the Bloch space. Mediterr. J. Math. 10(1), 395–409 (2013)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Cowen, C.C., MacCluer, B.D.: Composition Operators on Spaces of Analytic Functions. CRC Press, Boca Roton (1995)

    Google Scholar 

  4. 4.

    Esmaeili, K., Lindström, M.: Weighted composition operators between Zygmund type spaces and their essential norms. Integral Equ. Oper. Theory 75, 473–490 (2013)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Guo, Y.T., Shang, Q.L., Zhang, X.J.: The pointwise multiplier on the normal weight Zygmund space in the unit ball. Acta Math. Sci. 36A(6), 1041–1048 (2018)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    He, W.X., Li, Y.Z.: Bers-type spaces and composition operators. Northeast. Math. J. 18(3), 223–232 (2002)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Hu, P.Y., Shi, J.H.: Multipliers on Dirichlet type spaces. Acta Math. Sin. 17, 263–272 (2001)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Kucik, A.S.: Weighted composition operators on spaces of analytic functions on the complex half plane. Complex Anal. Oper. Theory 12, 1817–1833 (2018)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Lu, Q.K.: The Classical Manifolds and the Classical Domains. Shanghai Scientific and Technical Publisher, Shanghai (1963) (in Chinese)

    Google Scholar 

  10. 10.

    Stegenga, D.A.: Multipliers of the Dirichlet space. Ill. J. Math. 24, 113–139 (1980)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Stević, S.: Essential norms of weighted composition operators from the α-Bloch space to a weighted-type space on the unit ball. Abstr. Appl. Anal. 2008, Article ID 279691 (2008)

    MathSciNet  MATH  Google Scholar 

  12. 12.

    Stević, S.: Norm of weighted composition operators from Bloch space to \(H^{\infty}\) on the unit ball. Ars Comb. 88, 125–127 (2008)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Stević, S.: On a new integral-type operator from the weighted Bergman space to the Bloch-type space on the unit ball. Discrete Dyn. Nat. Soc. 2008, Article ID 154263 (2008)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Stević, S.: On a new operator from \(H^{\infty}\) to the Bloch-type space on the unit ball. Util. Math. 77, 257–263 (2008)

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Stević, S.: On a new operator from the logarithmic Bloch space to the Bloch-type space on the unit ball. Appl. Math. Comput. 206, 313–320 (2008)

    MathSciNet  MATH  Google Scholar 

  16. 16.

    Stević, S.: Norm of weighted composition operators from α-Bloch spaces to weighted-type spaces. Appl. Math. Comput. 215, 818–820 (2009)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Stević, S.: Weighted composition operators from Bergman–Privalov-type spaces to weighted-type spaces on the unit ball. Appl. Math. Comput. 217, 1939–1943 (2010)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Stević, S., Jiang, Zh.J.: Differences of weighted composition operators on the unit polydisk. Mat. Sb. 52(2), 358–371 (2011)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Stević, S., Sharma, A.K.: Weighted composition operators between growth spaces of the upper half-plane. Util. Math. 84, 265–271 (2011)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Su, J.B., Miao, X., Li, H.J.: Generalization of Hua’s inequalities and application. J. Math. Inequal. 9(1), 27–45 (2015)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Taylor, G.D.: Multipliers on \(D_{\alpha}\). Trans. Am. Math. Soc. 123, 229–240 (1966)

    Google Scholar 

  22. 22.

    Yin, W.P.: The Bergman kernels on super-Cartan domain of the first type. Sci. China Ser. A 43, 13–21 (2000)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Zhang, X.J.: The pointwise multipliers of Bloch type space \(\beta^{p}\) and Dirichlet type space \(D^{q}\) on the unit ball of \(\mathbb{C}^{n}\). J. Math. Anal. Appl. 285, 376–386 (2003)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Zhou, Z.H., Shi, J.H.: Composition operators on the Bloch spaces in polydisks. Complex Var. Elliptic Equ. 46, 73–88 (2001)

    Google Scholar 

  25. 25.

    Zhou, Z.H., Shi, J.H.: Compactness of composition operators on the Bloch space in the classical bounded symmetric domains. Mich. Math. J. 50, 381–405 (2002)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Zhu, K.: Multipliers of BMO in the Bergman metric with applications to Toeplitz operators. J. Funct. Anal. 87, 31–50 (1989)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Zhu, K.: Spaces of Holomorphic Functions in the Unit Ball. Springer, New York (2005)

    Google Scholar 

Download references

Acknowledgements

The author would like to thank the anonymous referee for providing valuable comments for the improvement of this paper. This work was supported by the Sichuan Science and Technology Program (2018JY0200) and the Sichuan Province University Key Laboratory of Bridge Non-destruction Detecting and Engineering Computing (2016QZJ01).

Availability of data and materials

Not applicable.

Funding

Not applicable.

Author information

Affiliations

Authors

Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the manuscript.

Corresponding author

Correspondence to Zhi-jie Jiang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Jiang, Zj. Multiplication operators on weighted Bloch spaces of the first Cartan domains. J Inequal Appl 2020, 197 (2020). https://doi.org/10.1186/s13660-020-02460-3

Download citation

MSC

  • 42A18
  • 47B33

Keywords

  • Multiplication operator
  • First Cartan domain
  • Weighted Bloch space
  • Boundedness
  • Compactness