- Research
- Open access
- Published:
Boundedness and essential norm of an integral-type operator on a Hilbert–Bergman-type spaces
Journal of Inequalities and Applications volume 2019, Article number: 121 (2019)
Abstract
Let \({\mathbb {D}} \) be the open unit disk of the complex plane \({\mathbb {C}} \) and \(H({\mathbb {D}} )\) be the space of all analytic functions on \({\mathbb {D}} \). Let \(A^{2}_{\gamma ,\delta }({\mathbb {D}} )\) be the space of analytic functions that are \(L^{2}\) with respect to the weight \(\omega _{\gamma ,\delta }(z)=( \ln \frac{1}{|z|})^{\gamma }[\ln (1-\frac{1}{\ln |z|})]^{\delta }\), where \(-1<\gamma <\infty \) and \(\delta \le 0\). For given \(g\in H({\mathbb {D}} )\), the integral-type operator \(I_{g}\) on \(H({\mathbb {D}} )\) is defined as
In this paper, we characterize the boundedness of \(I_{g}\) on \(A^{2}_{\gamma ,\delta }\), whereas in the main result we estimate the essential norm of the operator. Some basic results on the space \(A^{2}_{\gamma ,\delta }({\mathbb {D}} )\) are also presented.
1 Introduction
Let \({\mathbb {D}}=\{z\in {\mathbb {C}}:\vert z\vert <1\}\) be the open unit disk of the complex plane \({\mathbb {C}}\), \(r{\mathbb {D}}=\{z\in {\mathbb {D}}:\vert z\vert < r\}\), \(H({\mathbb {D}})\) be the space of all analytic functions on \({\mathbb {D}}\), and \(dA(z)=\frac{1}{\pi }r\,dr\,d\theta \) be the normalized area measure on \({\mathbb {D}}\) (i.e., \(A({\mathbb {D}})=1\)).
A positive continuous function on \({\mathbb {D}}\) is called weight. Let \(\mu (z)\) be a weight function on \({\mathbb {D}}\). The weighted-type space \(H_{\mu }^{\infty }({\mathbb {D}})=H_{\mu }^{\infty }\) consists of \(f\in H({\mathbb {D}})\) such that
The little weighted-type space on \({\mathbb {D}}\), \(H_{\mu ,0}^{\infty }({\mathbb {D}})=H _{\mu ,0}^{\infty }\) consists of all \(f\in H({\mathbb {D}})\) such that
(see, e.g., [1] and the related references therein). For \(\mu (z)=(1-\vert z\vert )^{\alpha }\), \(\alpha >0\), the classical weighted-type space \(H_{\alpha }^{\infty }({\mathbb {D}})=H_{\alpha }^{\infty }\) and the classical little weighted-type space \(H_{\alpha ,0}^{\infty }({\mathbb {D}})=H _{\alpha ,0}^{\infty }\) are obtained whose special cases frequently appear in the literature, which is also the case in this paper.
Let \(-1<\gamma <\infty \) and \(\delta \le 0\). The logarithmic Hilbert–Bergman space, denoted by \(A^{2}_{\gamma ,\delta }({\mathbb {D}})=A ^{2}_{\gamma ,\delta }\), consists of all \(f\in H({\mathbb {D}})\) such that
where
Under the inner product
\(A^{2}_{\gamma ,\delta }\) is a Hilbert space. This is why it is called the logarithmic Hilbert–Bergman space. The space \(A^{2}_{\gamma , \delta }\) has been recently introduced in [2] as a special case of the logarithmic Bergman space \(A^{p}_{\gamma ,\delta }\), \(p\in (0,\infty )\).
For a given function \(g\in H({\mathbb {D}})\), the integral-type operator \(I_{g}\) is defined by
for \(f\in H({\mathbb {D}})\).
As usual, throughout the paper, we will write frequently \(I_{g} f\) instead of \(I_{g}(f)\).
The operator (1) is clearly a natural generalization of the integral operator (the one obtained for \(g(z)\equiv 1\)). The operator can be regarded as a classical/folklore one. A variant of the operator can be found in [3], which could be one of the first papers studying such an operator on concrete spaces of analytic functions on \({\mathbb {D}}\) (see [3, Lemma 1]). The topic of studying integral-type operators on spaces of analytic functions has attracted some considerable recent attention. Much information on the topic, including a large list of references up to the end of 2006, can be found in [4]. Some product-type generalizations of the operator on the unit disc were later introduced and studied, for example, in [5], while the corresponding operator for the case of the unit ball was introduced in [6] and later studied in many papers to mention, for example, [7] (for the case of the polydisc, see, e.g., [8]). For some further generalizations, related operators, and related results, see also [9,10,11] and the references therein. We would like to point out that a great majority of these papers are devoted to characterizing some function-theoretic properties of these operators in terms of the involved symbols.
Let X, Y be two Banach spaces and \(T:X\to Y\) be a bounded linear operator (an operator which maps bounded sets in X to bounded sets in Y). Recall that the essential norm of the bounded linear operator \(T:X\to Y\), denoted by \(\Vert T\Vert _{e}\), is defined as
where \(\Vert \cdot \Vert \) denotes the usual operator norm. For some results on the essential norms of concrete operators (such as the composition, multiplication, weighted composition, differentiation, integral, and their various products and relatives) see, for example, [7, 12,13,14,15,16,17,18] and the related references therein. From the definition of the essential norm and since the set of all compact operators is a closed subset of the space of bounded linear operators, it follows that the operator \(T:X\to Y\) is compact if and only if \(\Vert T\Vert _{e}=0\).
In this paper, first, we characterize the boundedness and compactness of \(I_{g}\) on \(A^{2}_{\gamma ,\delta }\), when \(\delta <0\). As it is shown, when \(\delta =0\), the space is equivalent to the classical weighted Hilbert–Bergman space for which the corresponding results are known even in much more general settings [19, 20]. We also estimate essential norm of the operator, which is practically the main result in the paper. This paper, among others, can be regarded as a continuation of our investigations of integral-type operators (see [4,5,6,7] and the references therein), essential norms of concrete operators on spaces of analytic functions (see [7, 15, 16] and the references therein), as well as the investigation of concrete operators on \(A^{2}_{\gamma ,\delta }\). Before this work, composition operators on, or between, \(A^{2}_{\gamma ,\delta }\) were studied in [2, 18], and product-type operators from \(A^{2}_{\gamma ,\delta }\) to Zygmund–Orlicz spaces were studied in [21]. We also present some basic results on the space \(A^{2}_{\gamma ,\delta }\). For example, we give a completely analytic proof why the space \(A^{2}_{\gamma ,\delta }\) is the same as the space consisting of all \(f\in H({\mathbb {D}})\) such that
It is well known that \(f\in A^{2}_{\gamma }({\mathbb {D}})\) if and only if \(f\in {\mathcal{D}}_{\gamma +2}^{2}({\mathbb {D}})\) (the classical weighted Dirichlet space); moreover,
Here, we prove a similar result for the space \(A^{2}_{\gamma ,\delta }\). We obtain pointwise estimates for functions in \(A^{2}_{\gamma , \delta }\), as well as for their derivatives. We also give a complete orthonormal system in \(A^{2}_{\gamma ,\delta }\). These basic results on the space \(A^{2}_{\gamma ,\delta }\) seem new (we could not find them in the literature, so far).
In this paper, the letter C denotes a positive constant which may differ from one occurrence to the other. The notation \(a\lesssim b\) means that there exists a positive constant C independent of the essential variables in the quantities a and b such that \(a\leq Cb\). If \(a\lesssim b\) and \(b\lesssim a\), then we write \(a\asymp b\).
2 Some basic results on \(A^{2}_{\gamma,\delta}\) and auxiliary ones
This section presents several auxiliary results which are employed in the proofs of the main ones, as well as several basic results on the space \(A^{2}_{\gamma ,\delta }\). First, we present a completely analytic proof of the fact that the space is the same as the space consisting of all \(f\in H({\mathbb {D}})\) satisfying (2), connecting it to a more familiar weight.
If we use the well-known asymptotic relation \(\ln (1+x)=x+o(x)\), as \(x\to 0\), we easily obtain
as \(z\to 0\), and
as \(\vert z\vert \to 1-0\).
From (3), (4) and the continuity of the functions therein, it is easy to see that
for every \(\vert z\vert \le r_{1}<1\) and each fixed \(r_{1}\in (0,1)\), while
for every \(r_{2}\le \vert z\vert <1\) and each fixed \(r_{2}\in (0,1)\), where in the proof of relation (6) the fact that, for each \(0< m\le M\), there are \(\alpha _{1}\in (0,1]\) and \(\alpha _{2}\ge 1\) such that
for z sufficiently close to the unit circle is also used.
Proposition 1
Let \(-1<\gamma <\infty \) and \(\delta \le 0\). Then the asymptotic relation
holds for every \(f\in A^{2}_{\gamma ,\delta }\).
Proof
From (6), we have
for each \(r_{0}\in (0,1)\).
It is easy to see that, for each fixed \(r_{0}\in (0,1)\), we have
From (5), we have
If \(\gamma -\delta \ge 0\), then
From (9) and (10) with \(r_{0}=1/e\), (11) and (12), it follows that
Further, let
It is easy to see that \(C_{1}\in (0,+\infty )\).
We have
where we have used the polar coordinates \(z=re^{i\theta }\) and the monotonicity of the integral means
From (9) and (10) with \(r_{0}=1/e\), (11), and (14), it follows that
From (13) and (15), we obtain that the asymptotic relation (8) holds in this case.
If \(\gamma -\delta <0\), then clearly
Hence, from (9) and (10) with \(r_{0}=1/e\), (11), and (16), it follows that
On the other hand, we have
from which, along with the monotonicity of the integral means and use of the polar coordinates, it follows that
From (18), we have
From (9) and (10) with \(r_{0}=1/e\), (11), and (19), it follows that
From (17) and (20) the asymptotic relation (8) follows in this case, completing the proof of the proposition. □
Remark 1
In [18] it is said that the space \(A^{2}_{\gamma ,\delta }\) is the same as the space consisting of all \(f\in H({\mathbb {D}})\) satisfying condition (2) not giving a proof of the claim. Due to the estimates in (7), Proposition 1 gives a pure analytic proof of the equivalence of these two spaces. Note also that from Proposition 1 with \(\delta =0\) it is obtained that the space \(A^{2}_{\gamma ,0}\) is equivalent to the weighted Bergman space \(A^{2}_{\gamma }\).
The proof of Proposition 1 can be shortened by applying the open mapping theorem, but we decided to present a complete analytic proof for the audience more interested in inequalities. However, in the proof of one of our next results (see Lemma 1) we will use the open mapping theorem.
Remark 2
Note that, by using (5), (6), and the polar coordinates, we have
since \(\gamma >-1\).
Proposition 2
Let g be a nondecreasing integrable function on \([0,1)\) and h be a positive function on \((0,1)\) which is continuous on \([0,1)\). Then, for each fixed \(r_{0}\in [0,1)\), we have
Proof
If \(r_{0}=0\), then the result is obvious. Hence, assume that \(r_{0}\in (0,1)\). We have
Now note that there is unique \(n_{0}\in {\mathbb {N}}_{0}\) such that
Note that by the choice of \(n_{0}\) we have
Since g is a nondecreasing function and h is positive on \((0,1)\) and continuous on \([0,1)\), we have
From (23) and (24) it follows that
from which along with the obvious inequality
the asymptotic relation (22) follows. □
Corollary 1
Let g be an arbitrary nondecreasing integrable function on \([0,1)\) and h be a fixed positive function on \((0,1)\) which is continuous on \([0,1)\). Then, for each fixed \(r_{0}\in [0,1)\), we have
for some positive constant \(C(r_{0},h)\) depending on \(r_{0}\) and h.
Lemma 1
Let \(-1<\gamma <\infty \) and \(\delta \le 0\). Then
for every \(f\in A^{2}_{\gamma ,\delta }\).
Proof
Since
for \(a,b\in {\mathbb {C}}\), we have
Let
It is clear that \(\Vert f\Vert _{1}\ge 0\) for every \(f\in A^{2}_{\gamma , \delta }\), that \(\Vert 0\Vert _{1}=0\) and \(\Vert \lambda f\Vert _{1}=\vert \lambda \vert \Vert f\Vert _{1}\) for every \(f\in A^{2}_{\gamma ,\delta }\) and \(\lambda \in {\mathbb {C}}\). If \(\Vert f\Vert _{1}=0\), then obviously \(f(0)=0\), and since \(\omega _{\gamma +2,\delta }(z)>0\), \(z\in {\mathbb {D}}\setminus \{0 \}\), it follows that \(f'(z)=0\), \(z\in {\mathbb {D}}\setminus \{0\}\), and since \(f\in H({\mathbb {D}})\), it must be \(f'(z)=0\), \(z\in {\mathbb {D}}\), from which it follows that \(f(z)\equiv f(0)=0\). By using the triangle inequality and the Cauchy–Schwarz inequality it easily follows that \(\Vert f+g\Vert _{1}\le \Vert f\Vert _{1}+\Vert g\Vert _{1}\) for every \(f,g\in A^{2}_{\gamma ,\delta }\). Hence, \(\Vert \cdot \Vert _{1}\) is a norm on \(A^{2}_{\gamma , \delta }\).
By using the polar coordinates, we have
Employing Proposition 2 with \(g(r)=M_{2}^{2}(f',r)\) (here the well-known fact that the integral means of holomorphic functions are nondecreasing functions is used, which in this case is a simple statement due the easily checked equality \(M_{2}^{2}(\hat{f},r)=\sum_{j=0}^{\infty }\vert a _{k}\vert ^{2}r^{2k}\), if \(\hat{f}(z)=\sum_{j=0}^{\infty }a_{k}z^{k}\)) and \(h(r)=r\omega _{\gamma +2,\delta }(r)\), which is positive and continuous on \((0,1)\) and if it is naturally defined by
it becomes continuous on \([0,1)\), we have
independently on f.
From (27)–(29) and by using the polar coordinates, it follows that
for each \(r_{0}\in [0,1)\).
Since
similar as above we obtain
for each \(r_{0}\in [0,1)\).
By using the following known formula
which can be easily checked by direct calculation, in (32) and employing polar coordinates and the Fubini theorem, we get
By a slight modification of the proof of Lemma 3.1 in [2], we have that
for \(0< r_{0}\le \vert z\vert <1\).
From (34) and (35), and by using (26), it follows that
for every \(f\in A^{2}_{\gamma ,\delta }\).
Applying the open mapping theorem to the identity map
we have that
from which along with (37) the asymptotic relation (25) follows. □
By repeating use of Lemma 1, it follows that the following corollary holds.
Corollary 2
Let \(-1<\gamma <\infty \), \(\delta \le 0\), and \(m\in {\mathbb {N}}\). Then
for every \(f\in A^{2}_{\gamma ,\delta }\).
From Corollary 2, we obtain the following corollary.
Corollary 3
Let \(-1<\gamma <\infty \), \(\delta \le 0\), \(m\in {\mathbb {N}}\), and \((f_{n})_{n\in {\mathbb {N}}}\subset A^{2}_{\gamma , \delta }\). Then
if and only if
and
for \(j=\overline{0,m-1}\).
Note that from the proof of Lemma 1 we see that the following result was also proved.
Corollary 4
Let \(-1<\gamma <\infty \) and \(\delta \le 0\). Then, for fixed \(r_{0}\in [0,1)\), we have
We need also the following estimate for the functions in \(A^{2}_{ \gamma ,\delta }\).
Lemma 2
Let \(-1<\gamma <\infty \), \(\delta \le 0\), \(r_{0}\in (0,1)\), and \(m\in {\mathbb {N}}_{0}\). Then, if \(\vert z\vert \geq r_{0}\), it follows that
for \(f\in A^{2}_{\gamma ,\delta }\).
Proof
From Corollary 2, since
for \(\vert \zeta -z\vert <\frac{1-\vert z\vert }{2}\), and by the subharmonicity of the function \(\vert f^{(m)}(z)\vert ^{2}\), we have
from which the corollary follows. □
Remark 3
Lemma 2 with \(m=0\) shows that the point evaluations \(\varLambda _{z}\) at the point \(z\in {\mathbb {D}}\setminus \{0\}\) are bounded linear functions on \(A^{2}_{\gamma ,\delta }\). Then there are reproducing kernels for these z, denoted by \(K_{\gamma ,\delta }(z, \cdot )\), such that
and
Therefore, from Lemma 2 with \(m=0\), we have
for \(z\in {\mathbb {D}}\setminus \{0\}\).
Remark 4
From the proof of Lemma 2 we see that if \(-1<\gamma <\infty \), \(\delta \le 0\), and \(m\in {\mathbb {N}}_{0}\), then for each \(r\in (0,1)\), there is a constant \(c_{m}(r)\) such that
for \(\vert z\vert \ge r\) and every \(f\in A^{2}_{\gamma ,\delta }\).
Lemma 3
Let \(-1<\gamma <\infty \), \(\delta \le 0\), and \(g\in H({\mathbb {D}})\). Then a bounded operator K is compact on \(A^{2}_{\gamma ,\delta }\) if and only if, for every bounded sequence \((f_{n})_{n\in {\mathbb {N}}}\) in \(A^{2}_{\gamma ,\delta }\) such that \(f_{n}\to 0\) uniformly on every compact subset of \({\mathbb {D}}\) as \(n\to \infty \), it follows that \(\lim_{n\to \infty }\Vert Kf_{n}\Vert _{A^{2} _{\gamma ,\delta }}=0\).
Proof
We will apply Lemma 3 in [8]. Two cases are considered separately, when \(\gamma \ge \delta \) and \(\gamma <\delta\).
Case \(\gamma <\delta \). We show that \(\Vert f_{n}-f\Vert _{A^{2} _{\gamma ,\delta }}\to 0\) as \(n\to \infty \) implies \(f_{n}\to f\) uniformly on compacts of \({\mathbb {D}}\).
Since \(\gamma <\delta \), then there exists a positive integer m such that \(\gamma +2m\geq \delta \). Therefore, by Corollary 2, we have that
for \(j=\overline{0,m-1}\), for some nonnegative constants \(c_{j}\), \(j=\overline{0,m-1}\).
From Lemma 2, we see that for each fixed \(r\in [1/2,1)\) it follows that
where
which is a finite constant due to the continuity of the function under the sign of maximum on a compact set.
On the other hand, by the subharmonicity of the function \(\vert f^{(m)}(z)\vert ^{2}\), we have that
from which it follows that
for \(m\in {\mathbb {N}}_{0}\).
Since \(\gamma +2m\ge \delta \), then there is a positive constant \(\widehat{c}_{1}\) such that
Hence, from (41) and (42), we have that
From (40) and (43) we have that, for each fixed \(r\in [0,1)\), there is a constant \(\widetilde{c}_{m}(r)\) such that
from which it further follows that
and consequently \(\Vert f_{n}-f\Vert _{A^{2}_{\gamma ,\delta }}\to 0\) as \(n\to \infty \) implies \(f^{(m)}_{n}\to f^{(m)}\) uniformly on compacts of \({\mathbb {D}}\). Moreover, (44) means that the point evaluation functionals \(f \mapsto f^{(m)}(z)\) are continuous.
Since
for each \(k\in \{1,\ldots, m\}\), by using (39), (44), and some simple estimates, we obtain
for every \(z\in r{\mathbb {D}}\).
If we take \(k=m\) in (45), it follows that
from which it follows that
and consequently \(\Vert f_{n}-f\Vert _{A^{2}_{\gamma ,\delta }}\to 0\) as \(n\to \infty \) implies \(f_{n}\to f\) uniformly on compacts of \({\mathbb {D}}\). Moreover, from (46) we see that \(\vert f(z)\vert \lesssim \Vert f \Vert _{A^{2}_{\gamma ,\delta }}\), which means that the point evaluation functionals are continuous. Hence, Lemma 3 in [8] can be applied in the case.
Case \(\gamma \ge \delta \). From Lemma 2 we have that, for each fixed \(r\in [1/2,1)\), it follows that
where
which is a finite constant due to the continuity of the function under the sign of maximum on a compact set.
Now note that (41) holds for \(m=0\), that is, we have
Since \(\gamma \ge \delta \), by using (3), it is not difficult to see that there is a positive constant \(c_{2}\) such that
Hence, from (48) and (49), we have
From (47) and (50) we have that, for each fixed \(r\in [0,1)\), there is a constant \(\widetilde{c}_{0}(r)\) such that
from which it follows that
and consequently \(\Vert f_{n}-f\Vert _{A^{2}_{\gamma ,\delta }}\to 0\) as \(n\to \infty \) implies \(f_{n}\to f\) uniformly on compacts of \({\mathbb {D}}\). Moreover, (51) means that the point evaluation functionals are continuous, which is the other necessary condition for applying Lemma 3 in [8], finishing the proof of the lemma. □
Remark 5
Note that the proof of Lemma 3 is considerably more complex than those for the case of some other spaces of analytic functions. For example, the corresponding result for the weighted Bloch space can be found in [8], for the Zygmund-type space in [12], while for the Besov and BMOA spaces in [22]. The first result of the type seems the one in [22], but it has some inaccuracies.
Lemma 4
Let \(-1<\gamma <\infty \), \(\delta \le 0\), \(r_{0}\in (0,1)\), and \(g\in H({\mathbb {D}})\). If \(I_{g}\) is bounded on \(A^{2}_{\gamma ,\delta }\), then there exists a positive constant C independent of \(f\in A^{2}_{\gamma ,\delta }\) and \(a\in {\mathbb {D}}\setminus r_{0}{\mathbb {D}}\) such that
Proof
Since \(I_{g}\) is bounded on \(A^{2}_{\gamma ,\delta }\), by Lemma 1 we have that \(f(z)g(z)=(I_{g}f)'(z)\in A^{2}_{\gamma +2, \delta }\) for every \(f\in A^{2}_{\gamma ,\delta }\). Then, by the reproducing kernel of \(A^{2}_{\gamma +2,\delta }\), for each \(a\in {\mathbb {D}}\setminus r_{0}{\mathbb {D}}\) it follows that
From (53), the Cauchy–Schwarz inequality, and Lemma 1, it follows that
This finishes the proof of the lemma. □
For fixed \(a\in {\mathbb {D}}\), let
It is easy to see that
It was essentially proved in [2] that for each \(r\in (0,1)\)
When \(\delta <0\), it is easily seen that \(k_{a}\to 0\) uniformly on compacts of \({\mathbb {D}}\) as \(\vert a\vert \to 1\). Note that this is not true if \(\delta =0\), a claim which is stated in [2] as a minor oversight.
Let
and \(D(w,\delta )=\{z:\vert \varphi _{w}(z)\vert <\delta \}\).
The following simple lemma is proved by a slight modification of the proof of Lemma 3.2 in [18], so the proof is omitted.
Lemma 5
Let \(r_{0}\in (0,1)\), \(a\in {\mathbb {D}}\setminus r_{0}{\mathbb {D}}\). Then
for \(w\in D(a,1/2)\).
Now we present a lower bound estimate for the quantity \(\Vert k_{a}\Vert _{A ^{2}_{\gamma ,\delta }}\).
Lemma 6
Let \(-1<\gamma <\infty \), \(\delta <0\), \(r_{0}\in (0,1)\), and \(a\in {\mathbb {D}}\setminus r_{0}{\mathbb {D}}\). Then \(\Vert k_{a}\Vert _{A^{2}_{\gamma ,\delta }}\gtrsim 1\).
Proof
By Lemma 1 and the expression of \(k_{a}\), we have
where
On the other hand,
Then, from Lemma 5 and since \(1-\vert w\vert \asymp 1-\vert a\vert \) and \(A(D(a,1/2)) \asymp (1-\vert a\vert ^{2})^{2}\), when \(w\in D(a,1/2)\), it follows that
Hence, from (57)–(59), we have that
for \(\vert a\vert \ge r_{0}\), from which the desired result follows. □
Remark 6
With the help of Lemma 6, we see that when \(\delta <0\) the functions
converge uniformly to zero on the compact subsets of \({\mathbb {D}}\) as \(\vert a\vert \to 1\). The functions \(f_{a}\) will be used in the characterization of the compactness of \(I_{g}\) on \(A^{2}_{\gamma ,\delta }\).
3 Main results and proofs
First, we characterize the boundedness of the operator \(I_{g}\) on \(A^{2}_{\gamma ,\delta }\).
Theorem 1
Let \(-1<\gamma <\infty \), \(\delta <0\), and \(g\in H({\mathbb {D}})\). Then the operator \(I_{g}\) is bounded on \(A^{2}_{\gamma ,\delta }\) if and only if \(g\in H_{1}^{\infty }\).
Proof
Suppose that \(g\in H_{1}^{\infty }\). First, note that
Using (60), Corollary 4, and the fact that
for \(x\in (r,1)\), where r is a fixed number in the interval \((0,1)\), it follows that
From (62), it follows that \(I_{g}\) is bounded on \(A^{2}_{ \gamma ,\delta }\), and moreover that \(\Vert I_{g}\Vert \lesssim \Vert g\Vert _{H_{1} ^{\infty }}\).
Conversely, suppose that \(I_{g}\) is bounded on \(A^{2}_{\gamma ,\delta }\) and that \(r\in (0,1)\). By Lemma 4, we obtain
for \(f\in A^{2}_{\gamma ,\delta }\) and \(a\in {\mathbb {D}}\setminus r{\mathbb {D}}\). Specially, for every \(f\in A^{2} _{\gamma ,\delta }\) with \(f(a)\neq 0\), by (63) we have
Applying (64) to the function \(k_{a}\), from (38), (55), and (56), it follows that
from which it follows that
From (65) along with the obvious fact
we obtain that \(g\in H_{1}^{\infty }\). □
Next we characterize the compactness of the operator \(I_{g}\) on \(A^{2}_{\gamma ,\delta }\). We will present a direct proof of it for the presentational reasons and an obvious connectedness with Theorem 1, although it will be also a consequence of our next theorem.
Theorem 2
Let \(-1<\gamma <\infty \), \(\delta <0\), and \(g\in H({\mathbb {D}})\). Then the operator \(I_{g}\) is compact on \(A^{2}_{\gamma ,\delta }\) if and only if \(g\in H_{1,0}^{\infty }({\mathbb {D}})\).
Proof
First, assume that \(g\in H_{1,0}^{\infty }({\mathbb {D}})\). Then, for sufficiently small \(\varepsilon >0\), there exists \(\delta _{0}\in (0,1)\) such that
for \(z\in {\mathbb {D}}\setminus \delta _{0}{\mathbb {D}}\).
Now note that by (3) and since \(\gamma -\delta >-1\), we have
Let \((f_{n})_{n\in {\mathbb {N}}}\) be a sequence in \(A^{2}_{\gamma ,\delta }\) such that \(\Vert f_{n}\Vert _{A^{2}_{\gamma ,\delta }}\leq M\) and \(f_{n}\to 0\) uniformly on compact subsets of \({\mathbb {D}}\).
For above chosen ε, choose a positive integer N such that
for all \(z\in \delta _{0}{\mathbb {D}}\) and \(n\geq N\), which is possible since due to (67) we have
By using (61), (66), and (68), we have
Thus, the condition \(g\in H_{1,0}^{\infty }({\mathbb {D}})\) implies the compactness of \(I_{g}\) on \(A^{2}_{\gamma ,\delta }\).
Now suppose that \(I_{g}\) is compact on \(A^{2}_{\gamma ,\delta }\). Put
As we have seen in Remark 6, \(f_{a}\to 0\) uniformly on compacts of \({\mathbb {D}}\) as \(\vert a\vert \to 1\). Since \(I_{g}\) is compact on \(A^{2}_{\gamma ,\delta }\), by Lemma 3 we have
From (64) we have
as \(\vert a\vert \to 1\), from which it follows that \(g\in H_{1,0}^{\infty }({\mathbb {D}})\). □
We now consider the essential norm of the operator \(I_{g}\) on \(A^{2}_{\gamma ,\delta }\). Before this we formulate and prove an auxiliary result on a complete orthonormal system in \(A^{2}_{\gamma , \delta }\). For some basics on the topic see, for example, [23] and [24].
Lemma 7
Let
Then the sequence \((\varphi _{n}(z))_{n\in {\mathbb {N}}_{0}}\) is a complete orthonormal system in \(A^{2}_{\gamma ,\delta }\).
Proof
By using the polar coordinates, we have
from which it easily follows that
where \(\delta _{n,m}\) is the δ Kronecker symbol. Hence, the system is orthonormal.
To prove that the system is complete, we prove that the system span \(A^{2}_{\gamma ,\delta }\), for which it is enough to prove that the polynomials are dense in \(A^{2}_{\gamma ,\delta }\).
Let \(f\in A^{2}_{\gamma ,\delta }\). Then, for every \(\varepsilon >0\), there is \(r_{0}\in (0,1)\) such that
which is equivalent to
Since \(M_{2}(f,r)\) is a nondecreasing function, we have also that
for every \(\rho \in [0,1)\), where \(f_{\rho }(z)=f(\rho z)\).
Due to the uniform continuity of f on the compact \(\overline{r_{0}{\mathbb {D}}}\), we have that, for every \(\varepsilon >0\), there is \(\delta _{0}\in (0,1)\) such that
for every \(\rho \in (1-\delta _{0},1)\) and \(z\in \overline{r_{0}{\mathbb {D}}}\).
Since \(f\in H({\mathbb {D}})\), the Taylor polynomials \(s_{n}(f_{\rho })= \sum_{j=0}^{n-1}a_{j}(f_{\rho })z^{j}\) of \(f_{\rho }\) converge uniformly to the function on \({\mathbb {D}}\). Hence, for every \(\varepsilon >0\), there is \(n_{0}\in {\mathbb {N}}_{0}\) such that
for \(n\ge n_{0}\) and \(z\in {\mathbb {D}}\).
From (76), we have
From (75) and (77), it follows that
for \(\rho \in (1-\delta _{0},1)\), from which the result follows. □
Theorem 3
Let \(-1<\gamma <\infty \), \(\delta <0\), and \(g\in H({\mathbb {D}})\). If the operator \(I_{g}\) is bounded on \(A^{2}_{ \gamma ,\delta }\), then
Proof
Let \(K:A^{2}_{\gamma ,\delta }\to A^{2}_{\gamma ,\delta }\) be compact and \(k_{a}\) be the functions defined in (54). Then by Lemma 3 we have that \(\Vert Kk_{a}\Vert _{A^{2}_{\gamma ,\delta }}\to 0\) as \(\vert a\vert \to 1-0\), from which it follows that
By (55) and Remark 3, we have that
Hence, from Lemma 4 it follows that
for \(\vert a\vert \ge r>0\), from which we obtain
which shows that
For a holomorphic function \(f(z)=\sum_{m=0}^{\infty }a_{m}z ^{m}\) on \({\mathbb {D}}\), let
and
As a finite-rank operator, \(P_{j}\) is compact on \(A^{2}_{\gamma , \delta }\), and
for each \(j\in {\mathbb {N}}\).
Thus
Hence, we have
For every \(\varepsilon >0\), there is \(r_{0}\in (0,1)\) such that
for \(r_{0}\le \vert z\vert <1\).
From (84) and (85), it follows that
By Lemma 7 we know that the system \(\varphi _{n}(z)=z^{n}/\Vert z^{n}\Vert _{A^{2}_{\gamma ,\delta }}\), \(n\in {\mathbb {N}}_{0}\), is a complete orthonormal system in the space \(A^{2}_{\gamma ,\delta }\). Then, by a known theory, we have that the reproducing kernel of \(A^{2}_{\gamma , \delta }\) is
Now we estimate the quantity of \(\Vert z^{n}\Vert ^{2}_{A^{2}_{\gamma ,\delta }}\). From Proposition 1, we have
Since \(K_{\gamma ,\delta }(z,w)\) is the kernel of \(A^{2}_{\gamma , \delta }\) and \(R_{j}f\in A^{2}_{\gamma ,\delta }\) for \(f\in A^{2}_{ \gamma ,\delta }\) (see (95) below), we have
The orthogonality of \(w^{n}\) with respect to \(\omega _{\gamma ,\delta }(w)\,dA(w)\) shows that
(for a related idea, see [25]).
From the expression of \(K_{\gamma ,\delta }(z,w)\), the Cauchy–Schwarz inequality, and by using (21), we have
Therefore, from (87) and (89) it follows that
Now, from (90) we have
Since for \(r_{0}\in (0,1)\) we have
the series
converges, which shows that
Using (92) in (91), it follows that
Employing (93) in (86), we obtain
On the other hand, since
we have
From this and since ε is an arbitrary positive number, it follows that \(\Vert I_{g}\Vert _{e}\le 2A\), finishing the proof of the theorem. □
Remark 7
If \(\delta =0\), then by using the following test functions
for \(a\in {\mathbb {D}}\) and some fixed \(c>0\), it can be proved in the same fashion that Theorems 1–3 also hold in the case.
References
Bierstedt, K.D., Summers, W.H.: Biduals of weighted Banach spaces of analytic functions. J. Aust. Math. Soc. Ser. A 54, 70–79 (1993)
Kwon, E.G., Lee, J.: Composition operators between weighted Bergman spaces of logarithmic weights. Int. J. Math. 26(9), Article ID 1550068 (2015)
Pommerenke, C.: Schlichte funktionen und analytische funktionen von beschränkter mittlerer oszillation. Comment. Math. Helv. 52, 591–602 (1977) (in German)
Chang, D.C., Li, S., Stević, S.: On some integral operators on the unit polydisk and the unit ball. Taiwan. J. Math. 11(5), 1251–1286 (2007)
Li, S., Stević, S.: Products of integral-type operators and composition operators between Bloch-type spaces. J. Math. Anal. Appl. 349, 596–610 (2009)
Stević, S.: On a new operator from \(H^{\infty }\) to the Bloch-type space on the unit ball. Util. Math. 77, 257–263 (2008)
Stević, S.: On a new integral-type operator from the Bloch space to Bloch-type spaces on the unit ball. J. Math. Anal. Appl. 354, 426–434 (2009)
Stević, S.: Boundedness and compactness of an integral operator on a weighted space on the polydisc. Indian J. Pure Appl. Math. 37(6), 343–355 (2006)
Sehba, B., Stević, S.: On some product-type operators from Hardy–Orlicz and Bergman–Orlicz spaces to weighted-type spaces. Appl. Math. Comput. 233, 565–581 (2014)
Zhu, X.: Generalized composition operators from generalized weighted Bergman spaces to Bloch type spaces. J. Korean Math. Soc. 46(6), 1219–1232 (2009)
Zhu, X.: Volterra composition operators from weighted-type spaces to Bloch-type spaces and mixed norm spaces. Math. Inequal. Appl. 14(1), 223–233 (2011)
Du, J., Li, S., Zhang, Y.: Essential norm of weighted composition operators on Zygmund-type spaces with normal weight. Math. Inequal. Appl. 21(3), 701–714 (2018)
Hu, Q., Shi, Y.F., Shi, Y.C., Zhu, X.: Essential norm of generalized weighted composition operators from the Bloch space to the Zygmund space. J. Inequal. Appl. 2016, Article ID 123 (2016)
Shi, Y., Li, S.: Essential norm of integral operators on Morrey type spaces. Math. Inequal. Appl. 19(1), 385–393 (2016)
Stević, S.: Norm and essential norm of composition followed by differentiation from α-Bloch spaces to \(H^{\infty }_{\mu }\). Appl. Math. Comput. 207, 225–229 (2009)
Stević, S., Sharma, A.K., Bhat, A.: Essential norm of products of multiplication composition and differentiation operators on weighted Bergman spaces. Appl. Math. Comput. 218, 2386–2397 (2011)
Zhu, X.: Essential norm of generalized weighted composition operators on Bloch-type spaces. Appl. Math. Comput. 274, 133–142 (2016)
Kwon, E.G., Lee, J.: Essential norm of the composition operators between Bergman spaces of logarithmic weights. Bull. Korean Math. Soc. 54(1), 187–198 (2017)
Aleman, A., Siskakis, A.: Integration operators on Bergman spaces. Indiana Univ. Math. J. 46, 337–356 (1997)
Li, S., Stević, S.: Riemann–Stieltjes operators between different weighted Bergman spaces. Bull. Belg. Math. Soc. Simon Stevin 15(4), 677–686 (2008)
Jiang, Z.J.: Product-type operators from logarithmic Bergman-type spaces to Zygmund–Orlicz spaces. Mediterr. J. Math. 13(6), 4639–4659 (2016)
Tjani, M.: Compact composition operators on some Möbius invariant Banach space. PhD thesis, Michigan State University (1996)
Nehari, Z.: Conformal Mapping. Dover, New York (1975)
Shabat, B.V.: Introduction to Complex Analysis Part II Functions of Several Variables. Am. Math. Soc., Providence (1992)
Stević, S., Ueki, S.I.: Weighted composition operators from the weighted Bergman space to the weighted Hardy space on the unit ball. Appl. Math. Comput. 215, 3526–3533 (2010)
Acknowledgements
The study in the paper is a part of the investigation under the projects III 41025 and III 44006 by the Serbian Ministry of Education and Science, Sichuan Science and Technology Program (No. 2018JY0200), and the project of Education Department of Sichuan Province (No. 18ZA0339).
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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 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
Stević, S., Jiang, ZJ. Boundedness and essential norm of an integral-type operator on a Hilbert–Bergman-type spaces. J Inequal Appl 2019, 121 (2019). https://doi.org/10.1186/s13660-019-2077-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2077-8