on subsequential convergence of bounded...

Post on 21-Jul-2020

0 Views

Category:

Documents

0 Downloads

Preview:

Click to see full reader

TRANSCRIPT

Miskolc Mathematical Notes HU e-ISSN 1787-2413Vol. 16 (2015), No. 2, pp. 721–728 DOI: 10.18514/MMN.2015.1357

ON SUBSEQUENTIAL CONVERGENCE OF BOUNDEDSEQUENCES

IBRAHIM CANAK AND UMIT TOTUR

Received 28 September, 2014

Abstract. In this paper we establish some Tauberian-like conditions in terms of the weightedgeneral control modulo of integer order to retrieve subsequential convergence of a sequencefrom its boundedness.

2010 Mathematics Subject Classification: 40E05

Keywords: subsequential convergence, weighted means, weighted general control modulo, slowlyoscillating sequence

1. INTRODUCTION

Let p D .pn/ be a sequence of nonnegative numbers with p0 > 0 and

Pn WD

nXkD0

pk!1 as n!1:

The weighted means of a sequence .un/ of real numbers are defined by

� .1/n;p.u/ WD1

Pn

nXkD0

pkuk

for all nonnegative integers n.We define the weighted mean method as follows:

Definition 1. If limn!1�.1/n;p.u/D s, then we say that .un/ is said to be limitable

to s by the weighted mean method .N ;pn/ and we write un! s.N ;pn/.

If pn D 1 for all n, then the corresponding weighted mean method is the .C;1/method of Cesaro.

The sequence �u D .�un/ of the backward differences of .un/ is defined by�un D un�un�1, and �u0 D u0 for nD 0:

The identityun��

.1/n;p.u/D V

.0/n;p.�u/; (1.1)

c 2015 Miskolc University Press

722 IBRAHIM CANAK AND UMIT TOTUR

where V .0/n;p.�u/D1Pn

PnkD1Pk�1�uk; is known as the weighted Kronecker iden-

tity.We define � .m/n;p .u/ and V .m/n;p .�u/ by

� .m/n;p .u/D

8<:

1

Pn

nXkD0

pk�.m�1/

k;p.u/ ;m� 1

un ;mD 0

and

V .m/n;p .�u/D

8<:

1

Pn

nXkD0

pkV.m�1/

k;p.�u/ ;m� 1

V.0/n;p.�u/ ;mD 0

respectively (see [4]).

The weighted classical control modulo of .un/ is denoted by!.0/n;p.u/DPn�1

pn�un

and the weighted general control modulo of integer orderm� 1 of .un/ is defined by!.m/n;p .u/D !

.m�1/n;p .u/��

.1/n;p.!

m�1.u// (see [2]).A new kind of convergence was defined by Dik [5] as follows.

Definition 2. A sequence u D .un/ is said to be subsequentially convergent ifthere exists a finite interval I.u/ such that all accumulation points of .un/ are in I.u/and every point of I.u/ is an accumulation point of .un/.

It is clear from the definition that subsequential convergence implies boundedness.But the converse is not true in general. For example, ..�1/n/ is bounded, but it is notsubsequentially convergent. The converse implication is true under some conditionsimposed on the sequence.

The following theorem is a more general one stating that under which conditionbounded sequences are subsequential convergent.

Theorem 1 ([5]). Let .un/ be a bounded sequence. If �un D o.1/, then .un/ issubsequentially convergent.

Throughout this paper, we write un D o.1/ or un DO.1/ rather than limnun D 0or .un/ is bounded for large enough n.

Example 1. Using Theorem 1, one can easily show that the sequence .un/ D.sinpn/ is subsequentially convergent. Indeed, the sequence .un/ is bounded. From

the fact that

j�unj D j�sin.pn/j D jsin.

pn/� sin.

pn�1/j � j

pn�pn�1j

D

ˇ1

pnCpn�1

ˇD o.1/;

ON SUBSEQUENTIAL CONVERGENCE OF BOUNDED SEQUENCES 723

it follows that�unD o.1/. Thus by Theorem 1, the sequence .un/ is subsequentiallyconvergent.

Definition 3 ([9]). A sequence .un/ is slowly oscillating if

lim�!1C

limn

maxnC1�k�Œ�n�

ˇˇ kXjDnC1

