• No results found

Fibonacci statistical convergence and Korovkin type approximation theorems

N/A
N/A
Protected

Academic year: 2020

Share "Fibonacci statistical convergence and Korovkin type approximation theorems"

Copied!
15
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Fibonacci statistical convergence and

Korovkin type approximation theorems

Murat Kiri¸sci

1*

and Ali Karaisa

2

*Correspondence:

mkirisci@hotmail.com

1Department of Mathematical

Education, Hasan Ali Yücel Education Faculty, Istanbul University, Vefa, Fatih, Istanbul, 34470, Turkey

Full list of author information is available at the end of the article

Abstract

The purpose of this paper is twofold. First, the definition of new statistical

convergence with Fibonacci sequence is given and some fundamental properties of statistical convergence are examined. Second, we provide various approximation results concerning the classical Korovkin theorem via Fibonacci type statistical convergence.

MSC: 11B39; 41A10; 41A25; 41A36; 40A30; 40G15

Keywords: Korovkin type approximation theorems; statistical convergence; Fibonacci numbers; Fibonacci matrix; positive linear operator; density

1 Introduction

1.1 Densities and statistical convergence

LetAbe a subset of positive integers. We consider the interval [,n] and select an integer in this interval, randomly. Then the ratio of the number of elements ofAin [,n] to the total number of elements in [,n] belongs toA, probably. Forn→ ∞, if this probability exists, that is, this probability tends to some limit, then this limit is used as the asymptotic density of the setA. Let us mention that the asymptotic density is a kind of probability of choosing a number from the setA.

Now, we give some definitions and properties of asymptotic density.

The set of positive integers will be denoted byZ+. LetAandBbe subsets ofZ+. If the

symmetric differenceABis finite, then we can sayAis asymptotically equal toBand de-noteAB. Freedman and Sember introduced the concept of a lower asymptotic density and defined the concept of convergence in density, in [].

Definition .([]) Letf be a function defined for all sets of natural numbers which takes values in the interval [, ]. Then the functionf is said to be a lower asymptotic density if the following conditions hold:

i. f(A) =f(B)ifAB;

ii. f(A) +f(B)≤f(AB)ifAB=∅; iii. f(A) +f(B)≤ +f(AB)for allA;

iv. f(Z+) = .

We can define the upper density based on the definition of lower density as follows.

(2)

Letf be any density. Then, for any set of natural numbersA, the functionf is said to be upper density associated withf iff(A) =  –f(Z+\A).

Consider the setA⊂Z+. Iff(A) =f(A), then we can say that the setAhas natural density

with respect tof. The term asymptotic density is often used for the function

d(A) =lim inf n→∞

A(n)

n ,

where A⊂N andA(n) =an,aA. Also the natural density ofA is given byd(A) =

limnn–|A(n)|, where|A(n)|denotes the number of elements inA(n).

The study of statistical convergence was initiated by Fast []. Schoenberg [] studied sta-tistical convergence as a summability method and listed some of the elementary proper-ties of statistical convergence. Both of these mathematicians mentioned that if a bounded sequence is statistically convergent toL, then it is Cesàro summable toL. Statistical con-vergence also arises as an example of ‘concon-vergence in density’ as introduced by Buck []. In [], Zygmund called this concept ‘almost convergence’ and established the relation be-tween statistical convergence and strong summability. The idea of statistical convergence has been studied in different branches of mathematics such as number theory [], trigono-metric series [], summability theory [], measure theory [] and Hausdorff locally con-vex topological vector spaces []. The concept ofαβ-statistical convergence was intro-duced and studied by Aktuˇglu []. In [], Karakaya and Karaisa extended the concept of αβ-statistical convergence. Also, they introduced the concept of weightedαβ-statistical convergence of orderγ, weightedαβ-summability of orderγ and strongly weightedαβ -summable sequences of orderγ in []. In [], Braha gave a new weighted equi-statistical convergence and proved the Korovkin type theorems using the new definition.

Definition . A real numbers sequencex= (xk) is statistically convergent toLprovided

that for everyε>  the set{n∈N:|xnL| ≥ε}has natural density zero. The set of all

statistically convergent sequences is denoted byS. In this case, we writeS–limx=Lor

xkL(S).

Definition .([]) The sequencex= (xk) is statistically Cauchy sequence if for every

ε>  there is a positive integerN=N(ε) such that

dn∈N:|xnxN(ε)| ≥ε

= .

It can be seen from the definition that statistical convergence is a generalization of the usual notion of convergence that parallels the usual theory of convergence.

