- Research
- Open access
- Published:
Matrix transformations of Norlund–Orlicz difference sequence spaces of nonabsolute type and their Toeplitz duals
Advances in Difference Equations volume 2020, Article number: 110 (2020)
Abstract
In this paper, the Nörlund–Orlicz difference sequence space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},u,q)\) of nonabsolute type is introduced as a domain of Nörlund means which is isomorphic to the space \(\ell(p)\) and the basis of the space is constructed. Additionally, the α−, β−, and γ-duals of the spaces are computed and their matrix transformations are given. Finally, the properties like rotundity, modularity of the newly formed spaces are established.
1 Introduction and preliminaries
Summability is a wide field of mathematics in functional analysis and has many applications, for instance, in numerical analysis to speed up the rate of convergence, in operator theory, the theory of orthogonal series, approximation theory, etc. Toeplitz [22] was the first to study summability methods as a class of transformations of complex sequences by complex infinite matrices. By w, we mean the space of all complex sequences. Any vector subspace of w is called a sequence space. The spaces of all bounded, convergent, and null sequences are denoted respectively by \(\ell_{\infty}\), c, and \(c_{0}\). We indicate the set of natural numbers including 0 by \(\mathbb{N}\), and \(\mathcal{G}\) denotes the collection of all finite subsets of \(\mathbb{N}\). Let λ and η be two sequence spaces, and let \(A = (a_{nk})\) be an infinite matrix of real or complex numbers \(a_{nk}\), where \(n, k \in\mathbb{N}\). Then the matrix A defines the A-transformation from λ into η if, for every sequence \(x = (x_{k}) \in\lambda\), the sequence \(Ax = \{(Ax)_{n}\}\), the A-transform of x exists and is in η; where
For example, if \(A=I\), the unit matrix for all n, then \(x_{k} \rightarrow\ell(I)\) means precisely that \(x_{k} \rightarrow\ell\) as \(k \rightarrow\infty\). By \((\lambda: \eta)\), we denote the class of all matrices A such that \(A : \lambda\rightarrow\eta\). For a sequence space λ, the matrix domain \(\lambda_{A}\) of an infinite matrix A is defined as
Also, we write \(A_{n}=(a_{nk})_{k\in\mathbb{N}}\) for the sequence in the nth row of A.
A sequence \((b_{n})\) in a normed space X is called a Schauder basis for X if, for every \(x\in X\), there is one kind of sequence \((\alpha_{n})\) of scalars such that \(x=\sum_{n}\alpha_{n}b_{n}\), that is,
In [10] Lindenstrauss and Tzafriri utilized the idea of Orlicz function to define the Orlicz space of sequences. A sequence \(\mathcal{F} = (F_{k})\) of Orlicz functions is called a Musielak–Orlicz function (see [13, 15]). For detailed definition of Orlicz sequence spaces and paranormed spaces, see [1, 2, 18–21, 23, 25] and the references therein.
Now, we define the sequence spaces \(\ell(q,\Delta^{m}_{n})\) and \(\ell_{\infty}(q,\Delta^{m}_{n})\) as follows:
which are the complete spaces (see [5, 27]).
Kızmaz [8] gave the concept of the spaces \(\ell_{\infty}(\Delta )\), \(c(\Delta )\), and \(c_{0}( \Delta )\) by using difference operator, and it was additionally summed up by Et and Çolak [6]. Let n, m be nonnegative integers, then for a given sequence space Z, we have
for \(Z = c\), \(c_{0}\) and \(\ell_{\infty}\), where \(\Delta ^{m}_{n}x = (\Delta ^{m}_{n}x_{k}) = (\Delta ^{m-1}_{n}x_{k} - \Delta ^{m-1}_{n}x_{k+1})\) and \(\Delta ^{0}x_{k} = x_{k}\) for all \(k, n \in\mathbb{N}\), which is equal to the accompanying binomial representation
Taking \(n = 1\), we get the spaces \(\ell_{\infty}(\Delta ^{m})\), \(c(\Delta ^{m})\), and \(c_{0}( \Delta ^{m})\) studied by Et and Çolak [6]. Taking \(m = n = 1\), we get the spaces \(\ell_{\infty}(\Delta )\), \(c(\Delta )\), and \(c_{0}( \Delta )\) introduced and studied by Kızmaz [8].
Let \(T_{n}=\sum_{k=0}^{n}t_{k}\) for all \(n\in\mathbb{N}\), where \((t_{k})\) is a sequence of nonnegative real numbers with \(t_{0}>0\). Then the Nörlund means \(\mathcal{N}^{t}=(c^{t}_{nk})\) is defined by
for all \(k,n\in\mathbb{N}\). For more details about Nörlund spaces, one can refer to [14, 17, 24]. Let \(t_{0}=D_{0}=1\) and define \(D_{n}\) for \(n\in\{1,2,3,\ldots\}\) by
The inverse matrix \(V^{t}=(v^{t}_{nk})\) of the matrix \(N^{t}=(c^{t}_{nk})\) (see [14]) is as follows:
for all \(k,n \in\mathbb{N}\). Also, for \(k\in\{1,2,3,\ldots\}\), we have
In [26] Yeşilkayagil introduced the Nörlund sequence space \(\mathcal{N}^{t}(q)\) defined by
where \(0< q_{k}\leq D<\infty\). Throughout the paper we shall assume that \({q_{k}}^{-1} + (q^{\prime}_{k})^{-1}=1\) provided \(1 < \inf{q_{k}} \leq D < \infty\). By bs, cs, \(\ell_{1}\), and \(\ell_{p}\), we denote the spaces of all bounded, convergent, absolutely and p-absolutely convergent series respectively.
The main purpose of this paper is to introduce some difference sequence spaces generated by Nörlund matrix and Musielak–Orlicz function. We show that these spaces are complete paranormed spaces. Section three is devoted to determining the α-, β-, and γ-duals of these spaces, and in the fourth section, we discuss the matrix transformations on these spaces. Finally, the rotundity of the Nörlund–Orlicz sequence spaces \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) is characterized, and some properties of these spaces are given.
2 Nörlund–Orlicz sequence space \(\mathcal{N}^{t}(\mathcal {F},\Delta^{m}_{n},\mu,q)\) and its properties
The current section contains completeness and introduction of Nörlund–Orlicz sequence space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). We also show that the Nörlund–Orlicz sequence space and \(\ell(q,\Delta^{m}_{n})\) are linearly isomorphic and determine the basis for the space.
Let \(\mathcal{F} = (F_{j})\) be a Musielak–Orlicz function, \(q = (q_{k})\) be a bounded sequence of positive real numbers, and \(\mu= (\mu_{j})\) be a sequence of positive real numbers. Then we define new difference sequence space \(\mathcal{N}^{t}(\mathcal{F}, \Delta^{m}_{n}, \mu, q)\) as follows:
with \(0< q_{k}\leq D<\infty\), \(k\in\mathbb{N}\). With the definition of matrix domain (1), the sequence space \(\mathcal{N}^{t}(\mathcal{F}, \Delta^{m}_{n}, \mu, q)\) may be redefined as
where \(\mathcal{N}^{t}(\mathcal{F},\mu)\) denotes the matrix \(\mathcal{N}^{t}(\mathcal{F},\mu) = a^{t}_{nk}(\mathcal{F},\mu) \) defined by
Define \(y = (y_{k})=(\Delta^{m}_{n}y_{k})\) to be a sequence used as the \({\mathcal{N}^{t}(\mathcal{F},\mu)}\)-transform of sequence \(x = (x_{k})=(\Delta^{m}_{n}x_{k})\), so we have
Theorem 1
For Musielak–Orlicz function\(\mathcal{F} = (F_{j})\)and let\(\mu= (\mu_{j})\)be a sequence of positive real numbers. Then\(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)is a complete paranormed linear metric space given by
with\(0 \leq q_{k} \leq D < \infty\)and\(H = \max\{1, D\}\).
Proof
The linearity of \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) follows from the following inequality. For \(x=(x_{j})\), \(y=(y_{j}) \in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n}, \mu,q)\) (see [12], p. 30),
and
Clearly \(g(x) \geq0\) for \(x=(x_{k}) \in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,p)\). Since \(M_{k}(0) = 0\), we get \(g(0)=0\) and \(g(x) = g(-x)\). Therefore, inequalities (3) and (4) give the subadditivity of g and
Let \(\{x^{n}\}\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) be any sequence, then
and let \((\beta^{n})\) be a sequence of scalars such that \(\beta^{n}\rightarrow\beta\). Thus
Hence g is paranorm.
Let \(\{x^{i}\}\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) be any Cauchy sequence, where \({x^{i}} = \{{x^{i}_{0}},{x^{i}_{1}},\ldots\}\). Given \(\epsilon> 0\) there exists a positive integer \(n_{0} (\epsilon)\) such that
For each fixed \(k \in\mathbb{N}\),
which yields a Cauchy sequence of real numbers \(\{( \mathcal{N}^{t}(\mathcal{F},\mu)x^{0})_{k}, ( \mathcal{N}^{t}( \mathcal{F},\mu)x^{1})_{k},\ldots\}\) for each fixed \(k \in\mathbb{N}\). Since \(\mathbb{R}\) is complete so that
By using \(( \mathcal{N}^{t}(\mathcal{F},\mu)x)_{0}, ( \mathcal{N}^{t}( \mathcal{F},\mu)x)_{1}, \ldots\) , infinitely many limits, we define \(\{( \mathcal{N}^{t}(\mathcal{F},\mu)x)_{0}, ( \mathcal{N}^{t}( \mathcal{F},\mu)x)_{1},\ldots\}\). For each \(t \in\mathbb{N}\) and \(i, j \geq n_{0}(\epsilon)\), from (5)
Taking \(j\rightarrow\infty\) in (6) and then \(t\rightarrow\infty\), we obtain \(g(x^{i} - x)\leq\epsilon\).
Taking \(\epsilon=1\) in (6) with \(i\geq n_{0}(1)\), we have
gives \(x \in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). We know \(g(x - x^{i})\leq\epsilon\) for all \(i\geq n_{0}(\epsilon)\), therefore \(x^{i}\rightarrow x\) as \(i\rightarrow\infty\). Hence, the space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) is complete. □
Theorem 2
Let\(\mathcal{F} = (F_{j})\)be a Musielak–Orlicz function and\(\mu= (\mu_{j})\)be a sequence of positive real numbers. Then the sequence space\(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)of non-absolute type is linearly isomorphic to\(\ell(q,\Delta^{m}_{n})\), where\(0< q_{k} \leq H < \infty\).
Proof
To demonstrate that the spaces \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) and \(\ell(q,\Delta^{m}_{n})\) are linearly isomorphic, we have to prove that there exists a linear bijection between these spaces. Define a linear transformation \(T:\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \to\ell(q, \Delta^{m}_{n})\) by \(x \rightarrow y = Tx=\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n}, \mu,q)x\) by using equation (2). So, linearity of T is trivial. Clearly, \(x = \theta\) whenever \(Tx = \theta\) and therefore T is injective.
Suppose any sequence \(y \in\ell(q,\Delta^{m}_{n})\) and define the sequence \(x = (x_{k})=(\Delta^{m}_{n}x_{k})\) by
Thus,
This means that \(x\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). Hence, the proof is completed. □
Theorem 3
Define sequence\(b^{(k)}(t)=\{b^{(k)}_{n}(t)\}_{n\in\mathbb{N}}\)of the elements of\(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)for every fixed\(k\in\mathbb{N}\)by
Then the sequence\(\{b^{(k)}(t)\}_{k\in\mathbb{N}}\)is a basis for\(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)and any\(x\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)has a unique representation of the form
where\(\lambda_{k}(t)= (\mathcal{N}^{t}(\mathcal{F},\mu)x )_{k}\), \(\forall k\in\mathbb{N}\)and\(0< q_{k}\leq D<\infty\).
Proof
Clearly, \(\{b^{(k)}(t)\}\subset\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n}, \mu,q)\), also
where \(e^{(t)}\) is the sequence whose only nonzero term is 1 in the kth place for each \(k\in\mathbb{N}\) and \(0< q_{k}\leq D<\infty\). Let \(x\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). For every nonnegative integer m, we take
Then, by applying \(\mathcal{N}^{t}(\mathcal{F},\mu)\) to (9) with (8), we have
Now, for \(i,m\in\mathbb{N}\),
For \(\epsilon>0\) given, there is an integer \(m_{0}\) such that
Therefore,
for all \((m+1)\leq m_{0}\). To show the unique representation for \(x\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\), suppose that there exists a representation \(x=\sum_{k}\eta_{k}(t)b^{(k)}(t)\). Since T is continuous from Theorem 2, we have
for every natural number n which contradicts that \((\mathcal{N}^{t}(\mathcal{F},\mu)x)_{n}=\lambda_{n}(t)\), \(\forall n\in\mathbb{N}\). Hence, the result. □
3 Toeplitz duals of the space \(\mathcal{N}^{t}(\mathcal {F},\Delta^{m}_{n},\mu, q)\)
For the sequence spaces X and Y, define the set
The α-, β-, and γ-duals of a sequence space X, respectively denoted by \(X^{\alpha}\), \(X^{\beta}\), and \(X^{\gamma}\), are defined by
Firstly, we state some lemmas which are required in this section.
Lemma 3.1
(see [7], Theorem 5.1.0)
-
(i)
Suppose that\(1 < q_{k} \leq D < \infty\)for allk. Then\(A=(a_{nk}) \in(\ell(q) : \ell_{1}) \)iff there exists an integer\(B > 1\)such that
$$ \sup_{K \in\mathcal{G}} \sum _{k} \biggl\vert \sum_{n \in K} a_{nk}B^{-1} \biggr\vert ^{q^{\prime}_{k}} < \infty. $$(10) -
(ii)
Let\(0 < q_{k} \leq1\). Then\(A=(a_{nk}) \in(\ell(q) : \ell_{1})\)iff
$$ \sup_{K \in\mathcal{G}} \sup_{k} \biggl\vert \sum_{n \in K} a_{nk} \biggr\vert ^{q_{k}} < \infty. $$(11)
Lemma 3.2
(see [9], Theorem 1)
The following statements hold:
- (i)
Let\(1 < q_{k} \leq D < \infty\)for allk. Then\(A =(a_{nk})\in(\ell(q) : \ell_{\infty}) \)iff there exists an integer\(B > 1\)such that
$$ \sup_{n} \sum _{k} \bigl\vert a_{nk}B^{-1} \bigr\vert ^{q^{\prime}_{k}} < \infty. $$(12) - (ii)
Let\(0 < q_{k} \leq1 \)for every\(k \in\mathbb{N}\). Then\(A=(a_{nk}) \in(\ell(q) : \ell_{\infty})\)iff
$$ \sup_{n,k} \vert a_{nk} \vert ^{q_{k}} < \infty. $$(13)
Lemma 3.3
(see [9], Theorem 1)
Let\(0 < q_{k} \leq D < \infty\)for every\(k \in\mathbb{N}\). Then\(A=(a_{nk})\in(\ell(q) : c)\)iff (12) and (13) hold along with there is\(\beta_{k}\in\mathbb{C}\)such that\(\lim_{n} a_{nk} = \beta_{k}\)for every natural numberk.
Theorem 4
Let\(1< q_{k}\leq D<\infty\)and\(\mathcal{F} = (F_{j})\)be a Musielak–Orlicz function. Define the sets\(D_{1}(\mathcal{F},\Delta^{m}_{n},\mu, q)\)and\(D_{2} (\mathcal{F},\Delta^{m}_{n},\mu, q)\)as follows:
and
Then
- (i)
\(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \alpha} = D_{1} (\mathcal{F},\Delta^{m}_{n},\mu, q)\);
- (ii)
\(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \gamma} = D_{2} (\mathcal{F},\Delta^{m}_{n},\mu, q)\);
- (iii)
\(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \beta}= D_{2} (\mathcal{F},\Delta^{m}_{n},\mu, q) \cap cs\).
Proof
Suppose \(a =(a_{k}) \in w\). Therefore, by using (1) we have
where \(F = (f_{nk})\) is defined as follows:
for all \(n, k \in\mathbb{N}\). Thus, by combining equation (14) with part (i) of Lemma 3.1, we have \(ax = (a_{n} x_{n}) \in\ell_{1}\) whenever \(x = (x_{k}) \in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) iff \(Fy \in\ell_{1}\) whenever \(y \in\ell(q,\Delta^{m}_{n})\). This gives the result \(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \alpha} = D_{1} (\mathcal{F},\Delta^{m}_{n},\mu, q)\).
Further take
here \(E=(e_{nk})\) with
for all \(n,k\in\mathbb{N}\). Thus, from Lemma 3.2 with equality (15) we have \(a x = (a_{n} x_{n}) \in bs\) whenever \(x = (x_{k}) \in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) iff \(Ey \in\ell_{\infty}\) whenever \(y \in\ell(q,\Delta^{m}_{n})\). Hence, from Lemma 3.2 we have \(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \gamma} = D_{2} (\mathcal{F},\Delta^{m}_{n},\mu, q)\).
It is seen immediately that \(a x = (a_{n} x_{n}) \in cs \) whenever \(x = (x_{k}) \in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) iff \(Ey \in c\) whenever \(y = (y_{k}) \in\ell(q,\Delta^{m}_{n})\). Using by Lemma 3.3, the proof of the theorem is completed. □
Theorem 5
Let\(0< q_{k}\leq1\)and let\(\mathcal{F} = (F_{j})\)be a Musielak–Orlicz function. Define the sets\(D_{3}(\mathcal{F},\Delta^{m}_{n},\mu, q)\)and\(D_{4} (\mathcal{F},\Delta^{m}_{n},\mu, q)\)by
and
Then
- (i)
\(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \alpha} = D_{3} (\mathcal{F},\Delta^{m}_{n},\mu, q)\);
- (ii)
\(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \gamma} = D_{4} (\mathcal{F},\Delta^{m}_{n},\mu, q)\);
- (iii)
\(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \beta}= cs \cap D_{4} (\mathcal{F},\Delta^{m}_{n},\mu, q)\).
Proof
We can find easily the proof of the theorem as in the proof of Theorem 4 through Lemma 3.1, Lemma 3.2, and Lemma 3.3. □
4 Characterizations of matrix transformations on the space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)
This segment deals with portrayal of the matrix mappings from the space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) into any specified space η and from a given sequence space η.
Theorem 6
Let\(\mathcal{F} = (F_{j})\)be a Musielak–Orlicz function. Let the elements of the infinite matrices\(A=(a_{nk})\)and\(B=(b_{nk})\)be connected with
for all\(n,k\in\mathbb{N}\)and sequence spaceηbe given. Thus\(A\in (\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q): \eta )\)iff\(A_{n}\in \{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{\beta}\)\(\forall n, k\in\mathbb{N}\)and\(B\in(\ell(q,\Delta^{m}_{n}):\eta)\).
Proof
Let η be any sequence space, relation (16) holds between the elements of the matrices \(A=(a_{nk})\) and \(B=(b_{nk})\) since the space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) and \(\ell(q,\Delta^{m}_{n})\) are linearly isomorphic.
Suppose \(A\in (\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q): \eta )\) and choose any \(y\in\ell(q,\Delta^{m}_{n})\). Then
Therefore, \(B\mathcal{N}^{t}(\mathcal{F},\mu)\) exists and \(A_{n}\in \{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{\beta}\), which gives that \(B_{n}\in\ell_{1}\) for each \(n\in\mathbb{N}\). Thus, By exists and hence
for all \(n\in\mathbb{N}\). Therefore, we have \(By=Ax\), which leads to the consequence \(B\in(\ell(q,\Delta^{m}_{n}):\eta)\).
On the contrary, let \(A_{n}\in \{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{\beta}\) for every natural number n and \(B\in(\ell(q,\Delta^{m}_{n}):\eta)\), let us choose \(x=(x_{k})\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). Then Ax exists. Thus, we have
which gives \(Ax=By\) and gives \(A\in (\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q): \eta )\). □
5 The rotundity of the space \(\mathcal{N}^{t}(\mathcal{F},\Delta ^{m}_{n},\mu,q)\)
In this section we use the concept of rotundity and give some conditions to prove the rotundity of the space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). For details about rotundity, Opial property, modularity, see [3, 4, 13, 26].
Definition 5.1
Let \(S(X)\) be the unit sphere of a Banach space X. Then a point \(x\in S(X)\) is called an extreme point if \(2 x=y+z\) implies \(y=z\) for every \(y,z\in S(X)\). A Banach space X is said to be rotund (strictly convex) if every point of \(S(X)\) is an extreme point.
Let \(\mathcal{F} = (F_{j})\) be a Musielak–Orlicz function, \(\mu= (\mu_{j})\) be a sequence of positive real numbers, and \(q = (q_{k})\) be a bounded sequence of positive real numbers. We portray \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}\) on \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) by
If \(q_{k}\geq1\) for all \(k\in\mathbb{N}_{1}=\{1,2,\ldots\}\), by the convexity of the function \(t\rightarrow|t|^{q_{k}}\) for each \(k \in\mathbb{N}\), \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}\) is a convex modular on \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). We consider \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) furnished with Luxemburg norm
The space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) is a complete normed space with above norm. This can be proved in a similar manner as in the proof of Theorem 7 in [16].
Theorem 7
For all\(k\in\mathbb{N}\)and\(q_{k}\geq1\), the modular\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}\)on\(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)satisfies the following properties:
- (i)
If\(0<\gamma\leq1\), then\(\gamma^{K}\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x/ \gamma )\leq\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x )\)and\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (\gamma x ) \leq\gamma\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x )\).
- (ii)
If\(\gamma\geq1\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x )\leq \gamma^{K}\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x/ \gamma )\).
- (iii)
If\(0<\gamma\leq1\), then\(\gamma\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x/ \gamma )\leq\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x )\).
- (iv)
The modular\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}\)is continuous.
Proof
(i) Let \(0<\gamma\leq1\). Then \(\gamma^{K}/\gamma^{q_{k}}\leq1\) for all \(q_{k}\geq1\). Therefore, we have
(ii) Let \(\gamma\geq1\). Then \(1\leq\gamma^{K}/\gamma^{q_{k}}\) for all \(q_{k}\geq1\). So, we have
(iii) Let \(\gamma\geq1\). Then \(\gamma/\gamma^{p_{k}}\leq1\) for all \(q_{k}\geq1\). Therefore, we have
(iv) If \(\gamma>1\), then we have
Therefore,
Taking γ as 1+ in (19), we find \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} ( \gamma x )\rightarrow\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} ( x )\).
If we consider \(0<\gamma<1\), we find that
that is,
Take γ as 1− in (20), we get \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} ( \gamma x )\rightarrow\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} ( x )\). Hence, \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}\) is continuous. □
Theorem 8
Let\(\mathcal{F} = (F_{j})\)be a Musielak–Orlicz function, \(\mu= (\mu_{j})\)be a sequence of positive real numbers, and\(q = (q_{k})\)be a bounded sequence of positive real numbers. For any\(x\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\), the following statements hold:
- (i)
If\(\|x\|<1\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)\leq\|x\|\).
- (ii)
If\(\|x\|>1\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)\geq\|x\|\).
- (iii)
\(\|x\|=1\)iff\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)=1\).
- (iv)
\(\|x\|<1\)iff\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)<1\).
- (v)
\(\|x\|>1\)iff\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)>1\).
- (vi)
If\(0<\gamma<1\)and\(\|x\|>\gamma\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)>\gamma^{K}\).
- (vii)
If\(\gamma\geq1\)and\(\|x\|<\gamma\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)<\gamma^{K}\).
Proof
Let \(x\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\).
(i) Let us take \(\epsilon>0\) such that \(0<\epsilon<1-\|x\|\). Using (20), there exists \(\gamma>0\) such that \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(\frac{x}{\gamma}) \leq1\) and \(\|x\|+\epsilon>\gamma\). Therefore, we have
Since ϵ is arbitrary, we have \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x )\leq \|x\|\) from (21).
(ii) Let \(\epsilon>0\) such that \(0<\epsilon<1-\frac{1}{\|x\|}\), then \(1< (1-\epsilon)\|x\|<\|x\|\). Using (20) and part (iii) of Theorem 7, we have
Therefore, \((1-\epsilon)\|x\|<\|x\| \forall\)\(\epsilon\in(0,1-(1/\|x\|))\). Thus, \(\|x\|<\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)\).
(iii) This can be done by the similar way used in the proof of Theorem 4 of [13] and continuity of \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}\). Similarly, we can find the others. □
Theorem 9
Let\(\mathcal{F} = (F_{j})\)be a Musielak–Orlicz function, \(\mu= (\mu_{j})\)be a sequence of positive real numbers, and\(q = (q_{k})\)be a bounded sequence of positive real numbers. The space\(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)is rotund iff\(q_{k}>1\)for every natural numberk.
Proof
Let \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) be rotund and take a natural number k such that \(q_{k}>1\) for every \(k<3\). Now, we contemplate the sequences given by
Clearly, \(x\neq y\) and \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)=\sigma_{( \mathcal{F},\Delta^{m}_{n},\mu,q)}(y)=\sigma_{(\mathcal{F},\Delta^{m}_{n}, \mu,q)} (\frac{x+y}{2} )=1\).
By using (iii) of Theorem 5, \(x, y, (x+y)/2\in S [\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n}, \mu,q) ]\), which contradicts that the sequence space \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) is not rotund. Therefore, \(q_{k}>1\) for every natural number k.
On the contrary, suppose \(x\in S [\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) ]\) and \(r,s\in S [\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) ]\), where \(x=(r+s)/2\). By the convexity of \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}\) and Theorem 8, we have
which gives
Since \(x=(r+s)/2\), we obtain from (22) that
Therefore,
for every natural number k. Since \(t\rightarrow|t|^{q_{k}}\) is strictly convex for all \(k\in\mathbb{N}\), it follows by (23) that \(r_{j}=s_{j}\) for all \(k\in\mathbb{N}\). Thus, \(r=s\) and hence \(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) is rotund. □
Theorem 10
Suppose that\(\mathcal{F} = (F_{j})\)is a Musielak–Orlicz function, \(\mu= (\mu_{j})\)is a sequence of positive real numbers, and\(q = (q_{k})\)is a bounded sequence of positive real numbers. Let\((x_{n})\)be a sequence in\(\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). Then the following statements hold:
- (i)
\(\lim_{n\rightarrow\infty}\|x_{n}\|=1\)implies\(\lim_{n\rightarrow\infty}\sigma_{(\mathcal{F}, \Delta^{m}_{n},\mu,q)}(x_{n})=1\);
- (ii)
\(\lim_{n\rightarrow\infty}\sigma_{(\mathcal{F}, \Delta^{m}_{n},\mu,q)}(x_{n})=0\)implies\(\lim_{n\rightarrow\infty}\|x_{n}\|=0\).
Proof
This can be proved by the similar way used in the proof of Theorem 10 in [16]. So, we omit it. □
Theorem 11
Suppose that\(\mathcal{F} = (F_{j})\)is a Musielak–Orlicz function, \(\mu= (\mu_{j})\)is a sequence of positive real numbers, and\(q = (q_{k})\)is a bounded sequence of positive real numbers. Let\(x \in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\)and\((x^{(n)})\subset\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\). If\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x^{(n)})\rightarrow \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)\)as\(n\rightarrow\infty\)and\((x^{(n)}_{k})\rightarrow x_{k}\)as\(n\rightarrow\infty\)for all\(k\in\mathbb{N}\), then\(x^{(n)}\rightarrow x\)as\(n\rightarrow\infty\).
Proof
Let \(\epsilon>0\). Since \(x\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) and \((x^{(n)})\subset\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\), we have
Then, we can find a natural number \(k_{0}\) such that
Since \(x_{k}^{(n)}\rightarrow x_{k}\) as \(n\rightarrow\infty\), we have
From (24) and (25), we obtain \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x^{(n)}-x)< \epsilon\). Therefore, \(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x^{(n)}-x) \rightarrow0\) as \(n\rightarrow\infty\). This implies \(\|x^{n}-x\|\rightarrow0\) as \(n\rightarrow\infty\) from (ii) of Theorem 7. Hence, the result. □
References
Alotaibi, A., Raj, K., Mohiuddine, S.A.: Some generalized difference sequence spaces defined by a sequence of moduli in n-normed spaces. J. Funct. Spaces 2015, Article ID 413850 (1996)
Bakery, A.A.: Generalized difference λ-sequence spaces defined by ideal convergence and the Musielak–Orlicz function. Abstr. Appl. Anal. 2013, Article ID 123798 (2013)
Chen, S.: Geometry of Orlicz spaces. Diss. Math. 356, 1–204 (1996)
Diestel, J.: Geometry of Banach Spaces—Selected Topics. Springer, Berlin (1984)
Esi, A., Tripathy, B.C., Sarm, B.: On some new type generalized sequence spaces. Math. Slovaca 57, 475–482 (2007)
Et, M., Çolak, R.: On some generalized sequence spaces. Soochow J. Math. 21, 377–386 (1995)
Gross Erdmann, K.G.: Matrix transformations between the sequence spaces of Maddox. J. Math. Anal. Appl. 180, 223–238 (1993)
Kızmaz, H.: On certain sequence spaces. Can. Math. Bull. 24, 169–176 (1981)
Lascarides, C.G., Maddox, I.J.: Matrix transformations between some classes of sequences. Proc. Camb. Philos. Soc. 68, 99–104 (1970)
Lindenstrauss, J., Tzafriri, L.: On Orlicz sequence spaces. Isr. J. Math. 10, 379–390 (1971)
Maddox, I.J.: Paranormed sequence spaces generated by infinite matrices. Proc. Camb. Philos. Soc. 64, 335–340 (1968)
Maddox, I.J.: Elements of Functional Analysis. Cambridge University Press, Cambridge (1988)
Maligranda, L.: Orlicz Spaces and Interpolation. Seminars in Mathematics, vol. 5. Polish Academy of Science, Warsaw (1989)
Mears, F.M.: The inverse Nörlund mean. Ann. Math. 44, 401–409 (1943)
Musielak, J.: Orlicz Spaces and Modular Spaces. Lecture Notes in Mathematics, vol. 1034 (1983)
Nergiz, H., Başar, F.: Some geometric properties of the domain of the double sequential band matrix \(B(\tilde{r},\tilde{s})\) in the sequence space \(\ell(p)\). Abstr. Appl. Anal. 2013, Article ID 421031 (2013)
Peyerimhoff, A.: Lectures on Summability. Lecture Notes in Mathematics. Springer, New York (1969)
Raj, K., Esi, A., Pandoh, S.: Applications of Riesz mean and lacunary sequences to generate Banach spaces and AK-BK spaces. An. Univ. Craiova, Ser. Mat. Inform. 46, 150–163 (2019)
Raj, K., Khan, M.A.: Some spaces of double sequences their duals and matrix transformations. Azerb. J. Math. 6, 103–121 (2016)
Raj, K., Kılıçman, A.: On certain generalized paranormed spaces. J. Inequal. Appl. 2015, 37 (2015). https://doi.org/10.1186/s13660-015-0565-z
Raj, K., Sharma, C.: Applications of infinite matrices in non-Newtonian calculus for paranormed spaces and their Toeplitz duals. Facta Univ., Ser. Math. Inform. 32, 527–549 (2017)
Toeplitz, O.: Uberallegemeine Lineare mittelbildungen. Pr. Mat.-Fiz. 22, 113–119 (1991)
Tripathy, B.C., Esi, A., Balakrushna, T.: On a new type of generalized difference Cesàro sequence spaces. Soochow J. Math. 31, 333–340 (2005)
Wang, C.S.: On Nörlund sequence spaces. Tamkang J. Math. 9, 269–274 (1978)
Wilansky, A.: Summability through Functional Analysis. North-Holland Math. Stud., vol. 85 (1984)
Yeşilkayagil, M., Başar, F.: On the paranormed Nörlund sequence space of nonabsolute type. Abstr. Appl. Anal. 2014, Article ID 858704 (2014)
Yeşilkayagil, M., Başar, F.: Domain of the Nörlund matrix on some Maddox’s spaces. Proc. Natl. Acad. Sci. India Sect. A Phys. Sci. 87, 363–371 (2017)
Acknowledgements
The authors would like to thank the referees for their constructive and very useful comments that improved the manuscript substantially.
Availability of data and materials
Not applicable.
Funding
This project partially supported by Universiti Putra Malaysia under the GPB Grant Scheme having project number GPB/2017/9543000.
Author information
Authors and Affiliations
Contributions
Both authors jointly worked on deriving the results and writing the manuscript and approved the final version of manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
This article does not contain any studies with human participants or animals performed by any of the authors.
Competing interests
The authors declare that they have no competing interests.
Additional information
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 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
Kılıçman, A., Raj, K. Matrix transformations of Norlund–Orlicz difference sequence spaces of nonabsolute type and their Toeplitz duals. Adv Differ Equ 2020, 110 (2020). https://doi.org/10.1186/s13662-020-02567-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02567-3