�uj

ˇˇD 0:

It is clear from Definition 3 that slow oscillation of .un/ implies �un D o.1/.By Littlewood’s condition n�un D O.1/ [8] and slow oscillation of .un/, Dik

et al. [6] obtained some Tauberian-like theorems to recover subsequential conver-gence of .un/ from its boundedness. The condition n�un D O.An/, where .An/is an unbounded sequence, is used as a Tauberian-like condition for the recovery ofsubsequential convergence of .un/ from its boundedness by Dik et al. [6]. Later in[1], Canak and Dik introduced some Tauberian-like conditions !.m/n;1 .u/ D O.An/,where .An/ is an unbounded sequence, and slow oscillation of .��n;1.!.m/.u/// forrecovering subsequential convergence of the sequence of .un/ from its boundedness.

In this paper we prove that subsequential convergence of .un/ follows from itsboundedness under the condition given in terms of the weighted general control mod-ulo of the oscillatory behavior of integer order of the sequence .un/.

2. MAIN RESULTS

The main theorem of this paper involves the concepts of a regularly varying se-quence of index ˛ > �1 and slowly oscillating sequence.

Definition 4 ([7]). A positive sequence .R.n// is said to be regularly varying ofindex ˛ > �1 if

limn!1

R.Œ�n�/

R.n/D �˛; � > 0; ˛ > �1: (2.1)

The following theorems generalize some theorems in [1] that are exactly givenin terms of the weighted general control modulo of the oscillatory behavior of thesequence .un/.

Theorem 2. Let .un/ be a bounded sequence and

Pn�1

pnDO.n/: (2.2)

Let .An/ be a sequence such that

1

Pn

nXkD0

pkjAkjpDO.1/;p> 1 (2.3)

724 IBRAHIM CANAK AND UMIT TOTUR

for some regularly varying sequence .Pn/ of index ˛ > �1. If

!.m/n;p .u/DO.An/ (2.4)

then .un/ is subsequentially convergent.

Theorem 3. Let .un/ be a bounded sequence and let .Pn/ be regularly varyingof index ˛ > �1. If .�� .1/n;p.!.m/.u/// is slowly oscillating for some nonnegativeinteger m, then .un/ is subsequentially convergent.

3. IDENTITIES AND A LEMMA

In this section, we present some identities and a lemma to be used in the proof ofthe main theorems.

The identities

Pn�1

pn�� .m/n;p .u/D V

.m�1/n;p .�u/

and

� .1/n;p

�Pn�1

pn�V .0/n;p.�u/

�DPn�1

pn�V .1/n;p.�u/:

are proved by Totur and Canak [10].For a sequence uD .un/, we define�Pn�1

pn�

�m

un D

�Pn�1

pn�

�m�1

�Pn�1

pn�un

�DPn�1

pn�

��Pn�1

pn�

�m�1

un

�;

where�Pn�1

pn��0un D un, and

�Pn�1

pn��1un D

Pn�1

pn�un:

A different representation of the weighted general control modulo of integer orderm� 1 of a sequence .un/ is given by the identity

!.m/n;p .u/D

�Pn�1

pn�

�m

V .m�1/n;p .�u/ (3.1)

in ([10]).We note that any .Pn/ with limn!1 Pn

nD 1 is regularly varying of index 1.

Lemma 1. Let .Pn/ be regularly varying of index ˛ > �1. If .un/ is limitable tos by the weighted mean method .N ;pn/ and slowly oscillating, then .un/ convergesto s.

Proof. Assume that .Pn/ be regularly varying of index ˛ > �1. If .un/ is slowlyoscillating, then .V .0/n;p.�u// is slowly oscillating (see [3]). Since un! s.N ;pn/ and.V

.0/n;p.�u// is slowly oscillating, the proof is completed by [2, Theorem 6]. �

ON SUBSEQUENTIAL CONVERGENCE OF BOUNDED SEQUENCES 725

4. PROOFS

In this section, proofs of theorems and corollaries are given.

Proof of Theorem 2. By (2.3), it follows that the sequence�Pn

jD1pjAj

Pj�1

�is slowly

oscillating. Indeed,

maxnC1�k�Œ�n�

ˇˇ kXjDnC1

pjAj

Pj�1

