Pros and cons of the conventional definition of the Gamma and Beta functions

246 Views Asked by At

NOTE: I see it suggested that this is a duplicate question. Certainly there is substantial overlap between the two questions. This one explicitly mentions the Beta function and explicitly invites arguments for doing it the other way. One of the more able regular posters here stated today in a comment that it ought to be done the other way; I would be curious to see that case made.
end of NOTE

One sometimes sees it opined that instead of $$ \Gamma(\alpha) = \int_0^\infty x^{\alpha-1} e^{-x} \,dx $$ one should follow a convention that puts simply $\alpha$ where $\alpha-1$ appears. Similarly with both $\alpha$ and $\beta$ in $$ \operatorname{B}(\alpha,\beta) = \int_0^1 x^{\alpha-1} (1-x)^{\beta-1} \, dx. $$

What facts can be adduced on which to base arguments for one or the other convention?

(I will post a brief answer of my own, but possibly some very different answers can be readily written.)

2

There are 2 best solutions below

6
On

On the "pro" side I would mention two facts:

  • For $\alpha>0,$ let $$f_\alpha(x) = \frac 1 {\Gamma(\alpha)} x^{\alpha-1} e^{-x}.$$ Then for $\alpha,\beta>0$ we have the convolution $$f_\alpha * f_\beta = f_{\alpha+\beta}.$$ (And recall that the convolution of two probability density functions is the density of the sum of two independent random variables.)

  • For $A\subseteq[0,1],$ suppose $$\Pr(X\in A) = \frac 1 {\operatorname{B}(\alpha,\beta)} \int_A x^{\alpha-1} (1-x)^{\beta-1} \, dx.$$ Then $$\operatorname{E}(X) = \frac \alpha {\alpha+\beta}.$$

(I wonder if the usual convention can be made less painful to those who don't like it by writing it like this: $$ \Gamma(\alpha) = \int_0^\infty x^\alpha e^{-x} \, \frac{dx} x. $$

0
On

Of course it's just a convention, so open to change in principle.

One reason for the current convention is that when working with such functions one often makes changes of variables of the form $x = cy$, with attendant $dx = c\,dy$ substitutions. When working this way it is often handy to know that the form $dx/x$ turns into $dy/y$. So think of the obnoxious $x^{\alpha-1}\dots dx$ as the user-friendly $x^\alpha\dots dx/x$.

Another reason is that such a change would confuse everyone, a lot.