Fridy [] introduced a new notation for facilitation: Ifx= (xn) is a sequence that satisfies

some propertyP for allnexcept a set of natural density zero, then we say thatx= (xn)

satisfiesP for ‘almost alln’, and we abbreviate ‘a.a.n’. In [], Fridy proved the following theorem.

Theorem . The following statements are equivalent:

i. xis a statistically convergent sequence; ii. xis a statistically Cauchy sequence;

(3)

1.2 Fibonacci numbers and Fibonacci matrix

The numbers in the bottom row are calledFibonacci numbers, and the number sequence

, , , , , , , , , , , , . . .

is theFibonacci sequence[].

Definition . The Fibonacci numbers are a sequence of numbers (fn) forn= , , . . .

de-fined by the linear recurrence equation

fn=fn–+fn–, n≥.

From this definition, it means that the first two numbers in Fibonacci sequence are ei-ther  and  (or  and ) depending on the chosen starting point of the sequence and all subsequent numbers is the sum of the previous two. That is, we can choosef=f=  or f= ,f= .

Fibonacci sequence was initiated in the bookLiber Abaciof Fibonacci which was writ-ten in . However, the sequence is based on older history. The sequence had been described earlier as Virahanka numbers in Indian mathematics []. InLiber Abaci, the sequence starts with , nowadays the sequence begins either withf=  or withf= .

Some of the fundamental properties of Fibonacci numbers are given as follows:

lim n→∞

fn+ fn

= +

 =α (golden ratio),

n

k=

fk=fn+–  (n∈N),

k

fk

converges,

fn–fn+–fn= (–)n+ (n≥) (Cassini formula).

It yieldsf

n–+fnfn––fn= (–)n+if we can substitute forfn+in Cassini’s formula.

Letfnbe thenth Fibonacci number for everyn∈N. Then we define the infinite matrix F= (fnk) [] by

fnk= ⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

fn+

fn (k=n– ), fn

fn+ (k=n),

 (≤k<n–  ork>n).

1.3 Approximation theory

Korovkin type approximation theorems are practical tools to check whether a given se-quence (An)n≥ of positive linear operators onC[a,b] of all continuous functions on the

(4)

if it holds for them. Such a property was determined by Korovkin [] in  for the func-tions ,xandxin the spaceC[a,b] as well as for the functions ,cosandsinin the space of all continuous π-periodic functions on the real line.

Until the study of Gadjiev and Orhan [], there was no study related to statistical con-vergence and approximation theory. In [], Korovkin type approximation theorems were proved by using the idea of statistical convergence. Some of the examples of approximation theory and statistical convergence studies can be seen in [, , –].

2 Methods

In the theory of numbers, there are many different definitions of density. It is well known that the most popular of these definitions is asymptotic density. However, asymptotic den-sity does not exist for all sequences. New densities have been defined to fill those gaps and to serve different purposes.

The asymptotic density is one of the possibilities to measure how large a subset of the set of natural numbers is. We know intuitively that positive integers are much more than perfect squares. Because every perfect square is positive and many other positive integers exist besides. However, the set of positive integers is not in fact larger than the set of per-fect squares: both sets are infinite and countable and can therefore be put in one-to-one correspondence. Nevertheless, if one goes through the natural numbers, the squares be-come increasingly scarce. It is precisely in this case that natural density helps us and makes this intuition precise.

The Fibonacci sequence was firstly used in the theory of sequence spaces by Kara and Başarır []. Afterward, Kara [] defined the Fibonacci difference matrixFby using the Fibonacci sequence (fn) forn∈ {, , . . .}and introduced the new sequence spaces related

to the matrix domain ofF.

Following [] and [], high quality papers have been produced on the Fibonacci matrix by many mathematicians [–].

In this paper, by combining the definitions of Fibonacci sequence and statistical conver-gence, we obtain a new concept of statistical converconver-gence, which will be called Fibonacci type statistical convergence. We examine some basic properties of new statistical con-vergence defined by Fibonacci sequences. Henceforth, we get an analogue of the classical Korovkin theorem by using the concept of Fibonacci type statistical convergence.

