1 Preliminaries and background
The first measure of noncompactness, the function
α, was defined and studied by Kuratowsky [
1] in 1930. Darbo [
2], using this measure, generalized both the classical Schauder fixed point principle and (a special variant of) Banach’s contraction mapping principle for so called condensing operators. The Hausdorff measure of noncompactness
χ was introduced by Goldenstein
et al. [
3] in 1957.
Recently, the Hausdorff measure of noncompactness turned out to be very useful in the classification of compact operators between Banach spaces. Many authors characterized the classes of compact operators given by infinite matrices on some sequence spaces by using the Hausdorff measure of noncompactness. For example, in [
4,
5] Malkowsky and Djolovic, in [
6,
7] Malkowsky and Rakocevic, in [
8] Alotaibi
et al., in [
9] Basar and Malkowsky, and in [
10,
11] Mursaleen and Noman have applied the Hausdorff measure of noncompactness to characterize some classes of compact operators given by matrices on the spaces in the literature.
Further, as we know paranormed spaces are another version of the linear metric space but have more general properties than normed spaces [
12]. Hence, some authors have applied these spaces in their research. For example, in [
13] Basarir and Kara have characterized some classes of compact operators given by matrices on a normed sequence space, which is a special case of the paranormed Riesz
\(B^{m}\)-difference sequence space
\(r^{q}(p,B^{m})\) and for this purpose they have applied the Hausdorff measure of noncompactness. In [
14,
15] Basarir and Kara and in [
16] Ozger and Basar have studied these spaces.
In [
17] Kirisci and Basar have studied the domain of generalized difference matrix
\(B(r,s)\) in the classical spaces
\(l_{\infty}\),
c, and
\(c_{0}\).
Afterward, Ozger and Basar in [
16] introduced the paranormed sequence spaces
\(l_{\infty}(\tilde{B},p)\),
\(c(\tilde{B},p)\), and
\(c_{0}(\tilde{B},p)\) that are more general and comprehensive than the corresponding consequences of the matrix domain of
\(B(r,s)\).
In this work, we establish identities or estimates for the operator norms and the Hausdorff measure of noncompactness of certain matrix operators on these spaces that were defined by Ozger and Basar in [
16].
Let
w be the space of all real or complex valued sequences. Any vector subspace of
w is called a sequence space. We write
\(l_{\infty}\),
c and
\(c_{0}\) for the spaces of all bounded, convergent, and null sequences, respectively. Also, by
bs,
cs,
\(l_{1}\), and
\(l_{p}\) (
\(1< p<\infty\)), we denote the spaces of all bounded, convergent, absolutely, and
p-absolutely convergent series, respectively. A sequence space
λ with a linear topology is called a
K-space if each of the maps
\({P_{i}}:{\lambda}\to{\mathbb{C}}\) defined by
\(P_{i}(x)=x_{i}\) is continuous for all
\(i\in\mathbb{N}\), where
\(\mathbb{C}\) is the set of all complex numbers. A
K-space
λ is called an
FK-space provided
λ is a complete linear metric space and a
BK-space if it is a normed
FK-space. Let
ϕ be the set of all sequences which have finite number of non-zero terms. An
FK-space
λ which contains
ϕ is said to have the
AK property if every sequence
\(x=(x_{k})_{k=0}^{\infty}\in{\lambda}\) has a unique representation
\(x=\sum_{k=0}^{\infty}{x_{k} e^{(k)}}\) [
18].
A linear topological space
X over the real field
\(\mathbb {R}\) is said to be a paranormed space if there is a subadditive function
\(h:X\to{\mathbb{R}}\) such that
\(h(\theta)=0\),
\({h(-x)=h(x)}\), and scalar multiplication is continuous, that is,
\(|\alpha_{n}-\alpha|\to0\) and
\(h(x_{n}-x)\to0\) imply
\(h(\alpha _{n}x_{n}-{\alpha}x)\to0\) for every
\(\alpha\in\mathbb{R}\) and
\(x\in {X}\), where
θ is the zero vector in the linear space
X [
19].
Throughout this paper, we assume
\((p_{k})\) is a bounded sequence of strictly positive real numbers with
\(\sup{p_{k}}=H\) and
\(M=\max\{1,H\}\). So, the sequence spaces
\(l_{\infty}(p)\),
\(c_{(}p)\),
\(c_{0}(p)\), and
\(l(p)\) (which generalize the classical spaces
\(l_{\infty}\),
c,
\(c_{0}\), and
\(l_{1}\), respectively) are defined as follows:
$$\begin{aligned}& l_{\infty}{(p)} = \Bigl\{ x=(x_{k})\in{w}:\sup _{k\in{\mathbb {N}}}|x_{k}|^{p_{k}}< {\infty}\Bigr\} , \\& c{(p)} = \Bigl\{ x=(x_{k})\in{w} : \exists{ l}\in\mathbb{C} \ni \lim _{k\to{\infty}}|x{_{k}}-l|^{p_{k}}=0\Bigr\} , \\& c_{0}{(p)} = \Bigl\{ x=(x_{k})\in{w}: \lim _{k\to{\infty}}|x{_{k}}|^{p_{k}}=0\Bigr\} , \\& l(p) = \biggl\{ x=(x_{k})\in{w} :\sum_{k}|x{_{k}}|^{p_{k}}< { \infty}\biggr\} \quad (0< p_{k}< {\infty}). \end{aligned}$$
Let the functions
\(h_{1}\) and
\(h_{2}\) be defined on the spaces
\(l_{\infty}{(p)}\),
\(c{(p)}\) or
\(c_{0}{(p)}\), and
\(l(p)\) by
$$ h_{1}(x)=\sup_{k\in{\mathbb{N}}}|x_{k}|^{\frac{p_{k}}{M}} \quad \mbox{and}\quad h_{2}(x)=\biggl(\sum _{k}|x_{k}|^{p_{k}}\biggr)^{\frac{1}{M}}. $$
The sequence spaces
\(c_{0}(p)\) and
\(c(p)\) are complete paranormed spaces paranormed by
\(h_{1}\) if
\({p\in{l_{\infty}}}\) ([
20], Theorem 6).
\(l_{\infty}(p)\) is also complete paranormed space by
\(h_{1}\) if and only if
\(p_{k}>0\), and also
\(l(p)\) is complete paranormed space paranormed by
\(h_{2}\) and
\(\{e^{(k)}\}_{k\in{\mathbb {N}}}\) is a basis in the space
\(l(p)\).
The domain of an infinite matrix
A in a sequence space
λ is denoted by
\(\lambda_{A}\) where
$$ \lambda_{A}=\bigl\{ x=(x_{k})\in{w}:Ax\in{ \lambda}\bigr\} . $$
(1)
It is obvious that
\(\lambda_{A}\) is a sequence space.
Let
\((X,\|\cdot\|)\) be a normed space and
\(X\supset\phi\) be a
BK-space and
\(a=(a_{k})\in{w}\), then the
α-,
β-, and
γ-dual of a subset
X of
w are, respectively, defined by
$$\begin{aligned}& X^{\alpha}=\bigl\{ {a=(a_{k})}\in{w} :ax=(a_{k}x_{k}) \in{l_{1}}\text{ for all } x=(x_{k})\in{X}\bigr\} , \\& X^{\beta}=\bigl\{ {a=(a_{k})}\in{w} :ax=(a_{k}x_{k}) \in{\mathit{cs}}\text{ for all } x=(x_{k})\in{X}\bigr\} , \\& X^{\gamma}=\bigl\{ {a=(a_{k})}\in{w} :ax=(a_{k}x_{k}) \in{\mathit{bs}}\text{ for all } x=(x_{k})\in{X}\bigr\} . \end{aligned}$$
If
A is an infinite matrix with complex entries
\(a_{nk}\) (
\(n,k\in \mathbb{N}\)), then we write
\({A=(a_{nk})}\). We define the
A-transform of
x as the sequence
\(Ax=(A_{n}(x))_{n=0}^{\infty}\), where
$$ A_{n}(x)=\sum_{k=0}^{\infty}a_{nk}x_{k} \quad (n\in\mathbb{N}), $$
if
\(x=(x_{k})\in{w}\) and provided the series on the right-hand side converges for each
\(n\in\mathbb{N}\).
If
X and
Y are subsets of
w and
\(A=(a_{nk})\) is an infinite matrix, then
A defines a matrix mapping from
X into
Y, and we denote it by
\(A:X\to{Y}\), if
Ax exists and is in
Y for all
\(x\in {X}\). We denote the class of all infinite matrices that map
X into
Y by
\((X,Y)\). So,
\(A\in{(X,Y)}\) if and only if
\(A_{n}\in{X}^{\beta}\) for all
\(x\in{X}\) (we write
\(A_{n}\) for the sequence in the
nth row of
A,
i.e.,
\(A_{n}=(a_{nk})_{k=0}^{\infty}\) for every
\(n\in {\mathbb{N}}\) [
21].
The following results are fundamental for our work.
2 The sequence spaces \(l_{\infty}(\tilde{B},p)\), \(c(\tilde{B},p)\), and \(c_{0}(\tilde{B},p)\)
In this section we define the sequence spaces of non-absolute type that derived by the double sequential band matrix \(B(\tilde{r},\tilde{s})\). These sequence spaces are the complete paranormed linear spaces.
Let
\(k,n\in{\mathbb{N}}\) and
\(\tilde{r}=(r_{k})\), and
\(\tilde {s}=(s_{k})\) be the convergent sequences whose entries are either constant or distinct non-zero numbers. Then we define the double sequential matrix
\(B(\tilde{r},\tilde{s})=\{b_{nk}(r_{k},s_{k})\} _{n,k=0}^{\infty}\) by
$$ b_{nk}=\left \{ \textstyle\begin{array}{l@{\quad}l} r_{k}, & k=n, \\ s_{k}, & k=n-1, \\ 0, & \text{otherwise}. \end{array}\displaystyle \right . $$
Recently, Ozger and Basar [
16] introduced the sequence spaces
\(l_{\infty}(\tilde{B},p)\),
\(c(\tilde{B},p)\), and
\(c_{0}(\tilde{B},p)\) as follows:
$$\begin{aligned}& l_{\infty}(\tilde{B},p) = \Bigl\{ {x=(x_{k})}\in{w}:\sup _{k\in{\mathbb {N}}}|r_{k}x_{k}+s_{k-1}x_{k-1}|^{p_{k}}< \infty\Bigr\} , \\& c(\tilde{B},p) = \Bigl\{ x=(x_{k})\in{w}:\exists{l\in{\mathbb{C}}}\ni \lim_{k\to{\infty}}|r_{k}x_{k}+s_{k-1}x_{k-1}-l|^{p_{k}}=0 \Bigr\} , \\& c_{0}(\tilde{B},p) = \Bigl\{ x=(x_{k})\in{w}:\lim _{k\to{\infty }}|r_{k}x_{k}+s_{k-1}x_{k-1}|^{p_{k}}=0 \Bigr\} , \end{aligned}$$
and the
\(B(\tilde{r},\tilde{s})\)-transforms of these spaces are in the spaces
\(l_{\infty}(p)\),
\(c(p)\) and
\(c_{0}(p)\), respectively.
Because of the notation (
1) we have
$$ l_{\infty}(\tilde{B},p)=\bigl[l_{\infty}(p)\bigr]_{\tilde{B}}, \qquad c(\tilde {B},p)=\bigl[c(p)\bigr]_{\tilde{B}} \quad \text{and} \quad c_{0}(\tilde {B},p)=\bigl[c_{0}(p)\bigr]_{\tilde{B}}. $$
Throughout, we define the sequence
\(y=(y_{k})\) by the
\(B(\tilde {r},\tilde{s})\)-transform of a sequence
\(x=(x_{k})\), that is,
$$ y_{k}=\bigl\{ B(\tilde{r},\tilde{s})x\bigr\} _{k}=r_{k}x_{k}+s_{k-1}x_{k-1}, \quad \forall{k}\in\mathbb{N}. $$
(2)
Since the spaces
\(\lambda_{(\tilde{B},p)}\) and
λ are norm isomorphic for any sequence space
λ, we observe that
\(x=(x_{k})\in{\lambda_{(\tilde{B},p)}}\) if and only if
\(y=(y_{k})\in {\lambda}\), where the sequences
\(x=(x_{k})\) and
\(y=(y_{k})\) are connected by (
2). Let
\((X,\|\cdot\|)\) be a normed space. If
\(X\supset{\phi}\) is a
BK-space and
\(a=(a_{k})\in{w}\) then we write
$$ \|{a}\|_{X}^{*}=\sup_{x\in{S_{X}}} \Biggl\vert \sum_{k=0}^{\infty }{a_{k}x_{k}} \Biggr\vert , $$
(3)
provided the expression on the right-hand side exists and is finite.
Now, we have the following result.
Now, we have the following lemma by the previous result.
3 The Hausdorff measure of noncompactness
Recently, many authors characterized the classes of compact operators given by infinite matrices on some sequence spaces by using the Hausdorff measure of noncompactness. For example, Mursaleen and Noman in [
18] introduced the notion of generalized means and studied some topological properties of the spaces of generalized means. In [
21] they have characterized some matrix operators on these spaces by applying the Hausdorff measure of noncompactness. Further, Mursaleen and Noman in [
10,
25,
26], Basarir and Kara in [
13,
27], Mursaleen
et al. in [
28], Kara and Basarir in [
29], Maji and Srivastava in [
30], Kara
et al. in [
31] and Alotaibi
et al. in [
23] characterized some classes of compact operators on the spaces in the literature by using the Hausdorff measure of the noncompactness method.
Let
\((X,\|\cdot\|)\) be a normed space. Then the unit sphere and the closed unit ball in
X are denoted by
\(S_{X}=\{x\in{X}: \|{x}\|=1\}\),
\(\overline{B}_{X}=\{x\in {X}: \|{x}\|\leq1\}\). For the Banach spaces
X and
Y we denote the set of all bounded linear operators
\(L:X\to{Y}\) by
\(B(X,Y)\) with the operator norm given by
\(\|{L}\|={\sup_{x\in{S_{X}}}\| {L(x)}\|}\). A linear operator
\(L:X\to{Y}\) is said to be compact if the domain of
L is all of
X and, for every bounded sequence
\((x_{n})\) in
X, the sequence
\(L(x_{n})\) has a subsequence which converges in
Y. We denote the class of all compact operators in
\(B(X,Y)\) by
\(C(X,Y)\). An operator
\(L\in{B(X,Y)}\) is said to be of finite rank if
\(\dim R(L)<{\infty}\), where
\(R(L)\) denotes the range of
L. An operator of finite rank is clearly compact [
32].
Let
S and
M be subsets of a metric space
\((X,d)\) and
\(\epsilon >{0}\). Then
S is called an
ϵ-net of
M in
X if for every
\(x\in{M}\) there exists
\(s\in{S}\) such that
\(d(x,s)<\epsilon\). If the set
S is finite, then the
ϵ-net
S of
M is called a finite
ϵ-net of
M, and we say that
M has a finite
ϵ-net in
X. A subset of a metric space is said to be totally bounded if it has a finite
ϵ-net for every
\(\epsilon>{0}\) [
10].
We denote the collection of all bounded subsets of a metric space
\((X,d)\) by
\(M_{X}\). If
\(Q\in{M_{X}}\), then the Hausdorff measure of noncompactness of the set
Q, denoted by
\(\chi{(Q)}\), is defined by
$$ \chi{(Q)}=\inf\{\epsilon>{0}:Q\text{ has a finite } \epsilon \text{-net in }X\}. $$
(13)
The function
\(\chi:M_{X}\to[0,\infty)\) is called the Hausdorff measure of noncompactness.
The basic properties of the Hausdorff measure of noncompactness can be found in [
22,
33,
34]. For example, if
Q,
\(Q_{1}\), and
\(Q_{2}\) are bounded subsets of a metric space
\((X,d)\), then:
(1)
\(\chi{(Q)}=0\) if and only if Q is totally bounded,
(2)
\(Q_{1}\subset{Q_{2}}\) implies \(\chi(Q_{1})\leq\chi (Q_{2})\).
Further, if
X is a normed space, then the function
χ has some additional properties connected with the linear structure, that is,
(1)
\(\chi(Q_{1}+Q_{2})\leq\chi(Q_{1})+\chi(Q_{2})\),
(2)
\(\chi(\alpha Q)=|\alpha|\chi(Q)\), \(\forall\alpha\in{\mathbb{C}}\).
Let
X and
Y be Banach spaces and
\(L\in{B(X,Y)}\). Then the Hausdorff measure of noncompactness of
L, denoted by
\(\| {L}\|_{\chi}\), is defined by
$$ \|{L}\|_{\chi}=\chi\bigl(L(S_{X})\bigr) $$
(14)
and
$$ \|{L}\|_{\chi}=0 \quad \text{if and only if}\quad L\in {C(X,Y)} \quad \text{[33]}. $$
(15)
The following theorem gives an estimate for the Hausdorff measure of noncompactness in Banach spaces with Schauder bases and in this theorem
I denotes the identity operator on
X.
Further, the following result shows how to compute the Hausdorff measure of noncompactness in the spaces \(c_{0}\) and \(l_{p}\) (\(1\leq {p}<{\infty}\)) which are BK-spaces with AK.
An infinite matrix \(T=(t_{nk})\) is called a triangle if \(t_{nn}\neq0\) and \(t_{nk}=0\) for all \(k>n\) (\(n\in{\mathbb{N}}\)).
4 Compact operators on the spaces \(l_{\infty}(\tilde {B},p)\), \(c(\tilde{B},p)\), and \(c_{0}(\tilde{B},p)\)
In this section, we establish some identities or estimates for the Hausdorff measure of noncompactness of certain operators on the spaces \(l_{\infty}(\tilde{B},p)\), \(c(\tilde{B},p)\), and \(c_{0}(\tilde{B},p)\). Also, we apply our results to characterize some classes of compact operators on those spaces.
We mentioned the following lemmas, which will be used in proving our results.
The following lemmas are necessary for the next theorem.
5 Some applications
In this section we obtain some estimates or identities for the operator norms of certain matrix operators and we deduce the necessary and sufficient conditions for such operators to be compact. Furthermore, we obtain these results by using the Hausdorff measure of the noncompactness technique.
We denote the space of all sequences of bounded variation by
bυ, that is,
$$ b\upsilon=\bigl\{ x=(x_{k})\in{w}:(x_{k}-x_{k-1}) \in{l_{1}}\bigr\} . $$
We write
\(b\upsilon^{p}\) for the space of all sequences of
p-bounded variation, that is,
$$ b\upsilon^{p}=\bigl\{ x=(x_{k})\in{w}:(x_{k}-x_{k-1}) \in{l_{p}}\bigr\} \quad (1< p< \infty). $$
\(b\upsilon^{p}\) is a
BK-space with its natural norm (
cf. [
35]). For every
\(a=a_{k}\in{(b\upsilon^{p})}^{\beta}\), we have
$$ \|{a}\|_{b\upsilon^{p}}^{*}=\Biggl(\sum _{k=0}^{\infty}\Biggl\vert \sum _{j=k}^{\infty}a_{j}\Biggr\vert ^{q} \Biggr)^{\frac{1}{q}}. $$
(49)
So, by using (
49) we obtain the following consequence of Theorem 3.3 in [
32] in the spaces
\(l_{\infty}(\tilde{B},p)\),
\(c(\tilde{B},p)\), and
\(c_{0}(\tilde{B},p)\).
Now, we consider some relations between
X (where
X is any of the spaces
\(l_{\infty}(\tilde{B},p)\),
\(c(\tilde{B},p)\) or
\(c_{0}(\tilde {B},p)\)) and some another sequence spaces derived by the domain of the triple band matrix. First we introduce the sequence spaces
\(l_{\infty}(B)\),
\(c(B)\),
\(c_{0}(B)\), and
\(l_{p}(B)\) as the set of all sequences whose
\(B(r,s,t)\)-transforms are in the spaces
\(l_{\infty}\),
c,
\(c_{0}\), and
\(l_{p}\), respectively (for more details refer to [
36]),
$$\begin{aligned}& l_{\infty}(B) = \Bigl\{ x=(x_{k})\in{w}: \sup _{k\in{\mathbb {N}}}|rx_{k}+sx_{k-1}+tx_{k-2}|< { \infty}\Bigr\} , \\& c(B) = \bigl\{ x=(x_{k})\in{w}: \exists{l}\in{\mathbb{C}}\ni\lim |rx_{k}+sx_{k-1}+tx_{k-2}-l|=0\bigr\} , \\& c_{0}(B) = \bigl\{ x=(x_{k})\in{w}: \lim|rx_{k}+sx_{k-1}+tx_{k-2}|=0 \bigr\} , \\& l_{p}(B) = \biggl\{ x=(x_{k})\in{w}: \sum _{k}|rx_{k}+sx_{k-1}+tx_{k-2}|^{p}< { \infty}\biggr\} . \end{aligned}$$
We now consider the special case of Theorems 4.1 and 4.2 in [
32] when
\(T=B(\tilde{r},\tilde{s})\), and
\(X=l_{p}(B)\).
The final result is a special case of Theorem 3.3 in [
32] in the new spaces
\(l_{\infty}(\tilde{B},p)\),
\(c(\tilde{B},p)\), and
\(c_{0}(\tilde{B},p)\).
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors of the manuscript have read and agreed to its content and are accountable for all aspects of the accuracy and integrity of the manuscript in accordance with ICMJE criteria.