Content-Length: 126395 | pFad | https://dlmf.nist.gov/././././././bib/.././././././5.2#E3
DLMF: §5.2 Definitions ‣ Properties ‣ Chapter 5 Gamma Function
§5.2 Definitions
Contents
§5.2(i) Gamma and Psi Functions
§5.2(ii) Euler’s Constant
§5.2(iii) Pochhammer’s Symbol
§5.2(i) Gamma and Psi Functions
Euler’s Integral
5.2.1
Γ ( z ) = ∫ 0 ∞ e − t t z − 1 d t ,
ℜ z > 0 .
When ℜ z ≤ 0 , Γ ( z ) is defined by analytic
continuation. It is a meromorphic function with no zeros, and with simple poles
of residue ( − 1 ) n / n ! at z = − n . 1 / Γ ( z ) is entire, with simple
zeros at z = − n .
5.2.2
ψ ( z ) = Γ ′ ( z ) / Γ ( z ) ,
z ≠ 0 , − 1 , − 2 , … .
ψ ( z ) is meromorphic with simple poles of residue − 1 at z = − n .
§5.2(ii) Euler’s Constant
5.2.3
γ = lim n → ∞ ( 1 + 1 2 + 1 3 + ⋯ + 1 n − ln n ) = 0.57721 56649 01532 86060 … .
§5.2(iii) Pochhammer’s Symbol
5.2.4
( a ) 0
= 1 ,
( a ) n
= a ( a + 1 ) ( a + 2 ) ⋯ ( a + n − 1 ) ,
5.2.5
( a ) n
= Γ ( a + n ) / Γ ( a ) ,
a ≠ 0 , − 1 , − 2 , … .
5.2.6
( − a ) n = ( − 1 ) n ( a − n + 1 ) n ,
5.2.7
( − m ) n = { ( − 1 ) n m ! ( m − n ) ! , 0 ≤ n ≤ m , 0 , n > m ,
5.2.8
( a ) 2 n
= 2 2 n ( a 2 ) n ( a + 1 2 ) n ,
( a ) 2 n + 1
= 2 2 n + 1 ( a 2 ) n + 1 ( a + 1 2 ) n .
Pochhammer symbols (rising factorials)
( x ) n = x ( x + 1 ) ⋯ ( x + n − 1 )
and falling factorials
( − 1 ) n ( − x ) n = x ( x − 1 ) ⋯ ( x − n + 1 ) can be expressed in terms of each other via
5.2.9
( x ) n
= ∑ k = 0 n L ( n , k ) x ( x − 1 ) ⋯ ( x − k + 1 ) ,
x ( x − 1 ) ⋯ ( x − n + 1 )
= ∑ k = 0 n ( − 1 ) n − k L ( n , k ) ( x ) k ,
in which L ( n , k ) = ( n − 1 k − 1 ) n ! k ! is the Lah number.