Notes to G. Bennett’s problems

Leindler L.

$Bolyai Institute, J6zsef Attila University, Aradi V.rtanOk tere 1, H-6720 Szeged, Hungary e-mail: leindler @ ma th. u-szeged, hu (Received 16 November 1996) G. Bennett showed, by elementary proof, that if p < q then (1.1) holds, and the constant p/s is best possible; and if p > q then (1.2) is valid. The reversed inequalities have remained open problems. As a first step into the converse direction, what seems to be very intricate without additional assumptions, we prove the inverse inequalities under slight restrictions on the monotonicity of the parameters appearing in the problem. Keywords: Infinite sums; inequalities; quasi monotone sequences. Subject Classification: 30C80.26D 15, 40A05 1 INTRODUCTION In [1] G. Bennett described a new way of looking at inequalities and proved several interesting theorems. The new way means "the factorization of inequalities". For precise definition and explanation of the great advantage of the factorization we refer to 1 ]. Now we only observe that Bennettâs results provide the best possible version of several classical and latest inequalities, for they replace inequalities by equalities appearing in the factorization. As one of the advantages of the factorization of inequalities we mention that using the new factorizing results being in the work mentioned above, G. Bennett proved, among others, that the following two conditions of quite different type n=k and if2 ;= [xkis("kk lXn ) is n=l _!.. and a := {an is a fixed are equivalent, where 0 < p, q < oe, 7 of non-negative terms with a > 1 so that the partial sums sequence An :â-- P/q ak never vanish, furthermore x := {xn} is an arbitrary sequence of real (or complex) numbers. To give a direct proof of this equivalence it seems to be a very troublesome task, see also the comment in 1], p. 24. But in section 10 of his cited work G. Bennett showed that if p < q then 0"1 --0"2 (1.1) holds, and the constant p/s is best possible; and if p > q then 0"2 _< 0"1. (1.2) The reversed inequalities have remained open problems. After several attempts we are still unable to prove (1.1) for p > q, or (1.2) if p < q without additional assumption; however under slight restriction on the monotonicity of the sequences {An and {tn }, where tn := tn(a,x,s) := k=n ixl Ak we can verify that if p > q then 0"1 _< K0"2, (1.3) and if p < q then a:z < K0"I hold. (1.4) We hope that the "blocking-method" to be used in our proofs, or its refined version, will be transmittable for catching the original problem, that is, to prove (1.3) and (1.4) without conditions for the sequences x. In the forthcoming inequalities, unfortunately, by means of {tn we have to assume certain smoothness on the sequences x, too. To formulate our results we have to present some furher notions and notations. We shall say that a sequence := {ân} of positive terms is quasi -power-monotone increasing (decreasing) if there exists a constant K := K (/3, ?,) > 1 such that Kn ?ân > m Ym (n ân < Km Vm) holds for any n > m. Here and in the sequel, K and Ki denote positive constants, not necessarily the same at each occurence. If we wish to express the dependence explicitly, we write K in the form K (a ). Furthermore we shall say that a sequence of positive terms is quasi geometrically increasing (decreasing) if there exist a natural number/z and a constant K := K(?â) > 1 such that Vn+z >_ 27ân and ân < Kân+ (ân+z < -?ân and ?ân+ < KVn) hold for all natural numbers n. We shall also use the following notations: 2m+l Ol ".â-- _, n=m an, n--2 Xk, and m+/x Xm,l Now we establish our results. Xn THEOREM (i) Using the notations given above, satisfies the condition A2n <_ An, if p > q, the sequence {An} (1.5) and the sequence {tn} is quasi fl-power-monotone decreasing with some positive then inequality (1.3) holds. -p/s is quasi (ii) If p < q, (1.5) holds and the sequence {tnA2n -power-monotone decreasing with some positive then inequality (1.4) holds. (iii) If p < q and the sequence {t2,Otm} is quasi geometrically increasing, furthermore Otm+l _< Kotm (1.6) stays, then (1.4) newly holds. Comparing the conditions of (ii) and (iii), it is easy to see, roughly speaking, that one of the conditions of (ii) restricts the growth of the terms tn, while the condition on {t2mOgm in (iii) limits the decline of the terms tn. We would like to emphasize that in the most commonly used case, that is, if an 1, then restrictions (1.5) and (1.6) are automatically satisfied. The_n, in each case, already one condition assures the suitable inequality. 2 LEMMAS We need the following lemmas. LEMMA 1 ([3]). For any positive sequence / {Yn} the inequalities ;K> 1), ân_<KVm or (m=1,2 (2.1) n=l ân < K?âm (m= 1,2 K > 1) (2.2) hold if and only if the sequence ?, is quasi geometrically decreasing or increasing, respectively. LEMMA 2 ([4]). If a positive sequence y is quasi -power-monotone increasing (decreasing) with a certain negative (positive) exponent the sequence {V2" is quasi geometrically increasing (decreasing). then LEMMA 3 ([2]) If {ck is a sequence of non-negative numbers and 0 < r < R, then 1/r 3 PROOF OF THEOREM First we prove the special cases s 1 of our inequalities, namely it is easy to see that if inequalities (1.3) and (1.4) hold in the special case s 1, then the general cases follow effortlessly replacing Ixl by Ixl s, p by p/s and q by q/s both in the inequalities and in the assumptions. For simplifying the writing we shall write Xn instead of IXn I. Proof of the 1 and p > q imply that case (i). The assumptions s p > 2. Since the sequence {tn is quasi/3-power-monotone decreasing with some positive t, so, by Lemma 2, the sequence {ta, is quasi geometrically decreasing, that is, there exists a natural number/x so that t2. > 2t2.+. holds for all n. Hence we get that 2+- Ak-and consequently 2n+z > t2.+u Xn,lz Since p/q _a Xk A2.t2.+.. (3.1) 1, thus an elementary consideration gives that for any n=l EXn - [N ,xPn }lip K (N, a) < K (N, a)cr/p EA _I n=l (3.2) Thus (3.2) clearly implies that tl t2. <_ K1 (Ix, a)cr/p. (3.3) Hence and from (3.1) with n cx t2 n=2" Now we can start to verify (1.3). n=l an k=n Since so, by (3.3) and (3.4), we obtain that S1 < K (/x, a)0.2. Using (1.5) and (3.1) we easily get that $2 n=2U+l an tn <KA2"_ut2mt;-i <KXm_lz.zt2 lz m--b6 p p X.. t2m+ <__ K yXm. t2m K(-+ _ _ 0 we get that 2 Xn An _< a-I xk _< K2(/z, a)0.21/p (3.4) n=l an tPn =: S1 n=2U+l + $2. (3.5) S1 n=l antPn < tA2,, (3.6) Cx =/x 2"+l n=2"+l an)t <_ =/z A2,.+ tâ <_ (3.7) m=/x+l )Xm.lxt2" =: $3 + $4. Here $3 can be estimated as $1 above, consequently we know that (3.8) $3 _< K1 (/z, 11)oâ2. Finally, again utilizing (3.1) and (1.5), we estimate $4 as follows: 2" $4 <K m=/z+l Cx:) Xm.l(al-, 2m+- xi) p-l< i=2m-u (3.9) m=+l k=2 (k /1 )p "= Klff2. Summing up the pial results (3.5) (3.9) we have proved (1.3) for s Proof of the case (ii). An easy calculation gives that E Xn n=l ,antn n=l antn+l, so t72 <_ Xk 2"+1 k=2 Now we apply Lemma 3, so by p (X) $5< < p Ol p 2 By (1.5) an tn n=l <_ 2 TM- (3.10) xk)(Ae---- E an tn)P n=2 1 < 1, m--0 EXmA2m t-la <_ A2m Xm <_ (3.11) --â. A2,+I A2m A2m+l t2 < K A2m A2m+l tzm $6. A2m 2-p t2 (3.12) is quasi/-power-monotone decreasing with Since the sequence p some positive 1, therefore, by Lemma 2, the sequence te} is quasi geometrically decreasing, what, by Lemma 1, implies that {A2n-Ptn {A222 2-p Aem t2 KA2 2-p t2. (3.13) Using this, (3.12) and (1.5), we obtain that i i=1 (3.14) i=1 m=l m=l i=m+l Since p < 2 and {An} is increasing, thus (3.13) clearly implies that m-i E t2 <_ Kt2 also holds. Thus, by Lemma 1, the sequence {t2, is also quasi geometrically decreasing, and therefore the sequence {tn} (p > 1) is again quasi geometrically decreasing, consequently also holds. Putting this into (3.14) we get that $6 < K2 n- an tPn--K2crl. (3.15) Collecting the estimations (3.10), (3.11) and (3.15) the statement (ii) in the special case s 1 is proved. Proof of the case (iii). The first part of the proof is the same as in the case (ii). The deviation appears in the estimation of $5. Then first we shall use the estimation t2iOli <_ K t2m tm (3.16) coming, by Lemma 1, from the assumption that the sequence {t2mOtm} is quasi geometrically increasing. Later on we shall apply inequality (1.6) and the inequality (A2 <_) oli <_ Kotm, (3.17) what plainly follows from (3.16). Thus we obtain that S5 <_ <_ t2i Z X <K E Xm A2m olP t;-I < <_ K Z t2m A2m+ A2 OlPm t2 oli m=O p m--O m=O n=l This and (3.10) imply the statement (iii) for s 1. As we have asserted above the general cases when s is given by -=-+s p q (0 < p,q < cx: 1 by replacing the terms can be derived from the special cases s and q by Ixl s, p/s and q/s, respectively. Thus our theorem is completed. Ixk I, P$

Notes to G. Bennett’s problems

L. , Leindler

Follow Journal of Inequalities and Applications , Volume 1 (4) Hindawi Publishing Corporation – Jan 1, 1900