Abstract
In this research, we firstly introduce a criterion for factorizing an operator based on the gamma operator, and as a result we present two factorizations for the Cesàro and Hilbert operators. As another point of view, we study some properties of the matrix domain associated with the gamma matrix of order n and compute the duals of this space. Moreover, we compute the norm of well-known operators into, from, and on the gamma sequence space.
Similar content being viewed by others
1 Introduction
By ω we denote the set of all real-valued sequences, and a sequence space is a subspace of ω. The following sets are some examples for the sequence spaces.
In this paper, the supremum is taken over all \(k\in \mathbb{N}_{0}=\{0,1,2,3,\ldots\}\). Also, we use the notion \(\mathbb{N}=\{1,2,3,\ldots\}\).
For two sequence spaces X, Y and an infinite matrix \(A=(a_{j,k})\), we define a matrix transformation from X into Y as \(Ax=((Ax)_{j})= (\sum_{k=0}^{\infty }a_{j,k}x_{k} )\) provided that the series is convergent for each \(j\in \mathbb{N}_{0}\). The class of all infinite matrices from X into Y is denoted by \((X,Y)\).
The matrix domain of an infinite matrix A in a sequence space X is defined as
which is also a sequence space.
In the literature, there are many papers related to new sequence spaces constructed by means of the matrix domain of a special triangle. In order to give full knowledge on the domains of triangular matrices in classical sequence spaces and related topics, the articles [1–11] and the monographs [12] and [13] are recommended.
Let X and Y be subsets of ω. The set \(M(X,Y)=\{a\in \omega :ax\in Y \text{ for all } x\in X\}\) is called the multiplier space of X and Y. In the special cases \(Y=\ell _{1}\), \(Y=cs\), and \(Y=bs\), the multiplier spaces \(X^{\alpha }=M(X,\ell _{1})\), \(X^{\beta }=M(X,cs)\), and \(X^{\gamma }=M(X,bs)\) are called the α-, β-, and γ- \(duals\) of the space X, respectively, that is,
Hausdorff matrices. Consider the Hausdorff matrix \(H^{\mu }=(h_{j,k})_{j,k=0}^{\infty }\), with entries of the form
where μ is a probability measure on \([0,1]\). The Hausdorff matrix contains the famous classes of matrices. For positive integer n, these classes are as follows:
-
The choice \(d\mu (\theta )=n(1-\theta )^{n-1}\,d\theta \) gives the Cesàro matrix of order n,
-
The choice \(d\mu (\theta )=n\theta ^{n-1}\,d\theta \) gives the gamma matrix of order n,
-
The choice \(d\mu (\theta )=\frac{|\log \theta |^{n-1}}{\Gamma ({n})}\,d\theta \) gives the Hölder matrix of order n,
-
The choice \(d\mu (\theta )= \textit{point evaluation at } \theta =n\) gives the Euler matrix of order n.
Hardy’s formula ([14], Theorem 216) states that the Hausdorff matrix is a bounded operator on \(\ell _{p}\) if and only if \(\int _{0}^{1} \theta ^{\frac{-1}{p}}\,d\mu (\theta )<\infty \) and
Cesàro matrix of order n. The measure \(d\mu (\theta )=n(1-\theta )^{n-1}\,d\theta \) gives the Cesàro matrix \(\mathcal{C}^{n} = (c^{n}_{j,k})\) of order n, which is defined by
Hence, according to Hardy’s formula, \(\mathcal{C}^{n}\) has the \(\ell _{p}\)-norm
where \(p^{*}\) is the conjugate of p i.e. \(\frac{1}{p}+\frac{1}{p^{*}}=1\).
Note that \(\mathcal{C}^{0}=\mathcal{I}\), where \(\mathcal{I}\) is the identity matrix, and
is the classical Cesàro matrix which has the \(\ell _{p}\)-norm \(\|\mathcal{C}\|_{\ell _{p}\to \ell _{p}}=\frac{p}{p-1}\).
Gamma matrix of order n. By letting \(d\mu (\theta )=n\theta ^{n-1}\,d\theta \) in the definition of the Hausdorff matrix, the gamma matrix \(\Gamma ^{n}=(\gamma ^{n}_{j,k})\) of order n is given by
which according to relation (1.1) has the \(\ell _{p}\)-norm
While \(\Gamma ^{1}\) is the classical Cesàro matrix \(\mathcal{C}\), other values of n give birth to different matrices. For example,
In this study, we firstly introduce a criterion for factorizing an operator based on the gamma operator. Secondly we investigate the matrix domain of the gamma matrix of order n in the spaces \(\ell _{p}\) (\(1\leq p<\infty \)) and \(\ell _{\infty }\) and compute the duals of the resulting spaces.
We shall deal with the spaces \(\ell _{p}\) of absolutely p-summable real sequences with \(1 < p < \infty \) endowed with the norm
Motivation. Let us recall the definition of Nörlund and weighted mean matrices. Suppose that \(a=(a_{j})_{j=0}^{\infty }\) is a nonnegative sequence with \(a_{0}>0\) and \(A_{j}=a_{0}+a_{1}+\cdots +a_{j}\). The Nörlund and weighted mean matrices \(N_{a}=(a_{j,k})\) and \(M_{a}=(a_{j,k})\) are lower triangular matrices which are defined by
respectively. The sequence \((a_{j})_{j=0}^{\infty }\) is called the “symbol” of Nörlund and weighted mean matrices.
It must be mentioned that the Cesàro and gamma matrices of order n are the Nörlund and weighted mean matrices with symbol \(a^{n}_{j}={\binom{n+j-1}{j}}\). For example, for \(n=1\) and \(n=2\), the sequences \(a^{1}_{j}=1\) and \(a^{2}_{j}=1+j\) are the symbols of the Cesàro and gamma matrices of order 1 (the well-known Cesàro matrix) and the Cesàro and gamma matrices of order 2, with the entries presented in (1.4). As we mentioned in the introduction, both these matrices are also in the classes of Hausdorff matrices with different choosing of their probability measures.
From both aspects of being a Hausdorff operator or a weighted mean matrix, the gamma operator has not been seen as it deserves. Many mathematicians have done and still publish numerous articles about the Cesàro matrix, Cesàro matrix domain, and Cesàro function spaces [15–19], while the importance of the gamma operator or its associated matrix domain has been ignored under the shadow of its rival Cesàro matrix. In this present study, the authors try to reveal some brilliant characteristics of this operator as an independent matrix.
2 Factorization based on gamma operator
In this section, we introduce the necessary and sufficient conditions for factorizing an operator based on the gamma matrix, then as the result we obtain two factorizations for the Cesàro and Hilbert matrices.
Theorem 2.1
Let \(T=(t_{j,k})_{j,k=0}^{\infty }\) be a matrix and \(\Gamma ^{n}=(\gamma ^{n}_{j,k})\) be the gamma matrix of order n. There exists a factor \(\mathcal{S}^{n}=(s^{n}_{j,k})_{j,k=0}^{\infty }\) such that \(T = \mathcal{S}^{n} \Gamma ^{n}\) if and only if
-
(i)
\(\frac{t_{j,k}}{{\binom{n+k-1}{k}}} \rightarrow 0\) as \(k\rightarrow \infty \) \(\forall j \ge 0\),
-
(ii)
\(s^{n}_{j,k}={\binom{n+k}{k}} \lbrace \frac{t_{j,k}}{{\binom{n+k-1}{k}}}- \frac{t_{j,k+1}}{{\binom{n+k}{k+1}}} \rbrace\) ∀j, \(k \ge 0\).
Proof
Let \(j, k \ge 0\). Since \(T = \mathcal{S}^{n}\Gamma ^{n}\), we have that
hence
as \(k\rightarrow \infty \), which gives (i). Also \(\lbrace \frac{t_{j,k}}{{\binom{n+k-1}{k}}}- \frac{t_{j,k+1}}{{\binom{n+k}{k+1}}}\rbrace =s^{n}_{j,k} \frac{1}{{\binom{n+k}{k}}}\), which gives (ii).
Now, let \(j, k \ge 0\), \(N\ge k\). Then we have that
This implies that \(\mathcal{S}^{n}\Gamma ^{n}\) exists and \(T = \mathcal{S}^{n}\Gamma ^{n}\). □
Recall the definition of the Hilbert matrix \(\mathcal{H}=(h_{j,k})=(\frac{1}{j+k+1})\) of nonnegative integers j, k. The Hilbert operator has the matrix representation
which is a bounded operator on \(\ell _{p}\) and \(\|\mathcal{H}\|_{\ell _{p}}=\pi \csc (\pi /p)\), ([20], Theorem 323). Bennett in [21] showed that the Hilbert matrix admits a factorization of the form \(\mathcal{H}=\mathcal{B}\mathcal{C}\), where \(\mathcal{C}\) is the Cesàro matrix and \(\mathcal{B}=(b_{j,k})\) is defined by
The matrix \(\mathcal{B}\) is a bounded operator on \(\ell _{p}\) and \(\|\mathcal{B}\|_{\ell _{p}}=\frac{\pi }{p^{*}}\csc (\pi /p)\).
For obtaining our first result, we need the Hellinger–Toeplitz theorem.
Theorem 2.2
([15], Proposition 7.2)
Suppose that \(1 < p\), \(q < \infty \). A matrix A maps \(\ell _{p}\) into \(\ell _{q}\) if and only if the transposed matrix \(A^{t}\) maps \(\ell _{q^{*}}\) into \(\ell _{p^{*}}\). We then have \(\|A\|_{\ell _{p} \to \ell _{q}}=\|A^{t}\|_{\ell _{q^{*}}\to \ell _{p^{*}}}\).
Corollary 2.3
The Hilbert matrix has a factorization of the form \(\mathcal{H}=\mathcal{S}^{n} \Gamma ^{n}\), where \(\mathcal{S}^{n}=(s^{n}_{j,k})\) with the entries
is a bounded operator on \(\ell _{p}\) and \(\|\mathcal{S}^{n}\|_{\ell _{p} \to \ell _{p}}=\pi (1- \frac{1}{np} ) \csc (\pi /p)\).
In particular, for \(n=1\), \(\mathcal{H}=\mathcal{B}\mathcal{C}\), where \(\mathcal{C}\) is the Cesàro matrix and \(\mathcal{B}\) is the matrix defined by relation (2.1).
Proof
Let \(\mathcal{H}=(h_{j,k})\) be the Hilbert matrix. Since
therefore \(\mathcal{H}\) has a factorization \(\mathcal{H}=\mathcal{S}^{n} \Gamma ^{n}\), where the factor \(\mathcal{S}^{n}=(s^{n}_{j,k})\) in Theorem 2.1 is
Now, our factorization and relation (1.3) result in
For proving the other side of the above inequality, by using the definition of the matrix \(\mathcal{B}\), as in relation (2.1), we can rewrite
Hence, by applying the Hellinger–Toeplitz theorem, we have
which completes the proof. In a special case \(n=1\), \(\mathcal{S}^{1}=\mathcal{B}\), \(\|\mathcal{S}^{1}\|_{\ell _{p} \to \ell _{p}}=\|\mathcal{B}\|_{\ell _{p} \to \ell _{p}}=\frac{\pi }{p^{*}}\csc (\pi /p)\), \(\Gamma ^{1}=\mathcal{C}\) and the Hilbert matrix has the factorization \(\mathcal{H}=\mathcal{B}\mathcal{C}\). □
Corollary 2.4
The Cesàro matrix of order n has a factorization of the form
where \(\mathcal{C}^{n-1}\) is the Cesàro matrix of order \(n-1\).
Proof
In this case, for \(t^{n}_{j,k}= c^{n}_{j,k}= \frac{{\binom{n+j-k-1 }{j-k}}}{{\binom{n+j }{j}}}\), we have
Hence \(\mathcal{C}^{n}\) has the factorization of the form \(\mathcal{C}^{n}=\mathcal{S}^{n} \Gamma ^{n}\). Now, the factor \(\mathcal{S}^{n}=(\mathcal{S}^{n}_{j,k})\) in Theorem 2.1 is
Hence we have proved \(\mathcal{C}^{n}=\mathcal{C}^{n-1}\Gamma ^{n}\). But, since every two Hausdorff matrices commute ([14], Theorem 197), we have the desired result. □
Roopaei in [22, 23] introduced more factorizations for the Hilbert and Cesàro operators based on gamma matrices of order n.
3 Matrix domain of gamma matrix in \(\ell _{p}\)
The sequence space associated with \(\Gamma ^{n}\) is the set \(\lbrace {x=(x_{k})\in \omega : \Gamma ^{n}x\in \ell _{p}\rbrace }\). That is,
which is called the gamma space of order n. In a special case \(n=1\), we show the gamma sequence space \(G^{1}(p)\) by the notation \(\mathrm{ces}(p)\).
Also, we define the following sequence space \(G^{n}(\infty )\):
In the study, by \(y=(y_{j})\), we mean the \(\Gamma ^{n}\)-transform of a sequence \(x=(x_{j})\), that is,
for all \(j\in \mathbb{N}_{0}\).
The gamma matrix of order n, \(\Gamma ^{n}\), is invertible and its inverse \(\Gamma ^{-n}=(\gamma ^{-n}_{j,k})\) is defined by
Theorem 3.1
The spaces \(G^{n}(p)\) and \(G^{n}(\infty )\) are Banach spaces with the norms
and
respectively.
Proof
We omit the proof which is a routine verification. □
Remark 3.2
If \(n=1\), the Cesàro sequence spaces \(\mathrm{ces}(p)\) and \(\mathrm{ces}(\infty )\) defined in [24] are obtained. \(\mathrm{ces}(p)\) and \(\mathrm{ces}(\infty )\) are Banach spaces of nonabsolute type with the norm
and
respectively.
Theorem 3.3
The spaces \(G^{n}(p)\) and \(G^{n}(\infty )\) are linearly isomorphic to \(\ell _{p}\) and \(\ell _{\infty }\), respectively.
Proof
We only prove the first one and the other one can be proved in a similar way. Since \(\Gamma ^{n}\) is invertible, the map \(x \mapsto \Gamma ^{n} x\) defines a bijection between \(G^{n}(p)\) and \(\ell _{p}\). Also, since \(\|x\|_{G^{n}(p)}=\| \Gamma ^{n} x\|_{\ell _{p}}\) holds, the defined map preserves the norm, which completes the proof. □
Remark 3.4
If \(n=1\), the Cesàro sequence spaces \(\mathrm{ces}(p)\) and \(\mathrm{ces}(\infty )\) are linearly isomorphic to \(\ell _{p}\) and \(\ell _{\infty }\).
Remark 3.5
The space \(\Gamma ^{n}_{2}\) is an inner product space with the inner product defined as \(\langle x,\tilde{x}\rangle _{\Gamma ^{n}_{2}}=\langle \Gamma ^{n} x, \Gamma ^{n} \tilde{x}\rangle _{2}\), where \(\langle \cdot,\cdot\rangle _{2}\) is the inner product on \(\ell _{2}\).
Theorem 3.6
The space \(G^{n}(p)\) is not an inner product space for \(p\neq 2\). Then the space \(G^{n}(p)\) is not a Hilbert space for \(p\neq 2\).
Proof
Consider the sequences \(x=(1,1,-\frac{2}{n},0,0,\ldots)\) and \(\tilde{x}=(1,-1-\frac{2}{n},\frac{2}{n},0,0,\ldots)\). We observe that \(\Gamma ^{n} x=(1,1,0,\ldots,0,\ldots)\in \ell _{p}\) and \(\Gamma ^{n} \tilde{x}=(1,-1,0,\ldots,0,\ldots)\in \ell _{p}\). Hence, we obtain that
for \(p\neq 2\). We conclude that the space \(G^{n}(p)\) is not an inner product space except for \(p=2\), and so it is not a Hilbert space since the norm does not satisfy the parallelogram equality. □
Remark 3.7
If \(n=1\), the Cesàro sequence space \(\mathrm{ces}(p)\) is not a Hilbert space for \(p\neq 2\).
Theorem 3.8
The inclusion \(G^{n}(p) \subset G^{n}(q)\) strictly holds, where \(1\leq p< q<\infty \).
Proof
Given any \(x\in G^{n}(p)\), we have \(\Gamma ^{n} x\in \ell _{p}\). Since the inclusion \(\ell _{p}\subset \ell _{q}\) holds for \(1\leq p< q<\infty \), we have \(\Gamma ^{n} x\in \ell _{q}\). This implies that \(x\in G^{n}(q)\). Hence, we conclude that the inclusion \(G^{n}(p) \subset G^{n}(q)\) holds.
Also, since the inclusion \(\ell _{p}\subset \ell _{q}\) is strict, we can choose \(y=(y_{j})\in \ell _{q}\backslash \ell _{p}\). If we define a sequence \(x=(x_{j})\) as
then we have
for every \(j\in \mathbb{N}_{0}\). This means \(\Gamma ^{n} x=y\), and so \(\Gamma ^{n} x\in \ell _{q}\backslash \ell _{p}\). Since we have \(x\in G^{n}(q) \backslash G^{n}(p)\), we conclude that the inclusion \(G^{n}(p) \subset G^{n}(q)\) strictly holds. □
Remark 3.9
If \(n=1\), then the inclusion \(\mathrm{ces}(p) \subset \mathrm{ces}(q)\) is strict, where \(1\leq p< q<\infty \).
Theorem 3.10
The inclusion \(G^{n}(p) \subset G^{n}(\infty )\) strictly holds, where \(1\leq p<\infty \).
Proof
Choose any \(x\in G^{n}(p)\). Then we have \(\Gamma ^{n} x\in \ell _{p}\). Since the inclusion \(\ell _{p}\subset \ell _{\infty }\) holds for \(1\leq p<\infty \), we have \(\Gamma ^{n} x\in \ell _{\infty }\). This implies that \(x\in G^{n}(\infty )\). Hence, we conclude that the inclusion \(G^{n}(p) \subset G^{n}(\infty )\) holds. Consider the sequence \(x=(x_{j})\) with
It follows that
Since \(\Gamma ^{n} x=((-1)^{j})\in \ell _{\infty }\backslash \ell _{p}\) holds, we have \(x\in G^{n}(\infty ) \backslash G^{n}(p)\). This means that the inclusion \(G^{n}(p) \subset G^{n}(\infty )\) is strict. □
Remark 3.11
If \(n=1\), then we obtain that the inclusion \(\mathrm{ces}(p) \subset \mathrm{ces}(\infty )\) is strict, where \(1\leq p<\infty \).
Theorem 3.12
The space \(G^{n}(p)\) (\(1\leq p<\infty \)) has a basis \((c^{k})\) defined as
Further, every \(x\in G^{n}(p)\) is written in the form
uniquely.
Proof
From (3.2), we have that \(\Gamma ^{n}(c^{k})=e^{k}\in \ell _{p}\), and so \(c^{k}\in G^{n}(p)\) for each \(k\in \mathbb{N}\). Now, let \(x\in G^{n}(p)\). For every \(m\in \mathbb{N}_{0}\), write
Then we have that
and it follows that
Given any \(\varepsilon >0\), there exists \(M\in \mathbb{N}_{0}\) such that
We have that
for every \(m\geq M\), which implies that \(\lim_{m\rightarrow \infty }\| x-x^{m}\|_{G^{n}(p)}=0\). This implies that \(x=\sum_{k}(\Gamma ^{n} x)_{k}c^{k}\).
Finally, we show that the representation (3.3) of \(x\in G^{n}(p)\) is unique. On the contrary, we suppose that \(x=\sum_{k}(\Lambda x)_{k}c^{k}\). By using the continuity of the mapping \(L:G^{n}(p)\rightarrow \ell _{p}\) defined in the proof of Theorem 3.3, we have
where
Hence, the representation (3.3) of \(x\in G^{n}(p)\) is unique, which completes the proof. □
The following lemma is essential to determine the dual spaces. Throughout the paper, \(\mathcal{N}\) is the collection of all finite subsets of \(\mathbb{N}\). Firstly, we list some conditions:
Lemma 3.13
([25])
The necessary and sufficient conditions for \(A=(a_{j,k})\in (X,Y)\) with \(X\in \{\ell _{1},\ell _{p},\ell _{\infty }\}\) \((1< p<\infty )\) and \(Y\in \{\ell _{1},c,\ell _{\infty }\}\) are given in Table 1.
- 1.:
-
(3.4) holds.
- 2.:
-
(3.5) holds.
- 3.:
-
(3.6) holds.
- 4.:
- 5.:
- 6.:
- 7.:
-
(3.8) holds.
- 8.:
-
(3.9) holds.
- 9.:
-
(3.11) holds.
Theorem 3.14
The α-dual, β-dual, and γ-dual of the space \(G^{n}(1)\) are as follows:
Proof
Firstly, we compute the α-dual. Given any \(a=(a_{k})\in \omega \), we define a matrix \(B=(b_{j,k})\) as
If we choose any \(x=(x_{j})\in G^{n}(1)\), we obtain that
for all \(j\in \mathbb{N}\). Hence, it follows that \(ax\in \ell _{1}\) for \(x\in G^{n}(1)\) if and only if \(By\in \ell _{1}\) for \(y\in \ell _{1}\). Thus, we have \(a\in (G^{n}(1))^{\alpha }\) if and only if \(B\in (\ell _{1},\ell _{1})\). By using Lemma 3.13, we conclude that
holds.
Now, we compute the β-dual. \(a=(a_{k})\in (G^{n}(1))^{\beta }\) if and only if the series \(\sum_{k=0}^{\infty }a_{k}x_{k}\) is convergent for all \(x=(x_{k})\in G^{n}(1)\). Then, from the equality
we have \(a=(a_{k})\in (G^{n}(1))^{\beta }\) if and only if the matrix \(C=(c_{j,k})\) is in the class \((\ell _{1},c)\), where
Hence, we conclude from Lemma 3.13 that
exists and
holds.
Finally, the γ-dual can be computed by utilizing the same technique with the β-dual. From equality (3.12), we deduce that \(a=(a_{k})\in (G^{n}(1))^{\gamma }\) if and only if the matrix \(C=(c_{j,k})\) is in the class \((\ell _{1},\ell _{\infty })\). Hence, the proof follows from Lemma 3.13. □
Theorem 3.15
The α-dual, β-dual, and γ-dual of the space \(G^{n}(p)\) for \(1< p<\infty \) are as follows:
Proof
Consider the matrices \(B=(b_{j,k})\) and \(C=(c_{j,k})\) defined in the proof of Theorem 3.14. Let \(1< p<\infty \). The α-, β-, and γ-dual of the space \(G^{n}(p)\) can be computed from the facts that \(B\in (\ell _{p},\ell _{1})\), \(C\in (\ell _{p},c)\), and \(C\in (\ell _{p},\ell _{\infty })\), respectively. □
Theorem 3.16
The α-dual, β-dual, and γ-dual of the space \(G^{n}(\infty )\) are as follows:
Proof
Consider the matrices \(B=(b_{j,k})\) and \(C=(c_{j,k})\) defined in the proof of Theorem 3.14. The α-, β-, and γ-dual of the space \(G^{n}(\infty )\) can be computed from the facts that \(B\in (\ell _{\infty },\ell _{1})\), \(C\in (\ell _{\infty },c)\), and \(C\in (\ell _{\infty },\ell _{\infty })\), respectively. □
4 Norm of operators on a gamma sequence space
In this section, we investigate the norm of well-known operators from/into the gamma matrix domain, and we firstly start with the Hausdorff operators. For computing the norm of these operators on the gamma sequence space, we use the commutativity and the norm separating property of the Hausdorff matrices, which states the following.
Theorem 4.1
([26], Theorem 9)
Let \(p\ge 1\) and \(H^{\mu }\), \(H^{\omega }\), and \(H^{\nu }\) be Hausdorff matrices such that \(H^{\mu }=H^{\omega }H^{\nu }\). Then \(H^{\mu }\) is bounded on \(\ell _{p}\) if and only if both \(H^{\omega }\) and \(H^{\nu }\) are bounded on \(\ell _{p}\). Moreover, we have
The problem of finding the norm of operators on sequence spaces has been studied before in some articles [27–31].
Theorem 4.2
Suppose that the Hausdorff matrix \(H^{\mu }\) has a factorization of the form \(H^{\mu }=H^{\omega }\Gamma ^{n}\), then
-
(a)
\(H^{\mu }\) is a bounded operator from \(\ell _{p}\) into \(G^{n}(p)\) and
$$ \bigl\Vert H^{\mu } \bigr\Vert _{\ell _{p} \to G^{n}(p)}= \frac{np}{np-1} \bigl\Vert H^{\mu } \bigr\Vert _{\ell _{p} \to \ell _{p}}. $$ -
(b)
\(H^{\mu }\) is a bounded operator from \(G^{n}(p)\) into \(\ell _{p}\) and
$$ \bigl\Vert H^{\mu } \bigr\Vert _{G^{n}(p) \to \ell _{p}}= \biggl(1- \frac{1}{np} \biggr) \int _{0}^{1} \theta ^{\frac{-1}{p}}\,d\mu ( \theta ). $$ -
(c)
\(H^{\mu }\) is a bounded operator on \(G^{n}(p)\) and
$$ \bigl\Vert H^{\mu } \bigr\Vert _{G^{n}(p) \to G^{n}(p)}= \bigl\Vert H^{\mu } \bigr\Vert _{\ell _{p} \to \ell _{p}}= \int _{0}^{1} \theta ^{\frac{-1}{p}}\,d\mu ( \theta ). $$
Proof
(a) Applying Theorem 4.1 and relation (1.1) results in
which provides the proof.
(b) Let \(H^{\mu }\) have a factorization of the form \(H^{\mu }=H^{\omega }\Gamma ^{n}\). Since \(G^{n}(p)\) and \(\ell _{p}\) are isomorphic spaces, applying Theorem 4.1 and relations (1.1) and (1.3) results in
which provides the proof.
(c) Regarding the commutative property of Hausdorff matrices, the proof is similar. □
Theorem 4.3
For the well-known Hilbert and Cesàro operators we have:
-
(a)
The Hilbert operator \(\mathcal{H}\) is a bounded operator from \(G^{n}(p)\) into \(\ell _{p}\) and
$$ \Vert \mathcal{H} \Vert _{G^{n}(p) \to \ell _{p}}= \pi \biggl(1- \frac{1}{np} \biggr) \csc (\pi /p). $$In particular, the Hilbert operator \(\mathcal{H}\) is a bounded operator from \(\mathrm{ces}(p)\) into \(\ell _{p}\) and \(\|\mathcal{H}\|_{\mathrm{ces}(p) \to \ell _{p}}=\frac{\pi }{p^{*}}\csc (\pi /p)\).
-
(b)
The Cesàro operator of order n, \(\mathcal{C}^{n}\), is a bounded operator from \(G^{n}(p)\) into \(\ell _{p}\) and
$$ \bigl\Vert \mathcal{C}^{n} \bigr\Vert _{G^{n}(p) \to \ell _{p}}= \frac{\Gamma (n)\Gamma (1/p^{*})}{\Gamma (n-1/p)}. $$In particular, the Cesàro operator is a bounded operator from \(\mathrm{ces}(p)\) into \(\ell _{p}\) and \(\|\mathcal{C}\|_{\mathrm{ces}(p) \to \ell _{p}}=1\).
Proof
(a) The Hilbert operator has a factorization of the from \(\mathcal{H}=\mathcal{S}^{n} \Gamma ^{n}\), which was introduced in Corollary 2.3. Now,
which provides the proof.
(b) Applying Corollary 2.4, the proof is similar to the previous part. □
Availability of data and materials
No data have been used in this study.
References
Başar, F., Kirişçi, M.: Almost convergence and generalized difference matrix. Comput. Math. Appl. 61(3), 602–611 (2011)
Kirişçi, M., Başar, F.: Some new sequence spaces derived by the domain of generalized difference matrix. Comput. Math. Appl. 60(5), 1299–1309 (2010)
Altay, B., Başar, F., Malkowsky, E.: Matrix transformations on some sequence spaces related to strong Cesàro summability and boundedness. Appl. Math. Comput. 211, 255–264 (2009)
Başar, F., Malkowsky, E., Altay, B.: Matrix transformations on the matrix domains of triangles in the spaces of strongly C1-summable and bounded sequences. Publ. Math. (Debr.) 73(1–2), 193–213 (2008)
Polat, H., Başar, F.: Some Euler spaces of difference sequences of order m. Acta Math. Sci. Ser. B Engl. Ed. 27B(2), 254–266 (2007)
Altay, B., Başar, F., Mursaleen, M.: On the Euler sequence spaces which include the spaces \(\ell ^{p}\) and \(\ell ^{\infty }\) I. Inf. Sci. 176(10), 1450–1462 (2006)
Mursaleen, M., Başar, F., Altay, B.: On the Euler sequence spaces which include the spaces \(\ell _{p}\) and \(\ell _{\infty }\) II. Nonlinear Anal. 65(3), 707–717 (2006)
Altay, B., Başar, F.: On some Euler sequence spaces of non-absolute type. Ukr. Math. J. 57(1), 1–17 (2005)
Aydın, C., Başar, F.: On the new sequence spaces which include the spaces \(c_{0}\) and c. Hokkaido Math. J. 33(2), 383–398 (2004)
Aydın, C., Başar, F.: Some new difference sequence spaces. Appl. Math. Comput. 157(3), 677–693 (2004)
Başar, F., Altay, B.: On the space of sequences of p-bounded variation and related matrix mappings. Ukr. Mat. Zh. 55(1), 108–118 (2003) (English, Ukrainian summary); reprinted in Ukr. Math. J. 55(1), 136–147 (2003)
Başar, F.: Summability Theory and Its Applications. Bentham Science Publishers, Istanbul (2012)
Mursaleen, M., Başar, F.: Sequence Spaces: Topics in Modern Summability Theory. Mathematics and Its Applications. CRC Press, Boca Raton (2020)
Hardy, G.H.: Divergent Series. Oxford University Press, London (1973)
Bennett, G.: Factorizing the classical inequalities. Mem. Am. Math. Soc. 120, 576 (1996)
Jagers, A.A.: A note on Cesàro sequence spaces. Nieuw Arch. Wiskd. 22, 113–124 (1974)
Luxemburg, W.A.J., Zaanen, A.C.: Some examples of normed Köthe spaces. Math. Ann. 162, 337–350 (1966)
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)
Roopaei, H., Başar, F.: On the spaces of Cesàro absolutely p-summable, null and convergent sequences. Math. Methods Appl. Sci. 44(5), 3670–3685 (2021)
Hardy, G.H., Littlewood, J.E., Polya, G.: Inequalities, 2nd edn. Cambridge University press, Cambridge (2001)
Bennett, G.: Lower bounds for matrices. Linear Algebra Appl. 82, 81–98 (1986)
Roopaei, H.: Factorization of the Hilbert matrix based on Cesàro and gamma matrices. Results Math. 75(1), 3 (2020)
Roopaei, H.: Factorization of Cesàro operator and related inequalities. J. Inequal. Appl. 2021, 177 (2021)
Ng, P.N., Lee, P.Y.: Cesàro sequence spaces of non-absolute type. Comment. Math. Prace Mat. 20(2), 429–433 (1978)
Stieglitz, M., Tietz, H.: Matrix transformationen von folgenraumen eineergebnisübersicht. Math. Z. 154, 1–16 (1977)
Bennett, G.: Lower bounds for matrices II. Can. J. Math. 44, 54–74 (1992)
İlkhan, M.: Norms and lower bounds of some matrix operators on Fibonacci weighted difference sequence space. Math. Methods Appl. Sci. 42, 5143–5153 (2019)
Roopaei, H., Foroutannia, D.: The norm of matrix operators on Cesàro weighted sequence space. Linear Multilinear Algebra 67(1), 175–185 (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.: Norms of summability and Hausdorff mean matrices on difference sequence spaces. Math. Inequal. Appl. 22(3), 983–987 (2019)
Acknowledgements
There are no competing interests, the same contribution and no fund for this manuscript.
Funding
There is no fund for this research.
Ethics declarations
Competing interests
The authors declare that they have 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
Kara, M.İ., Roopaei, H. A weighted mean Hausdorff type operator and its summability matrix domain. J Inequal Appl 2022, 27 (2022). https://doi.org/10.1186/s13660-022-02760-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02760-w