主题
Search

级数


级数是由加法运算符组合在一起的项的无限有序集合。“无穷级数”一词有时用于强调级数包含无限数量的项。级数中项的顺序可能很重要,因为 Riemann 级数定理 指出,通过对项进行适当的重排,所谓的 条件收敛 级数可以收敛到任何期望的值,或者发散。

可以使用 Wolfram 语言 确定级数收敛的条件,使用SumConvergence[a, n].

如果级数的连续项之间的差是常数,则该级数被称为 等差级数。如果级数中每两个连续项的比率 a_(k+1)/a_k 是求和索引 k 的常数函数,则该级数称为 等比级数。比率是 有理函数 k 的更一般情况产生称为 超几何级数 的级数。

级数可能收敛到确定的值,也可能不收敛,在这种情况下,它被称为发散级数。令级数中的项表示为 a_i,令第 k部分和 由下式给出

 S_k=sum_(i=1)^ka_i,
(1)

并令部分和序列由 {S_1=a_1,S_2=a_1+a_2,S_3=a_1+a_2+a_3,...} 给出。如果部分和序列收敛到确定的值,则称该级数收敛。另一方面,如果部分和序列不收敛到 极限 (例如,它振荡或趋近于 +/-infty),则称该级数发散。收敛级数的一个例子是 等比级数

 sum_(n=0)^infty(1/2)^n=2,
(2)

发散级数的一个例子是 调和级数

 sum_(n=1)^infty1/n=infty.
(3)

有趣的是,虽然 调和级数 发散到无穷大,但 交错调和级数 收敛到 自然对数 2

 sum_(k=1)^infty((-1)^(k-1))/k=ln2.
(4)

另一个著名的收敛无穷级数是 Brun 常数

许多称为 收敛性检验 的方法可用于确定给定级数是否收敛。虽然级数的项可以有任意符号,但通常可以在所有项都是 的“最坏情况”下计算收敛性质,然后应用于手头的特定级数。如果由 a_n 的绝对值形成的级数

 sum_(n)|a_n|,
(5)

收敛,则称项 a_n 的级数是 绝对收敛 的。

一种特别强的收敛类型称为 一致收敛,一致收敛的级数具有特别“良好”的性质。例如,一致收敛 的连续函数级数的和是连续的。收敛级数 可以逐项 求导,前提是级数的函数具有连续导数,并且 导数 的级数是 一致收敛 的。最后,一致收敛 的连续函数级数可以逐项 积分

有关各种级数运算的 系数 表格,请参见 Abramowitz 和 Stegun (1972, p. 15)。

虽然计算任意收敛无穷级数的解析表达式可能很困难,但许多算法可以处理各种常见的级数类型。Wolfram 语言 计算系统实现了许多这些算法。也存在用于计算任何但最 病态 级数的数值的一般技术 (Braden 1992)。

一个特定的无穷级数恒等式由下式给出

sum_(k=1, 3, 5,...)^(infty)(e^(-kx)sin(ky))/k=1/2i[coth^(-1)(e^(x+iy))-coth^(-1)(e^(x-iy))]
(6)
=1/2tan^(-1)((siny)/(sinhx))
(7)

对于 x>0

Apostol (1997, p. 25) 给出了解析和

 sum_(n=1,3,5,...)^infty(n^(4k+1))/(1+e^(npi))=(2^(4k+1)-1)/(8k+4)B_(4k+2),
(8)

其中 B_k伯努利数

Ramanujan 发现了有趣的级数恒等式

 sum_(n=0)^infty(-1)^n((3n)!)/([n!(3n)!]^3)x^(2n) 
 =[sum_(n=0)^infty(x^n)/((n!)^3)][sum_(n=0)^infty(-1)^n(x^n)/((n!)^3)]
(9)

(Preece 1928; Hardy 1999, p. 7),可以写成超几何恒等式

 _2F_7(1/3,2/3;1/2,1/2,1/2,1,1,1,1;-(27)/(64)x^2) 
 =_0F_2(;1,1;x)_0F_2(;1,1;-x).
(10)

以下类型的无穷级数(幂和)也可以解析计算,

(sum_(k=0)^(infty)x^k)^p=(1-x)^(-p)
(11)
=1/((p-1)!)sum_(n=0)^(infty)((n+p-1)!)/(n!)x^n
(12)
=1/((p-1)!)sum_(n=0)^(infty)(n+1)_(p-1)x^n,
(13)

其中 (n)_pPochhammer 符号

Gosper 指出和

sum_(n=1)^(infty)1/(n^2)cos(9/(npi+sqrt(n^2pi^2-9)))=sum_(n=1)^(infty)((-1)^ncos(sqrt(n^2pi^2-9)))/(n^2)
(14)
=-(pi^2)/(12e^3)
(15)
=-0.040948222...
(16)

(OEIS A100074)。

