13.7 Gamma Function
Definition 13.6.3 A trigonometric series is a series of the form
oof(x) = Y,
c"
einx>
xeR-
— oo
If f is an integrable function on [—IT, IT], the numbers cm are called the Fourier
coefficients of f, and the series formed with these coefficients is called the
Fourier series of f.13.7 Gamma FunctionDefinition 13.7.1 For 0 < x < oo,
/»oo
r(x)= / tx-le-ldt.
Jo
is known as the gamma function.Proposition 13.7.2 Let F(x) be defined above.
(a) r(x + 1) = xr{x), 0 < x < oo.
(b) r(n + 1) = n\, n <= N. T(l) = 1.
(c) log-T is convex on (0,oo).Proposition 13.7.3 If f is a positive function on (0, oo) such that
(a) f(x+l) = xf(x),
(b) /(I) = 1,
(c) log/ is convex.
then f{x) = r{x).Proposition 13.7.4 If x,y G R+,[\^{i-t)y^dt =
r
}fr
^.Jo r(x + y)This integral is so-called beta function (3(x,y).Remark 13.7.5 Let t = sin9, then
2 f~
2(sing)
2-
1(cosefy^de =
r};f
)r{y}.
Jo ' r(x + y)The special case x = y = | gives