Skip to main content

Matrix transformations of Norlund–Orlicz difference sequence spaces of nonabsolute type and their Toeplitz duals


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.

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

$$ (Ax)_{n} = \sum_{k}a_{nk} x_{k}\quad \mbox{for each } n\in\mathbb{N}. $$

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

$$ \lambda_{A} = \bigl\{ x = (x_{k}) \in w : Ax \in \lambda\bigr\} . $$

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,

$$ \lim_{m}\Biggl\Vert x- \sum_{n=0}^{m} \alpha_{n}b_{n}\Biggr\Vert =0. $$

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, 1821, 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:

$$\begin{aligned}& \ell\bigl(q,\Delta^{m}_{n}\bigr)=\biggl\{ x=(x_{k})\in\omega: {\sum_{k} \bigl\vert \Delta^{m}_{n}x_{k} \bigr\vert ^{q_{k}}< \infty} \biggr\} , \\& \ell_{\infty}\bigl(q,\Delta^{m}_{n}\bigr)= \Bigl\{ x=(x_{k})\in\omega: \sup_{k} \bigl\vert \Delta^{m}_{n}x_{k} \bigr\vert ^{q_{k}}< \infty\Bigr\} , \end{aligned}$$

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

$$ Z\bigl(\Delta ^{m}_{n}\bigr) =\bigl\{ x = (x_{k})\in w :\bigl(\Delta ^{m}_{n}x_{k} \bigr) \in Z \bigr\} $$

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

$$ \Delta^{m}_{n}x_{k}= \sum ^{m}_{v=0}(-1)^{v} \begin{pmatrix} m \\ v \end{pmatrix} x_{k+nv}. $$

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

$$ c^{t}_{nk}= \textstyle\begin{cases} \frac{t_{n-k}}{T_{n}}, & \mbox{if } 0 \leq k \leq n, \\ 0, & \mbox{if } k > n \end{cases} $$

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

$$ D_{n}= \begin{vmatrix} t_{1} & 1 & 0 & 0 & \cdots&0 \\ t_{2} & t_{1} & 0 & 0 & \cdots&0 \\ t_{3} & t_{2} & t_{1} & 0 & \cdots& 0 \\ \vdots& \vdots& \vdots& \vdots&\ddots&\vdots \\ t_{n-1}& t_{n-2}&t_{n-3}& t_{n-4}&\ddots&1 \\ t_{n} & t_{n-1}&t_{n-2}& t_{n-3}&\ddots& t_{1} \end{vmatrix} . $$

The inverse matrix \(V^{t}=(v^{t}_{nk})\) of the matrix \(N^{t}=(c^{t}_{nk})\) (see [14]) is as follows:

$$ v^{t}_{nk}= \textstyle\begin{cases} (-1)^{n-k}D_{n-k}T_{k}, & 0 \leq k \leq n, \\ 0, & k > n, \end{cases} $$

for all \(k,n \in\mathbb{N}\). Also, for \(k\in\{1,2,3,\ldots\}\), we have

$$ D_{k}= \sum_{j=1}^{k-1}(-1)^{j-1}D_{k-j}+(-1)^{k-1}t_{k}. $$

In [26] Yeşilkayagil introduced the Nörlund sequence space \(\mathcal{N}^{t}(q)\) defined by

$$ \mathcal{N}^{t}(q)=\Biggl\{ x=(x_{k})\in\omega: \sum _{k} \Biggl\vert \frac{1}{T_{k}} \sum _{j=0}^{k}t_{k-j}x_{j} \Biggr\vert ^{q_{k}}< \infty\Biggr\} , $$

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.

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:

$$\begin{aligned} \mathcal{N}^{t}\bigl(\mathcal{F}, \Delta^{m}_{n}, \mu, q\bigr) =& \Biggl\{ x=(x_{k}) \in w: \sum _{k} \Biggl\vert \frac{1}{T_{k}}\sum _{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}}< \infty, \\ &\mbox{for some } \rho>0 \Biggr\} \end{aligned}$$

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

$$ \mathcal{N}^{t}\bigl(\mathcal{F}, \Delta^{m}_{n}, \mu, q\bigr) = \bigl\{ \ell\bigl(q, \Delta^{m}_{n} \bigr)\bigr\} _{\mathcal{N}^{t}(\mathcal{F},\mu)}, $$

