The essential norm of bounded diagonal in ﬁ nite matrices acting on Banach sequence spaces

: We calculate the essential norm of bounded diagonal in ﬁ nite matrices acting on Köthe sequence spaces. As a consequence of our result, we obtain a recent criteria for the compactness of multiplication operator acting on Köthe sequence spaces.


Introduction
The formal study of infinite matrices began with the work of Poincaré in 1884 [1], who gave the rigorous bases for the use of infinite matrices for the calculus of the determinants.Poincaré's results provided Hilbert [2] with the necessary tools to study the eigenvalues of certain integral operators, which can be viewed as infinite matrices operating on specific spaces.This theory enables the study of systems of infinite differential equations such as we can see in the work of Cooke [3].A walk about the history of infinite matrices can be seen in the excellent article of Bernkopf [4], while the modern approach of this topics and its applications can be found in the article of Shivakumar and Sivakumar [5] and the book of Shivakumar et al. [6].
A complex infinite matrix is denoted by ( ) = A a ij , and it is a function × → A : . As usual, the product of an infinite matrix A by the sequence { ( )} = x n x , denoted as = × A y x, is the sequence { ( )} = y n y defined by y n a x j , j n j 1 , whenever the aforementioned series is convergent for all ∈ n .Thus, if × A x is calculable for all x in a vector space , then the set is also a vector space, and we could define the linear operator → T : by . So far, we can ask for the following: Given a vector space , what is the vector space defined in (1)?.
This last question is related to the well known problem of the multipliers between vector spaces.If the vector spaces and are Banach spaces, then we can define the norm of the infinite matrix A as the norm of the operator T A ; that is, where ∥ ∥ x denotes the norm of the sequence ∈ x .In this context, we are interested in finding conditions on the infinite matrix A to the supremum in the right side of (2) will be finite; that is, when is → T : A a continuous operator?and, in this case, when is → T : A a compact operator?and, how much is the essential norm of T A ?
Recently, interesting works have appeared that answer the questions in the previous paragraph for certain classes of sequence spaces.Infinite matrices that maps a weighted ( ) l r 1 space into another of the same kind ( ) l s 1 were characterized by Williams and Ye [7], they showed that if A is an infinite matrix, r and s are weight sequences (i.e., ( ) > r n and the most general case when is still an open problem.The infinite matrices that map a l p space into a Cesàro space ces p were studied by Foroutannia and Roopaei in [8].It is of interest to characterize the infinite matrices that define bounded linear operators between certain spaces of sequences and to study other topological properties such as compactness and closedness of the range.
In this article, we consider the case when A is an infinite diagonal matrix acting on the general setting of Köthe sequence spaces, which include ( ) l r p spaces, Orlicz sequence spaces, Lorentz sequence spaces, and Cesàro sequence spaces among others.Given a sequence { ( )} = u n u , the infinite matrix diagonal with entries u, denoted by for ≠ i j.In this case, the operator is known as the multiplication operator with symbol u, and it is denoted by M u and satisfies that x .This operator is well known and continues to be the subject of extensive study by a large number of researchers.In the context of Banach spaces of sequences, we can mention that if is a Köthe-type sequence space (see the next section for the definition and properties of Köthe sequence spaces), then M u maps into itself if and only if ∈ ∞ l u (see, for instances, [9]), and more recently, Ramos-Fernández and Salas-Brown [10] have proven that, in this case, → M : Similar results have been obtained by various authors in different Banach sequence spaces, such as Lorentz sequence spaces [11], Orlicz-Lorentz sequence spaces [12,13], Cesàro sequence spaces [14], Cesàro-Orlicz sequence spaces [15], among others.
In the context of compactness, one of the objectives is to estimate the essential norm of an operator or the non-compactness measure.Given a Banach space ( ‖ ‖ ) ⋅ , , the essential norm of a continuous linear operator → T : , denoted by ∥ ∥ T e , is defined as the distance to the class ( ) of all compact operators on , that is, where ‖ ‖ T denotes the operator norm of T .Since ( ) is a closed subspace of ( ) X , the class of all bounded linear operator (with the topology induced by the operator norm), we can see that an operator Recently, interesting works have appeared about the essential norm of multiplication operators acting on Banach sequences spaces.In the case of Lorentz sequence spaces ( ) l p q , , Castillo et al. in [16] proved that the essential norm of the operator , is given by which implies the result of Arora et al. in [11].Ramos-Fernández et al. [17] showed that the aforementioned result is also valid for Cesàro sequence spaces, and more recently, Ramos-Fernández and Salas-Brown [18] have proven that the same is still valid for Orlicz sequence spaces.The main objective of this article is to prove that the result obtained by Castillo et al. in [16] is valid for the more general setting of Köthe-type spaces, which generalize all the results mentioned in this paragraph, and the proof of this aim is given in Section 3. The article is completed in Section 2 where we gather some properties of Köthe sequence spaces.
2 Some remarks about Köthe sequence spaces In this section, we use the notation { ( )} = a k a for a sequence of complex number, while ( ) x n will denote a sequence of sequences.With these notations, a Banach space of sequence is a finite subset of , then the sequence 1 A defined by Observe that condition (ii) is equivalent to say that X contains the canonical basis ( ) e n , where, as is usual, , c 0 , the space of all sequences converging to zero, and the Lorentz sequence spaces are important examples of Köthe sequence spaces.The study of Köthe sequence spaces began with the works of Köthe and Toeplitz in [19] and later by Köthe in [20,21].Their theory has been generalized by Dieudonné [22], Cooper [23], and Lorentz and Wertheim [24].
The Köthe dual ′ X of the Köthe sequence space X is a Banach space, which can be identified with the space of all functionals possessing a series representation, that is, ∈ ′ X c if and only if X is also a Köthe sequence space, and if ∈ ′ X c , then the relation → h X : c defined by ), then the dual space * X can be naturally identified with ′ X [25].In particular, for each ∈ n , the canonical sequence e n belongs to ′ X , and we have the following useful property.We include its proof for benefit of the reader.Proposition 1.For each ∈ n , we have , and so . Furthermore, for ∈ n fixed, the sequence belongs to X and satisfies that ∥ ∥ = c 1 X ; thus, . □

