Skip to main content

Factorization of Cesàro operator and related inequalities

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.

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

$$ \Vert \mathbf{x} \Vert _{\ell _{p}}= \Biggl(\sum _{k=0}^{\infty } \vert x_{k} \vert ^{p} \Biggr)^{1/p}< \infty , \quad 1\leq p< \infty . $$

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

$$ A(\mathcal{X})=\{\mathbf{x}\in \omega : A\mathbf{x}\in \mathcal{X} \}. $$
(1.1)

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

$$\begin{aligned} \sum_{n=0}^{\infty } \Biggl(\sum _{k=0}^{n}\frac{ \vert x_{k} \vert }{n+1} \Biggr)^{p} \le \biggl(\frac{p}{p-1} \biggr)^{p}\sum_{k=0}^{\infty } \vert x_{k} \vert ^{p} \end{aligned}$$

and

$$\begin{aligned} \sum_{n=0}^{\infty } \Biggl(\sum _{k=0}^{\infty }\frac{ \vert x_{k} \vert }{n+k+1} \Biggr)^{p}\le \bigl(\pi \csc (\pi /p) \bigr)^{p}\sum_{k=0}^{\infty } \vert x_{k} \vert ^{p}, \end{aligned}$$

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, 913, 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

$$ h_{j,k} = \binom{j}{k} \int _{0}^{1} \theta ^{k}(1-\theta )^{j-k}\,d \mu (\theta ), \quad 0\leq k\leq j, $$

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

$$ \int _{0}^{1} \theta ^{\frac{-1}{p}} \,d\mu (\theta )< \infty ; $$

moreover,

$$ \bigl\Vert H^{\mu } \bigr\Vert _{\ell _{p} \to \ell _{p}}= \int _{0}^{1} \theta ^{ \frac{-1}{p}}\,d\mu (\theta ). $$
(2.1)

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

$$ \bigl\Vert H^{\mu } \bigr\Vert _{\ell _{p} \to \ell _{p}}= \bigl\Vert H^{\varphi } \bigr\Vert _{\ell _{p} \to \ell _{p}} \bigl\Vert H^{\nu } \bigr\Vert _{\ell _{p} \to \ell _{p}}. $$
(2.2)

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,

$$\begin{aligned} \mathit{hau}(p)= \Biggl\{ x=(x_{j})\in \omega :\sum _{j=0}^{\infty } \Biggl\vert \sum _{k=0}^{j} \int _{0}^{1} \binom{j}{k}\theta ^{k}(1-\theta )^{j-k}\,d\mu (\theta )x_{k} \Biggr\vert ^{p}< \infty \Biggr\} , \end{aligned}$$

where μ is a fixed probability measure on \([0,1]\).

Cesàro matrix of order n. The measure

$$ d\mu (\theta )=n(1-\theta )^{n-1}\,d\theta $$

gives the Cesàro matrix \(C^{n} = (C^{n}_{j,k})\) of order n, for which

$$\begin{aligned} C^{n}_{j,k}= \textstyle\begin{cases} \frac{\binom{n+j-k-1 }{j-k}}{\binom{n+j }{j}}, & 0\leq k\leq j, \\ 0, & \textrm{otherwise}. \end{cases}\displaystyle \end{aligned}$$

Hence, according to (2.1), \(C^{n}\) has the \(\ell _{p}\)-norm

$$ \bigl\Vert C^{n} \bigr\Vert _{\ell _{p}\to \ell _{p}}= \frac{\Gamma (n+1)\Gamma (1/p^{*})}{\Gamma (n+1/p^{*})}. $$
(2.3)

Note that \(C^{0}=I\), where I is the identity matrix, and

$$ C^{1}=C= \begin{pmatrix} 1 & 0 & 0 & \cdots \\ 1/2 & 1/2 & 0 & \cdots \\ 1/3 & 1/3 & 1/3 & \cdots \\ \vdots & \vdots & \vdots & \ddots \end{pmatrix} $$

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