where \(\mathcal{N}^{t}(\mathcal{F},\mu)\) denotes the matrix \(\mathcal{N}^{t}(\mathcal{F},\mu) = a^{t}_{nk}(\mathcal{F},\mu) \) defined by

$$ a^{t}_{nk}(\mathcal{F},\mu)= \textstyle\begin{cases} \frac{1}{T_{n}}F_{n} ( \frac{ \vert \mu_{n}t_{n-k} \vert }{\rho} ), & \mbox{if } 0 \leq k \leq n , \\ 0, & \mbox{if } k > n. \end{cases} $$

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

$$ y=(y_{k}) = \frac{1}{T_{k}} \sum _{j=0}^{k} F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n} x_{j} \vert }{\rho} \biggr). $$

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

$$ g(x) = \Biggl( \sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \Biggr)^{\frac{1}{H}} $$

with\(0 \leq q_{k} \leq D < \infty\)and\(H = \max\{1, D\}\).


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),

$$\begin{aligned}& \Biggl( \sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}(x_{j}+y_{j}) \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \Biggr)^{\frac{1}{H}} \\& \quad \leq \Biggl( \sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \Biggr)^{\frac{1}{H}} \\& \qquad {} + \Biggl( \sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}y_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \Biggr)^{\frac{1}{H}} \end{aligned}$$


$$ \vert \beta \vert ^{q_{k}} \leq\max\bigl(1, \vert \beta \vert ^{H}\bigr),\quad \forall\beta\in\mathbb{R} \mbox{ (see [11])} . $$

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

$$ g(\beta x) \leq\max\bigl(1, \vert \beta \vert \bigr) g(x). $$

Let \(\{x^{n}\}\in\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q)\) be any sequence, then

$$ g\bigl(x^{n}- x\bigr) \rightarrow0, $$

and let \((\beta^{n})\) be a sequence of scalars such that \(\beta^{n}\rightarrow\beta\). Thus

$$\begin{aligned} g\bigl(\beta_{n}x^{n}- \beta x\bigr) =& \Biggl( \sum _{k} \Biggl\vert \frac{1}{T_{k}}\sum _{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}(\beta_{n}x_{j}^{n} - \beta x_{j}) \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \Biggr)^{\frac{1}{H}} \\ \leq& \vert \beta_{n} - \beta \vert ^{\frac{1}{H}}g \bigl(x^{n}\bigr) + \vert \beta \vert ^{ \frac{1}{H}}g \bigl(x^{n} - x\bigr) \\ \rightarrow& 0\quad \mbox{as } n \rightarrow\infty. \end{aligned}$$

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

$$ g\bigl(x^{i} - x^{j}\bigr) < \epsilon \quad \forall i, j \geq n_{0} ( \epsilon). $$

For each fixed \(k \in\mathbb{N}\),

$$\begin{aligned}& \bigl\vert \bigl( \mathcal{N}^{t}(\mathcal{F},\mu)x^{i}\bigr)_{k} - \bigl( \mathcal{N}^{t}( \mathcal{F},\mu)x^{j}\bigr)_{k} \bigr\vert \\& \quad \leq \biggl( \sum_{k} \bigl\vert \bigl( \mathcal{N}^{t}( \mathcal{F},\mu)x^{i} \bigr)_{k} - \bigl( \mathcal{N}^{t}(\mathcal{F},\mu )x^{j}\bigr)_{k} \bigr\vert ^{q_{k}} \biggr)^{\frac{1}{H}} < \epsilon\quad \mbox{for all } i,j \geq n_{0}( \epsilon), \end{aligned}$$

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

$$ \bigl( \mathcal{N}^{t}(\mathcal{F},\mu)x^{i} \bigr)_{k} \rightarrow\bigl( \mathcal{N}^{t}( \mathcal{F},\mu)x\bigr)_{k}\quad \mbox{as } i\rightarrow\infty. $$

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)

$$ \sum_{k=0}^{t} \bigl\vert \bigl( \mathcal{N}^{t}(\mathcal{F}, \mu)x^{i} \bigr)_{k} - \bigl( \mathcal{N}^{t}(\mathcal{F},\mu )x^{j}\bigr)_{k} \bigr\vert ^{q_{k}} \leq g \bigl(x^{i} - x^{j}\bigr)^{H} < \epsilon ^{H}. $$

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