It will be shown that if X is a Banach space, then for a closed subset ofX, which is denoted byA, Fibonacci type spaceAis closed in Fibonacci type spaceX. We will give the definitions of Fibonacci statistically Cauchy sequence and investigate the Fibonacci statistically convergent sequences and Fibonacci statistically Cauchy sequences. Using the definition of statistical boundedness, it will be proved that the set of Fibonacci statistically convergent sequence spaces of real numbers is a closed linear space of a set of Fibonacci bounded sequences of real numbers and nowhere dense in Fibonacci bounded sequences of real numbers. After proving that the set of Fibonacci statistically convergent sequences is dense in Frechet metric space of all real sequences, the inclusion relations will be given. For the rest of the paper, firstly an approximation theorem, which is an analogue of Ko-rovkin theorem, is given and an example is solved. Second, the rate of Fibonacci statistical convergence of a sequence of positive linear operators definedCπ(R) intoCπ(R) is

(5)

3 Main results

3.1 Fibonacci type statistical convergence

Now, we give the general Fibonacci sequence spaceX(F) as follows [, ]: LetXbe any sequence space andk∈N. Then

X(F) =x= (xk)∈ω: (Fxk)∈X

.

It is clear that ifXis a linear space, thenX(F) is also a linear space. Kara proved that if

Xis a Banach space, thenX(F) is also a Banach space with the norm

xX(F)=FxX.

Now, we will give lemma which is used in the proof of Theorem .. Proof of this lemma is trivial.

Lemma . If XY,then X(F)⊂Y(F).

Theorem . Consider that X is a Banach space and A is a closed subset of X.Then A(F)

is also closed in X(F).

Proof SinceAis a closed subset ofX, from Lemma ., then we can writeA(F)⊂X(F).

A(F),Adenote the closure ofA(F) andA, respectively. To prove the theorem, we must show thatA(F) =A(F).

Firstly, we takexA(F). Therefore, from .. Theorem of [], there exists a sequence (xn)A(F) such thatxnx

F→ inA(F) forn→ ∞. Thus,(xnk) – (xk)F→ asn→ ∞

inA(F) so that

m

i=

xnixi+F

xnkF(xk)→

forn→ ∞, inA. Therefore,FxAand soxA(F).

Conversely, if we takexA(F), thenxA(F). We know thatAis closed. ThenA(F) =

A(F). Hence,A(F) is a closed subset ofX(F).

From this theorem, we can give the following corollary.

Corollary . If X is a separable space,then X(F)is also a separable space.

Definition . A sequencex= (xk) is said to be Fibonacci statistically convergent (orF

-statistically convergent) if there is a numberLsuch that, for every > , the setK(F) :=

{kn:|FxkL| ≥ }has natural density zero, i.e.,d(K(F)) = . That is,

lim n→∞

nkn:|FxkL| ≥ = .

In this case we writed(F) –limxk=LorxkL(S(F)). The set ofF-statistically

(6)

Definition . Letx= (xk)∈ω. The sequencexis said to beF-statistically Cauchy if there

exists a numberN=N(ε) such that

lim n→∞

nkn:|FxkFxN| ≥ = 

for everyε> .

Theorem . If x is anF-statistically convergent sequence, then x is anF-statistically Cauchy sequence.

Proof Letε> . Assume thatxkL(S(F)). Then|FxkL|<ε/ for almost allk. IfNis

chosen so that|FxNL|<ε/, then we have|FxkFxN|<|FxkL|+|FxNL|<ε/ +ε/ =

εfor almost allk. It means thatxis anF-statistically Cauchy sequence.

Theorem . If x is a sequence for which there is anF-statistically convergent sequence y such thatFxk=Fykfor almost all k,then x is anF- statistically convergent sequence.

Proof Suppose thatFxk=Fykfor almost allkandykL(S(F)). Thenε>  and, for each n,{kn:|FxkL| ≥ε} ⊆ {kn:Fxk=Fyk} ∪ {kn:|FxkL| ≤ε}. SinceykL(S(F)),

the latter set contains a fixed number of integers, sayg=g(ε). Therefore, forFxk=Fyk, for

almost allk,

lim n

nkn:|FxkL| ≥ε≤limn

n{kn:Fxk=Fyk}+limn g n= .

HencexkL(S(F)).

Definition .([]) A sequencex= (xk) is said to be statistically bounded if there exists

someL≥ such that

dk:|xk|>L

= , i.e., |xk| ≤L a.a.k.

Bym, we denote the linear space of all statistically bounded sequences. Bounded

se-quences are obviously statistically bounded as the empty set has zero natural density. How-ever, the converse is not true. For example, we consider the sequence

xn= ⎧ ⎨ ⎩

n (kis a square),

 (kis not a square).

Clearly (xk) is not a bounded sequence. However,d({k:|xk|> /}) = , as the set of squares

