arxiv:math/ v1 [math.ca] 16 Jun 2003

Transcription

1 THE BEST BOUNDS OF HARMONIC SEQUENCE arxiv:mah/62v mah.ca] 6 Jun 2 CHAO-PING CHEN AND FENG QI Absrac. For any naural number n N, n 2n+ γ 2 i lnn γ < 2n+, i where γ denoes Euler s consan. The consans γ 2 are he bes possible. As by-producs, wo double inequaliies of he digamma rigamma funcions are esablished.. Inroducion Le n be a naural number, hen we have 2n n 8n 2 < i lnn γ < 2n, 2 i where γ is Euler s consan. The inequaliy 2 is called in lieraure Franel s inequaliy 5, Ex. 8]. Because of he well known imporance of he harmonic sequence n i i, here exiss a very rich lieraure on inequaliies of he harmonic sequence n i i. For example,, ], 4, pp ] references herein. L. Tóh S. Mare in 6, p. 264] proposed he following problems: Prove ha for every posiive ineger n we have 2n+ 2 5 < n lnn γ < 2n+, where γ is Euler s consan. 2 Show ha 2 5 can be replaced by a slighly smaller number, bu ha canno be replaced by a slighly larger number. In ], basing on improving of Euler-Maclaurin summaion formula, some general inequaliies of he harmonic sequence n i i are esablished, including recovery of inequaliy. In 999, Sh.-R. Wei B.-Ch. Yang in 8] verified inequaliy again by calculus. 2 Mahemaics Subjec Classificaion. 26D5, B5. Key words phrases. Inequaliy, bes bound, harmonic sequence, Bine formula, digamma funcion, rigamma funcion. The auhors were suppored in par by NNSF #6 of China, SF for he Prominen Youh of Henan Province #22, SF of Henan Innovaion Talens a Universiies, Docor Fund of Jiaozuo Insiue of Technology, CHINA. This paper was ypese using AMS-LATEX.

2 2 CH.-P. CHEN AND F. QI In 997, K. Wu B.-Ch. Yang in 9] proved he second problem due o Tóh Mare by using he following n i γ +lnn+ q 2n B 2i 2in 2i B 2q x n x 2q dx 4 i n B 2q x x 2q i dx < q B 2q 2qn 2q, 5 whereb i x isbernoulli spolynomial, B 2i B 2i nisbernoulli snumberfori N, n q are posiive inegers,. In his shor noe, hrough esablishing, by exploiing he well known firs Bine s formula, wo double inequaliies of he digamma rigamma funcions by uilizing he approximaing expansion of digamma funcion ψ, he bes lower upper bounds of he sequence n i i lnn γ are given. Thses resuls refine inequaliy solve affirmaively he second problem menioned above. Theorem. For any naural number n N, we have n 2n+ γ 2 i lnn γ < 2n+, 6 i where γ denoes Euler s consan. The consans 2 are he bes possible. 2. Lemma In order o prove inequaliy, he following lemma is necessary. Lemma. For x >, we have where ψ Γ Γ 2x 2x 2 < ψx+ lnx < 2x γ 2x 2 6x < x ψ x+ < 2x 2 6x + x5, 8 is he logarihmic derivaive of he gamma funcion Γx 7 x e d. 9 Proof. I is a well known fac ] 7, p. ] ha for x > a nonnegaive ineger m, ψx+ ψx+ x m! x m+ m e x d. The firs Bine s formula ] 7, p. 6] saes ha for x > lnγx x lnx x+ln 2π e x e d. 2

3 THE BEST BOUNDS OF HARMONIC SEQUENCE Differeniaing 2, inegraing by par using formulas, i is deduced ha ψx+ lnx e e x d. Using formulas he series expansion of e x a x yields ψx+ lnx 2x + 2x 2 e e x d > 2e 2 6e + 2 e 2e e x d n n 4 2e ]e n x d n5 4 ψx+ lnx 2x <. e 2 2e n e x d n 2 ]e n x d 5 Hence, inequaliy 7 follows. Differeniaion of immediaely produces x ψ x+ e e x d. 6 Exploiing formulas 6 he series expansion of e x a x yields x ψ x+ 2x 2 + 6x e 2 + 2e > n5 x ψ x+ 2x 2 + 6x x 5 e e n7 2 2 e x d n n 4 ]e n x d e x d 6 n! + 6 n 2! n 4! n ] e x d. 7 8

