Multiplication Operators on Weighted Nakano (sss)

Bakery, Awad A.; Abou Elmatty, Afaf R.; Mohamed, OM Kalthum S. K.

doi:https://doi.org/10.1155/2020/1608631

Journal of Mathematics

On this page

Abstract Introduction Preliminaries Data Availability Conflicts of Interest Authors’ Contributions Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2020 | Article ID 1608631 | https://doi.org/10.1155/2020/1608631

Multiplication Operators on Weighted Nakano (sss)

Awad A. Bakery,^1,2Afaf R. Abou Elmatty,²and OM Kalthum S. K. Mohamed^1,3

Academic Editor: Kit C. Chan

Received19 Jul 2020

Accepted15 Sept 2020

Published30 Sept 2020

Abstract

In this article, we investigate the sufficient conditions on weighted Nakano sequence space to be premodular Banach (sss). We examine some topological and geometrical structures of the multiplication operators defined on weighted Nakano prequasi-normed (sss).

1. Introduction

Summability is very important in mathematical models and has numerous implementations, such as normal series theory, approximation theory, ideal transformations, and fixed point theory. For more details, see [1–4]. By , c, , , and c_o, we signify the spaces of each, convergent, bounded, r-absolutely summable, and convergent to zero sequences of complex numbers. indicates the set of nonnegative integers. Let = and be sequences of positive reals, and the weighted Nakano sequence space [5] is defined bywhere . And is a Banach space, where

When , we have(1)If , for all n ∈, then will reduce to (see [6, 7])(2)If , for all n ∈, then will reduce to which is studied by many authors (see [8–10])

By , we will indicate the set of every operators which are linear and bounded between Banach spaces W and Z, and if W = Z, we write . The multiplication operators have a wide field of mathematics in functional analysis, for instance, in eigenvalue distributions theorem, geometric structure of Banach spaces, and theory of fixed point. For more details, see [11–16]. The s-numbers [17] have many examples such as the rth approximation number, denoted by α_r(V), is defined by α_r(V) = inf {: B ∈ and rank(B) ≤ r}, and the rth Kolmogorov number, denoted by d_r(V), is defined by d_r(V) = inf_dimw _≤ _r sup _≤1 inf _∈W. The following notations will be used in the sequel:

A few of operator ideals in the class of Hilbert spaces or Banach spaces are defined by distinct scalar sequence spaces, such as the ideal of compact operators formed by (d_r (V)) and c₀. Pietsch [4] studied the quasi-ideals for , the ideals of Hilbert Schmidt operators between Hilbert spaces constructed by , and the ideals of nuclear operators generated by . He explained that for r ∈ [1, ∞), where is the closed class of all finite rank operators, and the class became simple Banach and small [1]. The strictly inclusion , whenever j > r > 0, W and Z are infinite-dimensional Banach spaces investigated through Makarov and Faried [2]. Faried and Bakery [18] gave a generalization of the class of quasi-operator ideal which is the prequasi-operator ideal, and they examined several geometric and topological structure of and (ces(r))^S. On sequence spaces, Mursaleen and Noman [19, 20] investigated the compact operators on some difference sequence spaces. The multiplication operators on (ces(r), ||.||) with the Luxemburg norm ||.|| elaborated by Komal et al. [21] and Bakery and Abou Elmatty [5] gave the sufficient (not necessary) conditions on such that constructed a simple Banach prequi operator ideal. The prequasi-operator ideal became small and strictly contained for different weights and powers. The aim of this article to explain some results of equipped with the prequasi-norm . Firstly, we give the sufficient conditions on weighted Nakano sequence space to form premodular Banach (sss). Secondly, we give the necessity and sufficient conditions on weighted Nakano sequence space equipped with the prequasi-norm such that the multiplication operator defined on it is bounded, approximable, invertible, Fredholm, and closed range operator.

2. Preliminaries and Definitions

