The Beta and Gamma functions appear in the integral calculus module of VTU Engineering Mathematics 1 (BMATS101 under the 2022 scheme, 18MAT11 under 2018). They look like specialist tools, but they are mainly a way to evaluate certain integrals that would otherwise be difficult. The key result is the relationship between them, which lets you convert a messy integral into a ratio of simple values. This guide defines both functions, proves the main relation, and works through examples that show how the method is applied in exams.
The Gamma Function
The Gamma function is defined for positive numbers by an improper integral:
Γ(n) = ∫₀^∞ x^(n−1) e^(−x) dx, for n > 0
Two properties do most of the work in exams:
- Recurrence: Γ(n + 1) = n Γ(n). This follows from integration by parts.
- Integer values: For a positive integer n, Γ(n) = (n − 1)!. In particular Γ(1) = 1, Γ(2) = 1, Γ(3) = 2, Γ(4) = 6, and Γ(5) = 24.
A third property is worth remembering: Γ(1/2) = √π. This value appears whenever a question involves half-integer arguments.
Using the Recurrence
To find Γ(5/2), use the recurrence in reverse:
Γ(5/2) = (3/2) Γ(3/2) = (3/2)(1/2) Γ(1/2) = (3/4)√π
Any half-integer Gamma value can be reduced to Γ(1/2) = √π in this way. Check the arithmetic carefully: each step multiplies by the previous argument, not by the next integer.
The Beta Function
The Beta function is defined for positive m and n by:
B(m, n) = ∫₀¹ x^(m−1) (1 − x)^(n−1) dx
It is symmetric, so B(m, n) = B(n, m). It also has a trigonometric form. Substituting x = sin²θ gives:
B(m, n) = 2 ∫₀^(π/2) sin^(2m−1) θ cos^(2n−1) θ dθ
This second form is the one that connects the Beta function to the reduction formulas in the same module.
The Beta-Gamma Relationship
The central result is:
B(m, n) = Γ(m) Γ(n) / Γ(m + n)
This lets you evaluate a Beta integral using Gamma values, which are often simpler to compute. The relation is proved using double integrals and a change of variables, and your lecture notes will contain the proof. For exam purposes, know the statement and be able to apply it.
Worked Example 1: B(3, 2)
Using the relation:
B(3, 2) = Γ(3) Γ(2) / Γ(5) = (2 · 1) / 24 = 1/12
Check by direct integration. B(3, 2) = ∫₀¹ x² (1 − x) dx = ∫₀¹ (x² − x³) dx = 1/3 − 1/4 = 1/12. The two methods agree.
Worked Example 2: A Trigonometric Integral
Evaluate I = ∫₀^(π/2) sin⁴ θ cos² θ dθ.
Use the trigonometric form of the Beta function. Matching 2m − 1 = 4 gives m = 5/2, and matching 2n − 1 = 2 gives n = 3/2. Therefore:
∫₀^(π/2) sin⁴ θ cos² θ dθ = (1/2) B(5/2, 3/2)
= (1/2) · Γ(5/2) Γ(3/2) / Γ(4)
Compute the Gamma values. Γ(5/2) = (3/4)√π from the recurrence above, Γ(3/2) = (1/2)√π, and Γ(4) = 3! = 6.
Multiply: Γ(5/2) Γ(3/2) = (3/4)(1/2) π = 3π/8. Divide by 6: 3π/48 = π/16. Multiply by 1/2:
I = π/32
Check with the reduction-formula result: ∫₀^(π/2) sin⁴ θ cos² θ dθ = (3 · 1)/(6 · 4 · 2) · (π/2) = 3/48 · π/2 = π/32. This matches, which confirms the method.
Worked Example 3: An Improper Integral Using Gamma
Evaluate ∫₀^∞ x⁴ e^(−x) dx.
This is the Gamma integral with n − 1 = 4, so n = 5:
∫₀^∞ x⁴ e^(−x) dx = Γ(5) = 4! = 24
For integer powers this is the quickest route, and it avoids integration by parts repeated four times.
A related form appears in some questions: ∫₀^∞ x^m e^(−a x) dx for a > 0. Substitute t = a x to get (1/a^(m+1)) Γ(m + 1). This is worth knowing, because it appears in engineering applications such as transform calculations.
How to Set Up a Beta or Gamma Question
- Decide whether the integral is over [0, 1], over [0, π/2], or over [0, ∞). Each interval points to a different form of the function.
- Match the exponents to m and n. On [0, 1], m − 1 is the exponent of x and n − 1 is the exponent of (1 − x). On [0, π/2], use 2m − 1 and 2n − 1.
- Apply the relation. Write B(m, n) = Γ(m)Γ(n)/Γ(m + n).
- Simplify the Gamma values. Use the recurrence and Γ(1/2) = √π.
- Check. Compare with direct integration or the reduction formula where possible.
Common Mistakes That Cost Marks
Mistake 1: Mismatching the exponents. On [0, π/2] the exponents are 2m − 1 and 2n − 1, not m − 1 and n − 1. This is the most common error in trigonometric Beta questions.
Mistake 2: Forgetting the factor 1/2. The trigonometric form of B(m, n) carries a factor of 2, so the integral over [0, π/2] equals (1/2) B(m, n).
Mistake 3: Getting Γ(n) wrong for integers. Γ(5) = 4! = 24, not 5! = 120. The Gamma function is shifted by one.
Mistake 4: Forgetting √π in half-integer values. Γ(1/2) = √π, and every half-integer Gamma value carries a √π factor. Missing it changes the answer.
Practice Questions
- Evaluate B(4, 3) using the Gamma relation. (Expected: 1/60.)
- Evaluate ∫₀^(π/2) sin³ θ cos³ θ dθ. (Hint: use m = 2 and n = 2 in the trigonometric form. Expected: 1/12.)
- Evaluate ∫₀^∞ x³ e^(−2x) dx. (Hint: substitute t = 2x. Expected: 3/8.)
Checks: (1) B(4, 3) = Γ(4)Γ(3)/Γ(7) = (6 · 2)/720 = 12/720 = 1/60 ✓. (2) (1/2) B(2, 2) = (1/2) · Γ(2)Γ(2)/Γ(4) = (1/2) · 1/6 = 1/12 ✓. (3) Γ(4)/2⁴ = 6/16 = 3/8 ✓.
A Second Beta Example: Matching Exponents on [0, 1]
Consider ∫₀¹ x^(1/2) (1 − x)^(3/2) dx. On [0, 1], the exponents match the definition directly: x^(m−1) has m − 1 = 1/2, so m = 3/2, and (1 − x)^(n−1) has n − 1 = 3/2, so n = 5/2.
Apply the relation:
B(3/2, 5/2) = Γ(3/2) Γ(5/2) / Γ(4)
Using Γ(3/2) = √π/2, Γ(5/2) = 3√π/4, and Γ(4) = 6:
B(3/2, 5/2) = (√π/2)(3√π/4) / 6 = (3π/8) / 6 = π/16
The value π/16 also equals (1/2)B(3/2, 3/2), which is the trigonometric form of ∫₀^(π/2) sin² x cos² x dx. That is not a coincidence: the Beta function satisfies B(m, n+1) = B(m, n) · n/(m+n), so B(3/2, 5/2) = B(3/2, 3/2)/2. Using this recurrence is a quick check on a Beta value when the other one is already known.
Why the Gamma Function Extends Factorials
The Gamma function agrees with factorials at positive integers, because Γ(n) = (n − 1)!. The useful extension is that it also gives values between integers. For example, Γ(1/2) = √π, and the recurrence Γ(n + 1) = nΓ(n) lets you compute Γ at any point in the sequence once you know one value. This is the reason Γ(1/2) appears so often: it is the anchor from which all half-integer values are built.
Connecting This Topic to the Full Module
The Beta and Gamma functions sit in the integral calculus module of VTU Engineering Mathematics 1, together with reduction formulas and the standard integrals. For the complete module outline, the topics most often tested, and the marks typically lost, see our VTU Engineering Maths 1 Notes — Complete Module-Wise Guide (BMATS101).
Frequently Asked Questions
Q: Do I need to prove the Beta-Gamma relation in an exam?
Check your course requirements. Most VTU questions ask you to apply it, not prove it, but the derivation is worth understanding.
Q: Can I use the reduction formula instead of the Beta function?
Yes, for integer and simple half-integer powers the reduction formula is often quicker. The Beta approach is more general and works for non-integer exponents.
Q: Where does this fit in the module?
It sits with the reduction formulas and standard integrals. The full module outline is in our VTU Engineering Maths 1 notes guide.
For more worked integration problems, see the Engineering Math Survival Kit. To discuss batch options, use the contact page.