has zero natural density and hence (xk) is statistically bounded [].

Proposition .([]) Every convergent sequence is statistically bounded.

(7)

Proposition .([]) Every statistically convergent sequence is statistically bounded. Now, using Propositions . and ., we can give the following corollary.

Corollary . EveryF-statistically convergent sequence isF-statistically bounded. Denote the set of allF-bounded sequences of real numbers bym(F) []. Based on Def-inition . and the descriptions ofmandm(F), we can denote the set of allF-bounded

statistically convergent sequences of real numbers bym(F).

The following theorem can be proved by Theorem . of [] and Theorem ..

Theorem . The set of m(F)is a closed linear space of the linear normed space m(F).

Theorem . The set of m(F)is a nowhere dense set in m(F).

Proof According to [], every closed linear subspace of an arbitrary linear normed space

E, different fromE, is a nowhere dense set inE. Hence, on account of Theorem ., it suffices to prove thatm(F)=m(F). But this is evident, consider the sequence

xn= ⎧ ⎨ ⎩

 (nis odd),

 (nis even).

Thenxm(F), but does not belong tom(F).

ωdenotes the Fréchet metric space of all real sequences with the metric,

=

k=

 k

|xkyk|

 +|xkyk|

,

wherex= (xk),y= (yk)∈ωfor allk= , , . . . .

Theorem . The set ofF-statistically convergent sequences is dense in the spaceω.

Proof Ifx= (xk)∈S(F) (for allk) and the sequencey= (yk) (for allk) of real numbers differs

fromxonly in a finite number of terms, then evidentlyyS(F), too. From this statement the proof follows at once on the basis of the definition of the metric inω.

Theorem . The following statements hold.

i. The inclusionc(F)⊂S(F)is strict.

ii. S(F)and∞(F)overlap but neither one contains the other.

iii. S(F)andoverlap but neither one contains the other. iv. SandS(F)overlap but neither one contains the other.

(8)

Proof i) SincecS, thenc(F)⊂S(F). We choose

Fxn=

fn+=, , , , . . .. (.)

Sincef

n+→ ∞ask→ ∞andFx= (, , , . . .), thenFxS, but is not in the spacec, that

is,F∈/c.

For the other items, firstly, use the inclusion relations in []. It is obtained that the inclusionscS(F),cc(F),cm(F),cS,c∞andcc(F)=φhold. Then we see

thatS(F) and(F),S(F) and,SandS(F),Sandc(F),Sandc(F),Sand∞(F) overlap.

ii) We defineFx=Fxnby (.). ThenFxS, butFxis not in∞. Now we chooseu=

(, , , , . . .). Thenu∞(F) butu∈/S(F).

iii) The proof is the same as (ii). iv) Define

xn= ⎧ ⎨ ⎩

 (nis a square),

 (otherwise).

ThenxS, butx∈/S(F). Conversely, if we takeu= (n), thenu∈/SbutxS(F).

(v), (vi) and (vii) are proven similar to (iv).

3.2 Approximation theorems

.. Approximation byF-statistical convergence

In this section, we get an analogue of classical Korovkin theorem by using the concept of

F-statistical convergence.

LetF(R) denote the linear space of real-valued functions onR. LetC(R) be a space of

all real-valued continuous functionsf onR. It is well known thatC(R) is a Banach space with the norm given as follows:

f∞=sup

x∈R

f(x), fC(R),

and we denote byCπ(R) the space of all π-periodic functionsfC(R), which is a

Ba-nach space with the norm given by

fπ=sup t∈R

f(t), f C(R).

We sayAis a positive operator if for every non-negativef andxI, we haveA(f,x)≥, whereIis any given interval on the real semi-axis. The first and second classical Korovkin approximation theorems state the following (see [, ]).

Theorem . Let(An)be a sequence of positive linear operators from C[, ]into F[, ]. Then

lim

n→∞An(f,x) –f(x)C[a,b]=  ⇔ nlim→∞An(ei,x) –eiC[a,b]= ,

(9)

Theorem . Let(Tn)be a sequence of positive linear operators from Cπ(R)into F(R). Then

lim

n→∞Tn(f,x) –f(x)π=  ⇔ nlim→∞Tn(fi,x) –fiπ= , i= , , ,

where f= ,f=sinx and f=cosx.

Our main Korovkin type theorem is given as follows.

Theorem . Let(Lk)be a sequence of positive linear operators from Cπ(R)into Cπ(R). Then,for all fCπ(R),

d(F) – lim