Definition 1 (see [4]). An operator is called approximable if there are Dr ∈ , for every r ∈ and limr⟶∞ ||V—Dr|| = 0.
By and , we will indicate the space of all approximable and compact operators from W to Z, respectively.

Theorem 1 (see [4]). If W is Banach space with dim (W) = ∞, then .

Definition 2 (see [22]). An operator V∈ is called Fredholm if dim (R(V))c < ∞, dim (kerV) < ∞, and R(V) is closed, where (R(V))c denotes the complement of range V.
The sequence e_j = (0, 0, 1, 0, 0, ...) with 1 in the jth coordinate, for every j ∈, will be used in the sequel.

Definition 3 (see [3]). The space of linear sequence spaces Y is called (sss)(1)If e_r ∈ Y with r ∈ ,(2)Let u = (u_r) ∈ , = ()∈ Y, and |u_r|≤||, for every r ∈, then u ∈ Y. This means Y be solid,”(3)If (u_r) , then ∈Y, wherever means the integral part of

Definition 4 (see [23]). A subspace of the (sss) is called a premodular (sss) if there is a function: ⟶ [0, ∞) verifying the conditions:(i)τ(y) ≥ 0, for each y ∈ Y and τ(y) = 0 ⇔ y = θ, where θ is the zero element of Y(ii)There exists a ≥ 1 such that τ(ηy) ≤ a|η| τ(y), for all y ∈ Y, and η ∈(iii)For some b ≥ 1, τ(y + z) ≤ b(τ(y) + τ(z)), for every y, z ∈ Y(iv)|yr| ≤ |zr| with r ∈ , implies τ((yr)) ≤ τ((zr))(v)For some b0 ≥ 1, τ ((yr)) ≤ τ() ≤ b0τ ((yr))(vi)If y = ∈ Y, and d > 0, then there is r0 ∈ with τ() < d(vii)There is t > 0 with τ (ν, 0, 0, 0, ...) ≥ t|ν| τ (1, 0, 0, 0, ...), for any ? ∈

Definition 5 (see [23]). The (sss) is called prequasi-normed (sss) if τ satisfies the Parts (i)–(iii) of Definition 4, and when the space Y is complete under τ, then is called a prequasi-Banach (sss).

Theorem 2 (see [23]). A prequasi-norm (sss) , whenever it is premodular (sss).

The inequality [24]: where ≥ 0, for all i ∈ and , will be used in the sequel.

3. Main Results

3.1. Prequasi-Norm on

We investigate the sufficient conditions on the sequence space equipped with prequasi-norm to form prequasi-Banach and closed (sss).

Theorem 3. , where , for all x ∈ , is a premodular (sss), if the following conditions are satisfied:(a1)The sequence ∈ ∩ is increasing(a2)Either (β_n) is a monotonic decreasing or monotonic increasing such that there is C ≥ 1 for which β2_n + 1 ≤ Cβ_n

Proof. Firstly, we have to prove is a (sss):(1-i)Let x, y ∈ . Since is bounded, we obtainthen x + y ∈ .(1-ii)Let λ ∈ and x ∈ . Since is bounded, we have(i)Then, λ x ∈ Therefore, by using Parts (1-i) and (1-ii) we have that the space is linear. Also, en ∈ , for all n ∈ , since(2)Let , for all n ∈ and y ∈ . Since β_n > 0, for all n ∈ , then τ(x) = ≤ = τ(y) < ∞, we get x ∈ .(3)Let ∈ and (β_n) be an increasing sequence. There exists C ≥ 1 such that β2_n + 1 ≤ Cβ_n and be an increasing; then, we havethen ∈ . Secondly, we show that the functional τ on is a premodular:(i)Evidently, τ (x) ≥ 0 and τ (x) = 0 ⇔ x = θ(ii)There is a steady a = max {1, supn } ≥ 1 such that τ (λx) ≤ a|λ| τ (x), for all x ∈ and λ ∈ (iii)There exists K ≥ 1 such that τ (x + y) ≤ K (τ(x) + τ(y)), for all x, y ∈ (iv)Clearly, from the proof part (2) of Theorem 3, the condition is clear since the weighted Nakano sequence space is solid(v)It is obtained from (3) that ≥ 1(vi)It is clear that = (vii)There exists a steady 0 < ≤ , for λ 0 or > 0, for λ = 0 such that τ (λ, 0, 0, 0, ...) |λ| τ (1, 0, 0, 0, ...)

