The Gamma distribution is given by;
We collect all the terms to the exponent, and have;
Since we know this distribution to be a valid one, from the axioms of probability theory, we know that, if we integrate this expression with respect to x in , we must have one. And we observe that the denominator is a constant, which can’t be of any use other than being a normalization constant. So we define a function,
where; ; . Note that, the integral inside the logarithm gives the normalization constant. The latter can be seen from equation (2), since the integral of the numerator must be equal to the denominator, which is the normalization constant itself. So, for example if we consider, , we get;
We find the expected value of x.But the thing is, we know a super-easy to differentiate expression for , since it is the natural logarithm of the normalization constant;
There’s a special name given for , which is digamma function. We denote it by . So, according to the convention, .