Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-14T07:28:44.974Z Has data issue: false hasContentIssue false
  • English
  • Français

A fresh look at Euler's limit formula for the gamma function

Published online by Cambridge University Press:  23 January 2015

G. J. O. Jameson
G. J. O. Jameson*
Affiliation:
Dept. of Mathematics and Statistics, Lancaster University, Lancaster LA1 4YF, e-mail: g.jameson@lancaster.ac.uk
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Consider the problem of defining a continuous function f(x) which agrees with factorials at integers. There are many possible ways to do this. In fact, such a function can be constructed by taking any continuous definition of f(x) on [0,1] with f(0) = f(1) = 1 (such as f(x) = 1), and then extending the definition to all x > 1 by the formula f(x + 1) = (x + 1)f(x). This construction was discussed by David Fowler in [1] and [2]. For example, the choice f(x) = ½x(x − 1) + 1 results in a function that is differentiable everywhere, including at integers.

However, this approach had already been overtaken in 1729, when Euler obtained the conclusive solution to the problem by defining what we now call the gamma function. Among all the possible functions that reproduce factorials, this is the ‘right’ one, in the sense that it is the only one satisfying a certain smoothness condition which we will specify below. Admittedly, Euler didn't know this. It is known as the Bohr-Mollerup theorem, and was only proved nearly two centuries later.

First, a remark on notation: the notation Γ (x) for the gamma function, introduced by Legendre, is such that Γ (n) is actually (n − 1)! instead of n!. Though this might seem a little perverse, it does result in some formulae becoming slightly neater. Some writers, including Fowler, write x! for Γ (x + 1), and refer to this as the ‘factorial function’. However, the notation Γ (x) is very firmly entrenched, and I will adhere to it here.

Type
Articles
Information
The Mathematical Gazette , Volume 98 , Issue 542 , July 2014 , pp. 235 - 242
Copyright
Copyright © Mathematical Association 2014 

References

1. Fowler, David, A simple approach to the factorial function, Math. Gaz. 80 (November 1996) pp. 378–381.Google Scholar
2. Fowler, David, A simple approach to the factorial function – the next step, Math. Gaz. 83 (March 1999) pp. 53–57.Google Scholar
3. Whittaker, E. T. and Watson, G. N., A course of modem analysis (4th edn.), Cambridge University Press (1965).Google Scholar
4. Copson, E. T., An Introduction to the theory of functions of a complex variable, Oxford University Press (1935).Google Scholar
5. Andrews, George E., Askey, Richard and Roy, Ranjam, Special Functions, Cambridge University Press (1999).Google Scholar
6. Bohr, H. and Mollerup, J., Laerebog i Matematisk Analyse, Gjellerup, Copenhagen (1922).Google Scholar
7. Artin, Emil, Einführung in die Theorie der Gammafunktion, Teubner, Leipzig (1931); English translation: The gamma function, Holt, Rinehart and Winston (1964).Google Scholar
8. Jameson, G. J. O., Inequalities for gamma function ratios, Amer. Math. Monthly 120 (2013) pp. 936–940.Google Scholar