Document 10941653

advertisement
Hindawi Publishing Corporation
Journal of Inequalities and Applications
Volume 2010, Article ID 105136, 10 pages
doi:10.1155/2010/105136
Research Article
A Summability Factor Theorem for
Quasi-Power-Increasing Sequences
E. Savaş
Department of Mathematics, İstanbul Ticaret University, Üsküdar, 34378 İstanbul, Turkey
Correspondence should be addressed to E. Savaş, ekremsavas@yahoo.com
Received 23 June 2010; Revised 3 September 2010; Accepted 15 September 2010
Academic Editor: J. Szabados
Copyright q 2010 E. Savaş. This is an open access article distributed under the Creative Commons
Attribution License, which permits unrestricted use, distribution, and reproduction in any
medium, provided the original work is properly cited.
We establish a summability factor theorem for summability |A, δ|k , where A is lower triangular
matrix with nonnegative entries satisfying certain conditions. This paper is an extension of the
main result of the work by Rhoades and Savaş 2006 by using quasi f-increasing sequences.
1. Introduction
Recently, Rhoades and Savaş 1 obtained sufficient conditions for an λn to be summable
|A, δ|k , k ≥ 1 by using almost increasing sequence. The purpose of this paper is to obtain the
corresponding result for quasi f-increasing sequence.
A sequence {λn } is said to be of bounded variation bv if n |Δλn | < ∞. Let bv0 bv ∩ c0 , where c0 denotes the set of all null sequences.
Let A be a lower triangular matrix, {sn } a sequence. Then
An :
n
anν sν .
1.1
ν0
A series
an , with partial sums sn , is said to be summable |A|k , k ≥ 1 if
∞
nk−1 |An − An−1 |k < ∞,
n1
1.2
and it is said to be summable |A, δ|k , k ≥ 1 and δ ≥ 0 if see, 2
∞
nδkk−1 |An − An−1 |k < ∞.
n1
1.3
2
Journal of Inequalities and Applications
A positive sequence {bn } is said to be an almost increasing sequence if there exist an
increasing sequence {cn } and positive constants A and B such that Acn ≤ bn ≤ Bcn see, 3.
Obviously, every increasing sequence is almost increasing. However, the converse need not
n
be true as can be seen by taking the example, say bn e−1 n.
A positive sequence γ : {γn } is said to be a quasi β-power increasing sequence if there
exists a constant K Kβ, γ ≥ 1 such that
Knβ γn ≥ mβ γm
1.4
holds for all n ≥ m ≥ 1. It should be noted that every almost increasing sequence is quasi
β-power increasing sequence for any nonnegative β, but the converse need not be true as can
be seen by taking an example, say γn n−β for β > 0 see, 4. A sequence satisfying 1.4 for
β 0 is called a quasi-increasing sequence. It is clear that if {γn } is quasi β-power increasing
then {nβ γn } is quasi-increasing.
A positive sequence γ {γn } is said to be a quasi-f-power increasing sequence if there
exists a constant K Kγ, f ≥ 1 such that Kfn γn ≥ fm γm holds for all n ≥ m ≥ 1, where
f : {fn } {nβ log nμ }, μ > 0, 0 < β < 1, see, 5.
as follows:
We may associate with A two lower triangular matrices A and A
anv n
rv
anr ,
n, v 0, 1, . . . ,
anv anv − an−1,v ,
1.5
n 1, 2, . . . ,
where
a00 a00 a00 .
1.6
Given any sequence {xn }, the notation xn O1 means that xn O1 and 1/xn O1. For any matrix entry anv , Δv anv : anv − an,v1 .
Rhoades and Savaş 1 proved the following theorem for |A, δ|k summability factors
of infinite series.
Theorem 1.1. Let {Xn } be an almost increasing sequence and let {βn } and {λn } be sequences such
that
i |Δλn | ≤ βn ,
ii lim βn 0,
iii ∞
n1 n|Δβn |Xn < ∞,
iv |λn |Xn O1.
Let A be a lower triangular matrix with nonnegative entries satisfying
v nann O1,
vi an−1,ν ≥ anν for n ≥ ν 1,
vii an0 1 for all n,
Journal of Inequalities and Applications
viii
ix
x
If
n−1
ν1
m1
aνν anν1 Oann ,
nν1
nδk |Δν anν | Oνδk aνν and
nν1
nδk anν1 Oνδk .
m1
3
m
nδk−1 |tn |k OXm , where tn : 1/n 1
then the series an λn is summable |A, δ|k , k ≥ 1.
xi
n1
n
k1
kak ,
It should be noted that, if {Xn } is an almost increasing sequence, then condition iv
implies that the sequence {λn } is bounded. However, if {Xn } is a quasi β-power increasing
sequence or a quasi f-increasing sequence, iv does not imply that λ is bounded. For
example, the sequence {Xm } defined by Xm m−β is trivially a quasi β-power increasing
sequence for each β > 0. If λ {mδ }, for any 0 < δ < β, then λm Xm mδ−β O1, but λ is not
bounded, see, 6, 7.
The purpose of this paper is to prove a theorem by using quasi f-increasing sequences.
We show that the crucial condition of our proof, {λn } ∈ bv0 , can be deduced from another
condition of the theorem.
2. The Main Results
We now will prove the following theorems.
Theorem 2.1. Let A satisfy conditions (v)–(x) and let {βn } and {λn } be sequences satisfying
conditions (i) and (ii) of Theorem 1.1 and
m
λn om,
m −→ ∞.
2.1
n1
If {Xn } is a quasi f-increasing sequence and condition (xi) and
∞
nXn β, μ Δβn < ∞
2.2
n1
are satisfied then the series an λn is summable |A, δ|k , k ≥ 1, where {fn } : {nβ log nμ }, μ ≥
0, 0 ≤ β < 1, and Xn β, μ : nβ log nμ Xn .
The following theorem is the special case of Theorem 2.1 for μ 0.
Theorem 2.2. Let A satisfy conditions (v)–(x) and let {βn } and {λn } be sequences satisfying
conditions (i), (ii), and 2.1. If {Xn } is a quasi β-power increasing sequence for some 0 ≤ β < 1
and conditions (xi) and
∞
nXn β Δβn < ∞
n1
are satisfied, where Xn β : nβ Xn , then the series
an λn is summable |A, δ|k , k ≥ 1.
2.3
4
Journal of Inequalities and Applications
Remark 2.3. The conditions {λn } ∈ bv0 , and iv do not appear among the conditions of
Theorems 2.1 and 2.2. By Lemma 3.3, under the conditions on {Xn }, {βn }, and {λn } as taken
in the statement of the Theorem 2.1, also in the statement of Theorem 2.2 with the special case
μ 0, conditions {λn } ∈ bv0 and iv hold.
3. Lemmas
We will need the following lemmas for the proof of our main Theorem 2.1.
Lemma 3.1 see 8. Let {ϕn } be a sequence of real numbers and denote
Φn :
n
ϕk ,
Ψn :
k1
∞ Δϕk .
kn
3.1
If Φn on then there exists a natural number N such that
ϕn ≤ 2Ψn
3.2
for all n ≥ N.
Lemma 3.2 see 9. If {Xn } is a quasi f-increasing sequence, where {fn } {nβ log nμ }, μ ≥
0, 0 ≤ β < 1, then conditions 2.1 of Theorem 2.1,
m
|Δλn | om,
m −→ ∞,
n1
∞
nXn β, μ |Δ|Δλn || < ∞,
n1
3.3
3.4
where Xn β, μ nβ log nμ Xn , imply conditions (iv) and
λn −→ 0,
n −→ ∞.
3.5
Lemma 3.3 see 7. If {Xn } is a quasi f-increasing sequence, where {fn } {nβ log nμ }, μ ≥
0, 0 ≤ β < 1, then under conditions (i), (ii), 2.1, and 2.2, conditions (iv) and 3.5 are satisfied.
Lemma 3.4 see 7. Let {Xn } be a quasi f-increasing sequence, where {fn } {nβ log nμ }, μ ≥
0, 0 ≤ β < 1. If conditions (i), (ii), and 2.2 are satisfied, then
nβn Xn O1,
∞
n1
βn Xn < ∞.
3.6
3.7
Journal of Inequalities and Applications
5
4. Proof of Theorem 2.1
Proof. Let yn be the nth term of the A transform of the partial sums of
have
yn :
n
n
ani si i0
ani
n
ν0
iν
λν aν
i0
λi ai . Then we
i
λν aν
ν0
i0
n
n
n
ani anν λν aν ,
4.1
ν0
and, for n ≥ 1, we have
Yn : yn − yn−1 n
anν λν aν .
ν0
4.2
We may write noting that vii implies that an0 0,
Yn n anν λν
ν1
ν
νaν
n ν
anν λν
ν1
ν
rar −
r1
ν−1
rar
r1
ν
n−1
n
ann λn anν λν Δν
rar rar
ν
n r1
ν1
r1
4.3
n−1
n−1
ν1
ν1
tν an,ν1 Δλν tν
Δν anν λν
ν
ν
ν1
ν1
n−1
1
n 1ann λn tn
an,ν1 λν1 tν ν
n
ν1
Tn1 Tn2 Tn3 Tn4 ,
say.
To complete the proof it is sufficient, by Minkowski’s inequality, to show that
∞
nδkk−1 |Tnr |k < ∞,
for r 1, 2, 3, 4.
n1
4.4
and using vi and vii it follows that
From the definition of A
an,ν1 ≥ 0.
4.5
6
Journal of Inequalities and Applications
Using Hölder’s inequality
I1 :
m
δkk−1
n
n1
O1
m1
k
m
n−1
ν 1 δkk−1 tν n
|Tn1 | Δν anν λν
ν1
ν
n1
k
δkk−1
n
k
n−1
|Δν anν ||λν ||tν |
n1
ν1
k−1
m1
n−1
n−1
k
k
δkk−1
O1 n
,
|Δν anν ||λν | |tν |
|Δν anν |
n1
ν1
4.6
ν1
Δν anν anν − an,ν1
anν − an−1,ν − an,ν1 an−1,ν1
anν − an−1,ν ≤ 0.
Thus, using vii,
n−1
n−1
an−1,ν − anν 1 − 1 ann ann .
|Δν anν | ν0
4.7
ν0
Since λn is bounded by Lemma 3.3, using v, ix, xi, i, and condition 3.7 of Lemma 3.4
I1 O1
m1
n−1
|λν |k |tν |k |Δν anν |
n1
ν1
nδk nann k−1
m1
n−1
k−1
k
δk
O1 n
|λν | |λν ||Δν anν ||tν |
n1
O1
m
ν1
|λν ||tν |k
ν1
O1
m
m1
nδk |Δν anν |
nν1
νδk |λν |aνν |tν |k
ν1
O1
m
4.8
νδk−1 |λν ||tν |k
ν1
O1
O1
m−1
ν
ν1
r1
Δ|λν |
r
δk−1
m
|tr | |λm | r δk−1 |tr |k
k
m−1
|Δλν |Xν O1|λm |Xm
ν1
O1
m
ν1
O1.
βν Xν O1|λm |Xm
r1
Journal of Inequalities and Applications
7
Using Hölder’s inequality,
I2 :
m1
δkk−1
n
k
|Tn2 | n2
m1
k
n−1
ν 1 tν an,ν1 Δλν ν1
ν
δkk−1 n
n2
O1
m1
δkk−1
n
n2
O1
k
n−1
an,ν1 |Δλν ||tν |
4.9
ν1
m1
δkk−1
n
n2
n−1
|Δλν ||tν |k an,ν1
ν1
n−1
an,ν1 |Δλν |
k−1
.
ν1
By Lemma 3.1, condition 3.3, in view of Lemma 3.3 implies that
∞
∞
∞ ∞
|Δλn | ≤ 2
|Δ|Δλk || 2 |Δ|Δλk ||
n1
n1 kn
k1
4.10
holds. Thus by Lemma 3.3, 3.4 implies that ∞
n1 |Δλn | converges. Therefore, there exists a
∞
positive constant M such that n1 |Δλn | ≤ M and from the properties of matrix A, we obtain
n−1
an,ν1 |Δλk | ≤ Mann .
4.11
ν1
We have, using v and x,
I2 O1
m1
n−1
n2
ν1
nδk nann k−1
an,ν1 βν |tν |k
m1
m
O1 βν |tν |k
nδk an,ν1 .
ν1
4.12
nν1
Therefore,
I2 O1
m
νδk βν |tν |k
ν1
m
|tν |k δk
ν .
O1 νβν
ν
ν1
4.13
8
Journal of Inequalities and Applications
Using summation by parts, 2.2, xi, and condition 3.6 and 3.7 of Lemma 3.4
I2 : O1
m−1
ν
m
Δ νβν
r δk−1 |tr |k O1mβm r δk−1 |tr |k
ν1
O1
r1
r1
m−1
m−1
νΔ βν Xν O1 βν1 Xν1 O1
ν1
4.14
ν1
O1.
Using Hölder’s inequality and viii,
m1
k−1
n
k
|Tn3 | n2
m1
k
n−1
1 an,ν1 λν1 tν ν1
ν δkk−1 n
n2
≤
m1
δkk−1
n
n2
O1
k
n−1
an,ν1
|λν1 |
|tν |
ν
ν1
4.15
k
n−1
δkk−1
n
an,ν1 |tν |aνν
|λν1 |
m1
n2
ν1
k−1
m1
n−1
n−1
k
k
δkk−1
O1 n
aνν |
.
an,ν1 |
|λν1 | aνν |tν | an,ν1
n2
ν1
ν1
Using boundedness of {λn }, v, x, xi, Lemmas 3.3 and 3.4
I3 O1
O1
m1
n−1
n2
ν1
nδk nann k−1
m1
m
nδk an,ν1
|λν1 |aνν |tν |k
ν1
O1
|λν1 |k aνν |tν |k an,ν1
nν1
m
|λν1 |νδk aνν |tν |k
ν1
O1
m
|λv1 |vavv vδk−1 |tv |k
v1
O1
m
|λv1 |vδk−1 |tv |k .
v1
4.16
Journal of Inequalities and Applications
9
Using summation by parts
I3 O1
O1
O1
m−1
v
m
r δk−1 |tr |k O1|λm1 | vδk−1 |tv |k
v1
r1
|Δλv1 |
v1
m−1
v1
m1
r δk−1 |tr |k O1|λm1 | vδk−1 |tv |k
v1
r1
|Δλv1 |
v1
m−1
|Δλv1 |Xv1 O1|λm1 |Xm1
4.17
v1
O1
m−1
βv1 Xv1 O1|λm1 |Xm1
v1
O1.
Finally, using boundedness of {λn }, and v we have
k
m
m
k
δkk−1
δkk−1 n 1ann λn tn n
n
|Tn4 | n
n1
n1
O1
m
nδk ann |λn ||tn |k
4.18
n1
O1,
as in the proof of I1 .
5. Corollaries and Applications to Weighted Means
Setting δ 0 in Theorem 2.1 and Theorem 2.2 yields the following two corollaries,
respectively.
Corollary 5.1. Let A satisfy conditions (v)–(viii) and let {βn } and {λn } be sequences satisfying
conditions (i), (ii), and 2.1. If {Xn } is a quasi f-increasing sequence, where {fn } :
{nβ log nμ }, μ ≥ 0, 0 ≤ β < 1, and conditions 2.2 and
m
1
n
n1
are satisfied then the series
|tn |k OXm ,
m −→ ∞,
5.1
an λn is summable |A|k , k ≥ 1.
Proof. If we take δ 0 in Theorem 2.1 then condition xi reduces condition 5.1.
Corollary 5.2. Let A satisfy conditions (v)–(viii) and let {βn } and {λn } be sequences satisfying
conditions (i), (ii), and 2.1. If {Xn } is a quasi β-power increasing sequence for some 0 ≤ β < 1 and
conditions 2.3 and 5.1 are satisfied then the series an λn is summable |A|k , k ≥ 1.
10
Journal of Inequalities and Applications
Corollary 5.3. Let {pn } be a positive sequence such that Pn :
npn OPn ,
m1
nδk
nv1
pn
Pn Pn−1
n
i0
pi → ∞, as n → ∞ satisfies
as n −→ ∞,
vδk
O
Pv
5.2
5.3
and let {βn } and {λn } be sequences satisfying conditions (i), (ii), and 2.1. If {Xn } is a quasi fincreasing sequence, where {fn } : {nβ log nμ }, μ ≥ 0, 0 ≤ β < 1, and conditions (xi) and 2.2 are
satisfied then the series, an λn is summable |N, pn , δ|k for k ≥ 1.
Proof. In Theorem 2.1, set A N, pn . Conditions i and ii of Corollary 5.3 are,
respectively, conditions i and ii of Theorem 2.1. Condition v becomes condition 5.2 and
conditions ix and x become condition 5.3 for weighted mean method. Conditions vi,
vii, and viii of Theorem 2.1 are automatically satisfied for any weighted mean method.
The following Corollary is the special case of Corollary 5.3 for μ 0.
Corollary 5.4. Let {pn } be a positive sequence satisfying 5.2, 5.3 and let {Xn } be a quasi β-power
increasing sequence for some 0 ≤ β < 1. Then under conditions (i), (ii), (xi), 2.1, and 2.3, an λn
is summable |N, pn , δ|k , k ≥ 1.
References
1 B. E. Rhoades and E. Savaş, “A summability factor theorem for generalized absolute summability,”
Real Analysis Exchange, vol. 31, no. 2, pp. 355–363, 2006.
2 T. M. Flett, “On an extension of absolute summability and some theorems of Littlewood and Paley,”
Proceedings of the London Mathematical Society, vol. 7, pp. 113–141, 1957.
3 S. Alijancic and D. Arendelovic, “O-regularly varying functions,” Publications de l’Institut Mathématique
, vol. 22, no. 36, pp. 5–22, 1977.
4 L. Leindler, “A new application of quasi power increasing sequences,” Publicationes Mathematicae
Debrecen, vol. 58, no. 4, pp. 791–796, 2001.
5 W. T. Sulaiman, “Extension on absolute summability factors of infinite series,” Journal of Mathematical
Analysis and Applications, vol. 322, no. 2, pp. 1224–1230, 2006.
6 E. Savaş, “A note on generalized |A|k -summability factors for infinite series,” Journal of Inequalities and
Applications, vol. 2010, Article ID 814974, 10 pages, 2010.
7 E. Savaş and H. Şevli, “A recent note on quasi-power increasing sequence for generalized absolute
summability,” Journal of Inequalities and Applications, vol. 2009, Article ID 675403, 10 pages, 2009.
8 L. Leindler, “A note on the absolute Riesz summability factors,” Journal of Inequalities in Pure and Applied
Mathematics, vol. 6, no. 4, article 96, 2005.
9 H. Şevli and L. Leindler, “On the absolute summability factors of infinite series involving quasi-powerincreasing sequences,” Computers & Mathematics with Applications, vol. 57, no. 5, pp. 702–709, 2009.
Download