$$\begin{aligned} \Biggl[ \sum_{k=0}^{t} \bigl\vert \bigl( \mathcal{N}^{t}( \mathcal{F},\mu)x\bigr)_{k} \bigr\vert ^{q_{k}} \Biggr]^{\frac{1}{H}} \leq& g \bigl(x^{i} - x\bigr) + g\bigl(x^{i}\bigr) \\ \leq& 1 + g\bigl(x^{i}\bigr) \end{aligned}$$

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\).


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

$$ x=(x_{k}) = \sum_{i=0}^{k} \frac{1}{F_{j}} \biggl( \frac{1}{\mu_{j}}(-1)^{k-i}D_{k-i} \rho T_{i}\Delta^{m}_{n}y_{i} \biggr) \quad \mbox{for } k \in\mathbb{N}. $$


$$\begin{aligned} g(x) =& \Biggl( \sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \Biggr)^{\frac{1}{H}} \\ = & \Biggl( \sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{|t_{k-j}\mu_{j}(\sum_{i=0}^{k}\frac{1}{F_{j}}(\frac {1}{\mu_{j}}(-1)^{k-i}D_{k-i}\rho T_{i}\Delta^{m}_{n}y_{i})|}{\rho} \biggr) \Biggr\vert ^{q_{k}} \Biggr)^{\frac{1}{H}} \\ = & \biggl( \sum_{k} \vert y_{k} \vert ^{q_{k}} \biggr)^{\frac{1}{H}} \\ < & \infty. \end{aligned}$$

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

$$ b^{(k)}_{n}(t)= \textstyle\begin{cases} \frac{1}{F_{k}} (\frac{1}{\mu_{k}}(-1)^{n-k}D_{n-k}\rho T_{k}), & 0\leq k\leq n, \\ 0, & k> n. \end{cases} $$

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

$$ x = \sum_{k}\lambda _{k}(t)b^{(k)}(t), $$

where\(\lambda_{k}(t)= (\mathcal{N}^{t}(\mathcal{F},\mu)x )_{k}\), \(\forall k\in\mathbb{N}\)and\(0< q_{k}\leq D<\infty\).


Clearly, \(\{b^{(k)}(t)\}\subset\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n}, \mu,q)\), also

$$ \mathcal{N}^{t}(\mathcal{F},\mu)b^{(k)}(t) = e^{(t)}\in\ell\bigl(q, \Delta^{m}_{n} \bigr) \quad \mbox{for all } k\in\mathbb{N}, $$

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

$$ x^{[m]} = \sum_{k=0}^{m} \lambda_{k}(t)b^{(k)}(t). $$

Then, by applying \(\mathcal{N}^{t}(\mathcal{F},\mu)\) to (9) with (8), we have

$$\begin{aligned} \mathcal{N}^{t}(\mathcal{F},\mu)x^{[m]} =& \sum_{k=0}^{m}\lambda _{k}(t) \mathcal{N}^{t}(\mathcal{F},\mu) b^{(k)}(t) \\ =& \sum_{k=0}^{m} \bigl( \mathcal{N}^{t}(\mathcal{F},\mu)x \bigr)_{k}e^{(k)}. \end{aligned}$$

Now, for \(i,m\in\mathbb{N}\),

$$ \bigl\{ \mathcal{N}^{t}(\mathcal{F},\mu) \bigl(x-x^{[m]}\bigr) \bigr\} _{i} = \textstyle\begin{cases} 0, & 0\leq i\leq m, \\ (\mathcal{N}^{t}(\mathcal{F},\mu)x )_{i}, & i>m. \end{cases} $$

For \(\epsilon>0\) given, there is an integer \(m_{0}\) such that

$$ \biggl[\sum_{i=m+1} \bigl\vert \bigl(\mathcal{N}^{t}(\mathcal{F},\mu)x \bigr)_{i} \bigr\vert ^{q_{k}} \biggr]^{1/H} < \epsilon, \quad \forall(m+1)\geq m_{0}. $$


$$\begin{aligned} g \bigl[\mathcal{N}^{t}(\mathcal{F},\mu) \bigl(x-x^{[m]} \bigr) \bigr] =& \Biggl[\sum_{i=m+1}^{\infty} \bigl\vert \bigl(\mathcal{N}^{t}( \mathcal{F},\mu)x \bigr)_{i} \bigr\vert ^{q_{k}} \Biggr]^{1/H} \\ \leq& \Biggl[\sum_{i=m_{0}}^{\infty} \bigl\vert \bigl(\mathcal{N}^{t}( \mathcal{F},\mu)x \bigr)_{i} \bigr\vert ^{q_{k}} \Biggr]^{1/H} \\ < & \epsilon, \end{aligned}$$

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