4 4 CH.-P. CHEN AND F. QI Noicing ha for n 7, 72 6 n! + 6 n 2! n 4! n 7+9n n 7 +n 7 4 <, we obain x ψ x+ 2x 2 + 6x <. 2 x5 Therefore, inequaliy 8 holds. The proof is complee.. Proof of Theorem In ], 2, p. 59] 7, p. 4] i is given ha ψn n inequaliy 6 can be rearranged as k k γ. Thus, < ψn+ lnn 2n 2. 2 γ Define for x > φx 2x. 22 ψx+ lnx Differeniaing φ uilizing 7 8 reveals ha for x > 2 5, ψx+ lnx 2 φ x x ψ x+ 2ψx+ lnx 2 < 2x 2 6x + x 5 2 2x 2 2 2x 2 2 5x 6x 5 <, φx decreases wih x > 2 5. Sraighforward calculaion produces φ , 24 γ φ2 φ 2 6 Therefore, he sequence , 25 γ ln γ ln φn is decreasing sricly, for n N 2n, n N 27 ψn+ lnn lim φn < φn φ n γ Making use of approximaingexpansion of ψ in ], 2, p. 594], or 7, p. 8] gives ψx lnx 2x 2x 2 +Ox 4 x, 29

5 THE BEST BOUNDS OF HARMONIC SEQUENCE 5 hen lim φn lim φx lim +Ox 2 n x x +Ox. The proof is complee. References ] M. Abramowiz I. A. Segun Eds, Hbook of Mahemaical Funcions wih Formulas, Graphs, Mahemaical Tebles, Naional Bureau of Sards, Applied Mahemaics Series 55, 4h prining, Washingon, 965, ] Group of compilaion, Shùxué Shǒucè Hbook of Mahemaics, The People s Educaion Press, Beijing, China, 979. Chinese ] B.-N. Guo F. Qi, An inducive proof for an ideniy involving n k he parial sums of some series, Inerna. J. Mah. Ed. Sci. Tech. 22, no. 2, ] J.-Ch. Kuang, Chángyòng Bùděngshì Applied Inequaliies, 2nd ediion, Hunan Educaion Press, Changsha Ciy, Hunan Province, China, 99. Chinese 5] G. Pólya G. Szegö, Problems Theorems in Analysis, Vol. I II, Springer-Verlag, Berlin, Heidelberg, ] L. Tóh S. Mare, E 42, Amer. Mah. Monhly 98 99, no., ] Zh.-X. Wang D.-R. Guo, Tèshū Hánshù Gàilùn Inroducion o Special Funcion, The Series of Advanced Physics of Peking Universiy, Peking Universiy Press, Beijing, China, 2. Chinese 8] Sh.-R. Wei B.-Ch. Yang, A refinemen on he Franel inequaliy, Zhōngyāng Mínzú Dàxué Xuébào J. Cenral Univ. Naionaliies Naur. Sci. Ed , no., Chinese 9] K. Wu B.-Ch. Yang, Some refinemens of Franel s inequaliy, Huánán Shīfàn Dàxué Xuébào J. Souh China Normal Univ. Naur. Sci. Ed. 997, no., 5 8. Chinese ] B.-Ch. Yang G.-Q. Wang, Some inequaliies on harmonic series, Shùxué Yánjīu J. Mah. Sudy , no., Chinese Ch.-P. Chen Deparmen of Applied Mahemaics Informaics, Jiaozuo Insiue of Technology, Jiaozuo Ciy, Henan 454, CHINA F. Qi Deparmen of Applied Mahemaics Informaics, Jiaozuo Insiue of Technology, Jiaozuo Ciy, Henan 454, CHINA address: qifeng@jzi.edu.cn, fengqi68@member.ams.org URL: hp://rgmia.vu.edu.au/qi.hml