J I P A

advertisement
Journal of Inequalities in Pure and
Applied Mathematics
INCLUSION THEOREMS FOR ABSOLUTE SUMMABILITY
METHODS
volume 4, issue 4, article 66,
2003.
H. S. ÖZARSLAN
Department of Mathematics,
Erciyes University,
38039 Kayseri,
Turkey.
EMail: seyhan@erciyes.edu.tr
Received 07 April, 2003;
accepted 30 April, 2003.
Communicated by: L. Leindler
Abstract
Contents
JJ
J
II
I
Home Page
Go Back
Close
c
2000
Victoria University
ISSN (electronic): 1443-5756
046-03
Quit
Abstract
In this paper we have proved two theorems concerning an inclusion between
two absolute summability methods by using any absolute summability factor.
2000 Mathematics Subject Classification: 40D15, 40F05, 40G99
Key words: Absolute summability, Summability factors, Infinite series.
Inclusion Theorems for
Absolute Summability Methods
Contents
1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
The Main Result . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
References
3
6
H. S. Özarslan
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 2 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
1.
Introduction
P
Let
an be a given infinite series with partial sums (sn ), and rn = nan . By
un and tn we denote the
P n-th (C, 1) means of the sequences (sn ) and (rn ),
respectively. The series an is said to be summable |C, 1|k , k ≥ 1, if (see [4])
∞
X
(1.1)
nk−1 |un − un−1 |k < ∞.
n=1
But since tn = n(un − un−1 ) (see [7]), the condition (1.1) can also be written
as
∞
X
1
|tn |k < ∞.
n
n=1
(1.2)
The series
[5])
P
(1.3)
Contents
nδk−1 |tn |k < ∞.
If we take δ = 0, then |C, 1; δ|k summability is the same as |C, 1|k summability.
Let (pn ) be a sequence of positive numbers such that
(1.4)
Pn =
v=0
pv → ∞ as n → ∞,
JJ
J
II
I
Go Back
Close
n=1
n
X
H. S. Özarslan
Title Page
an is said to be summable |C, 1; δ|k k ≥ 1 and δ ≥ 0, if (see
∞
X
Inclusion Theorems for
Absolute Summability Methods
(P−i = p−i = 0, i ≥ 1).
Quit
Page 3 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
The sequence-to-sequence transformation
n
1 X
Tn =
p v sv
Pn v=0
(1.5)
defines the sequence (Tn ) of the (N̄ , pn ) mean of the sequence (sn ), generated
by the sequence of coefficients (pn ) (see [6]).
P
The series an is said to be summable N̄ , pn k , k ≥ 1, if (see [1])
(1.6)
k−1
∞ X
Pn
n=1
pn
|∆Tn−1 |k < ∞
and it is said to be summable N̄ , pn ; δ k , k ≥ 1 and δ ≥ 0, if (see [3])
(1.7)
δk+k−1
∞ X
Pn
n=1
pn
|∆Tn−1 |k < ∞,
where
(1.8)
∆Tn−1
n
pn X
=−
Pv−1 av ,
Pn Pn−1 v=1
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
Title Page
Contents
JJ
J
II
I
Go Back
n ≥ 1.
Close
Quit
N̄ , pn ; δ In the special case when δ = 0 (resp.
p
=
1
for
all
values
of
n)
n
k
summability is the same as N̄ , pn k (resp. |C, 1; δ|k ) summability.
Concerning inclusion relations between |C, 1|k and N̄ , pn k summabilities,
the following theorems are known.
Page 4 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
Theorem 1.1. ([1]).Let k ≥ 1 and let (pn ) be a sequence of positive numbers
such that as n → ∞
(i) Pn = O(npn ),
(1.9)
If the series
P
(ii) npn = O(Pn ).
an is summable |C, 1|k , then it is also summable N̄ , pn k .
Theorem 1.2. ([2]). Let k ≥ 1 and let (pn ) be a sequence of positive
P numbers such that
(1.9) of Theorem 1.1 is satisfied. If the series
an is
condition
summable N̄ , pn k , then it is also summable |C, 1|k .
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 5 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
2.
The Main Result
The
aim of this paper is to generalize the above theorems for |C, 1; δ|k and
N̄ , pn ; δ summabilities, by using a summability factors. Now, we shall prove
k
the following theorems.
Theorem 2.1. Let k ≥ 1 and 0 ≤ δk < 1. Let (pn ) be a sequence of positive
numbers such that Pn = O(npn ) and
( )
δk−1
∞ δk
X
1
Pv
1
Pn
(2.1)
=O
.
pn
Pn−1
pv
Pv
n=v+1
P
P
Let
an be summable |C, 1; δ|k . Then
an λn is summable N̄ , pn ; δ k , if
(λn ) satisfies the following conditions:
1−δk
k
Pn
(2.2)
n∆λn = O
,
npn
(2.3)
λn = O
Pn
npn
k1
.
Theorem 2.2. Let k ≥ 1 and 0 ≤ δk < 1. Let (pn ) be a sequence of positive
P
numbers such that npn = O(PP
an
n ) and satisfies the condition (2.1). Let
be summable N̄ , pn ; δ k . Then an λn is summable |C, 1; δ|k , if (λn ) satisfies
the following conditions:
1−δk
k
npn
(2.4)
n∆λn = O
Pn
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 6 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
λn = O
(2.5)
npn
Pn
k1
.
Remark 2.1. It may be noted that, if we take λn = 1 and δ = 0 in Theorem 2.1
and Theorem 2.2, then we get Theorem 1.1 and Theorem 1.2, respectively. In
this case condition (2.1) reduces to
m+1
X 1
1
1
pn
=
−
=O
P P
Pn−1 Pn
Pv
n=v+1 n n−1
n=v+1
m+1
X
as
m → ∞,
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
which always holds.
Title Page
Proof of Theorem 2.1. Since
Contents
tn =
1
n+1
n
X
vav
v=1
we have that
n+1
an =
tn − tn−1 .
n
P
Let (Tn ) denote the (N̄ , pn ) mean of the series an λn . Then, by definition and
changing the order of summation, we have
n
v
n
1 X X
1 X
Tn =
pv
ai λ i =
(Pn − Pv−1 )av λv .
Pn v=0 i=0
Pn v=0
JJ
J
II
I
Go Back
Close
Quit
Page 7 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
Then, for n ≥ 1, we have
Tn − Tn−1
n
pn X
=
Pv−1 av λv .
Pn Pn−1 v=1
By Abel’s transformation, we have
Tn − Tn−1
n−1
n−1
pn X
v+1
pn X
v+1
=
Pv ∆λv
tv −
p v λv
tv
Pn Pn−1 v=1
v
Pn Pn−1 v=1
v
n−1
p n X Pv
pn n + 1
+
λv+1 tv +
λn
tn
Pn Pn−1 v=1 v
Pn
n
= Tn,1 + Tn,2 + Tn,3 + Tn,4 ,
say.
H. S. Özarslan
Title Page
Contents
Since
|Tn,1 + Tn,2 + Tn,3 + Tn,4 |k ≤ 4k (|Tn,1 |k + |Tn,2 |k + |Tn,3 |k + |Tn,4 |k ),
to complete the proof of the theorem, it is enough to show that
(2.6)
Inclusion Theorems for
Absolute Summability Methods
∞ X
n=1
Pn
pn
δk+k−1
|Tn,r |k < ∞ for
r = 1, 2, 3, 4.
Now, when k > 1, applying Hölder’s inequality with indices k and k 0 , where
JJ
J
II
I
Go Back
Close
Quit
Page 8 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
1
k
+
1
k0
= 1, we get
m+1
X
n=2
≤
Pn
pn
δk+k−1
m+1
X
n=2
= O(1)
Pn
pn
δk−1
m+1
X
n=2
= O(1)
m+1
X
n=2
= O(1)
= O(1)
= O(1)
m+1
X
n=2
m
X
v=1
m
X
v=1
= O(1)
m
X
|Tn,1 |k
Pn
pn
!k
v+1
Pv
|tv | |∆λv |
v
v=1
n−1
X
1
k
Pn−1
δk−1
n−1
X
1
Pv
|tv | |v∆λv |
pv
vpv
v=1
!k
n−1
X
|tv | |v∆λv | pv
k
Pn−1
Pn
pn
δk−1
Pn
pn
δk−1
1
k
Pn−1
Pn−1
|tv |k |v∆λv |k pv
H. S. Özarslan
Title Page
v=1
m+1
X
|tv |k |v∆λv |k pv
Pn
pn
n=v+1
δk−1
Pv
k
|tv |k |v∆λv |
Inclusion Theorems for
Absolute Summability Methods
v=1
n−1
X
1
!k
δk−1
1
Pn−1
pv
v δk−1 |tv |k = O(1)
1
n−1
X
Pn−1
v=1
!k−1
pv
Contents
JJ
J
II
I
Go Back
Close
Quit
as m → ∞.
Page 9 of 18
v=1
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
by virtue of the hypotheses of Theorem 2.1.
http://jipam.vu.edu.au
Again using Hölder’s inequality,
m+1
X Pn δk+k−1
|Tn,2 |k
pn
n=2
!k−1
m+1
n−1
n−1
X Pn δk−1 1 X
X
1
= O(1)
pv |tv |k |λv |k
pv
p
P
P
n
n−1
n−1
n=2
v=1
v=1
δk−1
m
m+1
X
X
1
Pn
= O(1)
pv |tv |k |λv |k
pn
Pn−1
v=1
n=v+1
δk−1
m X
Pv
= O(1)
|tv |k |λv |k
p
v
v=1
= O(1)
= O(1)
m
X
v=1
m
X
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
Title Page
v
δk−1
k
k
|tv | |λv |
v δk−1 |tv |k = O(1)
Contents
as m → ∞,
v=1
by virtue of the hypotheses of Theorem 2.1.
Also
m+1
X Pn δk+k−1
|Tn,3 |k
p
n
n=2
!k
m+1
n−1
X Pn δk−1 1
X
|λv+1 |
≤
Pv
|tv |
k
pn
v
Pn−1
n=2
v=1
JJ
J
II
I
Go Back
Close
Quit
Page 10 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
= O(1)
m+1
X
n=2
= O(1)
= O(1)
= O(1)
= O(1)
m+1
X
n=2
m
X
v=1
m
X
v=1
m
X
Pn
pn
δk−1
Pn
pn
δk−1
k
Pn−1
k
pv |λv+1 | |tv |
n−1
X
1
Pn−1
k
|tv |k
!k
|λv+1 |
|tv |
vpv
v
v=1
n−1
X
1
Pv
pv
pv |λv+1 |k |tv |k
v=1
m+1
X n=v+1
δk−1
Pn
pn
δk−1
1
n
X
Pn−1
v=1
!k−1
pv
1
Pn−1
Inclusion Theorems for
Absolute Summability Methods
|λv+1 |k
H. S. Özarslan
v δk−1 |tv |k = O(1)
as
m → ∞,
Title Page
v=1
by virtue of the hypotheses of Theorem 2.1.
Lastly
δk+k−1
δk−1
m m X
X
Pn
Pn
k
|Tn,4 | = O(1)
|λn |k |tn |k
pn
pn
n=1
n=1
δk−1
m
X
Pn
= O(1)
|λn |k |tn |k nδk−1
np
n
n=1
= O(1)
m
X
nδk−1 |tn |k = O(1)
n=1
by virtue of the hypotheses of Theorem 2.1.
as
m → ∞,
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 11 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
This completes the proof of Theorem 2.1.
Proof of Theorem 2.2. Let (Tn ) denotes the (N̄ , pn ) mean of the series
We have
n
n
1 X
1 X
p v sv =
(Pn − Pv−1 )av .
Tn =
Pn v=0
Pn v=0
Since
Tn − Tn−1
n
pn X
=
Pv−1 av ,
Pn Pn−1 v=0
we have that
P
an .
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
−Pn
Pn−2
an =
∆Tn−1 +
∆Tn−2 .
pn
pn−1
(2.7)
Let
n
1 X
tn =
vav λv .
n + 1 v=1
By using (2.7) we get
n
1 X
−Pv
Pv−2
tn =
v
∆Tv−1 +
∆Tv−2 λv
n + 1 v=1
pv
pv−1
n−1
1 X
Pv
nPn λn
(−v) ∆Tv−1 λv −
=
∆Tn−1
n + 1 v=1
pv
(n + 1)pn
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 12 of 18
n
1 X Pv−2
+
v
∆Tv−2 λv
n + 1 v=1 pv−1
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
n−1
1 X
Pv
=
(−v) ∆Tv−1 λv
n + 1 v=1
pv
n−1
nPn λn
1 X
Pv−1
+
(v + 1)
∆Tv−1 λv+1 −
∆Tn−1
n + 1 v=1
pv
(n + 1)pn
n−1
1 X ∆Tv−1
nPn λn
=
{−vλv Pv + (v + 1)λv+1 Pv−1 } −
∆Tn−1
n + 1 v=1 pv
(n + 1)pn
n−1
1 X ∆Tv−1
nPn λn
=
{−vλv Pv + (v + 1)λv+1 (Pv − pv )} −
∆Tn−1
n + 1 v=1 pv
(n + 1)pn
=
1
n+1
n−1
X
v=1
∆Tv−1
{−vλv Pv + (v + 1)λv+1 Pv − (v + 1)λv+1 pv }
pv
nPn λn
∆Tn−1
(n + 1)pn
n−1
1 X ∆Tv−1
nPn λn
=
{−(∆vλv )Pv − (v + 1)λv+1 pv } −
∆Tn−1
n + 1 v=1 pv
(n + 1)pn
−
n−1
n−1
1 X −Pv
1 X
=
∆Tv−1 {v∆λv − λv+1 } −
∆Tv−1 (v + 1)λv+1
n + 1 v=1 pv
n + 1 v=1
nPn λn
−
∆Tn−1
(n + 1)pn
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 13 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
n−1
n−1
1 X vPv
1 X Pv
=−
∆λv ∆Tv−1 +
∆Tv−1 λv+1
n + 1 v=1 pv
n + 1 v=1 pv
n−1
1 X
nPn λn
−
(v + 1)λv+1 ∆Tv−1 −
∆Tn−1
n + 1 v=1
(n + 1)pn
= tn,1 + tn,2 + tn,3 + tn,4 ,
say.
Since
|tn,1 + tn,2 + tn,3 + tn,4 |k ≤ 4k (|tn,1 |k + |tn,2 |k + | |tn,3 |k + |t4|k ),
to complete the proof of Theorem 2.2, it is enough to show that
∞
X
nδk−1 |tn,r |k < ∞
f or
r = 1, 2, 3, 4.
n=1
Now, when k > 1 applying Hölder’s inequality with indices k and k 0 , where
1
+ k10 = 1, we have that
k
!k
m+1
m+1
n−1
X
X
X
1
P
v
nδk−1 |tn,1 |k ≤
nδk−1 k
v |∆λv | |∆Tv−1 |
n
p
n=2
n=2
v=1 v
!k−1
k
n−1 n−1
m+1
X 1 X
Pv
1X
k k
k
≤
|∆λv | v |∆Tv−1 |
1
n2−δk v=1 pv
n v=1
n=2
k
m+1
n−1 X 1 X
Pv
≤
|∆λv |k v k |∆Tv−1 |k
2−δk
n
pv
n=2
v=1
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 14 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
= O(1)
= O(1)
= O(1)
k
m X
Pv
pv
v=1
k
m X
Pv
k
m+1
X
k
|∆λv | v |∆Tv−1 |
n=v+1
|∆λv |k v k |∆Tv−1 |k
pv
v=1
δk+k−1
m
X
Pv
v=1
k
pv
1
n2−δk
1
v 1−δk
|∆Tv−1 |k = O(1)
as
m → ∞,
Inclusion Theorems for
Absolute Summability Methods
by virtue of the hypotheses of Theorem 2.2.
Again using Hölder’s inequality,
m+1
X
nδk−1 |tn,2 |k ≤
n=2
m+1
X
nδk−1−k
n=2
≤
m+1
X
n−1
X
|λv+1 |
v=1
1
H. S. Özarslan
!k
k
n−1 X
Pv
Pv
|∆Tv−1 |
pv
Title Page
n−1
|λv+1 |k |∆Tv−1 |k
1X
1
n v=1
n2−δk v=1 pv
k
m m+1
X
X
Pv
1
= O(1)
|λv+1 |k |∆Tv−1 |k
pv
n2−δk
v=1
n=v+1
k
m X
1
Pv
|λv+1 |k |∆Tv−1 |k 1−δk
= O(1)
pv
v
v=1
m X
Pv δk+k−1
= O(1)
)
|∆Tv−1 |k
pv
v=1
n=2
= O(1)
as m → ∞,
!k−1
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 15 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
Also, we have that
m+1
X
n=2
n
δk−1
k
|tn,3 | ≤
m+1
X
n
n−1
X
δk−1−k
n=2
= O(1)
!k
(v + 1) |λv+1 | |∆Tv−1 |
v=1
m+1
X
nδk−1−k
n=2
= O(1)
= O(1)
= O(1)
= O(1)
= O(1)
n2−δk
1
n2−δk
v |λv+1 | |∆Tv−1 |
v=1
n−1
X
k
k
v k |λv+1 | |∆Tv−1 |
v=1
Title Page
m+1
X
v δk+k−1 |∆Tv−1 |k
as
Pv
pv
Inclusion Theorems for
Absolute Summability Methods
v k |λv+1 |k |∆Tv−1 |k
n=v+1
v=1
m X
!k−1
n−1
1X
1
n v=1
H. S. Özarslan
v k |λv+1 |k |∆Tv−1 |k
v=1
= O(1)
n−1
X
1
n=2
m+1
X
v=1
m
X
!k
v=1
m+1
X
n=2
m
X
n−1
X
δk+k−1
m → ∞,
1
n2−δk
Contents
JJ
J
II
I
Go Back
k
|∆Tv−1 |
Close
Quit
Page 16 of 18
by virtue of the hypotheses of Theorem 2.2.
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
Finally, we have that
m
X
n
δk−1
k
|tn,4 | = O(1)
n=1
= O(1)
k
m X
Pn
nδk−1 |λn |k |∆Tn−1 |k
pn
n=1
δk+k−1
m
X
Pn
n=1
pn
|∆Tn−1 |k
as m → ∞,
= O(1)
Inclusion Theorems for
Absolute Summability Methods
by virtue of the hypotheses of Theorem 2.2.
Therefore, we get that
m
X
nδk−1 |tn,r |k = O(1)
as
m → ∞,
n=1
This completes the proof of Theorem 2.2.
H. S. Özarslan
for
r = 1, 2, 3, 4.
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 17 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
References
[1] H. BOR, On two summability methods, Math. Proc. Cambridge Phil. Soc.,
97 (1985), 147–149.
[2] H. BOR, A note on two summability methods, Proc. Amer. Math. Soc., 98
(1986), 81–84.
[3] H. BOR, On the local property of N̄ , pn ; δ k summability of factored
Fourier series, J. Math. Anal. Appl., 179 (1993), 646–649.
[4] T.M. FLETT, On an extension of absolute summability and some theorems
of Littlewood and Paley, Proc. London Math. Soc., 7 (1957), 113–141.
[5] T.M. FLETT, Some more theorems concerning the absolute summability of
Fourier series, Proc. London Math. Soc., 8 (1958), 357–387.
[6] G.H. HARDY, Divergent Series, Oxford University Press., Oxford, (1949).
[7] E. KOGBETLIANTZ, Sur les series absolument sommables par la methode
des moyannes aritmetiques, Bull. Sci. Math., 49(2) (1925), 234–256.
Inclusion Theorems for
Absolute Summability Methods
H. S. Özarslan
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 18 of 18
J. Ineq. Pure and Appl. Math. 4(4) Art. 66, 2003
http://jipam.vu.edu.au
Download