Theorem 4. If conditions (a1) and (a2) are satisfied, then , where for all x ∈ , is a prequasi-Banach (sss).

Proof. Let the conditions be verified. By Theorem 3, the space is a premodular (sss). Therefore, from Theorem 2, the space is a prequasi-normed (sss). To prove that is a prequasi-Banach (sss), suppose x_n = be a Cauchy sequence in , then for every ε ∈ (0, 1), there exists a number ∈ such that, for all n, m ≥ , one hasHence, for n, m ≥ and j ∈ , we get < ε.
So, is a Cauchy sequence in for fixed j ∈ , and this gives for j ∈ . Hence, τ (x_n−x₀) < ε, for all n ≥ . Finally, to prove that x₀ ∈ , we have τ (x₀) = τ (x₀ − x_n + x_n) ≤ τ(x_n–x₀) + τ(x_n) < ∞.
So, x₀ ∈ . This means that is a prequasi-Banach (sss).

Theorem 5. If conditions (a1) and (a2) are satisfied, then , where , for all x ∈ , is a prequasi-closed (sss).

Proof. Let the conditions be verified. By Theorem 3, the space is a premodular (sss). Therefore, from Theorem 2, the space is a prequasi-normed (sss). To prove that is a prequasi-closed (sss), suppose ∈ and limn ⟶ ∞ , then for every ε ∈ (0, 1), there exists a number ∈ such that for all n ≥ , one hasHence, for n ≥ and j ∈ , we get < ε.
So, is a convergent sequence in for fixed j ∈ , and this gives limm ⟶ ∞ for fixed j ∈ . Finally, to prove that x₀ ∈ , we have τ (x₀) = τ(x₀ − x_n + x_n) ≤ τ(x_n − x₀) + τ(x_n) < ∞.
So, x₀ ∈ . This means that is a prequasi-closed (sss).

3.2. Bounded Multiplication Operator on

Here after, we investigate some topological and geometric structure of the multiplication operator acting on . In this section, we examine the sufficient conditions on the sequence space equipped with prequasi-norm τ such that the multiplication operator defined on is bounded and isometry.

Definition 6. Let κ ∈ ∩ ℓ∞ and W_τ be a prequasi-normed (sss). An operator V_κ: W_τ ⟶ W_τ is called multiplication operator if V_κ = κ = ∈ W, for all ∈W. If Vκ ∈ , we name it a multiplication operator generated by κ.

Theorem 6. Let κ ∈ and conditions (a1) and (a2) be satisfied; then, κ ∈ ℓ∞, if and only if , where , for all x ∈ .

Proof. Let the conditions be satisfied. Assume κ ∈ ℓ∞. Therefore, there is ε > 0 with || ≤ ε, for every r ∈ . For x ∈ , since is bounded from above with > 0, for all r ∈ , thenThis gives V_κ ∈ . Conversely, assume that V_κ ∈ . Let us assume κ ∉ ℓ∞; hence, for each j ∈ , there is ∈ such that > j. Since ∈ ∩ ℓ∞ is increasing, we haveThis shows that V_κ ∈. Therefore, κ ∈ ℓ∞.

Theorem 7. Pick up κ ∈ and be a prequasi-normed (sss), with τ(x) = , for all x ∈ . Then, = 1, for all r ∈ , if and only if, Vκ is an isometry.

