阶乘在级数中的研究与应用

(整期优先)网络出版时间:2021-05-06
/ 2

阶乘在级数中的研究与应用

张国利

(洛阳师范学院 数学科学学院,河南 洛阳 471934)


摘 要:对阶乘和双阶乘的历史及相关重要等式进行了简单总结,并通过实例研究了它们在级数中的一些应用.

关键词:阶乘;双阶乘;级数;斯特林公式

中图分类号:O173 文献标识码: 文章编号:

DOI:


  1. 前言

阶乘运算在组合学、代数和分析等课程有重要作用,以数学分析课程为例,在数列的收敛以及级数的收敛性等问题中会多次遇到阶乘运算,本文从阶乘符号发明的历史出发,通过具体实例,研究了阶乘的相关应用。

对于非负整数6093a0776ac4d_html_f00943d8408a19f.gif ,符号6093a0776ac4d_html_ed70ef0fa977de17.gif 表示6093a0776ac4d_html_f00943d8408a19f.gif 的阶乘,它是法国数学家Christian Kramp(1760-1826)在1808年首先引入的[1],定义为

6093a0776ac4d_html_578215522309ae28.gif

规定6093a0776ac4d_html_cf1816b36a2f2902.gif 。当6093a0776ac4d_html_f00943d8408a19f.gif 很大时,6093a0776ac4d_html_6bacb05cf618ff2c.gif 的数值是很大的。事实上,通过对6093a0776ac4d_html_55ec359e3c7fc5fe.gif 的放缩我们有如下逼近

6093a0776ac4d_html_7df425a262d12399.gif

或直接使用Stirling逼近公式 (6093a0776ac4d_html_f00943d8408a19f.gif 很大时)

6093a0776ac4d_html_a07b954d4ea8347b.gif(1)

关于6093a0776ac4d_html_6bacb05cf618ff2c.gif ,有很多著名的恒等式如

欧拉数6093a0776ac4d_html_5e7619a8f5699850.gif6093a0776ac4d_html_202649062eae920.gif

阶乘6093a0776ac4d_html_e2455698d2ed6d6.gif 与Gamma函数6093a0776ac4d_html_1508b8457471f730.gif 也有密切关系如6093a0776ac4d_html_8f491d6499b0935e.gif ,其中6093a0776ac4d_html_d1954f92713ae910.gif 。此外在三角函数对应的泰勒级数中,更离不开6093a0776ac4d_html_e2455698d2ed6d6.gif

与阶乘6093a0776ac4d_html_e2455698d2ed6d6.gif 密切相关的一个概念是双阶乘6093a0776ac4d_html_e6c688aecdabbdbd.gif ,这个符号是1948年Merserve最先开始使用的[2],其定义为

6093a0776ac4d_html_9efe6a18d23993ab.gif6093a0776ac4d_html_359eb1a49fa322ff.gif

在著名的Wallis公式里,有



6093a0776ac4d_html_93508bf87c2e110b.gif

6093a0776ac4d_html_6bacb05cf618ff2c.gif6093a0776ac4d_html_e6c688aecdabbdbd.gif 关系主要有

6093a0776ac4d_html_ff28594f25c41a3f.gif6093a0776ac4d_html_56284fc86bafede9.gif

等,当然在6093a0776ac4d_html_6bacb05cf618ff2c.gif6093a0776ac4d_html_e6c688aecdabbdbd.gif 的运算中,6093a0776ac4d_html_1138e8ab0d41bc97.gif 也可以不限于非负整数,甚至可以推广到复数,本文在此不再多述。

  1. 应用

例1 证明6093a0776ac4d_html_d55682c0cd1cbd42.gif ,其中6093a0776ac4d_html_7c8390170e815df7.gif 为非负整数。

证明 对6093a0776ac4d_html_7c8390170e815df7.gif 使用数学归纳法即可证明,详细证明略。

例2 判断级数6093a0776ac4d_html_5f893f293dc66b79.gif 的敛散性。

解 令6093a0776ac4d_html_b1e286c99f908ec5.gif ,则6093a0776ac4d_html_1da1fbd6affb9a44.gif ,由于

6093a0776ac4d_html_7d4bc5878f52177f.gif

6093a0776ac4d_html_af7b4227eb664498.gif

所以由拉贝判别法的极限形式知,当6093a0776ac4d_html_7a94db5f16ec6a70.gif ,即6093a0776ac4d_html_b03ca2a333112bb6.gif 时原级数收敛,6093a0776ac4d_html_c7735fdd63d45a7b.gif 时级数发散。当6093a0776ac4d_html_eaa9c8f42824cc67.gif 时,直接使用拉贝判别法也可证明原级数发散[3]

例3 判断级数6093a0776ac4d_html_85a4b4803523016b.gif 的敛散性。[4]

解 令6093a0776ac4d_html_275eb1aa2a9023b2.gif ,当6093a0776ac4d_html_f41ea8f1b650921c.gif 时,显然6093a0776ac4d_html_d89b796971fdabbc.gif ,由于6093a0776ac4d_html_14292143ecb2692f.gif ,故6093a0776ac4d_html_571ccf4997136a3.gif 发散。

6093a0776ac4d_html_9828863961571c64.gif 时,记6093a0776ac4d_html_ab718bb57cbb94fb.gif ,其中6093a0776ac4d_html_39dbbe61c2d682ee.gif

6093a0776ac4d_html_2d616e8bdd2448a8.gif 易知

6093a0776ac4d_html_17a1a96c25bc1749.gif

