- Research
- Open access
- Published:
Eigenvalues of s-type operators on \(C(p)\) equipped with a pre-quasi norm
Journal of Inequalities and Applications volume 2020, Article number: 219 (2020)
Abstract
We investigate some new topological properties of the multiplication operator on \(C(p)\) defined by Lim (Tamkang J. Math. 8(2):213–220, 1977) equipped with the pre-quasi-norm and the pre-quasi-operator ideal formed by this sequence space and s-numbers.
1 Introduction
Throughout the article, we denote the space of all bounded linear operators from a Banach space X into a Banach space Y by \(L(X, Y)\) and if \(X=Y\), we write \(L(X)\), the space of all complex sequences by w, the real numbers \(\mathbb{R}\), the complex numbers \(\mathbb{C}\), \(\mathbb{N}=\{0, 1, 2,\ldots\}\), the space of convergent complex sequences to zero by \(C_{0}\), the space of bounded complex sequences by \(\ell _{\infty }\) and all sequences whose its elements are complex by \(\mathbb{C}^{\mathbb{N}}\). For a sequence \((p_{n})\) with \(\inf_{n} p_{n}>0\), Lim (see [1]) defined and studied the sequence space \(C(p)\) as follows:
The space \(C(p)\) is a Banach space with the Luxemburg norm
If \((p_{n})\) is bounded, we can simply write
Remark 1.1
Taking \(p_{n}=p\), for all \(n\in \mathbb{N}\), then \(C(p)\) is reduced by Lim (see [2]) to \(\mathrm{ces}_{p}\), he defined and determined its dual spaces and characterize some matrix classes.
The multiplication operators and operator ideals theorems give an importance in functional analysis, since it has numerous applications in fixed point theorem, geometry of Banach spaces, spectral theory and eigenvalue distributions theorem etc. For more details see [3–14]). On sequence spaces, Mursaleen and Noman (see [15]) investigated the compact operators on some difference sequence spaces, Komal and Gupta (see [16]) studied the multiplication operators on Orlicz spaces equipped with the Luxemburg norm and Komal et al. (see [17]) examined the multiplication operators on Cesáro sequence spaces equipped with the Luxemburg norm. Some of operator ideals in the class of Hilbert spaces or Banach spaces are generated by numeric sequence spaces. For example the ideal of compact operators is defined by the space of Kolmogorov numbers and \(C_{0}\). Pietsch (see [18]), examined the quasi-ideals generated by \(\ell _{p}\) (\(0< p<\infty \)) and the approximation numbers. He proved that the ideals of nuclear operators and of Hilbert–Schmidt operators between Hilbert spaces are defined by \(\ell _{1}\) and \(\ell _{2}\) respectively. He showed that the class of all finite rank operators are dense in the Banach quasi-ideal and the algebra \(L(\ell _{p})\), where (\(1\leq p<\infty \)) is simple Banach space. Pietsch (see [19]), showed that the quasi-Banach operator ideal formed by the sequence of approximation numbers is small. Makarov and Faried (see [20]) proved that, for any infinite dimensional Banach spaces X, Y and for any \(q>p>0\), \(S^{\mathrm{app}}_{\ell _{p}}(X, Y)\) is strictly contained in \(S^{\mathrm{app}}_{\ell _{q}}(X, Y)\). Faried and Bakery (see [21]) introduced the concept of pre-quasi-operator ideal which is more general than the usual classes of operator ideal, they studied the operator ideals formed by s-numbers, generalized Cesáro and Orlicz sequence spaces \(\ell _{M}\), and showed that the operator ideal formed by approximation numbers and the previous sequence spaces is small under certain conditions. The aim of this article to study the concept of pre-quasi-norm on \(C(p)\) which is more general than the usual norm, and give the conditions on \(C(p)\) equipped with the pre-quasi-norm to be Banach space. We give the necessity and sufficient conditions on \(C(p)\) equipped with the pre-quasi-norm such that the multiplication operator defined on \(C(p)\) is a bounded, approximable, invertible, Fredholm and closed range operator. The components of pre-quasi-operator ideal generated by the sequence of s-numbers and \(C(p)\) is strictly contained for different powers are determined. Furthermore, we give the sufficient conditions on \(C(p)\) equipped with a pre-modular such that the pre-quasi-Banach operator ideal constructed by s-numbers and \(C(p)\) is small, simple and its components is closed. Finally the class of all bounded linear operators, whose sequence of eigenvalues belongs to \(C(p)\) is the same as the pre-quasi-operator ideal formed by the sequence of s-numbers and \(C(p)\).
2 Definitions and preliminaries
The spaces of all finite rank, compact and approximable operators on X are denoted by \(F(X)\), \(L_{c}(X)\) and \(\Psi (X)\), respectively.
Lemma 2.1
(see [18])
Let \(T\in L(X, Y)\). If T is not approximable, then there are operators \(G\in L(X)\)and \(B\in L(Y)\)such that \(BTG e_{k}=e_{k}\), for all \(k\in \mathbb{N}\).
Definition 2.2
(see [18])
A Banach space X is called simple if the algebra \(L(X)\) contains one and only one non-trivial closed ideal.
Theorem 2.3
(see [18])
If X is infinite dimensional Banach space, we have
Definition 2.4
(see [22])
A bounded linear operator \(D : X \rightarrow X\) is called Fredholm if D has closed range, \(\dim (\ker D)\) and \(\operatorname{co-dim}(\operatorname{range}D)\) are finite.
Definition 2.5
(see [23])
A class of linear sequence spaces X is called a special space of sequences (sss) if
-
(1)
\(e_{i}\in X\) for all \(i\in \mathbb{N}\),
-
(2)
if \(u=(u_{i})\in w\), \(v=(v_{i})\in X\) and \(|u_{i}|\leq |v_{i}|\) for every \(i\in \mathbb{N}\), then \(u\in X\) “i.e. X is solid”,
-
(3)
if \((u_{i})_{i=0}^{\infty }\in X\), then \((u_{[\frac{i}{2}]})_{i=0}^{\infty }\in X\), wherever \([\frac{i}{2}]\) means the integral part of \(\frac{i}{2}\).
Definition 2.6
(see [23])
A subclass of the special space of sequences called a pre-modular (sss) if there is a function \(\varrho : X\rightarrow [0,\infty [\) satisfying the following conditions:
-
(i)
\(\varrho (u)\geq 0\) for each \(u\in X\) and \(\varrho (u)=0\Leftrightarrow u=\theta \), where θ is the zero element of X,
-
(ii)
there exists \(L\geq 1\) such that \(\varrho (\beta u)\leq L|\beta |\varrho ( u)\) for all \(u\in X\), and for any scalar β,
-
(iii)
for some \(K\geq 1\), \(\varrho (u+v)\leq K(\varrho (u)+\varrho (v))\) for every \(u, v\in X\),
-
(iv)
if \(|u_{i}|\leq |v_{i}|\) for all \(i\in \mathbb{N}\), then \(\varrho ((u_{i}))\leq \varrho ((v_{i}))\),
-
(v)
for some \(K_{0}\geq 1\), \(\varrho ((u_{i}))\leq \varrho ((u_{[\frac{i}{2}]}))\leq K_{0} \varrho ((u_{i}))\),
-
(vi)
the set of all finite sequences is ϱ-dense in X. This means that, for each \(u=(u_{i})_{i=o}^{\infty }\in X\), and for each \(\varepsilon > 0\), there exists \(s\in \mathbb{N}\) such that \(\varrho ((u_{i})_{i=s}^{\infty })<\varepsilon \),
-
(vii)
there exists a constant \(\xi >0\) such that \(\varrho (\beta , 0, 0, 0,\ldots)\geq \xi |\beta |\varrho (1, 0, 0, 0,\ldots)\) for any \(\beta \in \mathbb{R}\).
The concept of pre-quasi-operator ideal which is more general than the usual classes of operator ideal.
Definition 2.7
(see [23])
A function \(g:\Omega \rightarrow [0, \infty )\) is said to be a pre-quasi-norm on the ideal Ω if the following conditions holds:
-
(1)
For all \(T\in \Omega (X, Y)\), \(g(T)\geq 0\) and \(g(T)=0\) if and only if \(T=0\),
-
(2)
there exists a constant \(M\geq 1\) such that \(g(\lambda T)\leq M|\lambda |g(T)\), for all \(T\in \Omega (X, Y)\) and \(\lambda \in \mathbb{R}\),
-
(3)
there exists a constant \(K\geq 1\) such that \(g(T_{1}+T_{2})\leq K[g(T_{1})+g(T_{2})]\), for all \(T_{1},T_{2}\in \Omega (X, Y)\),
-
(4)
there exists a constant \(C\geq 1\) such that if \(T\in L(X_{0}, X)\), \(P\in \Omega (X, Y)\) and \(R\in L(Y, Y_{0})\) then \(g(RPT)\leq C \|R \| g(P) \|T \|\), where \(X_{0}\) and \(Y_{0}\) are normed spaces.
Definition 2.8
(see [24])
An s-number function is a map defined on \(L(X, Y)\) which associate to each operator \(T\in L(X, Y)\) a non-negative scalar sequence \((s_{n}(T))_{n=0}^{\infty }\) assuming that the taking after states are verified:
-
(a)
\(\|T \|=s_{0}(T)\geq s_{1}(T)\geq s_{2}(T)\geq \cdots\geq 0\), for \(T\in L(X, Y)\),
-
(b)
\(s_{m+n-1}(T_{1}+T_{2})\leq s_{m}(T_{1})+s_{n}(T_{2})\) for all \(T_{1}, T_{2}\in L(X, Y)\), \(m, n\in \mathbb{N}\),
-
(c)
ideal property: \(s_{n}(RVT)\leq \|R \| s_{n}(V) \|T \|\) for all \(T\in L(X_{0}, X)\), \(V\in L(X, Y)\) and \(R\in L(Y, Y_{0})\), where \(X_{0}\) and \(Y_{0}\) are arbitrary Banach spaces,
-
(d)
if \(G\in L(X, Y)\) and \(\lambda \in \mathbb{R}\), we obtain \(s_{n}(\lambda G)=|\lambda |s_{n}(G)\),
-
(e)
rank property: if \(\operatorname{rank}(T)\leq n\), then \(s_{n}(T)=0\) for each \(T\in L(X, Y)\),
-
(f)
norming property: \(s_{r\geq n}(I_{n})=0\) or \(s_{r< n}(I_{n})=1\), where \(I_{n}\) represents the unit operator on the n-dimensional Hilbert space \(\ell _{2}^{n}\).
There are several examples of s-numbers, we mention the following:
-
(1)
The nth approximation number, denoted by \(\alpha _{n}(T)\), is defined by
$$ \alpha _{n}(T)=\inf \bigl\{ \|T-B \|:B\in L(X, Y) \text{ and } \operatorname{rank}(B) \leq n\bigr\} . $$ -
(2)
The nth Kolmogorov number, denoted by \(d_{n}(T)\), is defined by
$$ d_{n}(T)=\inf_{\dim Y\leq n}\sup_{ \Vert x \Vert \leq 1} \inf_{y\in Y} \Vert Tx-y \Vert . $$
Notations 2.9
(see [21])
Theorem 2.10
(see [25])
Let \(E_{\rho }\)be a pre-modular (sss). Then the linear space \(F(X, Y)\)is dense in \(S_{E_{\rho }}(X, Y)\), where \(g(T)=\rho (s_{n}(T)_{n=0}^{\infty })\).
Theorem 2.11
(see [21])
The function \(g(T)=\varrho (s_{i}(T))_{i=0}^{\infty }\)is a pre-quasi norm on \(S_{E_{\varrho }}\), where \(E_{\varrho }\)is a pre-modular (sss).
During this paper, we define \(e_{n}=\{0, 0,\ldots,1,0,0,\ldots\}\) where 1 appears at the nth place for all \(n\in \mathbb{N}\), the following well-known inequality (see [26]): \(|a_{i}+b_{i}|^{p_{i}}\leq H(|a_{i}|^{p_{i}}+|b_{i}|^{p_{i}})\), where \(H=\max \{1, 2^{\sup _{i}p_{i}-1}\}\), \(0\leq p_{i}\leq \sup_{i}p_{i}<\infty \) and \(a_{i}, b_{i}\in \mathbb{C}\) for every \(i\in \mathbb{N}\) are used.
3 Main results
We give here the concept of pre-quasi-norm on \(C(p)\) which is more general than the usual norm, and give the conditions on this sequence space equipped with the pre-quasi-norm to be a Banach space.
Definition 3.1
Let X be special space of sequences (sss). Assume there is a function \(\varrho : X\rightarrow [0,\infty [\) satisfying the following conditions:
-
(i)
\(\varrho (x)\geq 0\) for each \(x\in X\) and \(\varrho (x)=0\Leftrightarrow x=\theta \), where θ is the zero element of X,
-
(ii)
there exists \(L\geq 1\) such that \(\varrho (\lambda x)\leq L|\lambda |\varrho ( x)\) for all \(x\in X\), and for any scalar λ,
-
(iii)
for some \(K\geq 1\), we have \(\varrho (x+y)\leq K(\varrho (x)+\varrho (y))\) for every \(x, y\in X\).
The space X with ϱ is called pre-quasi-normed (sss) and denoted by \(X_{\varrho }\), which gives a class more general than the quasi-normed space. If the space X is complete with ϱ, then \(X_{\varrho }\), is called a pre-quasi-Banach (sss).
We express the following two theorems without verification, since they are clear.
Theorem 3.2
Every quasi-norm (sss) is pre-quasi-norm (sss).
Theorem 3.3
Every pre-modular (sss) is pre-quasi-normed (sss).
Theorem 3.4
If \((p_{n})\)is an increasing bounded sequence with \(p_{0}>1\), then the space \((C(p) )_{\varrho }\)is a pre-modular Banach (sss), where \(\varrho (x)=\sum^{\infty }_{n=0} ( \frac{\sum_{k=2^{n}-1}^{2^{n+1}-2}|x_{k}|}{2^{n}} )^{p_{n}}\), for all \(x\in C(p)\).
Proof
(1-i) let \(x, y\in C(p)\). Since \((p_{n})\) is bounded, we have
then \(x+y\in C(p)\).
(1-ii) let \(\lambda \in \mathbb{C}\), \(x\in C(p)\) and since \((p_{n})\) is bounded, we have
Then \(\lambda x\in C(p)\), from (1-i) and (1-ii) \(C(p)\) is a linear space.
Since \((p_{n})\) is an increasing bounded sequence with \(p_{0}>1\), for all \(m\in \mathbb{N}\) we have
where \(n_{0}\in \mathbb{N}\) is such that \(2^{n_{0}}-1\leq m\leq 2^{n_{0}+1}-2\). Hence \(e_{m}\in C(p)\), for all \(m\in \mathbb{N}\).
(2) Let \(|x_{n}|\leq |y_{n}|\) for all \(n\in \mathbb{N}\) and \(y\in C(p)\). Hence
we get \(x\in C(p)\).
(3) Let \((x_{n})\in C(p)\), we have
then \((x_{[\frac{n}{2}]})\in C(p)\).
-
(i)
Clearly, \(\varrho (x)\geq 0\) and \(\varrho (x)=0\Leftrightarrow x=\theta \).
-
(ii)
There is a number \(L=\max \{1,\sup_{n}|\lambda |^{p_{n}-1} \}\geq 1\) with \(\varrho (\lambda x)\leq L|\lambda |\varrho ( x)\) for all \(x\in C(p)\) and \(\lambda \in \mathbb{C}\).
-
(iii)
We have the inequality \(\varrho (x+y)\leq H(\varrho (x)+\varrho (y))\) for all \(x, y\in C(p)\).
-
(iv)
It is clear from (2) that \((C(p) )_{\varrho }\) is solid.
-
(v)
It is clear from (3) that \(K_{0}\geq (2H^{2}+3H)\geq 1\).
-
(vi)
It is clear that \(\overline{F}=C(p)\).
-
(vii)
There exists a constant \(0<\xi \leq |\lambda |^{p_{0}-1}\) such that \(\varrho (\lambda , 0, 0, 0,\ldots)\geq \xi |\lambda |\varrho (1, 0, 0, 0,\ldots)\) for any \(\lambda \neq 0\) and \(\xi >0\), when \(\lambda =0\).
Hence the space \((C(p) )_{\varrho }\) is pre-modular (sss). To prove that \((C(p) )_{\varrho }\) is a pre-modular Banach (sss), suppose \(x^{n}=(x_{k}^{n})_{k=0}^{\infty }\) is a Cauchy sequence in \((C(p) )_{\varrho }\), then, for every \(\varepsilon \in (0, 1)\), there exists a number \(n_{0}\in \mathbb{N}\) such that, for all \(n,m\geq n_{0}\), one has
Hence, for \(n,m\geq n_{0}\) and \(i\in \mathbb{N}\), we get
So \((x^{m}_{i})\) is a Cauchy sequence in \(\mathbb{R}\) for fixed \(i\in \mathbb{N}\), this gives \(\lim_{m\rightarrow \infty }x^{m}_{i}=x^{0}_{i}\) for fixed \(i\in \mathbb{N}\). Hence \(\varrho (x^{n}-x^{0})<\varepsilon ^{\sup _{i}p_{i}}\), for all \(n\geq n_{0}\). Finally to prove that \(x^{0}\in C(p)\), we have
so \(x^{0}\in C(p)\). This means that \((C(p) )_{\varrho }\) is a pre-modular Banach (sss). □
Corollary 3.5
If \(1< p<\infty \), then \((\mathrm{ces}_{p} )_{\varrho }\)is a pre-modular Banach (sss), where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p}\)for all \(x\in \mathrm{ces}_{p}\).
4 Multiplication operator on pre-quasi-normed (sss)
We define in this section a multiplication operator on \(C(p)\) with a pre-quasi-norm and give the necessity and sufficient conditions on the multiplication operator to be bounded, approximable, invertible, Fredholm and closed range operator.
Definition 4.1
Let \(\beta \in \mathbb{C}^{\mathbb{N}}\) be a bounded sequence and \(E_{\varrho }\) be a pre-quasi-normed (sss), the multiplication operator is defined as \(T_{\beta }:E\rightarrow E\), where \(T_{\beta }x=\beta x= (\beta _{k}x_{k} )_{k=0}^{\infty }\), for all \(x\in E\). If \(T_{\beta }\) is continuous, we call it a multiplication operator induced by β.
Theorem 4.2
If \(\beta \in \mathbb{C}^{\mathbb{N}}\)and \((p_{n})\)is a bounded sequence, then \(\beta \in \ell _{\infty }\)if and only if \(T_{\beta }\in L((C(p))_{\varrho })\), where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in (C(p) )_{\varrho }\).
Proof
Let \(\beta \in \ell _{\infty }\). Then there exists \(C > 0\) such that \(|\beta _{n}|\leq C\), for all \(n\in \mathbb{N}\). For \(x\in (C(p))_{\varrho }\), since \((p_{n})\) is a bounded sequence, we have
where \(A=\sup_{n}C^{p_{n}}\), this implies that \(T_{\beta }\in L((C(p))_{\varrho })\).
Conversely, let \(T_{\beta }\in L((C(p))_{\varrho })\). To show that \(\beta \in \ell _{\infty }\). For, if \(\beta \notin \ell _{\infty }\), then, for every \(n\in \mathbb{N}\), there exists some \(i_{n}\in \mathbb{N}\) such that \(\beta _{i_{n}}> n\). Now
where \(i_{0}\in \mathbb{N}\) be such that \(2^{i_{0}}-1\leq i_{n}\leq 2^{i_{0}+1}-2\). This shows that \(T_{\beta }\) is not a bounded operator. So, β must be a bounded sequence. □
Theorem 4.3
Let \(\beta \in \mathbb{C}^{\mathbb{N}}\)and \((C(p))_{\varrho }\)be a pre-quasi-normed (sss), where \(\varrho (x)= \sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\), for all \(x\in (C(p))_{\varrho }\). \(|\beta _{n}|=1\), for all \(n\in \mathbb{N}\)if and only if \(T_{\beta }\)is an isometry.
Proof
Let \(|\beta _{n}|=1\), for all \(n\in \mathbb{N}\). Then
for all \(x\in (C(p))_{\varrho }\). Hence \(T_{\beta }\) is an isometry.
Conversely, let \(T_{\beta }\) be an isometry and \(|\beta _{n}|<1\) for all \(n\in \mathbb{N}\). Then
Also if \(|\beta _{n}|>1\), then we get \(\varrho (\beta x)>\varrho (x)\). In both cases, we get a contradiction. Hence, \(|\beta _{n}|=1\), for all \(n\in \mathbb{N}\). □
Theorem 4.4
Let \(\beta \in \mathbb{C}^{\mathbb{N}}\), \((p_{n})\)be a bounded sequence and \(T_{\beta }\in L((C(p))_{\varrho })\), where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in (C(p))_{\varrho }\). Then \(T_{\beta }\in \Psi ((C(p))_{\varrho })\)if and only if \((\beta _{n})_{n=0}^{\infty }\in C_{0}\).
Proof
Let \(T_{\beta }\) be an approximable operator. Hence \(T_{\beta }\) is compact operator. We have to show that \((\beta _{n})_{n=0}^{\infty }\in C_{0}\). For if this is not true, then there exists \(\delta > 0\) such that \(B_{\delta }=\{r\in \mathbb{N}: |\beta _{r}|\geq \delta \}\) is an infinite set. Let \(d_{1}, d_{2}, \ldots , d_{n}, \ldots \) be in \(B_{\delta }\). Then \(\{e_{d_{n}}:d_{n}\in B_{\delta }\}\) is an infinite bounded set in \((C(p) )_{\varrho }\). We have
for all \(d_{n}, d_{m}\in B_{\delta }\). This proves \(\{e_{d_{n}}: d_{n}\in B_{\delta }\}\) is a bounded sequence, which cannot have a convergent subsequence under \(T_{\beta }\). This shows that \(T_{\beta }\) cannot be a compact, hence is not approximable operator, which is a contradiction. Hence, \(\lim_{n\rightarrow \infty }\beta _{n}=0\).
Conversely, suppose \(\lim_{n\rightarrow \infty }\beta _{n}=0\). Then, for every \(\delta > 0\), the set \(B_{\delta }=\{n\in \mathbb{N}:|\beta _{n}|\geq \delta \}\) is finite. Then
is a finite dimensional space for each \(\delta > 0\). Therefore, \(T_{\beta }| ( (C(p) )_{\varrho } )_{B_{\delta }}\) is a finite rank operator. For each \(n\in \mathbb{N}\), define \(\beta _{n}:\mathbb{N}\rightarrow \mathbb{C}\) by
Clearly, \(T_{\beta _{n}}\) is a finite rank operator as the space \(( (C(p) )_{\varrho } )_{B_{\frac{1}{n}}}\) is finite dimensional for each \(n\in \mathbb{N}\). Now, by using \((p_{n})\) is a bounded sequence, we have
This proves that \(\|T_{\beta }-T_{\beta _{n}}\|\leq (\frac{1}{n})^{\inf _{n} p_{n}}\) and that \(T_{\beta }\) is a limit of finite rank operators and hence, \(T_{\beta }\) is an approximable operator. □
Theorem 4.5
Let \(\beta \in \mathbb{C}^{\mathbb{N}}\), \((p_{n})\)be a bounded sequence and \(T_{\beta }\in L((C(p))_{\varrho })\), where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in (C(p))_{\varrho }\). Then \(T_{\beta }\in L_{c}((C(p))_{\varrho })\)if and only if \((\beta _{n})_{n=0}^{\infty }\in C_{0}\).
Proof
It is easy so omitted. □
Corollary 4.6
Let \((p_{n})\)be a bounded sequence, we have
where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in C(p)\).
Proof
Since the identity operator I on \((C(p) )_{\varrho }\) is a multiplication operator induced by the sequence \(\beta =(1, 1,\ldots )\), we have \(I\notin L_{c} ( (C(p) )_{\varrho } )\) and \(I\in L ( (C(p) )_{\varrho } )\). □
Theorem 4.7
Let \((C(p) )_{\varrho }\)be a pre-quasi-Banach (sss), where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in C(p)\)and \(T_{\beta }\in L ( (C(p))_{\varrho } )\). Then β is bounded away from zero on \(\mathbb{N}\setminus \ker (\beta ):= \ker (\beta )^{c}\)if and only if \(T_{\beta }\)has closed range.
Proof
Let β be bounded away from zero on \(\ker (\beta )^{c}\). Then there exists \(\epsilon >0\) such that \(|\beta _{n}|\geq \epsilon \), for all \(n\in \ker (\beta )^{c}\). We have to prove that range \((T_{\beta })\) is closed. Let f be a limit point of range \((T_{\beta })\). Then there exists a sequence \(T_{\beta }x_{n}\) in \((C(p) )_{\varrho }\), for all \(n\in \mathbb{N}\) such that \(\lim_{n\rightarrow \infty }T_{\beta }x_{n}=f\). Clearly, the sequence \(T_{\beta }x_{n}\) is a Cauchy sequence. Now, since ϱ is non-decreasing, we have
where
This proves that \((y_{n})\) is a Cauchy sequence in \((C(p) )_{\varrho }\). But \((C(p) )_{\varrho }\) is complete. Therefore, there exists \(x\in (C(p) )_{\varrho }\) such that \(\lim_{n\rightarrow \infty }y_{n}=x\). In view of the continuity of \(T_{\beta }\), hence \(\lim_{n\rightarrow \infty }T_{\beta }y_{n}=T_{\beta }x\). But \(\lim_{n\rightarrow \infty }T_{\beta }x_{n}=\lim_{n\rightarrow \infty }T_{ \beta }y_{n}=f\). Therefore, \(T_{\beta }x=f\). Hence \(f\in \operatorname{range}(T_{ \beta })\). This proves that \(T_{\beta }\) has closed range.
Conversely, suppose that \(T_{\beta }\) has closed range. Then \(T_{\beta }\) is bounded away from zero on \(( (C(p) )_{\varrho } )_{\ker (\beta )^{c}}\). That is, there exists \(\epsilon >0\) such that \(\varrho (T_{\beta }x)\geq \varrho (\epsilon x)\), for all \(x\in ( (C(p) )_{\varrho } )_{\ker (\beta )^{c}}\). Let \(D= \{k\in \ker (\beta )^{c}:|\beta _{k}|<\epsilon \}\). If \(D\neq \phi \), then, for \(n_{0}\in D\), since ϱ is non-decreasing, we have
which is a contradiction. Hence, \(D=\phi \) so that \(|\beta _{k}|\geq \epsilon \), for all \(k\in \ker (\beta )^{c}\). This proves the theorem. □
Theorem 4.8
Let \(\beta \in \mathbb{C}^{\mathbb{N}}\)and \((C(p) )_{\varrho }\)be a pre-quasi-Banach (sss), where \(\varrho (x)= \sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in C(p)\). There exist \(a>0\)and \(A>0\)such that \(a<\beta _{n}<A\); for all \(n\in \mathbb{N}\)if and only if \(T_{\beta }\in L( (C(p) )_{\varrho })\)is invertible.
Proof
Let the condition be true. Define \(\eta \in \mathbb{C}^{\mathbb{N}}\) by \(\eta _{n}=\frac{1}{\beta _{n}}\). Then by Theorem 4.2, \(T_{\beta }\) and \(T_{\eta }\) are bounded linear operators. Also \(T_{\beta }.T_{\eta }=T_{\eta }.T_{\beta }=I\). Hence, \(T_{\beta }\) is the inverse of \(T_{\eta }\). Conversely, let \(T_{\beta }\) be invertible. Then \(\operatorname{range}(T_{ \beta })= ( (C(p) )_{\varrho } )_{\mathbb{N}}\). Therefore, \(\operatorname{range}(T_{ \beta })\) is closed. Hence, by Theorem 4.7, there exists \(a>0\) such that \(|\beta _{n}|\geq a\), for all \(n\in \ker (\beta )^{c}\). Now \(\ker (\beta )=\phi \); otherwise \(\beta _{n_{0}}=0\), for some \(n_{0}\in \mathbb{N}\), in which case \(e_{n_{0}}\in \ker (T_{\beta })\) which is a contradiction, since \(\ker (T_{\beta })\) is trivial. Hence, \(|\beta _{n}|\geq a\), for all \(n\in \mathbb{N}\). Since \(T_{\beta }\) is bounded, so by Theorem 4.2, there exists \(A>0\) such that \(|\beta _{n}|\leq A\), for all \(n\in \mathbb{N}\). Thus, we have proved that \(a\leq |\beta _{n}|\leq A\), for all \(n\in \mathbb{N}\). □
Theorem 4.9
Let \((C(p) )_{\varrho }\)be a pre-quasi-Banach (sss), where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in C(p)\)and \(T_{\beta }\in L ( (C(p) )_{\varrho } )\). Then \(T_{\beta }\)is a Fredholm operator if and only if:
-
(i)
\(\ker (\beta )\)is a finite subset of \(\mathbb{N}\).
-
(ii)
\(|\beta _{n}|\geq \epsilon \), for all \(n\in \ker (\beta )^{c}\).
Proof
Let \(T_{\beta }\) be Fredholm. If \(\ker (\beta )\) is an infinite subset of \(\mathbb{N}\), then \(e_{n}\in \ker (T_{\beta })\), for all \(n\in \ker (\beta )\). But \(e_{n}\)’s are linearly independent, which shows that \(\ker (T_{\beta })\) is an infinite dimensional which is a contradiction. Hence, \(\ker (\beta )\) must be a finite subset of \(\mathbb{N}\). The condition (ii) comes from Theorem 4.7. Conversely, If the conditions (i) and (ii) are true, then we prove that \(T_{\beta }\) is Fredholm. By Theorem 4.7, the condition (ii) implies that \(T_{\beta }\) has closed range. The condition (i) implies that \(\ker (T_{\beta })\) and \((\operatorname{range}(T_{\beta }))^{c}\) are finite dimensional. This proves that \(T_{\beta }\) is Fredholm. □
5 Completeness and closedness of the pre-quasi-ideal components
We give here the sufficient conditions on \(C(p)\) such that the components of pre-quasi-operator ideal \(S_{C(p)}\) are complete.
Theorem 5.1
If X, Y are Banach spaces and \((p_{n})\)is an increasing bounded sequence with \(p_{0}>1\), then \((S_{ (C(p) )_{\varrho }},g )\), where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in C(p)\)and \(g(T)=\varrho ((s_{n}(T))_{n=0}^{\infty } )\)is a pre-quasi-Banach operator ideal.
Proof
Since \((C(p) )_{\varrho }\) is a pre-modular (sss) by Theorem 3.4, then from Theorem 2.11, the function \(g(T)=\varrho ((s_{n}(T))_{n=0}^{\infty } )\) is a pre-quasi-norm on \(S_{ (C(p) )_{\varrho }}\). Let \((T_{i})\) be a Cauchy sequence in \(S_{ (C(p) )_{\varrho }}(X,Y)\), since \(L(X, Y)\supseteq S_{ (C(p) )_{\varrho }}(X,Y)\), we get
then \((T_{j})_{j\in \mathbb{N}}\) is a Cauchy sequence in \(L(X, Y)\). While the space \(L(X, Y)\) is a Banach space, there exists \(T\in L(X, Y)\) with \(\lim_{i\rightarrow \infty } \|T_{i}-T\|=0\) and while \((s_{n}(T_{i}))_{n=0}^{\infty }\in (C(p) )_{\varrho }\) for each \(i\in \mathbb{N}\), using definition (2.6) conditions (iii), (iv) and ϱ being continuous at θ, we get
we have \((s_{n}(T))_{n=0}^{\infty }\in (C(p) )_{\varrho }\), then \(T\in S_{ (C(p) )_{\varrho }}(X,Y)\).
We give here the sufficient conditions on \(C(p)\) such that the components of pre-quasi-operator ideal \(S_{C(p)}\) are closed. □
Theorem 5.2
If X, Y are normed spaces, \((p_{n})\)is an increasing bounded sequence with \(p_{0}>1\), then \((S_{ (C(p) )_{\varrho }},g )\)is a pre-quasi-closed operator ideal, where \(\varrho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in C(p)\)and \(g(T)=\varrho ((s_{n}(T))_{n=0}^{\infty } )\).
Proof
Since \(C(p)\) is a pre-modular (sss) by Theorem 3.4, from Theorem 2.11, the function \(g(T)=\varrho ((s_{n}(T))_{n=0}^{\infty } )\) is a pre-quasi-norm on \(S_{ (C(p) )_{\varrho }}\). Let \(T_{m}\in S_{ (C(p) )_{\varrho }}(X,Y)\) for all \(m\in \mathbb{N}\) and \(\lim_{m\rightarrow \infty }g(T_{m}-T)=0\), since \(L(X, Y)\supseteq S_{ (C(p) )_{\varrho }}(X,Y)\), we get
then \((T_{j})_{j\in \mathbb{N}}\) is a convergent sequence in \(L(X, Y)\). While \((s_{n}(T_{j}))_{n=0}^{\infty }\in (C(p) )_{\varrho }\) for each \(j\in \mathbb{N}\), hence using definition (2.6) conditions (iii), (iv) and ϱ is continuous at θ, we obtain
we have \((s_{n}(T))_{n=0}^{\infty }\in (C(p) )_{\varrho }\), then \(T\in S_{ (C(p) )_{\varrho }}(X,Y)\). □
6 Smallness and simpleness of the pre-quasi-Banach operator ideal
We give here the sufficient conditions on \(C(p)\) such that the pre-quasi-operator ideal formed by the sequence of s-numbers and this sequence space is strictly contained for different powers.
Theorem 6.1
Let X, Y be infinite dimensional Banach spaces and for any \(1< p_{n}< q_{n}\)for all \(n\in \mathbb{N}\), it is true that
Proof
Let the conditions be satisfied, if \(T\in S_{C(p)}(X, Y)\), then \((s_{j}(T))\in C(p)\). We have
hence \(T\in S_{C(q)}(X, Y)\). Next, if we take \((s_{j}(T))_{j=0}^{\infty }\) such that
one can find \(T\in L(X, Y)\) with
and
Hence T does not belong to \(S_{C(p)}(X, Y)\) and \(T\in S_{C(q)}(X, Y)\).
It is easy to verify that \(S_{C(q)}(X, Y)\subset L(X, Y)\). Next, if we take \((s_{j}(T))_{j=0}^{\infty }\) such that \(\sum_{j=2^{i}-1}^{2^{i+1}-2}s_{j}(T)=2^{i} (i+1 )^{-\frac{1}{q_{i}}}\). One can find \(T\in L(X, Y)\) such that T does not belong to \(S_{C(q)}(X, Y)\). This completes the proof. □
Corollary 6.2
For any infinite dimensional Banach spaces X, Y and \(1< p< q<\infty \), then
In this part, we give the conditions for which the pre-quasi-Banach operator ideal \(S^{\mathrm{app}}_{C(p)}\) is small.
Theorem 6.3
If \((p_{n})\)is an increasing bounded sequence with \(p_{0}>1\), then the pre-quasi-Banach operator ideal \(S^{\mathrm{app}}_{C(p)}\)is small.
Proof
Let \((p_{n})\) be an increasing bounded sequence with \(p_{0}>1\), take \(\epsilon = (\sum_{i=0}^{\infty }2^{-ip_{i}} )^{ \frac{1}{\sup _{i}p_{i}}}\). By using Theorems 3.3 and 3.4. Then \((S^{\mathrm{app}}_{C(p)}, g)\), where
is a pre-quasi-Banach operator ideal. Let X and Y be any two Banach spaces. Suppose that \(S^{\mathrm{app}}_{C(p)}(X, Y)=L(X, Y)\), then there exists a constant \(C>0\) such that \(g(T)\leq C\|T\|\) for all \(T\in L(X, Y)\). Suppose that X and Y be infinite dimensional Banach spaces. Hence by Dvoretzky’s theorem (see [27]) for \(n\in \mathbb{N}\), we have quotient spaces \(X/N_{n}\) and subspaces \(M_{n}\) of Y which can be mapped onto \(\ell _{2}^{n}\) by isomorphisms \(H_{n}\) and \(A_{n}\) such that \(\|H_{n}\|\|H_{n}^{-1}\|\leq 2\) and \(\|A_{n}\|\|A_{n}^{-1}\|\leq 2\). Let \(I_{n}\) be the identity map on \(\ell _{2}^{n}\), \(Q_{n}\) be the quotient map from X onto \(X/N_{n}\) and \(J_{n}\) be the natural embedding map from \(M_{n}\) into Y. Let \(\gamma _{j}\) be the Bernstein numbers (see [28]) then
for \(0\leq i\leq n\). Now
Therefore,
for some \(L\geq 1\). Since n is an arbitrary, this gives a contradiction. Thus X and Y both cannot be infinite dimensional when \(S^{\mathrm{app}}_{C(p)}(X, Y)=L(X, Y)\). This finishes the proof. □
We express the accompanying theorem without verifications, these can be set up utilizing a standard procedure.
Theorem 6.4
If \((p_{n})\)is an increasing bounded sequence with \(p_{0}>1\), then the pre-quasi-Banach operator ideal \(S^{\mathrm{Kol}}_{C(p)}\)is small.
Corollary 6.5
If \(1< p<\infty \), then the quasi-Banach operator ideal \(S^{\mathrm{app}}_{\mathrm{ces}_{p}}\)is small.
Corollary 6.6
If \(1< p<\infty \), then the quasi-Banach operator ideal \(S^{\mathrm{Kol}}_{\mathrm{ces}_{p}}\)is small.
The following question arises naturally: for which \(C(p)\), the pre-quasi-Banach ideal is simple?
Theorem 6.7
For any infinite dimensional Banach spaces X, Y, and for any bounded sequences \((p_{n})\), \((q_{n})\)with \(1< p_{n}< q_{n}\)for all \(n\in \mathbb{N}\),
Proof
Suppose that there exists \(T\in L (S_{C(q)}, S_{C(p)} )\) which is not approximable. According to Lemma 2.1, we can find \(A\in L (S_{C(q)}, S_{C(q)} )\) and \(B\in L (S_{C(p)}, S_{C(p)} )\) with \(BTA I_{k}=I_{k}\). Then it follows for all \(k\in \mathbb{N}\) that
This contradicts Theorem (6.1). Hence \(T\in \Psi (S_{C(q)}, S_{C(p)} )\), which finishes the proof. □
Corollary 6.8
For any infinite dimensional Banach spaces X and Y. If \(1< p< q\), then
Theorem 6.9
If \((p_{n})\)is an increasing bounded sequence with \(p_{0}>1\), then the pre-quasi-Banach space \(S_{C(p)}\)is simple.
Proof
Suppose that the closed ideal \(L_{C}(S_{C(p)})\) contains an operator T which is not approximable. According to Lemma 2.1, we can find \(A, B\in L(S_{C(p)})\) with \(BTA I_{k}=I_{k}\). This means that \(I_{S_{C(p)}}\in L_{C}(S_{C(p)})\). Consequently \(L(S_{C(p)})=L_{C}(S_{C(p)})\). Therefore \(\Psi (S_{C(p)})\) is the only non-trivial closed ideal in \(L(S_{C(p)})\).
We give here the sufficient conditions such that the pre-quasi-ideal \(S_{ (C(p) )_{\rho }}\) is approximable. □
Theorem 6.10
Take any infinite dimensional Banach spaces X and Y. If \((p_{n})\)is an increasing bounded sequence with \(p_{0}>1\), then \(\overline{F(X, Y)}=S_{ (C(p) )_{\rho }}(X, Y)\), where \(\rho (x)=\sum^{\infty }_{i=0} ( \frac{\sum_{j=2^{i}-1}^{2^{i+1}-2}|x_{j}|}{2^{i}} )^{p_{i}}\)for all \(x\in C(p)\)and the converse is not necessarily true.
Proof
Since \((C(p) )_{\rho }\) is a pre-modular (sss), then from Theorem 2.10, we have \(\overline{F(X, Y)}=S_{ (C(p) )_{\rho }}(X, Y)\). Conversely since \(I_{4}\in S_{ (C(1) )_{\rho }}\) the condition is not satisfied, which is a counter example. This finishes the proof. □
7 Eigenvalues of s-type operators
We give here the sufficient conditions on \(C(p)\) such that the pre-quasi-operator ideal formed by the sequence of s-numbers and this sequence space is equal the class of all bounded linear operators whose sequence of eigenvalues belongs to this sequence space.
Notations 7.1
where
Theorem 7.2
Take any infinite dimensional Banach spaces X and Y. If \((p_{n})\)is an increasing bounded sequence with \(p_{0}>1\), then
Proof
Let \(T\in S_{C(p)}(X, Y)\), then \((s_{n}(T))_{n=0}^{\infty }\in C(p)\). Since \((p_{n})\) is an increasing bounded sequence with \(p_{n}>1\) for all \(n\in \mathbb{N}\), we have
Hence \((s_{n}(T))_{n=0}^{\infty }\in \ell _{(p_{n})}\), so \(\lim_{n\rightarrow \infty }s_{n}(T)=0\). Suppose \(\|T-s_{n}(T)I\|\) is invertible for all \(n\in \mathbb{N}\), then \(\|T-s_{n}(T)I\|^{-1}\) exists and is bounded for all \(n\in \mathbb{N}\). This shows \(\lim_{n\rightarrow \infty }\|T-s_{n}(T)I\|^{-1}=\|T\|^{-1}\) exists and is bounded. Since \((S_{C(p)},g)\) is a pre-quasi-operator ideal, we have
But \(\lim_{n\rightarrow \infty }s_{n}(I)=1\). This is a contradiction, then \(\|T-s_{n}(T)I\|\) is not invertible for all \(n\in \mathbb{N}\). Therefore the sequence \((s_{n}(T))_{n=0}^{\infty }\) is the eigenvalues of T.
Conversely, let \(T\in S_{C(p)}^{\lambda }(X, Y)\), then \((\lambda _{n}(T))_{n=0}^{\infty }\in C(p)\) and \(\|T-\lambda _{n}(T)I\|=0\) for all \(n\in \mathbb{N}\). This gives \(T=\lambda _{n}(T)I\) for all \(n\in \mathbb{N}\), then \(s_{n}(T)=s_{n}(\lambda _{n}(T)I)=|\lambda _{n}(T)|\) for all \(n\in \mathbb{N}\). Hence \((s_{n}(T))_{n=0}^{\infty }\in C(p)\), so \(T\in S_{C(p)}(X, Y)\). This finishes the proof. □
References
Lim, K.P.: Matrix transformation on certain sequence space. Tamkang J. Math. 8(2), 213–220 (1977)
Lim, K.P.: Matrix transformation in the Cesáro sequence spaces. Kyungpook Math. J. 14, 221–227 (1979)
Singh, R.K., Kumar, A.: Multiplication operators with closed range. Bull. Aust. Math. Soc. 16, 247–252 (1977)
Abrahmse, M.B.: Multiplication Operators. Lecture Notes in Mathematics, vol. 693, pp. 17–36. Springer, Berlin (1978)
Raj, K., Sharma, S.K., Kumar, A.: Multiplication operator on Musielak–Orlicz spaces of Bochner type. J. Adv. Stud. Topol. 3, 1–7 (2012)
Sharma, A., Raj, K., Sharma, S.K.: Products of multiplication composition and differentiation operators from \(H^{\infty }\) to weighted Bloch spaces. Indian J. Math. 54, 159–179 (2012)
Singh, R.K., Manhas, J.S.: Composition Operators on Function Spaces. North-Holland, Amsterdam (1993)
Singh, R.K., Manhas, J.S.: Multiplication operators and composition operators with closed ranges. Bull. Aust. Math. Soc. 16, 247–252 (1977)
Takagi, H., Yokouchi, K.: Multiplication and composition operators between two \(L_{p}\)-spaces. Contemp. Math. 232, 321–338 (1999)
Bakery, A.A., Abou Elmatty, A.R.: Some properties of pre-quasi norm on Orlicz sequence space. J. Inequal. Appl. 2020, Article ID 55 (2020)
İlkhan, M., Demiriz, S., Kara, E.E.: Multiplication operators on Cesáro second order function spaces. Positivity 24, 605–614 (2020)
Kara, E.E., Zengin Alp, P.: A new class of operator ideals and approximation numbers. New Trends Math. Sci. 6(4), 8–15 (2018). https://doi.org/10.20852/ntmsci.2018.310
Zengin Alp, P., Kara, E.E.: Some equivalent quasinorms on \(L_{\varphi }\), E. Facta Univ. (NIS), Ser. Math. Inform. 33(5), 739–746 (2018)
Bakery, A.A.: The spectrum generated by s-numbers and pre-quasi normed Orlicz–Cesáro mean sequence spaces. Open Math. 18, 846–857 (2020)
Mursaleen, M., Noman, A.K.: Compactness of matrix operators on some new difference sequence spaces. Linear Algebra Appl. 436, 41–52 (2012)
Komal, B.S., Gupta, S.: Multiplication operators between Orlicz spaces. Integral Equ. Oper. Theory 41(3), 324–330 (2001)
Komal, B.S., Pandoh, S., Raj, K.: Multiplication operators on Cesáro sequence spaces. Demonstr. Math. 49(4), 430–436 (2016)
Pietsch, A.: Operator Ideals. North-Holland, Amsterdam (1980)
Pietsch, A.: Small ideals of operators. Stud. Math. 51, 265–267 (1974)
Makarov, B.M., Faried, N.: Some properties of operator ideals constructed by s numbers. In: Theory of Operators in Functional Spaces, pp. 206–211. Academy of Science. Siberian Section, Novosibirsk (1977) (in Russian)
Faried, N., Bakery, A.A.: Small operator ideals formed by s numbers on generalized Cesáro and Orlicz sequence spaces. J. Inequal. Appl. 2018(1), Article ID 357 (2018). https://doi.org/10.1186/s13660-018-1945-y
Mrowka, T.: A brief introduction to linear analysis: Fredholm operators, geometry of manifolds, Fall 2004 (Massachusetts Institute of Technology: MIT OpenCouseWare) (2004)
Bakery, A.A., Mohammed, M.M.: Small pre-quasi Banach operator ideals of type Orlicz–Cesàro mean sequence spaces. J. Funct. Spaces 2019, Article ID 7265010 (2019)
Pietsch, A.: Eigenvalues and s-Numbers. Cambridge University Press, New York (1986)
Bakery, A.A., Mohammed, M.M.: Some properties of pre-quasi operator ideal of type generalized Cesáro sequence space defined by weighted means. Open Math. 17, 1703–1715 (2019). https://doi.org/10.1515/math-2019-0135
Altay, B., Başar, F.: Generalization of the sequence space \(\ell (p)\) derived by weighted means. J. Math. Anal. Appl. 330(1), 147–185 (2007)
Pietsch, A.: Operator Ideals. VEB, Berlin (1978)
Pietsch, A.: s-Numbers of operators in Banach spaces. Stud. Math. 51, 201–223 (1974)
Acknowledgements
This work was funded by the University of Jeddah, Saudi Arabia, under grant No. (UJ-02-048-DR). The authors, therefore, acknowledge with thanks the University technical and financial support. Also, the authors thank the anonymous referees for their constructive suggestions and helpful comments which led to significant improvement of the original manuscript of this paper.
Availability of data and materials
Not applicable.
Funding
Applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Bakery, A.A., Mohamed, E.A.E. Eigenvalues of s-type operators on \(C(p)\) equipped with a pre-quasi norm. J Inequal Appl 2020, 219 (2020). https://doi.org/10.1186/s13660-020-02484-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02484-9