Abstract
In this research, we investigate two types of Copson matrices, the generalized Copson matrix and the Copson matrix of order n, and their associated sequence spaces generated by these matrices. We also investigate the topological properties, inclusions, and dual spaces of these new Banach spaces as well as compute the norm of Copson operators on the well-known matrix domains such as Hilbert and difference sequence spaces. Moreover, in a reverse manner, we investigate the norm of well-known operators on the Copson matrix domains generated with Copson matrices. Through this study we introduce several new inequalities, inclusions, and factorizations for well-known operators.
Similar content being viewed by others
1 Introduction
Let \(p\ge1\) and ω denote the set of all real-valued sequences. The space \(\ell_{p}\) is the set of all real sequences \(x=(x_{k})\in\omega\) such that
There are two different types of Copson matrices, the generalized Copson matrix and the Copson matrix of order n, we indicate them by the notations \(C^{N}\) and \(C^{n}\), respectively. In the sequel, we introduce these matrices and their differences as well as their associated matrix domains.
We say that \(A= (a_{n,k})\) is a quasi-summability matrix if it is an upper-triangular matrix, i.e., \(a_{n,k}= 0 \) for \(n < k\) and \(\sum_{n=0}^{k} a_{n,k}= 1\) for all k.
Copson matrix. The Copson matrix is a quasi-summability matrix which is defined by
for all \(j,k \in\mathbb{N}_{0}\), that is,
and has the \(\ell_{p}\)-norm \(\|C\|_{\ell_{p}}=p\). This matrix is the transpose of the well-known Cesàro matrix.
Generalized Copson matrix. Suppose that \(N\ge1\) is a real number. The generalized Copson matrix \(C^{N}=(c^{N}_{j,k})\) is defined by
for all \(j,k \in\mathbb{N}_{0}\), has the \(\ell_{p}\)-norm \(\|C^{N}\|_{\ell _{p}}=p\) ([8], Lemma 2.3), and the matrix representation
Note that \(C^{1}\) is the Copson matrix C. For more examples,
Also note that, for \(N>1\), the generalized Copson matrix is not a quasi-summability matrix.
The matrix domain of an infinite matrix T in a sequence space X is defined as
which is also a sequence space. The matrix domain associated with this matrix is the set \(\{ x = ( x_{k} )\in\omega: C^{N}x\in\ell_{p} \}\), or
which has the following norm:
By using matrix domains of special triangle matrices in classical spaces, many authors have introduced and studied new Banach spaces. For the relevant literature, we refer to the papers [2–5, 7, 9, 10, 12, 13, 16, 17, 21, 23–25] and textbooks [2] and [20].
Copson matrix of ordern. 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]\).
Hardy’s formula ([11], 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
In order to define and know the Copson matrix details, we need the following theorem also known as Hellinger–Toeplitz theorem.
Theorem 1.1
([6], 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},\ell_{q}}=\|A^{t}\|_{\ell _{q^{*}}, \ell_{p^{*}}}\), where\(p^{*}\)is the conjugate ofp, i.e., \(\frac{1}{p}+\frac{1}{p^{*}}=1\).
For nonnegative real number n, and by choosing \(d\mu(\theta )=n(1-\theta)^{n-1}\,d\theta\) in the definition of Hausdorff matrix, we gain the Cesàro matrix of order n, which, according to Hardy’s formula, has the \(\ell_{p}\)-norm
Now, the Copson matrix of order n, \(C^{n}=(c^{n}_{j,k})\), which is defined as the transpose of Cesàro matrix of order n, has the entries
and, according to Hellinger–Toeplitz theorem, the \(\ell_{p}\)-norm
Note that \(C^{0}=I\), where I is the identity matrix and \(C^{1}=C\) is the well-known Copson matrix. For more examples,
We emphasize that the Copson matrix of order n is a quasi-summability matrix, while the generalized Copson matrix is not.
The Copson matrix domain \(C^{n}_{p}\) is the set of all sequences whose \(C^{n}\)-transforms are in the space \(\ell_{p}\); that is,
which is a Banach space with the norm
Throughout this research, we use the notations \(\|\cdot\|_{A_{p},\ell_{p}}\), \(\|\cdot\|_{\ell_{p},A_{p}}\) and \(\|\cdot\|_{A_{p},B_{p}}\) for the norm of operators from the matrix domain \(A_{p}\) into sequence space \(\ell_{p}\), from \(\ell_{p}\) into the matrix domain \(A_{p}\), and from the matrix domain \(A_{p}\) into the matrix domain \(B_{p}\), respectively.
Motivation. Although a lot of papers have been published on Cesàro matrix, Cesàro sequence spaces, and Cesàro function spaces and many mathematicians, like the pioneers Jagers, Bennett, Luxemburg, and Zaanen [1, 6, 14, 19], worked on that and later the work was continued by several mathematicians, there exist limited studies on the transpose of this matrix. Also, while we can extract many results of Copson matrix just by transposing the Cesàro matrix and applying some theorems like Hellinger–Toeplitz theorem, there are some special areas that work only for Copson matrices. We state one of these differences in this paper by computing the norm of Copson operators between difference sequence spaces, while we cannot do it for the Cesàro operator. Other examples introduce some topological properties, inequalities, and inclusions which are only applicable on Copson matrices.
2 The Copson Banach spaces \(C^{n}_{p}\) and \(C^{n}_{\infty}\)
In this section, the sequence spaces \(C^{n}_{p}\) (\(1\leq p<\infty\)) and \(C^{n}_{\infty}\) are introduced by using the Copson matrix of order n, and the inclusions, basis, and duals of this matrix domain will investigated.
Lemma 2.1
The Copson matrix of ordern, \(C^{n}\), is invertible and its inverse\(C^{-n}=(c^{-n}_{j,k})\)is defined by
Proof
Let us recall the forward difference matrix of order n, \(\Delta ^{n}=(\delta^{n}_{j,k})\), which is a lower triangle matrix with entries
This matrix has the inverse \(\Delta^{-n}=(\delta^{-n}_{j,k})\) with the following entries:
From relation (1.3), one can see that the Copson matrix of order n and its inverse can be rewritten based on the forward difference operator and its inverse. For \(j\le k\), we have
Now, by a simple calculation, we deduce that
which completes the proof. □
Now, we introduce the sequence spaces \(C^{n}_{p}\) and \(C^{n}_{\infty}\) as the set of all sequences whose \(C^{n}\)-transforms are in the spaces \(\ell_{p}\) and \(\ell_{\infty}\), respectively; that is,
and
Theorem 2.2
The spaces\(C^{n}_{p}\)and\(C^{n}_{\infty}\)are Banach spaces with the norms
and
respectively.
Proof
We omit the proof which is a routine verification. □
Theorem 2.3
The spaces\(C^{n}_{p}\)and\(C^{n}_{\infty}\)are linearly isomorphic to\(\ell _{p}\)and\(\ell_{\infty}\), respectively.
Proof
We only prove that \(C^{n}_{p}\) is linearly isomorphic to \(\ell_{p}\). Since \(C^{n}\) is invertible, hence the map \(T:C^{n}_{p}\rightarrow\ell_{p}\) as \(Tx=C^{n} x\) for any \(x\in C^{n}_{p}\) is bijective, which proves the isomorphism. □
Theorem 2.4
The inclusion\(C^{n}_{p} \subset C^{n}_{q}\)is strict, where\(1\leq p< q<\infty\).
Proof
Let \(x\in C^{n}_{p}\). Then we have \(C^{n} x\in\ell_{p}\). Since the inclusion \(\ell_{p}\subset\ell_{q}\) holds for \(1\leq p< q<\infty\), we have \(C^{n} x\in\ell_{q}\), which implies that \(x\in C^{n}_{q}\). Hence, we conclude that the inclusion \(C^{n}_{p} \subset C^{n}_{q}\) holds. Now, since the inclusion \(\ell_{p}\subset\ell_{q}\) is strict, we can choose \(y=(y_{j})\in\ell _{q}\setminus\ell_{p}\). By defining \(x=C^{-n}y\), we have \(C^{n} x=y\), which results in \(C^{n} x\in\ell_{q}\setminus\ell_{p}\). Hence, we conclude that \(x\in C^{n}_{q} \setminus C^{n}_{p}\), and so the inclusion \(C^{n}_{p} \subset C^{n}_{q}\) is strict. □
Theorem 2.5
The inclusion\(C^{n}_{p} \subset C^{n}_{\infty}\)is strict, where\(1\leq p<\infty\).
Proof
Choose any \(x\in C^{n}_{p}\). Then we have \(C^{n} x\in\ell_{p}\). Since the inclusion \(\ell_{p}\subset\ell_{\infty}\) holds for \(1\leq p<\infty\), we have \(C^{n} x\in\ell_{\infty}\). This implies that \(x\in C^{n}_{\infty}\). Hence, we conclude that the inclusion \(C^{n}_{p} \subset C^{n}_{\infty}\) holds. Similar to the proof of the previous theorem, we can choose x such that \(C^{n} x=((-1)^{j})\in\ell_{\infty}\setminus\ell_{p}\), and consequently it results in \(x\in C^{n}_{\infty}\setminus C^{n}_{p}\). Therefore, the inclusion \(C^{n}_{p} \subset C^{n}_{\infty}\) is strict. □
It is known from Theorem 2.3 of Jarrah and Malkowsky [15] that if T is a triangle then the domain \(\lambda_{T}\) of T in a normed sequence space λ has a basis if and only if λ has a basis. As a direct consequence of this fact, we have the following.
Corollary 2.6
Define the sequence\((h^{(k)})=(h^{(k)}_{j})\)for each\(k\in\mathbb{N}\)by
Then the sequence\((h^{(k)})\)is a basis for the space\(C^{n}_{p}\)and every sequence\(x \in C^{n}_{p}\)has a unique representation of the form\(x=\sum_{k}(C^{n} x)_{k}h^{(k)}\).
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}\).
Lemma 2.7
([26])
The following statements hold:
- (i)
\(T=(t_{j,k})\in(\ell_{1},\ell_{1})\)if and only if
$$ \sup_{k}\sum_{j=0}^{\infty} \vert t_{j,k} \vert < \infty. $$ - (ii)
\(T=(t_{j,k})\in(\ell_{p},\ell_{1})\)if and only if
$$ \sum_{k=0}^{\infty}\Biggl(\sum _{j=0}^{\infty} \vert t_{j,k} \vert \Biggr)^{p*}< \infty, $$where\(1< p<\infty\).
- (iii)
\(T=(t_{j,k})\in(\ell_{\infty},\ell_{1})\)if and only if
$$ \sup_{K\in\mathcal{N}}\sum_{j=0}^{\infty}\biggl\vert \sum_{k\in K}t_{j,k} \biggr\vert < \infty. $$ - (iv)
\(T=(t_{j,k})\in(\ell_{1},c)\)if and only if
$$ \lim_{j\rightarrow\infty}t_{j,k} \quad\textit{exists for each } k\in \mathbb{N} $$(2.2)and
$$ \sup_{j,k} \vert t_{j,k} \vert < \infty. $$(2.3) - (v)
\(T=(t_{j,k})\in(\ell_{p},c)\)if and only if (2.2) holds and
$$ \sup_{j}\sum _{k=0}^{\infty} \vert t_{j,k} \vert ^{p*}< \infty, $$(2.4)where\(1< p<\infty\).
- (vi)
\(T=(t_{j,k})\in(\ell_{\infty},c)\)if and only if (2.2) holds and
$$ \lim_{j\rightarrow\infty}\sum _{k=0}^{\infty} \vert t_{j,k} \vert = \sum_{k=0}^{\infty}\Bigl\vert \lim _{j\rightarrow\infty}t_{j,k} \Bigr\vert . $$ - (vii)
\(T=(t_{j,k})\in(\ell_{1},\ell_{\infty})\)if and only if (2.3) holds.
- (viii)
\(T=(t_{j,k})\in(\ell_{p},\ell_{\infty})\)if and only if (2.4) holds, where\(1< p<\infty\).
- (ix)
\(T=(t_{j,k})\in(\ell_{\infty},\ell_{\infty})\)if and only if
$$ \sup_{j}\sum_{k=0}^{\infty} \vert t_{j,k} \vert < \infty. $$
Definition
The α-, β-, and γ-duals of a sequence space X are defined by
respectively. In the following, we find the Köthe dual of the Copson sequence space.
Theorem 2.8
Theα-duals of the spaces\(C^{n}_{1}\), \(C^{n}_{p}\) (\(1< p<\infty\)), and\(C^{n}_{\infty}\)are as follows:
and
Proof
Let \(b=(b_{j})\in\omega\). Consider the matrix \(A=(a_{j,k})\) defined by
Given any \(x=(x_{j})\in C^{n}_{p}\) (\(1\leq p\leq\infty\)), we have \(b_{j}x_{j}=(Ay)_{j}\) for all \(j\in\mathbb{N}\). This implies that \(bx\in \ell_{1}\) with \(x\in C^{n}_{p}\) if and only if \(Ay\in\ell_{1}\) with \(y\in \ell_{p}\). Hence, we conclude that \(b\in(C^{n}_{p})^{\alpha}\) if and only if \(A\in(\ell_{p},\ell_{1})\). This completes the proof by Lemma 2.7. □
Theorem 2.9
Let us define the following sets:
and
Then we have\((C^{n}_{1})^{\beta}=B_{1}\cap B_{2}\), \((C^{n}_{p})^{\beta}=B_{1}\cap B_{3}\) (\(1< p<\infty\)), and\((C^{n}_{\infty})^{\beta}=B_{1}\cap B_{4}\).
Proof
\(b=(b_{k})\in(C^{n}_{1})^{\beta}\) if and only if the series \(\sum_{k=0}^{\infty}b_{k}x_{k}\) is convergent for all \(x=(x_{k})\in C^{n}_{1}\). The equality
implies that \(b=(b_{k})\in(C^{n}_{1})^{\beta}\) if and only if the matrix \(B=(b_{j,k})\) is in the class \((\ell_{1},c)\), where
Hence, we deduce from Lemma 2.7 that
and
which means \(b=(b_{k})\in B_{1}\cap B_{2}\), and so we have \((C^{n}_{1})^{\beta}=B_{1}\cap B_{2}\). The other results can be proved similarly. □
Theorem 2.10
Theγ-duals of the spaces\(C^{n}_{1}\), \(C^{n}_{p}\) (\(1< p<\infty\)), and\(C^{n}_{\infty}\)are as follows:
and
Proof
It follows with the same technique as that in the proof of Theorem 2.9. □
3 Norm of operators on Copson matrix domain
In this section we intend to compute the norm of well-known operators, such as Hilbert, Hausdorff, and Copson operators, on the Copson matrix domain. In so doing, we need the following lemma.
Lemma 3.1
LetUbe a bounded operator on\(\ell_{p}\)and\(A_{p}\)and\(B_{p}\)be two matrix domains such that\(A_{p}\simeq\ell_{p}\).
- (i)
IfBTis a bounded operator on\(\ell_{p}\), thenTis a bounded operator from\(\ell_{p}\)into\(B_{p}\)and
$$\begin{aligned} \Vert T \Vert _{\ell_{p}, B_{p}}= \Vert BT \Vert _{\ell_{p}}. \end{aligned}$$ - (ii)
IfThas a factorization of the form\(T=UA\), thenTis a bounded operator from the matrix domain\(A_{p}\)into\(\ell_{p}\)and
$$\begin{aligned} \Vert T \Vert _{A_{p}, \ell_{p}}= \Vert U \Vert _{\ell_{p}}. \end{aligned}$$ - (iii)
If\(BT=UA\), thenTis a bounded operator from the matrix domain\(A_{p}\)into\(B_{p}\)and
$$\begin{aligned} \Vert T \Vert _{A_{p}, B_{p}}= \Vert U \Vert _{\ell_{p}}. \end{aligned}$$In particular, if\(AT=UA\), thenTis a bounded operator from the matrix domain\(A_{p}\)into\(A_{p}\)and
$$\begin{aligned} \Vert T \Vert _{A_{p}}= \Vert U \Vert _{\ell_{p}}. \end{aligned}$$Also, ifTandAcommute, then\(\|T\|_{A_{p}}=\|T\|_{\ell_{p}}\).
Proof
(i) For every \(x\in\ell_{p}\),
(ii) Since \(A_{p}\) and \(\ell_{p}\) are isomorphic, hence
which gives the desired result. Part (iii) has a similar proof. □
3.1 Norm of Hilbert operator on Copson matrix domain
Recall the definition of the well-known Hilbert matrix \(H=(h_{j,k})\), which was introduced (1894) by David Hilbert to study a question in approximation theory. For \(j,k=0,1,\dots\), the Hilbert matrix is defined by
which is a bounded operator on \(\ell_{p}\) with \(\ell_{p}\)-norm \(\|H\|_{\ell_{p}}=\varGamma(1/p)\varGamma(1/p^{*})=\pi\csc(\pi/p)\).
For a nonnegative integer n, we define the Hilbert matrix of order n, \(H^{n}=(h^{n}_{j,k})\), by
Note that for \(n=0\), \(H^{0}=H\) is the Hilbert matrix. For more examples:
For nonnegative integers n, j, and k, let us define the matrix \(B^{n}=(b^{n}_{j,k})\) by
Consider that, for \(n=0\), \(B^{0}=H\), where H is the Hilbert matrix.
Note that the matrix \(B^{n}\) has also the representation
where the β function is
For computing the norm of Hilbert operator on the domain of Copson matrix, we need the following lemmas.
Lemma 3.2
For\(|z|<1\), we have
Proof
By differentiating \(n-1\) times the identity \((1-z)^{-1}= \sum_{j=0}^{\infty}z^{j}\), we obtain the result. □
Lemma 3.3
([22], Lemma 2.3)
The Hilbert matrixHand the Hilbert matrix of ordern, \(H^{n}\), have the following factorizations:
- (i)
\(H= C^{n}B^{n}\),
- (ii)
\(H^{n}= B^{n}C^{n}\),
- (iii)
\(HC^{n}= C^{n} H^{n}\),
- (iv)
\(B^{n}\)is a bounded operator on\(\ell_{p}\)and
$$\begin{aligned} \bigl\Vert B^{n} \bigr\Vert _{\ell_{p}}= \frac{\varGamma(n+1/p)\varGamma(1/p^{*})}{\varGamma(n+1)}. \end{aligned}$$
Corollary 3.4
Let\(H^{n}\)be the Hilbert operator of ordern. Then
- (i)
\(H^{n}\)is a bounded operator from\(C^{n}_{p}\)into\(\ell_{p}\)and
$$\begin{aligned} \bigl\Vert H^{n} \bigr\Vert _{C^{n}_{p}, \ell_{p}}= \frac{\varGamma(n+1/p)\varGamma (1/p^{*})}{\varGamma(n+1)}. \end{aligned}$$ - (ii)
\(H^{n}\)is a bounded operator from\(C^{n}_{p}\)into\(C^{n}_{p}\)and
$$\begin{aligned} \bigl\Vert H^{n} \bigr\Vert _{C^{n}_{p}}=\pi\csc(\pi/p). \end{aligned}$$
Proof
According to Lemma 3.3, we have \(H^{n}=B^{n}C^{n}\) and \(C^{n}H^{n}=HC^{n}\). Now, by applying Lemma 3.1 parts (ii) and (iii), we gain the result. □
As an application of Lemma 3.3, we are ready to generalize the inequality
also known as Hilbert’s inequality.
Corollary 3.5
Let\(p>1\)and\(x\in\ell_{p}\). Then
or
In particular, for\(n=0\), Hilbert’s inequality occurs, and for\(n=1\), we have the inequality
or
Proof
According to Lemma 3.3, \(H^{n}=B^{n} C^{n}\), hence
Consider that, for \(n=0\), \(C^{0}=I\), and we have Hilbert’s inequality. □
3.2 Norm of Copson operators on Copson matrix domains
Lemma 3.6
Letαandnbe two nonnegative integers that\(\alpha\ge n \ge0\). For\(j=1, 2, \dots\), we have
Proof
Since \(\alpha-n \ge0\), hence Lemma 3.2 results in
On the other hand,
Now, the result is obvious. □
Theorem 3.7
Letα, nbe two nonnegative integers that\(\alpha\ge n\ge0\). The Copson matrix of orderαhas a factorization of the form\(C^{\alpha}=C^{n}S^{\alpha,n}=S^{\alpha,n} C^{n}\), where\(C^{n}\)is the Copson matrix of ordern, \(S^{\alpha ,n}=(s^{\alpha,n}_{j,k})\)is a bounded operator on\(\ell_{p}\)with the entries
and\(\ell_{p}\)-norm
Proof
For obtaining the matrix \(S^{\alpha,n}\), it is sufficient to compute \(C^{-n} C^{\alpha}\). By applying Lemma 3.6, we gain
which proves the identity
Now, by letting \(n=0\) and \(n=\alpha\) in relation (3.2), we gain \(S^{\alpha,0}=C^{\alpha}\) and \(S^{n,n}=I\), respectively.
For computing the \(\ell_{p}\)-norm of \(S^{\alpha,n}\), by inserting \(n=0\) in identity (3.2), we gain
Now, inserting \(n=\alpha\) in (3.3) results in
which completes the proof. □
Corollary 3.8
Let\(p>1\), \(\alpha\ge n \ge0\), and\(x\in\ell_{p}\). Then
- (i)
\(\|C^{\alpha}x\|_{\ell_{p}}\le \frac{\varGamma(\alpha +1)\varGamma(n+1/p)}{\varGamma(n+1)\varGamma(\alpha+1/p)} \|C^{n} x\|_{\ell_{p}}\),
- (ii)
\(\|C x\|_{\ell_{p}}\le p \| x\|_{\ell_{p}}\),
- (iii)
\(C^{n}_{p} \subset C^{\alpha}_{p}\).
Proof
(i) Since \(C^{\alpha}=S^{\alpha,\beta} C^{n}\), according to Theorem 3.7, we have
(ii) Consider that, for \(\alpha=1\) and \(n=0\), \(C^{1}=C\) and \(C^{0}=I\) in part (i), hence we have the inequality.
(iii) is a straightforward result of part (i). □
Theorem 3.9
Let\(\alpha\ge n \ge0\). The Copson operator of orderα, \(C^{\alpha}\), is a bounded operator from\(C^{n}_{p}\)into\(\ell_{p}\)and
Proof
According to Lemma 3.1 and Theorem 3.7, we have
□
4 Norm of Copson operators on some sequence spaces
In this section, we investigate the problem of finding the norm of Copson operators on several sequence spaces.
4.1 Norm of Copson operators on difference sequence spaces
In this part of study, we investigate the norm of both the generalized Copson matrix and the Copson matrix of order n on the difference sequence spaces. In so doing we need the following preliminaries.
Let \(n\in\mathbb{N}\) and \(\Delta^{n_{F}}=(\delta^{n_{F}}_{j,k})\) be the forward difference operator of order n with entries
We define the sequence space \(\ell_{p} (\Delta^{n_{F}})\) as the set \(\{ x = ( x_{k} ): \Delta^{n_{F}}x\in\ell_{p} \}\) or
with semi-norm \(\|\cdot\|_{\ell_{p}(\Delta^{n_{F}})}\), which is defined by
Note that this function will be not a norm since if \(x=(1,1,1,\ldots )\), then \(\|x\|_{\ell_{p}(\Delta^{n_{F}})}=0\) while \(x \ne0\). The definition of backward difference sequence space \(\ell_{p}(\Delta ^{n_{B}})\) is similar to that of \(\ell_{p}(\Delta^{n_{F}})\), except \(\|\cdot\| _{\ell_{p}(\Delta^{n_{B}})}\) is a norm.
For special case \(n=1\), we use the notations \(\Delta^{B}\) and \(\Delta ^{F}\) to indicate the backward and forward difference matrices of order 1, respectively. These matrices are defined by
and their associated sequence spaces \(\ell_{p}(\Delta^{B})\) and \(\ell _{p}(\Delta^{F})\) are
and
respectively.
The idea of difference sequence spaces was introduced by Kizmaz [18] in 1981. Although topological properties and inclusion relations of these spaces have been studied till now, the problem of finding the norm of operators on difference sequence spaces has not been studied extensively. More recently, Roopaei and Foroutannia investigated this problem for the difference sequence spaces \(\ell _{p}(\Delta^{F})\), \(\ell_{p}(\Delta^{B})\), and \(\ell_{p}(\Delta^{n_{F}})\) in [9, 21, 24].
Theorem 4.1
The Copson matrix of ordern, \(C^{n}\), is a bounded operator from\(\ell_{p}\)into\(\ell_{p}(\Delta^{n_{F}})\)and
In particular, the Copson matrix is a bounded operator from\(\ell_{p}\)into\(\ell_{p}(\Delta^{F})\)and\(\|C\|_{\ell_{p}, \ell_{p}(\Delta^{F})}=1\).
Proof
Let \(\Delta^{n_{F}}C^{n}=D^{n}\). By the definition of Copson matrix, the matrix \(D^{n}=(d^{n}_{i,j})\) has the entries
If \(i=j\), then \(j-i=0\), which results in \(k=0\), hence \(d^{n} _{j,j}=1/{n+j \choose j}\). If \(j>i\), then Lemma 3.6 will result in \(d^{n} _{i,j}=0\). Therefore \(d^{n}_{i,j}=I_{i,j}/{n+j \choose j}\), where I is the identity matrix. Now, since \(D^{n}\) is diagonal, Lemma 3.1 results in
□
Theorem 4.2
The generalized Copson matrix\(C^{N}\)is a bounded operator from\(\ell_{p}\)into matrix domain\(\ell_{p}(\Delta^{F})\)and
In particular, the Copson matrix is a bounded operator from\(\ell_{p}\)into\(\ell_{p}(\Delta^{F})\)and\(\|C\|_{\ell_{p}, \ell_{p}(\Delta^{F})}=1\).
Proof
It is not difficult to verify the identity \(\Delta^{F}C^{N}=D^{N}\), where the diagonal matrix \(D^{N}=(d^{N}_{j,k})\) has the entries
and the \(\ell_{p}\)-norm \(1/N\). Now, by applying Lemma 3.1, we have
□
Theorem 4.3
The Copson matrix of ordern, \(C^{n}\), is a bounded operator from\(\ell_{p}(\Delta^{n_{B}})\)into\(\ell_{p}(\Delta ^{n_{F}})\)and
In particular, the Copson matrix is a bounded operator from\(\ell _{p}(\Delta^{B})\)into\(\ell_{p}(\Delta^{F})\)and
Proof
The fact that \(\Delta^{n_{B}}\) is the transpose of \(\Delta^{n_{F}}\) and \(\Delta^{n_{F}}C^{n}\) is a diagonal matrix, according to Theorem 4.1, results in the identity \(\Delta^{n_{F}}C^{n}=C^{nt}\Delta^{n_{B}}\). Now, Lemma 3.1 and relation (1.2) complete the proof. □
Theorem 4.4
The generalized Copson matrix\(C^{N}\)is a bounded operator from\(\ell_{p}(\Delta^{B})\)into matrix domain\(\ell_{p}(\Delta^{F})\)and
In particular, the Copson matrix is a bounded operator from\(\ell _{p}(\Delta^{B})\)into\(\ell_{p}(\Delta^{F})\)and
Proof
Through the proof of Theorem 4.2 we showed that \(\Delta^{F} C^{N}=D^{N}\), where \(D^{N}\) is a diagonal matrix as defined by relation (4.1). Similar to the proof of Theorem 4.3, \(\Delta^{F} C^{N}=C^{Nt} \Delta^{B}\), where \(C^{Nt}\) is the transpose of the generalized Copson matrix. Now, according to Lemma 3.1, we have
This completes the proof. □
4.2 Norm of Copson operator on the Hilbert matrix domain
Let \(H^{n}_{p}\) be the sequence space associated with Hilbert matrix \(H^{n}\), which is
and has the norm
Corollary 4.5
The Copson operator of ordern, \(C^{n}\), is a bounded operator from\(H^{n}_{p}\)into\(H_{p}\)and
Proof
According to Lemma 3.3, we have \(HC^{n}=C^{n}H^{n}\). Now, Lemma 3.1 completes the proof. □
As another application of Lemma 3.3, we have the following inclusions.
Corollary 4.6
Let\(p>1\). Then
- (i)
\(C^{n}_{p} \subset H^{n}_{p} \),
- (ii)
\(H^{n}_{p} \subset H^{n-1}_{p} \subset\cdots\subset H_{p}\).
References
Alexiewicz, A.: On Cauchy’s condensation theorem. Stud. Math. 16, 80–85 (1957)
Başar, F.: Summability Theory and Its Applications. Bentham Science Publishers, İstanbul (2012)
Başar, F.: Domain of the composition of some triangles in the space of p-summable sequences. AIP Conf. Proc. 1611, 348–356 (2014)
Başar, F., Altay, B.: On the space of sequences of p-bounded variation and related matrix mappings. Ukr. Math. J. 55(1), 136–147 (2003)
Başar, F., Kirişçi, M.: Almost convergence and generalized difference matrix. Comput. Math. Appl. 61(3), 602–611 (2011)
Bennett, G.: Factorizing the Classical Inequalities. Mem. Amer. Math. Soc., vol. 576 (1996)
Braha, N.L., Başar, F.: On the domain of the triangle \(A(\lambda)\) on the spaces of null, convergent and bounded sequences. Abstr. Appl. Anal. 2013, Article ID 476363 (2013). https://doi.org/10.1155/2013/476363
Chen, C.-P., Luor, D.-C., Ou, Z.: Extensions of Hardy inequality. J. Math. Anal. Appl. 273, 160–171 (2002)
Foroutannia, D., Roopaei, H.: The norms and the lower bounds for matrix operators on weighted difference sequence spaces. UPB Sci. Bull., Ser. A 79(2), 151–160 (2017)
Foroutannia, D., Roopaei, H.: Bounds for the norm of lower triangular matrices on the Cesàro weighted sequence space. J. Inequal. Appl. 2017, Article ID 67 (2017)
Hardy, G.H.: Divergent Series. Oxford University Press, Oxford (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)
İlkhan, M., Kara, E.E.: A new Banach space defined by Euler totient matrix operator. Oper. Matrices 13(2), 527–544 (2019)
Jagers, A.A.: A note on Cesàro sequence spaces. Nieuw Arch. Wiskd. 22, 113–124 (1974)
Jarrah, A.M., Malkowsky, E.: BK spaces, bases and linear operators. Rend. Circ. Mat. Palermo 52, 177–191 (1990)
Kara, E.E., Başarır, M.: On compact operators and some Euler \(B^{(m)}\) difference sequence spaces. J. Math. Anal. Appl. 379(2), 499–511 (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)
Kizmaz, H.: On certain sequence spaces I. Can. Math. Bull. 25(2), 169–176 (1981)
Luxemburg, W.A.J., Zaanen, A.C.: Some examples of normed Köthe spaces. Math. Ann. 162, 337–350 (1966)
Mursaleen, M.: Applied Summability Methods. Springer, Berlin (2014)
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). https://doi.org/10.1186/s13660-020-02380-2
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., Foroutannia, D.: The norms of certain matrix operators from \(\ell_{p}\) spaces into \(\ell_{p}(\Delta^{n})\) spaces. Linear Multilinear Algebra 67(4), 767–776 (2019)
Sönmez, A., Başar, F.: Generalized difference spaces of non-absolute type of convergent and null sequences. Abstr. Appl. Anal. 2012, Article ID 435076 (2012). https://doi.org/10.1155/2012/435076
Stieglitz, M., Tietz, H.: Matrix transformationen von folgenraumen eineergebnisübersicht. Math. Z. 154, 1–16 (1977)
Acknowledgements
There are no competing interests, there is only one author and no funding on this manuscript.
Availability of data and materials
No data have been used in this study.
Funding
There is no funding on this research.
Author information
Authors and Affiliations
Contributions
This manuscript has only one author and nobody has collaborated in writing that. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there are no competing interests.
Additional information
Dedicated to Prof. Maryam Mirzakhani who, in spite of a short lifetime, left a long standing impact on mathematics
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. A study on Copson operator and its associated sequence space. J Inequal Appl 2020, 120 (2020). https://doi.org/10.1186/s13660-020-02388-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02388-8