Main result
The aim of this section is to obtain an expression for the essential norm of the multiplication operator acting on Köthe sequence spaces, which implies the results obtained by Castillo et al. [16], Ramos-Fernández et al. [17], and Ramos-Fernández and Salas-Brown [18] among others.The essential norm of the bounded operator is given by : , e where ( ) X denotes the class of all compact operators defined on X and ∥ ∥ T is the norm of the operator → T X X : . In particular, the operator → T X X : is compact if and only if ∥ ∥ = T 0 e ; and hence, we are going to obtain a result that implies, in many cases, the following theorem due to Ramos-Fernández and Salas-Brown [10]: X be a Köthe sequence space, the multiplication operator → M X X : With these notations, we have the following result: and let ( ∥∥ ) ⋅ X , X be a Köthe sequence space that has order continuous norm and such that the canonical sequence ( ) e n is a Schauder basis for ′ X .Then for the multiplication operator → M X X : u , we have The proof of Theorem 2 is divided into four steps: Step is an upper bound for ∥ ∥ M u e .For any ∈ N , we consider the set and by Theorem 1, the operator → M X X : uN is also compact.Thus, by definition of the essential norm, we can write Next, for any sequence and for any ∈ k , we have where belongs to X and N for any ∈ N , which proves that .

u e n
This give us the upper bound for ‖ ‖ M u e .
Step 2. Establish that ′ X is contained into a weighted c 0 space.The following property is a generalization of Proposition 1 in [17].
X be a Köthe sequence space such that the canonical sequence ( ) e n is a Schauder basis for ′ X .Then for any sequence , we have be any sequence in ′ X .Since ( ) e n is a Schauder basis for ′ X , we have This last fact implies the result.□ Step 3. Establish that the normalized canonical basis converges weakly to zero.
Next we shall go to prove the following result: X be a Köthe sequence space, which has an order continuous norm such that the canonical sequence ( ) e n is a Schauder basis for ′ X .Then the sequence ( ) ⊂ X f n defined by converges weakly to zero.In particular, for all compact operator → K X X : .
Proof.Let h be any bounded functional defined on X .Since X has an order continuous norm, there exists a sequence ∈ ′ X c such that and the weak convergence follows from Proposition 1. Furthermore, it is well known that every compact operator → K X X : is completely continuous (see Chapter 6, Section 3, Proposition 3.3 in [26]), and hence, ∥ ( )∥ → K f 0 n X as → ∞ n .This concludes the proof of the result.□ Step 4. Establish that | ( )| →∞ u n limsup n is a lower bound for ‖ ‖ M u e .Now we can finish the proof of the main result.Since ∥ ∥ = f 1 n X for all ∈ n , then by definition of the operator norm and for any compact operator → K X X : , we can write Therefore, by taking limit when n goes to infinite, we obtain where we have used relation (5).The result follows since the compact operator → K X X : was arbitrary.By combining Step 1 with this last step, it follows which completes the proof of Theorem 2.
Corollary 1. Suppose that ∈ ∞ l u and let ( ∥∥ ) ⋅ X , X be a Köthe sequence space, which has an order continuous norm, and such that the canonical sequence ( ) e n is a Schauder basis for ′ X .Then the multiplication operator → M X X : in general, is not contained in c 0 .In these kinds of spaces, our Theorem 2 can be applied.Furthermore, our findings are applicable to various Banach sequence spaces, including c 0 , l p spaces with < < ∞ p 1 , Orlicz and Lorentz spaces, and Cesàro spaces among others, and it has as consequence the compactness results in [10,[13][14][15][16][17][18].Our result can not be applied to any Banach sequence space; for instance, if we put = X l 1 , then ′ = = * ∞ X X l , and the canonical basis ( ) e n is not a Schauder basis for ∞ l because this space is not separable.

1 nn
is the sequence with 1 at the nth position and ( ) = e k 0 n for all ≠ k n.It is important to remark that two sequences a and b are equal if and only ( ) ( )| | ( )| ≤ a k e k a k n for all ∈ k , and hence, the sequence { ( ) ( )} ⋅ = a k e k a e n n belongs to X and also Essential norm of bounded diagonal infinite matrices  3 ∥

5 |
′ X is a Köthe sequence space, we obtain Essential norm of bounded diagonal infinite matrices  This follows from the fact that the operator → T X X :is compact if and only if ∥ ∥ = T 0 e .□Final comment.There is an important result due to Axler et al.[27] about the essential norm of operators from a Banach space X into c 0 .However, there are a lot of Köthe sequence spaces X , which are not subspace of c 0 ; for instance, if{ ( )} = ωω n is a sequence weight such that ( ) > ω n 0 for all ∈ n , then for > p 1, the weighted l p space, denoted by ( )