以下形式的无穷级数可以以闭合形式完成。

 sum_(k=1)^infty1/([1+k^2pi^2]^n)=(P_n(e^2))/(2^n(n-1)!(e^2-1)^n),
(17)

其中 P_n(e^2)n 阶多项式 e^2。前几个多项式是

P_1=2
(18)
P_2=-e^4+8e^2-3
(19)
P_3=-5e^6+41e^4-31e^2+11
(20)
P_4=-33e^8+286e^6-344e^4+250e^2-63
(21)

(OEIS A085470)。

相关的无穷级数

 sum_(k=1)^infty1/([1+(k+1/2)^2pi^2]^n)=(Q_n(e))/(2^(n+1)n!(e^2+1)^n)-(4^n)/((4+pi^2)^n)
(22)

也可以以闭合形式完成,其中 Q_n(e^2)n 阶多项式 e^2。前几个多项式是

Q_1=e^2-1
(23)
Q_2=e^4-4e^2-1
(24)
Q_3=3e^6-17e^4-7e^2-3
(25)
Q_4=15e^8-94e^6-56e^4-58e^2-15
(26)
Q_5=105e^(10)-657e^8-578e^6-982e^4-503-105
(27)

(OEIS A085471)。


另请参见

绝对收敛, 交错级数, 等差级数, 渐近级数, 收敛加速, 收敛性检验, 收敛级数, 发散级数, 二重级数, Euler-Maclaurin 积分公式, FoxTrot 级数, 生成函数, 等比级数, 调和级数, 超渐近级数, 无穷乘积, Laurent 级数, Maclaurin 级数, 部分和, 幂和, q-级数, Riemann 级数定理, 序列, 级数偏差, 级数展开, 级数反演, 超超渐近级数, Taylor 级数 在 MathWorld 课堂中探索这个主题

使用 Wolfram|Alpha 探索

参考文献

Abramowitz, M. and Stegun, I. A. (Eds.). "Infinite Series." §3.6 in Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, p. 14, 1972.Apostol, T. M. Modular Functions and Dirichlet Series in Number Theory, 2nd ed. New York: Springer-Verlag, p. 25, 1997.Arfken, G. "Infinite Series." Ch. 5 in Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 277-351, 1985.Boas, R. P. Jr. "Partial Sums of Infinite Series, and How They Grow." Amer. Math. Monthly 84, 237-258, 1977.Boas, R. P. Jr. "Estimating Remainders." Math. Mag. 51, 83-89, 1978.Borwein, J. M. and Borwein, P. B. "Strange Series and High Precision Fraud." Amer. Math. Monthly 99, 622-640, 1992.Braden, B. "Calculating Sums of Infinite Series." Amer. Math. Monthly 99, 649-655, 1992.Bromwich, T. J. I'A. and MacRobert, T. M. An Introduction to the Theory of Infinite Series, 3rd ed. New York: Chelsea, 1991.Gardner, M. "Limits of Infinite Series." Ch. 17 in The Sixth Book of Mathematical Games from Scientific American. Chicago, IL: University of Chicago Press, pp. 163-172, 1984.Hansen, E. R. A Table of Series and Products. Englewood Cliffs, NJ: Prentice-Hall, 1975.Hardy, G. H. A Course of Pure Mathematics, 10th ed. London: Cambridge University Press, 1952.Hardy, G. H. Divergent Series. Oxford, England: Clarendon Press, 1949.Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, 1999.Jeffreys, H. and Jeffreys, B. S. "Series." §1.05 in Methods of Mathematical Physics, 3rd ed. Cambridge, England: Cambridge University Press, pp. 14-17, 1988.Jolley, L. B. W. Summation of Series, 2nd rev. ed. New York: Dover, 1961.Knopp, K. Theory and Application of Infinite Series. New York: Dover, 1990.Mangulis, V. Handbook of Series for Scientists and Engineers. New York: Academic Press, 1965.Natanson, I. P. Summation of Infinitely Small Quantities. Boston, MA: Heath, 1963.Preece, C. T. "Theorems Stated by Ramanujan (III): Theorems on Transformation of Series and Integrals." J. London Math. Soc. 3, 274-282, 1928.Press, W. H.; Flannery, B. P.; Teukolsky, S. A.; and Vetterling, W. T. "Series and Their Convergence." §5.1 in Numerical Recipes in FORTRAN: The Art of Scientific Computing, 2nd ed. Cambridge, England: Cambridge University Press, pp. 159-163, 1992.Rainville, E. D. Infinite Series. New York: Macmillan, 1967.Sloane, N. J. A. Sequences A85470, A85471, and A100074 in "The On-Line Encyclopedia of Integer Sequences."Weisstein, E. W. "Books about Series." http://www.ericweisstein.com/encyclopedias/books/Series.html.

在 Wolfram|Alpha 中被引用

级数

引用为

Weisstein, Eric W. "Series." 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/Series.html

主题分类