162
$\begingroup$

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)$?

$\endgroup$
9
  • 75
    $\begingroup$ 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}_{>0}$ with respect to multiplicative Haar measure. $\endgroup$
    – Emerton
    Apr 10, 2010 at 23:15
  • 6
    $\begingroup$ Emerton, that's exactly the explanation my number theory professor just gave me yesterday. Still, I don't think it's very satisfying given everything else. $\endgroup$ Apr 10, 2010 at 23:23
  • 19
    $\begingroup$ 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$. $\endgroup$
    – S. Carnahan
    Apr 11, 2010 at 3:25
  • 10
    $\begingroup$ 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. $\endgroup$ Apr 11, 2010 at 8:25
  • 2
    $\begingroup$ I think Pietro Majer's answer is the best one so far. $\endgroup$ Jun 10, 2017 at 17:13

11 Answers 11

132
$\begingroup$

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."

$\endgroup$
2
  • 9
    $\begingroup$ 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. $\endgroup$ Apr 10, 2010 at 23:27
  • 16
    $\begingroup$ "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. $\endgroup$ May 28, 2010 at 17:03
61
$\begingroup$

I would argue against the OP's opinion. The definition $\Gamma(z)$ becomes very natural if you write it as $\Gamma(z) = \int_0^\infty t^{z} e^{-t} d^\times t$, where $d^\times t=dt/t$ is the Haar measure on the multiplicative group of positive numbers. Moreover, $t^z$ is a character of this group, hence the definition is an instance of the Fourier transform on locally compact abelian groups, in this case called the Mellin transform. In fact, this is why this version works well for the Riemann zeta function and in fact for any automorphic $L$-function: $\pi^{-\frac{s}{2}}\Gamma(\frac{s}{2})\zeta(s)$ is invariant under $s\to 1-s$. Of course, one might say that $\zeta(s)$ is not normalized in the right way, but in terms of the Dirichlet coefficients of $\zeta(s)$, or more generally in terms of the Langlands parameters of an automorphic $L$-function, the current normalization is the right one (cf. Ramanujan conjecture)!

EDIT: I just realized this is an elaboration of a comment Emerton made earlier.

$\endgroup$
54
$\begingroup$

It was so that Legendre could do with the gamma function what the Catholic church did 170 years later: He put a simple pole at the origin.

$\endgroup$
6
  • 24
    $\begingroup$ Ba-dom-pom-pssht. $\endgroup$ Oct 18, 2010 at 13:10
  • 5
    $\begingroup$ Sorry, I couldn't resist. :-) $\endgroup$ Oct 18, 2010 at 13:38
  • 5
    $\begingroup$ the Church put a pole at the origin thousand years earlier $\endgroup$
    – zzzbbx
    Apr 23, 2011 at 9:41
  • 2
    $\begingroup$ I don't get it. $\endgroup$
    – ryu576
    Dec 25, 2021 at 20:26
  • 2
    $\begingroup$ Is this a joke about Pope John Paul II? $\endgroup$ Sep 16, 2022 at 0:37
30
$\begingroup$

They both are are equally "good". Unlike conventional calculus in discrete calculus there are two equally valid differentiation operators with little reason to prefere one over the other - forward difference $\Delta f(x)$ and backward difference $\nabla f(x)$. In discrete multiplicative calculus there are also two similar operators - discrete multiplicative forward difference $\frac{f(x+1)}{f(x)}=\exp(\Delta \ln f(x))$ and discrete multiplicative backward difference $\frac{f(x)}{f(x-1)}=\exp(\nabla \ln f(x))$. They both have their respective inverse operators - forward discrete multiplicative integral and backward discrete multiplicative integral. So the $\Gamma(x)$ is the forward discrete multiplicative integral of $f(x)=x$ and $\Gamma(x+1)=x!$ is the backward discrete multiplicative integral of the same function.

In the scientific applications there is a preference to using forward difference rather than backward difference I think because if is possible to find forward differences of arbitrary order of a function defined on only positive integers. Among other considerations, it allows to represent in the form of Newton series a function which is defined only on natural numbers (Newton series with backward difference would require the function to be defined on negative integers).

$\endgroup$
24
$\begingroup$

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).

