Chapter 6 Gamma Function and Related Functions
Chapter 6 Gamma Function and Related Functions
Contents
Page
Mathematical Properties. . . . .
6.1.
6.2.
6.3.
6.4.
6.5.
6.6.
Gamma Function. . . . . .
Beta Function . . . . . . .
Psi (Digamma) Function. . .
Polygamma Functions. . . .
Incomplete Gamma Function.
Incomplete Beta Function. .
Numerical Methods . . . . . . .
. . . . . . . . . . . . . .
255
.
.
.
.
.
.
.
.
. .
. .
. . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . . . .
. .
. .
. .
. .
. .
. .
.
.
.
.
.
.
. . .
. . .
. . .
. . .
. . . .
. . . . .
255
258
258
260
260
263
. . . . . .
263
.
.
.
.
.
.
.
.
.
263
264
. . . . . . . . . . . .
265
267
References.
. . . .
r(x),~n r(x),
. . . . . . .
+"(x),
$J3'(2),~=1(.01)2,
1OD
Table 6.3. Gamma and Digamma Functions for Integer and HalfInteger Values ( l l n 5 1 0 1 ) . . . . . . . . . . . . . . . . . .
r(n), 11s
l/r(n), 9s
r(n+$), 8s
27 1
272
+(n), IOD
n!/[(2?r)h"+3]~",8D
Inn-+@),
8D
n=1(1.)101
Table 6.4. Logarithms of the Gamma Function (1 I
loglo
r(n>, 8s
log10 r(n+#), 8 s
n 5 101). .
. . . .
274
log10 r(n+$), 8s
In r(n)-(n-$) lnn+n, 8D
log10 r(n+$), 8s
n= l(1) 101
253
254
Page
276
276
277
12D
+(z+iy),2=1(.1)2, y=0(.1)10,
. .
288
5D
%+U+iy),10D
B+(l+iy)-ln y, y l = . l l (-.Ol)O,
8D
The author acknowledges the assistance of Mary Orr in the preparation and checking of
the tables; and the assistance of Patricia Farrant in checking the formulas.
=.57721 56649. . .
Y is known as Euler's constant and is given to 25
decimal places in chapter 1. r(z) is single valued
and analytic over the entire complex plane, save
for the points z=-n(n=O, 1, 2, . . . ) where it
possesses simple poles with residue (- 1) "/n!. Its
reciprocal i/r(z) is an entire function possessing
simple zeros at the points z= -n(n=O, 1, 2, . . .).
-=-s
6.1.4
(-t)-'e-'dt
r(z) 2,
(k<l
n(z)=z!=r(z+i)
6.1.10
1.4-7.10. . . (3n-2)
6.1.11 r(n+#)=
3"
6.1.12
r(n+1)=1.2.3 . . . (n-l)n=n!
6.1.7
lim -=o=
1
z+,
r(-z)
(-n-l)!
r(n+$) =
1-3-5-7... (2n-1)
2"
2.5.8-11.. . (3n-1)
6.1.13 l"(n+#)=
3"
r (3)
r(3)
r(#)=i.3aii 79394. . .
(n=O, 1, 2, . . .)
Fractional Values
6.1.8
r (4)
r($)=2.67893 85347 . . .
Integer Values
6.1.6
Y=l/r(4
r(3/2)=$,*=.8~622692%. . . =(3)!
6.1.5
- - -,
6.1.9
=)
6.1.14
. .
255
256
6.1.15
6.1.29
r(i~)r(-iy)=ir(i~)iz=9r
y sinh 7ry
r(z+i)=Zr(Z)=Z!=Z(Z-i)!
6.1.16
r(n+~)=(n-il+z)(n-2+~) . . . (i+z)r(i+z)
= (n- 1+ z)!
6.1.31
. . (l+z)z!
=(n-l+z)(n-2+2).
Reflection Formula
6.1.17
r(z>r(i-z)=-zr(-z)r(z)=t
=J=,
a c 7rz
tz-1
-dt
l+t
(O<
9 2
<
1)
Power Series
6.1.33
In r (1+ z)= -In (1 +z) +z (1 -7)
+5( - ~ ) ~ ~ ~ ( ~ (14<2>
~ - ~ l ~ / ~
Duplication Formula
n-2
6.1.18
r(2~)=(2~):+
222-3
r(z)r(z++)
Triplication Formula
GaussMultiplication Formula
k
Binomial Coefficient
PochhammersSymbol
6.1.22
@lo= 1,
(2),=2(2+1)(2+2) . . . (z+n-l)=- r(z+n)
r (2)
6.1.23
6.1.24
r@)=r);
In r(Z)=In r(z)
arg r(z+l)=arg r(z)+arctan
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
ck
1.00000
0.57721
-0.65587
-0.04200
0. 16653
-0.04219
-0.00962
0.00721
-0.00116
-0.00021
0.00012
-0.00002
-0.00000
0.00000
-0.00000
0.00000
0.00000
-0.00000
0.00000
0.00000
-0.00000
0.00000
-0.00000
-0.00000
0.00000
0.00000
00000
56649
80715
26350
86113
77345
19715
89432
51675
52416
80502
01348
12504
11330
02056
00061
00050
00011
00001
00000
00000
00000
00000
00000
00000
00000
000000
015329
202538
340952
822915
555443
278770
466630
918591
741149
823882
547807
934821
272320
338417
160950
020075
812746
043427
077823
036968
005100
000206
000054
000014
000001
257
Polynomial Approximations'
6.1.35
6.1.42
01x51
E(Z)
55x10-6
57486 46
.95123 63
=-.69985 88
~l=-.
~ 4 =
Uz=
U6=-.
~ 3
If
R,(z)= In r (z)-(z-#
In z+z-+ In ( 2 ~ )
,42455 49
10106 78
-5
,,12rn(2rn--l)z
B2m
an--l
then
where
bl=-. 57719
bs= .98820
b3= -. 89705
bq=
,91820
1652
5891
6937
6857
75670
be= .48219
b7= -.
19352
bs= .03586
bs=-.
4078
9394
7818
8343
Stirling's Formula
K(z)=upperU l bound(z2/(u2+z3)
O
I
6.1.37
(y++
6.1.44
A n r(iy)=arg r(iy)=-arg
= - A n r(-iy)
r(-iy)
Asymptotic Formulas
6.1.39
r(-az+b) -l/Z;;e-(U(-az)(U+b--t
(la% 4<a,
-a>()>
6.1.M
In r(z)-(z-+)
+z
m
In z-z++
B2m
2rn(2m-1)2*-'
I n
(2~)
(z+m
in larg
z~<T)
6.1.46
6.1.47
6.1.41
In
r(z)-(z-&
1
In z-z++ In (%)+---1
122 360z3
m,
(2n)!
---
1 2n
r(n++)
22n(n!)2-~ (n)=rtr(n+i)
1
1
1
-&j [I-%+=*-
* * *
FIGURE
6.2. Psi function.
y = $(z) = d In r kc)/&
(n+ OJ 1
Some Definite Integrals
6.1.50
Integer Values
In r(z)=Jm[(z-l)
(92
> 0)
( 9 2
> 0)
e+- e;~;~~]-
ts-1
(14-1
dt--Jm&;*+.
6.3.3
dt
6.3.4
#(n++)=-r-21n2+2
6.2.2
) :+
1
2n 1
aw>o>
(n 2 1)
#(z)=d[ln r (z)]/~z=
r(~)/r
(z)
I+,+..(
Ck- (n22)
k=1
Fractional Values
n-1
#(l)=-~,
#(n)=-r+
6.2.1
B(z,w)=J
6.3.2
Recurrence Formulas
6.3.5
t(Z+
l) = +(Z)
+;
6.3.6
l
+...
+i&+,+,+9(1+4
259
6.3.19
Reflection Formula
+(l-z)=+(z)+* cot *z
6.3.7
Duplication Formula
=In y+-+-
+(22)=Mz)+++(z+&) +In 2
6.3.8
+GI=*(z>
6.3.9
Y+(iy)=&/-'+#,~
coth xy
6.3.12
63-13
1
j$(l+iy)=---+#
2Y
=y
~ ~ 0 rv
t h
n-1
Series Expansions
6.3.14
+(l+~)=-r+C(-l)"~(n)~~-'
(Iz1<1)
n-2
&
6.3.20
-n-1
5It(2n+ 1) -11ZSA
Zeros of $(z)
+ l . 462
-0.504
-1.573
-2.611
-3.635
-4.653
-5.667
-6.678
+O. 886
-3.545
+2.302
-0.888
+O. 245
-0.053
+o. 009
-0.001
6.3.15
+( 1 +2) =&-1-
9
6
g (n2+yS) -1
..
(Y+OJ)
Extremaoof r(z)
6.3.10
1
+-+.1
12oy4 2 m Y 6
(Iz I <2)
6.3.21
6.3.16
(~#-1,-2,-3,
...)
6.3.17
9+(l+iy)=l-r--
1
l+y2
= -r+ y2
c n-'(n*+yS)
(IYl<2)
OD
-1
a-1
(-
Y<
OJ
-1
Asymptotic Formulae
6.3.18
1
-In z-s-n-l
=In z----1
22
= Bz,
c-
2nz2"
1
1
1
1 2 9 + 1 2 0 2 4 - ~ 6+ . . .
(z+- in lergzl<*)
261
r(a)
%-a
o
e-Lto-1dt
From F. G. Tricomi, Siilla funzione gamma incompleta, Annali di Matematica, IV, 33, 1950 (with permission).
*See page n.
261
r(a)
%-a
o
e-Lto-1dt
From F. G. Tricomi, Siilla funzione gamma incompleta, Annali di Matematica, IV, 33, 1950 (with permission).
*See page n.
262
6.5.5
6.5.16
Probability Integral of the +Distribution
6.5.17
6.5.18
6.5.6
(Pearson's Form of the Incomplete Gamma Function)
6.5.19
6.5.20
Recurrence Formulas
6.5.7
(L@'a<l)
9e-"
P(a+l, z)=P(a, z)---r(a+l>
6.5.21
m
6.5.8
S(z,a)=$,
ta-l
sin t dt
(9'a<l)
6.5.9
nm
6.5.22
y (a+1,z)=uy(a,z)
6.5.23
V*(u-l,z)
e-'
=m*(u,z)+-r (a)
6.5.24
6.5.11
Incomplete Gamma Function aa a Confluent
Hypergeometric Function (eee chapter 13)
6.5.12
6.5.26
b"
y(u,z)=a-lzue-tM(l, l+a,z)
=u-'zU
(n=O, 1,2, . . .)
M(a, l+a,-z)
6.5.27
b"
Special Values
bX" [e"z"~*(a,x)]=e"z"-"y*(a-n, z)
6.5.13
(n=O, 1,2,. . .)
=1-e,,-
(2)e-2
r*(-n, z)=z"
I' (0, z)=le-'t-'dt=El
(5)
Series Developmente
6.5.29
263
Definite Integrals
6.5.36
*
Continued Fraction
6.5.31
6.6.1
Br(a,b)=J2
6.6.2
I r (a,b)
6.5.32
t~-'(l--t)b-'d2
= Br (ab)/B(a,b)
lun+,(a,z)l
I,(a,b)=l --I,-r(b,u)
6.6.3
Recurrencc Formulas
0 for a>1
6.6.5
Ir(U,b)=XIr(U-
6.6.6
(a+b-a)I,(a,b)
1,b) + (l-~)IZ(a,b- 1)
1 for Osa<1
6.5.35
6.6.7
(~+b)l,(a,b)=al,(a+ 1,b)+bI,(a,b+ 1)
Relation to Hypergeometric Function
(z+m in I nrg +
<)zlr
6.6.8
B,(a,b)=a-'~'c"F(a,l-b; a + l ; Z)
Numeric:a1 Methods
6.7. Use and Extension of the Tables
Example 1. Compute r(6.38) to 8s. Using
cc
6.1.16 niitl Table 6.1 wc
the r ~ w i r r ~ ~ i irchtioii
1 1 avc,
r (6.38)= [(5.38)(4.38)(3.38)(2.33)(1.38)]r (1.38)
= 232.43671.
Example 2. Compute In r(56.38), iisiiig Table
6.4 niid liiicnr iiitrrpolation iii
\\-e liavc
j...
11.
264
GAMMA FUNCTION AN
=1.77275 59.
RELATED FUNCTIONS
r(&++i)
=In r (#++i)
-In (*+&i)
--.23419+.03467i
-(& In *+iarctan 1)
= .11239- .75073i
-4
In 2r=- .91894
(#+7i)In 2= 1.73287+ 4.852036
In r(#+$i)=-3.31598+ 2.32553i
In r(2+4$=-2.66047+ 2.938693
In r(3+7i) =-5.16252+10.11625i
OD
n-1
u, in terms of the
265
Therefore
S=
+$'(li)
=.013499.
16~(1)-16$(1~)+$'(1)
Example 9. Find
Example 11.
1
(see also 6.3.13).
n-l (n2+1) (n*+4)
m
Evaluate 8
= c
Since
We have,
we have
a1=1,
a2=3,
i e=-,
-i6
Hence, al=-,6
Thus,
8=
-)$(2)
a1=i,
and therefore
Example 10.
m
-i
&=-12 ' a 4 = 3
s=- --z
[$(1
+i)-$(1 -ill
8=-
we have,
References
Texts
Tables
[6.1] E. Artin, Einfiihrung in die Theorie der Gammsfunktion (Leipzig, Germany, 1931).
I n
[6.10] Ballistic Research Laboratory, A table of the factorial numbers and their reciprocals from l ! through
lOOO! to 20 significant digits. Technical Note NO.
381, Aberdeen Proving Ground, Md., 1951.
[6.11] British Association for the Advancement of Science,
Mathematical tables, vol. 1, 3d ed., pp. 40-59
(Cambridge Univ. Press, Cambridge, England,
1951). The gamma and polygamma functions.
Also l + l ' l o g l D (t)!dt, z=O(.Ol)l, 10D.
[6.12] H. T. Davis, Tables of the higher mathematical
functions, 2 vols. (Principia Press, Bloomington,
Ind., 1933, 1935). Extensive, many place tables
of the gamma and polygamma functions up to
$(4)(z)and of their logarithms.
[6.13] F. J. Duarte, Nouvelles tables de log,, nl 8,33 d6cimales depuis n = l jusqu'h n=3000 (Kundig,
Geneva, Switzerland; Index Generalis, Paris,
France, 1927).
266
[6.18] E. S. Pearson, Table of the logarithms of the complete r-function, arguments 2 to 1200, Tracts for
Computers No. VI11 (Cambridge Univ. Press,
Cambridge, England, 1922). Loglo r(p), p=2(.1)
5(.2)70(1)1200, 10D.
[6.19] J. Peters, Ten-place
pendix, pp. 58-68
New York, N.Y.,
(n!)-, n=1(1)43,
18D.
(6.20) J. P. Stanley and M. V. Wilkes, Table of the reciprocal of the gamma function for complex argument (Univ. of Toronto Press, Toronto, Canada,
1950). Z= -.5( .01).5, y=O(.Ol)l, 6D.
I6.211 M. Zycakowski, Tablice funkcyi eulera i pokrewnych
(Panstwowe Wydawnictwo Naukowe, Warsaw,
Poland, 1954). Extensive tables of integrals
involving gamma and beta functions.