Skip to content

8.2.5 由级数展开式进行积分、特殊非初等函数 ​

即使被积函数为初等函数, 其积分也不一定总能由初等函数来表示, 在很多情况下可以用级数展开式来表示这些非初等积分. 若被积函数可以展成区间 [a,b] 上一致收敛的级数,则通过逐项积分也可得到积分 ∫axf(t)dt 的一致收敛级数.

1. 正弦积分 (|x|<∞,也可参见第 987 页 14.4.3.2,2.) ​

Si(x)=∫0xsin⁡ttdt=π2−∫x∞sin⁡ttdt(8.95)=x−x33⋅3!+x55⋅5!−+⋯+(−1)nx2n+1(2n+1)⋅(2n+1)!+⋯.

2. 余弦积分 (0<x<∞) ​

Ci(x)=−∫x∞cos⁡ttdt=C+ln⁡x−∫0x1−cos⁡ttdt(8.96a)=C+ln⁡x−x22⋅2!+x44⋅4!−+⋯+(−1)nx2n2n⋅(2n)!+⋯,

其中

(8.96b)C=−∫0∞e−tln⁡tdt=0.577215665⋯.(欧拉常数)

3. 对数积分 (0<x<1 ,当 1<x<∞ 时为柯西主值) ​

(8.97)Li(x)=∫0xdtln⁡t=C+ln⁡|ln⁡x|+ln⁡x+(ln⁡x)22⋅2!+⋯+(ln⁡x)nn⋅n!+⋯.

4. 指数积分 (−∞<x<0 ,当 0<x<∞ 时为柯西主值) ​

(8.98a)Ei(x)=∫−∞xettdt=C+ln⁡|x|+x+x22⋅2!+⋯+xnn⋅n!+⋯.(8.98b)Ei(ln⁡x)=Li(x).

5. 高斯误差积分与误差函数 ​

当 |x|<∞ 时可定义高斯误差积分,记为 ϕ . 其具体定义和关系如下:

(8.99a)Φ(x)=12π∫−∞xe−t22dt,(8.99b)limx→∞⁡Φ(x)=1,(8.99c)Φ0(x)=12π∫0xe−t22dt=Φ(x)−12.

函数 ϕ(x) 是标准正态分布的分布函数 (参见第 1070 页 16.2.4.2),其值可通过查 1458 页的表 21.17 得到.

统计学中常常要用到误差函数 erf(x) (也可参见第 1070 页 16.2.4.2),此类函数与高斯误差积分存在密切关系:

(8.100a)erf(x)=2π∫0xe−t2dt=2Φ0(x2),(8.100b)limx→∞⁡erf(x)=1erf(x)=2π(x−x31!⋅3+x52!⋅5−+⋯+(−1)nx2n+1n!⋅(2n+1)+⋯),(8.100d)∫0xerf(t)dt=xerf(x)+1π(e−x2−1),(8.100e)derf(x)dx=2πe−x2.

6. 伽马函数与阶乘 ​

019363bd-b412-750b-94b0-31567f71bd42_41_613_971_417_422_0.jpg

(1) 定义 伽马函数又称第二类欧拉积分 (8.91), 是除了 0 和负整数之外包含复数在内的任意数 x 的阶乘的推广. 函数 Γ(x) 的曲线如图 8.23 所示,1426 页的表 21.10 给出了其取值. 伽马函数可由下面两种方式来定义:

(8.101a)Γ(x)=∫0∞e−ttx−1dt(x>0) 或 (8.101b)Γ(x)=limn→∞⁡nx⋅n!x(x+1)(x+2)⋯(x+n)(x≠0,−1,−2,⋯).

(2)伽马函数的性质

(8.102a)Γ(x+1)=xΓ(x),(8.102b)Γ(n+1)=n!(n=0,1,2,⋯),(8.102c)Γ(x)Γ(1−x)=πsin⁡πx(x≠0,±1,±2,⋯),(8.102d)Γ(12)=2∫0∞e−t2dt=π,(8.102e)Γ(n+12)=(2n)!πn!22n(n=0,1,2,⋯),(8.102f)Γ(−n+12)=(−1)nn!22nπ(2n)!(n=0,1,2,⋯).

当自变量为复数 z 时,只要实部 Re(z)>0 ,公式 (8.102a) 和 (8.102c) 也成立.

(3) 阶乘概念的推广 当前阶乘的概念仅限于正整数 n (参见第 15 页 1.1.6.4,3.), 现将它推广到任意实数, 可得函数

(8.103a)x!=Γ(x+1).

于是有下面等式成立:

当 x 为正整数时: x!=1⋅2⋅3⋯x ,(8.103b)

若 x=0:0!=Γ(1)=1 ,(8.103c)

当 x 为负整数时: x!=±∞ ,(8.103d)

若 x=12:(12)!=Γ(32)=π2 ,(8.103e)

若 x=−12:(−12)!=Γ(12)=π ,(8.103f)

若 x=−32:(−32)!=Γ(−12)=−2π .(8.103g)

当数 n 大于 10 及 n 为分数时,都可以用斯特林 (Stirling) 公式来近似确定它的阶乘:

(8.103h)n!≈(ne)n2πn(1+112n+1288n2+⋯),(8.103i)ln⁡(n!)≈(n+12)ln⁡n−n+ln⁡2π.

7. 椭圆积分 ​

对完全椭圆积分 (参见第 654 页 8.1.4.3, 2.), 可采用下面的级数展开式

K=∫0π2dϑ1−k2sin2ϑ(8.104)=π2[1+(12)2k2+(1⋅32⋅4)2k4+(1⋅3⋅52⋅4⋅6)2k6+⋯],k2<1,E=∫0π21−k2sin2ϑdϑ(8.105)=π2[1−(12)2k21−(1⋅32⋅4)2k43−(1⋅3⋅52⋅4⋅6)2k65−⋯],k2<1.

1424 页表 21.9 给出了椭圆积分的数值.

version 1.24.0