Skip to main content
12 of 17
added 119 characters in body
Tom Copeland
  • 2.6k
  • 22
  • 33

Looking for a difference that makes a difference.

Flipping the gamma function and looking at Newton interpolation provides another angle on the question:

Accepting the general binomial coefficient as a natural extension of the integral coefficient through the Taylor series, or binomial theorem, for $(1+x)^{s-1}$ and with the finite differences $\bigtriangledown^{s-1}_{n}c_n=\sum_{n=0}^{\infty}(-1)^n \binom{s-1}{n}c_n$, Newton interpolation gives $$\bigtriangledown^{s-1}_{n} \bigtriangledown^{n}_{j} \frac{x^j}{j!}=\frac{x^{s-1}}{(s-1)!}$$

for $Real(s)>0,$ so the values of the factorial at the nonnegative integers determine uniquely the generalized factorial, or gamma function, in the right-half of the complex plane through Newton interpolation.

Then with the sequence $a_j=1=\int_0^\infty e^{-x} \frac{x^{j}}{j!}dx$,

$\bigtriangledown^{s-1}_{n} \bigtriangledown^{n}_{j}a_j=\bigtriangledown^{s-1}_{n} \bigtriangledown^{n}_{j}1=1=\bigtriangledown^{s-1}_{n} \bigtriangledown^{n}_{j}\int_0^\infty e^{-x} \frac{x^{j}}{j!}dx=\int_0^\infty e^{-x} \frac{x^{s-1}}{(s-1)!}dx$.

This last integral allows the interpolation of the gamma function to be analytically continued to the left half-plane as in MSE-Q132727, so the factorial can be uniquely extended from it's values at the non-negative integers to the entire complex domain as a meromorphic function.

This generalizes in a natural way; the integral, a modified Mellin transform, can be regarded as a means to interpolate the coefficients of an exponential generating function (in this particular case, exp(x)) and extrapolate the interpolation to the whole complex plane. (See my examples in MO-Q79868 and MSE-Q32692 and try the same with the exponential generating function of the Bernoulli numbers to obtain an interpolation to the Riemann zeta function.)

From these perspectives--its dual roles as a natural interpolation of a sequence itself and in interpolating others and also as an iconic meromorphic function--the gamma function provides the "best" generalization of the factorial from the nonneg integers to the complex plane.

To more sharply connect pbrooks interest in fractional calculus and the gamma function with Quiaochu's in the beta integral, it's better to look at a natural sinc interpolation of the binomial coefficient:

Consider the fractional integro-derivative

$\displaystyle\frac{d^{\beta}}{dx^\beta}\frac{x^{\alpha}}{\alpha!}=FP\frac{1}{2\pi i}\displaystyle\oint_{|z-x|=|x|}\frac{z^{\alpha}}{\alpha!}\frac{\beta!}{(z-x)^{\beta+1}}dz=FP\displaystyle\int_{0}^{x}\frac{z^{\alpha}}{\alpha!}\frac{(x-z)^{-\beta-1}}{(-\beta-1)!} dz$

$=\displaystyle\frac{x^{\alpha-\beta}}{(\alpha-\beta)!}$

where FP denotes a Hadamard-type finite part, $x>0$, and $\alpha$ and $\beta$ are real.

For $\alpha>0$ and $\beta<0$, the finite part is not required for the beta integral, and it can be written as

$\displaystyle\int_{0}^{1}\frac{(1-z)^{\alpha}}{\alpha!}\frac{z^{-\beta-1}}{(-\beta-1)!} dz=\sum_{n=0}^{\infty } (-1)^n \binom{\alpha }{n}\frac{1}{n-\beta}\frac{1}{\alpha!}\frac{1}{(-\beta-1)!}$

$=\displaystyle\sum_{n=0}^{\infty }\frac{\beta!}{(\alpha-n)! n!}\frac{\sin (\pi (\beta -n))}{\pi (\beta -n)}=\frac{1}{(\alpha-\beta)!}, $ or

$$\displaystyle\sum_{n=0}^{\infty }\frac{1}{(\alpha-n)! n!}\frac{\sin (\pi (\beta -n))}{\pi (\beta -n)}=\frac{1}{(\alpha-\beta)!\beta!},$$

where use has been made of $\frac{\sin (\pi \beta)}{\pi \beta}=\frac{1}{\beta!(-\beta)!}$, and $\alpha$, of course, can be a positive integer. The final sinc fct. interpolation holds for $Real(\alpha)>-1$ and all complex $\beta$.

Tom Copeland
  • 2.6k
  • 22
  • 33