Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2009, Article ID 851360, 10 pages doi:10.1155/2009/851360 Research Article Some New Hilbert’s Type Inequalities Chang-Jian Zhao1 and Wing-Sum Cheung2 1 Department of Information and Mathematics Sciences, College of Science, China Jiliang University, Hangzhou 310018, China 2 Department of Mathematics, The University of Hong Kong, Pokfulam Road, Hong Kong Correspondence should be addressed to Chang-Jian Zhao, chjzhao@163.com Received 25 December 2008; Accepted 24 April 2009 Recommended by Peter Pang Some new inequalities similar to Hilbert’s type inequality involving series of nonnegative terms are established. Copyright q 2009 C.-J. Zhao and W.-S. Cheung. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. 1. Introduction In recent years, several authors 1–10 have given considerable attention to Hilbert’s type inequalities and their various generalizations. In particular, in 1, Pachpatte proved some new inequalities similar to Hilbert’s inequality 11, page 226 involving series of nonnegative terms. The main purpose of this paper is to establish their general forms. 2. Main Results In 1, Pachpatte established the following inequality involving series of nonnegative terms. Theorem A. Let p ≥ 1, q ≥ 1, and let {am } and {bn } be two nonnegative sequences of real numbers defined for m 1, . . . , k, and n 1, . . . , r, where k, r are natural numbers. Let Am m s1 as and n Bn t1 bt . Then p q r k Am B n m1 n1 mn ≤ C p, q, k, r k k − m 1 m1 p−1 2 am Am 1/2 r 1/2 q−1 2 × , r − n 1 bn Bn n1 2.1 2 Journal of Inequalities and Applications where 1 C p, q, k, r pqkr1/2 . 2 2.2 We first establish the following general form of inequality 2.1. Theorem 2.1. Let p ≥ 1, q ≥ 1, t > 0, and 1/α 1/β 1, α > 1. Let {am1 ,...,mn }, and {bn1 ,...,nn } be positive sequences of real numbers defined for mi 1, 2, . . . , ki , and ni 1, 2, . . . , ri , where m1 mn ki , ri i 1, . . . , n are natural numbers. Let Am1 ,...,mn s1 1 · · · sn 1 as1 ,...,sn , and Bn1 ,...,nn n1 nn · · · b . Then t ,...,t n t1 1 tn 1 1 k1 ··· m1 1 kn r1 ··· mn 1n1 1 p q rn αβt1/β Am1 ,...,mn Bn1 ,...,nn m · · · mn β n1 · · · nn αt nn 1 1 ≤ L k1 , . . . , kn , r1 , . . . , rn , p, q, α, β × k1 m1 1 ⎛ ×⎝ r1 ··· ··· n1 1 β p−1 kj − mj 1 am1 ,...,mn Am1 ,...,mn kn n mn 1j1 1/β 2.3 ⎞1/α α q−1 rj − nj 1 bn1 ,...,nn Bn1 ,...,nn ⎠ , rn n nn 1 j1 where L k1 , . . . , kn , r1 , . . . , rn , p, q, α, β pqk1 · · · kn 1/α r1 · · · rn 1/β . 2.4 Proof. By using the following inequality see 12: n1 ··· m1 1 nn p zm1 ,...,mn ≤p mn 1 n1 ,..., m1 1 nn zm1 ,...,mn mn 1 m 1 ··· k1 1 mn p−1 zk1 ,...,kn , 2.5 kn 1 where p ≥ 1 is a constant, and zm1 ,...,mn ≥ 0, mi 1, 2, . . . , ki , i 1, 2, . . . , n, we obtain m1 p Am1 ,...,mn ≤ p ··· s1 1 mn p−1 as1 ,...,sn As1 ,...,sn . 2.6 sn 1 Similarly, we have q Bn1 ,...,nn ≤ q n1 t1 1 ··· nn tn 1 q−1 bt1 ,...,tn Bt1 ,...,tn . 2.7 Journal of Inequalities and Applications 3 From 2.6 and 2.7, using Hölder’s inequality 13 and the elementary inequality: a t1/α b , β αt1/β a1/α b1/β ≤ 2.8 where 1/α 1/β 1, α > 1, b > 0, a > 0, and t > 0, we have p q Ami ,...,mn Bni ,...,nn ≤ pq m 1 mn p−1 ··· as1 ,...,sn As1 ,...,sn s1 1 sn 1 1/α ≤ pqm1 , . . . , mn m 1 ··· s1 1 n 1 nn q−1 ··· bt1 ,...,tn Bt1 ,...,tn t1 1 tn 1 mn sn 1 β p−1 as1 ,...,sn As1 ,...,sn 1/β n nn α 1/α 1 q−1 1/β bt1 ,...,tn Bt1 ,...,tn × n1 , . . . , nn ··· t1 1 ≤ pq × tn 1 m1 · · · mn n1 · · · nn t1/α β αt1/β n 1 nn ... t1 1 m 1 α q−1 bt1 ,...,tn Bt1 ,...,tn tn 1 ··· s1 1 mn sn 1 β p−1 as1 ,...,sn As1 ,...,sn 1/β 1/α . 2.9 Dividing both sides of 2.9 by m1 · · · mn β n1 · · · nn αt/αβt1/β , summing up over ni from 1 to ri i 1, 2, . . . , n first, then summing up over mi from 1 to ki i 1, 2, . . . , n, using again Hölder’s inequality, then interchanging the order of summation, we obtain k1 kn r1 ··· m1 1 ··· mn 1 n1 1 ≤ pq × ⎧ k1 ⎨ ⎩m ⎧ r1 ⎨ ⎩n 1 1 kn ··· 1 1 p q rn αβt1/β Am1 ,...,mn Bn1 ,...,nn m · · · mn β n1 · · · nn αt nn 1 1 m 1 mn 1 rn ··· n 1 nn 1 1/α k1 1/β × r1 · · · rn k1 n1 1 nn tn 1 ··· m1 1 ··· β p−1 as1 ,...,sn As1 ,...,sn sn 1 ··· t1 1 ≤ pqk1 · · · kn ··· s1 1 mn kn α q−1 bt1 ,...,tn Bt1 ,...,tn m 1 mn 1 rn n 1 nn 1 ··· s1 1 t1 1 ··· 1/β ⎫ ⎬ ⎭ 1/α ⎫ ⎬ ⎭ mn sn 1 nn tn 1 β p−1 as1 ,...,sn As1 ,...,sn α q−1 bt1 ,...,tn Bt1 ,...,tn 1/β 1/α 4 Journal of Inequalities and Applications L k1 , . . . , kn , r1 , . . . , rn , p, q, α, β × × k1 kn ··· s1 1 sn 1 r1 rn ··· t1 1 tn 1 β p−1 as1 ,...,sn As1 ,...,sn α q−1 bt1 ,...,tn Bt1 ,...,tn k1 m1 s1 r1 n1 t1 ··· ··· kn 1/β 1 mn sn rn 1/α 1 nn tn L k1 , . . . , kn , r1 , . . . , rn , p, q, α, β × × ⎧ k1 ⎨ ⎩s ··· 1 1 ⎧ r1 ⎨ ⎩t ⎫1/β β ⎬ p−1 kj − sj 1 as1 ,...,sn As1 ,...,sn ⎭ kn n sn 1 j1 ··· 1 1 ⎫1/α ⎬ α q−1 rj − tj 1 bt1 ,...,tn Bt1 ,...,tn ⎭ rn n tn 1 j1 L k1 , . . . , kn , r1 , . . . , rn , p, q, α, β × ⎧ k1 ⎨ ⎩m 1 × ⎧ r1 ⎨ ⎩n ⎫1/β β ⎬ p−1 kj − mj 1 am1 ,...,mn Am1 ,...,mn ⎭ kn n ··· mn 1 j1 1 ⎫1/α ⎬ α q−1 . rj − nj 1 bn1 ,...,nn Bn1 ,...,nn ⎭ rn n ··· 1 1 nn 1 j1 2.10 This completes the proof. Remark 2.2. Taking α β n j 2, 2.3 becomes k1 k2 p r1 r2 q Am1 ,m2 Bn1 ,n2 −1/2 n n t1/2 m m 1 2 n1 1 n2 1 1 2 t m1 m2 1 1 ≤ pq k1 k2 r1 r2 2 × r r 1 2 k2 k1 k1 − m1 1k2 − m2 1 m1 m2 1 r1 − n1 1r2 − n2 1 n1 n2 1 p−1 2 bn1 ,n2 Bn1 ,n2 2 p−1 am1 ,m2 Am1 ,m2 1/2 2.11 1/2 . Taking t 1, and changing {am1 ,m2 }, {bn1 ,n2 }, {Am1 ,m2 }, and {Bn1 ,n2 } into {am }, {bn }, {Am }, and {Bn }, respectively, and with suitable changes, 2.11 reduces to Pachpatte 1, inequality 1. In 1, Pachpatte also established the following inequality involving series of nonnegative terms. Journal of Inequalities and Applications 5 Theorem B. Let {am }, {bn }, Am , Bn be as defined in Theorem A. Let {pm } and {qn } be positive sequences for m 1, . . . , k, and n 1, . . . , r, where k, r are natural numbers. Define Pm m s1 ps , n q . Let φ and ψ be real-valued, nonnegative, convex, submultiplicative functions and Qn t1 t defined on R 0, ∞. Then r k φAm ψBn m1 n1 mn k am ≤ Mk, r k − m 1 pm φ pm m1 2 1/2 2.12 2 1/2 r bn × , r − n 1 qn φ qn n1 where 1 Mk, r 2 k φPm 2 1/2 1/2 r φQn 2 Pm m1 n1 Qn . 2.13 Inequality 2.12 can also be generalized to the following general form. Theorem 2.3. Let {am1 ,...,mn }, {bn1 ,...,nn }, α, β, t, Am1 ,...,mn , and Bn1 ,...,nn be as defined in Theorem 2.1. Let {pm1 ,...,mn } and {qn1 ,...,nn } be positive sequences for mi 1, 2, . . . , ki , and ni 1, 2, . . . , ri i 1 m n n1 nn 1, 2, . . . , n. Define Pm1 ,...,mn m s1 1 · · · sn 1 ps1 ,...,sn , and Qn1 ,...,nn t1 1 · · · tn 1 qt1 ,...,tn . Let φ and ψ be real-valued, nonnegative, convex, submultiplicative functions defined on R 0, ∞. Then k1 ··· m1 1 kn r1 rn αβt1/β φAm1 ,...,mn ψBn1 ,...,nn ··· mn 1n1 1 nn 1 m1 · · · mn β n1 · · · nn αt ≤ M k1 , . . . , kn , r1 , . . . , rn , α, β × × ⎧ k1 ⎨ ⎩m ··· 1 1 ⎧ r1 ⎨ ⎩n 1 1 ⎫ β ⎬1/β am1 ,...,mn kj − mj 1 pm1 ,...,mn φ ⎭ pm1 ,...,mn kn n mn 1 j1 ··· 2.14 ⎫ α ⎬1/α bn1 ,...,nn , rj − nj 1 qn1 ,...,nn ψa ⎭ qn1 ,...,mn rn n nn 1 j1 where M k1 , . . . , kn , r1 , . . . , rn , α, β k1 m1 1 ··· kn φPm1 ,...,mn α mn 1 Pm1 ,...,mn 1/α r1 n1 1 ··· rn ψQn1 ,...,nn β nn 1 Qn1 ,...,nn 1/β . 2.15 6 Journal of Inequalities and Applications Proof. By the hypotheses, Jensen’s inequality, and Hölder’s inequality, we obtain φAm1 ,...,mn φ Pm1 ,...,mn m1 ps1 ,...,sn as1 ,...,sn /ps1 ,...,sn m n s1 1 · · · sn 1 ps1 ,...,sn ... m1 s1 1 m1 ≤ φPm1 ,...,mn φ s1 1 m n sn 1 n ··· m sn 1 ps1 ,··· ,sn as1 ,...,sn /ps1 ,...,sn m n m1 s1 1 · · · sn 1 ps1 ,...,sn 2.16 mn m1 φPm1 ,...,mn as1 ,...,sn ··· ps ,...,s φ ≤ Pm1 ,...,mn s1 1 sn 1 1 n ps1 ,...,sn φPm1 ,...,mn ≤ m1 · · · mn 1/α Pm1 ,...,mn m 1 ··· s1 1 mn sn 1 as1 ,...,sn ps1 ,...,sn φ ps1 ,...,sn β 1/β . Similarly, φQn1 ,...,nn φBn1 ,...,nn ≤ n1 · · · nn 1/β Qn1 ,...,nn n1 nn ··· n1 1 nn 1 bt1 ,...,tn qt1 ,...,tn ψ qt1 ,...,tn α 1/α . 2.17 By 2.16 and 2.17, and using the elementary inequality: a1/α b1/β ≤ a t1/α b , 1/β β αt 2.18 where 1/α 1/β 1, α > 1, b > 0, a > 0, and t > 0, we have φAm1 ,...,mn φBn1 ,...,nn ≤ m1 · · · mn n1 · · · nn t1/α β αt1/β φPm1 ,...,mn × Pm1 ,...,mn φQn1 ,...,nn × Qn1 ,...,nn m 1 ··· s1 1 n 1 t1 1 ... mn sn 1 nn tn 1 as1 ,...,sn ps1 ,...,sn φ ps1 ,...,sn bt1 ,...,tn qt1 ,...,tn ψ qt1 ,...,tn β 1/β α 1/α 2.19 . Journal of Inequalities and Applications 7 Dividing both sides of 2.19 by m1 · · · mn β n1 · · · nn αt/αβt1/β , and summing up over ni from 1 to ri i 1, 2, . . . , n first, then summing up over mi from 1 to ki i 1, 2, . . . , n, using again inverse Hölder’s inequality, and then interchanging the order of summation, we obtain k1 ··· m1 1 kn r1 rn αβt1/β φAm1 ,...,mn ψBn1 ,...,nn ··· mn 1 n1 1 m1 . . . mn β n1 . . . nn αt nn 1 k1 kn ⎛ ⎝ φPm1 ,...,mn ≤ ... Pm1 ,...,mn m1 1 mn 1 r1 m 1 ⎛ rn β mn as1 ,...,sn ··· ps1 ,...,sn φ ps1 ,...,sn s1 1 sn 1 ⎝ φQn1 ,...,nn × ··· Qn1 ,...,nn n1 1 nn 1 ≤ k1 ··· m1 1 × kn φPm1 ,...,mn α kn ··· m1 1 × r1 × r1 β mn as1 ,...,sn ··· ps1 ,...,sn φ ps1 ,...,sn s1 1 sn 1 rn ψQn1 ,...,nn β ··· ··· n1 1 n 1 nn 1 1/β 1/β Qn1 ,...,nn nn 1 rn 1/α ⎞ ⎠ 1/α m 1 mn 1 n1 1 α nn bt1 ,...,tn ··· qt1 ,...,tn ψ qt1 ,...,tn n1 1 nn 1 n1 Pm1 ,...,mn mn 1 k1 1/β ⎞ ⎠ ··· t1 1 nn tn 1 bt1 ,...,tn qt1 ,...,tn ψ qt1 ,...,tn α 1/α M k1 , . . . , kn , r1 , . . . , rn , α, β × × ⎧ k1 ⎨ ⎩m ··· 1 1 ⎧ r1 ⎨ ⎩n 1 1 ··· ⎫ β ⎬1/β am1 ,...,mn kj − mj 1 pm1 ,...,mn φ ⎭ pm1 ,...,mn kn n mn 1 j1 ⎫ α ⎬1/α bn1 ,...,nn . rj − nj 1 qn1 ,...,nn ψ ⎭ qn1 ,...,mn rn n nn 1 j1 2.20 The proof is complete. 8 Journal of Inequalities and Applications Remark 2.4. Taking α β n j 2, 2.14 becomes k2 k1 r2 r1 φAm1 ,m2 ψBn1 ,n2 −1/2 n n t1/2 1 2 n1 1 n2 1 m1 m2 t m1 m2 1 ≤ Mk1 , k2 , r1 , r2 am1 ,...,mn k1 − m1 1k2 − m2 1 pm1 ,m2 φ pm1 ,...,mn m1 m2 1 × × k1 k2 r r 1 2 2 1/2 2.21 2 1/2 bn1 ,...,nn r1 − n1 1r2 − n2 1 qn1 ,n2 ψ qn1 ,...,nn n1 n2 1 , where k1 k2 φPm1 ,m2 2 Mk1 , k2 , r1 , r2 m1 1 m2 1 1/2 Pm1 ,m2 r1 r2 ψQn1 ,n2 2 n1 1 n2 1 1/2 Qn1 ,n2 . 2.22 Taking t 1, and changing {am1 ,m2 }, {bn1 ,n2 }, {Am1 ,m2 }, and {Bn1 ,n2 } into {am }, {bn }, {Am }, and {Bn }, respectively, and with suitable changes, 2.21 reduces to Pachpatte 1, Inequality 7. Theorem 2.5. Let {am1 ,...,mn }, {bn1 ,...,nn }, {pm1 ,...,mn }, {qn1 ,...,nn }, Pm1 ,...,mn , and Qn1 ,...,nn , α, β, t, be as defined in Theorem 2.3. Define Am1 ,...,mn Bn1,...,n2 1 m1 Pm1 ,...,mn s1 1 1 n1 Qn1 ,...,nn t1 1 ··· mn ps1 ,...,sn as1 ,...,sn , sn 1 ··· nn 2.23 qt1 ,...,tn bt1 ,...,tn , tn 1 for mi 1, 2, . . . , ki , and ni 1, 2, . . . , ri i 1, 2, . . . , n, where ki , ri i 1, . . . , n are natural numbers. Let φ and ψ be real-valued, nonnegative, convex functions defined on R 0, ∞. Then k1 m1 1 ··· kn r1 rn αβt1/β Pm1 ,...,mn Qn1 ,...,nn φAm1 ,...,mn ψBn1 ,...,nn ··· mn 1n1 1 m1 · · · mn β n1 · · · nn αt nn 1 k1 · · · kn 1/α r1 · · · rn 1/β × × ⎧ k1 ⎨ ⎩m 1 1 ⎧ r1 ⎨ ⎩n ··· 1 1 ··· ⎫1/β β ⎬ kj − mj 1 pm1 ,...,mn φam1 ,...,mn ⎭ kn n mn 1 j1 ⎫1/α α ⎬ . rj − nj 1 qn1 ,...,nn ψbn1 ,...,nn ⎭ rn n nn 1 j1 2.24 Journal of Inequalities and Applications 9 Proof. By the hypotheses, Jensen’s inequality, and Hölder’s inequality, it is easy to observe that φAm1 ,...,mn φ ≤ ≤ Pm1 ,...,mn s1 1 Pm1 ,...,mn s1 1 1 ··· n1 Qn1 ,...,nn t1 1 Qn1 ,...,nn ps1 ,...,sn as1 ,...,sn sn 1 mn ps1 ,...,sn φas1 ,...,sn 2.25 sn 1 n1 Qn1 ,...,nn t1 1 1 ··· 1/α m 1 ··· s1 1 1 1 mn m1 · · · mn Pm1 ,...,mn ψBn1 ,...,nn ψ ≤ m1 1 ≤ m1 1 ··· ··· nn mn sn 1 ps1 ,...,sn φas1 ,...,sn β 1/β , qt1 ,...,tn bt1 ,...,tn tn 1 nn qt1 ,...,tn ψbt1 ,...,tn 2.26 tn 1 n1 · · · nn 1/β n 1 ··· t1 1 nn qt1 ,...,tn ψbt1 ,...,tn tn 1 α 1/α . Proceeding now much as in the proof of Theorems 2.1 and 2.3, and with suitable modifications, it is not hard to arrive at the desired inequality. The details are omitted here. Remark 2.6. In the special case where j 1, t 1, α β 2, and n 1, Theorem 2.5 reduces to the following result. Theorem C. Let {am }, {bn }, {pm }, {qn }, P m , Qn be as defined in Theorem B. Define Am n 1/Pm m s1 ps as , and Bn 1/Qn t1 qt bt for m 1, . . . , k, and n 1, . . . , r, where k, r are natural numbers. Let φ and ψ be real-valued, nonnegative, convex functions defined on R 0, ∞. Then r k Pm Qn φAm ψBn m1 n1 mn 1 ≤ kr1/2 2 × r k k − m 1 pm φam m1 1/2 2.27 1/2 r − n 1qn ψbn 2 2 . n1 This is the new inequality of Pachpatte in [1, Theorem 4]. Remark 2.7. Taking j 1, t 1, pm 1, qn 1, α β 2, and n 1 in Theorem 2.5, and in view of Pm m, Qn n, we obtain the following theorem. 10 Journal of Inequalities and Applications Theorem D. Let {am }, {bn } be as defined in Theorem A. Define Am 1/m m s1 as , and Bn n 1/n t1 bt , for m 1, . . . , k, and n 1, . . . , r, where k, r are natural numbers. Let φ and ψ be real-valued, nonnegative, convex functions defined on R 0, ∞. Then r k mn 1 φAm ψBn ≤ kr1/2 m n 2 m1 n1 × r k k − m 1 φam m1 2 r − n 1 ψbn 2 1/2 2.28 1/2 . n1 This is the new inequality of Pachpatte in [1, Theorem 3]. Acknowledgments Research is supported by Zhejiang Provincial Natural Science Foundation of ChinaY605065, Foundation of the Education Department of Zhejiang Province of China 20050392. Research is partially supported by the Research Grants Council of the Hong Kong SAR, China Project no. HKU7016/07P and a HKU Seed Grant forBasic Research. References 1 B. G. Pachpatte, “On some new inequalities similar to Hilbert’s inequality,” Journal of Mathematical Analysis and Applications, vol. 226, no. 1, pp. 166–179, 1998. 2 G. D. Handley, J. J. Koliha, and J. E. Pečarić, “New Hilbert-Pachpatte type integral inequalities,” Journal of Mathematical Analysis and Applications, vol. 257, no. 1, pp. 238–250, 2001. 3 M. Gao and B. Yang, “On the extended Hilbert’s inequality,” Proceedings of the American Mathematical Society, vol. 126, no. 3, pp. 751–759, 1998. 4 K. Jichang, “On new extensions of Hilbert’s integral inequality,” Journal of Mathematical Analysis and Applications, vol. 235, no. 2, pp. 608–614, 1999. 5 B. Yang, “On new generalizations of Hilbert’s inequality,” Journal of Mathematical Analysis and Applications, vol. 248, no. 1, pp. 29–40, 2000. 6 W. Zhong and B. Yang, “On a multiple Hilbert-type integral inequality with the symmetric kernel,” Journal of Inequalities and Applications, vol. 2007, Article ID 27962, 17 pages, 2007. 7 C.-J. Zhao, “Inverses of disperse and continuous Pachpatte’s inequalities,” Acta Mathematica Sinica, vol. 46, no. 6, pp. 1111–1116, 2003. 8 C.-J. Zhao, “Generalization on two new Hilbert type inequalities,” Journal of Mathematics, vol. 20, no. 4, pp. 413–416, 2000. 9 C.-J. Zhao and L. Debnath, “Some new inverse type Hilbert integral inequalities,” Journal of Mathematical Analysis and Applications, vol. 262, no. 1, pp. 411–418, 2001. 10 G. D. Handley, J. J. Koliha, and J. Pečarić, “A Hilbert type inequality,” Tamkang Journal of Mathematics, vol. 31, no. 4, pp. 311–315, 2000. 11 G. H. Hardy, J. E. Littlewood, and G. Pólya, Inequalities, Cambridge University Press, Cambridge, UK, 1934. 12 J. Németh, “Generalizations of the Hardy-Littlewood inequality,” Acta Scientiarum Mathematicarum, vol. 32, pp. 295–299, 1971. 13 E. F. Beckenbach and R. Bellman, Inequalities, Ergebnisse der Mathematik und ihrer Grenzgebiete, N. F., Band 30, Springer, Berlin, Germany, 1961.