$$ C^{n}(p) = \Biggl\{ \mathbf{x}\in \omega :\sum _{j=0}^{\infty } \Biggl\vert \frac{1}{\binom{n+j }{j}}\sum _{k=0}^{j}\binom{n+j-k-1 }{j-k}x_{k} \Biggr\vert ^{p}< \infty \Biggr\} . $$

Equipped with the norm

$$ \Vert \mathbf{x} \Vert := \Biggl(\sum_{j=0}^{\infty } \Biggl\vert \frac{1}{\binom{n+j }{j}}\sum_{k=0}^{j} \binom{n+j-k-1 }{j-k} x_{k} \Biggr\vert ^{p} \Biggr)^{1/p}, $$

\(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

$$ d\mu (\theta )=n\theta ^{n-1}\,d\theta $$

gives the gamma matrix \(\Gamma ^{n} = (\gamma ^{n}_{j,k})\) of order n, for which

$$\begin{aligned} \gamma ^{n}_{j,k}= \textstyle\begin{cases} \frac{\binom{n+k-1 }{k}}{\binom{n+j }{j}}, & 0\leq k\leq j, \\ 0, & \textrm{otherwise}. \end{cases}\displaystyle \end{aligned}$$

Hence, according to (2.1), \(\Gamma ^{n}\) has the \(\ell _{p}\)-norm

$$ \bigl\Vert \Gamma ^{n} \bigr\Vert _{\ell _{p} \to \ell _{p}}= \frac{n p}{n p-1}. $$
(2.4)

While \(\Gamma ^{1}\) is the classical Cesàro matrix C, other values of n give birth to different matrices. For example,

$$\begin{aligned} \Gamma ^{2}= \begin{pmatrix} 1 & 0 & 0 & \cdots \\ 1/3 & 2/3 & 0 & \cdots \\ 1/6 & 2/6 & 3/6 & \cdots \\ \vdots & \vdots & \vdots & \ddots \end{pmatrix} \quad \text{and} \quad \Gamma ^{3}= \begin{pmatrix} 1 &0 & 0 & \cdots \\ 1/4 & 3/4 &0& \cdots \\ 1/10 & 3/10 & 6/10 & \cdots \\ \vdots & \vdots & \vdots & \ddots \end{pmatrix} . \end{aligned}$$

According to (1.1), the matrix domain of \(\Gamma ^{n}\) is

$$ \Gamma ^{n}(p) = \Biggl\{ x = ( x_{k} )\in \omega : \sum _{j=0}^{\infty } \Biggl\vert \frac{1}{\binom{n+j }{j}} \sum_{k=0}^{j} \binom{n+k-1 }{k}x_{k} \Biggr\vert ^{p} < \infty \Biggr\} , $$

which equipped with the norm

$$ \Vert \mathbf{x} \Vert := \Biggl(\sum_{j=0}^{\infty } \Biggl\vert \frac{1}{\binom{n+j }{j}}\sum_{k=0}^{j} \binom{n+k-1 }{k}x_{k} \Biggr\vert ^{p} \Biggr)^{\frac{1}{p}} $$

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

$$ h_{j,k}=\frac{1}{j+k+1}, \quad j,k \geq 0. $$

More explicitly,

$$\begin{aligned} \mathfrak{H}= \begin{pmatrix} 1 & 1/2 & 1/3 & \cdots \\ 1/2 & 1/3 & 1/4 & \cdots \\ 1/3 & 1/4 & 1/5 & \cdots \\ \vdots & \vdots & \vdots & \ddots \end{pmatrix} . \end{aligned}$$

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

$$\begin{aligned} b^{n}_{j,k} =&\frac{(k+1)\cdots (k+n)}{(j+k+1)\cdots (j+k+n+1)} \\ =&\binom{n+k }{k}\beta (j+k+1, n+1) \quad (j,k=0,1,\ldots ), \end{aligned}$$
(3.1)

where β is the beta function

$$\begin{aligned} \beta (m,n)= \int _{0}^{1} z^{m-1}(1-z)^{n-1} \,dz, \quad m,n=1,2,\ldots . \end{aligned}$$

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

$$\begin{aligned} \bigl\Vert B^{n} \bigr\Vert _{\ell _{p} \to \ell _{p}}= \frac{\Gamma (n+1/p^{*})\Gamma (1/p)}{\Gamma (n+1)}. \end{aligned}$$
(3.2)

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:

  1. (a)

    \(C^{n}=C^{n-1} \Gamma ^{n}\).

  2. (b)

    \(C^{n}=\Gamma ^{1} \Gamma ^{2}\ldots \Gamma ^{n}\).

  3. (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)
  4. (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

$$\begin{aligned} \sum_{k=0}^{j} \binom{n+j-k-1 }{j-k}=\sum _{k=0}^{j} \binom{n+k-1 }{k}= \binom{n+j }{j}, \end{aligned}$$

we have

$$\begin{aligned} \bigl(\Gamma ^{n} C^{n-1} \bigr)_{i,k} =&\sum _{j=k}^{i} \Gamma ^{n}_{i,j}C^{n-1}_{j,k}= \sum_{j=k}^{i} \frac{\binom{ n+j-1}{j}}{\binom{n+i}{i}} \frac{\binom{n+j-k-2}{j-k}}{\binom{n+j-1}{j}} \\ =&\frac{1}{\binom{n+i}{i}}\sum_{j=k}^{i} \binom{n+j-k-2}{j-k} \\ =&\frac{1}{\binom{n+i}{i}}\sum_{j=0}^{i-k} \binom{n+j-2}{j}= \frac{\binom{n+i-k-1}{i-k}}{\binom{n+i }{i}}= C^{n}_{i,k}. \end{aligned}$$

Therefore \(C^{n}=C^{n-1} \Gamma ^{n}\).

\((b)\): This is a direct consequence of \((a)\).

\((c)\): According to part \((a)\) and by induction,

$$ C^{n}=\Gamma ^{1}\ldots \Gamma ^{m-1} \Gamma ^{m+1} \cdots \Gamma ^{n} \times \Gamma ^{m}= R^{n,m} \Gamma ^{m}. $$

Now, according the norm separating property of Hausdorff matrices (2.2), we have

$$\begin{aligned} \bigl\Vert R^{n,m} \bigr\Vert _{\ell _{p} \to \ell _{p}} =& \bigl\Vert \Gamma ^{1} \bigr\Vert _{\ell _{p} \to \ell _{p}} \cdots \bigl\Vert \Gamma ^{m-1} \bigr\Vert _{\ell _{p} \to \ell _{p}} \bigl\Vert \Gamma ^{m+1} \bigr\Vert _{\ell _{p} \to \ell _{p}} \cdots \bigl\Vert \Gamma ^{n} \bigr\Vert _{ \ell _{p} \to \ell _{p}} \\ =&\frac{\prod_{i=1}^{n} \Vert \Gamma ^{i} \Vert _{\ell _{p} \to \ell _{p}}}{ \Vert \Gamma ^{m} \Vert _{\ell _{p} \to \ell _{p}}} \\ =&\frac{ \Vert C^{n} \Vert _{\ell _{p} \to \ell _{p}}}{ \Vert \Gamma ^{m} \Vert _{\ell _{p} \to \ell _{p}}} \\ =&\frac{(1-1/mp)\Gamma (n+1)\Gamma (1/p^{*})}{\Gamma (n+1/p^{*})}. \end{aligned}$$

\((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

$$\begin{aligned} \bigl\Vert S^{n,m} \bigr\Vert _{\ell _{p} \to \ell _{p}}= \frac{ \Vert C^{n} \Vert _{\ell _{p} \to \ell _{p}}}{ \Vert C^{m} \Vert _{\ell _{p} \to \ell _{p}}}= \frac{\Gamma (n+1)\Gamma (m+1/p^{*})}{\Gamma (m+1)\Gamma (n+1/p^{*})}. \end{aligned}$$

 □

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

$$ d\mu (\theta )=\frac{\Gamma (n+1)}{\Gamma (m+1)\Gamma (n-m)} \theta ^{m}(1- \theta )^{n-m-1}\,d\theta . $$
(3.5)

The matrix \(S^{n,m}=(s^{n,m}_{j,k})\) has the entries

$$\begin{aligned} s^{n,m}_{j,k}= \textstyle\begin{cases} \frac{\binom{m+k }{k}\binom{n-m+j-k-1 }{j-k}}{\binom{n+j }{j}}, & j \geq k\geq 0, \\ 0, & \textrm{otherwise}. \end{cases}\displaystyle \end{aligned}$$

See [1, 2].

We can rewrite the factorization discussed in Theorem 3.1 as

$$\begin{aligned} \bigl\Vert C^{n} x \bigr\Vert _{\ell _{p}} \leq & \bigl\Vert C^{n-1} \bigr\Vert _{\ell _{p} \to \ell _{p}} \bigl\Vert \Gamma ^{n} x \bigr\Vert _{\ell _{p}}, \\ \bigl\Vert C^{n} x \bigr\Vert _{\ell _{p}} \leq & \bigl\Vert \Gamma ^{n} \bigr\Vert _{\ell _{p} \to \ell _{p}} \bigl\Vert C^{n-1} x \bigr\Vert _{\ell _{p}}, \\ \bigl\Vert C^{n} x \bigr\Vert _{\ell _{p}} \leq & \bigl\Vert R^{n,m} \bigr\Vert _{\ell _{p} \to \ell _{p}} \bigl\Vert \Gamma ^{m} x \bigr\Vert _{\ell _{p}}, \\ \bigl\Vert C^{n} x \bigr\Vert _{\ell _{p}} \leq & \bigl\Vert S^{n,m} \bigr\Vert _{\ell _{p} \to \ell _{p}} \bigl\Vert C^{m} x \bigr\Vert _{\ell _{p}}. \end{aligned}$$

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.

  1. (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}$$
  2. (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}$$
  3. (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

$$\begin{aligned} B^{n}\Gamma ^{n}=B^{n-1}. \end{aligned}$$
(3.6)

In fact,

$$\begin{aligned} \bigl(B^{n} \Gamma ^{n} \bigr)_{i,k} =&\sum _{j=k}^{\infty }\binom{n+j }{j} \beta (i+j+1,n+1) \frac{\binom{n+k-1 }{k}}{\binom{n+j }{j}} \\ =&\binom{n+k-1 }{k}\sum_{j=0}^{\infty }\beta (i+j+k+1,n+1) \\ =&\binom{n+k-1 }{k} \int _{0}^{1}\sum_{j=0}^{\infty }z^{j} z^{i+k}(1-z)^{n}\,dz \\ =&\binom{n+k-1 }{k} \int _{0}^{1} z^{i+k}(1-z)^{n-1} \,dz \\ =&\binom{n-1+k }{k}\beta (i+k+1,n)=B^{n-1}_{j,k}. \end{aligned}$$

This establishes (3.6). Now, by commutativity of Hausdorff matrices and by (3.6),

$$ B^{n}C^{n}=B^{n}\Gamma ^{n}\cdots \Gamma ^{1}=B^{n-1}\Gamma ^{n-1} \cdots \Gamma ^{1}. $$

Therefore, by induction,

$$ B^{n}C^{n}=B^{1}\Gamma ^{1}=B^{0}= \mathfrak{H}. $$

 □

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

$$\begin{aligned} \Vert T \Vert _{A(p)\to \ell _{p}}= \Vert U \Vert _{\ell _{p}\to \ell _{p}}. \end{aligned}$$

Proof

Since \(A(p)\) and \(\ell _{p}\) are isomorphic, hence

$$\begin{aligned} \Vert T \Vert _{A(p)\to \ell _{p}} =&\sup_{x\in A(p) } \frac{ \Vert T x \Vert _{\ell _{p}}}{ \Vert x \Vert _{A(p)}} =\sup_{x\in A(p)} \frac{ \Vert UA x \Vert _{\ell _{p}}}{ \Vert A x \Vert _{\ell _{p}}} \\ =&\sup_{y\in \ell _{p}} \frac{ \Vert U y \Vert _{\ell _{p}}}{ \Vert y \Vert _{\ell _{p}}}= \Vert U \Vert _{\ell _{p}\to \ell _{p}}. \end{aligned}$$

 □

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

$$\begin{aligned} \bigl\Vert C^{n} \bigr\Vert _{C^{m}(p)\to \ell _{p}}= \frac{\Gamma (n+1)\Gamma (m+1/p^{*})}{\Gamma (m+1)\Gamma (n+1/p^{*})}. \end{aligned}$$

Also, \(C^{n}: C(p) \to \ell _{p}\) is bounded and

$$\begin{aligned} \bigl\Vert C^{n} \bigr\Vert _{C(p)\to \ell _{p}}= \frac{\Gamma (n+1)\Gamma (1+1/p^{*})}{\Gamma (n+1/p^{*})}. \end{aligned}$$

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

$$\begin{aligned} \bigl\Vert C^{n} \bigr\Vert _{\Gamma ^{m}(p)\to \ell _{p}}= \frac{(1-1/mp)\Gamma (n+1)\Gamma (1/p^{*})}{\Gamma (n+1/p^{*})}. \end{aligned}$$

In particular, \(C^{n}: C(p) \to \ell _{p}\) is bounded and

$$\begin{aligned} \bigl\Vert C^{n} \bigr\Vert _{C(p)\to \ell _{p}}= \frac{\Gamma (n+1)\Gamma (1+1/p^{*})}{\Gamma (n+1/p^{*})}. \end{aligned}$$

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

  1. Bennett, G.: Lower bounds for matrices. Linear Algebra Appl. 82, 81–98 (1986)

    Article  MathSciNet  Google Scholar 

  2. Bennett, G.: Lower bounds for matrices II. Can. J. Math. 44, 54–74 (1992)

    Article  MathSciNet  Google Scholar 

  3. Bennett, G.: Factorizing the Classical Inequalities. Mem. Amer. Math. Soc., vol. 576 (1996)

    MATH  Google Scholar 

  4. Bennett, G.: An inequality for Hausdorff means. Houst. J. Math. 25(4), 709–744 (1999)

    MathSciNet  MATH  Google Scholar 

  5. Hardy, G.H.: An inequality for Hausdorff means. J. Lond. Math. Soc. 18, 46–50 (1943)

    Article  MathSciNet  Google Scholar 

  6. Hardy, G.H.: Divergent Series. Oxford University Press, London (1973)

    MATH  Google Scholar 

  7. İ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)

    Article  MathSciNet  Google Scholar 

  8. Ng, P.-N., Lee, P.-Y.: Cesàro sequence spaces of non-absolute type. Comment. Math. Prace Mat. 20(2), 429–433 (1978)

    MATH  Google Scholar 

  9. Roopaei, H.: Norms of summability and Hausdorff mean matrices on difference sequence spaces. Math. Inequal. Appl. 22(3), 983–987 (2019)

    MathSciNet  MATH  Google Scholar 

  10. Roopaei, H.: Norm of Hilbert operator on sequence spaces. J. Inequal. Appl. 2020, 117 (2020)

    Article  MathSciNet  Google Scholar 

  11. Roopaei, H.: A study on Copson operator and its associated sequence space. J. Inequal. Appl. 2020, 120 (2020)

    Article  MathSciNet  Google Scholar 

  12. Roopaei, H.: Factorization of Cesàro and Hilbert matrices based on generalized Cesàro matrix. Linear Multilinear Algebra 68(1), 193–204 (2020)

    Article  MathSciNet  Google Scholar 

  13. 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

    Article  MathSciNet  MATH  Google Scholar 

  14. 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)

    Article  MathSciNet  Google Scholar 

  15. 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)

    Article  Google Scholar 

  16. Ş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)

    MathSciNet  MATH  Google Scholar 

  17. 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)

    Article  MathSciNet  Google Scholar 

  18. 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)

    Article  Google Scholar 

Download references

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

Authors

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

Correspondence to Hadi Roopaei.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-021-02714-8

MSC

Keywords