又由例1的结论知

6093a0776ac4d_html_607763e513d0d054.gif

故由莱布尼茨判别法知原级数收敛。此时,由例2的结论知6093a0776ac4d_html_800ee902261dd80.gif 发散,于是,原级数当6093a0776ac4d_html_9828863961571c64.gif 时是条件收敛的。当6093a0776ac4d_html_3d434f91d1960f2f.gif 时,由例2的结论知,原级数绝对收敛。

例4 求函数项级数6093a0776ac4d_html_b954e08dac4f8ecd.gif 的收敛域。[5]

解 令6093a0776ac4d_html_6563d979a33625b4.gif

由于6093a0776ac4d_html_16fc4850825ce9ee.gif ,故收敛半径6093a0776ac4d_html_4d826970d650555f.gif ,收敛区间为6093a0776ac4d_html_23ca8dbf7520c0db.gif

6093a0776ac4d_html_115b63e83b55bf48.gif 时,级数为6093a0776ac4d_html_b7802010b0af227d.gif ,由于

6093a0776ac4d_html_440f552e278aaaa4.gif

故由高斯判别法知,当6093a0776ac4d_html_6ed8d88b9ed9f9f8.gif (即6093a0776ac4d_html_5002920dbd2d2fda.gif )时,级数6093a0776ac4d_html_3a2f8c20cfb74795.gif 收敛,同时也是绝对收敛;当6093a0776ac4d_html_ebf6b54bdb3c447b.gif 时,级数6093a0776ac4d_html_3a2f8c20cfb74795.gif 发散。

6093a0776ac4d_html_8c5eb27779105471.gif 时,级数为6093a0776ac4d_html_62f20ca247c64032.gif(2)

与例3的结论类似,当6093a0776ac4d_html_5002920dbd2d2fda.gif 时,级数为绝对收敛;6093a0776ac4d_html_9828863961571c64.gif 时,由(1)式,有

6093a0776ac4d_html_351e2b5ccdad02f0.gif

6093a0776ac4d_html_b6624f214cc78011.gif

6093a0776ac4d_html_14408f6ec191f971.gif

由莱布尼茨判别法知,级数(2)收敛,但由于其绝对值组成的级数发散,因此当6093a0776ac4d_html_9828863961571c64.gif 时,级数(2)条件收敛,当6093a0776ac4d_html_626c06bd988238f1.gif ,通项为6093a0776ac4d_html_e6bc9b84c95e424b.gif ,故级数为发散,6093a0776ac4d_html_209e46d4ef78b7bd.gif 时,通项趋于无穷,因而级数也发散。

综上,原级数的收敛域当6093a0776ac4d_html_63ac17afec9318d7.gif 时为6093a0776ac4d_html_d87a1260bcb5c953.gif ,当6093a0776ac4d_html_52066dbf583c2384.gif 时为6093a0776ac4d_html_cda138965d063d51.gif ,当6093a0776ac4d_html_670d7946574c36a4.gif 时为6093a0776ac4d_html_dcbfe625a49e5909.gif

例5求函数项级数6093a0776ac4d_html_3f036b338f17b1f8.gif 的收敛半径和收敛区间。[6]

解 令6093a0776ac4d_html_7819aff1802a55c.gif ,由6093a0776ac4d_html_6b33dda7a505bc0a.gif 知,级数的收敛半径6093a0776ac4d_html_40c59303c80c32cd.gif ,所以级数的收敛区间为6093a0776ac4d_html_5a753a42802ca7f4.gif

6093a0776ac4d_html_d80dca5137777bd6.gif 时,级数为6093a0776ac4d_html_361457d149a8e153.gif ,由(1)式得

6093a0776ac4d_html_cc4513319739550f.gif6093a0776ac4d_html_c850df0702232be7.gif

6093a0776ac4d_html_7da556a423008d1a.gif ,所以级数发散。

6093a0776ac4d_html_249ed3b847171f08.gif 时,级数为6093a0776ac4d_html_d263d0a61ab46810.gif ,由于6093a0776ac4d_html_16b36e56276528e6.gif ,由拉贝判别法知,6093a0776ac4d_html_1ed4c078bcebd836.gif 发散。故原级数收敛域为6093a0776ac4d_html_47f3bf50653e8d44.gif



参考文献:

[1]Higgins, Peter. Number Story: From Counting to Cryptography[M]. New York: Copernicus, 2008:12.

[2]Meserve, B. E. Classroom Notes: Double Factorials[J]. The American Mathematical Monthly. 1948:55 (7): 425–426.

[3]华东师范大学数学系.数学分析(第四版下册)[M].北京:高等教育出版社,2010:16.

[4]费定晖,周学圣.数学分析习题集题解(4)[M].济南:山东科学技术出版社2001.100.

[5]费定晖,周学圣.数学分析习题集题解(4) [M].济南:山东科学技术出版社2001.246-248.

[6]华东师范大学数学系.数学分析(第四版下册)[M].北京:高等教育出版社,2010:54.





Research and Application

of the Factorial and Double Factorial in Series

Zhang Guo li

(College of Mathematics Science, Luoyang Normal University, Luoyang,471934,China)

Abstract: This paper briefly summarizes the history of factorial and double factorial and related important equations, and studies some applications in series by examples.

Key Words: factorial; double factorial; series; Stirling's approximation



—————————————

作者简介:张国利(1978-),男,焦作温县人,讲师,硕士,主要从事函数论、微分方程等方面的研究.