ˇˇ� max

nC1�k�Œ�n�

kXjDnC1

ˇpjAj

Pj�1

ˇ

Œ�n�XjDnC1

pj jAj j

Pj�1�

1

Pn

Œ�n�XjDnC1

pj jAj j

DPŒ�n��Pn

Pn

1

PŒ�n��Pn

Œ�n�XjDnC1

pj jAj j

�PŒ�n��Pn

Pn

1

.PŒ�n��Pn/1p

0@ Œ�n�XjDnC1

pj jAj jp

1A 1p

D.PŒ�n��Pn/

1� 1p

Pn

0@ Œ�n�XjDnC1

pj jAj jp

1A 1p

D.PŒ�n��Pn/

1q

Pn

0@ Œ�n�XjDnC1

pj jAj jp

1A 1p

;

D.PŒ�n��Pn/

1q

.Pn/1q

0@PŒ�n�Pn

1

PŒ�n�

Œ�n�XjD0

pj jAj jp

1A 1p

D.PŒ�n��Pn/

1q

.Pn/1q

.PŒ�n�/1p

.Pn/1p

0@ 1

PŒ�n�

Œ�n�XjD0

pj jAj jp

1A 1p

;

where 1p C

1q D 1. Taking limsup of both sides as n!1, we get

limsupn

maxnC1�k�Œ�n�

ˇˇ kXjDnC1

pjAj

Pj�1

ˇˇ

726 IBRAHIM CANAK AND UMIT TOTUR

� limsupn

.PŒ�n��Pn/1q

.Pn/1q

.PŒ�n�/1p

.Pn/1p

limsupn

0@ 1

PŒ�n�

Œ�n�XjD0

pj jAj jp

1A 1p

D limn

�PŒ�n��Pn

Pn

� 1q

limn

�PŒ�n�

Pn

� 1p

limsupn

0@ 1

PŒ�n�

Œ�n�XjD0

pj jAj jp

1A 1p

Since .Pn/ is regularly varying of index ˛ > �1, we have

limsupn

maxnC1�k�Œ�n�

ˇˇ kXjDnC1

pjAj

Pj�1

ˇˇ� C.�˛�1/ 1

q .�˛/1p :

for some C > 0.Finally, taking limsup of both sides as �! 1C, we obtain

lim�!1C

limsupn

maxnC1�k�Œ�n�

ˇˇ kXjDnC1

pjAj

Pj�1

ˇˇ� C lim

�!1C.�˛�1/

1q .�˛/

1p D 0:

Slow oscillation of

0@ nXjD1

pjAj

Pj�1

1A implies thatpjAj

Pj�1D o.1/: Since !.m/n;p .u/ D

O.An/, it follows from

!.m/n;p .u/DPn�1

pn�

�.Pn�1

pn�/m�1V

.m�1/n;p .�u/

�DO.An/

that

�� .1/n;p.!.m�1/.u//D�

�.Pn�1

pn�/m�1V

.m�1/n;p .�u/

�D o.1/:

Since .un/ is bounded, .� .1/n;p.!.m�2/.u/// is bounded for every nonnegative integerm. From the identity

�.Pn�1

pn�/m�2V

.m�2/n;p .�u/

�Dpn.

Pn�1

pn�/m�2V

.m�2/n;p .�u/

Pn�1

C�

�.Pn�1

pn�/m�1V

.m�1/n;p .�u/

�;

it follows that

� .1/n;p.!.m�2/.u//D�

�.Pn�1

pn�/m�2V

.m�2/n;p .�u/

�D o.1/;n!1:

ON SUBSEQUENTIAL CONVERGENCE OF BOUNDED SEQUENCES 727

Continuing in this manner, we obtain that

�� .1/n;p.!.0/.u//D�V .0/n;p.�u/D o.1/:

Using (1.1), we have

�un DpnV

.0/n;p.�u/

Pn�1C�V .0/n .�u/D o.1/:

By Theorem 1 we have the proof. �

Corollary 1. Let .un/ be a bounded sequence and .An/ be a sequence such that

1

n

nXkD1

jAkjpDO.1/; p> 1: (4.1)

If !.m/n DO.An/; then .un/ is subsequentially convergent.

Proof. Take pn D 1 for every nonnegative integer n in Theorem 2. �

Corollary 1 was given by Canak and Dik [1].

Proof of Theorem 3. Since .un/ is bounded, then .� .1/n;p.!.m/.u/// is bounded forevery nonnegative integer m. Thus, we get

� .1/n;p.��.1/.!.m/.u///D

pn.n�/mV.m/n;p .�u/

Pn�1D o.1/:

Since .�� .1/n;p.!.m/.u/// is slowly oscillating, applying Lemma 1 to the sequence.��

.1/n;p.!

.m/.u/// we obtain that

�� .1/n;p.!.m/.u//D�

�.Pn�1

pn�/mV

.m/n;p .�u/

�D o.1/:

Since .� .1/n;p.!.m�1/.u/// is bounded for every nonnegative integerm, by the identity

�.Pn�1

pn�/m�1V

.m�1/n;p .�u/

�Dpn.

Pn�1

pn�/mV

.m/n;p .�u/

Pn�1

C�

�.Pn�1

pn�/mV

.m/n;p .�u/

�;

it follows that

�� .1/n;p.!.m�1/.u//D�

�.Pn�1

pn�/m�1V

.m�1/n;p .�u/

�D o.1/:

The rest of the proof is as in the proof of Theorem 2. �

Corollary 2. Let .un/ be a bounded sequence. If .� .1/n;p.!.m/.u/// is slowly oscil-lating for some nonnegative integer m, then .un/ is subsequentially convergent.

728 IBRAHIM CANAK AND UMIT TOTUR

Proof. Proof follows from the fact that limn�un D 0 for every slowly oscillatingsequence .un/. �

Corollary 3. Let .un/ be a bounded sequence. If .�� .1/n .!.m/.u/// is slowlyoscillating for some nonnegative integer m, then .un/ is subsequentially convergent.

Proof. Take pn D 1 for every nonnegative integer n in Theorem 3. �

Corollary 3 was given by Canak and Dik [1].

REFERENCES

[1] Canak, I. and Dik, M., “Some conditions under which subsequential convergence follows fromboundedness,” Appl. Math. Lett., vol. 21, no. 9, pp. 957–960, 2008.

[2] Canak, I and Totur, U., “Some Tauberian theorems for the weighted mean methods of summabil-ity,” Comput. Math. Appl., vol. 62, no. 6, pp. 2609–2615, 2011.

[3] Canak, I. and Totur, U., “Tauberian theorems for the .J;p/ summability method,” Appl. Math.Lett., vol. 25, no. 10, pp. 1430–1434, 2012.

[4] Canak, I and Totur, U. , “An extended Tauberian theorem for the weighted mean method of sum-mability,” Ukrainian Math. J., vol. 65, no. 7, pp. 929–936, 2013.

[5] Dik, F., “Tauberian theorems for convergence and subsequential convergence with moderatelyoscillatory behavior,” Math. Morav., vol. 5, pp. 19–56, 2001.

[6] Dik, F., Dik, M. and Canak, I., “Applications of subsequential Tauberian theory to classicalTauberian theory,” Appl. Math. Lett., vol. 20, no. 8, pp. 946–950, 2007.

[7] Karamata, J., “Sur certains ”Tauberian theorems” de M. M. Hardy et Littlewood,” Mathematica,vol. 3, pp. 33–48, 1930.

[8] Littlewood, J. E., “The converse of Abel’s theorem on power series,” Proc. London. Math. Soc.,vol. 9, pp. 434–448, 1911, doi: 10.1112/plms/s2-9.1.434.

[9] Stanojevic, C. V., Analysis of Divergence: Control and Management of Divergent Process, ser.Graduate Research Seminar Lecture Notes, 1998.

[10] Totur, U. and Canak, I., “Some general Tauberian conditions for the weighted meanmethod of summability,” Comput. Math. Appl., vol. 63, no. 5, pp. 999–1006, 2012, doi:10.1016/j.camwa.2011.12.005.

Authors’ addresses

Ibrahim CanakEge University, Department of Mathematics, 35100 Izmir, TurkeyE-mail address: ibrahim.canak@ege.edu.tr

Umit ToturAdnan Menderes University, Department of Mathematics, 09010 Aydin, TurkeyE-mail address: utotur@adu.edu.tr

top related