Journal of Inequalities in Pure and Applied Mathematics ON A REVERSE OF A HARDY-HILBERT TYPE INEQUALITY BICHENG YANG Department Of Mathematics Guangdong Education College, Guangzhou Guangdong 510303, People’s Republic of China volume 7, issue 3, article 115, 2006. Received 18 January, 2006; accepted 25 May, 2006. Communicated by: L.-E. Persson EMail: bcyang@pub.guangzhou.gd.cn Abstract Contents JJ J II I Home Page Go Back Close c 2000 Victoria University ISSN (electronic): 1443-5756 016-06 Quit Abstract This paper deals with a reverse of the Hardy-Hilbert’s type inequality with a best constant factor. The other reverse of the form is considered. 2000 Mathematics Subject Classification: 26D15. Key words: Hardy-Hilbert’s inequality, Weight coefficient, Hölder’s inequality. On a Reverse of a Hardy-Hilbert Type Inequality Research supported by Natural Science Foundation of Guangdong Institutions of Higher Learning, College and University (China, No. 0177). Bicheng Yang Contents Title Page 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Some Lemmas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Main Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . References 3 5 9 Contents JJ J II I Go Back Close Quit Page 2 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au 1. Introduction P∞ p If p > 1, p1 + 1q = 1, an , bn ≥ 0, such that 0 < n=0 an < ∞ and 0 < P∞ q n=0 bn < ∞, then we have the well known Hardy-Hilbert inequality (Hardy et al. [1]): (∞ ) p1 ( ∞ ) 1q ∞ X ∞ X X X π am b n < apn , (1.1) bqn m+n+1 sin π n=0 m=0 n=0 n=0 p where the constant factor π/ sin(π/p) is the best possible. The equivalent form is (see Yang et al. [8]): p !p ∞ ∞ ∞ X X π X p am (1.2) < an , m+n+1 sin π n=0 n=0 m=0 On a Reverse of a Hardy-Hilbert Type Inequality where the constant factor [π/ sin(π/p)]p is still the best possible. Inequalities (1.1) and (1.2) are important in analysis and its applications (see Mitrinović, et al. [3]). In recent years, inequality (1.1) had been strengthened by Yang [5] as p1 ∞ X ∞ ∞ X X am b n π − ln 2 − γ 1 apn (1.3) < m + n + 1 n=0 sin π (2n + 1)1+ p n=0 m=0 Contents p p 1q ∞ X π − ln 2 − γ 1 bqn × , 1+ q π (2n + 1) sin n=0 p Bicheng Yang Title Page JJ J II I Go Back Close Quit Page 3 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au where ln 2 − γ = 0.11593+ (γ is Euler’s constant). Another strengthened version of (1.1) was given in [6]. By introducing a parameter λ, two extensions of (1.1) were proved in [8, 7] as: (1.4) ∞ X ∞ X am b n (m + n + 1)λ n=0 m=0 (∞ 1−λ ) 1q 1−λ ) p1 (X ∞ X 1 1 ; bqn < kλ (p) n+ apn n+ 2 2 n=0 n=0 On a Reverse of a Hardy-Hilbert Type Inequality Bicheng Yang (1.5) ∞ X ∞ X am b n λ λ <B , λ (m + n + 1) p q n=0 m=0 (∞ (q−1)(1−λ) ) 1q (p−1)(1−λ) ) p1 (X ∞ X 1 1 , bqn × n+ apn n+ 2 2 n=0 n=0 q+λ−2 where, the constant factors kλ (p) = B p+λ−2 , (2 − min{p, q} < λ ≤ p q 2), and B λp , λq (0 < λ ≤ min{p, q}) are the best possible (B(u, v) is the β function). For λ = 1, both (1.4) and (1.5) reduce to (1.1). We call (1.4) and (1.5) Hardy-Hilbert type inequalities. Yang et al. [9] summarized the use of weight coefficients in research for Hardy-Hilbert type inequalities. But the problem on how to build the reverse of this type inequalities is unsolved. The main objective of this paper is to deal with a reverse of inequality (1.4) for λ = 2. Another related reverse of the form is considered. Title Page Contents JJ J II I Go Back Close Quit Page 4 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au 2. Some Lemmas We need the formula of the β function B(p, q) as follows (see [4]): Z ∞ tp−1 (2.1) B(p, q) = B(q, p) = dt, (1 + t)p+q 0 R∞ and the following inequality (see [5, 2]): If f 4 ∈ C[0, ∞), 0 < 0 f (t)dt < ∞ and (−1)n f (n) (x) > 0, f (n) (∞) = 0 (n = 0, 1, 2, 3, 4), then ∞ Z (2.2) 0 1 f (t)dt + f (0) < 2 ∞ X Z ∞ f (k) < 0 k=0 1 1 f (t)dt + f (0) − f 0 (0). 2 12 Lemma 2.1. Define the weight function ω(n) as (2.3) ω(n) = 1 n+ 2 X ∞ k=0 Contents 1 , (k + n + 1)2 n ∈ N0 (= N ∪ {0}), 1 1 1− < ω(n) < 1 − 2 4(n + 1) 6(n + 1)(2n + 1) Proof. For fixed n, setting f (t) = f (0) = 1 , (n + 1)2 f 0 (0) = − 1 (t+n+1)2 JJ J II I Go Back (n ∈ N0 ). Close Quit (t ∈ [0, ∞)), we obtain 2 , (n + 1)3 Bicheng Yang Title Page then we have (2.4) On a Reverse of a Hardy-Hilbert Type Inequality Page 5 of 16 Z ∞ f (t)dt = and 0 1 . n+1 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au By (2.2), we find Z (2.5) ∞ 1 1 1 ω(n) > dt + n+ (t + n + 1)2 2(n + 1)2 2 0 1 1 1 (n + 1) − = + (n + 1) 2(n + 1)2 2 1 =1− . 4(n + 1)2 On a Reverse of a Hardy-Hilbert Type Inequality Z (2.6) ∞ 1 1 1 1 ω(n) < dt + + n+ (t + n + 1)2 2(n + 1)2 6(n + 1)3 2 0 1 1 1 1 = + + (n + 1) − 2 3 n + 1 2(n + 1) 6(n + 1) 2 1 1 =1− + . 2 12(n + 1) 12(n + 1)3 Since for n ∈ N0 , 1 1 + 6(n + 1)(2n + 1) 12(n + 1)2 12(n + 1)3 2(n + 1) − 1 2(n + 1) − 1 + = 2(n + 1) 2(n + 1)2 1 1 =1+ − ≥ 1, 2(n + 1) 2(n + 1)2 Bicheng Yang Title Page Contents JJ J II I Go Back Close Quit Page 6 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au then we find 1 1 1 + ≥ , 2 3 12(n + 1) 12(n + 1) 6(n + 1)(2n + 1) and in view of (2.6), it follows that ω(n) < 1 − (2.7) 1 . 6(n + 1)(2n + 1) In virtue of (2.5) and (2.7), we have (2.4). The lemma is proved. Lemma 2.2. For 0 < ε < p, we have I := (2.8) Bicheng Yang ∞ X ∞ X 1 (m + n + 1)2 n=0 m=0 < (1 + o(1)) ∞ X n=0 m+ 1 2 − pε n+ 1 2 − qε 1 n+ 2 (t+ 12 ) (t+n+1)2 (t ∈ (− 12 , ∞)), then we have ε/p 1+ε/p 2 2 ε2 , f 0 (0) = − − . 2 3 (n + 1) (n + 1) p(n + 1)2 Setting u = t + 21 n + 12 in the following integral, we obtain ∞ Z ∞ f (t)dt < 0 1 f (t)dt = −1/2 n+ ε 1 1+ p 2 JJ J II I Go Back 1+ε/p f (0) = Z Title Page Contents (ε → 0+ ). 1 1+ε −ε/p Proof. For fixed n, setting f (t) = On a Reverse of a Hardy-Hilbert Type Inequality Z 0 ∞ Close Quit Page 7 of 16 − pε u du. (1 + u)2 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au Hence by (2.2) and (2.1), we find − ε " ∞ − ε # ∞ X 1 q X 1 1 p I= n+ m+ 2 2 (m + n + 1) 2 n=0 m=0 " ε − ε Z ∞ ∞ X 1 q 1 u− p < n+ du ε 2 1 1+ p 0 2 (1 + u) n + n=0 2 1+ε/p ε/p 2 2 ε21+ε/p + + + 2(n + 1)2 12(n + 1)3 12p(n + 1)2 ∞ X 1 ε ε = + O(1) (ε → 0+ ). B 1 − ,1 + 1 1+ε p p n=0 n + 2 ε ε Since B 1 − p , 1 + p → B(1, 1) = 1 (ε → 0+ ), then (2.8) is valid. The lemma is proved. On a Reverse of a Hardy-Hilbert Type Inequality Bicheng Yang Title Page Contents JJ J II I Go Back Close Quit Page 8 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au 3. Main Results Theorem 3.1. If 0 < p < 1, p1 + 1q = 1, an , bn ≥ 0, such that 0 < P bqn ∞ and 0 < ∞ n=0 2n+1 < ∞, then (3.1) ∞ X ∞ X am b n (m + n + 1)2 n=0 m=0 (∞ X >2 1− n=0 (∞ X × 1− n=0 apn 1 4(n + 1)2 2n + 1 apn n=0 2n+1 P∞ < ) p1 bqn 1 6(n + 1)(2n + 1) 2n + 1 ) 1q , On a Reverse of a Hardy-Hilbert Type Inequality Bicheng Yang where the constant factor 2 is the best possible. In particular, one has (3.2) Title Page ∞ ∞ X X am bn (m + n + 1)2 n=0 m=0 (∞ X >2 1− n=0 Contents ) p1 ( ∞ ) 1q X bq apn 1 n . 2 4(n + 1) 2n + 1 2n + 1 n=0 Proof. By the reverse of Hölder’s inequality and (2.3), one has ∞ X ∞ X am b n (m + n + 1)2 n=0 m=0 " #" # ∞ X ∞ X am bn = 2 2 p (m + n + 1) q n=0 m=0 (m + n + 1) JJ J II I Go Back Close Quit Page 9 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au ) p1 ( ∞ ∞ ) 1q XX apm bqn ≥ (m + n + 1)2 (m + n + 1)2 n=0 m=0 n=0 m=0 # ) p1 ( ∞ " ∞ ( ∞ "∞ # ) 1q 1 1 p q X X X X m+ 2 n+ 2 2am 2bn = 2 2 (m + n + 1) 2m + 1 (m + n + 1) 2n + 1 m=0 n=0 n=0 m=0 1 1 ( ∞ )p ( ∞ )q X X apm bqn =2 ω(m) ω(n) . 2m + 1 2n + 1 m=0 n=0 (∞ ∞ XX Since 0 < p < 1 and q < 0, by (2.4), it follows that (3.1) is valid. −ε/p −ε/q For 0 < ε < p, setting ãn = n + 12 , b̃n = n + 12 , n ∈ N0 , we find ) 1q ) p1 ( ∞ (∞ X b̃q X ãpn 1 n (3.3) 1− 2 2n + 1 2n + 1 4(n + 1) n=0 n=0 (∞ ) p1 ( ∞ ) 1q X X 1 1 1 = 1− 2 1 1+ε 1 1+ε 4(n + 1) 2 n + 2 n + n=0 n=0 2 2 (∞ ) p1 ∞ X 1 X 1 1 > − 1+ε 2 n=0 n + 1 2(n + 1)2 (2n + 1) n=0 2 (∞ ) 1q X 1 × 1 1+ε n + n=0 2 On a Reverse of a Hardy-Hilbert Type Inequality Bicheng Yang Title Page Contents JJ J II I Go Back Close Quit Page 10 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au ∞ 1 X 1 1 + = {1 − õ(1)} p 1+ε (ε → 0 ). 1 2 n=0 n + 2 If the constant factor 2 in (3.1) is not the best possible, then there exists a real number k with k > 2, such that (3.1) is still valid if one replaces 2 by k. In particular, one has (3.4) ∞ X ∞ X ãm b̃n (m + n + 1)2 n=0 m=0 (∞ X >k 1− n=0 1 ãpn 4(n + 1)2 2n + 1 ) p1 ( ∞ X n=0 b̃qn 2n + 1 On a Reverse of a Hardy-Hilbert Type Inequality ) 1q . Hence by (2.8) and (3.3), it follows that ∞ ∞ X 1 X 1 1 k p (1 + o(1)) > {1 − õ(1)} , 1+ε 1 1 1+ε 2 n + n + n=0 n=0 2 2 and then 2 ≥ k (ε → 0+ ). This contradicts the fact that k > 2. Hence the constant factor 2 in (3.1) is the best possible. The theorem is proved. P apn Theorem 3.2. If 0 < p < 1, p1 + 1q = 1, an ≥ 0, such that 0 < ∞ n=0 2n+1 < ∞, then #p p−1 " X ∞ ∞ X 1 am (3.5) n+ 2 (m + n + 1)2 n=0 m=0 ∞ X 1 apn >2 1− , 2 2n + 1 4(n + 1) n=0 Bicheng Yang Title Page Contents JJ J II I Go Back Close Quit Page 11 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au where the constant factor 2 is the best possible. Proof. By the reverse of Hölder’s inequality, (2.3) and (2.4), one has ω(n) < 1 and " ∞ #p X am (3.6) (m + n + 1)2 m=0 #" #)p ( ∞ " X am 1 = 2 2 p (m + n + 1) q m=0 (m + n + 1) ( ∞ )( ∞ )p−1 p X X 1 am ≥ 2 (m + n + 1) (m + n + 1)2 m=0 m=0 ( ∞ )( −1 )p−1 X 1 apm = ω(n) n + (m + n + 1)2 2 m=0 1−p X ∞ 1 apm > n+ . 2 (m + n + 1)2 m=0 (3.7) n=0 Bicheng Yang Title Page Contents JJ J II I Go Back Hence we find ∞ X On a Reverse of a Hardy-Hilbert Type Inequality 1 n+ 2 p−1 " X ∞ am (m + n + 1)2 m=0 ∞ X ∞ X #p apm > (m + n + 1)2 n=0 m=0 Close Quit Page 12 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au = "∞ ∞ X X m=0 n=0 ∞ X =2 ω(m) m=0 By (2.4), we have (3.5). P Setting bn ≥ 0 and 0 < ∞ n=0 equality, one has (3.8) # m + 12 2apm (m + n + 1)2 2m + 1 bqn 2n+1 apm . 2m + 1 < ∞, by the reverse of Hölder’s inOn a Reverse of a Hardy-Hilbert Type Inequality ∞ X ∞ X am b n (m + n + 1)2 n=0 m=0 # " " 1 ∞ − 1 # ∞ X 1 qX am 1 q = n+ n+ bn 2 (m + n + 1)2 2 m=0 n=0 (∞ #p ) p1 ( ∞ ) 1q p−1 " X ∞ q X X 1 am 2bn ≥ n+ . 2 2 (m + n + 1) 2n + 1 n=0 m=0 n=0 If the constant factor 2 in (3.5) is not the best possible, then by (3.6), we can get a contradiction that the constant factor 2 in (3.1) is not the best possible. The theorem is proved. 1 r 1 s Remark 1. If an , bn satisfy the conditions of (1.4) for λ = 2, r > 1, + = 1, and (3.2) for 0 < p < 1, p1 + 1q = 1, then one can get the following two-sided Bicheng Yang Title Page Contents JJ J II I Go Back Close Quit Page 13 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au inequality: ( (3.9) 0< ∞ 3 X apn 4 n=0 2n + 1 ) p1 ( ∞ X n=0 bqn 2n + 1 ) 1q ∞ ∞ 1XX am b n 2 n=0 m=0 (m + n + 1)2 ) 1s ) r1 ( ∞ (∞ X bs X ar n n < ∞. < 2n + 1 2n + 1 n=0 n=0 < On a Reverse of a Hardy-Hilbert Type Inequality Bicheng Yang Title Page Contents JJ J II I Go Back Close Quit Page 14 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au References [1] G.H. HARDY, J.E. LITTLEWOOD bridge Univ. Press, London, 1952. AND G. POLYA, Inequalities, Cam- [2] JICHANG KUANG, On new generalizations of Hilbert’s inequality and their applications, J. Math. Anal. Appl., 245 (2000), 248–265. [3] D.S. MITRINOVIĆ, J.E. PEČARIĆ AND A.M. FINK, Inequalities Involving Functions and their Integrals and Derivatives, Kluwer Academic, Boston, 1991. [4] ZHUXI WANG AND DUNRIN GUO, An Introduction to Special Functions, Science Press, Beijing, 1979. [5] BICHENG YANG, On a strengthened version of the more accurate HardyHilbert’s inequality, Acta Math. Sinica, 42 (1999), 1103–1110. [6] BICHENG YANG, On a strengthened Hardy-Hilbert’s inequality, J. Ineq. Pure. Appl. Math., 1(2) (2000), Art. 22. [ONLINE: http://jipam.vu. edu.au/article.php?sid=116] [7] BICHENG YANG, On a new extension of Hardy-Hilbert’s inequality and its applications, Internat. J. Pure Appl. Math., 5 (2003), 57–66. [8] BICHENG YANG AND L. DEBNATH, On a new generalization of HardyHilbert’s inequality and its applications, J. Math. Anal. Appl., 233 (1999), 484–497. On a Reverse of a Hardy-Hilbert Type Inequality Bicheng Yang Title Page Contents JJ J II I Go Back Close Quit Page 15 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au [9] BICHENG YANG AND Th.M. RASSIAS, On the way of weight coefficient and research for the Hilbert-type inequalities, Math. Inequal. Appl., 6 (2003), 625–658. On a Reverse of a Hardy-Hilbert Type Inequality Bicheng Yang Title Page Contents JJ J II I Go Back Close Quit Page 16 of 16 J. Ineq. Pure and Appl. Math. 7(3) Art. 115, 2006 http://jipam.vu.edu.au