数理chppΓ函数的积分表达式

1、8 函数 函数的定义8.1 函数的表达式当Rez > 0 时, 定义(z) = Zettz1dt(1)0被积函数中 tz1 当 z 不是整数时为 t 的多值函数, 这时应该理解为arg t = 0(2)Theorem 8.1 函数的Proof 因为这是一个反常表达式 (1) 在右半平面 Rez > 0 代表 z 的一个函数., 既是瑕(在 t = 0 端), 又是无穷, 所以要拆成两部分来分别讨论.ZZZ1e1dt =ettzttz1dt +ettz1dt.(3)001先看第二部分. 显然当 t 1 时, 被积函数ettz1 是t的连续函数, 并且作为 z 的函数, 在全平面. 由

2、第4章可知, 要证明一个含参数的无穷因为代表一个函数，还需证明闭一致收敛.Xntte =,n!n=0所以正整数N ,tNN !tte >,N !e<. tNyx0 xO如图, 对于C 上任一闭圆, 均有Rez < x0. 当 t 1 时 tz1t Rez1x N 1e t= e t< N ! · t.0Ztx0 N 1dt 就收敛, 故这样, 只要选择足够大的N , 使得 N > x ,01Z1ettz1dt在C 上闭一致收敛, 因此在全平面要证明第一部分的在右半平面同样., 关键也是证明它的闭一致收敛性. ettz1 = ettx1,x = Rez.1

3、因此, 对于Rez > 0 上的任一闭圆, 因为有Rez = x > 0, 对于 0 < t 1 ettz1 t1,Z1而t1dt收敛, 由此即可推知0Z1e1dtttz0在Rez > 0 上闭一致收敛, 故在右半平面.把两部分合起来, 就证得函数的表达式(1) 在 z 的右半平面. 函数的延拓上面介绍的 函数的定义只适用于Rez > 0. 为了延拓到 z 的全平面, 我们仍把拆成两部分ZZZ1ttz1dt =ettz1dt +e1dtttze001R其中第二部分e tdt 对任意的 z 收敛t z1, 并且在 z 的全平面. 对于第一部分, 有1ZZX1n1(1

4、)ttztn+ze1dt =1dtn!00n=0Xn(1)1 =(Rez > 0)n!n + zn=0等式中, 左端表达式仅在 Rez> 0 时, 即在 z 的右半平面存在,. 而右端函数级数则在 z 6=0, 1, 2, . . . 的全平面收敛,(不证). 在公共部分Rez > 0 相等. 所以右端函数级数就是左端表达式在全平面上的延拓. 于是就完成了 函数的延拓, 重新定义的 函数为ZX(1)n1t z1(z) =e tdt +(4)n!n + z1n=0除去 z = 0, 1, 2, . . . 为其一阶极点外, 全平面. 函数的基本性质8.2性质1(1) = 1Pr

5、oof 直接在 函数的定义(1) 中代入 z = 1 即得(1) = Z etdt = 10性质2(z + 1) = z(z)2Proof Rez > 0 时, 由 函数的定义(1)(z + 1) = Z ettzdt = Z tzd(et)00Z= e t+etztz1dt = z(z) t z00推广到全平面(z = 0, 1, 2, . . . 除外). 因为(z + 1) 和 z(z) 都在除去 z = 0, 1, 2, . . . 点的整个复平面, 而在右半平面相等. 由函数的唯一性定理, (z +1) 和 z(z) 在全平面恒等, 即(z +1) = z(z)在全平面成立.推

6、论1(n + 1) = n!Proof 由性质1, 反复性质2即得.性质3: 互余宗量定理(z)(1 z) = sin z证明见后面B函数一节.推论2(1/2) = Proof 性质3中令 z = 1212 ( ) = 2表达式(1) 中, 被积函数恒为正, 所以(1/2) > 0. 于是(1/2) = .z = 1 时, 在2推论3 函数在全平面无零点.Proof 因 / sin z 6= 0, 故 (z)(1 z) 6= 0. 因此,(z0) = 0 (1 z0) = 即 1z0 为函数的极点. 这只能发生在 1z0 = n, n = 0, 1, 2, · · &

7、#183; 处. 但这时 z0 = n+1, 而(n+1) = n! 6= 0.性质4: 倍乘公式1(2z) = 22z11/2(z)(z + )(5)2证明见后.性质5: Stirling 公式当|z| , | arg z| < 时,z1/2 z (z) ze2(6)11ln (z) (z 2 ) ln z z + 2 ln 2(7)由此ln n! = ln (n + 1) n ln n n上面公式在统计物理学中经常用到.3 函数的渐近展开z 为实数 x 的情形,(x + 1) = Z ettxdt.0假设 x > 0, 分析一下的被积函数, 它在 t = 0 时为 0, 随着

