27

5

I've asked this question in every math class where the teacher has introduced the Gamma function, and never gotten a satisfactory answer. Not only does it seem more natural to extend the factorial directly, but the integral definition $\Gamma(z) = \int_0^\infty t^{z-1} e^{-t}\,dt$, makes more sense as $\Pi(z) = \int_0^\infty t^{z} e^{-t}\,dt$. Indeed Wikipedia says that this function was introduced by Gauss, but doesn't explain why it was supplanted by the Gamma function. As that section of the Wikipedia article demonstrates, it also makes its functional equations simpler: we get $$\Pi(z) \; \Pi(-z) = \frac{\pi z}{\sin( \pi z)} = \frac{1}{\operatorname{sinc}(z)}$$ instead of $$\Gamma(1-z) \; \Gamma(z) = \frac{\pi}{\sin{(\pi z)}}\;;$$ the multiplication formula is simpler: we have $$\Pi\left(\frac{z}{m}\right) \, \Pi\left(\frac{z-1}{m}\right) \cdots \Pi\left(\frac{z-m+1}{m}\right) = \left(\frac{(2 \pi)^m}{2 \pi m}\right)^{1/2} \, m^{-z} \, \Pi(z)$$ instead of $$\Gamma\left(\frac{z}{m}\right) \, \Gamma\left(\frac{z-1}{m}\right) \cdots \Gamma\left(\frac{z-m+1}{m}\right) = (2 \pi)^{(m-1)/2} \; m^{1/2 - z} \; \Gamma(z);$$

the infinite product definitions reduce from $$\begin{align} \Gamma(z) &= \lim_{n \to \infty} \frac{n! \; n^z}{z \; (z+1)\cdots(z+n)} = \frac{1}{z} \prod_{n=1}^\infty \frac{\left(1+\frac{1}{n}\right)^z}{1+\frac{z}{n}} \\ \Gamma(z) &= \frac{e^{-\gamma z}}{z} \prod_{n=1}^\infty \left(1 + \frac{z}{n}\right)^{-1} e^{z/n} \\ \end{align}$$ to $$\begin{align} \Pi(z) &= \lim_{n \to \infty} \frac{n! \; n^z}{(z+1)\cdots(z+n)} = \prod_{n=1}^\infty \frac{\left(1+\frac{1}{n}\right)^z}{1+\frac{z}{n}} \\ \Pi(z) &= e^{-\gamma z} \prod_{n=1}^\infty \left(1 + \frac{z}{n}\right)^{-1} e^{z/n}; \\ \end{align}$$ and the Riemann zeta functional equation reduces from $$\zeta(s) = 2^s\pi^{s-1}\ \sin\left(\frac{\pi s}{2}\right)\ \Gamma(1-s)\ \zeta(1-s)$$ to $$\zeta(s) = 2^s\pi^{s-1}\ \sin\left(\frac{\pi s}{2}\right)\ \Pi(-s)\ \zeta(1-s).$$

I suspect that it's just a historical coincidence, in the same way $\pi$ is defined as circumference/diameter instead of the much more natural circumference/radius. Does anyone have an actual reason why it's better to use $\Gamma(z)$ instead of $\Pi(z)$?

flag
overlapping edits, it seems. Does anyone object if I put the formulas in equation mode rather than inline? Some of us are making do with small screens and failing eyesight – Yemon Choi Apr 10 at 22:33
wow . – Mariano Suárez-Alvarez Apr 10 at 22:34
24 
Note: the integral for the $\Gamma$ function is not so unreasonable, if you think of it as an integral of $t^z e^{-t}\frac{dt}{t}$, i.e. an integral transform over $\mathbb R^{\times}$ with respect to multiplicative Haar measure. – Emerton Apr 10 at 23:15
4 
I would argue that both functional equations you listed are really arguments in favor of $\Gamma$ over $\Pi$, especially since the symmetric form of the functional equation for $\zeta$ (using the $\xi$ function) is even more compact. Emerton's Haar measure argument is quite strong when viewed in the broader context of Tate's thesis, where you need to consider homogeneous measures at each place. Other points in favor of $\Gamma$ include the beta function definition, and the Mellin transform formula for $\zeta$ in terms of $\theta$. – Scott Carnahan Apr 11 at 3:25
2 
For what it's worth, I always felt that the answer to this question would be embedded somehow in Tate's thesis and the theory of motives and general gamma factors at infinity, but having tried to get on top of this stuff the only thing I convinced myself of was that there is no "one correct gamma function"---one uses $\Gamma(s/2)$ and $\Gamma((s+1)/2)$ and $\Gamma(s)$ and it's not clear to me why any of these are more fundamental than any other. – Kevin Buzzard Apr 11 at 8:25
show 4 more comments

