Skip to content

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

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

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

Si(x)=0xsinttdt=π2xsinttdt(8.95)=xx333!+x555!++(1)nx2n+1(2n+1)(2n+1)!+.

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

Ci(x)=xcosttdt=C+lnx0x1costtdt(8.96a)=C+lnxx222!+x444!++(1)nx2n2n(2n)!+,

其中

(8.96b)C=0etlntdt=0.577215665.(欧拉常数)

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

(8.97)Li(x)=0xdtlnt=C+ln|lnx|+lnx+(lnx)222!++(lnx)nnn!+.

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

(8.98a)Ei(x)=xettdt=C+ln|x|+x+x222!++xnnn!+.(8.98b)Ei(lnx)=Li(x).

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

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

(8.99a)Φ(x)=12πxet22dt,(8.99b)limxΦ(x)=1,(8.99c)Φ0(x)=12π0xet22dt=Φ(x)12.

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

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

(8.100a)erf(x)=2π0xet2dt=2Φ0(x2),(8.100b)limxerf(x)=1erf(x)=2π(xx31!3+x52!5++(1)nx2n+1n!(2n+1)+),(8.100d)0xerf(t)dt=xerf(x)+1π(ex21),(8.100e)derf(x)dx=2πex2.

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)=0ettx1dt(x>0) 或 (8.101b)Γ(x)=limnnxn!x(x+1)(x+2)(x+n)(x0,1,2,).

(2)伽马函数的性质

(8.102a)Γ(x+1)=xΓ(x),(8.102b)Γ(n+1)=n!(n=0,1,2,),(8.102c)Γ(x)Γ(1x)=πsinπx(x0,±1,±2,),(8.102d)Γ(12)=20et2dt=π,(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!=123x ,(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)lnnn+ln2π.

7. 椭圆积分

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

K=0π2dϑ1k2sin2ϑ(8.104)=π2[1+(12)2k2+(1324)2k4+(135246)2k6+],k2<1,E=0π21k2sin2ϑdϑ(8.105)=π2[1(12)2k21(1324)2k43(135246)2k65],k2<1.

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

version 1.24.0