- About this Journal ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

ISRN Mathematical Analysis

Volume 2012 (2012), Article ID 945741, 13 pages

http://dx.doi.org/10.5402/2012/945741

## Boundedness and Compactness of the Mean Operator Matrix on Weighted Hardy Spaces

Department of Mathematics, Payame Noor University, P.O. Box 19395-3697, Tehran, Iran

Received 5 January 2012; Accepted 16 February 2012

Academic Editors: E. Beretta and V. Kravchenko

Copyright © 2012 Bahmann Yousefi and Ebrahim Pazouki. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We investigate the boundedness and the compactness of the mean operator matrix acting on the weighted Hardy spaces.

#### 1. Introduction

First in the following, we generalize the definitions coming in [1]. Let be a sequence of positive numbers with and . We consider the space of sequences such that The notation will be used whether or not the series converges for any value of . These are called formal power series and the set of such series is denoted by . Let . So and then is a basis such that . Recall that is a reflexive Banach space with norm and the dual of is where and [2]. For some other sources on this topic see [1–12].

The study of weighted Hardy spaces lies at the interface of analytic function theory and operator theory. As a part of operator theory, research on weighted Hardy spaces is of fairly recent origin, dating back to valuable work of Allen Shields [1] in the mid- 1970s. The mean operator matrix has been the focus of attention for several decades and many of its properties have been studied. Some of basic and useful works in this area are due to Browein et al. [13–16], which are pretty large works that contain a number of interesting results and indeed they are mainly of auxiliary nature. Also, some properties of mean operator matrices have been studied recently by Lashkaripour on weighted sequence spaces [17–20]. In this paper, we have given conditions under which the mean operator matrix is bounded and compact as an operator acting on weighted Hardy spaces. More details of our works are as follows: the idea of Theorem 2.6 comes from [16]. In Theorem 2.9, we extend the method used in [20, Theorem 1.2] to show the boundedness of the mean operator matrix acting on the weighted Hardy spaces. Some inequalities are useful to find a bound for the mean operator matrix acting on weighted Hardy spaces [21–26]. For example the inequality proved in [26, Theorem 8] is used in the proof of Theorem 2.11.

#### 2. Main Results

In this section we define an operator acting on and then we will investigate its boundedness and compactness on .

*Definition 2.1. *Let be a sequence of positive numbers and define
The mean operator matrix associated with the sequence is represented by the matrix and is defined by

From now on, by we denote the mean operator matrix associated with the fixed sequence as in Definition 2.1.

Theorem 2.2 (see [12, Theorem 1]). *If for all integers , then is a bounded operator on .*

Theorem 2.3 (see [12, Theorem 2]). *Let and for If
**
then is a bounded operator on and .*

Recall that if are two positive sequences, by , we mean that whenever . Also, we write , if as .

Corollary 2.4. *Let be finite and . If
**
then is a bounded operator on .*

*Proof. *Put . Then and so
On the other hand
thus Theorem 2.3 implies that is a bounded operator on .

Lemma 2.5. *Suppose that is eventually increasing when the constant , and eventually decreasing when . Let
**
If , then .*

*Proof. *Let and . Then in either case there is a positive integer such that
for . Suppose first that , then
and hence
Therefore
By calculus integral we get
and so
Letting from the right and from the left, we have
Also note that
If , then and similarly we get
If , then . This completes the proof.

Theorem 2.6. *Let , be eventually monotonic for any constant , and be bounded. Then is a bounded operator if .*

*Proof. *Let and suppose first that . Then
as , and hence
where . Consequently . Now suppose that , then for ,
since . If , then there is such that for all .

Without loss of the generality suppose that there is a positive real number such that for . Note that
If , then
Also,
for large amount of last equality greater than . Hence
where . It follows that, for any real number , . Since
thus is eventually increasing for , and eventually decreasing for . But is bounded, so there are such that , and
This implies that is eventually increasing for . Similarly is eventually decreasing for . Thus
By Lemma 2.5
is bounded and so
is bounded. We can see that
is also bounded. Now by Theorem 2.3, is a bounded operator and so the proof is complete.

Lemma 2.7. *Let be nonnegative sequences with . Then for all one has
*

*Proof. *Employing the summation by parts, we get
So
and at this time the proof is complete.

Theorem 2.8 (see [26, Theorem 8]). *Let , be a positive sequence, then
*

Theorem 2.9. *Let be a positive sequence and
**
be finite. Then is bounded and .*

*Proof. *Let , thus
By definition of , we have
In Lemma 2.7, consider and . Then
Now, Theorem 2.8 implies that
and so we get for all . Thus and indeed . This completes the proof.

Corollary 2.10. *Let , and
**
Then is a bounded operator on and .*

*Proof. *Note that
Theorem 2.8 implies that
and so by Theorem 2.9 we obtain for all . Thus and indeed . This completes the proof.

Now, we characterize compactness of subsets of and then we will investigate compactness of the mean operator matrix on .

Theorem 2.11. *Let be a nonempty subset of . Then is relatively compact if and only if the following hold:*(i)*there exists , such that for all , for all ;*(ii)*given , there is such that for all .*

*Proof. *Let be relatively compact, thus there exist such that
For every , there is such that . By Minkowski inequality we get
Thus for every and , we get
So (i) holds. Now suppose that is an arbitrary positive number. Since is relatively compact, thus there exist such that
Since , there exists such that
for . Put
and consider . Then there exists , such that . Hence we get
So (ii) holds.

Conversely, assume that be given and let (i) and (ii) hold. By condition (ii), there exists such that
for all . Let be the closed linear span of the set in . Consider and with norms
for all , and
for all . Define , by
Clearly, we can see that is a bounded linear operator. Now, consider the compact subset
in . Then we have
Since
is a compact subspace of , so there exist such that
Hence for every
there is satisfying
Also, we have
Thus, is relatively compact and so the proof is complete.

