1. ## Extending Factorials

I have fond memories from long ago of Abramowitz and Stegun's fat book "Handbook of Mathematical Functions". It is online at Abramowitz and Stegun: Handbook of Mathematical Functions

One of the chapters is "Gamma Function and Related Functions", about an extension of the factorial function. To understand that extension, consider an integral representation of it:

It is easy to find 0! from it, and also to find the factorial recurrence relation, n! = n*(n-1)! from it. One does integration by parts:

Can we extend this integral representation to non-integer n? We can indeed do so, and that is the Euler gamma function:

One can express the exponential function as the limit of a polynomial function:

This is Euler's formula, and it yields Euler's infinite product:

where γ is the Euler-Mascheroni constant:  Reply With Quote

2. The derivative of the logarithm of the Euler gamma function is the psi or digamma function:

From Euler's formula,

Taking another derivative gives the trigamma function,

Or more generally, the polygamma function,

This gives us an integral form:

Integrating it gives us

and

The last one is easy to verify for z = 1 and z = 2. One can also verify the recurrence relation  Reply With Quote

3. One can find a reflection formula:

Also Gauss's multiplication formula:

One can get an interesting result with n = 2 and z = 1/2 in the multiplication formula, and z = 1/2 in the reflection formula:  Reply With Quote

4. The recurrence:

and

The reflection formula uses this infinite product for the sine:

There is a similar formula for the cosine:  Reply With Quote

5. The Gamma function is one of the functions connecting discrete and continuous mathematics.

Euler's Formula (from A & S) is a nice, fully written out version. Loren had it, but I didn't see it at first when I glanced over his formulas. I think this version looks nicer: 1) Weird. I couldn't post in this thread earlier. Maybe I timed out when reading some other site. Reopened the thread, and it seems to work...

2) Now it says "the message you have entered is too short". ETA: fixed. While the editor allows you to copy and paste an image, whenever you do that (instead of using the image button), it gives you the "message is less than 2 characters" popup.

3) I think all of it was me copying and pasting an image. Both errors. One time I had written out a decent sized post.. and lost the whole thing when I clicked "go advanced". It showed a blank edit window. Copied stuff into it, and it sort of worked, tried to back out and go forward in the browser, and lost everything. mehh. That used to fix it here. Maybe new version of firefox, or ES7? I dunno.  Reply With Quote

6. Here is Euler's formula, for deriving the reflection formula:  Reply With Quote

7. Now the multiplication formula.

In summary,

That gives us

and

Here, C0(n) and C1(n) are constants of integration, and we must find those constants.  Reply With Quote

8. where ε has limit 0.

Multiply t by n in the second integral on the right:

The second integral evaluates to n*log(n), and we find

This gives us C0(n).  Reply With Quote

9. with the integral including the multiplied gamma function:

One can expand the integral as a series in z, and powers of z greater than 1 will vanish, because the integrand has no divergences in it in that case. It is the presence of those divergences that makes nonzero coefficients of 1 and z. The part with z is

Simplifying the integral gives us

It's necessary to reshuffle the integral so we can do some cancellation on it:

The first term in parens can be turned into the integral

The second and third terms in parens are well-behaved for small t, and the second one can be shifted by taking t -> n*t. This gives us

The remaining integral is equal to -(1/2)*log(2*pi)

I don't know why the sign on (1/2)*log(n) is - instead of + as it's supposed to be -- any typo anywhere?  Reply With Quote

#### Posting Permissions

• You may not post new threads
• You may not post replies
• You may not post attachments
• You may not edit your posts
•