8、t 的增大而增大, 当 t = x 时达到极大, 而后又单调下降. 先将被积函数写成ettx = et+x ln t.作变量代换, t xt, 得到Z(x + 1) = xx+1ex(tln t)dt.0由于指数函数的变化特点, 现在被积函数对的贡献主要来自 t = 1 附近的区间, 并且随着 x , 这个区间会是一个很窄的区间. 将函数 t ln t 在 t = 1 点作Taylor 展开:(t 1)2t ln t = 1 + · · · .2就得到 函数的近似表达式x+1 x Z(x + 1) xeex2 (t1)dt20xx+1ex Z (t1)x2edt2

9、r2xx+1 xx x=xe(1/2) = x e2x.而(x) = xx1/2ex2.(x + 1)x这个方法称为最陡下降法. 函数的无穷乘积表示利用 函数的递推性质可得(n + z) = z(z + 1) · · · (z + n 1)(z).改写成11=z(z + 1) · · · (z + n 1)(z)(n + z)n1 Yz (n) =z1 +.k(n + z)k=1由X 1< k2k=1可得无穷乘积( ) Yzzk1kf (z) = z1 +1 +k=14全平面收敛到一个函数. 令 n , 得1(z)(n)nz.=

10、 f (z) limn (n + z)利用Stirling 公式, 计算极限n1/2 nz(n)ne2n zlimn = limn= limn=1.(n + z)n+z1/2enz 2ezn (n + z)(1 + z/n)n+z1/2故得 函数的Euler 无穷乘积表示 Yz1zzn11n(z) =1 +1 +.(8)n=1由N 1 Y1zn1N z.(z) =lim1 +z N n=1改写N1YPN1N z = ez ln Nz(ln N1/n)z/n= ee.n=1n=1可得 函数的Weierstrass 无穷乘积表示h iY 1 zz/nz= ze1 +e,(9)(z)nn=1其中&q

11、uot;#NX1 = limn ln N(10)kn=1为 Euler 常数. 这个无穷乘积表示指明了 1/(z) 函数的零点, 也就是 (z) 的极点, 为 0, 1, 2, .1/(z)函数全平面, 所以(z) 函数无零点.从(z) 的无穷乘积表示可得到一系列有意义的结果. 例如 Y2z1 m2 ,sin z = z(z)(1 z)(11)m=1 Y4z2sin 2zcos z = 2 sin z1 (2m 1)2.(12)m=1性质4: 倍乘公式的证明 利用(z) 的无穷乘积表示 Y12z2z2z/n= 2ze1 +e(2z)nn=1由YYY(1 + a ) =(1 + a )(1 +

12、a)n2n2n1n=1n=1n=15得n oY 1 z2zz/n= 2ze1 +e(2z)nn=1 1 + e2z/(2n1) Y2z×2n 1n=11ez= 2(z) 1 + e2z/(2n+1) Y2z2z× (1 + 2z)e2n + 1n=1所以(z)(z + 1/2)(2z) 1 + e2z/(2n+1) Y2zz2z2e (1 + 2z)e2n + 1=n=1 Y1z + 1/2(z+1/2)(z+1/2)/nz +e1 +e2nn=12n e2z/(2n)2z/(2n+1)e1/(2n) Y/2 2z=4ee2n + 1n=1重新排列一下乘积次序(z)(z +

13、 1/2)(2z)()1 Y1212ne/2e1/(2n)e2z(11/2+1/3··· )=21 +n=1=2e2z ln 2(1/2) = 22z+1一般地, 可以证明下列乘积公式12n 1(z)(z +)(z +) · · · (z +)nnn= (2)(n1)/2n1/2nz (nz)(13) 函数8.3 函数 函数是 函数的对数的导数d ln (z)0(z)(z) =(14)dz(z)根据 函数的性质, 可以得到 (z) 的性质.1. z = 0, 1, 2, · · · 都是 (z) 的一阶极

14、点, 留数均为1; 除了这些点以外, (z) 在全平面6.2.1(z + 1) = (z) + ,(15)z111(z + n) = (z) + · · · +,zz + 1z + n 1n = 2, 3, · · · .(16)3.(1 z) = (z) + cot z(17)4.1(z) (z) = z cot z(18)5. 1(2z) =(z) + z + ln 2.11(19)2226.1111(z) ln z 2z 12z2 + 120z4 252z6 + · · · ,z , | arg z

15、| < (20)7.lim (z + n) ln n = 0.(21)n由性质2和性质7, 得 1 1 1lim(z) +· · · + ln n = 0zz + 1z + n 1n即 11 1(z) = limln n +· · · +(22)z + n 1zz + 1n例如, 令 z = 1, 可得 11n(1) = limln n 1 + · · · +2n 函数的特殊值(1) = 是数学中的一个基本常数, 称为 Euler 常数, = 0.577215664 · · &#

16、183;性质5中令 z = 1 , 得 21= (1) 2 ln 2 = 2 ln 22令 z = 1 , 由性质3 431= + 447又由性质5 11113=+ ln 222424所以 1= 2 3 ln 24 3= + 3 ln 242再令 z = 1 , 由性质3 3 21+ 3= 33又由乘积公式 (13), 可得 12= 2 3 ln 3+ 33于是 31= 23 2 ln 3= + 23 2 ln 33 323 函数的导数值由性质2, 对 z 求导可得 100 (z + 1) = (z) ,(23)z20(z + n) = 0(z) 111+ · · 