$$\begin{aligned} \bigl(\mathcal{N}^{t}(\mathcal{F},\mu)x \bigr)_{n} =& \sum_{k}\eta_{k}(t) \bigl\{ \mathcal{N}^{t}( \mathcal{F},\mu)b^{(k)}(t) \bigr\} _{n} \\ =& \sum_{k}\eta_{k}(t)e^{(k)}_{n} = \eta_{n}(t) \end{aligned}$$

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. □

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

$$ S(X:Y) = \bigl\{ z = (z_{k}) : xz = (x_{k}z_{k}) \in Y \mbox{ for all } x=(x_{k}) \in X\bigr\} . $$

The α-, β-, and γ-duals of a sequence space X, respectively denoted by \(X^{\alpha}\), \(X^{\beta}\), and \(X^{\gamma}\), are defined by

$$ X^{\alpha} = S(X:\ell_{1}),\qquad X^{\beta} = S(X:cs)\quad \mbox{and}\quad X^{ \gamma} = S(X:bs). $$

Firstly, we state some lemmas which are required in this section.

Lemma 3.1

(see [7], Theorem 5.1.0)

  1. (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. $$
  2. (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. $$

Lemma 3.2

(see [9], Theorem 1)

The following statements hold:

  1. (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. $$
  2. (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. $$

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:

$$\begin{aligned}& D_{1} \bigl(\mathcal{F},\Delta^{m}_{n},\mu, q\bigr) \\& \quad =\biggl\{ a = (a_{k}) \in w : \sup_{K \in\mathcal{G}} \sum _{k\in\mathbb{N}} \biggl\vert \sum_{n\in K} \frac{1}{F_{k}} \biggl(\frac{1}{\mu_{k}}(-1)^{n-k}a_{n}D_{n-k} \rho T_{k}B^{-1} \biggr)\biggr\vert ^{q^{\prime}_{k}} < \infty\biggr\} \end{aligned}$$


$$\begin{aligned}& D_{2} \bigl(\mathcal{F},\Delta^{m}_{n},\mu, q\bigr) \\& \quad =\Biggl\{ a = (a_{k}) \in w : \sup_{n \in\mathbb{N}} \sum _{k} \Biggl\vert \sum_{i=k}^{n} \frac{1}{F_{k}} \biggl( \frac{1}{\mu_{k}}(-1)^{i-k}a_{i}D_{i-k} \rho T_{k}B^{-1}\biggr)\Biggr\vert ^{q^{ \prime}_{k}} < \infty\Biggr\} . \end{aligned}$$


  1. (i)

    \(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \alpha} = D_{1} (\mathcal{F},\Delta^{m}_{n},\mu, q)\);

  2. (ii)

    \(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \gamma} = D_{2} (\mathcal{F},\Delta^{m}_{n},\mu, q)\);

  3. (iii)

    \(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \beta}= D_{2} (\mathcal{F},\Delta^{m}_{n},\mu, q) \cap cs\).


Suppose \(a =(a_{k}) \in w\). Therefore, by using (1) we have

$$ a_{n} x_{n} = \sum _{k=0}^{n}\frac{1}{F_{k}} \biggl( \frac{1}{\mu_{k}}(-1)^{n-k}D_{n-k}\rho T_{k} \Delta^{m}_{n}a_{n}y_{k} \biggr)=(Fy)_{n}, $$

where \(F = (f_{nk})\) is defined as follows:

$$ f_{nk} = \textstyle\begin{cases} \frac{1}{F_{k}} (\frac{1}{\mu_{k}}(-1)^{n-k}D_{n-k}\rho T_{k}a_{n} ), & \mbox{if } 0\leq k \leq n, \\ 0, & \mbox{if } k>n, \end{cases} $$

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

$$\begin{aligned} \sum_{k=0}^{n}a_{k} x_{k} =& \sum_{k=0}^{n-1} \sum_{i=k}^{n} \frac{1}{F_{k}} \biggl(\frac{1}{\mu_{k}}(-1)^{i-k}D_{i-k} \rho T_{k}\Delta^{m}_{n}a_{i}y_{k} \biggr)+\frac{1}{F_{k}} \biggl( \frac{1}{\mu_{k}}T_{n} \Delta^{m}_{n}a_{n}y_{n} \biggr) \\ = & (Ey)_{n} \quad \mbox{for all } n\in\mathbb{N}, \end{aligned}$$

here \(E=(e_{nk})\) with

$$ e_{nk} = \textstyle\begin{cases} \sum_{i=k}^{n} \frac{1}{F_{k}} (\frac{1}{\mu_{k}}(-1)^{i-k}D_{i-k} \rho T_{k}a_{i} ), & \mbox{if } 0\leq k \leq n-1, \\ \frac{1}{F_{k}} (\frac{1}{\mu_{k}}T_{n}a_{n} ), & \mbox{if } k=n, \\ 0, & \mbox{if } k>n, \end{cases} $$

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

$$\begin{aligned}& D_{3} \bigl(\mathcal{F},\Delta^{m}_{n},\mu, q\bigr) \\& \quad =\biggl\{ a = (a_{k}) \in w : \sup_{K \in\mathcal{G}} \sum _{k\in\mathbb{N}} \biggl\vert \sum_{n\in K} \frac{1}{F_{k}} \biggl(\frac{1}{\mu_{k}}(-1)^{n-k}a_{n}D_{n-k} \rho T_{k}\biggr) \biggr\vert ^{q_{k}} < \infty\biggr\} \end{aligned}$$


$$\begin{aligned}& D_{4} \bigl(\mathcal{F},\Delta^{m}_{n},\mu, q\bigr) \\& \quad =\Biggl\{ a = (a_{k}) \in w : \sup_{n \in\mathbb{N}} \sum _{k} \Biggl\vert \sum_{i=k}^{n} \frac{1}{F_{k}} \biggl( \frac{1}{\mu_{k}}(-1)^{i-k}a_{i}D_{i-k} \rho T_{k}\biggr)\Biggr\vert ^{q_{k}} < \infty\Biggr\} . \end{aligned}$$


  1. (i)

    \(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \alpha} = D_{3} (\mathcal{F},\Delta^{m}_{n},\mu, q)\);

  2. (ii)

    \(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \gamma} = D_{4} (\mathcal{F},\Delta^{m}_{n},\mu, q)\);

  3. (iii)

    \(\{\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q) \}^{ \beta}= cs \cap D_{4} (\mathcal{F},\Delta^{m}_{n},\mu, q)\).


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. □

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