Proof. Suppose |κ_r| = 1, for all r ∈ . Hence,for all x ∈ . Therefore, V_κ is an isometry. Conversely, Assume that |κi| < 1 for some i = i0. Since ∈ ∩ ℓ∞ is increasing, we obtainWhen || > 1, we can prove that > . Therefore, in both cases, we have a contradiction. So, |κ_r| = 1, for every r ∈ .

3.3. Approximable Multiplication Operator on

In this section, we introduce the sufficient conditions on the sequence space equipped with prequasi-norm τ such that the multiplication operator defined on is an approximable and compact. By card (A), we indicate the cardinality of the set A.

Theorem 8. If κ ∈ and is a prequasi-normed (sss), where τ(x) = , for all x ∈ , then, V_κ ∈ if and only if ∈ c₀.

Proof. Assume that V_κ ∈ . Therefore, V_κ ∈ , to prove that the sequence belongs to c₀. Suppose ∉ c₀. Hence, there is δ > 0 such that the set = {r ∈: |κ_r| ≥ δ} has card = ∞. Assume ai ∈, for all i ∈. Hence, {: ai ∈ Aδ} is an infinite bounded set in . Letfor all ∈ Aδ. This shows {: ∈ Bδ} ∈ ℓ∞ which cannot have a convergent subsequence under V_κ. This proves that V_k ∉ . Then, V_k ∉, this gives a contradiction. So, limi ⟶ ∞ κ_i = 0. Conversely, let limi ⟶∞ κ_i = 0. Then, for each δ > 0, the set = {i ∈: |κ_i| ≥ δ} has card (Aδ) < ∞. Hence, for every δ > 0, the space = {x = (xi) ∈ } is finite dimensional. Then, Vκ| is a finite rank operator. For every i ∈ , dene κi∈ by (κ i)j =
It is clear that has rank <∞ as dim < ∞, for each i ∈ . Therefore, since ∈ ∩ ℓ∞ is increasing, we obtainThis implies that and that V_κ is a limit of finite rank operators. Therefore, V_κ is an approximable operator.

Theorem 9. Let κ ∈ and be a prequasi-normed (sss), where τ(x) = , for all x ∈ . Then, V_κ ∈ , if and only if, ∈ c₀.

Proof. It is simple so overlooked.

Corollary 1. If κ ∈ , conditions (a1) and (a2) are satisfied, then , where τ(x) = , for all x ∈.

Proof. Since I is a multiplication operator on generated by κ = (1, 1, ...), therefore, I ∉ and I ∈ .

3.4. Fredholm Multiplication Operator on

In this section, we give the sufficient conditions on the sequence space equipped with prequasi-norm such that the multiplication operator defined on has closed range, invertible, and Fredholm.

Theorem 10. If κ ∈ , is prequasi-Banach (sss), where τ(x) = , for all x ∈ , then κ is bounded away from zero on , if and only if, R(Vκ) is closed.

Proof. Let the sufficient condition be satisfied. Therefore, there is > 0 with ≥ , for all i ∈ c, to show R(Vκ) is closed. Assume d be a limit point of R(Vκ). Therefore, there is V_κxi in , for all i ∈ such that lim i⟶∞ Vκxi = d. Obviously, (V_κxi) is a Cauchy sequence. Since ∈ ∩ ℓ∞ is increasing, one haswhereThis shows that (yi) is a Cauchy sequence in . Since is complete, there is x such that limi ⟶ ∞yi = x. Since V_κ is continuous, then limi ⟶ ∞ V_κyi = V_κx. However, limi ⟶ ∞ V_κxi = lim i ⟶ ∞ V_κyi = d. Hence, V_κx = d. Therefore, d ∈ R(Vκ). This shows that R(Vκ) is closed. Conversely, let R(Vκ) be closed. Therefore, V_κ be bounded away from zero on . Hence, there exists > 0 such that (V_κx) ≥ (x), for all x ∈.
Assume B = {r ∈: |κ_r|> }. If Bϕ, then for ∈ B, we obtainand this gives contradiction. So, B = ϕ such that |κ_r| ≥ , for all r ∈ . This completes the proof of the theorem.

