proof of Bohr-Mollerup theorem
We prove this theorem in two stages: first, we establish that the gamma function satisfies the given conditions and then we prove that these conditions uniquely determine a function
on .
By its definition, is positive for positive . Let and .
The inequality follows from Hölder’s inequality, where and .
This proves that is log-convex. Condition 2 follows from the definition by applying integration by parts. Condition 3 is a trivial verification from the definition.
Now we show that the 3 conditions uniquely determine a function. By condition 2, it suffices to show that the conditions uniquely determine a function on .
Let be a function satisfying the 3 conditions, and .
and by log-convexity of , .
Similarly gives .
Combining these two we get
and by using condition 2 to express in terms of we find
Now these inequalities hold for every positive integer and the terms on the left and right side have a common limit () so we find this determines .
As a corollary we find another expression for .
For ,
In fact, this equation, called Gauß’s product, goes for the whole complex plane minus the negative integers.