Search results
Results from the WOW.Com Content Network
In mathematics, the gamma function (represented by Γ, capital Greek letter gamma) is the most common extension of the factorial function to complex numbers.Derived by Daniel Bernoulli, the gamma function () is defined for all complex numbers except non-positive integers, and for every positive integer =, () = ()!.
The roots of the digamma function are the saddle points of the complex-valued gamma function. Thus they lie all on the real axis. The only one on the positive real axis is the unique minimum of the real-valued gamma function on R + at x 0 = 1.461 632 144 968 362 341 26.... All others occur single between the poles on the negative axis:
The falling factorial can be extended to real values of using the gamma function provided and + are real numbers that are not negative integers: = (+) (+) , and so can the rising factorial: = (+) . Calculus
One property of the gamma function, distinguishing it from other continuous interpolations of the factorials, is given by the Bohr–Mollerup theorem, which states that the gamma function (offset by one) is the only log-convex function on the positive real numbers that interpolates the factorials and obeys the same functional equation.
Díaz and Pariguan use these definitions to demonstrate a number of properties of the hypergeometric function. Although Díaz and Pariguan restrict these symbols to k > 0, the Pochhammer k-symbol as they define it is well-defined for all real k, and for negative k gives the falling factorial, while for k = 0 it reduces to the power x n.
The relationship between the two functions is like that between the gamma function and its generalization the incomplete gamma function. For positive integer a and b, the incomplete beta function will be a polynomial of degree a + b - 1 with rational coefficients.
Thus the -gamma function can be considered as an extension of the -factorial function to the real numbers. The relation to the ordinary gamma function is made explicit in the limit = (). There is a simple proof of this limit by Gosper.
The ordinary factorial, when extended to the gamma function, has a pole at each negative integer, preventing the factorial from being defined at these numbers. However, the double factorial of odd numbers may be extended to any negative odd integer argument by inverting its recurrence relation!! = ()!! to give !! = (+)!! +.