Abstract
In this paper we will show how the boundedness condition for the weighted composition operators on a class of spaces of analytic functions on the open right complex half-plane called Zen spaces (which include the Hardy spaces and weighted Bergman spaces) can be stated in terms of Carleson measures and Bergman kernels. In Hilbertian setting we will also show how the norms of causal weighted composition operators on these spaces are related to each other and use it to show that an (unweighted) composition operator \(C_\varphi \) is bounded on a Zen space if and only if \(\varphi \) has a finite angular derivative at infinity. Finally, we will show that there is no compact composition operator on Zen spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathcal {L}\) be a linear space of complex-valued functions defined on a domain \(\Omega \subseteq {\mathbb {C}}\), let \(\varphi \) be a self map of \(\Omega \), and let \(h : \Omega \rightarrow {\mathbb {C}}\). The weighted composition operator, \(W_{h, \varphi }\), on \(\mathcal {L}\) (corresponding to symbols \(\varphi \) and h) is defined to be the linear map
If \(h \equiv 1\), then we write \(W_{1, \, \varphi } := C_\varphi \) to denote the (unweighted) composition operator on \(\mathcal {L}\). The composition operators are usually studied in the context of spaces of analytic functions (we then require that both \(\varphi \) and h are also analytic functions). The book [5] is an excellent source in that instance. In fact, the particular case of weighted and unweighted composition operators on spaces of analytic functions defined on \(\Omega = \mathbb {D} {{\mathrm{\mathop {=}\limits ^{\text {def}^{\underline{\mathrm{n}}}}}}}\{z \in {\mathbb {C}} \; : \, |z|<1 \}\), the open unit disk of the complex plane, have been studied very extensively. It follows from the Littlewood subordination principle (see [6]) that all unweighted composition operators are bounded on all Hardy spaces and weighted Bergman spaces (see [5]).
In this article we shall consider the domain
the open right complex half-plane. Unlike the case of Hardy or weighted Bergman spaces on \(\mathbb {D}\), not every analytic composition operator is bounded on Hardy or weighted Bergman spaces on \({\mathbb {C}}_+\). This was proved in [8] by S. Elliott and M. T. Jury (for the Hardy spaces) and by S. Elliott and A. Wynn in [7] (for weighted Bergman spaces). In particular, they have found the expression for the norm of composition operators for these spaces and shown that the composition operators must never be compact in this context. Some further results concerning so-called Zen spaces (a generalisation of weighted Bergman spaces) and weighted composition operators have been obtained in [3] and we aim to extend it in this article.
In Sect. 2 of this paper we will introduce the Zen spaces. In Hilbertian setting, we will state their connection with weighted \(L^2\) spaces on \((0, \, \infty )\) and give the formula for their reproducing kernels. In Sect. 3 we will define the notion of a Carleson measure and show how it is related to boundedness of weighted composition operators. We will also use this relation to give a boundedness criterion in terms of Bergman kernels. In Sect. 4 we will define the concept of causality and show how boundedness of weighted and unweighted composition operators on one space can imply the boundedness on the whole class of spaces. In particular, we will use it to show that an unweighted composition operator \(C_\varphi \) is bounded on a Zen space \(A^2_\nu \) if and only if \(\varphi \) has a finite angular derivative at infinity. We will also estimate the norms of bounded composition operators in this case. Finally, in Sect. 5 we will show that there is no compact composition operator on a Zen space \(A^2_\nu \).
Throughout this paper h is always defined to be a holomorphic map on \({\mathbb {C}}_+\) and \(\varphi \) a holomorphic self-map on \({\mathbb {C}}_+\).
2 Preliminaries
The classical Hardy and weighted Bergman spaces defined on the open unit disk of the complex plane and the open right complex half-plane may be viewed as discrete and continuous counterparts (this is discussed for example in [13] and [15]). The continuous case is sometimes more appropriate when we consider applications of these spaces (see [10, 11, 14]).
Let \(\tilde{\nu }\) be a positive regular Borel measure on \([0, \, \infty )\) satisfying the so-called \(\Delta _2\) -condition:
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11785-017-0677-1/MediaObjects/11785_2017_677_Figa_HTML.gif)
and let \(\lambda \) denote the Lebesgue measure on \(i{\mathbb {R}}\). We define \(\nu := \tilde{\nu } \otimes \lambda \) to be a positive regular Borel measure on the closed right complex half-plane \(\overline{{\mathbb {C}}_+}~:=~[0, \, \infty ) \times i{\mathbb {R}}\). For this measure and \(1 \le p < \infty \), a Zen space (see [10]) is defined to be:
The Zen spaces may be viewed as an extension of the class of weighted Bergman spaces or the weighted Hardy spaces \(H^2(\beta )\) (these are discussed in [5]) if \(p=2\) (see [3]).
In [10] (Proposition 2.3) it is shown that the Laplace transform (\(\mathfrak {L}\)) defines an isometric map
where
and
If the Laplace transform is surjective, then \(A^2_\nu \) is a reproducing kernel Hilbert space, and its kernels are given by
(see [13]).
3 Carleson Measures and Boundedness
In [4] M. D. Contreras and A. G. Hernández-Díaz gave a necessary and sufficient condition for a weighted composition operator \(W_{h, \varphi }\) to be bounded on \(H^p\), the Hardy spaces on the unit disk, in terms of so-called Carleson measures. In Lemma 1 and Theorem 1 we shall state these results for the Zen spaces, omitting the proofs, as they are conceptually the same as proofs of Lemma 2.1 and Theorem 2.2 from [4].
Definition 1
Let \(\mu \) be a positive Borel measure on \({\mathbb {C}}_+\). If there exists \(C(\mu )~>~0\), such that
then we say that \(\mu \) is a Carleson measure for \(A^p_\nu \).
The notion of a Carleson measure has been introduced by Lennart Carleson in [2] to solve the corona problem, and since then it has found many other applications (for example, in the context of spaces of analytic functions on the half-plane, it is used to describe the admissibility criterion for control and observation operators, see [10, 11, 14, 15]).
Lemma 1
Let \(\nu \) be a positive Borel measure on \({\mathbb {C}}_+\) and let g be a non-negative measurable function on \({\mathbb {C}}_+\). Then
where \(\mu _{\nu ,h,\varphi , p}\) is given by
for each Borel set \(E \subseteq {{\mathbb {C}}_+}\).
Theorem 1
The weighted composition operator \(W_{h, \varphi }\) is bounded on a Zen space \(A^p_\nu \) if and only if \(\mu _{\nu ,h,\varphi ,p}\) is a Carleson measure for \(A^p_\nu \).
The Carleson measures for Zen spaces are characterised in [10]. Verifying the boundedness of a weighted composition operator using Carleson measures only can be very difficult in practice however. We shall therefore present a more useful approach.
Definition 2
Let \(1\le p< \infty \). A weighted Bergman space \({\mathcal {B}}^p_\alpha ({\mathbb {C}}_+)\) is defined to be
for \(\alpha > -1\), and
that is \({\mathcal {B}}^p_{-1}({\mathbb {C}}_+) {{\mathrm{\mathop {=}\limits ^{\text {def}^{\underline{\mathrm{n}}}}}}}H^p({\mathbb {C}}_+)\), the Hardy space on the open right complex half-plane. It is easy to see that if \(\alpha >-1\) and \(d\tilde{\nu }(r) = r^\alpha \, dr / \pi \), or \(\alpha =-1\) and \(\tilde{\nu } = \delta _0 /2\pi \) (\(\delta _0\) is the Dirac delta measure in 0), then \({\mathcal {B}}^p_\alpha ({\mathbb {C}}_+) = A^p_\nu \). If \(p=2\), then the weighted Bergman spaces are reproducing kernel Hilbert spaces, with kernels given by
and
Theorem 2
The weighted composition operator \(W_{h, \varphi }\) is bounded on a Zen space \(A^p_\nu \) if and only if there exists \(\alpha \ge -1\) such that
Proof
By the proof of Theorem 2.1 from [10] we get that there exists \(N \in \mathbb {N}\) such that
where \(R \ge 1\) is the same quantity as in (\(\Delta _2\)). Theorem 2.1 from [10] defines N to be a large natural number, but it is easy to see that this requirement is unnecessarily strict. In fact, it suffices to choose any real \(N > (1+\log _2(R))/p\) to make the above sum converge. Therefore, if \(\alpha > \max \{-1, \, (1+\log _2(R))/p -2\}\), we have that \(k^{B^2_{\alpha }({\mathbb {C}}_+)}_z\) is in \(A^p_\nu \), for all \(z \in {\mathbb {C}}_+\). So if the weighted composition operator is bounded on \(A^p_\nu \), then \(\Lambda (\alpha )\) must be finite. Conversely, if \(\Lambda (\alpha )\) is finite for some \(\alpha \ge -1\), then
so, again by Theorem 2.1 from [10], the canonical embedding \(A^p_\nu \!\hookrightarrow \! L^p({\mathbb {C}}_+, \, \mu _{\nu ,h,\varphi ,p})\) is bounded, and hence, by Theorem 1, \(W_{h, \varphi }\) is bounded on \(A^p_\nu \). \(\square \)
Remark 1
If \(p>1\) and \(A^p_\nu = B^p_{\alpha }({\mathbb {C}}_+)\) for some \(\alpha \ge -1\), then we can use this \(\alpha \), setting \(N=\alpha +2\), to make the sum in (5) converge. In this case we have that \(W_{h, \varphi }\) is bounded on \(B^p_{\alpha }({\mathbb {C}}_+)\) if and only if
In particular, if \(p=2\), (6) is equivalent to
since \(W^*_{h,\varphi }k^{{\mathcal {B}}^2_\alpha ({\mathbb {C}}_+)}_z = \overline{h(z)} k^{{\mathcal {B}}^2_\alpha ({\mathbb {C}}_+)}_{\varphi (z)}\).
Definition 3
A sequence of points \(z_n=x_n+iy_n \in {\mathbb {C}}_+\) is said to approach \(\infty \) non-tangentially if \(\lim _{n \rightarrow \infty }x_n = \infty \) and \(\sup _{n \in \mathbb {N}} |y_n|/x_n < \infty \). We also say that \(\varphi \) fixes infinity non-tangentially if \(\varphi (z_n) \rightarrow \infty \) whenever \(z_n \rightarrow \infty \) non-tangentially, and write \(\varphi (\infty )=\infty \). If it is the case and also the non-tangential limit
exists and is finite, then we say that \(\varphi \) has a finite angular derivative at infinity and denote the above limit by \(\varphi '(\infty )\).
Proposition 1
(Julia–Carathéodory Theorem in \({\mathbb {C}}_+\)—Proposition 2.2 in [8]) Let \(\varphi \) be an analytic self-map on \({\mathbb {C}}_+\). The following are equivalent:
-
1.
\(\varphi (\infty )\) and \(\varphi '(\infty )\) exist;
-
2.
\( \sup _{z \in {\mathbb {C}}_+} = \frac{{{\mathrm{Re}}}(z)}{{{\mathrm{Re}}}(\varphi (z))} < \infty \);
-
3.
\( \limsup _{z \longrightarrow \infty } = \frac{{{\mathrm{Re}}}(z)}{{{\mathrm{Re}}}(\varphi (z))} < \infty \).
Moreover, the quantities in 2. and 3. are both equal to \(\varphi '(\infty )\).
Corollary 1
A composition operator \(C_\varphi \) is bounded on \(B^2_\alpha ({\mathbb {C}}_+)\) if and only if \(\varphi \) has a finite angular derivative at infinity.
Proof
It follows from the above proposition and Remark 1. \(\square \)
This was proved (although using different approach) in [8] (for the Hardy spaces \(H^p({\mathbb {C}}_+)\)) and in [7] (for weighted Bergman spaces \(B^2_\alpha ({\mathbb {C}}_+\))). In the next section we shall prove that it also holds for all Zen spaces.
4 Causality
Definition 4
Let w be a positive measurable function on \((0, \, \infty )\). We say that \(A:L^2_{w}(0, \infty ) \rightarrow L^2_{w}(0, \, \infty )\) is a causal operator (or a lower-triangular operator), if for each \(T>0\) the closed subspace \(L^2_{w}(T, \, \infty )\) is invariant for A. If there exists \(\alpha >0\) such \(AL^2_{w}(T, \, \infty ) \subseteq L^2_w(T+\alpha , \, \infty )\), for all \(T>0\), then we say that A is strictly causal.
The following lemma was proved in [3] (Theorem 3.2) for unweighted \(L^2\) spaces and we shall modify the proof to extend the result to weighted \(L^2\) spaces.
Lemma 2
Let \(w \in L^1_{{{\mathrm{loc}}}}(0, \, \infty )\) be positive and non-increasing. Suppose that \(A : L^2_{w}(0, \infty ) \rightarrow L^2_{w}(0, \infty )\) is a causal operator and D is the operator of multiplication by a strictly positive, monotonically increasing function d. Then
Proof
Suppose first that A is strictly causal for some \(\alpha >0\). For \({{\mathrm{Re}}}(z)\ge 0\) define \(\Omega (z) = D^{-z}AD^z\), where \(D^z\) is the operator of multiplication by the complex function \(d^z\). For each \(N \in \mathbb {N}\) such that \(N \ge \log _2\alpha \) let
Let \(P_N : L^2_w(0, \, \infty ) \longrightarrow X_N\) denote the orthogonal projection and define \(\Omega _N(z)~=~\Omega (z)P_N\), which maps each \(e_k\) to \(d^{-z}Ad^ze_k\) and
since d is increasing and A is strictly causal. \(X_N\) is finite dimensional, so \(\Omega _N(z)\) is bounded independently of z, because \(\Vert \Omega _N(z)\Vert \le \Vert \Omega (z)|_{X_N}\Vert \). By the maximum principle we also have that
and the result holds on \(L^2_w(0, \, \infty )\), since \(\bigcup _{N \ge \log _2 \alpha }X_N\) is a dense set therein.
If A is not strictly causal, then let \(S_\alpha \) denote the right shift by \(\alpha \). In this case the operator \(S_\alpha A\) is strictly causal and, by the above, we have
Let \(d_\alpha (t) = d(\alpha +t)\). Then for each \(f \in L^2_w(0, \, \infty )\) we have \(\Vert D^{-1}S_\alpha f\Vert =\Vert d_\alpha ^{-1}f\Vert \), and \(|d_\alpha ^{-1} f \sqrt{w}|\) increases to \(|d^{-1}f\sqrt{w}|\) almost everywhere as \(\alpha \rightarrow 0\), because the monotonically decreasing function \(d^{-1}\) is continuous almost everywhere, and hence the result follows from Lebesgue’s monotone convergence theorem. \(\square \)
We will say that an operator \(B : A^2_\nu \longrightarrow A^2_\nu \) is causal if the the corresponding isometric operator \(\mathfrak {L}^{-1}B\mathfrak {L} : L^2_w(0, \, \infty ) \longrightarrow L^2_w(0, \, \infty )\) is causal on \(L^2_w(0, \, \infty )\)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs11785-017-0677-1/MediaObjects/11785_2017_677_Equ72_HTML.gif)
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11785-017-0677-1/MediaObjects/11785_2017_677_Figb_HTML.gif)
From now on we will assume that the Laplace transform \(\mathfrak {L}~:~L^2_w(0, \, \infty )~\rightarrow ~A^2_\nu \) (where w is as given in (1)) is surjective. The surjectivity of \(\mathfrak {L}\) in this context is discussed in [9].
Theorem 3
Suppose that the weighted composition operator \(W_{h,\varphi }\) is bounded and causal on \(A^2_\nu \). Then there exists \(\alpha ' \ge 0\) such that for each \(\alpha \ge \alpha '\) \(W_{h,\varphi }\) is bounded on the weighted Bergman space \({\mathcal {B}}^2_{\alpha }({\mathbb {C}}_+)\), and
Proof
Let \(L^2_{w}(0, \infty ), \; L^2_{v_\alpha }(0, \infty )\) be the spaces corresponding to \(A^2_\nu \) and \({\mathcal {B}}^2_\alpha ({\mathbb {C}}_+)\) respectively (that is \(v_\alpha (t) = 2^{-\alpha }\Gamma (\alpha +1) t^{-\alpha -1}\)). We want to show that
\(\sqrt{w(t)/v_\alpha (t)}\) is an increasing function, that is, we must have
Consider the graph:
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11785-017-0677-1/MediaObjects/11785_2017_677_Figc_HTML.gif)
We clearly need to have
Observe that for \(\alpha \ge 0\) we have
Let R be defined as in (\(\Delta _2\)). Then we have
because
and
Collecting these inequalities we get
which is true for all \(\alpha \ge \alpha '\), for some \(\alpha '\) sufficiently large. Now, let A be an operator on \(L^2_{v_\alpha }(0, \infty )\) induced by \(W_{h,\varphi }\) acting on \({\mathcal {B}}^2_\alpha ({\mathbb {C}}_+)\) and let D be the isometric operator from \(L^2_w(0, \infty )\) to \(L^2_{v_\alpha }(0, \infty )\) of multiplication by \(\sqrt{w(t)/v_\alpha (t)}\). Consider the following commutative diagram:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs11785-017-0677-1/MediaObjects/11785_2017_677_Equ73_HTML.gif)
By Lemma 2 we therefore have
as required. \(\square \)
In the remaining part of this section we will use the Nevanlinna representation of a holomorphic function \(\varphi :{\mathbb {C}}_+ \longrightarrow {\mathbb {C}}_+\):
where \(a \ge 0, \, b \in {\mathbb {R}}\) and \(\mu \) is a non-negative Borel measure measure on \({\mathbb {R}}\) satisfying the following growth condition:
(see [12]). Clearly
Theorem 4
(Theorem 3.1 in [8] and Theorem 3.4 in [7]) The composition operator \(C_\varphi \) is bounded on \({\mathcal {B}}^2_{\alpha }({\mathbb {C}}_+), \, \alpha \ge -1\), if and only if \(\varphi \) has finite angular derivative \(0< \lambda < \infty \) at infinity, in which case \(\Vert C_\varphi \Vert = \lambda ^{(2+\alpha )/2}\).
Let \(a>0\). We define a holomorphic map \(\psi _a : {\mathbb {C}}_+ \longrightarrow {\mathbb {C}}_+\) by \(\psi _a(z) = az\), for all \(z \in {\mathbb {C}}_+\).
Proposition 2
(Corollary 3.4 in [3]) Let \(a>0\). If \(W_{h,\varphi }\) is bounded on \(H^2({\mathbb {C}}_+)\), then it is also bounded on \(A^2_\nu \) and
Proposition 3
(Proposition 3.5 in [3]) Let \(a > 0\). Then
Corollary 2
Let \(a>0\). If \(W_{h, \varphi }\) is bounded on some Zen space \(A^2_\nu \), then there exists \(\alpha '>0\) such that for all \(\alpha \ge \alpha '\), we have
Proof
The operator \(C_{\psi _\frac{1}{a}} W_{h,\varphi }\) is causal for each \(a>0\), so by Theorem 3 we have
and the result follows from Theorem 4 and Proposition 3. \(\square \)
Theorem 5
The composition operator \(C_\varphi \) is bounded on \(A^2_\nu \) if and only if \(\varphi \) has a finite angular derivative \(0< \lambda < \infty \) at infinity. If \(C_\varphi \) is bounded, then
Proof
Suppose, for contradiction, that \(C_\varphi \) is bounded on \(A^2_\nu \), but \(\varphi \) does not have a finite angular derivative at infinity. By Proposition 1 we know that for each \(n \ge 1 \) there must exist \(z_n \in {\mathbb {C}}_+\) such that
Now,
Since w, by definition, is non-increasing, we have that \(w(nt) \le w(t)\), for all \(n \ge 1\), and consequently
for all \(n \ge 1\), which is absurd, as it contradicts the boundedness of \(C_\varphi \). So, if \(C_\varphi \) is bounded, then \(\varphi \) has a finite angular derivative \(0<\lambda <\infty \) at infinity and
where \(0<a<\infty \) is defined as in (11). Conversely, if \(\varphi \) has a finite angular derivative \(\lambda \) at infinity, then, by Theorem 4, \(C_\varphi \) is bounded on the Hardy space \(H^2({\mathbb {C}}_+)\), and, by Proposition 2, we get that it is also bounded on \(A^2_\nu \) with
We can evaluate the RHS of this inequality using Theorem 4 and Proposition 3 to get
By Corollary 2 we also know that if \(C_\varphi \) is bounded on \(A^2_\nu \), then there exists \(\alpha > 0\) such that
Again, we can evaluate the RHS of this inequality using Theorem 4 and Proposition 3 to get
\(\square \)
5 Compactness
In [7] S. J. Elliott and A. Wynn have proved that there exists no compact composition operator on any weighted Bergman space (Theorem 3.6). We shall extend this result to all Zen spaces. But first we need to prove two technical lemmata.
Lemma 3
Let w be as given in (1). There exists \(c\ge 2\) such that
Proof
This result follows from the (\(\Delta _2\))-condition, and the proof uses essentially the same strategy as the proof of Theorem 3. We want to show that there exists \(c\ge 2\) such that
or equivalently
Again, consider the graph
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11785-017-0677-1/MediaObjects/11785_2017_677_Figd_HTML.gif)
We need to have
Observe that if \(c \ge 2\), then we have
Let R be given by (\(\Delta _2\)). Then we have
and
because
and for \(c > R/2\) we have
Putting these inequalities together, we get
which holds for sufficiently large c, since the LHS approaches 0 and the RHS approaches 1 / 2 as c goes to infinity. \(\square \)
Lemma 4
The normalised reproducing kernels \(k^{A^2_\nu }_z/\left\| k^{A^2_\nu }_z\right\| \) tend to 0 weakly as z approaches infinity.
Proof
If z approaches \(\infty \) unrestrictedly, then either \({{\mathrm{Re}}}(z) \longrightarrow \infty \) or \({{\mathrm{Re}}}(z)<a\), for some \(a>0\), and \({{\mathrm{Im}}}(z) \longrightarrow \infty \). Suppose that \({{\mathrm{Re}}}(z) \longrightarrow \infty \). Then
Otherwise \({{\mathrm{Re}}}(z) \le a\), for some \(0<a<\infty \), and
Now,
so \(e^{-\cdot \overline{\zeta }}/w(\cdot )\) is in \(L^1(0, \, \infty )\), for all \(\zeta \in {\mathbb {C}}_+\). Therefore, by the Riemann–Lebesgue Lemma for the Laplace transform (Theorem 1, p. 3 in [1]), we get
And thus
So in either case we have
\(\square \)
Definition 5
The essential norm of an operator, denoted \(\Vert \cdot \Vert _e\) is the distance in the operator norm from the set of compact operators.
Theorem 6
There is no compact composition operator on \(A^2_\nu \).
Proof
Let \(C_\varphi \) be a bounded operator on \(A^2_\nu \), and denote its angular derivative at infinity by \(\lambda \). For any \(\delta >0\) we can choose a compact operator Q such that \(\Vert C_\varphi \Vert _e + \delta \ge \Vert C_\varphi -Q\Vert \). By the previous lemma, the sequence \(k^{A^2_\nu }_z/\Vert k^{A^2_\nu }_z\Vert \) tends to 0 weakly, as z approaches infinity, so \(Q^*\left( k^{A^2_\nu }_z/\Vert k^{A^2_\nu }_z\Vert \right) \longrightarrow 0\), and consequently
Suppose, for contradiction, that \(C_\varphi \) is compact, then the last quantity above must be equal to 0, and hence the limit of \(\Vert k^{A^2_\nu }_{\varphi (z)}\Vert /\Vert k^{A^2_\nu }_z\Vert \) exists and is also equal to 0. That is, for each \(\varepsilon >0\) there exists \(z_0 \in {\mathbb {C}}_+\) such that
for all \(z \in {\mathbb {C}}_+\) with \(|z| \ge |z_0|\). Since \(C_\varphi \) is bounded and
for any \(0<\kappa <\lambda \) there exists a sequence \((z_j)_{j=1}^\infty \) with \(|z_j| \ge |z_0|\), for all \(j \ge 0\), such that
Let \(\psi (z)=\kappa z\). If \(z \in \left\{ z_j\right\} _{j=1}^\infty \), then
which is absurd, because \(C_\psi \) is bounded on \(A^2_\nu \) by Theorem 5 and \(\varepsilon \) in the expression above can be chosen to be arbitrarily large. So \(\Vert C_\varphi \Vert _e > 0\), and consequently \(C_\varphi \) is not compact. \(\square \)
References
Bochner, S., Chandrasekkharan, K.: Fourier transform, Ann. Math. Stud. 19, p. 3 (1949)
Carleson, L.: Interpolations by bounded analytic functions and the corona problem. Ann. Math. 76(3), 547–559 (1962)
Chalendar, I., Partington, J.R.: Norm estimates for weighted composition operators on spaces of holomorphic functions. Complex Anal. Oper. Theory 8, 1087–1095 (2014)
Contreras, M.D., Hernández-Díaz, A.G.: Weighted composition operators on Hardy spaces. J. Math. Anal. Appl. 263(1), 224–233 (2001)
Cowen, C.C., MacCluer, B.D.: Composition operators on spaces of analytic functions. Studies in advanced mathematics. CRC Press, Boca Raton (1995)
Littlewood, J.E.: On inequalities in the theory of functions. Proc. Lond. Math. Soc. s2–23(1), 481–519 (1925)
Elliott, S.J., Wynn, A.: Composition operators on weighted Bergman spaces of a half-plane. Proc. Edinb. Math. Soc. 54, 373–379 (2011)
Elliott, S.J., Jury, M.T.: Composition operators on Hardy spaces of the half-plane. Bull. Lond. Math. Soc. 44(3), 489–495 (2012)
Harper, Z.: Boundedness of convolution operators and input-output maps between weighted spaces. Complex Anal. Oper. Theory 3(1), 113–146 (2009)
Jacob, B., Partington, J.R., Pott, S.: On Laplace–Carleson embedding theorems. J. Funct. Anal. 264(3), 783–814 (2013)
Jacob, B., Partington, J. R., Pott, S.: Applications of Laplace–Carleson embeddings to admissibility and controllability. SIAM J. Control Optim. Soc. Ind. Appl. Math. 52(2): 1299–1313 (2014)
Krein, M. G., Nudelman, A. A.: The Markov moment problem and extremal problems, translated from Russian by D. Louvish, Translations of Mathematical Monographs 50, American Mathematical Society, (1977)
Kucik, A. S.: Multipliers of Hilbert spaces of analytic functions on the complex half-plane, Operators and matrices, Ele-Math, submitted in September 2015, accepted in October 2016, arXiv:1604.03831 (2017)
Kucik, A.S.: Carleson measures for Hilbert spaces of analytic functions on the complex half-plane. J. Math. Anal. Appl. 445(1), 476–497 (2017)
Kucik, A. S.: Laplace–Carleson embeddings and weighted infinite-time admissibility, Mathematics of control, signals, and systems, submitted in June 2016, arXiv:1606.05479 (2017)
Acknowledgements
The author of this article would like to thank the UK Engineering and Physical Sciences Research Council (EPSRC) and the School of Mathematics at the University of Leeds for their financial support. He is also very grateful to Professor Jonathan R. Partington for all the important comments and help in preparation of this research paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Isabelle Chalendar.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kucik, A.S. Weighted Composition Operators on Spaces of Analytic Functions on the Complex Half-Plane. Complex Anal. Oper. Theory 12, 1817–1833 (2018). https://doi.org/10.1007/s11785-017-0677-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11785-017-0677-1
Keywords
- Angular derivative
- Bergman kernel
- Bergman space
- Causal operator
- Carleson measure
- Compact operator
- Composition operator
- Essential norm
- Hardy space
- Weighted Bergman space
- Weighted composition operator
- Zen space