$\endgroup$
5
  • 2
    $\begingroup$ You would define $\tilde B(t,s) = \int_0^1 x^t (1-x)^s \, dx$. Then $\tilde B(m,n) = 1\big/ \binom{m+n}m$. $\endgroup$ Jul 15, 2015 at 21:00
  • $\begingroup$ $\int_0^z \frac{x^{t-1}}{(t-1)!} \frac{(z-x)^{s-1}}{(s-1)!} \, dx = D_{z}^{-s} \frac{z^{t-1}}{(t-1)!} = \frac{z^{s+t-1}}{(s+t-1)!}$ is easy to remember if one can remember to associate $s=1$ with integration and $s=0$ with the identity or Dirac delta function. $\endgroup$ Jul 16, 2015 at 1:53
  • 8
    $\begingroup$ @Stephen Montgomery-Smith. In fact the formula you wrote is wrong, corroborating my claim that $\Gamma(t)\Gamma(s)/\Gamma(t+s)$ is easier to deal with ;) $\endgroup$ Jan 30, 2016 at 18:55
  • $\begingroup$ @PietroMajer while I also cannot follow how one arrives at a binomial coefficient, it hardly corroborates that the Beta function implies Gamma is superior. The point still stands that a modified Beta function could easily be written in terms of the Pi function—in parallel to the example you have given. If you want to argue the Beta function we have is more natural than the modified Beta function that corresponds to Pi you can, but just reduces to a weaker argument in this case of saying Gamma is more natural than Pi. $\endgroup$
    – Novice C
    Mar 12, 2020 at 14:02
  • 2
    $\begingroup$ +1 (10 years after the fact) for the convolution semigroup observation - this semigroup property seems to be quite useful for some work I've recently been doing on positive definite functions on the "ax+b group" of the reals. $\endgroup$
    – Yemon Choi
    Mar 14, 2020 at 5:07
14
$\begingroup$

The formula for the volume of the unit $n$-ball is nicer in terms of $\Pi$, instead of $\Gamma$, since it is $\frac{\pi^{\frac{n}{2}}}{\Pi(\frac{n}{2})}$, as opposed to $\frac{\pi^{\frac{n}{2}}}{\Gamma(1 + \frac{n}{2})}$.

$\endgroup$
1
  • 18
    $\begingroup$ On the other hand, the surface area of the unit hypersphere in $\mathbb{R}^n$ can be written as $\frac{2\pi^{n/2}}{\Gamma(\frac{n}{2})}$ instead of $\frac{2\pi^{n/2}}{\Pi(\frac{n}{2}-1)}$. $\endgroup$
    – S. Carnahan
    Sep 16, 2014 at 10:38
9
$\begingroup$

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$ for $0\le x\le 1$ has expected value $s/(s+t)$.

$\endgroup$
5
$\begingroup$

I'm going to elaborate on Pietro Majer's answer a bit.

Suppose $S_1,S_2$ are independent random variables for which for all Borel sets $A\subseteq [0,\infty),$ \begin{align} \Pr(S_1\in A) & = \left. \int_A s^n e^{-s}\, \frac{ds} s \right/ \Gamma(n), \\[10pt] \Pr(S_2\in A) & = \left.\int_A s^m e^{-s}\, \frac{ds} s\right/ \Gamma(m), \end{align} where $n,m$ are positive real numbers. Then $$ \Pr(S_1+S_2\in A) = \left.\int_A s^{n+m} e^{-s} \, \frac{ds} s \right/ \Gamma(n+m). $$

A concrete instance: Suppose the waiting time $T$ until the next phone call arrives at a switchboard as a memoryless probability distribution: for $s,t\ge 0,$ one has $\Pr(T>s+t\mid T>s) = \Pr(T>t).$ That implies that for some $\mu>0$ and all $t>0,\,\,\,$ $\Pr(T>t) = e^{-t/\mu},$ and $\mu$ is the expected value of $T,$ i.e. $\mu$ is the average waiting time.

Then the distribution of the time $T_n$ until the arrival of the $n$th phone call after the present time is given by \begin{align} \Pr(T_n \in A) & = \frac 1 {\Gamma(n)} \int_A \left( \frac t \mu \right)^n e^{-t/\mu} \, \frac{(dt/\mu)} {(t/\mu)} \\[10pt] & = \frac 1 {\Gamma(n)} \int_{A/\mu} u^n e^{-u}\, \frac{du} u. \end{align}