Theorem 2.12. *Let the mean matrix operator be bounded on , and
**
where . Then is a compact operator on .*

*Proof. *Let be the closed unit ball of . Define and note that is a bounded subset of . Put , , , and
Note that . So for every , there exists such that for all . Note that if
then
Since , we have
Thus by Theorem 2.11, is compact and so the proof is complete.

#### References

- A. L. Shields, “Weighted shift operators and analytic function theory,” in
*Topics in Operator Theory*, pp. 49–128, Amer. Math. Soc., Providence, RI, USA, 1974. View at Zentralblatt MATH - B. Yousefi, “On the space
*l*^{p}(*β*),”*Rendiconti del Circolo Matematico di Palermo. Serie II*, vol. 49, no. 1, pp. 115–120, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Yousefi, “Unicellularity of the multiplication operator on Banach spaces of formal power series,”
*Studia Mathematica*, vol. 147, no. 3, pp. 201–209, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Yousefi, “Bounded analytic structure of the Banach space of formal power series,”
*Rendiconti del Circolo Matematico di Palermo. Serie II*, vol. 51, no. 3, pp. 403–410, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Yousefi and S. Jahedi, “Composition operators on Banach spaces of formal power series,”
*Bollettino della Unione Matematica Italiana*, vol. 6, no. 2, pp. 481–487, 2003. View at Zentralblatt MATH - B. Yousefi, “Strictly cyclic algebra of operators acting on Banach spaces
*H*^{p}(*β*),”*Czechoslovak Mathematical Journal*, vol. 54(129), no. 1, pp. 261–266, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Yousefi, “Composition operators on weighted Hardy spaces,”
*Kyungpook Mathematical Journal*, vol. 44, no. 3, pp. 319–324, 2004. View at Zentralblatt MATH - B. Yousefi and Y. N. Dehghan, “Reflexivity on weighted Hardy spaces,”
*Southeast Asian Bulletin of Mathematics*, vol. 28, no. 3, pp. 587–593, 2004. View at Zentralblatt MATH - B. Yousefi, “On the eighteenth question of Allen Shields,”
*International Journal of Mathematics*, vol. 16, no. 1, pp. 37–42, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Yousefi and A. I. Kashkuli, “Cyclicity and unicellularity of the differentiation operator on Banach spaces of formal power series,”
*Mathematical Proceedings of the Royal Irish Academy*, vol. 105A, no. 1, pp. 1–7, 2005. View at Publisher · View at Google Scholar - B. Yousefi and A. Farrokhinia, “On the hereditarily hypercyclic operators,”
*Journal of the Korean Mathematical Society*, vol. 43, no. 6, pp. 1219–1229, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Yousefi and L. Bagheri, “Boundedness of an operator acting on spaces of formal power series,”
*International Journal of Applied Mathematics*, vol. 20, no. 6, pp. 821–825, 2007. View at Zentralblatt MATH - D. Borwein and A. Jakimovski, “Matrix operators on
*l*^{p},”*The Rocky Mountain Journal of Mathematics*, vol. 9, no. 3, pp. 463–477, 1979. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - D. Borwein, “Simple conditions for matrices to be bounded operators on
*l*^{p},”*Canadian Mathematical Bulletin*, vol. 41, no. 1, pp. 10–14, 1998. - D. Borwein and X. Gao, “Matrix operators on
*l*_{p}to*l*_{q},”*Canadian Mathematical Bulletin*, vol. 37, no. 4, pp. 448–456, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - D. Borwein, “Weighted mean operators on
*l*_{p},”*Canadian Mathematical Bulletin. Bulletin Canadien de Mathématiques*, vol. 43, no. 4, pp. 406–412, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Lashkaripour, “Weighted mean matrix on weighted sequence spaces,”
*WSEAS Transactions on Mathematics*, vol. 3, no. 4, pp. 789–793, 2004. View at Zentralblatt MATH - R. Lashkaripour, “Transpose of the weighted mean matrix on weighted sequence spaces,”
*WSEAS Transactions on Mathematics*, vol. 4, no. 4, pp. 380–385, 2005. - R. Lashkaripour and D. Foroutannia, “Inequalities involving upper bounds for certain matrix operators,”
*Proceedings of the Indian Academy of Sciences. Mathematical Sciences*, vol. 116, no. 3, pp. 325–336, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Lashkaripour and D. Foroutannia, “Extension of Hardy inequality on weighted sequence spaces,”
*Journal of Sciences. Islamic Republic of Iran*, vol. 20, no. 2, pp. 159–166, 2009. View at Zentralblatt MATH - G. H. Hardy, J. E. Littlewood, and G. Pólya,
*Inequalities*, Cambridge University Press, Cambridge, UK, 1952. - J. M. Cartlidge,
*Weighted mean matrices as operators on l*, Ph.D. thesis, Indiana University, 1978.^{p} - A. Kufner, L. Maligranda, and L.-E. Persson,
*The Hardy Inequality, About Its History and Some Related Results*, Vydavatelsky Servis, Plzeň, Czech Republic, 2007. - A. Kufner and L.-E. Persson,
*Weighted Inequalities of Hardy Type*, World Scientific, River Edge, NJ, USA, 2003. - G. Bennett, “Some elementary inequalities,”
*The Quarterly Journal of Mathematics. Oxford. Second Series*, vol. 38, no. 152, pp. 401–425, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - G. H. Hardy and J. E. Littlewood, “A maximal theorem with function-theoretic applications,”
*Acta Mathematica*, vol. 54, no. 1, pp. 81–116, 1930. View at Publisher · View at Google Scholar