1 Introduction
Let D be the unit disk $\{z \in {\mathbb C} : |z| < 1\}$ in the complex plane ${\mathbb C}$ and T be the unit circle $\{z \in {\mathbb C} : |z| = 1\}$ . For $0 < p < \infty $ and $\alpha> -1$ , the weighted Bergman space $A^p_{\alpha }$ of D consists of all analytic functions f in $L^p(D, dA_{\alpha })$ , that is,
where $dA_{\alpha }(z) := (\alpha + 1)(1 - |z|^2)^{\alpha } dA(z)$ and $dA(z) := ({1}/{\pi })\,dx\,dy$ is the normalized area measure on D. It is known that $A^2_{\alpha }$ is a closed subspace of $L^2(D, dA_{\alpha })$ and is thus a Hilbert space with the inner product $\langle \cdot ,\cdot \rangle $ given by
In what follows, we denote the norm on $A^2_{\alpha }$ by $\|\cdot \|$ for brevity. By writing $f(z) = \sum _{k = 0}^{\infty } a_k z^k$ , we have
where $\Gamma $ is the usual gamma function. If we let
then $\{e_k\}_{k=0}^{\infty }$ is the standard orthonormal basis for $A^2_{\alpha }$ . Furthermore, if w is an arbitrary point in D, then $\langle f, k_w\rangle = f(w)$ for all $f \in A^2_{\alpha }$ , where $k_w(z) := 1/(1 - \overline {w}z)^{\alpha + 2}$ is the reproducing kernel representing the point evaluation functional on $A^2_{\alpha }$ at $z = w$ . Moreover, $\|k_w\|^2 = 1/(1 - |w|^2)^{\alpha + 2}$ .
Let u and $\varphi $ be two analytic functions on D such that $\varphi (D) \subset D$ . They induce a weighted composition operator $uC_{\varphi }$ from $A^2_{\alpha }$ into the linear space of all analytic functions on D by
When $u \equiv 1$ , the corresponding operator, denoted by $C_{\varphi }$ , is known as a composition operator. From exercise 3.1.3 in [Reference Cowen and MacCluer3, page 127], $C_{\varphi }$ is always bounded. However, this is not necessarily true for weighted composition operators. When $uC_{\varphi }$ maps $A^2_{\alpha }$ into itself, we say $uC_{\varphi }$ is a weighted composition operator on $A^2_{\alpha }$ . In this case, $u = uC_{\varphi }1 \in A^2_{\alpha }$ . An appeal to the closed graph theorem shows that every operator $uC_{\varphi }$ on $A^2_{\alpha }$ is bounded. Furthermore, if $g \in A^2_{\alpha }$ and $w \in D$ , then
Thus,
During the past two decades, several authors have studied the properties of (weighted) composition operators on $A^p_{\alpha }$ with Berezin transforms and Carleson-type measures (see for example [Reference Čučković and Zhao4, Reference Čučković and Zhao5, Reference MacCluer and Shapiro11, Reference Mirzakarimi and Seddighi13]). In Section 2, we obtain sufficient conditions for the compactness of $uC_{\varphi }$ in terms of function-theoretic properties of u and $\varphi $ . In Section 3, we characterize Hilbert–Schmidt weighted composition operators and the Hilbert–Schmidt difference of two weighted composition operators on $A^2_{\alpha }$ .
2 Compact weighted composition operators
A bounded linear operator T from a Banach space $B_1$ to a Banach space $B_2$ is said to be compact if it maps bounded subsets of $B_1$ into relatively compact subsets of $B_2$ . Equivalently, T is compact if and only if it maps every bounded sequence $\{x_n\}_{n = 1}^{\infty }$ in $B_1$ onto a sequence $\{Tx_n\}_{n = 1}^{\infty }$ in $B_2$ which has a convergent subsequence. It was shown in [Reference Mirzakarimi and Seddighi13, Theorem 4.3] that $uC_{\varphi }$ is compact on $A^p_{\alpha }$ if and only if
where $S(\zeta , \delta ) := \{z \in D : |z - \zeta | < \delta \}$ and $\mu _{\alpha ,\, p} \circ \varphi ^{-1}$ is the measure such that $\|uC_{\varphi }f\|_{A^p_{\alpha }}^p = \int _D |f|^p d\mu _{\alpha ,\, p} \circ \varphi ^{-1}$ for all $f \in A^p_{\alpha }$ . Later, Čučković and Zhao estimated the essential norm of $uC_{\varphi }$ and deduced that $uC_{\varphi }$ is compact on $A^2_0$ if and only if
[Reference Čučković and Zhao4, Corollary 2]. These characterizations, however, are rather implicit and less tractable. In this section, we provide more explicit sufficient conditions that guarantee $uC_{\varphi }$ is compact on $A^2_{\alpha }$ . To this end, we first state a useful result to the study of compact weighted composition operators on $A^2_{\alpha }$ .
Lemma 2.1. Let $uC_{\varphi }$ be a weighted composition operator on $A^2_{\alpha }$ . The following two statements are equivalent:
-
(i) $uC_{\varphi }$ is compact on $A^2_{\alpha }$ ;
-
(ii) if $\{f_n\}_{n = 1}^{\infty }$ is a bounded sequence in $A^2_{\alpha }$ and $f_n \to 0$ uniformly on compact subsets of D, then $\|uC_{\varphi }f_n\| \to 0$ .
While the above lemma is a generalization of [Reference Cowen and MacCluer3, Proposition 3.11], it can also be obtained by a Hilbert space argument. From exercise 4.7.1 in [Reference Zhu17, page 97], a sequence of functions in $A^2_{\alpha }$ is weakly convergent to zero if and only if this sequence is norm bounded and converges to zero uniformly on compact subsets of D. Lemma 2.1 now follows from this fact and [Reference Zhu17, Theorem 1.14].
One simple sufficient condition for the compactness of $uC_{\varphi }$ , which is analogous to [Reference Gunatillake7, Theorem 2], is given below.
Theorem 2.2. Suppose that $uC_{\varphi }$ is a weighted composition operator on $A^2_{\alpha }$ . If $\overline {\varphi (D)} \subset D$ , then $uC_{\varphi }$ is compact.
Proof. Since $\overline {\varphi (D)} \subset D$ , there is a constant M such that $0 < M < 1$ and $|\varphi (z)| \leq M$ for all $z \in D$ . Let $\{f_n\}_{n = 1}^{\infty }$ be a bounded sequence in $A^2_{\alpha }$ such that $f_n \to 0$ uniformly on compact subsets of D. In particular, this sequence converges to zero uniformly on $\overline {S(0, M)}$ . Then there exists some $N \in {\mathbb N}$ for which $|f_n(\varphi (z))| < \epsilon $ whenever $n> N$ and $z \in D$ . With $u \in A^2_{\alpha }$ , it follows that $\|uC_{\varphi } f_n\| \leq \epsilon \|u\|$ for all $n> N$ . By Lemma 2.1, $uC_{\varphi }$ is compact.
We remark that the condition $\overline {\varphi (D)} \subset D$ in Theorem 2.2 is sufficient, but not necessary for the compactness of $uC_{\varphi }$ . This is shown below.
Example 2.3. Let $u(z) = z-1$ and $\varphi (z) = (z + 1) / 2$ . Note that $1 \in \overline {\varphi (D)}$ . Choose any $\varepsilon> 0$ . With $u(1) = 0$ and the continuity of u at $z = 1$ , there is a sufficiently small $\delta> 0$ such that $|u|^2 < \varepsilon $ on $S(1, \delta )$ . We show that $uC_{\varphi }$ is compact by using Lemma 2.1.
Let $\{f_n\}_{n = 1}^{\infty }$ be a sequence in $A^2_{\alpha }$ such that $\|f_n\| \leq 1$ for all $n \in {\mathbb N}$ and $f_n \to 0$ uniformly on compact subsets of D. Since $\varphi $ is continuous on the compact set $\overline {D \setminus S(1, \delta )}$ , the set $\varphi (\overline {D \setminus S(1, \delta )})$ is compact in D. Then there exists some $N \in {\mathbb N}$ for which if $n> N$ and $z \in D \setminus S(1, \delta )$ , we have
These, together with the fact that $C_{\varphi }$ is bounded on $A^2_{\alpha }$ , imply
whenever $n> N$ .
In this example, $\varphi $ has an angular derivative at $z = 1$ because $(1 - \varphi (z)) / (1 - z) = 1 / 2$ . Then it follows from [Reference Cowen and MacCluer3, Corollary 3.14] that $C_{\varphi }$ is not compact on $A^2_{\alpha }$ . However, $uC_{\varphi }$ is compact.
There is another question of interest: does the compactness of $C_{\varphi }$ guarantee that of $uC_{\varphi }$ ? The answer to this question is generally no, at least when u is unbounded on D. To see this, we first state a necessary condition for $uC_{\varphi }$ to be compact.
Theorem 2.4. If $uC_{\varphi }$ is a compact weighted composition operator on $A^2_{\alpha }$ , then
This theorem is a simple generalization of [Reference Čučković and Zhao4, Proposition 1]: since
where $K_z$ is the normalized reproducing kernel corresponding to the point evaluation functional on $A^2_{\alpha }$ at z, the condition in Equation (2-1) follows from the compactness of $(uC_{\varphi })^*$ and the result that $K_z \to 0$ weakly in $A^2_{\alpha }$ as $|z| \to 1^-$ .
While the validity of the converse of Theorem 2.4 awaits further investigation, the condition in Equation (2-1) actually is equivalent to the compactness of composition operators on $A^2_{\alpha }$ [Reference Zhu17, Theorem 11.8]. Under additional assumptions on u and $\varphi $ , however, the condition in Equation (2-1) does characterize the compactness of $uC_{\varphi }$ . This will be shown in Theorem 2.8.
Example 2.5. Let $u(z) = 1 / (1 - z)^{1/2 + {\alpha }/{4}}$ and $\varphi (z) = 1 - (1 - z)^{1/2}$ . From [Reference Lo and Loh10, Example 3.4], $\varphi $ has no finite angular derivative at any point of T. Thus, $C_{\varphi }$ is compact by [Reference Cowen and MacCluer3, Theorem 3.22]. However,
According to Theorem 2.4, $uC_{\varphi }$ is not compact on $A^2_{\alpha }$ .
When $C_{\varphi }$ is compact, how can we choose u such that $uC_{\varphi }$ is compact? The next result provides one criterion. Its statement and proof are similar to those of [Reference Lo and Loh10, Theorem 4.1].
Theorem 2.6. Suppose $u \in A^2_{\alpha }$ and $C_{\varphi }$ is compact on $A^2_{\alpha }$ . If there is a constant c with $0 < c < 1$ such that u is bounded on the set $\{z \in D : |\varphi (z)|> c\}$ , then $uC_{\varphi }$ is compact on $A^2_{\alpha }$ .
We prove a ‘converse’ of Theorem 2.4 with extra assumptions on u and $\varphi $ . While Moorhouse showed that the condition in Equation (2-1) characterizes the compactness of $uC_{\varphi }$ when u is bounded on D [Reference Moorhouse14, Corollary 1], the validity of our result does not require the boundedness of u. The following lemma is needed.
Lemma 2.7. If $f \in A^2_{\alpha }$ , then
where $c := \min \{1, [(\alpha + 1)(\alpha + 2)] / (\alpha + 3)\}$ and $d := \max \{1, (\alpha + 1)(\alpha + 2)\}$ .
The proof of this lemma is direct and follows from a straightforward computation of the integral $\int _D |f'(z)|^2 (1 - |z|^2)^2 \,dA_{\alpha }(z)$ in terms of the Taylor coefficients of f. An immediate consequence of Lemma 2.7 is that $f \in A^2_{\alpha }$ if and only if $f' \in L^2(D, dA_{\alpha + 2})$ . Indeed, this is a particular case of a more general result in [Reference Hedenmalm, Korenblum and Zhu8, Proposition 1.11]. Moreover, the lemma implies that $\|f\|$ is equivalent to $\|f'\|_{A_{\alpha + 2}^2}$ if $f \in A^2_{\alpha }$ and $f(0)=0$ .
Theorem 2.8. Let $uC_{\varphi }$ be a weighted composition operator on $A^2_{\alpha }$ . If
-
(i) $\varphi $ is univalent on D;
-
(ii) $ \lim _{|z| \to 1^-} |u'(z)|(1 - |z|^2) = 0$ ; and
-
(iii) $ \lim _{|z| \to 1^-} |u(z)|(({1 - |z|^2})/({1 - |\varphi (z)|^2}))^{{\alpha }/{2} + 1} = 0$ ;
then $uC_{\varphi }$ is compact on $A^2_{\alpha }$ .
Proof. Fix any $\varepsilon> 0$ . By conditions (ii) and (iii), there is a constant r with ${1 / 2 < r < 1}$ such that
whenever $r < |z| < 1$ . Let $\{f_n\}_{n = 1}^{\infty }$ be a sequence in $A^2_{\alpha }$ with $\|f_n\| \leq 1$ for all $n \in {\mathbb N}$ and $f_n \to 0$ uniformly on compact subsets of D. By Lemma 2.7,
where c is the constant defined in Lemma 2.7. Then
so that
where
and
Both sets $\{\varphi (0)\}$ and $\varphi (\overline {S(0, r)})$ are compact in D. Thus, there exists some $N \in {\mathbb N}$ for which if $n> N$ and $z \in \overline {S(0, r)}$ , then
From the continuity of $u\varphi '$ and $u'$ on the compact set $\overline {S(0, r)}$ , there is a positive constant M such that
for all $z \in \overline {S(0, r)}$ . Therefore, if $n> N$ , we have
The boundedness of $C_{\varphi }$ on $A^2_{\alpha }$ implies that
It remains to estimate $B_n$ . Note that
Put $w = \varphi (z)$ . By the change-of-variable formula in [Reference MacCluer and Shapiro11, page 891] and the univalence of $\varphi $ ,
where d is the constant defined in Lemma 2.7. From Equations (2-2)–(2-6), it now follows that
for all $n> N$ . Hence, $\|uC_{\varphi }f_n\| \to 0$ as $n \to \infty $ .
3 Hilbert–Schmidt weighted composition operators
An important class of compact operators is the Hilbert–Schmidt operators. Let $H_1$ and $H_2$ be separable Hilbert spaces and $T : H_1 \to H_2$ be a bounded linear operator. Then T is said to be Hilbert–Schmidt if $\sum _{k=0}^{\infty } \|T e_k\|_{H_2}^2 < \infty $ for some orthonormal basis $\{e_k\}_{k=0}^{\infty }$ of $H_1$ . The value of this sum is independent of the choice of an orthonormal basis. It is well known that every Hilbert–Schmidt operator is compact, but the converse is not necessarily true. In what follows, we take $\{e_k\}_{k=0}^{\infty }$ to be the standard orthonormal basis for $A^2_{\alpha }$ , as given by Equation (1-1) in Section 1. We also recall a few identities for useful reference:
-
(a) $ {1}/{(1 - x)^{\alpha + 2}} = \sum _{k=0}^{\infty } ({\Gamma (\alpha + 2 + k)}/{k! \,\Gamma (\alpha + 2)}) x^k$ for $|x| < 1$ ;
-
(b) $ 1 - |({w - z})/({1 - \overline {w}z})|^2 = {(1 - |w|^2)(1 - |z|^2)}/{|1 - \overline {w}z|^2}$ and $ 1 - \overline {w}(({w - z})/ ({1 - \overline {w}z})) = ({1 - |w|^2})/({1 - \overline {w}z})$ for every $w, z \in D$ .
Using the criterion for $uC_{\varphi }$ to belong to the Schatten class, Čučković and Zhao obtained a characterization for Hilbert–Schmidt weighted composition maps on $A^2_0$ [Reference Čučković and Zhao4, Corollary 3]. We first generalize this result to the weighted Bergman space and provide a direct proof.
Theorem 3.1. Let $uC_{\varphi }$ be a weighted composition operator on $A^2_{\alpha }$ . Then $uC_{\varphi }$ is Hilbert–Schmidt if and only if
Proof. Direct computation gives
Interchanging the summation and integral sums in the second equality is legitimate because the terms are all non-negative. The assertion now follows.
It is shown in Theorem 2.2 that if $\overline {\varphi (D)} \subset D$ , then $uC_{\varphi }$ is compact. By Theorem 3.1, $uC_{\varphi }$ is also Hilbert–Schmidt. The next result shows that when $\varphi $ is an automorphism of D, the characterization of when a weighted composition operator is Hilbert–Schmidt becomes simpler.
Corollary 3.2. Let $\varphi $ be an automorphism of D. Then the weighted composition operator $uC_{\varphi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ if and only if
Proof. By the Schwarz–Pick theorem [Reference Cowen and MacCluer3, page 48], we have
Thus,
Write $\varphi (z) = c(a - z) / (1 - \overline {a}z)$ , where $a \in D$ and $|c| = 1$ . Since
for every $z \in D$ , it follows that
We obtain the desired result by combining Equations (3-3) and (3-4), Theorem 3.1, and the fact that ${dA_{\alpha }(z) \kern1.2pt{=}\kern1.2pt (\alpha + 1) (1 - |z|^2)^{\alpha } dA(z)}$ .
The condition in Equation (3-2) is independent of the parameter $\alpha $ and can be expressed as ‘ $u \in L^2(D, d\tau )$ ’, where $\tau $ is the Möbius invariant measure on D defined by
Here the term ‘invariant measure’ is justified by the fact that if $\varphi $ is an automorphism of D, then
for all analytic functions f on D [Reference Zhu17, Section 5.3.1].
Corollary 3.2 is also in contrast to the corresponding result for the Hardy space $H^2$ of D: if $\varphi $ is an automorphism, then it follows from [Reference Matache12, Theorem 9] that the only Hilbert–Schmidt weighted composition operator on $H^2$ is the zero operator.
Example 3.3. Let $u(z) = 1 / (1 - z)^{1/4}$ and $\varphi $ be any automorphism of D. Since, for all $z \in D$ we have $1 - |z|^2 \leq 2|1-z|$ , it follows that
By [Reference Cowen and MacCluer3, Lemma 7.3], $\int _D ({1}/{|1-z|^{5 / 2}}) \, dA(z) = \infty $ . According to Corollary 3.2, $uC_{\varphi }$ is not Hilbert–Schmidt on $A^2_{\alpha }$ .
The inequality in Equation (3-3) in fact holds for all analytic self-maps $\varphi $ of D. Thus, Equation (3-2) provides a sufficient condition for $uC_{\varphi }$ to be Hilbert–Schmidt on $A^2_{\alpha }$ . However, this condition is not necessary, as shown by the following example.
Example 3.4. Let $u(z) = (1 - z)^{(\alpha + 1) / 4}$ and $\varphi (z) = 1 - (1 - z)^{1/2}$ . Then $u \in A^2_{\alpha }$ . We claim that $uC_{\varphi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ . Since $\varphi $ takes D into a polygonal region inscribed in T, there exist positive constants $c, \delta $ such that $\delta < 1/2$ , and $1 - |\varphi (z)| \geq c|1 - z|^{1/2}$ on $S(1, \delta )$ . Write
By choosing $1 + {\alpha }/{2} < \beta < \tfrac 32 + \alpha $ , we have
for $z \in S(1, \delta )$ . Thus,
since $|\,\beta - ({\alpha + 1})/{2}| < 1 + {\alpha }/{2}$ . On $D \setminus S(1, \delta )$ , the continuity of $\varphi $ ensures that $|\varphi (z)| \leq d$ for a constant d with $0 < d < 1$ . Then
From Theorem 3.1, $uC_{\varphi }$ is Hilbert–Schmidt. However, since $1 - |z|^2 \leq 2|1 - z|$ on D, we have
provided that $|(3 - \alpha ) / 2| \geq 1$ , that is, $-1 < \alpha \leq 1$ or $\alpha \geq 5$ .
The rest of this section is devoted to characterizing when $uC_{\varphi } - vC_{\psi }$ on $A^2_{\alpha }$ is Hilbert–Schmidt, where v and $\psi $ are two analytic functions on D such that $\psi (D) \subset D$ . This problem originates from the study of the topological structure of the space of (weighted) composition operators on $A^2_{\alpha }$ . There has been extensive investigation about differences of composition operators on the Hardy space $H^2$ of D (see for example [Reference Bourdon1, Reference Gallardo-Gutiérrez, González, Nieminen and Saksman6, Reference Shapiro and Sundberg16]). The compact difference of two composition operators between weighted Bergman spaces was completely characterized in [Reference Lindstrom and Saukko9, Reference Moorhouse14, Reference Saukko15].
In [Reference Choe, Hosokawa and Koo2], Choe et al. topologized the space of composition operators on $A^2_{\alpha }$ and described its components. By putting
for $z \in D$ , they also characterized the Hilbert–Schmidt difference of two composition operators $C_{\varphi }$ and $C_{\psi }$ in terms of $|\phi |$ , which is known as the pseudo-hyperbolic distance between $\varphi $ and $\psi $ . We generalize such characterization to the weighted case and construct an example to illustrate the result.
Theorem 3.5. Let $uC_{\varphi }$ and $vC_{\psi }$ be two weighted composition operators on $A^2_{\alpha }$ . Then the following statements are equivalent.
-
(i) The operator $uC_{\varphi } - vC_{\psi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ .
-
(ii) $ {|\phi | u}/{(1 - |\varphi |^2)^{1 + {\alpha }/{2}}}, \, {v}/{(1 - |\psi |^2)^{1 + {\alpha }/{2}}} - {u(1 - |\psi |^2)^{1 + {\alpha }/{2}}}/{(1 - \overline {\psi }{\varphi })^{\alpha + 2}} \in L^2 (D, dA_{\alpha })$ .
-
(iii) $ {|\phi | v}/{(1 - |\psi |^2)^{1 + {\alpha }/{2}}}, \, {u}/{(1 - |\varphi |^2)^{1 + {\alpha }/{2}}} - {v(1 - |\varphi |^2)^{1 + {\alpha }/{2}}}/{(1 - \overline {\varphi }{\psi })^{\alpha + 2}} \in L^2 (D, dA_{\alpha })$ .
Proof. We first compute $\sum _{k=0}^{\infty } \|(uC_{\varphi } - vC_{\psi })e_k\|^2$ :
Interchanging the summation and integral signs in the last equality is valid because all the terms ${\Gamma (\alpha + 2 + k)}/{k! \,\Gamma (\alpha + 2)}|u\varphi ^k - v\psi ^k|^2$ are nonnegative. Then
Since $\varphi = (\psi - \phi ) / (1 - \overline {\psi }\phi )$ , it follows that
Therefore,
The operator $uC_{\varphi } - vC_{\psi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ if and only if
Moreover, write
Note that the function $f(x) = [1 - (1 - x^2)^{\alpha + 2}] / x^2$ is continuous and positive on $(0, 1]$ . This, in conjunction with the fact $\lim _{x \to 0^+} f(x) = \alpha + 2> 0$ , implies that f is bounded above and away from zero on $(0, 1)$ . Thus,
if and only if $|\phi | u / (1 - |\varphi |^2)^{1 + {\alpha }/{2}} \in L^2(D, dA_{\alpha })$ . This establishes the equivalence of statements (i) and (ii).
Furthermore, upon switching the roles of $u, v$ and the roles of $\varphi , \psi $ in the preceding calculations, we obtain
By a similar argument, statements (i) and (iii) are also equivalent.
Taking $v = 0$ and $\varphi = \psi $ in the above theorem, we obtain the characterization in Equation (3-1) for a single Hilbert–Schmidt weighted composition operator. There are also two nontrivial consequences of Theorem 3.5. The first one characterizes the Hilbert–Schmidt difference of two composition operators on $A^2_{\alpha }$ . The second one, which generalizes [Reference Choe, Hosokawa and Koo2, Corollary 3.8], states that the Hilbert–Schmidt property of the difference of weighted composition operators on a smaller space extends to larger spaces.
Corollary 3.6 [Reference Choe, Hosokawa and Koo2, Corollary 3.7].
The operator $C_{\varphi } - C_{\psi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ if and only if
Proof. The ‘only if’ part is evident by taking $u = v = 1$ in Theorem 3.5. To prove the ‘if’ part, assume that both $|\phi | / (1 - |\varphi |^2)^{1 + {\alpha }/{2}}$ and $|\phi | / (1 - |\psi |^2)^{1 + {\alpha }/{2}}$ are in $L^2(D, dA_{\alpha })$ . Write
By the continuity of the function $g(z) = [1 - (1 - \overline {w}{z})^{\alpha + 2}] / z$ ( $w \in D$ ) on $D \setminus \{0\}$ and the fact that $\lim _{z \to 0} g(z)$ exists (and equals $(\alpha + 2)\overline {w}$ ), the expression $[1 - (1 - \overline {\psi }{\phi })^{\alpha + 2}] / \phi $ is bounded on the set $\{z \in D : \phi (z) \ne 0\}$ . Thus,
as well. In light of Theorem 3.5, $C_{\varphi } - C_{\psi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ .
Corollary 3.7. Let $uC_{\varphi }$ and $vC_{\psi }$ be two weighted composition operators on $A^2_{\alpha }$ . If $uC_{\varphi } - vC_{\psi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ , then $uC_{\varphi } - vC_{\psi }$ is also Hilbert–Schmidt on $A^2_{\beta }$ for every $\beta> \alpha > -1$ .
Proof. Since $uC_{\varphi } - vC_{\psi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ , the following functions are all in $L^2(D, d\tau )$ , where $\tau $ is the measure defined in Equation (3-5):
-
(i) $ |\phi | u (({1 - |z|^2})/({1 - |\varphi |^2}))^{1 + {\alpha }/{2}}$ ;
-
(ii) $ |\phi | v (({1 - |z|^2})/({1 - |\psi |^2}))^{1 + {\alpha }/{2}}$ ;
-
(iii) $ [{v}/{(1 - |\psi |^2)^{1 + {\alpha }/{2}}} - {u(1 - |\psi |^2)^{1 + {\alpha }/{2}}}/{(1 - \overline {\psi }{\varphi })^{\alpha + 2}}](1 - |z|^2)^{1 + {\alpha }/{2}}$ ;
since
[Reference Cowen and MacCluer3, page 48] and
(both Equations (3-6) and (3-7) hold if $\varphi $ is replaced by $\psi $ ), we have
From the proof of Corollary 3.6,
where $M_{\beta }$ is a constant depending on $\beta $ only. Then
Note that
Moreover, if we put $c = 2^{\alpha + \beta + 4}(({1 + |\varphi (0)|})/({1 - |\varphi (0)|}))^{\beta - \alpha }$ , then appealing to the proof of Corollary 3.6 again gives
where $M_{\alpha }$ is a constant depending on $\alpha $ only. Thus,
This, in conjunction with Equation (3-8), implies that
According to Theorem 3.5, $uC_{\varphi } - vC_{\psi }$ is also Hilbert–Schmidt on $A^2_{\beta }$ .
Example 3.8. Let $u(z) = v(z) = z$ , $\varphi (z) = az + 1 - a$ and $\psi (z) = \varphi (z) + \varepsilon (1 - \varphi (z))^b$ , where a, b, $\varepsilon $ are positive constants such that $a \leq 1/2$ , $b> 2$ , and $\varepsilon $ is to be determined. Since ${\textrm{Re}} (z) < 1$ for $z \in D$ , we have
that is,
Note that $0 < |1 - \varphi (z)| = a|1-z| < 1$ on D. In what follows, we choose $\varepsilon < 1/4$ . Then
or $\psi (D) \subset D$ . We claim that $uC_{\varphi } - vC_{\psi }$ is Hilbert–Schmidt on $A^2_{\alpha }$ if ${3\alpha }/{4} + \tfrac 72 < b < {5\alpha }/{4} + \tfrac 92$ . Since
we have
Thus,
and from the proof of Corollary 3.6,
where $M_1$ and $M_2$ are positive constants depending on a, b, and $\alpha $ . The integral $\int _D ({1}/{|1 - z|^{8 - 2b + 2\alpha }}) \, dA_{\alpha }(z)$ is finite if and only if $|8 - 2b + 2\alpha | < 1 + {\alpha }/{2}$ , that is, ${3\alpha }/{4} + \tfrac 72 < b < {5\alpha }/{4} + \tfrac 92$ . The claim now follows from Theorem 3.5.
Acknowledgment
The authors would like to thank the anonymous referee for his/her careful reading of the manuscript and helpful suggestions, which have improved the clarity of this paper.