k→∞Lk(f,x) –f(x)π=  (.)

if and only if

d(F) – lim k→∞

Lk(,x) – π= , (.)

d(F) – lim k→∞

Lk(sint,x) –sinxπ= , (.)

d(F) – lim k→∞

Lk(cost,x) –cosxπ= . (.)

Proof As ,sinx,cosxCπ(R), conditions (.)-(.) follow immediately from (.). Let

conditions (.)-(.) hold andI= (a,a+ π) be any subinterval of length πinR. Let

us fixxI. By the properties of functionf, it follows that for givenε>  there exists

δ=δ( ) >  such that

f(x) –f(t)<ε, whenever∀|tx|<δ. (.)

If|tx| ≥δ, let us assume thatt∈(x+δ, π+x+δ). Then we obtain that

f(x) –f(t)≤fπ≤fπ sin(δ

)

ψ(t), (.)

whereψ(t) =sin(tx).

By using (.) and (.), we have

f(x) –f(t)<ε+fπ

sin(δ )

ψ(t).

This implies that

ε–fπ

sin(δ )

ψ(t) <f(x) –f(t) <ε+fπ

sin(δ )

ψ(t).

By using the positivity and linearity of{Lk}, we get

Lk(,x)

εfπ

sin(δ)ψ(t)

<Lk(,x)

f(x) –f(t)<Lk(,x)

ε+fπ

sin(δ)ψ(t)

(10)

wherexis fixed and sof(x) is a constant number. Therefore,

εLk(,x) –

fπ sin(δ

) Lk

ψ(t),x<Lk(f,x) –f(x)Lk(,x)

<εLk(,x) +

fπ sin(δ)Lk

ψ(t),x. (.)

On the other hand, we get

Lk(f,x) –f(x) =Lk(f,x) –f(x)Lk(,x) +f(x)Lk(,x) –f(x)

=Lk(f,x) –f(x)Lk(,x) –f(x)Lk+f(x)

Lk(,x) – 

. (.)

By inequalities (.) and (.), we obtain

Lk(f,x) –f(x) <εLk(,x) +

fπ sin(δ

) Lk

ψ(t),x

+f(x) +f(x)Lk(,x) – 

. (.)

Now, we compute the second moment

Lk

ψ(t),x=Lk

sin

xt

,x

=Lk

( –costcosx–sinxsint),x

= 

Lk(,x) –cosxLk(cost,x) –sinxLk(sint,x)

= 

Lk(,x) –cosx

Lk(cost,x) –cosx

–sinxLk(sint,x) –sinx

.

By (.), we have

Lk(f,x) –f(x) <εLk(,x) +

fπ sin(δ

)

 

Lk(,x)

–cosxLk(cost,x) –cosx

–sinxLk(sint,x) –sinx

+f(x)Lk(,x) – 

=εLk(,x) – 

+ε+f(x)Lk(,x) – 

+ fπ

sin(δ )

Lk(,x) –cosx

Lk(cost,x) –cosx

–sinxLk(sint,x) –sinx

.

So, from the above inequality, one can see that

Lk(f,x) –f(x)≤ε+

ε+f(x)+ fπ

sin(δ )

Lk(,x) – 

+ fπ

sin(δ)

(11)

+|sinx|Lk(sint,x) –sinx

ε+

ε+f(x)+ fπ

sin(δ )

Lk(,x) – 

+ fπ

sin(δ)Lk(cost,x) –cosx+|sinx|Lk(sint,x) –sinx.

Becauseεis arbitrary, we obtain

Lk(f,x) –f(x)πε+RLk(,x) – π+Lk(cost,x) –costπ

+Lk(sint,x) –sinxπ

,

whereR=max(ε+fπ+ fπ

sin(δ

) , fπ

sin(δ

) ).

Finally, replacingLk(·,x) byTk(·,x) =FLk(·,x) and forε> , we can write

A:=

k∈N:

Tk(,x) – π+Tk(sint,x) –sinxπ+Tk(cost,x) –cosxπ

ε

R

,

A:=

k∈N:Tk(,x) – π

εR

,

A:=

k∈N:Tk(sint,x) –sinxπ

εR

,

A:=

k∈N:Tk(cost,x) –cosxπ

εR

.

ThenAA∪A∪A, so we haved(A)≤d(A) +d(A) +d(A). Thus, by conditions

(.)-(.), we obtain

d(F) – lim

k→∞Lk(f,x) –f(x)π= ,

which completes the proof.

