Abstract
Boundedness of weighted composition operators \(W_{u,\varphi }\) acting on the classical Dirichlet space \(\mathcal {D}\) as \(W_{u,\varphi }f= u\, (f\circ \varphi )\) is studied in terms of the multiplier space associated to the symbol \(\varphi \), i.e., \(\mathcal {M}(\varphi )=\{ u \in \mathcal D: W_{u,\varphi } \hbox { is bounded on } \mathcal D\}\). A prominent role is played by the multipliers of the Dirichlet space. As a consequence, the spectrum of \(W_{u,\varphi }\) in \(\mathcal {D}\) whenever \(\varphi \) is an automorphism of the unit disc is studied, extending a recent work of Hyvärinen et al. (J. Funct. Anal. 265:1749–1777, 2013) to the context of the Dirichlet space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and preliminaries
Let \({\mathbb D}\) denote the open unit disc in the complex plane \({\mathbb C}\). The Dirichlet space \(\mathcal D\) consists of analytic functions \(f\) on \({\mathbb D}\) such that
is finite. Here \(A\) stands for the normalized Lebesgue area measure of the unit disc. Observe that for a univalent function \(f\), the integral above is just the area of \(f(\mathbb {D})\).
It is well known that \(\mathcal D\subset {\mathcal H^{2}} \subset {\mathcal A^{2}}\), where \(\mathcal H^2\) and \(\mathcal A^2\) denote respectively the Hardy and Bergman spaces on \({\mathbb D}\), and that \(f \in \mathcal D\) if and only if \(f' \in \mathcal A^2\). The recent monograph [8] is an excellent source to learn about the Dirichlet space and its particular issues.
If \(\varphi \) is an analytic function on \(\mathbb {D}\) with \(\varphi (\mathbb {D})\subset \mathbb {D}\), then the equation
defines a composition operator \(C_{\varphi }\) on the space of all holomorphic functions on the unit disc \(\mathcal {H}(\mathbb {D})\). On the Dirichlet space \(\mathcal {D}\), a necessary condition for \(C_{\varphi }\) to be bounded is that \(\varphi \in \mathcal {D}\). Nevertheless, not all the Dirichlet functions induce bounded composition operators on \(\mathcal {D}\). Such functions were characterized in 1980 by Voas [20] in his Ph.D. thesis.
In this work, we shall be concerned with weighted composition operators on \(\mathcal D\): for \(u \in \mathcal D\) and \(\varphi \) a holomorphic self-map of \({\mathbb D}\) we define the weighted composition operator \(W_{u,\varphi }\) on \(\mathcal D\) by
noting that \(W_{u,\varphi }\) is not, in principle, a bounded operator on \(\mathcal D\). It is clear that if \(C_{\varphi }\) is a bounded operator on \(\mathcal D\) and \(u\) is a multiplier of \(\mathcal D\), that is, the analytic Toeplitz operator \(T_u: f \mapsto u f\) is defined everywhere on \(\mathcal D\) and hence bounded, the weighted composition operator \(W_{u,\varphi }\) on \(\mathcal D\) is obviously bounded.
A well known fact about the Dirichlet space is that the algebra \(\mathcal {M}(\mathcal {D})\) consisting of the multipliers of \(\mathcal D\) is not that easy to describe. Indeed, their elements were characterized by Stegenga [19] in a remarkable paper in terms of a condition involving the logarithmic capacity of their boundary values. In particular, the strict inclusion \(\mathcal {M}(\mathcal {D})\subset \mathcal D\cap \mathcal H^\infty \) holds. Here \(\mathcal H^{\infty }\) denotes the space of bounded analytic functions in \({\mathbb D}\) endowed with the sup-norm. A straightforward reformulation in terms of Carleson measures for \(\mathcal D\) (that is, there is a continuous injection from \(\mathcal D\) into \(L^2({\mathbb D},\mu )\)), yields the fact that \(u \in \mathcal {M}(\mathcal {D})\) if and only if \(u\) is bounded and the measure \(\mu \) defined by \(d\mu (z)= |u'(z)|^2 \, dA(z)\) is a Carleson measure for \(\mathcal D\). We refer to [21] for multipliers and Carleson measures in Dirichlet spaces (and to [1, 8] for more on the subject of multipliers).
Concerning boundedness of weighted composition operators on \(\mathcal D\), let us remark that one may construct self-maps of the unit disc \(\varphi \) such that \(\varphi \not \in \mathcal D\) and a multiplier \(u\in \mathcal {M}(\mathcal {D})\) such that \(W_{u,\varphi }\) is bounded in the Dirichlet space. For instance, let \(u(z)=(1-z)^2\) and let \(\varphi \) be the infinite Blaschke product with zeroes \((1-1/n^2)_{n \ge 1}\). Now \(\varphi \not \in \mathcal D\), so \(C_\varphi \) is clearly unbounded. However, for \(f \in \mathcal D\) we have
now the first term is clearly in the Bergman space \(\mathcal A^2\), while for the second term we observe that \((1-z)^2 \varphi '\) is a bounded analytic function in \({\mathbb D}\) and \((f' \circ \varphi ) \in \mathcal A^2\), so that it also lies in \(\mathcal A^2\) (with control of norms), showing that \(W_{u,\varphi }\) is bounded on \(\mathcal D\).
Therefore, facing the problem of describing the weighted composition operators taking \(\mathcal D\) boundedly into itself deals not only with the multipliers of \(\mathcal D\) but also with those self-maps of the unit disc that may induce unbounded composition operators in \(\mathcal D\).
At this regards, for a self-map \(\varphi \) of the unit disc \({\mathbb D}\), we define the multiplier space \(\mathcal {M}(\varphi )\) associated to \(\varphi \) by
It is clear that if \(C_\varphi \) is bounded on \(\mathcal D\), then \(\mathcal {M}(\mathcal {D})\subseteq \mathcal {M}(\varphi )\subseteq \mathcal D\). Moreover, if \(\varphi \) induces an unbounded \(C_{\varphi }\) in \(\mathcal D\), then \(\mathcal {M}(\mathcal {D})\) is no longer contained in \(\mathcal {M}(\varphi )\) since, in such a case, this latter space does not contain the constant functions.
The aim of this work is twofold. On one hand, we are interested in identifying the multiplier space \(\mathcal {M}(\varphi )\) for self-maps \(\varphi \) of \({\mathbb D}\). Indeed, we will be able to characterize the extreme cases whenever \(\varphi \) is a self-map of \({\mathbb D}\) belonging to \(\mathcal D\). Let us remark here that in the case of the Hardy space \(\mathcal H^2\), where \(C_\varphi \) is automatically bounded and the multiplier space is \(\mathcal M(\mathcal H^2)=\mathcal H^\infty \), Gallardo-Gutiérrez et al. proved that \(\mathcal M_{\mathcal H^2}(\varphi )=\mathcal H^2\) if and only if \(\Vert \varphi \Vert _\infty <1\) (see [9]) and \(\mathcal M_{\mathcal H^2}(\varphi )=\mathcal H^\infty \) if and only if \(\varphi \) is a finite Blaschke product; this latter statement was showed previously in a different way in [5] and [16].
Let us also point out that in the course of our findings, we will prove a Decomposition Theorem for the Dirichlet space (cf. Theorem 2.1), which is interesting in its own and whose proof is based on the theory of model spaces for the shift operator in the Hardy space (see [17] for more information about model spaces). As far as we know, this is the first time model spaces come into play with the Dirichlet space.
On the other hand, we are interested in the spectral properties of weighted composition operators in \(\mathcal D\). In [12], Higdon computed the spectrum of composition operators in \(\mathcal D\) induced by linear fractional self-maps of \({\mathbb D}\). The techniques developed there were quite different from those carried over by Cowen in [6] in the corresponding case of the Hardy space \(\mathcal H^2\) (see also [7, Chapter 7]), due to the particular nature of \(\mathcal D\).
In a very recent work, Hyvärinen et al. [13] have described the spectra of invertible weighted composition operators \(W_{u,\varphi }\) acting on a large class of analytic function spaces including the weighted Bergman and the weighted Hardy spaces; generalizing previous results obtained in [11]. Nevertheless, as they also remark, their results do not apply directly to the Dirichlet space since they rely on the fact that the algebra of the multipliers of the spaces considered is \(\mathcal H^\infty \). Our aim is to extend Hyvärinen, Lindström, Nieminen and Saukko’s results to the context of the Dirichlet space \(\mathcal D\), pointing out that their techniques are no longer working in \(\mathcal D\).
The last section of the paper gives a description of the spectra of invertible weighted composition operators. We first note (see Proposition 3.1) that a bounded weighted composition operator \(W_{u,\varphi }\) in the Dirichlet space \(\mathcal D\) is invertible if and only if \(u\) is a multiplier bounded away from zero in \({\mathbb D}\) and \(\varphi \) is an automorphism of the unit disc. Consequently, three separate cases are considered, depending on the nature of the disc automorphism \(\varphi \): elliptic, parabolic or hyperbolic. When \(\varphi \) is parabolic, causal operators will play a prominent role in order to determine explicitly the spectrum of \(W_{u,\varphi }\).
2 Boundedness of weighted composition operators
In this section, we study boundedness of weighted composition operators in the Dirichlet space. In order to show the results at this respect, we prove a Decomposition Theorem for \(\mathcal D\) based on model spaces.
Let \(B\) be a finite Blaschke product and write \(K_B\) for the model space \(K_B=\mathcal H^2 \ominus B\mathcal H^2\), which is finite-dimensional; indeed \(\dim K_B=\deg B\). Observe that if \(g_k \in K_B\), then it does not matter which norm we use, since \(K_B\) is finite-dimensional and all norms are equivalent. We proceed to state the Decomposition Theorem in its full generality, since the main arguments of the proof also work for the Bergman space.
Theorem 2.1
(Decomposition Theorem) Let \(B\) be a finite Blaschke product such that \(B(0)=0\). Then
-
(1)
\(f \in \mathcal H^2\) if and only if \(f = \sum _{k=0}^\infty g_k B^k\) \((\)convergence in \(\mathcal H^2\) norm\()\) with \(g_k \in K_B\) and \(\sum _{k=0}^\infty \Vert g_k\Vert ^2 < \infty \).
-
(2)
\(f \in \mathcal D\) if and only if \(f = \sum _{k=0}^\infty g_k B^k\) \((\)convergence in \(\mathcal D\) norm\()\) with \(g_k \in K_B\) and \(\sum _{k=0}^\infty (k+1)\Vert g_k\Vert ^2 < \infty \).
-
(3)
\(f \in \mathcal A^2\) if and only if \(f = \sum _{k=0}^\infty g_k B^k\) \((\)convergence in \(\mathcal A^2\) norm\()\) with \(g_k \in K_B\) and \(\sum _{k=0}^\infty \Vert g_k\Vert ^2/(k+1) < \infty \).
Statement (1) is included for the sake of completeness since it is a standard fact that \(\mathcal H^2=K_B \oplus BK_B \oplus B^2K_B \oplus \cdots \) as an orthonormal direct sum.
A word about notation. Throughout this work, \(a\lesssim b\) will denote that there exists an independent constant \(C\) such that \(a\le C\, b\); this constant may be different in each instance.
Proof
We proceed to prove (2) and (3). We claim that for finite sums
with the implied constants independent of \(N\).
Let \(e_1,\ldots ,e_n\) be a basis of the space \(K_B\). Then, writing \(g_k=\sum _{\ell =1}^n a_{k\ell } e_\ell \) we have, since \(C_B\) is a bounded composition operator in \(\mathcal D\), that
where the notation \(\Vert e_\ell \Vert _{\mathcal {M}(\mathcal {D})}\) represents \(\sup \{\Vert e_\ell f\Vert _\mathcal D: \Vert f\Vert _\mathcal D\le 1\}\). A similar calculation can be made in \(\mathcal A^2\).
To obtain the converse inequality, we use the dual pairing between \(\mathcal D\), equipped with the equivalent norm \(\Vert \sum _{k=0}^\infty a_k z^k\Vert _{X}^2 = \sum _{k=0}^\infty (k+1) |a_k|^2\) and \(\mathcal A^2\), equipped with the equivalent norm \(\Vert \sum _{k=0}^\infty a_k z^k\Vert _{Y}^2 = \sum _{k=0}^\infty |a_k|^2/(k+1)\), namely
For a finite sum \(\sum _{k=0}^N g_k B^k\) we take \(h_k \in K_B\) with \(h_k=(k+1)g_k\) for each \(k\). Now we use the \(\mathcal H^2\) orthogonality of \( B^r K_B \) and \( B^s K_B \) for positive integers \(r\) and \(s\) with \(r \ne s\), to deduce that
Since
it follows that
and so we have a uniform equivalence of the Dirichlet norm and the quantity
at least for finite sums. Since the Dirichlet space is contained in the Hardy space we may make the obvious extension to the whole of \(\mathcal D\) using infinite sums.
The argument for the Bergman space is analogous: once more we have an equivalence of norms, and since the Hardy space is dense in the Bergman space we obtain the required result. \(\square \)
Recall that if \(C_\varphi \) is bounded then \(\mathcal {M}(\mathcal {D})\subseteq \mathcal {M}(\varphi )\subseteq \mathcal D\). For \(\varphi \) a finite Blaschke product the space of weighted composition operators is as small as possible, as the following result shows.
Theorem 2.2
Let \(\varphi \) be an inner function. Then \(\mathcal M(\varphi )=\mathcal M(\mathcal D)\) if and only if \(\varphi \) is a finite Blaschke product.
Proof
If \(\varphi \) is inner but not a finite Blaschke product, then \(\varphi \not \in \mathcal D\), and so \(C_\varphi \) is unbounded. Thus, taking \(u(z) \equiv 1\), we have that \(u \in \mathcal M(\mathcal D)\) but \(u \not \in \mathcal M(\varphi )\).
Now suppose that \(\varphi =B\), a finite Blaschke product. Let \(T_u\) denote the map \(f\in \mathcal D\mapsto u f\). We must show that \(T_u C_B\) is bounded if and only if \(u \in \mathcal M(\mathcal D)\). It is clear that if \(u \in \mathcal M(\mathcal D)\) then \(T_u C_B\) is bounded on \(\mathcal D\), since both \(T_u\) and \(C_B\) are bounded.
For the converse, note that without loss of generality we may take \(B(0)=0\), since if for some \(a\) we have \(B(a)=0\), then, setting
we have \(B \circ \varphi _a(0)=0\) and
Now \(T_u C_B\) is bounded if and only if \(T_{u\circ \varphi _a}C_{B \circ \varphi _a}\) is bounded, and showing that \(u \in \mathcal M(\mathcal D)\) is equivalent to showing that \(u \circ \varphi _a \in \mathcal M(\mathcal D)\).
Now, given that \(T_u C_B\) is bounded, let \(f \in \mathcal D\). By Theorem 2.1 we may write
where each \(g_k \in K_B\) , \(\{e_1,\ldots ,e_n\}\) is a basis of \(K_B\), and for each \(\ell \) the scalars \((a_{k\ell })\) satisfy
Write \(f_\ell (z)=\sum _{k=0}^\infty a_{k\ell } z^k\) so that \(\Vert f_\ell \Vert _\mathcal D\lesssim \Vert f\Vert _\mathcal D\). Then
Now \(e_1,\ldots ,e_n\) lie in \(\mathcal M(\mathcal D)\) and we conclude that
so that \(u \in \mathcal M(\mathcal D)\) and the Theorem is proved. \(\square \)
Next example shows that the assumption about \(\varphi \) being inner cannot be relaxed; even if \(\Vert \varphi \Vert _\infty =1\) and \(C_{\varphi }\) is bounded in \(\mathcal D\).
Example 2.1
We can have \(\mathcal M(\varphi ) \ne \mathcal M(\mathcal D)\) even if \(\Vert \varphi \Vert _\infty =1\) and \(C_{\varphi }\) is bounded in \(\mathcal D\). Let us consider
Note that \(u \in \mathcal D\!\setminus \!\mathcal M(\mathcal D)\) (see [8, Thm. 5.1.6]). Nonetheless, \(T_u C_\varphi \) is bounded; that is, \(u \in \mathcal M(\varphi )\).
In order to show that, let \(f \in \mathcal D\). We have
It suffices if we prove that each of these terms lies in the Bergman space \(\mathcal A^2\).
Let us split the disc into disjoint measurable sets \({\mathbb D}=D_1 \cup D_2\), where \(D_1\) is a small neighbourhood of \(1\), mapped by \(\varphi \) into a small disc about \(0\) (Fig. 1).
On \(D_1\) both \(u\) and \(u'\) are square-integrable with respect to Lebesgue measure, while \(f \circ \varphi \) and \(f' \circ \varphi \) are uniformly bounded by constants depending only on the norm of \(f\). Likewise, on \(D_2\), \(u\) and \(u'\) are bounded, while \(f \circ \varphi \) and \(f' \circ \varphi \) are square-integrable. Our conclusion is that \(T_u C_\varphi \) is bounded on the Dirichlet space \(\mathcal D\).
At the other extreme, we have the following result.
Theorem 2.3
Let \(\varphi \) be an analytic self-map of \({\mathbb D}\). Then \(\mathcal M(\varphi )=\mathcal D\) if and only if
-
(1)
\(\Vert \varphi \Vert _\infty < 1\), and
-
(2)
\(\varphi \in \mathcal M(\mathcal D)\).
Proof
Suppose first that \(\varphi \) satisfies conditions (1) and (2). Let \(u\) be a Dirichlet function. In order to prove that \(T_u C_\varphi \) is a bounded operator on \(\mathcal D\), let \(f\in \mathcal D\) and consider
It suffices to show that each of these terms lies in the Bergman space \(\mathcal A^2\).
We have that \(\Vert f \circ \varphi \Vert _\infty \lesssim \Vert f\Vert _\mathcal D\) since, for \(w \in {\mathbb D}\),
where \(k_{\varphi (w)}\) denotes the reproducing kernel at \(\varphi (w)\) in \(\mathcal D\), which is bounded in norm independently of \(w\) since \(\Vert \varphi \Vert _\infty <1\). Hence, since \(u \in \mathcal D\), we have
Also, \(\Vert f' \circ \varphi \Vert _\infty \lesssim \Vert f\Vert _\mathcal D\), since the derivative kernels \( k'_{\varphi (w)}\) satisfying
are also uniformly bounded in norm when \(\Vert \varphi \Vert _\infty <1\). Now by means of condition (2), \(\varphi \in \mathcal M(\mathcal D)\), and therefore the measure \(|\varphi '(z)|^2 \, dA(z)\) is a Carleson measure for \(\mathcal D\). Thus, it follows that
From (1) and (2), one gets that \(T_u C_\varphi \) is a bounded operator for all \(u \in \mathcal D\).
Conversely, if \(T_u C_\varphi \) is bounded for all \(u \in \mathcal D\), then by the Closed Graph Theorem \(C_\varphi \) maps \(\mathcal D\) boundedly into \(\mathcal M(\mathcal D)\) and hence into \(\mathcal H^\infty \). Suppose that \(\Vert \varphi \Vert _\infty =1\); then we may find an unbounded \(f \in \mathcal D\), and by considering functions \(f_n(z)=f(e^{i\theta _n}z)\) for suitable angles \(\theta _n\), obtain a sequence of normalized functions \(f_n\) in \(\mathcal D\) and \((z_n)\subset {\mathbb D}\) with \(|z_n| \rightarrow 1\) such that \(|f_n(\varphi (z_n))| \rightarrow \infty \). This is a contradiction, so we conclude that \(\Vert \varphi \Vert _\infty <1\).
We now see that, for \(f \in \mathcal D\) fixed, we have \(\Vert u(f' \circ \varphi )\varphi '\Vert _{\mathcal A^2} \lesssim \Vert u\Vert _\mathcal D\). So let \(f(z)=z\). We conclude that \(T_{\varphi '}: \mathcal D\rightarrow \mathcal A^2\) is bounded, or equivalently \(|\varphi '(z)|^2 dA(z)\) is a Carleson measure for \(\mathcal D\). Given that \(\varphi \) is bounded, this condition implies that \(\varphi \in \mathcal M(\mathcal D)\), as mentioned in the introduction. This concludes the proof of the Theorem. \(\square \)
3 Spectral properties
In this section, we are interested in describing the spectra of invertible weighted composition operators in the Dirichlet space. As we pointed out in Sect. 1, the techniques in [13] depends strongly on the fact that the algebra of the multipliers contains \(\mathcal H^{\infty }\).
The next result identifies invertible weighted composition operators in the Dirichlet space. It can be found, for example, in [3, Thm 3.3] and [22, Cor. 11].
Proposition 3.1
Let \(W_{h,\varphi }\) be a bounded weighted composition operator in the Dirichlet space \(\mathcal D\). Then \(W_{h,\varphi }\) is invertible in \(\mathcal D\) if and only if \(h\in \mathcal {M}(\mathcal {D})\), bounded away from zero in \({\mathbb D}\) and \(\varphi \) is an automorphism of \({\mathbb D}\). In such a case, the inverse operator of \(W_{h,\varphi }:\mathcal D\rightarrow \mathcal D\) is also a weighted composition operator and
Recall that an automorphism \(\varphi \) of \(\mathbb {D}\) can be expressed in the form
where \(p\in \mathbb {D}\) and \(-\pi <\theta \le \pi \). Recall that \(\varphi \) is called hyperbolic if \(|p|>\cos (\theta /2)\) (thus, \(\varphi \) fixes two points on \(\partial \mathbb {D}\)); parabolic if \(|p|=\cos (\theta /2)\) (so, \(\varphi \) fixes just one point, located on \(\partial \mathbb {D}\)) and elliptic if \(|p|<\cos (\theta /2)\) (therefore, \(\varphi \) fixes two points, one of them in \(\mathbb {D}\) and the other in the exterior of \(\overline{{\mathbb D}}\)). See [18, Chapter 0], for instance.
Notation Assume \(\varphi \) is a self-map of the unit disc \({\mathbb D}\). In what follows, \(\varphi _n\) will denote the \(n\)th iterate of the map \(\varphi \), that is,
for any \(n\ge 0\), where \(\varphi _0\) is the identity function. It is clear that \(C_{\varphi }^n=C_{\varphi _n}\) for any \(n\ge 0\). If \(W_{h,\varphi }\) is a bounded weighted composition operator in \(\mathcal D\), it is rather straightforward that
for any \(f\in \mathcal D\) and \(z\in {\mathbb D}\). Following [13], we will denote
where \(h_{(0)}=1\) for convenience.
In what follows, we restrict our attention to weighted composition operators \(W_{h,\varphi }\) acting on \(\mathcal D\) induced by disc automorphisms \(\varphi \). By Theorem 2.2, this implies that \(h\) is a multiplier of \(\mathcal D\).
3.1 Elliptic case
In [13, Section 4.3], the authors describe the spectrum of \(W_{h,\varphi }\) acting on a large class of spaces of analytic functions whenever \(h\) is in the disc algebra \(A(\mathbb {D})\) and \(\varphi \) is an elliptic automorphism. Our hypotheses on \(h\) in the context of \(\mathcal D\) is rather more general, since \(W_{h,\varphi }\) is bounded if and only if \(h\in \mathcal {M}(\mathcal {D})\) (and the spaces \(\mathcal {M}(\mathcal {D})\) and \(A(\mathbb {D})\) are not contained in each other). Nevertheless, it is possible to take a bit further some of the ideas developed in [13] and show the following result in a similar way.
Theorem 3.1
Suppose that \(\varphi \) is an elliptic automorphism of \({\mathbb D}\) with fixed point \(a\in {\mathbb D}\) and \(W_{h,\varphi }\) a weighted composition operator on \(\mathcal D\). Then
-
(1)
either there exists a positive integer \(j\) such that \(\varphi _j(z)=z\) for all \(z\in {\mathbb D}\), in which case, if \(m\) is the smallest such integer, then
$$\begin{aligned} \sigma (W_{h,\varphi })=\overline{\{\lambda :\; \lambda ^m=h_{(m)}(z), z\in {\mathbb D}\}}, \end{aligned}$$ -
(2)
or \(\varphi _n\ne \mathrm{I}\) for every \(n\) and, if \(W_{h,\varphi }\) is invertible, then
$$\begin{aligned} \sigma (W_{h,\varphi })=\{\lambda :\; |\lambda |=|h(a)|\}. \end{aligned}$$
Proof
The proof of (1) goes as in [13, Theorem 4.11]. The only minor change concerns the inclusion
where a similar argument applies taking into account the fact that if \(g\in \mathcal {M}(\mathcal {D})\) and it is bounded away from zero, then \(1/g\) is also in \(\mathcal {M}(\mathcal {D})\). With respect to (2), just observe that \(W_{h,\varphi }^{-1}=\frac{1}{h\circ \varphi ^{-1}} C_{\varphi ^{-1}}\) is bounded, and hence \(1/(h\circ \varphi ^{-1})\) is in \(\mathcal {M}(\mathcal {D})\) since \(\varphi ^{-1}\) is a disc automorphism (see Theorem 2.2). Therefore, we refer the reader to [13] once more. \(\square \)
3.2 Parabolic case
Now, let us assume that \(W_{h,\varphi }\) is an invertible weighted composition operator on \(\mathcal D\), where \(\varphi \) is a parabolic disc automorphism. The previous ideas in [13] to determine the spectrum of \(W_{h,\varphi }\) made an extensive use of the fact that the sequence orbit \(\{\varphi _n(z_0)\}\) of a point \(z_0\in {\mathbb D}\) is an interpolating sequence for \(\mathcal {H}^{\infty }\), a space which is assumed to be contained in the multipliers of the spaces considered [see condition (C3) in [13, for instance]. In the case of the Dirichlet space, the interpolating sequences for the multiplier spaces \(\mathcal M(\mathcal D)\) were characterized by Marshall and Sundberg [15], and independently by Bishop [2]. Nevertheless, \(\{\varphi _n(z_0)\}\), \(z_0\in {\mathbb D}\), is no longer interpolating in \(\mathcal M(\mathcal D)\) and therefore, our proof completely differs from the previous ones. Likewise, the work in [11] made use of inner functions, which are inappropriate in the context of \(\mathcal D\).
Theorem 3.2
Suppose that \(\varphi \) is a parabolic automorphism of \({\mathbb D}\) with fixed point \(a\in {\mathbb T}\) and \(W_{h,\varphi }\) a weighted composition operator on \(\mathcal D\), determined by an \(h \in \mathcal {M}(\mathcal {D})\) that is continuous at \(a\). If \(W_{h,\varphi }\) is invertible, then
Proof
We begin by showing that the spectrum of \(W_{h,\varphi }\) is contained in the circle \( \{\lambda : |\lambda |=|h(a)|\}\). Recall that \(h \in \mathcal {M}(\mathcal {D})\) implies that \(h \in \mathcal {H}^\infty \) and that \(|h'|^2 \, dA\) is a Carleson measure for \(\mathcal D\); that is, that there exists a constant \(K>0\) such that
for all \(f \in \mathcal D\). We write \(\Vert h'\Vert _\mathcal C\) for the least such \(K\). Moreover, we see that \(1/h \in \mathcal {M}(\mathcal {D})\) since \(W_{h,\varphi }\) is invertible, which implies that \(h(a) \ne 0\).
Recalling that \((W_{h,\varphi })^n= W_{h_{(n)},\varphi _n}=T_{h_{(n)}}C_{\varphi _n}\), we estimate its norm. Since the spectral radius of \(C_\varphi \) is 1 (see [12]) so that for each \(\varepsilon >0\) we have \(\Vert C_{\varphi _n}\Vert \le (1+\varepsilon )^n\) for \(n\) sufficiently large, it will be sufficient to consider the operator of multiplication by \(h_{(n)}\). For \(f \in \mathcal D\) we have
The \(\mathcal A^2\) norm of the first term can be estimated using the fact that for each \(\varepsilon >0\) there is an \(m\) such that
for all \(n \ge m\), which is given in the proof of [13, Lem. 4.2].
Also
where \(h_{(n),j}= h_{(n)}/(h \circ \varphi _j)\).
Hence, as in (3) we have for \(j < m\)
while for \(j \ge m\) we have
Also
Now, we estimate \(\Vert \varphi '_j\Vert _\infty \) for any \(j\). Let us suppose without loss of generality that \(a=-1\). Hence
where \(y \in {\mathbb R}\!\setminus \!\{0\}\) (see, for instance, [10] for a similar computation when \(a=1\)). For a Möbius map \( \psi (z)=\frac{z-\alpha }{1-\overline{\alpha }z}\) we have
and in the case of \(\varphi _n\) we have \(\alpha =1+O(1/n)\), so that \(\Vert \varphi _n'\Vert _\infty = O(n)\).
Putting all this together we conclude that
where \(C\) does not depend on \(n\), and hence (since we have this for all \(\varepsilon >0\))
Having bounded the spectral radius of \(W_{h,\varphi }\) by \(|h(a)|\), we may similarly bound the spectral radius of its inverse by \(1/|h(a)|\), using Proposition 3.1. Thus the spectrum of \(W_{h,\varphi }\) is contained in the circle of radius \(|h(a)|\).
We now prove that the spectrum of \(W_{h,\varphi }\) is the entire circle, by showing that for each \(\lambda \) with \(|\lambda |=|h(a)|\) the spectral radius \(\rho (W_{h,\varphi }-\lambda I)\) is at least \(2|h(a)|\). This technique was also used in [13], but there are extra complications in our case. As we already assumed, we may choose the fixed point \(a\) of \(\varphi \) to be \(-1\).
There is a unitary mapping \(J\) from \(\mathcal D=\mathcal D({\mathbb D})\) onto \(\mathcal D({\mathbb C}_+)\), the Dirichlet space of the right half-plane, induced by the conformal involution
an easy calculation shows that \(JW_{h,\varphi }J^{-1}= \widetilde{W}_{h \circ M,\tau }\), the weighted composition operator on \(\mathcal D({\mathbb C}_+)\) induced by a parabolic automorphism \(\tau =M \circ \varphi \circ M\), which takes the form \(\tau : s \rightarrow s+ic\) for some \(c>0\) since it fixes \(\infty \).
The following is a straightforward Corollary of [4, Thm. 3.2], given that the operator \(Z:=(\widetilde{W}_{ h \circ M,\tau }-\lambda I)^n\) is causal (which may be most easily stated by saying that if the inverse Laplace transform of a function \(u\) is supported on \((T,\infty )\) for some \(T>0\), then so is the inverse Laplace transform of its image \(Zu\)).
-
Let \(\tilde{h}: {\mathbb C}_+ \rightarrow {\mathbb C}\) be holomorphic and \(\tau : {\mathbb C}_+ \rightarrow {\mathbb C}_+\) a causal holomorphic function such that the weighted composition \(\widetilde{W}_{\tilde{h},\tau }\) is bounded on \(\mathcal D({\mathbb C}_+)\). Then for all \(\lambda \in {\mathbb C}\) and \(n \ge 1\) the inequality
$$\begin{aligned} \Vert (\widetilde{W}_{\tilde{h},\tau }-\lambda I)^n\Vert _{\mathcal {H}^2({\mathbb C}_+)} \le \Vert (\widetilde{W}_{\tilde{h},\tau }-\lambda I)^n\Vert _{\mathcal D({\mathbb C}_+)} \end{aligned}$$holds, and hence \(\rho (\widetilde{W}_{\tilde{h},\tau }-\lambda I)_{\mathcal {H}^2({\mathbb C}_+)} \le \rho (\widetilde{W}_{\tilde{h},\tau }-\lambda I)_{\mathcal D({\mathbb C}_+)}\).
Now consider the operator \(\widetilde{W}_{h \circ M,\tau }\) on \(\mathcal {H}^2({\mathbb C}_+)\), and note that it is unitarily equivalent to the weighted composition operator \(W_{\frac{1+\varphi }{1+z}h,\varphi }\) on \(\mathcal {H}^2({\mathbb D})\) (see, for example, [14]). We then have
where the last assertion is a direct consequence of an observation made in the proof of [13, Thm. 4.3] and the fact that
since \(\varphi \) is parabolic. Since \(\rho (W_{h,\varphi }-\lambda I)_\mathcal D\ge 2|h(-1)|\), we have
as required. \(\square \)
3.3 Hyperbolic case
The same method as we adopted for the parabolic case can be used to show that the spectrum of \(W_{h,\varphi }\) is contained in an annulus, in the case that \(\varphi \) is a hyperbolic automorphism.
Theorem 3.3
Suppose that \(\varphi \) is a hyperbolic automorphism of \({\mathbb D}\) with attractive fixed point \(a\in {\mathbb T}\) and repelling fixed point \(b \in {\mathbb T}\). Let \(W_{h,\varphi }\) be a weighted composition operator on \(\mathcal D\), determined by an \(h \in \mathcal {M}(\mathcal {D})\) that is continuous at \(a\) and \(b\). If \(W_{h,\varphi }\) is invertible, then
where \(\varphi \) is conjugate to the automorphism
with \(0\,{<}\,\mu \,{<}\,1\). Hence \(\sigma (W_{h,\varphi })\) is contained in the annulus with radii \(\max \{|h(a)|, |h(b)|\}/ \mu \) and \(\min \{|h(a)|, |h(b)|\} \mu \).
Proof
For each \(\varepsilon >0\) there is an \(m\) such that the estimate
holds, as in [13].
Similarly, for the derivative, we have
where \(h_{(n),j}= h_{(n)}/(h \circ \varphi _j)\), and where \(\Vert \cdot \Vert _\mathcal C\) has been defined in the proof of Theorem 3.2. Now, however,
where \(\Vert \varphi '_j\Vert _\infty = O(\mu ^{-j})\), using the fact that
as in [10, p. 38]. Also
for \(j<m\) and
for \(j \ge m\).
By similar arguments to those used in the proof of Theorem 3.2, we conclude that
The final assertion follows on considering the spectral radius of \(W_{h,\varphi }^{-1}\). \(\square \)
A final remark Finally, regarding Theorem 3.3, we would like to pose the following open question:
If \(\varphi \) is a hyperbolic automorphism of \({\mathbb D}\) with attractive fixed point \(a\in {\mathbb T}\) and repelling fixed point \(b \in {\mathbb T}\) conjugated to the automorphism \(\psi (z)=\frac{(1+\mu )z+(1-\mu )}{(1-\mu )z+(1+\mu )}\), with \(0<\mu <1\) and \(W_{h,\varphi }\) is a weighted composition operator on \(\mathcal D\), determined by an \(h \in \mathcal {M}(\mathcal {D})\) continuous at both \(a\) and \(b\), does it follow that
whenever \(W_{h,\varphi }\) is invertible?
References
Alsaker, H.A.: Multipliers of the Dirichlet Space. Master’s thesis, Bergen (2009). https://bora.uib.no/bitstream/handle/1956/3766/65414686?sequence=1
Bishop, C.: Interpolating Sequences for the Dirichlet Space and Its Multipliers. http://www.math.sunysb.edu/~bishop/papers/mult.pdf
Bourdon, P.: Invertible weighted composition operators. Proc. Am. Math. Soc. 142(1), 289–299 (2014)
Chalendar, I., Partington, J.R.: Norm estimates for weighted composition operators on spaces of holomorphic functions. Complex Anal. Oper. Theory 8(5), 1087–1095 (2014)
Contreras, M.D., Hernández-Díaz, A.G.: Weighted composition operators between different Hardy spaces. Integral Equ. Oper. Theory 46(2), 165–188 (2003)
Cowen, C.C.: Composition operators on \({{\cal H}{^2}}\). J. Oper. Theory 9, 77–106 (1983)
Cowen, C.C., MacCluer, B.D.: Composition Operators on Spaces of Analytic Functions. Studies in Advanced Mathematics. CRC Press, Boca Raton (1995)
El-Fallah, O., Kellay, K., Mashreghi, J., Ransford, T.: A primer on the Dirichlet space. In: Cambridge Tracts in Mathematics, vol. 203. Cambridge University Press, Cambridge (2014)
Gallardo-Gutiérrez, E.A., Kumar, R., Partington, J.R.: Boundedness, compactness and Schatten-class membership of weighted composition operators. Integr. Equ. Oper. Theory 67(4), 467–479 (2010)
Gallardo-Gutiérrez, E.A., Montes-Rodríguez, A.: The role of the spectrum in the cyclic behavior of composition operators. Mem. Am. Math. Soc. 167, 791 (2004)
Gunatillake, G.: Invertible weighted composition operators. J. Funct. Anal. 261, 831–860 (2011)
Higdon, W.M.: The spectra of composition operators from linear fractional maps acting upon the Dirichlet space. J. Funct. Anal. 220(1), 55–75 (2005)
Hyvärinen, S., Lindström, M., Nieminen, I., Saukko, E.: Spectra of weighted composition operators with automorphic symbols. J. Funct. Anal. 265(8), 1749–1777 (2013)
Kumar, R., Partington, J.R.: Weighted composition operators on Hardy and Bergman spaces. Recent advances in operator theory, operator algebras, and their applications. In: Operator Theory: Advances and Applications, vol. 153, pp. 157–167. Birkhäuser, Basel (2005)
Marshall, D., Sundberg, C.: Interpolating Sequences for the Multipliers of the Dirichlet Space. https://www.math.washington.edu/~marshall/preprints/interp.pdf
Matache, V.: Weighted composition operators on \(H^2\) and applications. Complex Anal. Oper. Theory 2(1), 169–197 (2008)
Nikolski, N.K.: Operators, functions, and systems: an easy reading. In: Hardy, Hankel, and Toeplitz, vol 1. Translated from the French by Andreas Hartmann. Mathematical Surveys and Monographs, vol. 92. American Mathematical Society, Providence (2002)
Shapiro, J.H.: Composition Operators and Classical Function Theory. Springer, Berlin (1993)
Stegenga, D.A.: Multipliers of the Dirichlet space. Ill. J. Math. 24(1), 113–139 (1980)
Voas, C.: Toeplitz Operators and Univalent Functions. Thesis, University of Virginia (1980)
Wu, Z.: Carleson measures and multipliers for Dirichlet spaces. J. Funct. Anal. 169, 148–163 (1999)
Zhao, L.: Fredholm weighted composition operator on weighted Hardy space. J. Funct. Spaces Appl., 5 pages (article ID 327692)
Acknowledgments
This work was initiated during a research visit of the first and the third authors to the Departamento de Análisis Matemático at Universidad Complutense de Madrid. They are grateful for the hospitality and the support of research grant MTM2013-42105-P. I. Chalendar also acknowledges support from the London Mathematical Society (under Scheme 2). In the first version of this manuscript, we proved Proposition 3.1 ourselves: we thank the referee for pointing out references [3] and [22], where the result is already proved by different methods.
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors are partially supported by Plan Nacional I+D grant no. MTM2013-42105-P.
Rights and permissions
About this article
Cite this article
Chalendar, I., Gallardo-Gutiérrez, E.A. & Partington, J.R. Weighted composition operators on the Dirichlet space: boundedness and spectral properties. Math. Ann. 363, 1265–1279 (2015). https://doi.org/10.1007/s00208-015-1195-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-015-1195-y