Theorem 11. If κ ∈ and is a prequasi-Banach (sss), with τ = , for all ∈ , there are b > 0 and B > 0 such that b <|κ_r| < B, for all r ∈, if and only if, V_κ ∈ is invertible.

Proof. Let the conditions be verified. Define γ ∈ CN by γr = . From Theorem 6, we have V_κ, V_γ ∈ and V_κ.V_γ = V_γ. V_κ = I. Then, V_γ is the inverse of V_κ. Conversely, let V_κ be invertible. Hence, R (V_κ) = . This implies R (V_κ) is closed. From Theorem 10, there is b > 0 such that |κ_r| ≥ b, for all r ∈ (ker (κ))c. Now, ker (κ) = ϕ, else = 0, for several r_o ∈ , we get ∈ ker (V_κ). This gives a contradiction, since ker (V_κ) is trivial. So, |κ_r| ≥ b, for all r ∈ . Since Vκ is bounded, hence from Theorem 6, there is B > 0 such that |κ_r| ≤ B, for all r ∈. Therefore, we have shown that b ≤ |κ_r| ≤ B, for all r ∈.

Theorem 12. If κ ∈ and is a prequasi-Banach (sss), where τ = , for all ∈ , then Vκ ∈ is Fredholm operator, if and only if, (i) card (ker(κ)) < ∞ and (ii) |κ_r| ≥ , for all r ∈ (ker(κ))c.

Proof. Let V_κ be Fredholm. If card (ker(κ)) = ∞, hence en ∈ ker (Vκ), for all n ∈ ker(κ). Since en’s are linearly independent, this gives card (ker(Vκ)) = ∞. This is a contradiction. Therefore, card (ker(κ)) < ∞. By Theorem 10, condition (ii) is satisfied. Next, if the necessary conditions are verified, to show that V_κ is Fredholm. From Theorem 10, condition (ii) gives that R(V_κ) is closed. Condition (i) indicates that dim (ker(V_κ)) < ∞ and dim ((R(V_κ))c) < ∞. Therefore, V_κ is Fredholm.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no competing interests.

Authors’ Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Acknowledgments

This work was funded by the University of Jeddah, Saudi Arabia, under Grant no. UJ-02-054-DR. The authors, therefore, acknowledge with thanks the University technical and financial support.

References