$\endgroup$
4
$\begingroup$

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

$\endgroup$
3
  • 3
    $\begingroup$ 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. $\endgroup$ Apr 11, 2010 at 3:10
  • $\begingroup$ But not only two of them. There are much more factorial generalizations which interpolate integer factorials. End even have not poles! For example the Hadamard generalization of factorials, look on Wolfram. $\endgroup$
    – Sergei
    Apr 14, 2014 at 15:58
  • $\begingroup$ @KevinCasto : But in that case the expected value of a random variable whose probability density is that function of $t$ on the interval $(0,1)$ would NOT be $x/(x+y). \qquad$ $\endgroup$ Dec 27, 2021 at 1:27
3
$\begingroup$

If you look at the $L$ function of a modular form, it is $\Gamma$ that comes naturally for the functional equation. It is also $\Gamma$ that tells you what the order of the zeros of the $L$ function are (and these orders have a meaning).

$\endgroup$
3
$\begingroup$

Whatever the real reason might have been (or if indeed it was even a matter of conscious choice to begin with) I'm afraid we may never truly know. However, I do find it a fortunate coincidence, inasmuch as it enables many mathematical results to be expressed in terms of the $\Gamma$ and $\zeta$ or $\eta$ functions of the same argument. Here are but a few beautiful examples:

$$\int_0^\infty\frac{x^z}{e^x-1}dx=\Gamma(z+1)~\zeta(z+1),\qquad\qquad\qquad\qquad\Re(z)>1.$$

$$\int_0^\infty\frac{x^z}{e^x+1}dx=\Gamma(z+1)~\eta(z+1),\qquad\qquad\qquad\qquad\Re(z)>1.$$

$$\oint_\gamma\frac{(-x)^z}{e^x-1}dx=2i~\Gamma(z+1)~\zeta(z+1)\sin(z\pi),\qquad\qquad\qquad z\in\mathbb C,$$

$\qquad\qquad\qquad\qquad\qquad\qquad\quad$ where $\gamma=R~e^{i\alpha}$, with $\alpha\in(0,2\pi)$ and $R\to\infty$.

$$\int_0^\infty\ln\Big(1-e^{-x^{\Large a}}\Big)dx=-\Gamma\bigg(\frac1a+1\bigg)~\zeta\bigg(\frac1a+1\bigg),\qquad\qquad a>0.$$

$$\int_0^\infty\ln\Big(1+e^{-x^{\Large a}}\Big)dx=\quad\Gamma\bigg(\frac1a+1\bigg)~\eta\bigg(\frac1a+1\bigg),\qquad\qquad a>0.$$

$$\ln\Gamma(x)=\zeta'(0,x)-\zeta'(0),\qquad\qquad\qquad\qquad\qquad\qquad x\in\mathbb R^\star\setminus\mathbb Z^-.$$

$\endgroup$
4
  • 5
    $\begingroup$ You can replace some of the $z+1$ terms with $z$ by replacing $dx$ with the natural scale-invariant measure $d^\times \! x = \frac{dx}{x}$. $\endgroup$
    – S. Carnahan
    Sep 16, 2014 at 10:26
  • $\begingroup$ It seems a bit strange to describe these as "$\Gamma$ or $\zeta$ or $\eta$ functions of the same argument" when each of them is actually evaluated at $\Gamma(z + 1)$—exactly the shift that the question is discussing! (Of course, @S.Carnahan's point shows how one may consistently and sensibly get rid of that shift.) $\endgroup$
    – LSpice
    Dec 12, 2021 at 15:06
  • $\begingroup$ @LSpice: Without the aforementioned shift, they would obviously not possess the same argument; not unless one would have alternately shifted the $\zeta$ and $\eta$ functions by $-1.$ $\endgroup$
    – Lucian
    Dec 12, 2021 at 15:16
  • $\begingroup$ Oh, I see, you mean that $\Gamma$, $\zeta$, and $\eta$ are evaluated at the same argument. I misunderstood you to be saying that $\Gamma$ is evaluated at the same parameter as appears in the integral on the left. But perhaps this is an argument that $\zeta$ and $\eta$ should be shifted as well as $\Gamma$ …. $\endgroup$
    – LSpice
    Dec 12, 2021 at 15:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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