Abstract
The concept of f-lacunary statistical convergence which is, in fact, a generalization of lacunary statistical convergence, has been introduced recently by Bhardwaj and Dhawan (Abstr. Appl. Anal. 2016:9365037, 2016). The main object of this paper is to prove Korovkin type approximation theorems using the notion of f-lacunary statistical convergence. A relationship between the newly established Korovkin type approximation theorems via f-lacunary statistical convergence, the classical Korovkin theorems and their lacunary statistical analogs has been studied. A new concept of f-lacunary statistical convergence of degree β (\(0 < \beta< 1\)) has also been introduced, and as an application a corresponding Korovkin type theorem is established.
Similar content being viewed by others
1 Introduction
1.1 Density by moduli and statistical convergence
The idea of statistical convergence, which is, in fact, a generalization of the usual notion of convergence, was first introduced by Fast [14] and Steinhaus [37] independently in 1951 and since then several generalizations and applications of this concept have been investigated by various authors, namely S̆alát [35], Fridy [16], Aizpuru et al. [1], Aktuğlu [2], Gadjiev and Orhan [18], Mursaleen and Alotaibi [28], and many others.
Statistical convergence depends on the natural density of subsets of the set \(\mathbb{N} = \{1,2,3,\ldots\}\). The natural density \(d(K)\) of a set \(K \subseteq\mathbb{N}\) (see [29, Chap. 11]) is defined by
where \(\vert \{ k\leq n: k \in K \} \vert \) denotes the number of elements of K not exceeding n. Obviously, we have \(d(K) =0\) if K is finite.
Definition 1.1
([22])
Let X be a normed space. A sequence \((x_{k})\) in X is said to be statistically convergent to some \(x \in X\), if for each \(\epsilon>0\) the set \(\{ k \in\mathbb{N} :\|x_{k} - x\|\geq\epsilon \} \) has natural density zero, i.e.,
and we write it as \(st-\lim x_{k}=x\).
Recall [25, 34] that a modulus f is a function from \(\mathbb{R^{+}}\) to \(\mathbb{R^{+}}\) such that (i) \(f(x) = 0\) if and only if \(x = 0\), (ii) \(f(x + y) \leq f(x) + f(y)\) for \(x \geq0\), \(y \geq 0\), (iii) f is increasing, (iv) f is continuous from the right at 0. If f, g are moduli and a, b are positive real numbers, then \(f\circ g\), \(af+bg\), and \(f\vee g\) are moduli. A modulus may be unbounded or bounded. For example, the modulus \(f(x) = x^{p}\) where \(0 < p \leq1\), is unbounded, but \(g(x) = \frac{x}{(1+ x)}\) is bounded. For the work related to sequence spaces defined by a modulus, one may refer to [1, 5–7, 9, 10, 25] and many others.
Aizpuru et al. [1] have recently introduced a new concept of density by moduli, and consequently obtained a new concept of non-matrix convergence, namely, f-statistical convergence which is, in fact, a generalization of the concept of statistical convergence and intermediate between the ordinary and statistical convergence. This idea of replacing the natural density with a density by moduli has also been used to study the concepts of f-statistical convergence of order α [5], f-lacunary statistical convergence [6], f-statistical boundedness [10], and deferred f-statistical convergence [19].
Definition 1.2
([1])
For any unbounded modulus f, the f-density of a set \(K \subset \mathbb{N}\) is denoted by \(d^{f} (K)\) and is defined by
whenever this limit exists.
Definition 1.3
([1])
Let f be an unbounded modulus and X be a normed space. A sequence \((x_{k})\) in X is said to be f-statistically convergent to \(x \in X\), if, for each \(\varepsilon > 0\),
and we write it as \(f-st\lim x_{k} = x\).
Remark 1.4
([1])
For any unbounded modulus f, every convergent sequence is f-statistically convergent which, in turn, is statistically convergent, but not conversely.
By a lacunary sequence \(\theta= (k_{r})\); \(r = 0,1,2,\ldots\) , where \(k_{0} = 0\), we shall mean an increasing sequence of non-negative integers with \(k_{r} - k_{r-1} \to \infty\) as \(r \to\infty\). The intervals determined by θ will be denoted by \(I_{r} = ( k_{r-1}, k_{r}]\), and we let \(h_{r} = k_{r} - k_{r-1}\). The ratio \(k_{r}/k_{r-1}\), which also occurs frequently, will be denoted by \(q_{r}\).
Fridy and Orhan [17] introduced the concept of lacunary statistical convergence as follows:
Definition 1.5
Let \(\theta= (k_{r})\) be a lacunary sequence. A number sequence \((x_{k})\) is said to be lacunary statistically convergent to l, or \(S_{\theta}\)-convergent to l, if for each \(\varepsilon > 0\),
In this case, we write \(S_{\theta}-\lim x_{k} = l\).
Quite recently, Bhardwaj and Dhawan [6] have extended the concept of lacunary statistical convergence to that of f-lacunary statistical convergence as follows:
Definition 1.6
Let f be an unbounded modulus and \(\theta= (k_{r})\) be a lacunary sequence. A number sequence \((x_{k})\) is said to be f-lacunary statistically convergent to l, or \(S_{\theta}^{f}\)-convergent to l, if for each \(\varepsilon > 0\),
In this case, we write \(S_{\theta}^{f}-\lim x_{k} = l\).
An extension of the concepts of lacunary statistical convergence and f-lacunary statistical convergence in a more general setting of normed spaces shall be needed in the present work and is given below.
Definition 1.7
Let X be a normed space and \(\theta= (k_{r})\) a lacunary sequence. A sequence \((x_{k})\) in X is said to be lacunary statistically convergent to \(x \in X\), if, for each \(\varepsilon > 0\),
In this case, we write \(S_{\theta}(X)-\lim x_{k} = x\). However, if there is no confusion regarding the scalar- or vector-valued sequences, we may avoid writing X explicitly, i.e., we may simply write \(S_{\theta}-\lim x_{k} = x\). The set of all X-valued lacunary statistically convergent sequences is denoted by \(S_{\theta}(X)\).
Definition 1.8
Let f be an unbounded modulus, X a normed space, and \(\theta= (k_{r})\) a lacunary sequence. A sequence \((x_{k})\) in X is said to be f-lacunary statistically convergent to \(x \in X\), if, for each \(\varepsilon > 0\),
In this case, we write \(S^{f}_{\theta}(X)-\lim x_{k} = x\), or simply \(S^{f}_{\theta}-\lim x_{k} = x\), as mentioned above. The set of all X-valued f-lacunary statistically convergent sequences is denoted by \(S^{f}_{\theta}(X)\).
1.2 Korovkin-type approximation theorems
The theory of approximation is an area of mathematical analysis, which, at its core, is concerned with the approximation of functions by simpler and more easily calculated functions. In the 1950s, the theory of approximation of functions by positive linear operators developed a lot, when Popoviciu [33], Bohman [11] and Korvokin [23, 24] independently discovered a simple and easily applicable criterion to check if a sequence of positive linear operators converges uniformly to the function to be approximated. This criterion says that the necessary and sufficient condition for the uniform convergence of the sequence \((L_{n})\) of positive linear operators to the continuous function g on the compact interval \([a,b]\) is the uniform convergence of the sequence \((L_{n}g)\) to g for only the three functions \(e_{n}(x) = x^{n}, n= 0,1,2\). This classical result of approximation theory is mostly known under the name of Bohman–Korovkin theorem, because Popoviciu’s contribution in [33] remained unknown for a long time.
Due to this classical result, the monomials \(e_{n}, n = 0, 1, 2\), play an important role in the approximation theory of linear and positive operators on spaces of continuous functions. These monomials are often called Korovkin test-functions. This elegant and simple result has inspired many mathematicians to extend this result in different directions, generalizing the notion of sequence and considering different spaces. In this way a special branch of approximation theory arose, called Korovkin-type approximation theory. A complete and comprehensive exposure on this topic can be found in [3].
Statistical convergence had not been examined in approximation theory until 2002. Korovkin first and second approximation theorems were first proved via statistical convergence by Gadjiev and Orhan [18] and Duman [13], in 2002 and 2003, respectively. In 2005, Patterson and Savaş [30] proved the first Korovkin approximation theorem via lacunary statistical convergence. It is quite interesting to note that the lacunary statistical analog of the Korovkin second approximation theorem has not been studied so far. Korovkin-type approximation theorems have been studied via various summability methods by many mathematicians. Quite recently Bhardwaj and Dhawan [8] have obtained f-statistical analogs of the classical Korovkin first and second approximation theorems. For a detailed account one may refer to [2, 4, 12, 20, 21, 27, 28] where many more references can be found.
1.3 Correct reformulation of the various analogs of the classical Korovkin first theorem
The authors wish to thank Professor F. Altomare for his help in the correct reformulation of the various analogs of the classical Korovkin first theorem.
For a given closed and bounded interval \([a,b]\), we first introduce the following spaces:
The space \(B([a,b])\) is a Banach space with norm \(\|g\|_{B} = \sup_{x \in [a,b]}|g(x)|\), \(g \in B([a,b])\).
We also recall [32] that for any linear spaces \(X, Y\) of real functions
-
1.
The mapping \(L : X \to Y\) is called a linear operator if
$$\begin{aligned} L(\alpha f+\beta g)= \alpha L(f)+\beta L(g)\quad\text{for } f, g \in X \text{ and }\alpha, \beta\in\mathbb{R}. \end{aligned}$$ -
2.
If \(f \geq0\), \(f \in X \Longrightarrow Lf\geq0\), then L is a positive linear operator.
-
3.
In order to highlight the argument of the function \(Lf \in Y\), we use the notation \(L(f,x)\).
The classical Korovkin first theorem [24] is stated in Gadjiev and Orhan [18] as follows:
Theorem 1.9
If the sequence of positive linear operators \(L_{n}: C_{M}[a,b] \to B([a,b])\) satisfies the conditions
then for any function \(g \in C_{M}[a,b]\), we have
where \(C_{M}[a,b]\) denotes the space of all functions g which are continuous at every point of the interval \([a,b]\) and bounded on the entire line.
Remark 1.10
The space \(C_{M}[a,b]\) of Gadjiev and Orhan [18] is essentially the same as the space \(F_{cb}([a,b])\) defined above. A new notation for the same space has been introduced for the sake of notational uniformity.
Remark 1.11
There is some inaccuracy in the statement of Theorem 1.9 above, as the equations
do not make any sense since the test functions t and \(t^{2} \notin C_{M}[a,b]\). It is necessary, indeed, to enlarge the domain of positive linear operators \(L_{n}\) by considering the linear subspace \(D([a,b])\) of \(F_{c}([a,b])\) generated by \(F_{cb}([a,b])\) and the functions \(1, t\) and \(t^{2}\). (We could have taken only t and \(t^{2}\) instead of \(1, t\) and \(t^{2}\) since the constant function 1 already belongs to \(F_{cb}([a,b]\)). This has been done just to place the three test functions \(1, t\) and \(t^{2}\) together). \(D([a,b])\) is, surely, the minimal subspace of \(F_{c}([a,b])\) on which the linear operators \(L_{n}\) must be defined in order to correctly state the result.
From here onwards, \(D([a,b])\) will denote the linear subspace of \(F_{c}([a,b])\) generated by \(F_{cb}([a,b]) \cup\{1, t, t^{2}\}\).
We are now ready to give the correct reformulation of Theorem 1.9 as follows:
Theorem 1.12
If the sequence \((L_{n})\) of positive linear operators \(L_{n} : D([a,b]) \to B([a,b])\) satisfies the conditions
then for any function \(g \in F_{cb}([a,b])\), we have
In the same paper [18], Gadjiev and Orhan have given the statistical analog of Korovkin first theorem as follows:
Theorem 1.13
If the sequence of positive linear operators \(L_{n}: C_{M}[a,b] \to B([a,b])\) satisfies the conditions
then for any function \(g \in C_{M}[a,b]\), we have
Remark 1.14
The same inaccuracy gets repeated in the statement of Theorem 1.13. The corrected version is as follows:
Theorem 1.15
If the sequence \((L_{n})\) of positive linear operators \(L_{n} : D([a,b]) \to B([a,b])\) satisfies the conditions
then for any function \(g \in F_{cb}([a,b])\), we have
Patterson and Savaş [30] have given the lacunary statistical analog of Korovkin first theorem as follows:
Theorem 1.16
If the sequence of positive linear operators \(L_{n}: C_{M}[a,b] \to B([a,b])\) satisfies the conditions
then for any function \(g \in C_{M}[a,b]\), we have
Remark 1.17
The same inaccuracy gets repeated here also. The corrected version is as follows:
Theorem 1.18
If the sequence \((L_{n})\) of positive linear operators \(L_{n} : D([a,b]) \to B([a,b])\) satisfies the conditions
then for any function \(g \in F_{cb}([a,b])\), we have
We conclude this section by stating the recently obtained (see [8]) f-statistical analogs of the Korovkin first and second approximation theorems as we shall be needing them later in this paper.
Theorem 1.19
Let f be an unbounded modulus and \((L_{n})\) a sequence of positive linear operators \(L_{n} : D([a,b]) \to B([a,b])\). Then, for all \(g \in D([a,b])\),
if and only if
We shall denote by \(D^{*}([a,b])\) the linear subspace of \(F_{c}^{*}([a,b])\) generated by \(F_{cb}^{*}([a,b])\) and the functions \(1, \cos t, \sin t\).
Theorem 1.20
Let f be an unbounded modulus and \((L_{n})\) a sequence of positive linear operators \(L_{n} : D^{*}([a,b]) \to B([a,b])\). Then, for all \(g \in D^{*}([a,b])\),
if and only if
1.4 Discussion of the main problem
In this paper we mainly prove Korovkin-type approximation theorems via f-lacunary statistical convergence. The lacunary statistical analog of the Korovkin second approximation theorem is obtained as a particular case. A relationship between the newly established Korovkin type approximation theorems via f-lacunary statistical convergence, the classical Korovkin theorems and their lacunary statistical analogs has been studied. In addition, we also establish a relationship between the f-lacunary statistical analogs and f-statistical analogs of classical Korovkin first and second approximation theorems. The proofs of our main results, i.e., Theorems 2.3 and 2.13, may appear to contain same calculations from the corresponding old ones but, in fact, there are certain gaps and mistakes in the corresponding earlier published proofs which have been filled in and corrected.
2 Main results
2.1 f-lacunary statistical analog of the Korovkin first theorem
In order to prove an f-lacunary statistical analog of Korovkin first theorem, we need the following lemma.
Lemma 2.1
([24])
If a function \(f : \mathbb{R} \to\mathbb{R}\) is continuous in the interval \([a,b]\), continuous on the right at the point b and on the left at the point a, then we can find a \(\delta>0\) for \(\epsilon>0\) such that the inequality
is true if \(|y-x| < \delta\), \(a \leq x \leq b\).
Remark 2.2
In the above lemma, there is an inaccuracy in the sense that, when Korovkin assumes that “f is continuous in the interval \([a, b]\)”, then this means for him that \(f |[a,b]\) is continuous. For these reasons he adds the additional hypotheses that f is continuous on the right at the point b and that f is continuous on the left at the point a. According to the modern terminology, when we assume that \(f \in F_{c}([a, b])\), then f is continuous at every point of \([a, b]\) and, hence, in particular at a (both on the right and on the left) as well as at b (both on the right and on the left). Therefore, in the statement of Theorem 1.13 above, due to Gadjiev and Orhan [18], it is correctly stated that formula \(st-\lim\|L_{n}(g,x) - g(x)\|_{B} = 0\) holds for every \(g \in C_{M}[a,b]\) (i.e., \(F_{cb}([a, b]) \)) because, for such functions Lemma 2.1 can be applied.
We are now in a position to state and prove the promised f-lacunary statistical analog of the Korovkin first theorem.
Theorem 2.3
Let f be an unbounded modulus, \(\theta= (k_{r})\) a lacunary sequence and \((L_{n})\) a sequence of positive linear operators \(L_{n} : D([a,b]) \to B([a,b])\). Then, for all \(g \in D([a,b])\),
if and only if
Proof
Since each of \(1, t, t^{2}\) belongs to \(D([a,b])\), conditions (2.2)–(2.4) follow immediately from (2.1). Now, let conditions (2.2)–(2.4) hold. To prove (2.1), we first prove that for any \(g' \in F_{cb}([a,b])\),
We follow the proof of Theorem 1 of Korovkin [24] up to a certain stage. Since the function \(g'\) is bounded on the whole real axis, we can write
Further, in view of Lemma 2.1, there exists a \(\delta> 0\) for each \(\epsilon> 0\) such that
Putting \(\psi(t) = (t-x)^{2}\) (x an arbitrary but fixed number in the interval \([a,b]\)) and using inequalities (2.5) and (2.6), we have
This means
In fact, if \(|t-x|< \delta\), then (2.6) implies (2.7) since \(\psi(t) = (t-x)^{2} \geq0\), and if \(|t-x|\geq\delta\), then
and (2.7) follows from (2.5) since \(\epsilon>0\).
In view of monotonicity and linearity of the operators \(L_{n}(g',x)\), inequality (2.7) implies
Note that x is fixed and so \(g'(x)\) is a constant number. Therefore,
But
Using (2.8) and (2.9), we have
Now, let us estimate \(L_{n}(\psi,x)\) as follows:
Using (2.11) in (2.10), we have
Therefore,
where \(k_{1}= \max\{a^{2},b^{2}\}, k_{2} = \max\{|a|,|b|\}\) and \(K = \max \{\epsilon+\frac{2M}{\delta^{2}}k_{1}+M, \frac{4M}{\delta^{2}}k_{2}, \frac {2M}{\delta^{2}} \}\). For any \(\epsilon'>0\), choose \(\epsilon>0\) such that \(\epsilon<\epsilon '\). Now, from inequality (2.12), we have
Now, write
Then it is easy to see that \(D \subset D_{1}\cup D_{2} \cup D_{3} \). Now, from (2.13), we have
which yields
and, using (2.2)–(2.4), we get
Now let \(g \in D([a,b])\). This implies that \(g= \alpha_{1}g_{1}+\alpha _{2}g_{2}+\cdots+\alpha_{m}g_{m}\) for some \(m \in\mathbb{N}\), where \(\alpha_{i} \in\mathbb{R,}\) and \(g_{i} \in F_{cb}([a,b])\cup\{1,t,t^{2}\}\), \(1\leq i\leq m\).
Now,
where \(K'= \max\{|\alpha_{1}|, |\alpha_{2}|, \ldots, |\alpha_{m}|\}\).
Thus, for any \(\epsilon''>0\), we have
and, using (2.14), get
□
Remark 2.4
Since every convergent sequence is f-lacunary statistically convergent [6], it immediately follows that any sequence satisfying the conditions of the classical Korovkin first theorem automatically satisfies the conditions of its f-lacunary statistical analog.
Our next example shows that there may exist a sequence of positive linear operators which satisfies the conditions of Theorem 2.3 but does not satisfy the conditions of Theorem 1.12, thereby showing that our result is stronger than the classical one.
Example 2.5
Following Gadjiev and Orhan [18], consider the sequence \(Q_{n} : D([0,1]) \to B([0,1])\) of positive linear operators defined by
where \((B_{n})\) is the sequence of classical Bernstein polynomials defined by
and \((\alpha_{n})\) is the sequence of scalars which is f-lacunary statistically convergent to zero for some unbounded modulus f but not convergent to zero. Before proceeding further, we give a specific example of such type of a sequence \((\alpha_{n})\) as follows.
Let f be an unbounded modulus, for which \(\lim_{t \to\infty}\frac {f(t)}{t} > 0\) and there is a positive constant c such that \(f(xy)\geq cf(x)f(y)\) for all \(x\geq0, y \geq0\). Proceeding as in [15, p. 511], let \(\theta = (k_{r})\) be a lacunary sequence and \((k_{r(j)})\) a subsequence of lacunary sequence θ such that \(q_{r(j)} > j\). Define a bounded sequence \(\alpha=(\alpha_{k})\) by
Then \(\alpha\in N_{\theta}^{0}\) (the space of all sequences which are lacunary strongly convergent to zero). By Theorem 3 of [31], we have \(N_{\theta}^{0} \subset N_{\theta,0}^{f} \) (the space of all sequences which are lacunary strongly convergent to zero with respect to f) and, by Theorem 14 of [6], we have \(N_{\theta,0}^{f} \subset S_{\theta,0}^{f}\) (the space of all sequences which are f-lacunary statistically convergent to zero), from where it follows that \(\alpha\in S_{\theta,0}^{f}\). Also, clearly, \(\alpha\notin c\). Hence \(\alpha= (\alpha_{k})\) is an example of a sequence of scalars which is f-lacunary statistically convergent to zero for some unbounded modulus f but not convergent to zero.
It is known (see [24]) that
Hence, for the sequence \((Q_{n})\) of positive linear operators, conditions (2.2)–(2.4) of Theorem 2.3 are apparently satisfied. So, we have
On the other hand,
and so
from where it follows that \((Q_{n})\) does not satisfy the conditions of classical Korovkin first theorem.
Remark 2.6
Since every f-lacunary statistically convergent sequence is lacunary statistically convergent [6], it immediately follows that any sequence satisfying the conditions of the f-lacunary statistical analog of the classical Korovkin first theorem (Theorem 2.3) automatically satisfies the conditions of the lacunary statistical analog of the classical Korovkin first theorem (Theorem 1.18).
We next claim that the lacunary statistical analog of the classical Korovkin first theorem is stronger than the f-lacunary statistical analog of the classical Korovkin first theorem. For this we first provide an example of a lacunary statistically convergent sequence which is not f-lacunary statistically convergent.
Example 2.7
Consider the lacunary sequence \(\theta=(k_{r})\) defined as follows:
Then \(h_{r}=r, r=1,2,\ldots\) . Now we define a sequence \(x=(x_{k})\) of scalars by defining it on the intervals \(I_{r}=(k_{r-1},k_{r}], r=1,2,\dots \) determined by θ. Set \(x_{0}=0\) and let
where \([\sqrt{r}]\) denotes the greatest integer less than or equal to \(\sqrt{r}\).
Aside. For a better understanding let us write down first a few terms of θ and x:
Now for any \(\varepsilon>1\),
For \(0<\varepsilon\leq1\), by construction of the sequence \(x=(x_{k})\), we have
because
Therefore,
Now consider the unbounded modulus function \(f(x)=\log(1+x)\). We will show that \(S^{f}_{\theta}-\lim x_{k}\neq0\), whence it will follow that \((x_{k})\) is not f-lacunary statistically convergent. Indeed, suppose \((x_{k})\) were f-lacunary statistically convergent to some number l, then by Theorem 11 of [6], \((x_{k})\) would be lacunary statically convergent to l and, finally, by the uniqueness of \(S_{\theta}\)-limit for a fixed θ (see [17], page 48), this l had to be 0.
It is clear that for \(\varepsilon>1\), \(f(|\{k\in I_{r}:|x_{k}|\geq \varepsilon\}|)=f(0)=0\), and hence
Now note that
and so
Therefore, for \(0<\varepsilon\leq1\),
Therefore, \(x=(x_{k})\) is not f-lacunary statistically convergent, and hence the inclusion \(S^{f}_{\theta}\subset S_{\theta}\) may be strict, in general.
Our next example shows that there exists a sequence of positive linear operators which satisfies the conditions of Theorem 1.18 but does not satisfy the conditions of Theorem 2.3, thereby implying that the lacunary statistical analog of the classical Korovkin first theorem is stronger than the f-lacunary statistical analog of the classical Korovkin first theorem.
Example 2.8
Consider the sequence \(Q_{n} : D([0,1]) \to B([0,1])\) of positive linear operators defined by
where \((B_{n})\) is the sequence of classical Bernstein polynomials and \((\alpha_{n})\) is any sequence of scalars which is lacunary statistically convergent to zero but not f-lacunary statistically convergent to zero for some unbounded modulus f. It is easy to see, as in Example 2.5, that the sequence \((Q_{n})\) satisfies the lacunary statistical analog of Korovkin first theorem but does not satisfy the f-lacunary statistical analog of Korovkin first theorem.
We now study a relationship between the f-lacunary statistical analog and the f-statistical analog of the Korovkin first theorem. In other words, we characterize those θ for which these two analogs become equivalent, of course, under certain restrictions on f. In order to do this, we need the following lemmas which are actually simple extensions of Lemmas 17 and 19 of Bhardwaj and Dhawan [6] to an arbitrary normed space.
Lemma 2.9
In a normed space X, for any lacunary sequence θ and unbounded modulus f, for which \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\) and there is a positive constant c such that \(f(xy)\geq cf(x)f(y)\) for all \(x\geq0, y \geq0\), one has \(S^{f}(X) \subset S_{\theta}^{f}(X)\) if and only if \(\liminf_{r} q_{r} >1\).
Lemma 2.10
In a normed space X, for any lacunary sequence θ and unbounded modulus f, for which \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\) and there is a positive constant c such that \(f(xy)\geq cf(x)f(y)\) for all \(x\geq0, y \geq0\), one has \(S_{\theta}^{f}(X) \subset S^{f}(X)\) if and only if \(\limsup_{r} q_{r} < \infty\).
Combining Lemmas 2.9 and 2.10, we have the following.
Theorem 2.11
In a normed space X, for any lacunary sequence θ and unbounded modulus f, for which \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\) and there is a positive constant c such that \(f(xy)\geq cf(x)f(y)\) for all \(x\geq0, y \geq0\), one has \(S_{\theta}^{f}(X) = S^{f}(X)\) if and only if \(1 <\liminf_{r} q_{r} \leq\limsup_{r} q_{r} < \infty\).
In view of Theorems 1.19, 2.3 and 2.11, we immediately have the following.
Theorem 2.12
Let f be any unbounded modulus, for which \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\) and there is a positive constant c such that \(f(xy)\geq cf(x)f(y)\) for all \(x\geq0, y \geq0\). Then, the f-lacunary statistical analog and f-statistical analog of the Korovkin first theorem are equivalent for those θ for which \(1 <\liminf_{r} q_{r} \leq\limsup_{r} q_{r} < \infty\).
2.2 f-lacunary statistical analog of Korovkin second theorem
The classical Korovkin second theorem [24] may be stated as follows.
Theorem 2.13
If the sequence \((L_{n})\) of positive linear operators \(L_{n} : D^{*}([a,b]) \to B([a,b])\) satisfies the conditions
then for any function \(g \in F_{cb}^{*}([a,b])\), we have
We now prove an f-lacunary statistical analog of the Korovkin second theorem, from which the lacunary statistical analog is obtained as a particular case.
Theorem 2.14
Let f be an unbounded modulus and \((L_{n})\) be a sequence of positive linear operators \(L_{n} : D^{*}([a,b]) \to B([a,b])\). Then, for all \(g \in D^{*}([a,b])\),
if and only if
Proof
Since each of \(1, \cos t, \sin t\) belongs to \(D^{*}([a,b])\), conditions (2.16)–(2.18) follow immediately from (2.15). Now, let the conditions (2.16)–(2.18) hold. To prove (2.15), we first prove that for any \(g' \in F_{cb}^{*}([a,b])\),
We follow the proof of Theorem 2 of Korovkin [24] up to a certain stage. Since the function \(g'\) is bounded on the whole real axis, we can write
Further, in view of Lemma 2.1, there exists a \(\delta> 0\) for each \(\epsilon> 0\) such that
Now we take the subinterval \(x-\delta< t \leq2\pi+ x-\delta\) of length 2π, where \(x \in[a,b]\) is fixed. Taking \(\psi(t) = \sin^{2}\frac{(t-x)}{2}\) and using (2.19) and (2.20), we have
This means
In fact, if \(|t-x|<\delta\), then inequality (2.21) follows from (2.20), since \(\psi(t) = \sin^{2}\frac{(t-x)}{2} \geq0\). If \(\delta\leq t-x \leq2\pi-\delta\), then \(\frac{\delta}{2} \leq\frac {t-x}{2} \leq\pi- \frac{\delta}{2}\), and thus \(\sin(\frac{t-x}{2}) \geq\sin \frac{\delta}{2} \), \(\psi(t) = \sin^{2} (\frac{t-x}{2}) \geq \sin^{2} \frac{\delta}{2}\), \(\frac{2M}{\sin^{2}\frac{\delta}{2}}\psi(t) \geq2M\), and inequality (2.21) follows from inequality (2.19) since \(\epsilon>0\).
Thus inequality (2.21), on which the proof of this theorem is based, has not yet been established for all t, but it holds for t belonging to the subinterval \((x-\delta, 2\pi+ x - \delta]\) of length 2π. In order to prove validity of inequality (2.21) for all \(t \in(-\infty, \infty)\), we note that the function
has period 2π and, according to the conditions of the theorem, the function \(g'(t)\) also has period 2π, i.e.,
Therefore, we find from (2.21) that
But if t varies in the subinterval \((x-\delta, 2\pi+ x - \delta]\), then \(t+2\pi\) will vary in the subinterval \((2\pi+x-\delta, 4\pi+ x - \delta]\), \(t+4\pi\) in the subinterval \((4\pi+x-\delta, 6\pi+ x - \delta]\), and, in general, \(t+2k\pi\) will vary in the subinterval \((2k\pi+x-\delta, 2k\pi+2\pi+ x - \delta]\), \(k = 0,\pm1, \pm 2, \pm3, \ldots\) .
The totality of these subintervals covers without any gap the whole real axis, and thus the inequality (2.21), whose validity on every subinterval follows from (2.22), is proved for all values of t.
Using inequality (2.21) and monotonicity of the operator \(L_{n}(g',x)\), we obtain
As we know x is fixed and so \(g'(x)\) is a constant number. Therefore,
Also,
From (2.23) and (2.24), we have
Now,
Substituting the value of \(L_{n}(\psi,x)\) in (2.25), we get
Since \(|g'(x)|\leq M\), \(|\cos x|\leq1\) and \(|\sin x|\leq1\), for all \(x \in[a,b]\),
where \(K = \max \{\epsilon+\frac{M}{\sin^{2}\frac{\delta}{2}}+M, \frac {M}{\sin^{2}\frac{\delta}{2}} \}\).
For any \(\epsilon'>0\), choose \(\epsilon>0\) such that \(\epsilon<\epsilon '\). Now, from inequality (2.26), we have
Now write
Then it is easy to see that \(D \subset D_{1}\cup D_{2} \cup D_{3} \). Now, from (2.27), we have
which yields
and, using (2.16)–(2.18)), we get
From here onwards, we proceed as in the proof of Theorem 2.3 to get
□
Remark 2.15
If we take \(f(x) = x\) in Theorem 2.14, we obtain the lacunary statistical analog of the classical Korovkin second theorem as follows.
Theorem 2.16
Let \((L_{n})\) be a sequence of positive linear operators \(L_{n} : D^{*}([a,b]) \to B([a,b])\). Then, for all \(g \in D^{*}([a,b])\),
if and only if
Remark 2.17
Since every convergent sequence is f-lacunary statistically convergent [6], it immediately follows that any sequence satisfying the conditions of the classical Korovkin second theorem automatically satisfies the conditions of its f-lacunary statistical analog.
Our next example shows that there exists a sequence of positive linear operators which satisfies the conditions of Theorem 2.14 but does not satisfy the conditions of Theorem 2.13, thereby showing that our result is stronger than the classical one.
Example 2.18
Following Duman [13], consider the sequence \(Q_{n} : D^{*}([-\pi,\pi ]) \to B([-\pi,\pi])\) of positive linear operators defined by
where \((F_{n})\) is the sequence of Fejer operators defined by
and \((\alpha_{n})\) is the sequence of scalars which is f-lacunary statistically convergent to zero for some unbounded modulus f but not convergent to zero. It is known [24] that
Hence, the sequence \((Q_{n})\) satisfies conditions (2.16)–(2.18) of Theorem 2.14. So, we have
On the other hand,
and so,
from where it follows that \((Q_{n})\) does not satisfy the conditions of classical Korovkin second theorem.
Remark 2.19
Since every f-lacunary statistically convergent sequence is lacunary statistically convergent [6], it immediately follows that any sequence satisfying the conditions of the f-lacunary statistical analog of the classical Korovkin second theorem (Theorem 2.14) automatically satisfies the conditions of the lacunary statistical analog of the classical Korovkin second theorem (Theorem 2.16).
Remark 2.20
In Example 2.18, if we take \((\alpha_{n})\) to be any sequence which is lacunary statistically convergent to zero but not f-lacunary statistically convergent to zero for some unbounded modulus f, then we obtain a sequence of positive linear operators which satisfies the conditions of Theorem 2.16 but does not satisfy the conditions of Theorem 2.14, thereby showing that the lacunary statistical analog of the classical Korovkin second theorem is stronger than the f-lacunary statistical analog of the classical Korovkin second theorem.
We conclude this section by studying a relationship between the f-lacunary statistical analog and the f-statistical analog of the Korovkin second theorem. In other words, we characterize those θ for which these two analogs are equivalent, of course, under certain restrictions on f. In view of Theorems 1.20, 2.11 and 2.14, we have the following.
Theorem 2.21
Let f be any unbounded modulus, for which \(\lim_{t \to\infty}\frac{f(t)}{t} > 0\) and there is a positive constant c such that \(f(xy)\geq cf(x)f(y)\) for all \(x\geq0, y \geq0\). Then, the f-lacunary statistical analog and f-statistical analog of the Korovkin second theorem are equivalent for those θ for which \(1 <\liminf_{r} q_{r} \leq\limsup_{r} q_{r} < \infty\).
2.3 The order of f-lacunary statistical convergence
The idea of lacunary statistical convergence with degree β \((0<\beta<1)\) for sequences of numbers was introduced by Patterson and Savaş [30] as follows:
Definition 2.22
The number sequence \((x_{k})\) is said to be lacunary statistically convergent to the number l with degree \(0 < \beta<1\) if, for each \(\epsilon>0\),
In this case, we write
The concept of lacunary statistical convergence of order α was introduced by Şengül and Et [36] as follows:
Definition 2.23
Let \(0<\alpha\leq1\). The number sequence \((x_{k})\) is said to be lacunary statistically convergent of order α to the number l if, for each \(\epsilon>0\),
From Definitions 2.22 and 2.23, we have the following
Remark 2.24
A sequence is lacunary statistically convergent of degree β if and only if it is lacunary statistically convergent of order \(1-\beta\), where \(0<\beta<1\).
We now introduce a new concept of f-lacunary statistical convergence with degree β \((0<\beta<1)\) for X-valued sequences, where X is a normed space.
Definition 2.25
Let X be a normed space. A sequence \((x_{k})\) in X is said to be f-lacunary statistically convergent to some \(x \in X\) with degree \(0 < \beta<1\) if, for each \(\epsilon>0\),
In this case, we write
Remark 2.26
In case \(f(x) = x\), the concept of f-lacunary statistical convergence with degree β \((0<\beta<1)\) reduces to that of lacunary statistical convergence with degree β \((0<\beta<1)\).
Theorem 2.27
Let f be an unbounded modulus and \(\theta= (k_{r})\) be a lacunary sequence. Let \((x_{k})\) and \((y_{k})\) be any two sequences such that \(x_{k} - x = S^{f}_{\theta}-o(k^{-\beta_{1}})\) and \(y_{k} - y = S^{f}_{\theta }-o(k^{-\beta_{2}})\). Then
-
(i)
\((x_{k} +y_{k}) - (x+y) = S^{f}_{\theta}-o(k^{-\beta})\), where \(\beta= \min{(\beta_{1}, \beta_{2})}\),
-
(ii)
\(\alpha(x_{k} - x) =S^{f}_{\theta}-o(k^{-\beta_{1}}) \) for any real number α.
The proof is a routine verification by using standard techniques and hence omitted.
Theorem 2.28
Every f-lacunary statistically convergent sequence with degree \(0<\beta<1\) is f-lacunary statistically convergent for any unbounded modulus f.
Proof
Since \(0<\beta<1\), we get \(0<1-\beta<1\). This implies that \(f(h_{r}^{1-\beta}) \leq f(h_{r})\) and hence,
□
Theorem 2.29
Let \(0 < \alpha\leq\beta<1\). If a sequence is f-lacunary statistically convergent with degree β then it is lacunary statistically convergent with degree α.
Proof
Suppose \((x_{k})\) is f-lacunary statistically convergent with degree β to l. Then,
This implies that for a given \(p \in\mathbb{N}\), there exists an \(n_{o} \in\mathbb{N}\) such that for \(n \geq n_{o}\), we have
and, since f is increasing, we have
Hence, \((x_{k})\) is lacunary statistically convergent with degree α. □
Maddox [26] proved that for any modulus f, \(\lim_{t \to\infty }\frac{f(t)}{t}\) exists. Making use of this result, we are now in a position to find the degree of f-lacunary statistical convergence of the sequence of positive linear operators in Theorem 2.3.
Theorem 2.30
Let f be an unbounded modulus such that \(\lim_{t \to\infty}\frac {f(t)}{t} >0\). Let \((L_{n})\) be a sequence of positive linear operators \(L_{n} : D([a,b]) \to B([a,b])\) satisfy the conditions
Then, for all \(g' \in F_{cb}([a,b])\), we have
where \(\beta= \min{(\beta_{1}, \beta_{2},\beta_{3})}\).
Proof
Proceeding as in the proof of Theorem 2.3, from inequality (2.13), we have
By using conditions (2.28)–(2.30) and the fact that \(\lim_{t \to\infty}\frac{f(t)}{t}>0\), we have
where \(\beta= \min{(\beta_{1}, \beta_{2},\beta_{3})}\). □
3 Conclusion
New versions of Korovkin type approximation theorems using the notion of f-lacunary statistical convergence have been established. It is shown that any sequence satisfying the conditions of the classical Korovkin first (second) theorem satisfies the conditions of its corresponding f-lacunary statistical analog whereas there exists a sequence of positive linear operators which satisfies the conditions of f-lacunary statistical analog of Korovkin first (second) theorem without satisfying the conditions of the corresponding classical Korovkin theorem, thereby showing that our results are stronger than the classical ones.
We have also shown that lacunary statistical analog of Korovkin first (second) theorem is stronger than the f-lacunary statistical analog of Korovkin first (second) theorem.
Finally, we have characterized those θ for which f-lacunary statistical analog and the f-statistical analog of the Korovkin first (second) theorem are equivalent, of course, under certain restrictions on f.
References
Aizpuru, A., Listàn-Garcìa, M.C., Rambla-Barreno, F.: Density by moduli and statistical convergence. Quaest. Math. 37, 525–530 (2014)
Aktuğlu, H.: Korovkin-type approximation theorems proved via αβ-statistical convergence. J. Comput. Appl. Math. 259, 174–181 (2014)
Altomare, F.: Korovkin-type theorems and approximation by positive linear operators. Surv. Approx. Theory 5, 92–164 (2010)
Belen, C., Mohiuddine, S.A.: Generalized weighted statistical convergence and application. Appl. Math. Comput. 219(18), 9821–9826 (2013)
Bhardwaj, V.K., Dhawan, S.: f-statistical convergence of order α and strong Cesàro summability of order α with respect to a modulus. J. Inequal. Appl. 2015, 332 (2015)
Bhardwaj, V.K., Dhawan, S.: Density by moduli and lacunary statistical convergence. Abstr. Appl. Anal. 2016, 9365037 (2016)
Bhardwaj, V.K., Dhawan, S.: Density by moduli and Wijsman lacunary statistical convergence of sequences of sets. J. Inequal. Appl. 2017, 25 (2017)
Bhardwaj, V.K., Dhawan, S.: Korovkin type approximation theorem via f-statistical convergence. J. Math. Anal. 9(2), 99–117 (2018)
Bhardwaj, V.K., Dhawan, S., Dovgoshey, O.: Density by moduli and Wijsman statistical convergence. Bull. Belg. Math. Soc. Simon Stevin 24(3), 393–415 (2017)
Bhardwaj, V.K., Dhawan, S., Gupta, S.: Density by moduli and statistical boundedness. Abstr. Appl. Anal. 2016, 2143018 (2016)
Bohman, H.: On approximation of continuous and of analytic functions. Ark. Mat. 2, 43–56 (1952)
Braha, N.L.: Some weighted equi-statistical convergence and Korovkin type-theorem. Results Math. 70, 433–446 (2016)
Duman, O.: Statistical approximation for periodic functions. Demonstr. Math. 36, 873–878 (2003)
Fast, H.: Sur la convergence statistique. Colloq. Math. 2, 241–244 (1951)
Freedman, A.R., Sember, J.J., Raphael, M.: Some Cesàro type summability spaces. Proc. Lond. Math. Soc. 37(3), 508–520 (1978)
Fridy, J.A.: On statistical convergence. Analysis 5, 301–313 (1985)
Fridy, J.A., Orhan, C.: Lacunary statistical convergence. Pac. J. Math. 160, 43–51 (1993)
Gadjiev, A.D., Orhan, C.: Some approximation theorems via statistical convergence. Rocky Mt. J. Math. 32, 129–138 (2002)
Gupta, S., Bhardwaj, V.K.: On deferred f-statistical convergence. Kyungpook Math. J. 58, 91–103 (2018)
Kadak, U., Braha, N.L., Srivastava, H.M.: Statistical weighted \(\mathfrak{B}\)-summability and its applications to approximation theorems. Appl. Math. Comput. 302, 80–96 (2017)
Karakaya, V., Karaisa, A.: Korovkin-type approximations theorems for weighted αβ-statistical convergence. Bull. Math. Sci. 5, 159–169 (2015)
Kolk, E.: Statistically convergent sequences in normed spaces, Reports of convergence “Methods of algebra and analysis”. Tartu, 63–66 (1988) (in Russian)
Korovkin, P.P.: Convergence of linear positive operators in the space of continuous functions (Russian). Dokl. Akad. Nauk SSSR 90, 961–964 (1953)
Korovkin, P.P.: Linear Operators and Approximation Theory. Hindustan Publ. Corp., Delhi (1960)
Maddox, I.J.: Sequence spaces defined by a modulus. Math. Proc. Camb. Philos. Soc. 100, 161–166 (1986)
Maddox, I.J.: Inclusion between FK spaces and Kuttner’s theorem. Math. Proc. Comb. Philos. Soc. 101, 523–527 (1987)
Mohiuddine, S.A.: Statistical weighted A-summability with application to Korovkin’s type approximation theorem. J. Inequal. Appl. 2016, 101 (2016)
Mursaleen, M., Alotaibi, A.: Statistical lacunary summability and Korovkin-type approximation theorem. An. Univ. Ferrera 57, 373–381 (2011)
Niven, I., Zuckerman, H.S., Montgomery, H.L.: An Introduction to the Theory of Numbers. 5th (ed.). Willey, New York (1991)
Patterson, R.F., Savaş, E.: Korovkin and Weierstrass approximation via lacunary statistical sequences. J. Math. Stat. 1(2), 165–167 (2005)
Pehlivan, S., Fisher, B.: On some sequence spaces. Indian J. Pure Appl. Math. 25(10), 1067–1071 (1994)
Piţul, P.A.: Evaluation of the approximation order by positive linear operators, Babeş–Bolyai University, Cluj-Napoca, Romania. PhD thesis (2007)
Popoviciu, T.: Asupra demonstra’tiei teoremei lui Weierstrass cu ajutorul polinoamelor de interpolare. In: Lucraările Sesiunii Generale Ştiinţifice din 2-12 iunie 1950, pp. 1664–1667. Editura Academiei Republicii Populare Romǎne, Bucureşti (1951) (in Romanian)
Ruckle, W.H.: FK spaces in which the sequence of coordinate vectors is bounded. Can. J. Math. 25, 973–978 (1973)
S̆alát, T.: On statistically convergent sequences of real numbers. Math. Slovaca 30(2), 139–150 (1980)
Şengül, H., Et, M.: On lacunary statistical convergence of order α. Acta Math. Sci. Ser. B Engl. Ed. 34(2), 473–482 (2014)
Steinhaus, H.: Sur la convergence ordinaire et la convergence asymptotique. Colloq. Math. 2, 73–74 (1951)
Acknowledgements
The authors wish to thank the referees for their valuable suggestions, which have improved the presentation of the paper.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
VKB and SD contributed equally. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bhardwaj, V.K., Dhawan, S. Application of f-lacunary statistical convergence to approximation theorems. J Inequal Appl 2018, 281 (2018). https://doi.org/10.1186/s13660-018-1871-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1871-z