Abstract
In this paper, we investigate some properties of the domains \(c(C^{n})\), \(c_{0}(C^{n})\), and \(\ell _{p}(C^{n})\) \((0< p<1)\) of the Copson matrix of order n, where c, \(c_{0}\), and \(\ell _{p}\) are the spaces of all convergent, convergent to zero, and p-summable real sequences, respectively. Moreover, we compute the Köthe duals of these spaces and the lower bound of well-known operators on these sequence spaces. The domain \(\ell _{p}(C^{n})\) of Copson matrix \(C^{n}\) of order n in the sequence space \(\ell _{p}\), the norm of operators on this space, and the norm of Copson operator on several matrix domains have been investigated recently in (Roopaei in J. Inequal. Appl. 2020:120, 2020), and the present study is a complement of our previous research.
Similar content being viewed by others
1 Introduction
Let ω denote the set of all real-valued sequences. Any linear subspace of ω is called a sequence space. For \(0< p<1\), the complete p-normed space \(\ell _{p}\) is the set of all real sequences \(x=(x_{k})_{k=0}^{\infty }\in \omega \) such that
By c and \(c_{0}\), we denote the spaces of all convergent and convergent to zero real sequences, respectively. These spaces are Banach spaces with the norm \(\|x\|_{\infty }=\sup_{k}\vert x_{k}\vert \). Here and in the rest of the paper, the supremum is taken over all \(k\in \mathbb{N}_{0}=\{0,1,2,3,\dots \}\). Also, we use the notion \(\mathbb{N}=\{1,2,3,\dots \}\).
One can consider an infinite matrix as a linear operator from a sequence space to another one. Given any two arbitrary sequence spaces X, Y and an infinite matrix \(T=(t_{i,j})\), we define a matrix transformation from X into Y as \(Tx=((Tx)_{i})= (\sum_{j=0}^{\infty }t_{i,j}x_{j} )\) provided that the series is convergent for each \(i\in \mathbb{N}_{0}\). By \((X,Y)\), we denote the family of all infinite matrices from X into Y.
The domain \(X_{T}\) of an infinite matrix T in a sequence space X is defined as
which is also a sequence space. 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 [1, 2, 4, 9, 13, 16, 22, 23, 26–29] and textbooks [3, 20, 21].
The Köthe duals (α-, β-, γ-duals) of a sequence space X are defined by
respectively.
Copson matrix. The Copson matrix is an upper-triangular matrix which is defined by
for all \(j,k \in \mathbb{N}\). That is,
and has the \(\ell _{p}\)-norm \(\|C\|_{\ell _{p}}=p\). This matrix is the transpose of the well-known Cesàro matrix.
Copson matrix of order n. 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 follow:
-
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 )= \text{point evaluation at } \theta =r\) \((0< r<1)\) gives the Euler matrix of order r.
We use the notation \(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]\).
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
Hausdorff operator has the following norm property.
Theorem 1.1
([7, Theorem 9])
Let \(p\ge 1\) and \(H^{\mu }\), \(H^{\varphi }\), and \(H^{\nu }\) be 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 following theorem is an analog of Hardy’s formula.
Theorem 1.2
([8, Theorem 7.18])
Fix p, \(0 < p < 1\), and let \(H^{\mu t}\) be the transposed Hausdorff matrix. Then
for every sequence x of nonnegative terms. The constant is best possible, and there is equality only when \(x = 0\) or \(p =1\) or \(H = I\).
Theorem 1.3
([8, Corollary 7.27])
If \(H^{\mu t}\) and \(H^{\nu t}\) are two transposed Hausdorff matrices, then the lower bound \((\textit{on } \ell _{p}, 0 < p < 1)\) of their product is the product of their lower bounds.
In order to define and know the Copson matrix details, we need the following theorem also known as Hellinger–Toeplitz theorem.
Theorem 1.4
([8, 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
where \(p^{*}\) is the conjugate of p, i.e., \(\frac{1}{p}+\frac{1}{p^{*}}=1\).
For a 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,
In this study, after introducing the domains of the Copson matrix of order n in the spaces \(c_{0}\), c, and \(\ell _{p}\), we study some properties of the Copson spaces. We also compute α-, β-, γ-duals of these spaces and determine Schauder basis. We seek lower bounds of the form
valid for every \(x \in \ell _{p}\) with \(x_{0} > x_{1}> \cdots > 0\). Here T is a matrix with nonnegative entries, assumed to map \(\ell _{p}\) into itself, and L is a constant not depending on x. The lower bound of T is the greatest possible value of L, which we denote by \(L(T)\).
Throughout this paper, we use the notations \(L(\cdot )\) for the lower bound of operators on \(\ell _{p}\) and \(L(\cdot )_{X, Y}\) for the lower bound of operators from the sequence space X into the sequence space Y.
Motivation. Many mathematicians have and still publish numerous articles about the Cesàro matrix, Cesàro matrix domain, and Cesàro function spaces [8, 9, 14, 19, 29], while the importance of the Copson operator and its associated matrix domains have been ignored under the shadow of its transpose Cesàro matrix. Recently, the author have investigated the sequence space \(\ell _{p}(C^{n})\) for \(1 \le p < \infty \), as well as found the norm of well-known operators on this matrix domain. In this research, as a complement of [24], the matrix domains \(c_{0}(C^{n})\), \(c(C^{n})\), and \(\ell _{p}(C^{n})\), \(0< p<1\), are investigated, while the lower bound of well-known operators on the Copson sequence space and the lower bound of the Copson operator on some matrix domains are computed as well, which has never been done before.
2 Copson Banach spaces \(c_{0}(C^{n})\), \(c(C^{n})\), and \(\ell _{p}(C^{n})\)
In this section, the sequence spaces \(c_{0}(C^{n})\), \(c(C^{n})\), and \(\ell _{p}(C^{n})\) are introduced and the inclusion relations as well as dual spaces of these new spaces are determined.
Lemma 2.1
The Copson matrix of order n, \(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-triangular matrix with entries
This matrix has the inverse \(\Delta ^{-n}=(\delta ^{-n}_{j,k})\) with the following entries:
From the relation (1.4), 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_{0}(C^{n})\), \(c(C^{n})\), and \(\ell _{p}(C^{n})\) as the set of all sequences whose \(C^{n}\)-transforms are in the spaces \(c_{0}\), c, and \(\ell _{p}\), respectively, that is,
and
With the notation of (1.1), the spaces \(c_{0}(C^{n})\), \(c(C^{n})\), and \(\ell _{p}(C^{n})\) can be redefined as follows:
Throughout the study, \(y=(y_{j})\) will be the \(C^{n}\)-transform of a sequence \(x=(x_{j})\), that is,
for all \(j\in \mathbb{N}_{0}\). Also, the relation
holds for all \(k\in \mathbb{N}_{0}\).
Theorem 2.2
The following statements hold:
-
The spaces \(c_{0}(C^{n})\) and \(c(C^{n})\) are Banach spaces with the norm
$$\begin{aligned} \Vert x \Vert _{c_{0}(C^{n})}= \Vert x \Vert _{c(C^{n})}=\sup _{j\in \mathbb{N}_{0}} \Biggl\vert \sum_{k=j}^{\infty } \frac{\binom{n+k-j-1 }{k-j}}{\binom{n+k }{k}}x_{k} \Biggr\vert . \end{aligned}$$ -
The space \(\ell _{p}(C^{n})\) \((0< p<1)\) is a complete p-normed space with the p-norm
$$\begin{aligned} \Vert x \Vert _{\ell _{p}(C^{n})}=\sum_{j=0}^{\infty } \Biggl\vert \sum_{k=j}^{\infty } \frac{\binom{n+k-j-1 }{k-j}}{\binom{n+k }{k}}x_{k} \Biggr\vert ^{p} \end{aligned}$$
Proof
We omit the proof which is a routine verification. □
Theorem 2.3
The following statements hold:
-
The spaces \(c_{0}(C^{n})\) and \(c(C^{n})\) are linearly norm-isomorphic to \(c_{0}\) and c, respectively.
-
The space \(\ell _{p}(C^{n})\) is linearly p-norm isomorphic to \(\ell _{p}\).
Proof
The proof follows from the fact that the mapping \(L:X(C^{n})\rightarrow X\) defined by \(x\mapsto Lx=y=C^{n}x\) is a norm-preserving linear bijection, where \(X\in \{c_{0},c,\ell _{p}\}\) and \(y=(y_{j})\) is given by (2.1). □
Theorem 2.4
The inclusion \(\ell _{q}(C^{n}) \subset \ell _{p}(C^{n})\) strictly holds, where \(0< p<q<1\).
Proof
Choose any \(x\in \ell _{q}(C^{n})\). Then, \(C^{n} x\in \ell _{q}\). Since the inclusion \(\ell _{q}\subset \ell _{p}\) holds for \(0< p<q<1\), we have \(C^{n} x\in \ell _{p}\). This implies that \(x\in \ell _{p}(C^{n})\). Hence, we conclude that the inclusion \(\ell _{q}(C^{n}) \subset \ell _{p}(C^{n})\) holds.
Now, we show that the inclusion is strict. Since the inclusion \(\ell _{q}\subset \ell _{p}\) is strict, we can choose \(y=(y_{j})\in \ell _{p}\backslash \ell _{q}\). Define a sequence \(x=(x_{j})\) as
Then, we have
for every \(j\in \mathbb{N}_{0}\), which means \(C^{n} x=y\), and so \(C^{n} x\in \ell _{p}\backslash \ell _{q}\). Hence, we conclude that \(x\in \ell _{p}(C^{n}) \backslash \ell _{q}(C^{n})\), and so the inclusion \(\ell _{q}(C^{n}) \subset \ell _{p}(C^{n})\) is strict. □
Corollary 2.5
The inclusion \(\ell _{p}(C^{\alpha }) \subset \ell _{p}(C^{\beta })\) holds, where \(0< p<1\) and \(\alpha > \beta \ge 0\).
Proof
According to [8, Theorem 20.13], for \(0 < p < 1\) and \(\alpha > \beta \ge 0\), we have
Hence there remains nothing to prove. □
It is known from Theorem 2.3 of Jarrah and Malkowsky [15] that if T is triangular then the domain \(X_{T}\) of T in a normed sequence space X has a basis if and only if X has a basis. As a direct consequence of this fact, we have
Corollary 2.6
Define the sequence \((b^{(k)})=(b^{(k)}_{j})\) for each \(k\in \mathbb{N}\) by
Then, the sequence \((b^{(k)})\) is a basis for the spaces \(c_{0}(C^{n})\) and \(\ell _{p}(C^{n})\), and every sequence \(x\in c_{0}(C^{n})\) or \(x \in \ell _{p}(C^{n})\) has a unique representation of the form \(x=\sum_{k}(C^{n} x)_{k}b^{(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
([30])
The following statements hold:
\((i)\) \(T=(t_{j,k})\in (c_{0},\ell _{1})=(c,\ell _{1})\) if and only if
\((ii)\) \(T=(t_{j,k})\in (c_{0},c)\) if and only if
and
\((iii)\) \(T=(t_{j,k})\in (c,c)\) if and only if (2.2) and (2.3) hold and
\((iv)\) \(T=(t_{j,k})\in (c_{0},\ell _{\infty })=(c,\ell _{\infty })\) if and only if (2.2) holds.
Lemma 2.8
The following statements hold:
\((i)\) [10, Theorem 5.1.0, with \(p_{k} = p\) for all k] \(T=(t_{j,k})\in (\ell _{p},\ell _{1})\) if and only if
\((ii)\) [18, Theorem 1\((i)\), with \(p_{k} = p\) for all k] \(T=(t_{j,k})\in (\ell _{p},\ell _{\infty })\) if and only if
\((iii)\) [18, Corollary of Theorem 1, with \(p_{k} = p\) for all k] \(T=(t_{j,k})\in (\ell _{p},c)\) if and only if (2.6) holds and
Theorem 2.9
The α-duals of the spaces \(c_{0}(C^{n})\) and \(c(C^{n})\) are as follows:
Proof
Let \(b=(b_{j})\in \omega \). Consider the matrix \(A=(a_{j,k})\) defined by
Given any \(x=(x_{j})\in X(C^{n})\), we have \(b_{j}x_{j}=(Ay)_{j}\) for all \(j\in \mathbb{N}\), where \(X\in \{c_{0},c\}\). This implies that \(bx\in \ell _{1}\) with \(x\in X(C^{n})\) if and only if \(Ay\in \ell _{1}\) with \(y\in X\). Hence, we conclude that \(b\in (X(C^{n}))^{\alpha }\) if and only if \(A\in (X,\ell _{1})\). This completes the proof by part \((i)\) of Lemma 2.7. □
Theorem 2.10
Let define the following sets:
and
Then, we have \((c_{0}(C^{n}))^{\beta }=A_{1}\), \((c(C^{n}))^{\beta }=A_{1}\cap A_{2}\), and \((\ell _{p}(C^{n}))^{\beta }= A_{3}\) \((0< p<1)\).
Proof
Note that \(b=(b_{k})\in (c_{0}(C^{n}))^{\beta }\) if and only if the series \(\sum_{k=0}^{\infty }b_{k}x_{k}\) is convergent for all \(x=(x_{k})\in c_{0}(C^{n})\). The equality
where \(B=(b_{j,k})\) is defined by
We deduce that \(b=(b_{k})\in (c_{0}(C^{n}))^{\beta }\) if and only if the matrix \(B=(b_{j,k})\) is in the class \((c_{0},c)\). Hence, we deduce from part \((ii)\) of Lemma 2.7 that
and also
which means \(b=(b_{k})\in A_{1}\), and so we have \((c_{0}(C^{n}))^{\beta }=A_{1}\). The other results can be proved similarly. □
Theorem 2.11
The γ-duals of the spaces \(c_{0}(C^{n})\), \(c(C^{n})\), and \(\ell _{p}(C^{n})\) \((0< p<1)\) are as follows:
and
Proof
This follows by applying the same technique used in the proof of Theorem 2.10. □
3 Lower bound of operators on the Copson matrix domain for \((0< p<1)\)
In this section, we assume \(0< p<1\) and intend to compute the lower bound of operators from \(\ell _{p}\) into \(\ell _{p}(C^{n})\), from \(\ell _{p}(C^{n})\) into \(\ell _{p}\), and from \(\ell _{p}(C^{n})\) into itself. In so doing, we need the following lemma.
We emphasize again that we use the notations \(L(\cdot )\) for the lower bound of operators on \(\ell _{p}\) and \(L(\cdot )_{X, Y}\) for the lower bound of operators from the sequence space X into the sequence space Y.
Lemma 3.1
([25, Lemma 2.1])
Let U is a bounded operator on \(\ell _{p}\) and \(A_{p}\) and \(B_{p}\) be two matrix domains such that \(A_{p}\simeq \ell _{p}\). Then, the following statements hold:
-
If BT is a bounded operator on \(\ell _{p}\), then T is a bounded operator from \(\ell _{p}\) into \(B_{p}\) and
$$\begin{aligned} \Vert T \Vert _{\ell _{p}, B_{p}}= \Vert T \Vert _{\ell _{p}} \quad \textit{and} \quad L(T)_{ \ell _{p}, B_{p}}=L(BT). \end{aligned}$$ -
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}, \ell _{p}}= \Vert U \Vert _{\ell _{p}} \quad \textit{and} \quad L(T)_{A_{p}, \ell _{p}}=L(U). \end{aligned}$$ -
If \(BT=UA\), then T is 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}} \quad \textit{and} \quad L(T)_{A_{p}, B_{p}}=L(U). \end{aligned}$$In particular, if \(AT=UA\), then T is a bounded operator from the matrix domain \(A_{p}\) into itself and \(\|T\|_{A_{p}}=\|U\|_{\ell _{p}}\) and \(L(T)_{A_{p}}=L(U)\). Also, if T and A commute then \(\|T\|_{A_{p}}=\|T\|_{\ell _{p}}\) and \(L(T)_{A_{p}}=L(T)\).
3.1 Lower bound of operators from \(\ell _{p}\) into \(\ell _{p}(C^{n})\)
In this part of study we intend to compute the lower bound of transposed Hausdorff operators on the Copson matrix domain.
Theorem 3.2
The transposed Hausdorff matrix \(H^{\mu t}\) has a lower bound from \(\ell _{p}\) into \(\ell _{p}(C^{n})\) and
In particular, the transposed Cesàro, Gamma, Hölder, and Euler matrices of orders m have the following lower bounds:
Proof
According to Lemma 3.1, Theorem 1.3, and relation (1.3), we have
□
3.2 Lower bound of operators from \(\ell _{p}(C^{n})\) into \(\ell _{p}\)
In this section, we intend to find the lower bound of the transposed Hausdorff operators from \(\ell _{p}(C^{n})\) into \(\ell _{p}\).
Theorem 3.3
The transposed Hausdorff operator \(H^{\mu t}\) has the lower bound from \(\ell _{p}(C^{n})\) into \(\ell _{p}\) and
In particular, the transposed Cesàro, Gamma, Hölder, and Euler matrices of orders m are bounded operators from \(\ell _{p}(C^{n})\) into \(\ell _{p}\) and
Proof
Following Bennett [8, p. 120], the Hausdorff operator \(H^{\mu }\) has a factorization of the form \(H^{\mu }=H^{\varphi }C^{n}\), where φ is a quotient measure. So \(H^{\mu t}=H^{\varphi t }C^{nt}\), hence Lemma 3.1, Theorem 1.3, and relation (1.3) imply that
□
Remark 3.4
As an example of factorization of Hausdorff operators we have \(C^{m}=H^{\varphi }C^{n}\), where \(C^{n}\) is the Cesàro matrix of order n and the quotient measure, \(H^{\varphi }\) is a Hausdorff matrix associated with the measure
and by Hardy’s formula has the \(\ell _{p}\)-norm
3.3 Lower bound of operators on \(\ell _{p}(C^{n})\)
In this part of the study, we try to find the lower bound of the transposed Hausdorff operators on the space \(\ell _{p}(C^{n})\).
Theorem 3.5
The transposed Hausdorff operator \(H^{\mu t}\) has a lower bound on \(\ell _{p}(C^{n})\) and
In particular, the transposed Cesàro, Gamma, Hölder, and Euler matrices of order m are bounded operators on \(\ell _{p}(C^{n})\) and
Proof
Since Hausdorff matrices commute, we have \(C^{n} H^{\mu t}=H^{\mu t} C^{n}\). Thus, part \((iii)\) of Lemma 3.1 and relation (1.3) complete the proof. □
Throughout the next two sections we assume that \(1 \le p <\infty \).
4 Lower bound of operators on the Copson matrix domain for \(1\le p<\infty \)
In this section, we intend to compute the lower bound of operators from \(\ell _{p}\) into \(\ell _{p}(C^{n})\), from \(\ell _{p}(C^{n})\) into \(\ell _{p}\), and from \(\ell _{p}(C^{n})\) into itself.
Recall the Hilbert matrix \(H=(h_{j,k})\), which was introduced by David Hilbert in 1894 to study a question in approximation theory:
We know that for \(p\ge 1\), the Hilbert operator H is a bounded operator on \(\ell _{p}\) with \(\|H\|_{\ell _{p}}=\pi \csc (\pi /p)\) (see [12, Theorem 323]) and the lower bound \(\zeta (p)^{1/p}\) (see [6, Theorem 5]).
For a positive 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 well-known Hilbert matrix. For more examples,
For nonnegative integers n, j, and k, let us define the matrix \(B^{n}=(b^{n}_{j,k})\) by
where the β function is
Consider that for \(n=0\), \(B^{0}=H\), where H is the Hilbert matrix.
Lemma 4.1
([23, Remark 2.4])
Let H and \(H^{n}\) be the Hilbert and Hilbert matrix of order n, respectively. We have the following identities:
-
\(H= C^{n}B^{n}\),
-
\(H^{n}= B^{n}C^{n}\),
-
\(HC^{n}= C^{n} H^{n}\),
-
\(B^{n}\) is a bounded operator on \(\ell _{p}\) and \(\|B^{n}\|_{\ell _{p}}= \frac{\Gamma (n+1/p)\Gamma (1/p^{*})}{\Gamma (n+1)}\).
We say that \(Q= (q_{n,k})\) is a quasisummability matrix if it is an upper-triangular matrix, i.e., \(q_{n,k}= 0 \) for \(n < k\), and \(\sum_{n=0}^{k} q_{n,k}= 1\) for all k. The product of two quasisummability matrices is also a quasisummability matrix and all these matrices have the lower bound 1 on \(\ell _{p}\), according to the following theorem.
Theorem 4.2
([7, Theorem 2])
Let p be fixed, \(1 < p < \infty \), and let T be a quasisummability matrix. If \(x \in \ell _{p}\) satisfies \(x_{0} > x_{1} > \cdots > 0\), then
4.1 Lower bound of operators from \(\ell _{p}\) into \(\ell _{p}(C^{n})\)
In this part of study we compute the lower bound of some well-known operators like Hilbert and transposed Hausdorff operators on the domain of Copson matrix.
Theorem 4.3
The matrix \(B^{n}\) defined in relation (4.1) has a lower bound from \(\ell _{p}\) into \(\ell _{p}(C^{n})\) and \(L(B^{n})_{\ell _{p},\ell _{p}(C^{n})}=\zeta (p)^{1/p}\).
Proof
According to Lemmas 3.1 and 4.1, we have
□
Lemma 4.4
([24, Theorem 3.7])
Let α and n be two nonnegative integers such that \(\alpha > n\ge 0\). 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 order n while \(S^{\alpha ,n}=(s^{\alpha ,n}_{j,k})\) is a bounded operator on \(\ell _{p}\) with the entries
and \(\ell _{p}\)-norm
Corollary 4.5
Let α, n be two nonnegative integers that \(\alpha > n\ge 0\). The matrix \(S^{\alpha ,n}\) defined in relation (4.2) has a lower bound from \(\ell _{p}\) into \(\ell _{p}(C^{n})\) and
Proof
According to Lemmas 3.1 and 4.4 and Theorem 4.2, we have
□
Corollary 4.6
For every quasisummability matrix Q, we have
In particular, for every Hausdorff matrix \(H^{\mu }\), we have \(L(H^{\mu t})_{\ell _{p},\ell _{p}(C^{n})}=1\).
4.2 Lower bound of operators from \(\ell _{p}(C^{n})\) into \(\ell _{p}\)
In this part of study we compute the lower bound of transposed Hausdorff operators on the domain of Copson matrix.
Theorem 4.7
The transposed Hausdorff matrix \(H^{\mu t}\) has a lower bound from \(\ell _{p}(C^{n})\) into \(\ell _{p}\) and \(L(H^{\mu t})_{\ell _{p}(C^{n}), \ell _{p}}=1\).
Proof
Since the factor \(H^{\varphi t }\) in the factorization \(H^{\mu t}=C^{n} H^{\varphi t }\) is a quasisummability matrix, the proof is similar to that of Theorem 2.1, so
□
4.3 Lower bound of operators on \(\ell _{p}(C^{n})\)
In this part of study we compute the lower bound of Hilbert and transposed Hausdorff operators on the domain of Copson matrix.
Theorem 4.8
The Hilbert matrix of order n, \(H^{n}\), has a lower bound on \(\ell _{p}(C^{n})\) and \(L(H^{n})_{\ell _{p}(C^{n})}=\zeta (p)^{1/p}\).
Proof
According to Lemmas 3.1 and 4.1, we have \(L(H^{n})_{\ell _{p}(C^{n})}=L(H)=\zeta (p)^{1/p}\). □
Theorem 4.9
The transposed Hausdorff operator \(H^{\mu t}\) has a lower bound on \(\ell _{p}(C^{n})\) and \(L(H^{\mu t})_{\ell _{p}(C^{n})}=1\).
Proof
Since every two transposed Hausdorff matrices commute hence the proof is the direct result of Lemma 3.1 and Theorem 4.2. □
5 Lower bound of Copson operator on some sequence spaces
In this section, we investigate the problem of finding the lower bound of Copson operator on some sequence spaces. Through out this section we assume that \(1 \le p < \infty \).
5.1 Lower bound of Copson operator on the difference sequence spaces
In this part of study, we investigate the lower bound of 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 seminorm, \(\|\cdot \|_{\ell _{p}(\Delta ^{n_{F}})}\), which is defined by
Note that this function will not be a norm, since if \(x=(1,1,1,\ldots )\) then \(\|x\|_{\ell _{p}(\Delta ^{n_{F}})}=0\) while \(x \ne 0\). The definition of the backward difference sequence space \(\ell _{p}(\Delta ^{n_{B}})\) is similar to \(\ell _{p}(\Delta ^{n_{F}})\), except that \(\|\cdot \|_{\ell _{p}(\Delta ^{n_{B}})}\) is a norm.
For the 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 domains \(c_{0}(\Delta ^{F} )\), \(c(\Delta ^{F} )\), and \(\ell _{\infty }(\Delta ^{F})\) of the forward difference matrix \(\Delta ^{F}\) in the spaces \(c_{0}\), c, and \(\ell _{\infty }\) were introduced by Kizmaz [17]. Moreover, the domain \(bv_{p}\) of the backward difference matrix \(\Delta ^{B}\) in the space \(\ell _{p}\) has been recently investigated for \(0 < p < 1\) by Altay and Başar [1], and for \(1 \le p \le \infty \) by Başar and Altay [5].
Theorem 5.1
([7, Theorem 1])
Let \(p\ge 1\), and let \(H^{\mu }\) be a bounded Hausdorff matrix on \(\ell _{p}\). Then,
for every decreasing sequence x of nonnegative terms, where
The constant in (5.1) is the best possible, and there is equality only when \(x =0\) or \(p=1\), or when \(d\mu (\theta )\) is the point mass at 1.
For example, by choosing \(d\mu (\theta )=n(1-\theta )^{n-1} \,d\theta \), the lower bound of the Cesàro matrix of order n is
In particular, for \(n=1\), the well-known Cesàro operator has the lower bound \(L(C^{t})=\zeta (p)^{1/p}\).
Theorem 5.2
The Copson matrix of order n, \(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 \(L(C)_{\ell _{p}(\Delta ^{B}), \ell _{p}(\Delta ^{F})}=\zeta (p)^{1/p}\).
Proof
Let \(\Delta ^{n_{F}}C^{n}=D^{n}\). It has proved by Theorem 4.1 in [24] that the matrix \(D^{n}=(d^{n}_{i,j})=I_{i,j}/\binom{n+j }{j}\) is a diagonal matrix, where I is the identity matrix. The facts that \(\Delta ^{n_{B}}\) is the transpose of \(\Delta ^{n_{F}}\) and \(\Delta ^{n_{F}}C^{n}\) is a diagonal matrix result in the identity \(\Delta ^{n_{F}}C^{n}=C^{nt}\Delta ^{n_{B}}\). Now, by applying Lemma 3.1 and relation (5.2), we have
which completes the proof. □
5.2 Lower bound of Copson operator on the domain of Hilbert matrix
Let n be a nonnegative integer and \(hil(n,p)\) be the sequence space associated with the Hilbert matrix of order n, \(H^{n}\), which is
and has the norm
Note that, by letting \(n=0\) in the above definition, we obtain the domain of Hilbert matrix \(hil(p)\).
Corollary 5.3
The Copson operator of order n, \(C^{n}\), is a bounded operator from \(hil(n,p)\) into \(hil(p)\) and
Proof
According to Lemma 4.1, we have \(HC^{n}=C^{n}H^{n}\). Now, Lemma 3.1 and Theorem 4.2 complete the proof. □
5.3 Lower bound of Copson operator on the domain of the transposed Hausdorff matrix
Let \(hau^{t}(p)\) be the domain of the transposed Hausdorff matrix in the space \(\ell _{p}\), that is, \(\lbrace x\in \ell _{p} : H^{\mu t}x \in \ell _{p} \rbrace \). Then
Corollary 5.4
The Copson operator of order n, \(C^{n}\), is a bounded operator from
-
\(\ell _{p}\) into \(hau^{t}(p)\) and \(L(C^{n})_{\ell _{p}, hau^{t}(p)}=1\),
-
\(hau^{t}(p)\) into \(\ell _{p}\) and \(L(C^{n})_{ hau^{t}(p), \ell _{p}}=1\),
-
\(hau^{t}(p)\) into itself and \(L(C^{n})_{hau^{t}(p)}=1\).
Proof
According to Lemma 3.1, \(L(C^{n})_{\ell _{p}, hau^{t}(p)}=L(H^{\mu t}C^{n})\). Now, since the product of any two quasi-Hausdorff matrices is also a quasi-Hausdorff matrix, Theorem 4.2 completes the proof.
Let ν be the quotient measure in the factorization of the Copson matrix \(C^{n}=H^{\nu }H^{\mu t}\), where \(H^{\nu }\) is a quasi Hausdorff matrix. Now, by applying Lemma 3.1 and Theorem 4.2, \(L(C^{n})_{ hau^{t}(p), \ell _{p}}=L(H^{\nu })=1\).
The fact that the Hausdorff matrices commute is also valid for their transposes \(H^{\mu t}C^{n}=C^{n}H^{\mu t}\). Hence the proof is obvious by applying Lemma 3.1 and Theorem 4.2. □
Availability of data and materials
Not applicable.
References
Altay, B., Başar, F.: The fine spectrum and the matrix domain of the difference operator Δ on the sequence space \(\ell _{p}\) \((0< p<1)\). Commun. Math. Anal. 2(2), 1–11 (2007)
Altay, B., Başar, F.: Certain topological properties and duals of the matrix domain of a triangle matrix in a sequence space. J. Math. Anal. Appl. 336(1), 632–645 (2007)
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)
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)
Foroutannia, D., Roopaei, H.: Bounds for the norm of lower triangular matrices on the Cesàro weighted sequence space. J. Inequal. Appl. 2017, 67 (2017)
Grosse-Erdmann, K.G.: Matrix transformations between the sequence spaces of Maddox. J. Math. Anal. Appl. 180(1), 223–238 (1993)
Hardy, G.H.: Divergent Series. Oxford University Press, London (1973)
Hardy, G.H., Littlewood, J.E., Polya, G.: Inequalities, 2nd edn. Cambridge University Press, Cambridge (2001)
İ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.: Ordinary, absolute and strong summability and matrix transformations. Filomat 17, 59–78 (2003)
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)
Kizmaz, H.: On certain sequence spaces I. Can. Math. Bull. 25(2), 169–176 (1981)
Lascarides, C.G., Maddox, I.J.: Matrix transformations between some classes of sequences. Proc. Camb. Philos. Soc. 68, 99–104 (1970)
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 Briefs. Springer, Berlin (2014)
Mursaleen, M., Başar, F.: Sequence Spaces: Topics in Modern Summability Theory. Mathematics and Its Applications. CRC Press, Boca Raton (2020)
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)
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.: Bounds of operators on the Hilbert sequence space. Concr. Oper. 7, 155–165 (2020)
Roopaei, H., Foroutannia, D.: The norm of backward difference operator \(\Delta ^{n}\) on certain sequence spaces. Oper. Matrices 12(3), 867–880 (2018)
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)
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)
Stieglitz, M., Tietz, H.: Matrix transformationen von Folgenraumen. Eine Ergebnisübersicht. Math. Z. 154, 1–16 (1977)
Acknowledgements
The author would like to express his gratitude to the referee for his/her corrections and improvements of the results.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
This manuscript has written only one author. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have 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 II. J Inequal Appl 2020, 239 (2020). https://doi.org/10.1186/s13660-020-02507-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02507-5