We remark that our Theorem . is stronger than Theorem . as well as Theorem of Gadjiev and Orhan []. For this purpose, we get the following example.

Example . Forn∈N, denote bySn(f) then-partial sum of the Fourier series off, that

is,

Sn(f,x) =

 a(f) +

n

k=

ak(f)coskx+bk(f)sinkx.

Forn∈N, we get

Fn(f,x) =

n+ 

n

(12)

A standard calculation gives that for everyt∈R

Fn(f,x) =

 π

π

–π

f(t)ϕn(xt)dt,

where

ϕn(x) = ⎧ ⎨ ⎩

sin((n+)(xt)/)

(n+)sin((xt)/), ifxis not a multiple of π, n+ , ifxis a multiple of π.

The sequence (ϕn)n∈Nis a positive kernel which is called the Fejér kernel, and correspond-ingFnforn≥ are called Fejér convolution operators.

We define the sequence of linear operators asKn:Cπ(R)−→Cπ(R) withKn(f,x) = ( + yn)Fn(f,x), wherey= (yn) = (fn+). ThenKn(,x) = ,Kn(sint,x) = n+n sinxandKn(cost,x) =

n

n+cosxand the sequence (Kn) satisfies conditions (.)-(.). Therefore, we get

d(F) – lim k→∞

Kn(f,x) –f(x)π= .

On the other hand, one can see that (Kn) does not satisfy Theorem . as well as

The-orem of Gadjiev and Orhan [] sinceFy= (, , , . . .), the sequenceyisF-statistically convergent to . But the sequenceyis neither convergent nor statistically convergent.

.. Rate ofF-statistical convergence

In this section, we estimate the rate ofF-statistical convergence of a sequence of positive linear operators defined byCπ(R) intoCπ(R). Now, we give the following definition.

Definition . Let (an) be a positive non-increasing sequence. We say that the sequence x= (xk) isF-statistically convergent towith the rateo(an) if, for everyε> ,

lim n→∞

un

kn:|Fx| ≥ = .

At this stage, we can writexk=d(F) –o(un).

As usual we have the following auxiliary result.

Lemma . Let(an)and(bn)be two positive non-increasing sequences.Let x= (xk)and y= (yk)be two sequences such that xkL=d(F) –o(an)and ykL=d(F) –o(bn).Then we have

(i) α(xkL) =d(F) –o(an)for any scalarα, (ii) (xkL)±(ykL) =d(F) –o(cn), (iii) (xkL)(ykL) =d(F) –o(anbn), where cn=max{an,bn}.

Forδ> , the modulus of continuity off,ω(f,δ) is defined by

ω(f,δ) = sup

|xy|<δ

(13)

It is well known that for a functionfC[a,b],

lim

n→+ω(f,δ) = 

for anyδ> 

f(x) –f(y)≤ω(f,δ)

|xy|

δ + 

. (.)

Theorem . Let(Lk)be a sequence of positive linear operators from Cπ(R)into Cπ(R). Assume that

(i) Lk(,x) –xπ=d(F) –o(un),

(ii) ω(f,θk) =d(F) –o(vn), whereθk=

Lk

sin

tx

,x

.

Then,for all fCπ(R),we get

Lk(f,x) –f(x)π=d(F) –o(zn),

where zn=max{un,vn}.

Proof LetfCπ(R) andx∈[–π,π]. From (.) and (.), we can write

Lk(f,x) –f(x)≤Lkf(t) –f(x);x

+f(x)Lk(,x) – 

Lk

|xy|

δ + ;x

ω(f,δ) +f(x)Lk(,x) – 

Lk

π

δ sin 

yx

+ ;x

ω(f,δ) +f(x)Lk(,x) – 

Lk(,x) +

πδLk

sin

yx

;x

ω(f,δ) +f(x)Lk(,x) – 

=

Lk(,x) +

π

δLk

sin

yx

;x

ω(f,δ) +f(x)Lk(,x) – .

By choosing√θk=δ, we get

Lk(f,x) –f(x)πfπLk(,x) –xπ+ ω(f,θk) +ω(f,θk)Lk(,x) –xπKLk(,x) –xπ+ω(f,θk) +ω(f,θk)Lk(,x) –xπ

,

whereK=max{,fπ}. By Definition . and conditions (i) and (ii), we get the desired

result.

4 Conclusion

(14)

The concept of statistical convergence for a sequence of real numbers was defined by Fast [] and Steinhaus [] independently in . Statistical convergence has recently become an area of active research. Currently, researchers in statistical convergence have devoted their effort to statistical approximation.

