Journal of Inequalities in Pure and Applied Mathematics A NOTE ON THE ABSOLUTE RIESZ SUMMABILITY FACTORS L. LEINDLER Bolyai Institute, University of Szeged Aradi vértanúk tere 1 H-6720 Szeged, Hungary. volume 6, issue 4, article 96, 2005. Received 01 April, 2005; accepted 12 August, 2005. Communicated by: S.S. Dragomir EMail: leindler@math.u-szeged.hu Abstract Contents JJ J II I Home Page Go Back Close c 2000 Victoria University ISSN (electronic): 1443-5756 098-05 Quit Abstract A crucial assumption of a previous theorem of the author is omitted without changing the consequence. This is achieved by proving a new (?) estimation on the absolute value of the terms of a real sequence by means of the sums of the differences of the terms. 2000 Mathematics Subject Classification: 40A05, 40D15, 40F05. Key words: Infinite Series, First and second differences, Riesz summability. A Note on the Absolute Riesz Summability Factors This research was partially supported by the Hungarian National Foundation for Scientific Research under Grant No. T042462 and TS44782. L. Leindler Title Page Contents 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Result . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Lemmas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Corollaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Proofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . References Contents 3 4 6 7 8 JJ J II I Go Back Close Quit Page 2 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au 1. Introduction In [4] we proved a theorem on absolute Riesz summability. Our paper was initiated by a theorem of H. Bor [2] (see also [3]). Now we do not intend to recall these theorems, the interested readers are referred to [4]. The aim of the present note is to show that the crucial condition of our proof, λn → 0, can be deduced from two other conditions of the theorem. In order to provide the new theorem we require some notions and notations. A positive sequence {an } is said to be quasi increasing if there exists a constant K = K({ak }) ≥ 1 such that (1.1) K an ≥ am holds for all n ≥ m. P The series ∞ n=1 an with partial sums sn is said to be summable |N , pn |k , k ≥ 1, if k−1 ∞ X Pn |tn − tn−1 |k < ∞, pn n=1 where {pn } is a sequence of positive numbers such that Pn := n X pν → ∞, ν=0 and n 1 X p ν sν . tn := Pn ν=0 A Note on the Absolute Riesz Summability Factors L. Leindler Title Page Contents JJ J II I Go Back Close Quit Page 3 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au 2. Result As we have written above, the new theorem to be presented here deviates from our previous result merely that an assumption, λn → 0, does not appear among the conditions. The new theorem reads as follows. Theorem 2.1. Let {λn } be a sequence of real numbers satisfying the condition ∞ X 1 |λn | < ∞. n n=1 (2.1) Suppose that there exists a positive quasi increasing sequence {Xn } such that (2.2) ∞ X Xn |∆ λn | < ∞, (∆ λn := λn − λn+1 ), A Note on the Absolute Riesz Summability Factors L. Leindler Title Page n=1 Contents ∗ Xm := (2.3) m X n=1 1 |tn |k = O(Xm ), n m X pn |tn |k = O(Xm ) P n=1 n (2.4) II I Go Back Close Quit and ∞ X (2.5) n Xn∗ |∆(|∆ λn |)| < ∞ n=1 hold. Then the series JJ J P an λn is summable |N , pn |k , k ≥ 1. Page 4 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au It is clear that if we can verify first that the conditions (2.1) and (2.2) imply that λn → 0, then the proof given in [4] is acceptable now, too. We shall follow this way. A Note on the Absolute Riesz Summability Factors L. Leindler Title Page Contents JJ J II I Go Back Close Quit Page 5 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au 3. Lemmas We need the following lemmas for the proof our statement. Lemma 3.1 ([1, 2.2.2. p. 72]). If {µn } is a positive, monotone increasing P and tending to infinity sequence, then the convergence of the series un µ−1 n implies the estimate n X (3.1) uk = o(µn ). A Note on the Absolute Riesz Summability Factors k=1 This lemma is the famous Kronecker lemma. Lemma 3.2. Let {γn } be a sequence of real numbers and denote Γn := n X γk and Rn := k=1 ∞ X |∆ γk |. k=n If Γn = o(n) then there exists a natural number n0 such that (3.2) |γn | ≤ 2Rn for all n ≥ n0 . Naturally R1 < ∞ is assumed, otherwise (3.2) is a triviality. However then Γn = o(n) is not only sufficient but also necessary to (3.2). Remark 1. It is clear that if γn → 0 then |γn | ≤ Rn is trivial, but not if γn 6→ 0, see e.g. γn = c 6= 0 or γn = 2 − n1 . Perhaps (3.2) is known, but unfortunately I have not encountered it in any paper. I presume that (3.2) is not very known, namely recently two papers used it without the assumption Γn = o(n), or its consequences to be given next. L. Leindler Title Page Contents JJ J II I Go Back Close Quit Page 6 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au 4. Corollaries Lemma 3.2 implies the following usable consequences. Corollary 4.1. Let {ρn } be a sequence of real numbers. If ρn = o(n) then (4.1) |∆ ρn | ≤ 2 ∞ X |∆2 ρk |, (∆2 ρk = ∆(∆ ρk )). k=n holds if n is large enough. A Note on the Absolute Riesz Summability Factors Corollary 4.2. Let α ≥ 0 and {ρn } be as in Corollary 4.1. If (4.2) ∞ X k α |∆2 ρk | < ∞, (ρn = o(n)), L. Leindler Title Page k=1 Contents then (4.3) |∆ ρn | = o(n−α ). JJ J II I Go Back Close In my view Lemma 3.2 and these corollaries are of independent interest. Quit Page 7 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au 5. Proofs Proof of Lemma 3.2. Let us assume that (3.2) does not hold for any n0 . Then there exists an increasing sequence {νn } of the natural numbers such that (5.1) 2Rνn < |γνn |. Let m = νn , and be fixed. Then for any k > m k−1 X 2Rm < |γm | = ∆ γi + γk ≤ Rm + |γk |, i=m A Note on the Absolute Riesz Summability Factors L. Leindler whence Title Page Rm < |γk | (5.2) holds. Now let us choose n such that (5.3) Contents JJ J (n − m)Rm > 2|Γm |. It is easy to verify that for all k > m the terms γk have the same sign, that is, γk · γk+1 > 0. Namely if γk and γk+1 have different sign then, by (5.2), |∆ γk | > 2Rm . But this contradicts the fact that Rm ≥ Rk ≥ |∆ γk |. Thus, if n > m then n X Γn = Γm + γk , k=m+1 II I Go Back Close Quit Page 8 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au and by invoking inequalities (5.2) and (5.3) we obtain that |Γn | ≥ n X 1 |γk | − |Γm | ≥ (n − m)Rm . 2 k=m+1 Since the last inequality opposes the assumption Γn = o(n), thus (3.2) is proved. To verify the necessity of the condition Γn = o(n) it suffices to observe that R1 < ∞ implies Rn → 0, thus, by (3.2), n 1X |γk | → 0 n k=1 clearly holds. A Note on the Absolute Riesz Summability Factors L. Leindler Title Page Proof of Corollary 4.1. Applying Lemma 3.2 with γn := ∆ ρn , we promptly get the statement of Corollary 4.1. Proof of Corollary 4.2. In view of (4.2) it is plain that ∞ X |∆2 ρk | = o(n−α ), k=n Contents JJ J II I Go Back Close whence (4.3) follows by (4.1). Quit Proof of Theorem 2.1. It is clearly sufficient to verify that the conditions (2.1) and (2.2) imply that Page 9 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 (5.4) λn → 0, http://jipam.vu.edu.au namely with this additional condition the assertion of Theorem 2.1 had been proved in [4]. P Now we prove (5.4). In view of Lemma 3.1 we know that nk=1 |λk | = o(n), thus the assumptions of Lemma 3.2 are satisfied with γn := λn . Furthermore the condition (2.2) visibly implies that (5.5) ∞ X |∆ λk | = o(1), k=n thus (3.2), by (5.5), proves (5.4). The proof is complete. A Note on the Absolute Riesz Summability Factors L. Leindler Title Page Contents JJ J II I Go Back Close Quit Page 10 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au References [1] G. ALEXITS, Convergence Problems of Orthogonal Series. Pergamon Press 1961, ix+350 pp. (Orig. German ed. Berlin 1960.) [2] H. BOR, An application of almost increasing and δ-quasi-monotone sequences, J. Inequal. Pure and Appl. Math., 1(2) (2000), Art. 18. [ONLINE: http://jipam.vu.edu.au/article.phd?sid=112] [3] H. BOR, Corrigendum on the paper “An application of almost increasing and δ-quasi-monotone sequences", J. Inequal. Pure and Appl. Math., 3(1) (2002), Art. 16. [ONLINE: http://jipam.vu.edu.au/article. phd?sid=168] [4] L. LEINDLER, On the absolute Riesz summability factors, J. Inequal. Pure and Appl. Math., 5(2) (2004), Art. 29. [ONLINE: http://jipam.vu. edu.au/article.phd?sid=376] A Note on the Absolute Riesz Summability Factors L. Leindler Title Page Contents JJ J II I Go Back Close Quit Page 11 of 11 J. Ineq. Pure and Appl. Math. 6(4) Art. 96, 2005 http://jipam.vu.edu.au