Ma · Mathematics

How to Compute ∫₀¹ xᵐ(1 − xⁿ)ᵖ dx

Published By the 9to5Science editorial team

At a glance

  1. 1. Check convergence

    For real parameters with n > 0, the integral converges when m > −1 and p > −1.

  2. 2. Substitute a power

    Set t = xⁿ, so dx = (1/n)t^(1/n − 1) dt.

  3. 3. Identify the Beta function

    Match the transformed integral to B(a,b) = ∫₀¹ t^(a−1)(1−t)^(b−1) dt.

  4. 4. Simplify if needed

    Use B(a,b) = Γ(a)Γ(b)/Γ(a+b) to express or evaluate the result.

For real parameters, the standard interpretation is that n>0n>0 and the integral is an improper integral at the endpoints if needed. Under that interpretation, its value is a Beta function. The formula also gives a direct test for when the integral converges.

The Beta-function formula

For n>0n>0, m>−1m>-1, and p>−1p>-1,

∫01xm(1−xn)p dx=1nB⁡(m+1n,p+1)=1nΓ(m+1n)Γ(p+1)Γ(m+1n+p+1).\int_0^1 x^m(1-x^n)^p\,dx =\frac{1}{n}\operatorname B\left(\frac{m+1}{n},p+1\right) =\frac{1}{n}\frac{\Gamma\left(\frac{m+1}{n}\right)\Gamma(p+1)}{\Gamma\left(\frac{m+1}{n}+p+1\right)}.

Here the Beta function is defined, for a,b>0a,b>0, by

B⁡(a,b)=∫01ta−1(1−t)b−1 dt.\operatorname B(a,b)=\int_0^1 t^{a-1}(1-t)^{b-1}\,dt.

The Gamma-function form follows from B⁡(a,b)=Γ(a)Γ(b)/Γ(a+b)\operatorname B(a,b)=\Gamma(a)\Gamma(b)/\Gamma(a+b).

Derivation by substitution

Set

t=xn.t=x^n.

Since n>0n>0, this substitution maps x∈[0,1]x\in[0,1] to t∈[0,1]t\in[0,1]. Solving for xx and differentiating gives

x=t1/n,dx=1nt1/n−1 dt.x=t^{1/n},\qquad dx=\frac{1}{n}t^{1/n-1}\,dt.

Also, xm=tm/nx^m=t^{m/n} and 1−xn=1−t1-x^n=1-t. Therefore,

∫01xm(1−xn)p dx=1n∫01tm/n+1/n−1(1−t)p dt=1n∫01t(m+1)/n−1(1−t)(p+1)−1 dt.\begin{aligned} \int_0^1 x^m(1-x^n)^p\,dx &=\frac{1}{n}\int_0^1 t^{m/n+1/n-1}(1-t)^p\,dt\\ &=\frac{1}{n}\int_0^1 t^{(m+1)/n-1}(1-t)^{(p+1)-1}\,dt. \end{aligned}

This is the defining Beta integral with a=(m+1)/na=(m+1)/n and b=p+1b=p+1.

When does the integral converge?

The endpoint conditions come from the behavior of the integrand near 00 and 11:

  • As x→0+x\to0^+, (1−xn)p→1(1-x^n)^p\to1, so the integrand behaves like xmx^m. Its integral near zero is finite exactly when m>−1m>-1.
  • As x→1−x\to1^-, 1−xn1-x^n behaves like n(1−x)n(1-x). Thus the integrand behaves like a constant times (1−x)p(1-x)^p, which is integrable near one exactly when p>−1p>-1.

These are also the conditions that make both Beta-function arguments positive. If either condition fails, the improper integral diverges. This convergence statement assumes real m,pm,p and n>0n>0; other choices, especially n<0n<0, change the endpoint behavior and require a separate analysis.

Worked example

Evaluate

∫01(1−x2)1/2 dx.\int_0^1 (1-x^2)^{1/2}\,dx.

This is the case m=0m=0, n=2n=2, and p=1/2p=1/2, which satisfies the convergence conditions. The formula gives

∫01(1−x2)1/2 dx=12B⁡(12,32)=12Γ(1/2)Γ(3/2)Γ(2)=12π(π/2)1=π4.\begin{aligned} \int_0^1 (1-x^2)^{1/2}\,dx &=\frac12\operatorname B\left(\frac12,\frac32\right)\\ &=\frac12\frac{\Gamma(1/2)\Gamma(3/2)}{\Gamma(2)}\\ &=\frac12\frac{\sqrt{\pi}(\sqrt{\pi}/2)}{1} =\frac{\pi}{4}. \end{aligned}

The result also has a geometric check: the graph y=1−x2y=\sqrt{1-x^2} on 0≤x≤10\le x\le1 is a quarter of the unit circle, whose area is π/4\pi/4.

Common mistakes

  • Dropping the factor 1/n1/n. It comes from differentiating x=t1/nx=t^{1/n} and is essential.
  • Using the wrong Beta arguments. The power of tt is (m+1)/n−1(m+1)/n-1, so the first argument is (m+1)/n(m+1)/n, not m/nm/n.
  • Forgetting the added one in the second argument. The factor (1−t)p(1-t)^p corresponds to b−1=pb-1=p, so b=p+1b=p+1.
  • Applying the formula outside its convergence range. For real parameters and n>0n>0, require both m>−1m>-1 and p>−1p>-1 before treating the result as a finite integral.

For a particular choice of m,n,pm,n,p, first check those conditions, then substitute into the Beta formula. If the arguments are familiar, Gamma identities such as Γ(z+1)=zΓ(z)\Gamma(z+1)=z\Gamma(z) can often simplify the answer.

References

  1. NIST Digital Library of Mathematical Functions, §5.12: Beta Function
  2. A Course of Modern Analysis, E. T. Whittaker and G. N. Watson

Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.