A. Pietsch, “Small ideals of operators,” Studia Mathematica, vol. 51, no. 3, pp. 265–267, 1974.
View at: Publisher Site | Google Scholar
B. M. Makarov and N. Faried, “Some properties of operator ideals constructed by s numbers (In Russian),” in Theory of Operators in Functional Spaces, pp. 206–211, Academy of Science, Siberian section, Novosibirsk, Russia, 1977.
View at: Google Scholar
N. Faried and A. A. Bakery, “Mappings of type orlicz and generalized cesáro sequence space,” Journal of Inequalities and Applications, vol. 1, 2013.
View at: Publisher Site | Google Scholar
A. Pietsch, Operator Ideals, North-Holland Publishing Company, Amsterdam, NY, USA, 1980.
A. A. Bakery and A. R. Abou Elmatty, “Pre-quasi simple Banach operator ideal generated by s- numbers,” Journal of Function Spaces, Article ID 9164781, 11 pages, 2020.
View at: Publisher Site | Google Scholar
S. T. Chen, “Geometry of orlicz spaces,” Dissertations Mathematics, vol. 356, pp. 1–204, 1996.
View at: Google Scholar
Y. A. Cui and H. Hudzik, “On the Banach-saks and weak Banach-saks properties of some Banach sequence spaces,” Acta Scientiarum Mathematicarum, vol. 65, pp. 179–187, 1999.
View at: Google Scholar
W. Orlicz, “Über konjugierte Exponentenfolgen,” Studia Mathematica, vol. 3, no. 1, pp. 200–211, 1931.
View at: Publisher Site | Google Scholar
V. Klee, “Summability in spaces,” Studia Mathematica, vol. 25, pp. 277–280, 1965.
View at: Google Scholar
K. Sundaresan, “Uniform convexity of Banach spaces l ({p_{i}}),” Studia Mathematica, vol. 39, no. 3, pp. 227–231, 1971.
View at: Publisher Site | Google Scholar
M. B. Abrahmse, “Multiplication operators,” in Lecture Notes in Mathematics, pp. 17–36, Springer-Verlag, Berlin, Germany, 1978.
View at: Google Scholar
A. Sharma, K. Raj, and S. K. Sharma, “Products of multiplication composition and differentiation operators from H^∞ weighted Bloch spaces,” Indian Journal of Mathematics, vol. 54, pp. 159–179, 2012.
View at: Google Scholar
R. K. Singh and J. S. Manhas, Composition Operators on Function Spaces, Elsevier, Amsterdam, Netherlands, 1993.
H. Takagi and K. Yokouchi, “Multiplication and composition operators between two L^{P}-spaces,” Function Spaces, vol. 232, pp. 321–338, 1999.
View at: Publisher Site | Google Scholar
M. İlkhan, S. Demiriz, and E. E. Kara, “Multiplication operators on Cesáro second order function spaces,” Positivity, vol. 24, pp. 605–614, 2020.
View at: Publisher Site | Google Scholar
E. E. Kara and M. Basarir, “On compact operators and some Euler B(m)-difference sequence spaces,” Journal of Mathematical Analysis and Applications, vol. 2, no. 379, pp. 499–511, 2011.
View at: Publisher Site | Google Scholar
A. Pietsch, Eigenvalues and S-Numbers, Cambridge University Press, New York. NY, USA, 1986.
N. Faried and A. A. Bakery, “Small operator ideals formed by s numbers on generalized Cesáro and Orlicz sequence spaces,” Journal of Inequalities and Applications, vol. 1, 2018.
View at: Publisher Site | Google Scholar
M. Mursaleen and A. K. Noman, “Compactness by the Hausdorff measure of noncompactness,” Nonlinear Analysis: Theory, Methods & Applications, vol. 73, no. 8, pp. 2541–2557, 2010.
View at: Publisher Site | Google Scholar
M. Mursaleen and A. K. Noman, “Compactness of matrix operators on some new difference sequence spaces,” Linear Algebra and Its Applications, vol. 436, no. 1, pp. 41–52, 2012.
View at: Publisher Site | Google Scholar
B. S. Komal, S. Pandoh, and K. Raj, “Multiplication operators on Cesáro sequence spaces,” Demonstratio Mathematica, vol. 4, no. 49, pp. 430–436, 2016.
View at: Publisher Site | Google Scholar
T. Mrowka, A Brief Introduction to Linear Analysis: Fredholm Operators. Geometry of Manifolds, Massachusetts Institute of Technology: MIT OpenCouseWare), Cambridge, MA, USA, 2004.
A. A. Bakery and M. M. Mohammed, “Small pre-quasi Banach operator ideals of type orlicz- cesáro mean sequence spaces,” Journal of Function Spaces, vol. 2019, Article ID 7265010, 9 pages, 2019.
View at: Publisher Site | Google Scholar
B. Altay and F. Bașar, “Generalization of the sequence space (p) derived by weighted means,” Journal of Mathematical Analysis and Applications, vol. 1, no. 330, pp. 147–185, 2007.
View at: Google Scholar

Copyright

Copyright © 2020 Awad A. Bakery et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

249

Downloads

540

Citations