Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL:

advertisement
Bulletin of Mathematical Analysis and Applications
ISSN: 1821-1291, URL: http://www.bmathaa.org
Volume 1 Issue 3(2009), Pages 1-9.
A STUDY ON ABSOLUTE FACTORS FOR A TRIANGULAR
MATRIX
(DEDICATED IN OCCASION OF THE 65-YEARS OF
PROFESSOR R.K. RAINA)
W. T. SULAIMAN
Abstract. In this paper a result concerning summability factors theorem for
lower triangular matrices is presented. This result generalized and extend the
result of Savas [1].
1. Introduction
Let 𝑇 = (𝑑𝑛𝑣 ) be a lower
∑ triangular matrix, (𝑠𝑛 ) be the sequence of the 𝑛-th
partial sums of the series
π‘Žπ‘› , then, we define
𝑇𝑛 :=
𝑛
∑
𝑑𝑛𝑣 𝑠𝑣 .
(1.1)
𝑣=0
A series
∑
π‘Žπ‘› is said to be summable ∣ 𝑇 βˆ£π‘˜ , π‘˜ ≥ 1, if
∞
∑
π‘›π‘˜−1 ∣ Δ𝑇𝑛−1 βˆ£π‘˜ < ∞.
(1.2)
𝑛=1
One of the most interesting cases of ∣ 𝑇 βˆ£π‘˜ -summability is the case when 𝑇 is chosen
to be the Cesaro matrix. That is by putting
𝑑𝑛𝑣 =
𝐴𝛼−1
Γ(𝑛 + 𝛼 + 1)
𝑛−𝑣
, 𝑣 = 0, 1, ..., 𝑛, 𝐴𝛼
, 𝑛 = 0, 1, ... .
𝑛 =
𝐴𝛼
Γ(𝛼
+ 1)Γ(𝑛 + 1)
𝑛
Given any lower triangular matrix 𝑇 one can associate the matrices 𝑇 and 𝑇ˆ, with
entries defined by
𝑑𝑛𝑣 =
𝑛
∑
𝑑𝑛𝑖 , 𝑛 π‘Žπ‘›π‘‘ 𝑖 = 0, 1, 2, ..., ˆ
𝑑𝑛𝑣 = 𝑑𝑛𝑣 − 𝑑𝑛−1,𝑣 ,
𝑖=𝑣
2000 Mathematics Subject Classification. 40F05, 40D25.
Key words and phrases. Absolute summability; summability factor; weight function.
c
⃝2009
Universiteti i Prishtinës, Prishtinë, Kosovë.
Submitted Jun, 2009. Published September, 2009.
1
2
W. T. SULAIMAN
respectively. With 𝑠𝑛 =
𝑑𝑛 :=
𝑛
∑
𝑑𝑛𝑣 𝑠𝑣 =
𝑣=0
∑𝑛
𝑖=0
𝑛
∑
π‘Žπ‘– πœ†π‘– , we define and derive the following
𝑑𝑛𝑣
𝑣=0
π‘Œπ‘› := 𝑑𝑛 − 𝑑𝑛−1 =
𝑛
∑
𝑣
∑
𝑖=0
𝑑𝑛𝑖 π‘Žπ‘– πœ†π‘– −
𝑖=0
π‘Žπ‘– πœ†π‘– =
𝑛−1
∑
𝑛
∑
𝑛
∑
π‘Žπ‘– πœ†π‘–
𝑖=0
𝑑𝑛𝑣 =
𝑣=𝑖
𝑑𝑛−1,𝑖 π‘Žπ‘– πœ†π‘– =
𝑛
∑
𝑖=0
𝑛
∑
𝑑𝑛𝑖 π‘Žπ‘– πœ†π‘– ,
(1.3)
𝑖=0
ˆ
𝑑𝑛𝑖 π‘Žπ‘– πœ†π‘– , π‘Žπ‘  𝑑𝑛−1,𝑛 = 0. (1.4)
𝑖=0
𝑋𝑛 := 𝑒𝑛 − 𝑒𝑛−1 =
𝑛
∑
𝑒
ˆπ‘›π‘– π‘Žπ‘– πœ‡π‘– .
(1.5)
𝑖=0
We call 𝑇 a triangle if 𝑇 is lower triangular and 𝑑𝑛𝑛 βˆ•= 0 for all 𝑛. A triangle 𝐴 is
called factorable if its nonzero entries π‘Žπ‘šπ‘› can be written in the form π‘π‘š 𝑐𝑛 for each
π‘š and 𝑛. Recall that ˆ
𝑑𝑛𝑛 = 𝑑𝑛𝑛 . We also assume that (𝑝𝑛 ) is a positive sequence
of numbers such that
𝑃𝑛 = 𝑝0 + 𝑝1 + ... + 𝑝𝑛 → ∞, π‘Žπ‘  𝑛 → ∞.
A positive sequence (π‘Žπ‘› ) is said to be almost increasing if 𝐴𝑏𝑛 ≤ π‘Žπ‘› ≤ 𝐡𝑏𝑛 ,
where (𝑏𝑛 ) is a positive increasing sequence and 𝐴 and 𝐡 are positive constants
(see [1]).
A positive sequence (𝛾𝑛 ) is said to be quasi 𝛽−power increasing sequence if there
is a constant 𝐾 = 𝐾(𝛽, 𝛾) ≥ 1 such that 𝐾𝑛𝛽 𝛾𝑛 ≥ π‘šπ›½ π›Ύπ‘š holds for all 𝑛 ≥ π‘š ≥ 1.
It should be mentioned that every almost increasing sequence is quasi 𝛽−power increasing sequence for any 𝛽 > 0, while the converse need not be true as for example
𝛾𝑛 = 𝑛−𝛽 , 𝛽 > 0.
Here we generalize the quasi 𝛽-power increasing sequence by giving the following.
Definition.
A sequence (πœ™π‘› ) is said to be quasi (𝛽 − 𝛾)−power increasing sequence if there
exist 𝐾 = 𝐾(𝛽, 𝛾) ≥ 1 such that 𝐾𝑛𝛽 (log 𝑛)𝛾 πœ™π‘› ≥ π‘šπ›½ (log π‘š)𝛾 πœ™π‘š holds for all
𝑛 ≥ π‘š ≥ 1, 𝛾 ≥ 0. Clearly quasi (𝛽 − 0)−power increasing sequence is the quasi 𝛽−
power increasing sequence.
The series
∑
π‘Žπ‘› is said to be summable ∣ 𝑅, 𝑝𝑛 βˆ£π‘˜ , π‘˜ ≥ 1, if
∞
∑
π‘›π‘˜−1 ∣ πœŽπ‘› − πœŽπ‘›−1 βˆ£π‘˜ < ∞,
𝑛=1
where
πœŽπ‘› =
𝑛
1 ∑
𝑝𝑣 𝑠𝑣 .
𝑃𝑛 𝑣=0
The (𝐢, 1)−mean of the sequence (𝑓𝑛 ) is equal to
𝑓 (𝑛) = 𝑂(𝑔(𝑛)) if
(𝑛)
lim𝑛→∞ 𝑓𝑔(𝑛)
1
𝑛+1
∑𝑛
= π‘˜ < ∞.
Very recently, Savas [1] proved the following theorem.
𝑣=0
𝑓𝑣 , and we said that
A STUDY ON ABSOLUTE FACTORS FOR A TRIANGULAR MATRIX
3
Theorem 1.1. Let 𝐴 be a lower triangular matrix with nonegative entries such
that
(i) π‘Žπ‘›0 = 1, 𝑛 = 0, 1, ...,
(ii) π‘Žπ‘›−1,𝑣 ≥ π‘Žπ‘›π‘£ 𝑓 π‘œπ‘Ÿ 𝑛 ≥ 𝑣 + 1,
(iii)π‘›π‘Žπ‘›π‘› = 𝑂(1), 1 = 𝑂(π‘›π‘Žπ‘›π‘› ),
∑𝑛−1
(iv) 𝑣=1 π‘Žπ‘£π‘£ ∣ ˆ
π‘Žπ‘›,𝑣+1 ∣= 𝑂(π‘Žπ‘›π‘› ).
Let ∑
𝑑1𝑛 denote the 𝑛−th (𝐢, 1) mean of (π‘›π‘Žπ‘› ). If
∞
(v) ∑𝑣=1 π‘Žπ‘£π‘£ ∣ πœ†π‘£ βˆ£π‘˜ ∣ 𝑑1𝑣 βˆ£π‘˜ = 𝑂(1),
∞
∣1−π‘˜ ∣ Δπœ†π‘£ βˆ£π‘˜ ∣ 𝑑1𝑣 βˆ£π‘˜ = 𝑂(1),
(vi) 𝑣=1 ∣ π‘Žπ‘£π‘£ ∑
then the series
π‘Žπ‘› πœ†π‘› is ∣ 𝐴 βˆ£π‘˜ summable, π‘˜ ∈ 𝑁.
The aim of this paper is to give the following three improvements to the previous
result (see Theorem 2.):
1. The lower triangular matrix we assumed is not restricted to nonnegative entries.
2. The kind of summability we obtained is ∣ 𝐴, 𝛿 βˆ£π‘˜ , 𝛿 ≥ 0, in which ∣ 𝐴 βˆ£π‘˜ ≡∣ 𝐴, 0 βˆ£π‘˜ ,
and π‘˜ is not restricted to integers but π‘˜ ∈ [1, ∞).
3. An extension is made by assuming further hypothesis.
2. Results.
The following is our main result.
Theorem 2.1. Let 𝑇 be a lower triangular matrix, 𝑑𝑛 denote the 𝑛−th (𝐢, 1) mean
of the sequence (π‘›π‘Žπ‘› ), and let (πœ†π‘› ) be a sequence of numbers such that 𝑇, 𝑑𝑛 , πœ†π‘› are
all satisfying
𝑛 ∣ 𝑑𝑛𝑛 ∣= 𝑂(1), 1 = 𝑂(𝑛 ∣ 𝑑𝑛𝑛 ∣),
(2.1)
𝑛−1
∑
∣ 𝑑𝑣𝑣 ∣∣ ˆ
𝑑𝑛𝑣 ∣= 𝑂(∣ 𝑑𝑛𝑛 ∣),
(2.2)
∣ 𝑑𝑣𝑣 ∣∣ ˆ
𝑑𝑛,𝑣+1 ∣= 𝑂(∣ 𝑑𝑛𝑛 ∣),
(2.3)
𝑣=1
𝑛−1
∑
𝑣=1
∞
∑
π‘›π›Ώπ‘˜ ∣ ˆ
𝑑𝑛𝑣 ∣= 𝑂(𝑣 π›Ώπ‘˜ ),
(2.4)
∣ Δ𝑣 ˆ
𝑑𝑛𝑣 ∣= 𝑂(∣ 𝑑𝑛𝑛 ∣),
(2.5)
𝑛=𝑣+1
𝑛−1
∑
𝑣=1
∞
∑
π‘›π›Ώπ‘˜ ∣ Δ𝑣 ˆ
𝑑𝑛𝑣 ∣= 𝑂(𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣𝑣 ∣),
(2.6)
𝑛=𝑣+1
∞
∑
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣𝑣 ∣∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜ = 𝑂(1),
(2.7)
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣 βˆ£π‘˜ ∣ 𝑑𝑣𝑣 ∣1−π‘˜ ∣ Δπœ†π‘£ βˆ£π‘˜ = 𝑂(1),
(2.8)
𝑣=1
∞
∑
𝑣=1
4
W. T. SULAIMAN
∑
then the series
π‘Žπ‘› πœ†π‘› is summable ∣ 𝑇, 𝛿 βˆ£π‘˜ , π‘˜ ≥ 1, 𝛿 ≥ 0.
Furthermore if (𝑋𝑛 ) is a quasi (𝛽−𝛾)−power increasing sequence, 0 < 𝛽 < 1, 𝛾 ≥ 0,
and if (𝛽𝑛 ) is a sequence of numbers satisfying
Δπœ†π‘› ≤ 𝛽,
(2.9)
𝛽𝑛 → 0 π‘Žπ‘  𝑛 → ∞,
(2.10)
∞
∑
𝑛 ∣ Δ𝛽𝑛 ∣ 𝑋𝑛 < ∞,
(2.11)
𝑛=1
∣ πœ†π‘› ∣ 𝑋𝑛 = 𝑂(1),
(2.12)
π‘š
∑
𝑣 π›Ώπ‘˜−1 ∣ 𝑑𝑣 βˆ£π‘˜
= 𝑂(π‘‹π‘š ),
π‘‹π‘£π‘˜−1
𝑣=1
(2.13)
then the conditions
∑ (2.7) and (2.8) are omitted in order to obtain the ∣ 𝑇, 𝛿 βˆ£π‘˜
−summability of
π‘Žπ‘› πœ†π‘› .
Proof of Theorem 2.1. We have
𝑛
∑
𝑛
∑
ˆ
𝑑𝑛𝑣 πœ†π‘£
𝑣
𝑣=0
𝑣=1
(
)
(
) ( 𝑛
)(
)
𝑛−1
𝑣
∑ ∑
∑
ˆ
𝑑𝑛𝑣 πœ†π‘£
𝑑𝑛𝑛 πœ†π‘›
π‘Ÿπ‘Žπ‘Ÿ Δ𝑣
=
+
π‘£π‘Žπ‘£
𝑣
𝑛
𝑣=1 π‘Ÿ=1
𝑣=1
(
)
𝑛−1
∑
1
1
1 ˆ
𝑛+1
ˆ
=
(𝑣 + 1)𝑑𝑣
𝑑𝑛𝑣 πœ†π‘£ +
Δˆ
𝑑𝑛𝑣 πœ†π‘£ +
𝑑𝑛,𝑣+1 Δπœ†π‘£ +
𝑑𝑛 𝑑𝑛𝑛 πœ†π‘›
𝑣(𝑣 + 1)
𝑣+1
𝑣+1
𝑛
𝑣=1
)
𝑛−1
∑ (1
𝑛+1
ˆ
ˆ
ˆ
=
𝑑𝑣 𝑑𝑛𝑣 πœ†π‘£ + 𝑑𝑣 Δ𝑣 𝑑𝑛𝑣 πœ†π‘£ + 𝑑𝑣 𝑑𝑛,𝑣+1 Δπœ†π‘£ +
𝑑𝑛 𝑑𝑛𝑛 πœ†π‘›
𝑣
𝑛
𝑣=1
π‘Œπ‘› :=
ˆ
𝑑𝑛𝑣 πœ†π‘£ π‘Žπ‘£ =
π‘£π‘Žπ‘£
= π‘Œπ‘›1 + π‘Œπ‘›2 + π‘Œπ‘›3 + π‘Œπ‘›4 .
In order to prove the Theorem, by Minkowski’s inequality, we have to show that
∞
∑
𝑛=1
π‘›π›Ώπ‘˜+π‘˜−1 ∣ π‘Œπ‘›π‘— βˆ£π‘˜ < ∞,
𝑗 = 1, 2, 3, 4.
A STUDY ON ABSOLUTE FACTORS FOR A TRIANGULAR MATRIX
5
By Holder’s inequality
∞
∑
π‘›π›Ώπ‘˜+π‘˜−1 ∣ π‘Œπ‘›1 βˆ£π‘˜ =
𝑛=2
∞
∑
π‘›π›Ώπ‘˜+π‘˜−1 ∣
𝑛=2
≤
∞
∑
𝑛−1
∑
𝑣=1
𝑛
π›Ώπ‘˜+π‘˜−1
𝑛=2
= 𝑂(1)
𝑛−1
∑
𝑣
1 ˆ
𝑑𝑣 𝑑𝑛𝑣 πœ†π‘£ βˆ£π‘˜
𝑣
−π‘˜
∣ 𝑑𝑣𝑣 ∣
π‘˜
∣ 𝑑𝑣 ∣ ∣ ˆ
𝑑𝑛𝑣 ∣∣ πœ†π‘£ ∣
𝑣=1
∞
∑
∞
∑
π‘›π›Ώπ‘˜ (𝑛 ∣ 𝑑𝑛𝑛 ∣)π‘˜−1
𝑛−1
∑
= 𝑂(1)
)π‘˜−1
(𝑛−1
∑
∣ 𝑑𝑣𝑣 ∣∣ ˆ
𝑑𝑛𝑣 ∣
𝑣 −π‘˜ ∣ 𝑑𝑣𝑣 ∣1−π‘˜ ∣ 𝑑𝑣 βˆ£π‘˜ ∣ ˆ
𝑑𝑛𝑣 ∣∣ πœ†π‘£ βˆ£π‘˜
𝑣=1
∞
∑
𝑣 −π‘˜ ∣ 𝑑𝑣𝑣 ∣1−π‘˜ ∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜
𝑣=1
∞
∑
π‘˜
𝑣=1
𝑛=2
= 𝑂(1)
1−π‘˜
π‘›π›Ώπ‘˜ ∣ ˆ
𝑑𝑛𝑣 ∣
𝑛=𝑣+1
𝑣 π›Ώπ‘˜−π‘˜ ∣ 𝑑𝑣𝑣 ∣1−π‘˜ ∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜
𝑣=1
= 𝑂(1)
∞
∑
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣𝑣 ∣∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜ = 𝑂(1),
𝑣=1
in view of (2.2) and (2.7).
∞
∑
π‘›π›Ώπ‘˜+π‘˜−1 ∣ π‘Œπ‘›2 βˆ£π‘˜ =
𝑛=2
∞
∑
π‘›π›Ώπ‘˜+π‘˜−1 ∣
𝑛=2
≤
∞
∑
𝑛−1
∑
𝑑𝑣 Δ𝑣 ˆ
𝑑𝑛𝑣 πœ†π‘£ βˆ£π‘˜
𝑣=1
𝑛
π›Ώπ‘˜+π‘˜−1
𝑛=2
= 𝑂(1)
𝑛−1
∑
∞
∑
∞
∑
𝑣=1
= 𝑂(1)
π‘˜
∣ 𝑑𝑣 ∣ ∣ Δ𝑣 ˆ
𝑑𝑛𝑣 ∣∣ πœ†π‘£ ∣
(𝑛−1
∑
𝑣=1
∞
∑
𝑣=1
𝑛−1
∑
∣ Δ𝑣 ˆ
𝑑𝑛𝑣 ∣
∣ 𝑑𝑣 βˆ£π‘˜ ∣ Δ𝑣 ˆ
𝑑𝑛𝑣 ∣∣ πœ†π‘£ βˆ£π‘˜
𝑣=1
∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜
)π‘˜−1
𝑣=1
π‘›π›Ώπ‘˜ (𝑛 ∣ 𝑑𝑛𝑛 ∣)π‘˜−1
𝑛=2
= 𝑂(1)
π‘˜
∞
∑
π‘›π›Ώπ‘˜ ∣ Δ𝑣 ˆ
𝑑𝑛𝑣 ∣
𝑛=𝑣+1
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣𝑣 ∣∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜ = 𝑂(1),
6
W. T. SULAIMAN
in view of (2.5), (2.6) and (2.7).
∞
∑
𝑛
π›Ώπ‘˜+π‘˜−1
π‘˜
∣ π‘Œπ‘›3 ∣ =
𝑛=2
∞
∑
𝑛
π›Ώπ‘˜+π‘˜−1
∣
𝑛−1
∑
𝑛=2
≤
∞
∑
𝑑𝑣 ˆ
𝑑𝑛,𝑣+1 Δπœ†π‘£ βˆ£π‘˜
𝑣=1
𝑛
π›Ώπ‘˜+π‘˜−1
𝑛=2
= 𝑂(1)
𝑛−1
∑
π‘˜
∣ 𝑑𝑣 ∣ ∣ 𝑑𝑣𝑣 ∣
(𝑛−1
∑
∞
∑
∞
∑
∞
∑
)π‘˜−1
∣ 𝑑𝑣𝑣
∣∣ ˆ
𝑑𝑛,𝑣+1 ∣
𝑣=1
π‘›π›Ώπ‘˜ (𝑛 ∣ 𝑑𝑛𝑛 ∣)π‘˜−1
𝑛−1
∑
∣ 𝑑𝑣 βˆ£π‘˜ ∣ 𝑑𝑣𝑣 ∣1−π‘˜ ∣ ˆ
𝑑𝑛,𝑣+1 ∣∣ Δπœ†π‘£ βˆ£π‘˜
𝑣=1
∣ 𝑑𝑣 βˆ£π‘˜ ∣ 𝑑𝑣𝑣 ∣1−π‘˜ ∣ Δπœ†π‘£ βˆ£π‘˜
𝑣=1
= 𝑂(1)
∣ˆ
𝑑𝑛,𝑣+1 ∣∣ Δπœ†π‘£ βˆ£π‘˜
𝑣=1
𝑛=2
= 𝑂(1)
1−π‘˜
∞
∑
π‘›π›Ώπ‘˜ ∣ ˆ
𝑑𝑛,𝑣+1 ∣
𝑛=𝑣+1
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣 βˆ£π‘˜ ∣ 𝑑𝑣𝑣 ∣1−π‘˜ ∣ Δπœ†π‘£ βˆ£π‘˜ = 𝑂(1),
𝑣=1
in view of (2.3), (2.4) and (2.8).
∞
∑
π‘›π›Ώπ‘˜+π‘˜−1 ∣ π‘Œπ‘›4 βˆ£π‘˜ =
𝑛=2
∞
∑
π‘›π›Ώπ‘˜+π‘˜−1 ∣
𝑛=2
= 𝑂(1)
= 𝑂(1)
∞
∑
𝑛=1
∞
∑
𝑛+1
𝑑𝑛 𝑑𝑛𝑛 πœ†π‘› βˆ£π‘˜
𝑛
π‘›π›Ώπ‘˜+π‘˜−1 ∣ 𝑑𝑛 βˆ£π‘˜ ∣ 𝑑𝑛𝑛 βˆ£π‘˜ ∣ πœ†π‘› βˆ£π‘˜
π‘›π›Ώπ‘˜ ∣ 𝑑𝑛𝑛 ∣∣ 𝑑𝑛 βˆ£π‘˜ ∣ πœ†π‘› βˆ£π‘˜ = 𝑂(1),
𝑛=1
in view of (2.7).
In order to complete the proof the rest, it is sufficient to show that
∞
∑
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣𝑣 ∣∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜ = 𝑂(1),
𝑣=1
∞
∑
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣 βˆ£π‘˜ ∣ 𝑑𝑣𝑣 ∣1−π‘˜ ∣ Δπœ†π‘£ βˆ£π‘˜ = 𝑂(1).
𝑣=1
Now,
π‘š
π‘š
∑
∑
𝑣 π›Ώπ‘˜−1 ∣ 𝑑𝑣 βˆ£π‘˜ π‘˜−1
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣𝑣 ∣∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜ = 𝑂(1)
𝑋𝑣 ∣ πœ†π‘£ βˆ£π‘˜−1 ∣ πœ†π‘£ ∣
π‘˜−1
𝑋
𝑣
𝑣=1
𝑣=1
π‘š
∑
𝑣 π›Ώπ‘˜−1 ∣ 𝑑𝑣 βˆ£π‘˜
∣ πœ†π‘£ ∣
π‘‹π‘£π‘˜−1
𝑣=1
( 𝑣
)
(π‘š
)
π‘š−1
∑ 𝑣 π›Ώπ‘˜−1 ∣ 𝑑𝑣 βˆ£π‘˜
∑ ∑
π‘Ÿπ›Ώπ‘˜−1 ∣ π‘‘π‘Ÿ βˆ£π‘˜
∣ Δ βˆ£ πœ†π‘£ ∣ ∣ +𝑂(1)
∣ πœ†π‘š ∣
= 𝑂(1)
π‘‹π‘Ÿπ‘˜−1
π‘‹π‘£π‘˜−1
𝑣=1
π‘Ÿ=1
𝑣=1
= 𝑂(1)
= 𝑂(1)
π‘š−1
∑
𝑋𝑣 ∣ Δπœ†π‘£ ∣ +𝑂(1)π‘‹π‘š ∣ πœ†π‘š ∣
𝑣=1
= 𝑂(1)
π‘š−1
∑
𝑣=1
𝑋𝑣 𝛽𝑣 + 𝑂(1)π‘‹π‘š ∣ πœ†π‘š ∣= 𝑂(1).
A STUDY ON ABSOLUTE FACTORS FOR A TRIANGULAR MATRIX
π‘š
∑
𝑣
π›Ώπ‘˜
π‘˜
1−π‘˜
∣ 𝑑𝑣 ∣ ∣ 𝑑𝑣𝑣 ∣
π‘˜
∣ Δπœ†π‘£ ∣ = 𝑂(1)
𝑣=1
π‘š
∑
7
𝑣 π›Ώπ‘˜+π‘˜−1 ∣ 𝑑𝑣 βˆ£π‘˜ ∣ Δπœ†π‘£ βˆ£π‘˜
𝑣=1
π‘š
∑
𝑣 π›Ώπ‘˜ ∣ 𝑑𝑣 βˆ£π‘˜
= 𝑂(1)
(𝑣𝑋𝑣 𝛽𝑣 )π‘˜−1 𝛽𝑣
π‘˜−1
𝑋
𝑣
𝑣=1
π‘š
∑
𝑣 π›Ώπ‘˜−1 ∣ 𝑑𝑣 βˆ£π‘˜
𝑣𝛽𝑣
π‘‹π‘£π‘˜−1
𝑣=1
)
(π‘š
)
( 𝑣
π‘š−1
∑ 𝑣 π›Ώπ‘˜−1 ∣ 𝑑𝑣 βˆ£π‘˜
∑ ∑
π‘Ÿπ›Ώπ‘˜−1 ∣ π‘‘π‘Ÿ βˆ£π‘˜
∣ Δ(𝑣𝛽𝑣 ) ∣ +𝑂(1)
π‘šπ›½π‘š
= 𝑂(1)
π‘‹π‘Ÿπ‘˜−1
π‘‹π‘£π‘˜−1
𝑣=1
𝑣=1
π‘Ÿ=1
= 𝑂(1)
= 𝑂(1)
π‘š
∑
𝑋𝑣 𝛽𝑣 + 𝑂(1)
𝑣=1
π‘š
∑
𝑣𝑋𝑣 ∣ Δ𝛽𝑣 ∣ +𝑂(1)π‘šπ‘‹π‘š π›½π‘š
𝑣=1
= 𝑂(1).
This completes the proof of the Theorem.
Recalling Lemma 2.2 and its proof.
Lemma 2.2. Let (𝑋𝑛 ) be a quasi (𝛽 − 𝛾)−power increasing sequence, 0 < 𝛽 <
1, 𝛾 ≥ 0, then the conditions (2.10) and (2.11) implies
∞
∑
𝛽𝑛 𝑋𝑛 < ∞
(2.14)
𝑛=1
𝑛𝛽𝑛 𝑋𝑛 < ∞.
(2.15)
Proof. Since 𝛽𝑛 → 0, then Δ𝛽𝑛 → 0, and hence
∞
∞
∞
∞
𝑣
∑
∑
∑
∑
∑
𝛽𝑛 𝑋𝑛 ≤
𝑋𝑛
∣ Δ𝛽𝑛 ∣=
∣ Δ𝛽𝑣 ∣
𝑋𝑛
𝑛=1
𝑣=𝑛
𝑛=1
=
∞
∑
∣ Δ𝛽𝑣 ∣
𝑣=1
= 𝑂(1)
𝑣=1
𝑣
∑
𝑛=1
𝑛𝛽 (log 𝑛)𝛾 𝑋𝑛 𝑛−𝛽 (log 𝑛)−𝛾
𝑛=1
∞
∑
∣ Δ𝛽𝑣 ∣ 𝑣 𝛽 (log 𝑣)𝛾 𝑋𝑣
𝑣=1
= 𝑂(1)
∞
∑
∣ Δ𝛽𝑣 ∣ 𝑣 𝛽 (log 𝑣)𝛾 𝑋𝑣
𝑣=1
= 𝑂(1)
∞
∑
𝑣
∑
𝑛=1
𝑣
∑
𝑛−𝛽 (log 𝑛)−𝛾
π‘›πœ– (log 𝑛)−𝛾 𝑛−𝛽−πœ– , 0 < πœ– < 𝛽 + πœ– < 1
𝑛=1
∣ Δ𝛽𝑣 ∣ 𝑣 𝛽 (log 𝑣)𝛾 𝑋𝑣 𝑣 πœ– (log 𝑣)−𝛾
𝑣=1
= 𝑂(1)
∞
∑
𝑣=1
= 𝑂(1)
= 𝑂(1)
∞
∑
𝑣=1
∞
∑
𝑣=1
𝑣
∑
𝑛=1
∣ Δ𝛽𝑣 ∣ 𝑣 𝛽+πœ– 𝑋𝑣
∫
𝑣
π‘₯−𝛽−πœ– 𝑑π‘₯
0
∣ Δ𝛽𝑣 ∣ 𝑣 𝛽+πœ– 𝑋𝑣 𝑣 1−𝛽−πœ–
𝑣 ∣ Δ𝛽𝑣 ∣ 𝑋𝑣 = 𝑂(1),
𝑛−𝛽−πœ–
8
W. T. SULAIMAN
in view of (2.11).
∞
∑
𝑛𝛽𝑛 𝑋𝑛 = 𝑛𝑋𝑛
Δ𝛽𝑣 ≤ 𝑛𝑋𝑛
𝑛=𝑣
∞
∑
∣ Δ𝛽𝑣 ∣
𝑛=𝑣
= 𝑛1−𝛽 (log 𝑛)−𝛾 𝑛𝛽 (log 𝑛)𝛾 𝑋𝑛
∞
∑
∣ Δ𝛽𝑣 ∣
𝑛=𝑣
≤𝑛
1−𝛽
−𝛾
(log 𝑛)
∞
∑
𝑣 𝛽 (log 𝑣)𝛾 𝑋𝑣 ∣ Δ𝛽𝑣 ∣
𝑛=𝑣
≤
=
∞
∑
𝑛=𝑣
∞
∑
𝑣 1−𝛽 (log 𝑣)−𝛾 𝑋𝑣 𝑣 𝛽 (log 𝑣)𝛾 𝑋𝑣 ∣ Δ𝛽𝑣 ∣
𝑣𝑋𝑣 ∣ Δ𝛽𝑣 ∣< ∞,
𝑛=𝑣
in view of (2.11).
β–‘
∑𝑛
Corollary 2.3. Let (𝑝𝑛 ) be a positive sequence such that 𝑃𝑛 = 𝑣=0 𝑝𝑣 → ∞, 𝑑𝑛
denote the 𝑛−th (𝐢, 1) mean of the sequence (π‘›π‘Žπ‘› ), and let (πœ†π‘› ) be a sequence of
numbers such that 𝑝𝑛 , 𝑑𝑛 , πœ†π‘› are all satisfying
𝑛𝑝𝑛 = 𝑂(𝑃𝑛 ), 𝑃𝑛 = 𝑂(𝑛𝑝𝑛 ),
∞
∑
∞
∑
𝑣 π›Ώπ‘˜
𝑣=1
∞
∑
𝑣=1
𝑣 π›Ώπ‘˜
𝑝𝑛
= 𝑂(𝑣 π›Ώπ‘˜ /𝑃𝑣−1 ),
𝑃𝑛 𝑃𝑛−1
(2.17)
𝑝𝑣
∣ 𝑑𝑣 βˆ£π‘˜ ∣ πœ†π‘£ βˆ£π‘˜ = 𝑂(1),
𝑃𝑣
(2.18)
π‘›π›Ώπ‘˜
𝑛=𝑣+1
(
𝑃𝑣
𝑝𝑣
(2.16)
)π‘˜−1
∣ 𝑑𝑣 βˆ£π‘˜ ∣ Δπœ†π‘£ βˆ£π‘˜ = 𝑂(1),
(2.19)
∑
then the series
π‘Žπ‘› πœ†π‘› is summable ∣ 𝑅, 𝑝𝑛 βˆ£π‘˜ , π‘˜ ≥ 1, 𝛿 ≥ 0.
Furthermore if (𝑋𝑛 ) is a quasi (𝛽−𝛾)−power increasing sequence, 0 < 𝛽 < 1, 𝛾 ≥ 0,
and if (𝛽𝑛 ) is a sequence of numbers satisfying (2.9)-(2.13), then the conditions
∑
(2.17) are (2.18) omitted in order to obtain the ∣ 𝑅, 𝑝𝑛 βˆ£π‘˜ −summability of
π‘Žπ‘› πœ†π‘› .
Proof. The proof follows from Theorem 2.1 by putting 𝑇 ≡ (𝑅, 𝑝𝑛 ), that is
𝑑𝑛𝑣 =
𝑝𝑛 𝑃𝑣−1
𝑝𝑛 𝑝𝑣
𝑝𝑣 ˆ
, 𝑑𝑛𝑣 =
, Δ𝑣 ˆ
𝑑𝑛𝑣 = −
.
𝑃𝑛
𝑃𝑛 𝑃𝑛−1
𝑃𝑛 𝑃𝑛−1
β–‘
References
[1] E. Savas, A study on absolute summability factors for a triangular matrix, Math. Ineq. Appl.
12 (2009) 41–46.
[2] W. T. Sulaiman, A study relation between two summability methods, Proc. Amer. Math. Soc.
115 (1992) 303–312.
A STUDY ON ABSOLUTE FACTORS FOR A TRIANGULAR MATRIX
9
Waad T. Sulaiman
Department of Computer Engineering , College of Engineering, University of Mosul,
Iraq
E-mail address: waadsulaiman@hotmail.com
Download