Abstract
The discrete generalized Cesàro matrix \(A_{t}= ( a_{nk} ) \) is the triangular matrix with nonzero entries \(a_{nk}=t^{n-k}/ ( n+1 )\), where \(t\in [ 0,1 ] \). In this paper, boundedness, compactness, spectra, the fine spectra and subdivisions of the spectra of discrete generalized Cesàro operator on \(\ell_{p}\) (\(1< p<\infty\)) have been determined.
Similar content being viewed by others
1 Introduction
The lower triangular matrix \(A_{t}= ( c_{nk} ) \) defined by \(c_{nk}=t^{n-k}/(n+1)\), \(0< t\leq1\) is called a discrete generalized Cesàro operator. The matrix reduces to the Cesàro matrix by setting \(t=1\). In 1982, Rhaly [1] showed that the discrete generalized Cesàro operator \(A_{t}\) on the \(\ell_{2}\) Hilbert space was a bounded compact linear operator and computed its spectrum. Also in [2], lower bounds for these classes were obtained under certain restrictions on \(\ell _{p}\) (\(1< p<\infty \)) by Rhoades. In this article, we show that this operator is a compact linear operator, calculate its spectrum and get two subdivisions of this spectrum on the \(\ell_{p}\) (\(1< p<\infty \)) sequence space.
2 Boundedness of discrete generalized Cesàro operator
In 1982, Rhaly [1] showed that the discrete generalized Cesàro operator \(A_{t}\) on the Hilbert space \(\ell_{2}\) is a bounded linear operator. We will show that \(A_{t}\) is a bounded linear operator on \(\ell_{p}\) (\(1< p<\infty \)).
Theorem 1
[3] (Hardy inequalities)
If \(p>1\), \(a_{n}\geq0\), and \(A_{n}=a_{1}+a_{2}+\cdots+a_{n}\), then unless all \(a_{n}\) ’s are 0,
inequality is provided. This constant is the best possible.
Theorem 2
\(A_{t}\in B ( \ell_{p} ) \) and \(\Vert A_{t} \Vert _{B ( \ell_{p} ) }\leq\frac {p}{p-1}\) for \(0< t<1\), where \(1< p<\infty\).
Proof
Using Theorem 1, since \(0< t<1\), we have
Hence we get
□
3 Compactness of discrete generalized Cesàro operator
Compact linear operators have a great deal of application in practice. For instance, they play a central role in the theory of integral equations and in various problems of mathematical physics.
Disentangling the historical development of the spectral theory of compact linear operators is particularly hard because many of the results were originally proved early in the twentieth century for integral equations acting on particular Banach spaces of functions. These operators behave very much like familiar finite dimensional matrices without necessarily having finite rank. For a compact linear operator, spectral theory can be treated fairly completely in the sense that Fredholm’s famous theory of linear integral equations may be extended to linear functional equations \(Tx-\lambda x=y\) with a complex parameter λ. This generalized theory is called the Riesz-Schauder theory.
Definition 1
[4]
Let X and Y be normed spaces. An operator \(T:X\rightarrow Y\) is called a compact linear operator (or completely continuous linear operator) if T is linear and if, for every bounded subset M of X, the image \(T ( M ) \) is relatively compact, that is, the closure \(\overline{T ( M ) }\) is compact.
From the definition of compactness of a set, we readily obtain a useful criterion for the operator.
Theorem 3
[4]
Let X and Y be normed spaces and \(T:X\rightarrow Y\) be a linear operator. Then T is compact if and only if it maps every bounded sequence \(( x_{n} ) \) in X onto a sequence \(( Tx_{n} ) \) in Y which has a convergent subsequence.
The following theorem makes it easy to show the compactness of a linear operator over a normed space.
Theorem 4
[4]
Let X and Y be normed spaces and \(T:X\rightarrow Y\) be a linear operator. Then:
-
(a)
If T is bounded and \(\dim T ( X ) <\infty\), the operator T is compact.
-
(b)
If \(\dim X<\infty\), the operator T is compact.
The following is important as a tool for proving compactness of a given operator as the uniform operator limit of a sequence of compact linear operators.
Theorem 5
[4]
Let \(( T_{n} ) \) be a sequence of compact linear operators from a normed space X into a Banach space Y. If \(( T_{n} ) \) is uniformly operator convergent, say, if \(\Vert T_{n}-T \Vert \rightarrow0\), then the limit operator T is compact.
In 1982, Rhaly [1] showed that the discrete generalized Cesàro operator \(A_{t}\) on the Hilbert space \(\ell_{2}\) is a compact linear operator. We show that \(A_{t}\) is a compact linear operator on \(\ell _{p}\) (\(1< p<\infty \)).
Theorem 6
\(A_{t}\) is a compact linear operator over \(\ell_{p}\) (\(1< p<\infty \)) for \(0< t<1\).
Proof
Let
For \(\forall r\in \mathbb{N} \), we obtain that \(\dim ( A^{r} ) =r+1<\infty\). Hence, from Theorem 4, for all \(r\in \mathbb{N} \), the operator \(A^{r}\) is compact on \(\ell_{p}\). With triangular inequality and Hölder’s inequality, for all \(x\in\ell_{p}\), we have
Then we get
Hence, we obtain
where
After that, we get
that is,
Thus, from the Raabe test, \(\sum_{n=0}^{\infty}c_{n}\) converges, and therefore \(\sum_{k=n}^{\infty}c_{k}\rightarrow0\) (for \(n\rightarrow\infty\)). From (3.1), we have \(\Vert A_{t}^{r}-A_{t} \Vert \rightarrow0\) (for \(r\rightarrow\infty \)). Thus, \(A_{t}\) is the compact linear operator over \(\ell_{p}\) (\(1< p<\infty \)) for \(0< t<1\) from Theorem 5. □
4 Spectrum of discrete generalized Cesàro operator
Definition 2
Let \(X\neq \{ 0 \} \) be a complex normed space and \(T:D ( T ) \rightarrow X\) be a linear operator with domain \(D ( T ) \subset X\). A number \(\lambda\in \mathbb{C} \) that provides the following conditions is called the regular value of T, and the set of all regular values of T will be denoted by \(\rho ( T ) \) and it is called the resolvent set of T:
-
(R1)
\(R_{\lambda} ( T ) :=T_{\lambda}^{-1}:= ( T-\lambda I ) ^{-1}\) resolvent operator exists,
-
(R2)
\(R_{\lambda} ( T ) \) is bounded, and
-
(R3)
\(R_{\lambda} ( T ) \) is defined on a set which is dense in X.
Moreover, \(\sigma ( T ) =\mathbb{C} -\rho ( T ) \) is called the spectrum of T.
Furthermore, the spectrum \(\sigma ( T ) \) naturally splits into three disjoint sets, some of which may be empty. The discrete splitting of the spectrum can be defined as the point spectrum, the continuous spectrum and the residual spectrum as follows.
Definition 3
[4]
-
(a)
The point spectrum or discrete spectrum \(\sigma_{p} ( T ) \) is the set such that \(R_{\lambda} ( T ) \) does not exist. A \(\lambda \in\sigma_{p} ( T ) \) is called an eigenvalue of T.
-
(b)
The continuous spectrum \(\sigma_{c} ( T ) \) is the set such that \(R_{\lambda} ( T ) \) exists and satisfies (R3) but not (R2), that is, \(R_{\lambda} ( T ) \) is unbounded.
-
(c)
The residual spectrum \(\sigma_{r} ( T ) \) is the set such that \(R_{\lambda} ( T ) \) exists (and may be bounded or not) but does not satisfy (R3), that is, the domain of \(R_{\lambda} ( T ) \) is not dense in X.
Spectral theory is an important part of functional analysis. It plays a crucial role in many branches of mathematics such as function theory, complex analysis, differential and integral equations, control theory and also in numerous applications as they are intimately related to the stability of the underlying physical systems. For more information on spectrum, see [4].
The following theorem tells us that the point spectrum of a compact linear operator is not complicated. In fact, we also know that each spectral value \(\lambda\neq0\) of a compact linear operator is an eigenvalue from the next theorem. The spectrum of a compact linear operator largely resembles the spectrum of an operator on a finite dimensional space.
Theorem 7
[4]
A compact linear operator \(T:X\rightarrow X\) on a normed space X has the following properties:
-
(a)
The set of the eigenvalues of T is countable (perhaps finite or even empty).
-
(b)
\(\lambda=0\) is the only possible point of accumulation of that set.
-
(c)
Every spectral value \(\lambda\neq0\) is an eigenvalue.
-
(d)
If X is infinite dimensional, then \(0\in\sigma ( T ) \).
4.1 Spectrum of discrete generalized Cesàro operator on \(\ell _{p}\) (\(1< p<\infty \))
Spectrum of compact Rhaly operator was specified in [5] and [6]. The spectrum of discrete generalized Cesàro operator \(A_{t}\) on the Hilbert space \(\ell_{2}\) was examined by Rhaly [1] in 1982. We determine the spectrum of \(A_{t}\) on \(\ell_{p}\) (\(1< p<\infty \)). Let \(S:= \{ \frac{1}{n}:n=1,2,\ldots \} \).
In this section, we will compute the spectrum of the generalized discrete generalized Cesàro matrix, the compact linear operator \(A_{t}\), where \(0< t<1\).
Theorem 8
\(\sigma_{p} ( A_{t},\ell _{p} ) =S\) for \(0< t<1\), where \(1< p<\infty\).
Proof
Let
where \(x\neq\theta\). In this case, equations
are provided.
(i) From equation \(( 1-\lambda ) x_{0}=0\), if \(x_{0}\neq0\) then \(\lambda=1\). From (4.1), we have
Since
we get \(\sum_{k} \vert x_{k} \vert ^{p}= \vert x_{0} \vert \sum_{k} \vert t^{p} \vert ^{k}<\infty\). Hence, we have \(( x_{n} ) = ( t^{n}x_{0} ) \in\ell_{p}\). Therefore, the eigenvector corresponding to \(\lambda=1\), \(x= ( x_{0},tx_{0},t^{2}x_{0},t^{3}x_{0},\ldots ) \in\ell_{p}\), that is, we have \(\lambda=1\in\sigma_{p} ( A_{t},\ell_{p} ) \).
(ii) Let \(x_{0}=0\). Therefore, we obtain
from the second equation in (4.1). If \(x_{1}\neq0\), then \(\lambda =\frac{1}{2}\). Hence, we obtain
from the other equations in (4.1). Then, since
we have \(\sum_{n} \vert x_{n} \vert ^{p}<\infty\), that is, \(x= ( x_{n} ) \in\ell_{p}\). Thus, the eigenvector corresponding to \(\lambda=\frac{1}{2}\) is \(x= ( 0,x_{1},2tx_{1},3t^{2}x_{1},\ldots ) \in\ell_{p}\), i.e., \(\lambda =1/2\in\sigma_{p} ( A_{t},\ell_{p} ) \).
(iii) If \(x_{m}\) is the first nonzero component of the sequence \(x= ( x_{n} ) \), then from mth equation in (4.1), i.e.,
we get
In this case, we have
from other equations in (4.1). Since \(t\in ( 0,1 ) \),
the eigenvector corresponding to \(\lambda=1/ ( m+1 ) \) is
i.e., \(\lambda=1/ ( m+1 ) \in\sigma_{p} ( A_{t},\ell _{p} ) \). Hence, \(\sigma_{p} ( A_{t},\ell_{p} ) =S= \{ \frac{1}{m}:m=1,2,\ldots \} \). □
We will use the following lemma to find the adjoint on the \(\ell_{p}\) (\(1< p<\infty\)) sequence space of a linear transform.
Lemma 1
[7], p. 215
If \(A\in B ( \ell _{p} ) \) (\(1< p<\infty\)), then A can be represented by an infinite matrix and \(A^{\ast}\), which is an element of \(B ( \ell_{q} )\), where \(\frac{1}{p}+\frac{1}{q}=1\), can be represented by the transpose of A matrix.
The adjoint matrix of \(A_{t}\) on \(\ell_{p}\) (\(1< p<\infty\)) is as follows:
Lemma 2
The adjoint operator over \(\ell _{p} \) (\(p>1 \)) of the matrix \(A_{t}\) can be given as its transposition. That is, the matrix \(( A_{t} ) ^{\ast}= ( a_{nk}^{\ast} ) \) is given by
Theorem 9
\(\sigma_{p} ( A_{t}^{\ast },\ell_{p}^{\ast}\cong\ell_{q} ) =S\) for \(0< t<1\), where \(1< p<\infty\).
Proof
Let \(x\neq\theta\) and \(A_{t}^{\ast}x=\lambda x\). Then, for all \(n\geq1\), the equations
are realized from Lemma 2. Therefore \(0\notin \sigma_{p} ( A_{t}^{\ast},\ell_{q} ) \) because if \(\lambda=0\) then \(x_{n}=0\) for all \(n=0,1,2,\ldots\) . Hence, we get
because \(x\neq\theta\). That is, we have
where \(x_{0}\neq0\). If \(\lambda=\frac{1}{m}\) for an integer m, then we have \(\sum_{n} \vert x_{n} \vert ^{q}<\infty\) because \(x_{n}=0\) for every \(n\geq m\), so that, \(x= ( x_{n} ) \in\ell_{q}\) is obtained. Hence, we get \(\lambda=\frac{1}{m}\in\sigma_{p} ( A_{t}^{\ast},\ell_{p}^{\ast}\cong\ell_{q} ) \) for all integers m. Let \(\lambda\neq\frac{1}{m}\) for all integers m. Since
\(\sum_{n} \vert x_{n} \vert ^{q}\) series is divergent. So, there is no other eigenvalue, i.e., we have
□
Theorem 10
\(\sigma ( A_{t},\ell _{p} ) =S\cup \{ 0 \} \) for \(0< t<1\), where \(1< p<\infty\).
Proof
Since \(\dim\ell_{p}=\infty\), we have \(0\in\sigma ( A_{t},\ell _{p} ) \) from Theorem 7. Also, since \(A_{t}\) is a compact linear operator by Theorem 6, each nonzero spectral value of \(A_{t}\) is an eigenvalue from Theorem 7. Therefore, \(\sigma ( A_{t},\ell_{p} ) =S\cup \{ 0 \} \) is obtained from Theorem 8. □
4.2 The fine spectrum of discrete generalized Cesàro operator on \(\ell_{p}\) (\(1< p<\infty \))
Let X be a Banach space, \(B(X)\) denotes the collection of all bounded linear operators on X and \(T\in B(X)\). Then there are three possibilities for \(R ( T ) \), the range of T:
-
(I)
\(R ( T ) =X\),
-
(II)
\(\overline{R ( T ) }=X\), but \(R ( T ) \neq X\),
-
(III)
\(\overline{R ( T ) }\neq X\),
and three possibilities for \(T^{-1}\):
-
(1)
\(T^{-1}\) exists and is continuous,
-
(2)
\(T^{-1}\) exists but is discontinuous,
-
(3)
\(T^{-1}\) does not exist.
If these possibilities are combined in all possible ways, nine different states are created. These are labeled by \(\mathrm{I}_{1}\), \(\mathrm{I}_{2}\), \(\mathrm{I}_{3}\), \(\mathrm{II}_{1} \), \(\mathrm{II}_{2}\), \(\mathrm{II}_{3}\), \(\mathrm{III}_{1}\), \(\mathrm{III}_{2}\), \(\mathrm{III}_{3}\). For example, let an operator be in state \(\mathrm{III}_{2}\). Then \(\overline{R ( T ) }\neq X\) and \(T^{-1}\) exist and \(T^{-1}\) is unbounded. From the closed graph theorem, \(I_{2}\) is empty (see [8]).
Applying the Goldberg classification to the operator \(T_{\lambda }:=\lambda I-T \), we have
-
(I)
\(T_{\lambda}=\lambda I-T\) is surjective,
-
(II)
\(\overline{R(T_{\lambda})}=X\), but \(R(T_{\lambda})\neq X\),
-
(III)
\(\overline{R(T_{\lambda})}\neq X\),
and three possibilities for \(T_{\lambda}^{-1}\):
-
(1)
\(T_{\lambda}=\lambda I-T\) is injective and \(T_{\lambda }^{-1}\) is bounded,
-
(2)
\(T_{\lambda}=\lambda I-T\) is injective and \(T_{\lambda }^{-1}\) is unbounded, and
-
(3)
\(T_{\lambda}=\lambda I-T\) is not injective.
If λ is a complex number such that \(T_{\lambda}=\lambda I-T\in \mathrm{I}_{1}\) or \(T_{\lambda}=\lambda I-T\in \mathrm{II}_{1}\), then \(\lambda\in\rho (T,X)\). All scalar values of λ not in \(\rho(T,X)\) comprise the spectrum of T. The further classification of \(\sigma(T,X)\) gives rise to the fine spectrum of T. That is, \(\sigma(T,X)\) can be divided into the subsets \(\mathrm{I}_{2}\sigma(T,X)\), \(\mathrm{I}_{3}\sigma(T,X)\), \(\mathrm{II}_{2}\sigma(T,X)\), \(\mathrm{II}_{3}\sigma (T,X)\), \(\mathrm{III}_{1}\sigma(T,X)\), \(\mathrm{III}_{2}\sigma(T,X)\), \(\mathrm{III}_{3}\sigma(T,X)\). For example, if \(T_{\lambda}=\lambda I-T\) is in a given state, \(\mathrm{III}_{2}\) (say), then we write \(\lambda\in \mathrm{III}_{2}\sigma(T,X)\).
We can summarize the above in Table 1.
This classification of the spectrum is called the Goldberg classification. Let us give the theorems that will help the Goldberg classification.
Theorem 11
[8], p. 58
If \(T^{\ast} \) has a bounded inverse, then \(R ( T^{\ast} ) \) is closed.
Theorem 12
[8], p. 59
T has a dense range if and only if \(T^{\ast}\) is 1-1.
Theorem 13
[8], p. 60
\(R ( T^{\ast } ) =X^{\ast}\) if and only if T has a bounded inverse.
Theorem 14
[8], p. 60
\(\overline{R ( T ) }=X\) and T has a bounded inverse if and only if \(R ( T^{\ast } ) =X^{\ast}\) and \(T^{\ast}\) has a bounded inverse.
The fine spectra of bounded linear operators defined by some particular limitation matrices over some sequence spaces were first discussed in [5, 9–11] and [12].
Then the spectra and fine spectra of some operators have been studied by various authors [13–22] and are still being studied.
We will examine the fine spectrum of a discrete generalized Cesàro operator on \(\ell_{p}\) (\(1< p<\infty \)), which is compact in this section.
Theorem 15
\(0\in \mathrm{II}_{2}\sigma ( A_{t},\ell_{p} ) \) for \(0< t<1\), where \(1< p<\infty\).
Proof
Since \(\sigma_{p} ( A_{t},\ell_{p} ) =S\), we have \(0\notin \sigma _{p} ( A_{t},\ell_{p} ) \). Thus, \(( A_{t} ) ^{-1}\) exists. Hence \(A_{t}\in ( 1 ) \cup ( 2 ) \). The operator \(A_{t}^{\ast}\) is 1-1 because \(0\notin\sigma_{p} ( A_{t}^{\ast },\ell_{q} ) \). Hence, we have \(\overline{R(A_{t})}=\ell_{p}\) from Theorem 12. If \(A_{t}x=y\), we obtain
Therefore, we get
from
Then we give the matrix \(A_{t}^{-1}= ( c_{nk} ) \) with
If we take \(y= ( y_{n} ) = ( \frac{ ( -1 ) ^{n}}{n+1} ) \in\ell_{p}\) (\(1< p<\infty\)), then we have
Hence \(A_{t}\) is not onto, that is, \(R(A_{t})\neq\ell_{p}\). Therefore, \(A_{t}\in \mathrm{II}\). As a consequence, \(A_{t}\in \mathrm{II}_{1}\) or \(A_{t}\in \mathrm{II}_{2}\). We have \(A_{t}\notin \mathrm{II}_{1}\) because \(0\in\sigma ( A_{t},\ell _{p} ) \). Then we have \(A_{t}\in \mathrm{II}_{2}\), i.e., \(0\in \mathrm{II}_{2}\sigma ( A_{t},\ell_{p} ) \). □
Theorem 16
\(\mathrm{III}_{3}\sigma ( A_{t},\ell_{p} ) =S\) for \(0< t<1\), where \(1< p<\infty\).
Proof
If \(\lambda=\frac{1}{m}\), then \(T_{\lambda}= ( \lambda I-A_{t} ) \) has no inverse because \(\sigma_{p} ( A_{t},\ell_{p} ) =S= \{ \frac{1}{m}:m=1,2,\ldots \} \), that is, we have \(T_{\lambda}\in ( 3 ) \). Since \(\lambda=\frac{1}{m}\in\sigma_{p} ( A_{t}^{\ast},\ell_{p} ) \), operator \(T_{\lambda}^{\ast}=\lambda I-A_{t}^{\ast}\) is not 1-1 for \(\lambda=\frac{1}{m}\). \(T_{\lambda }=\lambda I-A_{t}\) does not have a dense image by Theorem 12. Hence, \(\overline{R ( T_{\lambda} ) }\neq\ell_{p}\), i.e., \(T_{\lambda}\in \mathrm{III}\). Accordingly, \(T_{\frac{1}{m}}=\frac{1}{m}I-A_{t}\in \mathrm{III}_{3}\), and hence, we have \(\lambda=\frac{1}{m}\in \mathrm{III}_{3}\sigma ( A_{t},\ell_{p} ) \). □
5 Subdivision of the spectrum of discrete generalized Cesàro operator on \(\ell_{p}\) (\(1< p<\infty \))
Given a bounded linear operator T in a Banach space X, we call a sequence \((x_{k})\) in X a Weyl sequence for T if \(\Vert x_{k} \Vert =1\) and \(\Vert Tx_{k} \Vert \rightarrow0\) as \(k\rightarrow\infty\).
In what follows, we call the set
the approximate point spectrum of T. Moreover, the subspectrum
is called the defect spectrum of T.
The two subspectra (5.1) and (5.2) form a (not necessarily disjoint) subdivision
of the spectrum. There is another subspectrum
which is often called compression spectrum in the literature and which gives rise to another (not necessarily disjoint) decomposition
of the spectrum. Clearly, \(\sigma_{p} ( T ) \subseteq\sigma _{ap} ( T ) \) and \(\sigma_{co} ( T ) \subseteq\sigma _{\delta} ( T ) \). Moreover, comparing these subspectra, we note that
and
It can sometimes be useful to establish a relationship between the spectra of a bounded linear operator and its adjoint.
Proposition 1
[23], Proposition 1.3
The spectra and subspectra of an operator \(T\in B(X)\) and its adjoint \(T^{\ast}\in B(X^{\ast})\) are related by the following relations:
-
(a)
\(\sigma_{ap} ( T^{\ast} ) =\sigma_{\delta} ( T ) \);
-
(b)
\(\sigma_{\delta} ( T^{\ast} ) =\sigma_{ap} ( T ) \);
-
(c)
\(\sigma_{p} ( T^{\ast} ) =\sigma_{co} ( T ) \);
-
(d)
\(\sigma ( T ) =\sigma_{ap} ( T ) \cup \sigma _{p} ( T^{\ast} ) =\sigma_{p} ( T ) \cup\sigma _{ap} ( T^{\ast} ) \).
By the definitions given above, we can write Table 2.
This separation of the spectrum of some operator has been studied by various authors in [18, 24–26, 28] and is still being studied.
Theorem 17
For \(0< t<1\) and \(1< p<\infty\), we have
-
(a)
\(\sigma_{ap} ( A_{t},\ell_{p} ) =S\cup \{ 0 \}\);
-
(b)
\(\sigma_{\delta} ( A_{t},\ell_{p} ) =S\cup \{ 0 \}\);
-
(c)
\(\sigma_{co} ( A_{t},\ell_{p} ) =S\).
Proof
(a) We have \(\mathrm{III}_{1}\sigma ( A_{t},\ell_{p} ) =\emptyset\) from Table 2 because \(\sigma ( A_{t},\ell_{p} ) =S\cup \{ 0 \} \) by Theorem 10, \(\mathrm{III}_{3}\sigma ( A_{t},\ell_{p} ) =S\) by Theorem 16 and \(\mathrm{II}_{2}\sigma ( A_{t},\ell_{p} ) = \{ 0 \} \) by Theorem 15. Hence, we get
by Table 2.
(b) Since \(\sigma ( A_{t},\ell_{p} ) =S\cup \{ 0 \} \), \(\mathrm{III}_{3}\sigma ( A_{t},\ell_{p} ) =S\) and \(\mathrm{II}_{2}\sigma ( A_{t},\ell_{p} ) = \{ 0 \} \) from respectively Theorems 10, 16 and 15, we have \(\mathrm{I}_{3}\sigma ( A_{t},\ell _{p} ) =\emptyset\) by Table 2. Therefore, we obtain
by Table 2.
(c) Since \(\sigma ( A_{t},\ell_{p} ) =S\cup \{ 0 \} \), \(\mathrm{III}_{3}\sigma ( A_{t},\ell_{p} ) =S\) and \(\mathrm{II}_{2}\sigma ( A_{t},\ell_{p} ) = \{ 0 \} \) from Theorems 10, 16 and 15 respectively, we obtain \(\mathrm{III}_{1}\sigma ( A_{t},\ell _{p} ) =\emptyset\) from Table 2. As a result,
by Table 2. □
Lemma 3
For \(0< t<1\) and \(1< p<\infty\), we have
-
(a)
\(\sigma_{ap} ( A_{t}^{\ast},\ell_{q} ) =S\cup \{ 0 \}\);
-
(b)
\(\sigma_{\delta} ( A_{t}^{\ast},\ell_{q} ) =S\cup \{ 0 \} \).
Proof
Since \(\sigma_{ap} ( A_{t}^{\ast},\ell_{q} ) =\sigma _{\delta } ( A_{t},\ell_{p} ) \) and \(\sigma_{\delta} ( A_{t}^{\ast },\ell_{q} ) =\sigma_{ap} ( A_{t},\ell_{p} ) \) from Proposition 1, the proof is clear. □
6 Conclusions
The spectra of summability methods, the Goldberg classification of the spectrum and the non-discrete spectral separation of this summability methods were discussed by various authors earlier. Still, a lot of mathematicians work on this subject. The spectrum of the discrete generalized Cesàro operator on a Hilbert space \(\ell_{2}\) was calculated by Rhaly [1] in 1982. In this article, we have obtained the spectra and various spectral separations of this operator over \(\ell_{p}\) (\(1< p<\infty\)) sequence spaces. In [27], Yildirim et al. gave the spectra and spectral division of this operator over the \(c_{0}\) and c sequence spaces. Also, a Mercerian theorem was given in [27]. The spectra and spectral separation of this operator over the other sequence spaces are left as clear problems.
References
Rhaly, HCJR: Discrete generalized Cesàro operator. Proc. Am. Math. Soc. 86(3), 405-409 (1982)
Rhoades, BE: Lower bounds for some matrices, II. Linear Multilinear Algebra 26(1-2), 49-58 (1990)
Hardy, GH, Littlewood, JE, Polya, G: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1967)
Kreyszing, E: Introductory Functional Analysis with Applications. Wiley, New York (1978)
Yildirim, M: The spectrum and fine spectrum of the compact Rhaly operator. Indian J. Pure Appl. Math. 27(8), 779-784 (1996)
Yildirim, M: The spectrum of Rhaly operator on \(\ell_{p}\). Indian J. Pure Appl. Math. 32(2), 191-198 (2001)
Taylor, RB: Introduction to Functional Analysis. Wiley, New York (1980)
Goldberg, S: Unbounded Linear Operator. McGraw-Hill, Mew York (1966)
Wenger, RB: The fine spectra of the Hölder summability operator. Indian J. Pure Appl. Math. 6(6), 695-712 (1975)
González, M: The fine spectrum of the Cesàro operator in \(\ell_{p}\) (\(1< p<\infty\)). Arch. Math. (Basel) 44(4), 355-358 (1985)
Rhoades, BE: The fine spectra for weighted mean operator in \(B( \ell^{p}) \). Integral Equ. Oper. Theory 12(1), 82-98 (1989)
Coşkun, C: The spectra and fine spectra for p-Cesàro operator. Turk. J. Math. 21(2), 207-212 (1997)
Rhoades, BE, Yildirim, M: Spectra for factorable matrices on \(\ell_{p}\). Integral Equ. Oper. Theory 55(1), 111-126 (2006)
Akhmedov, AM, El-Shabrawy, SR: Spectra and fine spectra of lower triangular double-band matrices as operator on \(\ell_{p}\) (\(1\leq p<\infty\)). Math. Slovaca 65(5), 1137-1152 (2015)
Altay, B, Karakus, M: On the spectrum and the fine spectrum of the Zweier matrix as an operator on some sequence spaces. Thai J. Math. 3(2), 153-162 (2005)
Paul, A, Tripathy, BC: The spectrum of the operator \(D(r,0,0,s)\) over the sequence spaces \(\ell_{p}\) and \(bv_{p}\). Hacet. J. Math. Stat. 433, 425-434 (2014)
Karakaya, V, Erdoğan, E: Notes on the spectral properties of the weighted mean difference operator \(G(u,v;\Delta)\) over the sequence space \(\ell_{1}\). Acta Math. Sci. 36(2), 477-486 (2016)
El-Shabrawy, SR, Abu-Janah, SH: On the fine structure of spectra of upper triangular double-band matrices as operator on \(\ell_{p}\) spaces. Appl. Math. Inf. Sci. 10(3), 1161-1167 (2016)
Birbonshi, R, Srivastava, PD: On some study of the fine spectra of n-th band triangular matrices. Complex Anal. Oper. Theory 11, 739-753 (2017)
Bilgiç, H, Furkan, H: On the fine spectrum of the generalized difference operator \(B (r, s)\) over the sequence spaces \(\ell_{p}\) and \(bv_{p},(1\leq p<\infty)\). Nonlinear Anal., Theory Methods Appl. 68(3), 499-506 (2008)
Akhmedov, AM, Başar, F: The fine spectra of the Cesàro operator \(C_{1}\) over the sequence space \(bv_{p}\), (\(1\leq p<\infty\)). Math. J. Okayama Univ. 50, 135-147 (2008)
Yesilkayagil, M, Kirişci, M: On the fine spectrum of the forward difference operator on the Hahn space. Gen. Math. Notes 33(2), 1-16 (2016)
Appell, J, Pascale, ED, Vignoli, A: Nonlinear Spectral Theory. de Gruyter, Berlin (2004)
Başar, F, Durna, N, Yildirim, M: Subdivisions of the spectra for generalized difference operator over certain sequence spaces. Thai J. Math. 9(2), 285-295 (2011)
Amirov, R, Durna, N, Yildirim, M: Subdivisions of the spectra for Cesàro, Rhaly and weighted mean operator on \(\ell_{p}\), c and \(\ell_{p}\). Iran. J. Sci. Technol., Trans. A, Sci. 3, 175-183 (2011)
Das, R: On the spectrum and fine spectrum of the upper triangular matrix \(U(r_{1},r_{2};s_{1},s_{2})\) over the sequence space \(c_{0} \). Afr. Math. (2017). doi:10.1007/s13370-017-0486-8
Yildirim, M, Mursaleen, M, Durna, N: The spectrum and fine spectrum of generalized Rhaly-Cesàro matrices on \(c_{0}\) and c. J. Inequal. Appl. (submitted)
Durna, N: Subdivision of the spectra for the generalized upper triangular double-band matrices \(\Delta^{uv}\) over the sequence spaces c and c. Adıyaman Univ. J. Sci. 6(1), 31-43 (2016)
Acknowledgements
Our research was partially supported by the grant of Cumhuriyet University Scientific Research Project (F-522).
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to BE Rhoades
Competing interests
The authors declare that they have no competing interest.
Authors’ contributions
The authors have already had many joint publications. This work was carried out in collaboration between all authors.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yıldırım, M., Durna, N. The spectrum and some subdivisions of the spectrum of discrete generalized Cesàro operators on \(\ell_{p}\) (\(1< p<\infty\)). J Inequal Appl 2017, 193 (2017). https://doi.org/10.1186/s13660-017-1464-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1464-2