Abstract
This paper characterises the boundedness and compactness of Agler–McCarthy monomial operators by reducing them to weighted composition operators and deriving explicit Carleson measure criteria on the half-plane. The results are illustrated by examples.
Similar content being viewed by others
1 Introduction
Motivated by questions of polynomial approximation, Agler and McCarthy [1] defined a monomial operator as a bounded linear operator \(T: L^2(0,1) \rightarrow L^2(0,1)\) mapping monomials to monomials; that is, such that, for each \(n \in {\mathbb {N}}\), we have (with a slight abuse of notation) \(T(x^n)=c_n x^{p_n}\) for some \(p_n \in {\mathbb {C}}\) with \(\mathop {\textrm{Re}}\nolimits p_n > -1/2\). Such an operator is flat if there is a constant b with \(p_n=n+b\) for each n. We shall also say that it has affine index if \(p_n=an+b\) for real constants \(a,b \ge 0\).
Well-known examples of monomial operators include the Volterra operator V with
and the Hardy operator H (also known as the continuous Cesàro operator [3]) with
which are clearly flat operators. Agler and McCarthy gave conditions for flat operators to be bounded, and showed that they were never compact except in trivial cases, but the general case was left open.
Their work was based on a transformation to the Hardy space of the half-plane \({\mathbb {S}}=\{s \in {\mathbb {C}}: \mathop {\textrm{Re}}\nolimits s > -1/2 \}\) and showed that the adjoint of a bounded monomial operator can be expressed as an operator on \(H^2({\mathbb {S}})\). By means of a closely-related transformation, we shall work on the Hardy space \(H^2({\mathbb {C}}_+)\) on the standard right half-plane, and derive results in the theory of weighted composition operators, which will be applied to characterise bounded and compact operators. The results are particularly simple for flat and affine-index operators, as will be illustrated by examples.
2 Boundedness and compactness
The approach here is very similar to Agler–McCarthy [1], but adapted for own purposes.
We transfer the operator T to \(L^2(0,\infty )\). Writing \(x=e^{-t}\), we have
giving an isometry by \(Jf(t)= e^{-t/2} f(e^{-t})\). So \(J^{-1}g(x) = \frac{1}{\sqrt{x}} g(-\log x)\). The unitarily equivalent operator \({{\tilde{T}}}\) on \(L^2(0,\infty )\) maps \(e^{-nt-t/2}\) to \(c_n e^{-p_nt-t/2}\).
Then by taking Laplace transforms and using the Paley–Wiener theorem, we have a unitarily equivalent operator \(T_0\) on \(H^2({\mathbb {C}}_+)\) which maps \(1/(s+n+1/2)\) to \(c_n /(s+p_n+1/2)\).
Since the reproducing kernel for \(H^2({\mathbb {C}}_+)\) is \(k_w(s)=1/(s+{{\overline{w}}}) \), we have
The Blaschke sequences (zero sequences) \((z_n)\) for \(H^2({\mathbb {C}}_+)\) are those with \( \sum _n \frac{\mathop {\textrm{Re}}\nolimits z_n}{1+|z_n|^2}<\infty \) [5], and so the sequence \((n+1/2)\) is not a Blaschke sequence for the Hardy space of the right half-plane. Thus we have a unique formula for \(T_0^*\), namely the weighted composition operator \(W_{h,\phi }: f \mapsto h (f \circ \phi )\) with
since \((T_0^*-W_{h,\phi })(G)=0\) for all \(G \in H^2({\mathbb {C}}_+)\).
For affine-index operators with \(p_n=an+b\), we have \(T_0^* G=h( G\circ \phi )\) with \(h(n+1/2)={{\overline{c}}}_n\) and \(\phi (s)=as+b\). This is consistent with Agler–McCarthy [1] except that we use the “usual” right half-plane not the shifted version.
Remark 2.1
The classical Müntz–Szász theorem [2, 9, 11] says that the functions \(\{x^n: n \in S \}\) span a dense subspace of \(L^2(0,1)\) if and only if \( \sum _{n\in S} \frac{1}{n+1} = \infty \). Thus under this condition a bounded monomial operator is completely defined by \(\{T x^n: n \in S\}\). We see this from the above discussion since such an S does not constitute a Blaschke sequence, and the interpolation problem has a unique solution.
Boundedness of the weighted composition operator \(W_{h,\phi }\) can be characterised using a Carleson measure criterion by proving a result similar to those in [4, 7]. Namely, for Borel subsets \(E \subseteq \overline{{\mathbb {C}}_+}\), define a measure by
Theorem 2.2
The weighted composition operator \(W_{h,\phi }\) is bounded if and only if \(\mu \) is a Carleson measure; that is, \(\sup _I \mu (Q_I)/|I| < \infty \), where \(Q_I=[0, |I|] \times I\) is a Carleson square based on an interval \(I \subset i{\mathbb {R}}\). Hence the monomial operator T is bounded if and only if the same condition holds for the associated weighted composition operator.
Proof
In [4], the analogous result is proved for weighted composition operators on the disc and, in [7], a similar result is derived for the Bergman space. For the half-plane, an identical proof works with obvious modifications, as follows:
We claim that for \(g \ge 0\) Borel measurable, we have
As in [4], we can easily verify this result for simple functions, and then for arbitrary g, take an increasing sequence of positive simple functions \((g_n)\) with \(g_n \rightarrow g\) pointwise in \(\overline{{\mathbb {C}}_+}\).
From (2.3), we deduce that \(\Vert W_{h,\phi }f\Vert = \Vert f\Vert _{L^2(\overline{{\mathbb {C}}_+},\mu )}\). Now, the Carleson measure condition that, for some fixed \(C>0\),
is equivalent to the condition that \(W_{h,\phi }\) is bounded.
In the context of a monomial operator T, the adjoint operator is unitarily equivalent to \(W_{h,\phi }\) and the result follows. \(\square \)
Remark 2.3
It is interesting to consider the case \(h=1\), an unweighted composition operator \(C_\phi \) on the right half-plane. We see that \(C_\phi \) is bounded if and only if there is a constant \(K>0\) such that \(\mu (Q_I)= m(\phi ^{-1}(E) \cap i{\mathbb {R}}) \le K|I|\) for all Carleson squares (here m is the Lebesgue measure). This may be compared with the alternative condition given by Elliott and Jury [6]; namely, that there is an angular derivative at \(\infty \), the non-tangential limit \(\phi '(\infty )=\lim _{z \rightarrow \infty \ \mathrm{n.t.}}z/\phi (z)\) satisfying \(0< \phi '(\infty )< \infty \).
Corollary 2.4
Let T be an affine-index monomial operator with \(p_n=an+b\) (\(a,b>0\)). Then T is bounded if and only if the associated function h satisfies
Proof
By the simple structure of \(\phi \), we have \(\mu \) concentrated on \(b+i{\mathbb {R}}\) and the Carleson condition is
but only for \(v-u \ge b\); that is, equivalently, (2.4). \(\square \)
Example 2.5
We can have \(c_n \rightarrow 0\) with the monomial operator not even bounded. For example, take \(c_n=(n+1/2)e^{-(n+1/2)}\), for which the associated function h can only be \(se^{-s}\), which does not satisfy the Carleson criterion. This fact may also be proved using the fact that the monomials do not form an unconditional basis, but this is more explicit.
We know from [1] that there are no compact monomial operators of the form \(x_n \mapsto c_n x^n\), except the zero operator, and we also know that there are no compact composition operators on the half-plane [8].
With \(T(x^n)=c_n x^{p_n}\), if T is bounded, then the sequence
is bounded. So for affine-index operators, if T is bounded, we clearly have \((c_n)\) bounded.
If T is compact, then observe first that the normalized functions \(e_n : x \mapsto \sqrt{2n+1} \, x^n\) tend weakly to zero. For they form a bounded sequence tending weakly to zero on the dense subspace consisting of polynomials since
Hence compactness implies that \(\Vert Te_n\Vert \rightarrow 0\) and this is given by (2.5). That is, for compact affine-index operators, \(c_n \rightarrow 0\).
Using the completely continuous characterization of compactness in reflexive Banach spaces, namely, that if \(f_n \rightarrow 0\) weakly, then \(\Vert W_{h,\phi }f_n \Vert \rightarrow 0\), we see that a necessary and sufficient condition on compactness will be compactness of the mapping \(J: H^2({\mathbb {C}}_+) \rightarrow L^2(\overline{{\mathbb {C}}_+},\mu )\). This is characterised for the disc in [4].
On the disc this is the familiar vanishing Carleson measure criterion for \(\mu \). On the half-plane, the condition that
where \(Q_I=[0, |I|] \times I\) is a Carleson square based on an interval \(I \subset i{\mathbb {R}}\), is not sufficient, as we now show.
Consider the mapping \(x^n \mapsto x^{n+1}\), which is bounded but not compact. We have \(h(s)=1\) and \(\phi (s)=s+1\). Now according to (2.2), we have \(\mu (E)=m(E \cap (1+i{\mathbb {R}}))\) for \(E \subset {\mathbb {C}}_+\), and thus
The measure \(\mu \) of a square \(Q_I\) is 0 if \(|I|<1\) and so this \(\mu \) satisfies (2.6), but nonetheless, we do not have compactness.
In fact, the correct test for compactness for embeddings from \(H^2({\mathbb {C}}_+)\) into \(L^2(\overline{{\mathbb {C}}_+},\mu )\) is given in [10] in the more general context of Zen spaces, namely, it can be written as
where C(I) is the centre of a Carleson square \(Q_I\) and for \(0<r<1\), we define
which is the union of the complement of a large semi-circle and a narrow strip near the axis.
Equivalently, for each \(\epsilon >0\), there is a compact subset \(K \subset {\mathbb {C}}_+\) such that \(\mu (Q_I)/|I| < \epsilon \) for every \(Q_I\) with centre lying outside K. We therefore have the following result.
Theorem 2.6
The monomial operator T is compact if and only if the associated measure \(\mu \) satisfies the condition (2.7).
This can be made more explicit for operators with affine index.
Corollary 2.7
Let T be an affine-index monomial operator with \(p_n=an+b\) \((a,b>0).\) Then T is compact if and only if the associated function h satisfies the condition that, for each \(\epsilon >0,\) there is an \(M>0\) such that
for all \(|t| \ge M\) and \(L \ge b/2\). This condition holds whenever \(h \in L^2(i{\mathbb {R}})\).
Proof
Equation (2.8) is a direct rewriting of the vanishing condition (2.7), using the fact that a square \([0,2L] \times [t-L,t+L]\) with centre \(L+it\) meets the line \(\{s \in {\mathbb {C}}: \mathop {\textrm{Re}}\nolimits s=b\}\) if and only if \(L \ge b/2\). Now if \(h \in L^2(i{\mathbb {R}})\), the inequality (2.8) holds for all t if \(L > L_0:= \Vert h\Vert _2^2/\epsilon \). For \(b/2 \le L \le L_0\), we may make the integral less than \(\epsilon b/2\) by choosing |t| sufficiently large. \(\square \)
3 Examples
For the Volterra operator, we have from (2.1) that \(h(s)=(s+1/2)^{-1}\) and \(\phi (s)=s+1\). Now we can apply Corollary 2.7 and since
we can deduce that the operator is compact, as is well known.
For the bounded but non-compact Hardy operator, we have \(h(s)=(s+1/2)^{-1}\) and \(\phi (s)=s\). Corollary 2.7 does not apply since \(a=0\), and we must consider all Carleson squares since they all meet the imaginary axis. We have
as \(v-u \rightarrow 0\), and so the operator is bounded but not compact, as is again well known.
For some non-flat examples, consider the following operators defined on \(L^2(0,1)\):
We have \(T_1 (x^n)=x^{2n}\), \(T_2 (x^n)=\dfrac{x^{2n+1}}{2n+1}\), \(T_3 (x^n)= \dfrac{x^{2n+2}}{2n+2}\). These operators are not flat, but they are affine-index.
It is elementary to see that \(T_1\) is unbounded since it sends \(x^{-1/3}\) to \(x^{-2/3}\). We shall see that \(T_2\) is unbounded, but \(T_3\) is bounded (even compact).
For \(T_1\), we have \(\phi (n+1/2)=2n+1/2\), giving \(\phi (s)=2s-1/2\), which is not a self-map of \({\mathbb {C}}_+\).
For \(T_2\), take \(f(x)=1/(\sqrt{x} \log x)\) so that \(f \in L^2(0,1)\). Then
and since this integral diverges, we see that \(T_2\) is unbounded. Now we have \(\phi (n+1/2)=2n+3/2\), giving \(\phi (s)=2s+1/2\). Also \(h(n+1/2)=1/(2n+1)\), giving \(h(s)=1/(2s)\).
We may also use the Carleson test so that \(\phi ^{-1}(E)\cap i{\mathbb {R}}=\phi ^{-1}(E \cap (1/2+i {\mathbb {R}}))\). However, since \(|h|^2\) is not locally integrable on the imaginary axis, we clearly do not get a Carleson measure.
For \(T_3\), we have \(\phi (n+1/2)=2n+5/2\), and \(\phi (s)=2s+3/2\). Then \(h(n+1/2)=1/(2n+2)\), giving \(h(s)=1/(2s+1)\). It is now easy to see that \(\mu \) is a Carleson measure, concentrated on the line \(\{s: \mathop {\textrm{Re}}\nolimits s=3/2\}\), and the operator is bounded. Indeed, since \(h \in L^2(i{\mathbb {R}})\), we see from Corollary 2.7 that \(T_3\) is indeed compact.
References
Agler, J., McCarthy, J.E.: Monomial operators. Acta Sci. Math. (Szeged) 88(1–2), 371–381 (2022)
Borwein, P., Erdélyi, T.: The full Müntz theorem in \(C[0,1]\) and \(L_1[0,1]\). J. Lond. Math. Soc. (2) 54(1), 102–110 (1996)
Brown, A., Halmos, P.R., Shields, A.L.: Cesàro operators. Acta Sci. Math. (Szeged) 26, 125–137 (1965)
Contreras, M.D., Hernández-Díaz, A.G.: Weighted composition operators on Hardy spaces. J. Math. Anal. Appl. 263(1), 224–233 (2001)
Duren, P.L.: Theory of \(H^p\) Spaces. Academic Press, New York (1970)
Elliott, S., Jury, M.T.: Composition operators on Hardy spaces of a half-plane. Bull. Lond. Math. Soc. 44(3), 489–495 (2012)
Kumar, R., Partington, J.R.: Weighted composition operators on Hardy and Bergman spaces. In: Gaşpar, D., Gohberg, I., Timotin, D., Vasilescu, F.H., Zsidó, L. (Eds.) Recent Advances in Operator Theory, Operator Algebras, and Their Applications, pp. 157–167. Operator Theory: Advances and Applications, vol. 153. Birkhäuser, Basel (2005)
Matache, V.: Composition operators on Hardy spaces of a half-plane. Proc. Amer. Math. Soc. 127(5), 1483–1491 (1999)
Müntz, C.: Über den Approximationsatz von Weierstrass. H.A. Schwartz Festschrift, Berlin (1914)
Pang, C., Perälä, A., Wang, M.: Embedding theorems and area operators on Bergman spaces with doubling measure. Complex Anal. Oper. Theory 15(3), Paper No. 42, 24 pp. (2021)
Szasz, O.: Über die Approximation stetiger Funktionen durch lineare Aggregate von Potenzen. Math. Ann. 77(4), 482–496 (1916)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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/.
About this article
Cite this article
Chalendar, I., Partington, J.R. Boundedness and compactness of weighted composition operators and monomial operators. Arch. Math. 121, 707–714 (2023). https://doi.org/10.1007/s00013-023-01909-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-023-01909-3