17、3; +,z2(z + 1)2(z + n 1)2n = 2, 3, · · · .(24)性质3对 z 求导, 然后令 z = 1 , 得2 2110=2 csc2=2222再由性质5求导, 并令 z = 1 , 得2 26110(1) =0=32 函数应用利用 函数, 可以方便地求出许多无穷级数的和.Example 8.1求无穷级数X 1(3n + 1)(3n + 2)(3n + 3)n=0之和.8Solution 因为11111=(3n + 1)(3n + 2)(3n + 3)6 n + 1/33 n + 2/311+6 n + 1于是XN 1(3n + 1

18、)(3n + 2)(3n + 3)n=0XNXNXN1 1 1 111 =+6n + 1/33n + 2/36n + 1n=0n=0n=0 111= N + 1 + 633 122 N + 1 + 3331+(N + 2) (1) 6每项都减去 ln NNX1(3n + 1)(3n + 2)(3n + 3)n=0 111= N + 1 + ln N 633 122 N + 1 + ln N 3331+(N + 2) ln N (1) 6令 N , 即得X 1(3n + 1)(3n + 2)(3n + 3)n=0 112= 2+ (1)633代入 函数的特殊值, 得 X11= (3n + 1)(

19、3n + 2)(3n + 3)43 ln 3n=0Example 8.2求无穷级数X 1(n + 1)2(2n + 1)2n=0之和.9Solution 因为144(n + 1)2(2n + 1)2 = n + 1 n + 1/211+(n + 1)2(n + 1/2)2于是NX 1(n + 1)2(2n + 1)2n=0NNXX 1 1=4 4n + 1n + 1/2n=0n=0XNXN 11+(n + 1)2(n + 1/2)2n=0n=0=4 (N + 2) (1) 4 (N + 3/2) (1/2)+ 0(1) 0(N + 2) + 0(1/2) 0(N + 3/2)同样, 减以 ln

20、 NNX 1(n + 1)2(2n + 1)2n=0=4 (N + 2) ln N (1) 4 (N + 3/2) ln N (1/2)+ 0(1) 0(N + 2) + 0(1/2) 0(N + 3/2)0(n + z) = 0令 N , 并注意到 limnX 1(n + 1)2(2n + 1)2n=0= 4 (1/2) (1) + 0(1) + 0(1/2)22= 8 ln 238.4B函数在 Rep > 0, Req > 0 时定义Z1B(p, q) =tp1(1 t)q1dt(25)0令 t = sin2 , 还可以得到B函数的另一个表达式Z/22p1sin cos2q 1

21、 dB(p, q) = 2(26)0B函数可以用 函数表示出来(p)(q)B(p, q) =(27)(p + q)10Proof Rep > 0, Req > 0 时, 使用 函数的定义(1). 对于(p), 令 t = x2, 得(p) = Z ettp1dt = 2 Z ex2 x2p1dx00对于(q), 令 t = y2, 得(q) = Z ettq1dt = 2 Z2ey y2p1dx00所以(p)(q) = 4 Z Z22e(x +y )x2p1y2q1dxdy00为 x, y 平面第一象限的面. (x, y) 用极坐标表示(x = r sin y = r cos 即得

22、(p)(q)Z Z/22e(r sin )2p 1(r cos )2q 1rdrdr= 400ZZ/22r r2(p+q)1drsincos2q 1 d2p1= 4e00= (p + q)B(p, q)所以(p)(q)B(p, q) =(p + q)利用这个关系式可把B函数延拓到 p 和 q 的全平面.从B 函数的定义, 可以立即看出对称性B(p, q) = B(q, p)现在根据B 函数和 函数的关系式(27) 证明 函数的互余宗量定理.Proof 令 p = z, q = 1 z(z)(1 z)B(z, 1 z) = (z)(1 z)定义式(1)当Rez > 0, Re(1 z) &

23、gt; 0, 即 1 > Rez > 0 时, 由B 函数的Z1z1z(z)(1 z) =t(1 t)dt0令 x = t , 则 (1 + x)(1 t) = 1, dxdt=1 + x1 t1 t ZZz1 t dt(z)(1 z) =1 t1 t0xz1dx1 + x0=sin z11所以在 0 < Rez < 1 时, 互余宗量定理成立. 但等式两端在全平面(z 6= 整数) 都, 由函数的唯一性定理, 互余宗量定理在全平面均成立. 函数倍乘公式的另一证明 考虑Z12 z1(1 x )dx,Rez > 01令 x2 = t, 得ZZ112 z1z1 1/2(1 x )dx =(1 t)tdt10 1(z)(1/2)= B z,=2(z + 1/2)若作变换 1 + x = 2t, 1 x = 2(1