$$ b_{nk} = \sum_{j=k}^{\infty} \frac{1}{F_{j}} \biggl( \frac{1}{\mu_{j}}(-1)^{j-k}D_{j-k} \rho T_{k}a_{nk} \biggr) $$

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)\).


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

$$\begin{aligned} \bigl(B\mathcal{N}^{t}(\mathcal{F},\mu) \bigr)_{nk} =& \sum_{j=k}^{ \infty}b_{nj}a^{t}_{nk}( \mathcal{F},\mu) \\ =& \sum_{j=k}^{\infty} \frac{1}{F_{j}} \biggl(\frac{1}{\mu_{j}}(-1)^{j-k}D_{j-k} \rho T_{k}a_{nk} \biggr)\frac{1}{T_{j}}F_{j} \biggl( \frac{ \vert \mu_{j}t_{j-k} \vert }{\rho} \biggr) \\ =& a_{nk}. \end{aligned}$$

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

$$\begin{aligned} \sum_{k}^{\infty}b_{nk}y_{k} =& \sum_{j=k}^{\infty} \frac{1}{F_{j}} \biggl(\frac{1}{\mu_{j}}(-1)^{j-k}D_{j-k} \rho T_{k}a_{nk} \biggr)\times\frac{1}{T_{k}} \sum _{j=0}^{k} F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n} x_{j} \vert }{\rho} \biggr) \\ =& \sum_{k}a_{nk}x_{k} \end{aligned}$$

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

$$\begin{aligned} \sum_{k}a_{nk}x_{k} =& \sum_{k}a_{nk} \biggl[ \frac{1}{F_{j}} \biggl( \frac{1}{\mu_{j}}(-1)^{k-i}D_{k-i} \rho T_{i}\Delta^{m}_{n}y_{i} \biggr) \biggr] \\ =& \sum_{k}^{\infty}b_{nk}y_{k}\quad \mbox{for all } n\in\mathbb{N}, \end{aligned}$$

