Journal of Inequalities in Pure and Applied Mathematics FACTORIZATION OF INEQUALITIES L. LEINDLER Bolyai Institute University of Szeged Aradi Vértanúk tere 1. 6720 Szeged, Hungary. EMail: leindler@math.u-szeged.hu volume 5, issue 1, article 12, 2004. Received 13 October, 2003; accepted 13 December, 2003. Communicated by: H. Bor Abstract Contents JJ J II I Home Page Go Back Close c 2000 Victoria University ISSN (electronic): 1443-5756 145-03 Quit Abstract We give a Bennett-type factorization of the space ces(pn ) for monotone nonincreasing sequence {pn }. If the sequence {pn } is nondecreasing and bounded then certain converse assertion is proved. 2000 Mathematics Subject Classification: 26015, 40A05, 40A99. Key words: Inequalities for sums, factorization, space `(pn ). Factorization of Inequalities This research was partially supported by the Hungarian National Foundation for Scientific Research under Grant T 029080. L. Leindler Title Page Contents 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 The Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Proof of Theorem 2.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . References Contents 3 6 7 JJ J II I Go Back Close Quit Page 2 of 13 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au 1. Introduction G. Bennett raised the interesting problem of the factorization of inequalities, and in his basic work [1] he gave a systematic treatment of the factorization of several classic and latest inequalities. In his essay we can also find the precise definition of factorization of inequalities and an explanation of its benefits. In some previous papers we also studied such problems (see e.g. [3] – [7]). Now we recall only one sample result. It is well known that the classical Hardy inequality, in its crudest form, asserts that Factorization of Inequalities L. Leindler lp ⊆ ces(p), (1.1) p > 1, Title Page where ( lp := x: ( ces(p) := x: ∞ X n=1 ∞ X n=1 ) |xn |p < ∞ , !p ) n 1X |xk | < ∞ , n k=1 Contents JJ J II I Go Back Close and x := {xn } is a sequence of real numbers. G. Bennett [1] gave the factorization of (1.1) as follows: Theorem 1.1. Let p > 1. A sequence x belongs to ces(p) if and only if it admits a factorization Quit Page 3 of 13 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au (1.2) x = y · z (xn = yn · zn ) with (1.3) y ∈ lp and n X ∗ |zk |p = O(n), p∗ := k=1 p . p−1 This theorem may be stated succinctly as: ces(p) = lp · g(p∗ ) (p > 1), Factorization of Inequalities if ( g(p) := x: n X ) |xk |p = O(n) . L. Leindler k=1 It is clear that Theorem 1.1 contains Hardy’s inequality, namely if x ∈ lp , then x may be factorized as in (1.2) such that y and z satisfy (1.3) by taking y = x and z = 1 = (1, 1, . . .); and by Theorem 1.1 then x ∈ ces(p). In [7] we considered the problem of factorization of the set ( ! ) ∞ n X X λ(ϕ) := x : λn ϕ |xk | < ∞ , n=1 k=1 where {λn } is a sequence of nonnegative terms having infinitely many positive ones, and ϕ is a nonnegative function on [0, ∞), ϕ(0) = 0, ϕ(x)x−p is nondecreasing. If ϕ(x) = xp and λn = n−p then, clearly λ(ϕ) ≡ ces(p). In this theme several open problems still remain. A great number of mathematicians have investigated the following generalizations of the spaces lp and ces(p): Title Page Contents JJ J II I Go Back Close Quit Page 4 of 13 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au ( l(pn ) := x: ∞ X ) |xn |pn < ∞ n=1 and ( ces(pn ) := x: ∞ X n=1 !pn ) n 1X |xk | <∞ , n k=1 where p : = {pn } is a sequence of positive numbers. A good survey and some new results of this type can be found in the paper [2] by P.D. Johnson and R.N. Mohapatra. The aim of the present paper is to find certain factorization of the space ces(pn ). Unfortunately we can do this only if the sequence p := {pn } is monotone decreasing. In the case if p is monotone increasing we can give sufficient conditions for the sequences y and z such that their product sequence x = y· z should belong to ces(pn ). Hence it is clear that if pn = p for all n, then we get a necessary and sufficient condition as in Theorem 1.1. Naturally many similar problems can be raised (and solved if you have enough stoicism and calculation ability) if you want to give the analogies of the results given in the special case pn = p regarding all the factorizations of inequalities (see e.g. only [1], [6] and [7]). To present our theorem easily we need one more definition: ( ) n X |xk |pk ≤ K pn −1 n , g(pn ) := x : Factorization of Inequalities L. Leindler Title Page Contents JJ J II I Go Back Close Quit Page 5 of 13 k=1 where K = K( p) ≥ 1 is a constant depending only on the sequence p. J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au 2. The Results Our theorem reads as follows: Theorem 2.1. (i) If p := {pn } is a nonincreasing sequence of numbers, all pn > 1; and x ∈ ces(pn ), then x admits a factorization (1.2) with z ∈ g(p∗n ). y ∈ l(pn ) and (2.1) (ii) Conversely, if p is a nondecreasing and bounded sequence of numbers, p0 > 1, furthermore (2.1) holds, then the product sequence x = y · z ∈ ces(pn ). Factorization of Inequalities L. Leindler Part (ii) of our theorem clearly implies that l(pn ) ⊆ ces(pn ) (1 < p0 ≤ . . . ≤ pn ), Title Page since if x ∈ l(pn ) then x can be factorized as in (1.2) with (2.1) by taking y = x and z = 1 = (1, 1, . . .), and thus we get that x ∈ ces(pn ). In order to prove our theorem we require the following lemma. Contents Lemma 2.2. Let u, v, w be sequences with nonnegative terms and suppose that wk decreases with k. If n n X X uk ≤ vk (n = 1, 2, . . .), k=1 then n X k=1 uk wk ≤ II I Go Back Close Quit k=1 n X JJ J Page 6 of 13 vk wk (n = 1, 2, . . .). k=1 This result is well known, see e.g. Lemma 3.6 in [1]. J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au 3. Proof of Theorem 2.1 (i) We assume that x 6= 0 := (0, 0, . . .), otherwise the statement is trivial. If x ∈ ces(pn ), we set (3.1) bn := ∞ X k=n k −pk k X !pk −1 |xi | , i=1 and we note that bn monotonically tends to zero. Indeed, using the wellknown inequality ∗ ap b p + ∗ , p > 1, ab ≤ p p we have that !pk −1 k ∞ X 1 1X |xi | bn = k k i=1 k=n !pk ∞ ∞ k X 1 X 1 1X (3.2) ≤ + |xi | , ∗ p p p k kk k k i=1 k=n k=n where the second sum clearly tends to zero becausePx ∈ ces(pn ) and pk > 1. The first sums also tends to zero, namely if ∞ i=1 |xi | ≤ 1, then, by pk ≤ p0 , the inequality !pk !p0 ∞ k ∞ k X X X X 1 1 |xi | ≥ |xi | k i=1 k pk i=1 k=1 k=1 Factorization of Inequalities L. Leindler Title Page Contents JJ J II I Go Back Close Quit Page 7 of 13 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au and x 6= 0 imply this assertion. Now we factorize x as follows x=y·z (xn = yn zn ), where yn := (|xn |bn )1/pn sign(xn ) (3.3) Factorization of Inequalities and L. Leindler zn := (3.4) ∗ |xn |1/pn bn−1/pn (≥ 0). Title Page Thus, by (3.1) and (3.3), we have ∞ X |yn |pn = n=1 ∞ X |xn | ∞ X n=1 = = ∞ X k −pk k −pk k X i=1 ∞ X k X k −pk !pk −1 !pk −1 |xi | k X n=1 !pk |xi | , i=1 thus the condition x ∈ ces(pn ) implies y ∈ l(pn ). Contents JJ J |xi | i=1 k=n k=1 k=1 k X |xn | II I Go Back Close Quit Page 8 of 13 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au On the other hand, by Hölder’s inequality, !pm !pm m m X X ∗ /p 1 1 −p p∗k + zk = |xk | p∗m pm bk k k k=1 k=1 ≤ (3.5) m X k=1 ! pm ∗ pm |xk | m X − |xk |bk p m p∗ k pk ! . k=1 Consequently, for m = 1, 2, . . ., we have by (3.1), (3.4) and (3.5), !pm !pm −1 m m ∞ m ∞ p m p∗ X X X X − p k 1 X p∗k −pm zk ≤ n |xk | |xk |bk k n n=m n=m k=1 k=1 k=1 !pm −1 m ∞ m pm p∗ X X − p k X −p = |xk |bk k (3.6) n m |xk | . n=m k=1 k=1 Since x ∈ ces(pn ) implies that n 1X |xk | ≤ K1 (p) n k=1 holds for all n; where and later on Ki (p) is written instead of Ki ( p), thus, by (3.2), !pm −1 ∞ m X X n−pm |xk | n=m k=1 Factorization of Inequalities L. Leindler Title Page Contents JJ J II I Go Back Close Quit Page 9 of 13 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au = ∞ X m X n−pm n=m (3.7) !pn −1 m X npn −pm |xk | ≤ K2 (p) |xk | k=1 k=1 ∞ X !pm −pn n X n−pn n=m !pn −1 |xk | = K2 (p)bm . k=1 By (3.2) we also have that the sequence {bk } is bounded, whence pk −pm pk −1 Factorization of Inequalities ≤ K3 (p) bk L. Leindler also hold for any k and m ≥ k. Hence we get that m X − |xk |bk pm p∗ k pk ≡ m X p∗ − pk |xk |bk k b pk −pm −1 pk −1 Contents k=1 k=1 ≤ K3 (p)b−1 m (3.8) m X p∗ zk k . k=1 Collecting the estimations (3.6), (3.7) and (3.8) we have that !pm −1 ∞ m X X ∗ p n−pm zk k ≤ K4 (p). n=m k=1 k=1 p∗ 1 JJ J II I Go Back Close Quit Page 10 of 13 Hence an easy computation gives that m X Title Page ∗ zk k ≤ K(p) pm −1 m = K(p)pm −1 m; J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au and herewith we have proved that z ∈ g(p∗n ). This completes the proof of part (i). (ii) The assumption z ∈ g(p∗n ) yields that n X p∗k |zk | ≤ K(p) n X 1 pn −1 k=1 1. k=1 This and Lemma 2.2 with wk := k −1/2 imply n X (3.9) 1 ∗ Factorization of Inequalities |zk |pk k −1/2 ≤ K(p) pn −1 k=1 n X k −1/2 . L. Leindler k=1 On the other hand, if x = y · z, applying Hölder’s inequality, we have !pn !pn n n X X 1/2p∗n −1/2p∗n |xk | = k |zk | |yk |k k=1 k=1 ≤ n X ! |yk |pn k pn −1 2 n X !pn −1 p∗n k −1/2 |zk | k=1 k=1 (3.10) n=1 JJ J II I Go Back Quit !pn n 1X |xk | n k=1 ≤ K5 (p) Contents Close This and (3.9) exhibit that ∞ X . Title Page ∞ X n=1 n Page 11 of 13 −pn n X k=1 |yk |pn k pn −1 2 n pn −1 2 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au = K5 (p) ∞ X ∞ X k pn |yk | k=1 n=k pn −1 2 n 1 =: S1 , say. n Since y ∈ l(pn ), the terms yn are bounded, using this, furthermore the boundedness and the monotonicity of the sequence p, we know that S1 ≤ K6 (p) ≤ K6 (p) ∞ X k=1 ∞ X pk |yk | ∞ X k n=k |yk |pk k k=1 (3.11) ≤ K7 (p) ∞ X pk −1 2 n ∞ X pk −1 2 1 n 1 n−1− 2 (pk −1) Factorization of Inequalities L. Leindler n=k |yk |pk . k=1 The assumption y ∈ l(pn ), (3.10) and (3.11) plainly prove that x ∈ ces(pn ), as stated. Herewith we have completed the proof of the theorem. Title Page Contents JJ J II I Go Back Close Quit Page 12 of 13 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au References [1] G. BENNETT, Factorizing the Classical Inequalities, Memoirs of Amer. Math. Soc., 120 (1996) No 576, 1–130. [2] P.D. JOHNSON JR. AND R.N. MOHAPATRA, On an analogue of Hardy’s inequality, Arch. Math., 60 (1993), 157–163. [3] L. LEINDLER, A theorem of Hardy–Bennett-type, Acta Math. Hungar., 78 (1998), 315–325. Factorization of Inequalities [4] L. LEINDLER, Two theorems of Hardy–Bennett-type, Acta Math. Hungar., 78 (1998), 365–375. L. Leindler [5] L. LEINDLER, Hardy–Bennett-type theorems, Math. Ineq. and Applications, 1 (1998), 517–526. Title Page [6] L. LEINDLER, Two Hardy–Bennett-type theorems, Acta Math. Hungar., 85 (1999), 265–276. [7] L. LEINDLER, An addition to factorization of inequalities, Math. Pannonica, 10 (1999), 61–65. Contents JJ J II I Go Back Close Quit Page 13 of 13 J. Ineq. Pure and Appl. Math. 5(1) Art. 12, 2004 http://jipam.vu.edu.au