 Solution

ID: past-exam-of-the-mathematics-course-of-the-year-1-of-the-natural-sciences-course-of-the-university-of-cambridge/2010/paper-1/16/d/solution

Multiply the two defining Gamma integrals. For

p, q > 0

the nonnegative product integrand allows Tonelli's theorem:

Γ (p) Γ (q) = \int_{0}^{\infty} \int_{0}^{\infty} x^{p - 1} y^{q - 1} e^{- (x + y)} d x d y .

Use

r = x + y

u = x / (x + y)

, so

x = r u

y = r (1 - u)

and the positive quadrant becomes

r > 0

0 < u < 1

det (u 1 - u r - r) = r .

After including this factor, the transformed integral separates:

[\int_{0}^{\infty} r^{p + q - 1} e^{- r} d r] [\int_{0}^{1} u^{p - 1} (1 - u)^{q - 1} d u] = Γ (p + q) B (p, q) .

Γ (p) Γ (q) = B (p, q) Γ (p + q) .

All changes of variables are made inside the open positive domains; their boundaries do not contribute to the integrals.

 New to topics? Read the docs here!