which gives \(Ax=By\) and gives \(A\in (\mathcal{N}^{t}(\mathcal{F},\Delta^{m}_{n},\mu,q): \eta )\). □

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

$$ \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)= \sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}}. $$

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

$$ \Vert x \Vert = \inf\biggl\{ \gamma>0: \sigma _{(\mathcal{F},\Delta^{m}_{n}, \mu,q)} \biggl(\frac{x}{\gamma} \biggr)\leq1 \biggr\} . $$

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:

  1. (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 )\).

  2. (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 )\).

  3. (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 )\).

  4. (iv)

    The modular\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}\)is continuous.


(i) Let \(0<\gamma\leq1\). Then \(\gamma^{K}/\gamma^{q_{k}}\leq1\) for all \(q_{k}\geq1\). Therefore, we have

$$\begin{aligned}& \begin{aligned} \gamma^{K}\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} \biggl( \frac {x}{\gamma} \biggr) &= \sum_{k} \frac{\gamma^{K}}{\gamma^{q_{k}}} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ &\leq \sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ &= \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x ), \end{aligned} \\& \begin{aligned} \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,p)} (\gamma x ) &= \sum_{k} \gamma^{q_{k}} \Biggl\vert \frac{1}{T_{k}}\sum _{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ &\leq \gamma\sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ &= \gamma\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x ). \end{aligned} \end{aligned}$$

(ii) Let \(\gamma\geq1\). Then \(1\leq\gamma^{K}/\gamma^{q_{k}}\) for all \(q_{k}\geq1\). So, we have

$$ \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,p)} (x ) \leq \frac {\gamma^{K}}{\gamma^{p_{k}}}\sigma _{(\mathcal{F},\Delta^{m}_{n}, \mu,p)} (x ) = \gamma^{K}\sigma_{(\mathcal{F},\Delta^{m}_{n}, \mu,p)} \biggl( \frac{x}{\gamma} \biggr). $$

(iii) Let \(\gamma\geq1\). Then \(\gamma/\gamma^{p_{k}}\leq1\) for all \(q_{k}\geq1\). Therefore, we have

$$\begin{aligned} \gamma\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} \biggl( \frac {x}{\gamma} \biggr) =& \sum _{k} \frac{\gamma}{\gamma^{q_{k}}} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ \leq&\sum_{k} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ =&\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x ). \end{aligned}$$

(iv) If \(\gamma>1\), then we have

$$\begin{aligned} \sum_{k}\gamma\Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} =& \sum _{k}\gamma^{p_{k}} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ \leq&\sum_{k}\gamma^{K} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ =&\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x ). \end{aligned}$$


$$ \gamma\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} ( x ) \leq \sigma _{(\mathcal{F},\Delta^{m}_{n},\mu,q)} ( \gamma x ) \leq\gamma ^{K}\sigma _{(\mathcal{F},\Delta^{m}_{n}, \mu,q)} ( x ). $$

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

$$\begin{aligned} \sum_{k}\gamma^{K} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} =& \sum _{k}\gamma^{p_{k}} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ \leq&\sum_{k}\gamma\Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl(\frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ =&\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} (x ), \end{aligned}$$

that is,

$$ \gamma^{K}\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} ( x ) \leq \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} ( \gamma x ) \leq\gamma \sigma_{(\mathcal{F},\Delta^{m}_{n}, \mu,q)} ( x ). $$

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:

  1. (i)

    If\(\|x\|<1\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)\leq\|x\|\).

  2. (ii)

    If\(\|x\|>1\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)\geq\|x\|\).

  3. (iii)


  4. (iv)


  5. (v)


  6. (vi)

    If\(0<\gamma<1\)and\(\|x\|>\gamma\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)>\gamma^{K}\).

  7. (vii)

    If\(\gamma\geq1\)and\(\|x\|<\gamma\), then\(\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x)<\gamma^{K}\).


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

$$\begin{aligned} \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x) \leq& \sum _{k} \biggl(\frac{ \Vert x \Vert +\epsilon}{\alpha} \biggr)^{q_{k}} \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}x_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \\ \leq& \bigl( \Vert x \Vert +\epsilon\bigr)\sigma_{(\mathcal {F},\Delta^{m}_{n}, \mu,q)} \biggl(\frac{x}{\gamma} \biggr) \leq \Vert x \Vert +\epsilon. \end{aligned}$$

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