Approximation theory has important applications in the theory of polynomial approxi-mation in various areas of functional analysis. The study of the Korovkin type approxima-tion theory is a well-established area of research, which is concerned with the problem of approximating a functionf by means of a sequenceAnof positive linear operators.

Statis-tical convergence is quite effective in the approximation theory. In recent times, very high quality publications have been made using approximation theory and statistical conver-gence [, , –].

In this study, we have studied the concept of statistical convergence which has an im-portant place in the literature using Fibonacci sequences. The statistical convergence is a generalization of the usual notion of convergence. We have defined the Fibonacci type statistical convergence and investigated basic properties. A new version of Korovkin type approximation theory was introduced using the new concept of statistical convergence.

Acknowledgements

The first author was supported by Scientific Research Projects Coordination Unit of Istanbul University. Project number: 26287.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Author details

1Department of Mathematical Education, Hasan Ali Yücel Education Faculty, Istanbul University, Vefa, Fatih, Istanbul,

34470, Turkey.2Department of Mathematica-Computer Science, Necmettin Erbakan University, Meram Campus, Meram,

Konya, 42090, Turkey.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Received: 12 July 2017 Accepted: 6 September 2017

References

1. Freedman, AR, Sember, JJ: Densities and summability. Pac. J. Math.95(2), 293-305 (1981) 2. Fast, H: Sur la convergence statistique. Colloq. Math.2, 241-244 (1951)

3. Schoenberg, IJ: The integrability of certain functions and related summability methods. Am. Math. Mon.66, 361-375 (1959)

4. Buck, RC: Generalized asymptotic density. Am. J. Math.75, 335-346 (1953) 5. Zygmund, A: Trigonometric Series. Cambridge University Press, Cambridge (1979)

6. Erdos, R, Tenenbaum, G: Sur les densities de certaines suites d’entiers. Proc. Lond. Math. Soc.3(59), 417-438 (1989) 7. Miller, HI: A measure theoretical subsequence characterization of statistical convergence. Trans. Am. Math. Soc.347,

1811-1819 (1995)

8. Maddox, IJ: Statistical convergence in a locally convex sequence space. Math. Proc. Camb. Philos. Soc.104, 141-145 (1988)

9. Aktu ˘glu, H: Korovkin type approximation theorems proved viaαβ-statistical convergence. J. Comput. Appl. Math.

259, 174-181 (2014)

10. Karakaya, V, Karaisa, A: Korovkin type approximation theorems for weightedαβ–statistical convergence. Bull. Math. Sci.5, 159-169 (2015). doi:10.1007/s13373-015-0065-y

11. Braha, NL: Some weighted equi-statistical convergence and Korovkin type-theorem. Results Math.70(3), 433-446 (2016)

12. Fridy, JA: On statistical convergence. Analysis5, 301-313 (1985)

13. Koshy, T: Fibonacci and Lucas Numbers with Applications. Wiley, New York (2001) 14. Goonatilake, S: Toward a Global Science p. 126. Indiana University Press, (1998)

15. Kara, EE: Some topological and geometrical properties of new Banach sequence spaces. J. Inequal. Appl.2013, 38 (2013). doi:10.1186/1029-242X-2013-38

(15)

17. Gadjiev, AD, Orhan, C: Some approximation theorems via statistical convergence. Rocky Mt. J. Math.32, 129-138 (2002)

18. Belen, C, Mohiuddine, SA: Generalized weighted statistical convergence and application. Appl. Math. Comput.

219(18), 9821-9826 (2013)

19. Edely, OHH, Mohiuddine, SA, Noman, AK: Korovkin type approximation theorems obtained through generalized statistical convergence. Appl. Math. Lett.23(11), 1382-1387 (2010)

20. Edely, OHH, Mursaleen, M, Khan, A: Approximation for periodic functions via weighted statistical convergence. Appl. Math. Comput.219(15), 8231-8236 (2013)

21. Mohiuddine, SA: An application of almost convergence in approximation theorems. Appl. Math. Lett.24(11), 1856-1860 (2011)

22. Mursaleen, M, Alotaibi, A: Statistical summability and approximation by de la Valle-Poussin mean. Appl. Math. Lett.

24(3), 320-324 (2011)

23. Mursaleen, M, Alotaibi, A: Statistical lacunary summability and a Korovkin type approximation theorem. Ann. Univ. Ferrara57, 373-381 (2011)

