There are few creatures in mathematics as interesting yet, somehow, useful as the Gamma function,

An interesting result about this function is that for positive integers . But why is that so? Better yet, why is the gamma function defined so, how is it related to factorials, and what does its values at non-integers mean?

First, consider the integral

It is not a polynomial function, so we cannot use the power rule. However, if you remember your calculus well, you may recall integration by parts:

Write and . Then and . So

What happens if we have higher powers of ?

Substitute and . Then and .

Using integration by parts;

Interestingly, we get as part of the integration result of . If we fully integrate the result, we get:

What happens with the third power? Take a guess, you're probably right.

Take and . Then and .

Again, we have as part of the integration result of . Evaluating the integral fully gives:

Indeed, it always occurs that . But why is this a useful result?

Take a look at the coefficients of the last term, .

Those are factorials, with alternating signs (positive, negative).

Our goal is two-fold:

  • To get rid of the leading terms involving .
  • To get rid of the alternation in signs.

Removing the Leading Terms

The leading terms have one thing in common: they are all a product of and a power of . Thus, they all tend to zero at both (since ) and at . We need to retain the last term with just , which we can do by evaluating the integral over the interval .

Removing the Sign Alternation

To do this, we need to negate the result for odd . This is easily achieved by dividing the result by , giving the integral

But the integral now looks complicated. Can we simplify it?

Substitute , so that:

Note that as , , therefore , and when , , so .

Thus;

This is the exact form of the gamma function, evaluated at .

info

Why is the gamma function shifted by ?

The ideas behind the function started being developed by Bernoulli and Goldbach in the early 1700s, and Euler defined the eventual function in 1729 (Euler was Bernoulli's student).

However, the function, in its current form and name, was defined by Legendre in 1811. He most likely shifted the function by to make it easier to work with by giving it a pole1 at the origin instead of at .

The gamma function has various useful properties. For example, although it collapses to the factorial function at positive integers, it is well-defined for all complex numbers except zero and the non-negative integers. It is sometimes used as an analytic continuation of the factorial function to fractional and complex values. Over non-integers, the logarithmic terms are consequential in the value giving rise to the gamma extensions.

As an ode to its relevance, appears in multiple areas of mathematics, including:

  1. A pole of a function is a point in the domain of where the value of is undefined.