$$ 1 < \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} \biggl[ \frac {x}{(1-\epsilon) \Vert x \Vert } \biggr] \leq \frac{1}{(1-\epsilon) \Vert x \Vert }\sigma_{(\mathcal{F},\Delta^{m}_{n}, \mu,q)}(x). $$

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.


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

$$\begin{aligned}& x = (1, -X_{1}, X_{2}, -X_{3}, X_{4},\ldots), \\& y = (0, Y_{1}, -Y_{2}X_{1}, Y_{1}X_{2}, -Y_{1}X_{3}, \ldots). \end{aligned}$$

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

$$ 1 = \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x) \leq\frac {\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(r)+\sigma_{(\mathcal {F},\Delta^{m}_{n},\mu,q)}(s)}{2} = 1, $$

which gives

$$ \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(x) = \frac {\sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)}(r)+\sigma_{(\mathcal {F},\Delta^{m}_{n},\mu,q)}(s)}{2}. $$

Since \(x=(r+s)/2\), we obtain from (22) that

$$\begin{aligned}& \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{|t_{k-j}\mu_{j}\Delta^{m}_{n}(r_{j}+s_{j})/2|}{\rho} \biggr) \Biggr\vert ^{q_{k}} \\& \quad = \frac{1}{2} \Biggl( \Biggl\vert \frac{1}{T_{k}}\sum _{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}r_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}}+ \Biggl\vert \frac{1}{T_{k}}\sum_{j=0}^{k}F_{j} \biggl( \frac{ \vert t_{k-j}\mu_{j}\Delta^{m}_{n}s_{j} \vert }{\rho} \biggr) \Biggr\vert ^{q_{k}} \Biggr). \end{aligned}$$


$$ \biggl\vert \frac{r_{j}+s_{j}}{2} \biggr\vert ^{q_{k}} = \frac{ \vert r_{j} \vert ^{q_{k}}+ \vert s_{j} \vert ^{q_{k}}}{2} $$

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:

  1. (i)

    \(\lim_{n\rightarrow\infty}\|x_{n}\|=1\)implies\(\lim_{n\rightarrow\infty}\sigma_{(\mathcal{F}, \Delta^{m}_{n},\mu,q)}(x_{n})=1\);

  2. (ii)

    \(\lim_{n\rightarrow\infty}\sigma_{(\mathcal{F}, \Delta^{m}_{n},\mu,q)}(x_{n})=0\)implies\(\lim_{n\rightarrow\infty}\|x_{n}\|=0\).


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\).


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

$$ \sigma_{(\mathcal{F},\Delta^{m}_{n},\mu,q)} \bigl(x^{(n)}-x \bigr)= \sum _{k} \bigl\vert \bigl\{ \mathcal{N}^{t}( \mathcal{F}, \mu) \bigl(x^{(n)}-x \bigr) \bigr\} _{k} \bigr\vert < \infty. $$

Then, we can find a natural number \(k_{0}\) such that

$$ \sum_{k=k_{0}+1}^{\infty} \bigl\vert \bigl\{ \mathcal{N}^{t}( \mathcal{F},u) \bigl(x^{(n)}-x \bigr) \bigr\} _{k} \bigr\vert = \frac{\epsilon}{2} . $$

Since \(x_{k}^{(n)}\rightarrow x_{k}\) as \(n\rightarrow\infty\), we have

