Abstract
In this paper, we introduce two factorizations for the Cesàro matrix of order n based on Cesàro and gamma matrices. The results of these factorizations are new inequalities, one of which is a generalized version of the well-known Hardy’s inequality. Moreover, we obtain the norm of Cesàro operator of order n on Cesàro and gamma matrix domains.
Similar content being viewed by others
1 Introduction
Let ω denote the vector space of all real-valued sequences \(\mathbf{x}=(x_{k})_{k=0}^{\infty }\). Any linear subspace of ω is called a sequence space. In particular, the Banach space \(\ell _{p}\) is the set of all \(\mathbf{x}\in \omega \) such that
In our discussion, we consider infinite matrices \(A=(a_{i,j})\), where the indices i and j run through \(\mathbb{N}_{0}:=\{0,1,2,\ldots \}\). The matrix domain of A, with respect to a fixed sequence space \(\mathcal{X}\), is defined as
In the special but important case \(\mathcal{X}=\ell _{p}\), we will simply write \(A(p)\) instead of \(A(\ell _{p})\). Some further special notations are described below. It is rather trivial that \(I(p)=\ell _{p}\), where I is the infinite identity matrix. This concept has inspired many researchers to seek and define new Banach spaces as the domain of an infinite matrix.
The operator T is called bounded if the inequality \(\Vert Tx \Vert _{\ell _{p}}\le K \Vert x \Vert _{\ell _{p}}\) holds for all sequences \(x\in \ell _{p}\), while the constant K does not depend on x. The constant K is called an upper bound for operator T, and the smallest possible value of K is called the norm of T. One of the advantages of finding the norm of an operator is obtaining useful inequalities. The well-known inequalities
and
which are also known as Hardy’s inequality and Hilbert’s inequality, have resulted from the boundedness of Cesàro and Hilbert operators.
The problem of finding norms of operators has been investigated in some of the following references [7, 9–13, 15, 17, 18].
The organization of paper is as follows. In Sect. 2, we introduce the family of Hausdorff matrices \(H^{\mu }\). The definition is very general and includes several important subfamilies, e.g., Cesàro and gamma matrices. We also introduce the classical Hilbert matrix in this section.
In Sect. 3, we state our main theorem, where we introduce two factorizations for the Cesàro matrix, which results in some interesting inequalities. The other result is obtaining a factorization for the Hilbert operator based on the Cesàro matrix, which the author had introduced before in [13, Corollary 2.3], but with a new approach.
In Sect. 4, as an application of those introduced factorizations for the Cesàro matrix, we compute the norm of Cesàro operator of order n from the Cesàro and gamma sequence spaces into the \(\ell _{p}\) space.
2 The Cesàro and gamma matrices
Let μ be a probability measure on \([0,1]\). The Hausdorff matrix \(H^{\mu }=(h_{j,k})_{j,k=0}^{\infty }\) is an infinite matrix with the entries
and \(h_{j,k} = 0\) for \(k>j\). As a direct consequence of Hardy’s formula [6, Theorem 216], we know that the Hausdorff matrix is a bounded operator on \(\ell _{p}\), \(1\le p< \infty \), if and only if
moreover,
Bennett [1, 3] extensively studied these matrices. He showed that Hausdorff operators have the norm separating property [2, Theorem 9]. More explicitly, if \(p\ge 1\) and \(H^{\mu }\), \(H^{\varphi }\), and \(H^{\nu }\) are Hausdorff matrices such that \(H^{\mu }=H^{\varphi }H^{\nu }\), then \(H^{\mu }\) is bounded on \(\ell _{p}\) if and only if both \(H^{\varphi }\) and \(H^{\nu }\) are bounded on \(\ell _{p}\). Moreover, we have
The Hausdorff matrix contains several famous classes of matrices as a special case. We mention a few examples below. In all cases, we assume that \(n>0\). We also denote the conjugate exponent of p by \(p^{*}\), i.e., \({1}/{p}+{1}/{p^{*}}=1\).
We use the notation \(\mathit{hau}(p)\) as the set of all sequences whose \(H^{\mu }\)-transforms are in the space \(\ell _{p}\), that is,
where μ is a fixed probability measure on \([0,1]\).
Cesàro matrix of order n. The measure
gives the Cesàro matrix \(C^{n} = (C^{n}_{j,k})\) of order n, for which
Hence, according to (2.1), \(C^{n}\) has the \(\ell _{p}\)-norm
Note that \(C^{0}=I\), where I is the identity matrix, and
is the classical Cesàro matrix, which has the \(\ell _{p}\)-norm \(\Vert C \Vert _{\ell _{p}\to \ell _{p}}=p^{*}\). According to (1.1), the matrix domain of \(C^{n}\) is
Equipped with the norm
\(C^{n}(p)\) is a Banach space. In literature, \(\mathit{ces}(n,p)\) is also used to denote this space [3]. The matrix C was defined by Ernesto Cesàro (1859–1906), an Italian mathematician who worked in the field of differential geometry. Since then, many mathematicians have studied Cesàro sequence and Cesàro function spaces. However, the main focus has been on the Cesàro matrix of order one. The Cesàro sequence space \(C^{1}(p)\), its topological properties, its matrix transformations, and matrix domains are studied in [8, 16]. Recently, the general case \(C^{n}(p)\) and its topological properties, matrix transformations, and matrix domains for \(0< p<\infty \) have been thoroughly studied [14, 15].
Gamma matrix of order n. The measure
gives the gamma matrix \(\Gamma ^{n} = (\gamma ^{n}_{j,k})\) of order n, for which
Hence, according to (2.1), \(\Gamma ^{n}\) has the \(\ell _{p}\)-norm
While \(\Gamma ^{1}\) is the classical Cesàro matrix C, other values of n give birth to different matrices. For example,
According to (1.1), the matrix domain of \(\Gamma ^{n}\) is
which equipped with the norm
becomes a Banach space. This space is also denoted by \(\mathit{gam}(n,p)\).
Hilbert matrix. In this study, we also need the Hilbert matrix \(\mathfrak{H}=(h_{j,k})\), which is defined by
More explicitly,
This matrix was introduced by David Hilbert in 1894 to study a question in approximation theory.
3 Main theorem
In this section, factorization of the Cesàro operator based on Cesàro and gamma matrices is investigated. First, we need some preliminaries. For nonnegative integers n, j, and k, let us define the matrix \(B^{n}=(b^{n}_{j,k})\) by
where β is the beta function
Note that, for \(n=0\), \(B^{0}=\mathfrak{H}\), where \(\mathfrak{H}\) is the Hilbert matrix. We know that \(B^{n}\) is a bounded operator on \(\ell _{p}\) and
See [10, Lemma 2.3].
In the next result, we reveal the relation between the Cesàro and gamma matrices which have the same entries in a row, but the inverse order in columns. Moreover, we introduce some factorizations for the Cesàro matrix based on Cesàro and gamma matrices, which results in some interesting inequalities and inclusions.
Theorem 3.1
Let \(n\ge m\ge 1\), and let \(C^{n}\) and \(\Gamma ^{m}\) be respectively the Cesàro and gamma matrices of order n and m. Then the following assertions hold:
-
(a)
\(C^{n}=C^{n-1} \Gamma ^{n}\).
-
(b)
\(C^{n}=\Gamma ^{1} \Gamma ^{2}\ldots \Gamma ^{n}\).
-
(c)
\(C^{n}=R^{n,m} \Gamma ^{m}\), where
$$ R^{n,m}=\prod_{i=1,i\neq m}^{n} \Gamma ^{i}. $$Moreover, \(R^{n,m}\) is a bounded operator on \(\ell _{p}\) with the norm
$$ \bigl\Vert R^{n,m} \bigr\Vert _{\ell _{p} \to \ell _{p}}= \frac{(1-1/mp)\Gamma (n+1)\Gamma (1/p^{*})}{\Gamma (n+1/p^{*})}. $$(3.3) -
(d)
\(C^{n}=S^{n,m} C^{m}\), where
$$ S^{n,m}=\prod_{i=m+1}^{n} \Gamma ^{i}. $$(3.4)Moreover, \(S^{n,m}\) is a bounded operator on \(\ell _{p}\) with the norm
$$\begin{aligned} \bigl\Vert S^{n,m} \bigr\Vert _{\ell _{p} \to \ell _{p}}= \frac{\Gamma (n+1)\Gamma (m+1/p^{*})}{\Gamma (m+1)\Gamma (n+1/p^{*})}. \end{aligned}$$
Proof
\((a)\): Since Hausdorff matrices commute, by using the identity
we have
Therefore \(C^{n}=C^{n-1} \Gamma ^{n}\).
\((b)\): This is a direct consequence of \((a)\).
\((c)\): According to part \((a)\) and by induction,
Now, according the norm separating property of Hausdorff matrices (2.2), we have
\((d)\): According to part \((b)\), we have \(C^{n}= C^{m} \Gamma ^{m+1}\ldots \Gamma ^{n}\). Hence, by the definition \(S^{n,m}=\Gamma ^{m+1}\ldots \Gamma ^{n}\), we have the claimed factorization. For computing the norm of \(S^{n,m}\), note that
□
Bennett found the corresponding measure \(d\mu (\theta )\) for the matrix \(S^{m,n}=\Gamma ^{m+1}\cdots \Gamma ^{n}\) which we obtained through Theorem 3.1. He showed
The matrix \(S^{n,m}=(s^{n,m}_{j,k})\) has the entries
We can rewrite the factorization discussed in Theorem 3.1 as
In the first place, these inequalities imply
-
\(\Gamma ^{n}(p) \subset C^{n}(p)\),
-
\(C^{n-1}(p) \subset C^{n}(p)\),
-
\(\Gamma ^{m}(p) \subset C^{n}(p)\),
-
\(C^{m}(p) \subset C^{n}(p)\),
where \(n\ge m\ge 1\). Secondly, combined with (2.4) and (3.3), we express a more explicit account of the above inequalities.
Corollary 3.2
Let \((x_{n})\) be a sequence of real numbers. Then the following statements hold.
-
(a)
For \(n\ge 1\),
$$\begin{aligned} \sum_{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{\binom{n+j-k-1}{j-k}}{\binom{n+j}{j}}x_{k} \Biggr\vert ^{p} \le \biggl(\frac{np}{np-1} \biggr)^{p}\sum _{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{\binom{n+j-k-2}{j-k}}{\binom{n+j-1}{j}}x_{k} \Biggr\vert ^{p}. \end{aligned}$$In particular, for \(n=1\), we have Hardy’s inequality
$$\begin{aligned} \sum_{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{x_{k}}{1+j} \Biggr\vert ^{p} \le \biggl(\frac{p}{p-1} \biggr)^{p}\sum _{j=0}^{\infty } \vert x_{k} \vert ^{p}. \end{aligned}$$ -
(b)
For \(n\ge m\ge 1\),
$$\begin{aligned} \sum_{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{\binom{n+j-k-1}{j-k}}{\binom{n+j}{j}}x_{k} \Biggr\vert ^{p} \le \biggl[ \frac{(1-1/mp)\Gamma (n+1)\Gamma (1/p^{*})}{\Gamma (n+1/p^{*})} \biggr]^{p}\sum _{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{\binom{m+k-1}{k}}{\binom{m+j}{j}}x_{k} \Biggr\vert ^{p}. \end{aligned}$$In particular, for \(m=n\),
$$\begin{aligned} \sum_{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{\binom{n+j-k-1}{j-k}}{\binom{n+j}{j}}x_{k} \Biggr\vert ^{p} \le \biggl[\frac{\Gamma (n)\Gamma (1/p^{*})}{\Gamma (n-1/p)} \biggr]^{p} \sum _{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{\binom{n+k-1}{k}}{\binom{n+j}{j}}x_{k} \Biggr\vert ^{p}. \end{aligned}$$ -
(c)
For \(n\ge m\ge 0\),
$$\begin{aligned} \sum_{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{\binom{n+j-k-1}{j-k}}{\binom{n+j}{j}}x_{k} \Biggr\vert ^{p} \le \biggl[ \frac{\Gamma (n+1)\Gamma (m+1/p^{*})}{\Gamma (m+1)\Gamma (n+1/p^{*})} \biggr]^{p}\sum _{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \frac{\binom{m+j-k-1}{j-k}}{\binom{m+j}{j}}x_{k} \Biggr\vert ^{p}. \end{aligned}$$In particular, for \(n=1\), \(m=0\), we have Hardy’s inequality.
See [4, 5] for similar inequalities of the above type.
Corollary 3.3
The Hilbert operator \(\mathfrak{H}\) has a factorization of the form \(\mathfrak{H}=B^{n}C^{n}\), where \(B^{n}\) was defined by (3.1).
Proof
First we show that
In fact,
This establishes (3.6). Now, by commutativity of Hausdorff matrices and by (3.6),
Therefore, by induction,
□
4 The mapping \(C^{n}: A(p) \to \ell _{p}\)
We are now ready to study the mappings \(C^{n}: A(p) \to \ell _{p}\). Based on the cases described in Sect. 2, two categories of \(A(p)\) spaces are treated below: the Cesàro sequence space \(C^{n}(p)\) and the gamma sequence space \(\Gamma ^{n}(p)\). First, we need the following lemma.
Lemma 4.1
Let U be a bounded operator on \(\ell _{p}\) and \(A(p)\) be a matrix domain such that \(A(p)\simeq \ell _{p}\). If T has a factorization of the form \(T=UA\), then T is a bounded operator from the matrix domain \(A(p)\) into \(\ell _{p}\) and
Proof
Since \(A(p)\) and \(\ell _{p}\) are isomorphic, hence
□
We can follow a similar procedure to obtain the norm of Cesàro matrix from an \(A(p)\) space into an \(\ell _{p}\) space.
Corollary 4.2
Let \(n\ge m\ge 0\). Then \(C^{n}:C^{m}(p) \to \ell _{p}\) is bounded and
Also, \(C^{n}: C(p) \to \ell _{p}\) is bounded and
Proof
According to Theorem 3.1\(C^{n}=S^{n,m} C^{m}\), hence Lemma 4.1 finishes the proof. □
Corollary 4.3
Let \(n\ge m\ge 1\). Then \(C^{n}:\Gamma ^{m}(p) \to \ell _{p}\) is bounded and
In particular, \(C^{n}: C(p) \to \ell _{p}\) is bounded and
Proof
According to Theorem 3.1, \(C^{n}=R^{n,m} \Gamma ^{m}\), hence the result will be obtained from Lemma 4.1. □
Availability of data and materials
No data have been used in this study.
References
Bennett, G.: Lower bounds for matrices. Linear Algebra Appl. 82, 81–98 (1986)
Bennett, G.: Lower bounds for matrices II. Can. J. Math. 44, 54–74 (1992)
Bennett, G.: Factorizing the Classical Inequalities. Mem. Amer. Math. Soc., vol. 576 (1996)
Bennett, G.: An inequality for Hausdorff means. Houst. J. Math. 25(4), 709–744 (1999)
Hardy, G.H.: An inequality for Hausdorff means. J. Lond. Math. Soc. 18, 46–50 (1943)
Hardy, G.H.: Divergent Series. Oxford University Press, London (1973)
İlkhan, M.: Norms and lower bounds of some matrix operators on Fibonacci weighted difference sequence space. Math. Methods Appl. Sci. 42(16), 5143–5153 (2019)
Ng, P.-N., Lee, P.-Y.: Cesàro sequence spaces of non-absolute type. Comment. Math. Prace Mat. 20(2), 429–433 (1978)
Roopaei, H.: Norms of summability and Hausdorff mean matrices on difference sequence spaces. Math. Inequal. Appl. 22(3), 983–987 (2019)
Roopaei, H.: Norm of Hilbert operator on sequence spaces. J. Inequal. Appl. 2020, 117 (2020)
Roopaei, H.: A study on Copson operator and its associated sequence space. J. Inequal. Appl. 2020, 120 (2020)
Roopaei, H.: Factorization of Cesàro and Hilbert matrices based on generalized Cesàro matrix. Linear Multilinear Algebra 68(1), 193–204 (2020)
Roopaei, H.: Factorization of the Hilbert matrix based on Cesàro and gamma matrices. Results Math. 75(1), 3 (2020). https://doi.org/10.1007/s00025-019-1129-1
Roopaei, H., Başar, F.: On the spaces of Cesaàro absolutely p-summable, null, and convergent sequences. Math. Methods Appl. Sci. 44(5), 3670–3685 (2021)
Roopaei, H., Foroutannia, D., İlkhan, M., Kara, E.E.: Cesàro spaces and norm of operators on these matrix domains. Mediterr. J. Math. 17, 121 (2020)
Şengönül, M., Başar, F.: Cesàro sequence spaces of non-absolute type which include the spaces \(c_{0}\) and c. Soochow J. Math. 31(1), 107–119 (2005)
Yaying, T., Hazarika, B., Mohiuddine, S.A., Mursaleen, M.: Estimation of upper bounds of certain matrix operators on binomial weighted sequence spaces. Adv. Oper. Theory 5, 1376–1389 (2020)
Yaying, T., Hazarika, B., Mursaleen, M.: Norm of matrix operator on Orlicz-binomial spaces and related operator ideal. J. Math. Comput. Sci. 23, 341–353 (2021)
Acknowledgements
This manuscript has the only one author, and there is no funding for this research.
Funding
There is no funding for this research.
Author information
Authors and Affiliations
Contributions
This manuscript has the only one author and nobody has collaborated in writing that. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no competing interests.
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
Roopaei, H. Factorization of Cesàro operator and related inequalities. J Inequal Appl 2021, 177 (2021). https://doi.org/10.1186/s13660-021-02714-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02714-8