关于Euler无穷小量的估计.pdf

维普资讯 高等数学研究 Vo1．7，No．4 10 S兀ID庄 INa ．IJ 葩 MATHEMATICS Jra．，2004 关于Euler无穷小量的估计。 王秀荣 (青岛大学数学系 山东青岛2~71) 摘要对于蹦无穷小量E，l，可以证明任给正数d吉，都存在自然数N，使得当，lNlgl，詈E，l。 关键词 Euhr无穷小量 Ether常数 中图分类号 0171 1在lsl1收敛 级数∑ 。 1859年， 把函数(s) 昙看成复变量s的函数，并 H=I 把它解析延拓到整个复平面上。它在整个复平面上只有一个奇点s=1，且是留数为1的单极点。 s=1对应的调和级数∑1是发散的，但我们知道数列{=∑1一Inn}收敛到一个常数c，称 。=1 7／ I I=1 J 为Euler常数，e= 一c称为Euler无穷小量，由定义知lime= o文献[1]证明了：当，z充分大 时，e的数值恒为正，而且存在一个正常数d，使得ea。本文将证明的主要结果是： ，， 定理任给正常墼：0d，都存在自然数N，当，zN时，有詈e 为证明该定理，我们首先证明数列{艟 }收敛。 引理 数列{e}：1严格单调递减，且 lime=0，从而可知e恒为正值。 证明因为e一+。=h(，z+1)一In，z— =h(1+)一 ， 及 h(1+)，n≥1)， 故 e一e+10。 即数列{c，l}：1严格单调递减，又由定义知lime=0，因此e恒为正值。 命题1 limrl／~n= 。 ^— +oo ‘ 证明因为! =，z(，z+1)[1n(1+)一 ] ，z+1一 ，z =，z(，z+1)[_l一++。()] 又因数列{e}严格单调递减(引理)且lime=0，所以 ．． ．． e ．． e+1一e_ 1 r／l~n oo oo ，r++ 广，+·T工 ，r+·oo 工 工 厶。 ，z ，z+1 ，z 为了证明定理，只需证明艟 1／2，而事实上可以证明数列{艟 } 从某项N_E之后是单调 ·收稿日期：20o3一O5一O2 维普资讯 第7卷第4期 王秀荣：关于Euler无穷小量的估计 11 上升的(命题4)，为此我们做些准备工作。 下文中的忌，，，z均表示自然数，对于实数X，用[]表示不超过z的最大整数，并设 )=z 卜1，口，l= 1。 由l()l≤ 一[]+1≤ ，及积： (，z≥1)收敛可知积：X2收敛，从而 n是有定义的。关于数列{a}，我们有以下性质。 命题2 数列{n，I}：l严格单调递增且 n=0。 证明 由n的定义知既n=0是显然的。 ~ Y ～ -=