4 Answers

30

From Riemann's Zeta Function, by H. M. Edwards, available as a Dover paperback, footnote on page 8: "Unfortunately, Legendre subsequently introduced the notation $\Gamma(s)$ for $\Pi(s-1).$Legendre's reasons for considering $(n-1)!$ instead of $n!$ are obscure (perhaps he felt it was more natural to have the first pole at $s=0$ rather than at $s = -1$) but, whatever the reason, this notation prevailed in France and, by the end of the nineteenth century, in the rest of the world as well. Gauss's original notation appears to me to be much more natural and Riemann's use of it gives me a welcome opportunity to reintroduce it."

link|flag
2 
Yeah, this is basically what I assumed. It is nice to have someone directly address the issue instead of sweeping it under the rug. And for those interested, the book is on Google Books - books.google.com/books?id=5uLAoued_dIC - and pages 8-10 have most of the identities listed above. – Kevin Casto Apr 10 at 23:27
"Legendre's reasons...are obscure". The main issue in my opinion is slightly different. Let's recall that 200 years ago (but even more recently) standardizing the notation was much more a difficult problem, and less urgent at the same time -no internet, no common scientific language, no or very few international meetings. In such a situation it was quite natural and harmless even introducing a notation ad hoc in any new memoir. Note that Weierstrass' one was the "factorial function", Fc(z), the reciprocal of the Gamma function. – Pietro Majer May 28 at 17:03
5

I would also go for $\Pi(t)$ or $t!$, but a possible reason to prefer the shifted version, $\Gamma(t)$, is the following. The gamma densities $\gamma_t$, $t\in \mathbb{R}$ defined as

$\gamma_t(x):=\frac{x_+^{t-1}e^{-x}}{\Gamma(t)},$

are a convolution semigroup, so that $\Gamma(t)$ appears naturally as the normalization factor of $\gamma_t$. (And, of course, the semigroup relation

$\gamma_t*\gamma_s=\gamma_{t+s}$

would be destroyed shifting from t-1 to t in the definition of $\gamma_t$)

Also note that the expression of the Beta function

$B(t,s):=\int_0^1 x^{t-1}(1-x)^{s-1}dx$

in terms of the $\Gamma$ function, if shifted, would also loose the useful form

$B(t,s)=\frac{\Gamma(t)\Gamma(s)}{\Gamma(t+s)}.$

(incidentally note that this relation follows plainly from the semigroup property since as a general fact, the integral of a convolution of two functions is the product of their integrals).

link|flag
1

This drives me crazy, too. However, Andrews, Askey and Roy give their reasons for preferring the Legendre definition in their book on special functions. Click on the link to page 6, http://books.google.com/books?id=kGshpCa3eYwC&lpg=PP1&dq=andrews%20askey%20roy&pg=PA6#v=onepage&q=legendre&f=false

I'm not sure exactly what they are referring to in their section 1.10, but this may have something to do with it. Click on the link to page 39, http://books.google.com/books?id=kGshpCa3eYwC&lpg=PP1&dq=andrews%20askey%20roy&pg=PA39#v=onepage&q=jacobi&f=false

link|flag
1 
The thing is, the Beta function is itself (to me) incorrectly defined; it should be the integral of t^x*(1-t)^y. Likewise, there doesn't seem to be any reason why, in the generalization to characters, we can't have J be the analog of B' (where B'(x,y) = B(x+1,y+1)) and g the analog of Pi. – Kevin Casto Apr 11 at 3:10
1

One advantage to the conventional definition of the Beta function $B(s,t)$ is that a random variable whose probability distribution is the Beta distribution with probability distribution proportional to $x^{s-1}(1-x)^{t-1}\ dx$ has expected value $s/(s+t)$.

link|flag

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.