24. Mursaleen, M, Karakaya, V, Ertürk, M, Gürsoy, F: Weighted statistical convergence and its application to Korovkin type approximation theorem. Appl. Math. Comput.218(18), 9132-9137 (2012)

25. Kara, EE, Ba¸sarır, M: An application of Fibonacci numbers into infinite Toeplitz matrices. Caspian J. Math. Sci.1(1), 43-47 (2012)

26. Alotaibi, A, Mursaleen, M, Alamri, BAS, Mohiuddine, SA: Compact operators on some Fibonacci difference sequence spaces. J. Inequal. Appl.2015, 203 (2015). doi:10.1186/s13660-015-0713-5

27. Ba¸sarır, M, Ba¸sar, F, Kara, EE: On the spaces of Fibonacci difference null and convergent sequences (2013). arXiv:1309.0150

28. Candan, M: A new approach on the spaces of generalized Fibonacci difference null and convergent sequences. Math. Æterna5(1), 191-210 (2015)

29. Candan, M, Kılı nç, G: A different look for paranormed Riesz sequence space of derived by Fibonacci matrix. Konuralp J. Math.3(2), 62-76 (2015)

30. Candan, M, Kara, EE: A study on topological and geometrical characteristics of new Banach sequence spaces. Gulf J. Math.3(4), 67-84 (2015)

31. Candan, M, Kayaduman, K: Almost convergent sequence space derived by generalized Fibonacci matrix and Fibonacci core. Br. J. Math. Comput. Sci.7(2), 150-167 (2015)

32. Demiriz, S, Kara, EE, Ba¸sarır, M: On the Fibonacci almost convergent sequence space and Fibonacci core. Kyungpook Math. J.55, 355-372 (2015)

33. Kara, EE, Ba¸sarır, M, Mursaleen, M: Compactness of matrix operators on some sequence spaces derived by Fibonacci numbers. Kragujev. J. Math.39(2), 217-230 (2015)

34. Kara, EE, Demiriz, S: Some new paranormed difference sequence spaces derived by Fibonacci numbers. Miskolc Math. Notes16(2), 907-923 (2015). doi:10.18514/MMN.2015.1227

35. Kara, EE, Ilkhan, M: Some properties of generalized Fibonacci sequence spaces. Linear Multilinear Algebra64(11), 2208-2223 (2016)

36. Uçar, E, Basar, F: Some geometric properties of the domain of the double band matrix defined by Fibonacci numbers in the sequence space∞. AIP Conf. Proc.1611, 316-324 (2014). doi:10.1063/1.4893854

37. Kreyszig, E: Introductory Functional Analysis with Applications. Wiley, New York (1978)

38. Fridy, JA, Orhan, C: Statistical limit superior and limit inferior. Proc. Am. Math. Soc.125(12), 3625-3631 (1997) 39. Bhardwaj, VK, Gupta, S: On some generalizations of statistical boundedness. J. Inequal. Appl.2014, 12 (2014).

doi:10.1186/1029-242X-2014-12

40. Fridy, JA, Demirci, K, Orhan, C: Multipliers and factorizations for bounded statistically convergent sequences. Analysis

22, 321-333 (2002)

41. Salat, T: On statistically convergent sequences of real numbers. Math. Slovaca30, 139-150 (1980)

42. Gadziev, AD: The convergence problems for a sequence of positive linear operators on unbounded sets, and theorems analogous to that of P.P. Korovkin. Sov. Math. Dokl.15, 1433-1436 (1974)

References

Related documents

FASSO,NIGER AND MALI.. The stevedoring company... The forwarding company... The A.P.C and the Ministry of Equipment and Transports... The characteristics the A.P.C

Although no HP minerals have been previously reported in the Château-Renard meteorite, we have observed within the melt veins a number of HP minerals and report on them here for

Awareness and knowledge of hiv/aids among married women in rural bangladesh and exposure to media: a secondary data analysis of the 2011 bangladesh demographic and health survey.

In addition the small number of inputs available for the training could also affect the local streets class grouping accuracy since only 6 out of 13 available local streets input

boonei in the treatment of skin infections such as boils, carbuncles, breast abscess, sores and wound treatment in herbal medicine in Nigeria... The elutes were automatically passed

sponse time of every path individually, from entrance to exit, in both initial and augmented networks. 625 which means that all the users of the augmented network in equilib-

Since transnationals are able to speak two different languages (having one that is the dominant or being balanced bilinguals), and to interact and understand different cultures

This study aimed to elucidate the physiological traits linked to genomic regions conferring higher yield under moisture stress identified in an earlier