Beta-function recurrence 2026-09-28
The Beta function obeys
These identities follow immediately from the beta--gamma identity and the Gamma function recurrence.
In the integral defining the Beta function, put and then . Symmetry gives
This proves the identity for . Both sides extend by analytic continuation to the same meromorphic function, equivalently by the beta--gamma identity and the Gamma duplication formula. The identity holds meromorphically for every ; both sides are finite for and have matching poles at the excluded points.
With , the change of variables formula gives
The beta--gamma identity, , and the Gamma reflection formula give
Therefore