$$ \sum_{k=1}^{k_{0}} \bigl\vert \bigl\{ \mathcal{N}^{t}( \mathcal{F},\mu) \bigl(x^{(n)}-x \bigr) \bigr\} _{k} \bigr\vert = \frac{\epsilon}{2}. $$

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. □


  1. 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)

    MathSciNet  MATH  Google Scholar 

  2. Bakery, A.A.: Generalized difference λ-sequence spaces defined by ideal convergence and the Musielak–Orlicz function. Abstr. Appl. Anal. 2013, Article ID 123798 (2013)

    MathSciNet  MATH  Google Scholar 

  3. Chen, S.: Geometry of Orlicz spaces. Diss. Math. 356, 1–204 (1996)

    MathSciNet  Google Scholar 

  4. Diestel, J.: Geometry of Banach Spaces—Selected Topics. Springer, Berlin (1984)

    MATH  Google Scholar 

  5. Esi, A., Tripathy, B.C., Sarm, B.: On some new type generalized sequence spaces. Math. Slovaca 57, 475–482 (2007)

    MathSciNet  MATH  Google Scholar 

  6. Et, M., Çolak, R.: On some generalized sequence spaces. Soochow J. Math. 21, 377–386 (1995)

    MathSciNet  MATH  Google Scholar 

  7. Gross Erdmann, K.G.: Matrix transformations between the sequence spaces of Maddox. J. Math. Anal. Appl. 180, 223–238 (1993)

    MathSciNet  Article  Google Scholar 

  8. Kızmaz, H.: On certain sequence spaces. Can. Math. Bull. 24, 169–176 (1981)

    MathSciNet  Article  Google Scholar 

  9. Lascarides, C.G., Maddox, I.J.: Matrix transformations between some classes of sequences. Proc. Camb. Philos. Soc. 68, 99–104 (1970)

    MathSciNet  Article  Google Scholar 

  10. Lindenstrauss, J., Tzafriri, L.: On Orlicz sequence spaces. Isr. J. Math. 10, 379–390 (1971)

    MathSciNet  Article  Google Scholar 

  11. Maddox, I.J.: Paranormed sequence spaces generated by infinite matrices. Proc. Camb. Philos. Soc. 64, 335–340 (1968)

    MathSciNet  Article  Google Scholar 

  12. Maddox, I.J.: Elements of Functional Analysis. Cambridge University Press, Cambridge (1988)

    MATH  Google Scholar 

  13. Maligranda, L.: Orlicz Spaces and Interpolation. Seminars in Mathematics, vol. 5. Polish Academy of Science, Warsaw (1989)

    MATH  Google Scholar 

  14. Mears, F.M.: The inverse Nörlund mean. Ann. Math. 44, 401–409 (1943)

    MathSciNet  Article  Google Scholar 

  15. Musielak, J.: Orlicz Spaces and Modular Spaces. Lecture Notes in Mathematics, vol. 1034 (1983)

    Book  Google Scholar 

  16. 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)

    MathSciNet  MATH  Google Scholar 

  17. Peyerimhoff, A.: Lectures on Summability. Lecture Notes in Mathematics. Springer, New York (1969)

    Book  Google Scholar 

  18. 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)

    MathSciNet  MATH  Google Scholar 

  19. Raj, K., Khan, M.A.: Some spaces of double sequences their duals and matrix transformations. Azerb. J. Math. 6, 103–121 (2016)

    MathSciNet  MATH  Google Scholar 

  20. Raj, K., Kılıçman, A.: On certain generalized paranormed spaces. J. Inequal. Appl. 2015, 37 (2015).

    MathSciNet  Article  MATH  Google Scholar 

  21. 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)

    MathSciNet  Google Scholar 

  22. Toeplitz, O.: Uberallegemeine Lineare mittelbildungen. Pr. Mat.-Fiz. 22, 113–119 (1991)

    MATH  Google Scholar 

  23. 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)

    MathSciNet  MATH  Google Scholar 

  24. Wang, C.S.: On Nörlund sequence spaces. Tamkang J. Math. 9, 269–274 (1978)

    MathSciNet  MATH  Google Scholar 

  25. Wilansky, A.: Summability through Functional Analysis. North-Holland Math. Stud., vol. 85 (1984)

    MATH  Google Scholar 

  26. Yeşilkayagil, M., Başar, F.: On the paranormed Nörlund sequence space of nonabsolute type. Abstr. Appl. Anal. 2014, Article ID 858704 (2014)

    Article  Google Scholar 

  27. 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)

    Article  Google Scholar 

Download references


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.


This project partially supported by Universiti Putra Malaysia under the GPB Grant Scheme having project number GPB/2017/9543000.

Author information

Authors and Affiliations



Both authors jointly worked on deriving the results and writing the manuscript and approved the final version of manuscript.

Corresponding author

Correspondence to Adem Kılıçman.

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 40A35
  • 40C05
  • 46A45


  • Orlicz function
  • Matrix domain
  • Difference sequence spaces
  • Nörlund matrix
  • Alpha-dual
  • Beta-dual
  • Gamma-dual
  • Matrix transformations