Relating integral of powers of Sin b/w 0 and pi/2 to factorial form

Click For Summary
The integral of sin raised to an odd power, specifically ∫_0^(π/2) sin^(2a+1)(x) dx, can be expressed in factorial form as (2^a a!)^2 / (2a+1)!. The discussion highlights challenges in deriving this form, particularly through integration by parts, with attempts yielding complex results. One participant used Mathematica to compute the integral but struggled to simplify it to the desired factorial representation. Griffiths provides a method involving products of even and odd integers, but the connection remains unclear to some. The conversation reflects the difficulties in linking the integral to its factorial form through traditional calculus techniques.
musik132
Messages
11
Reaction score
0
Our integral
\int\limits_0^{\pi/2} \sin^{2a+1}(x)\,dx

Has a Factorial Form:
{(2^a a!)}^2 \over (2a+1)!

What is the process behind going from that integral to that factorial form?

My approach which is not very insightful:
I used mathematica to calculate the integral to return:
\pmb{\frac{\sqrt{\pi } \text{Gamma}[1+a]}{2 \text{Gamma}\left[\frac{3}{2}+a\right]}}
I know Gamma[1+a] = a! and Gamma[3/2+a] has a factorial form also but doesn't help me to reduce to that form.

Griffiths just says that integral equals (2*4*...2a)/(1*3*5...*[2a+1]) to get from this to that factorial form is easy but I got lost in his integration.
 
Last edited:
Physics news on Phys.org
musik132 said:
Our integral
\int\limits_0^{\pi/2} \sin^{2a+1}(x)\,dx

What do you get after integrating by parts twice?
 
\pi/2-(2a+1)\int\limits_0^{\pi/2} \sin^{2a}(x)cos(x)x

Sorry I still don't see how to finish the connection.

Edit: Didn't see you said twice IBP ill go back and retry this
 
taking u = sin^2a(x) and v'=xcos(x) , I get:
-a\pi+(2a+1)(2a)\int\limits_0^{\pi/2} Sin^{2a}(x)x +Sin^{2a-1}(x)cos(x)dx

Sadly my math isn't great and can't seem to figure out how this would lead to the factorial form.

So I tried to integrate by parts again and try to simplify and it just got really messy.
I tried to take u = sin^2a(x)cos(x) and v'=x and that got messy also compared to the one above so I didn't pursue it.
 
Last edited:
There are probably loads of proofs of this online, but I do not want to cheat. Here is my attempt: Convexity says that $$f(\lambda a + (1-\lambda)b) \leq \lambda f(a) + (1-\lambda) f(b)$$ $$f(b + \lambda(a-b)) \leq f(b) + \lambda (f(a) - f(b))$$ We know from the intermediate value theorem that there exists a ##c \in (b,a)## such that $$\frac{f(a) - f(b)}{a-b} = f'(c).$$ Hence $$f(b + \lambda(a-b)) \leq f(b) + \lambda (a - b) f'(c))$$ $$\frac{f(b + \lambda(a-b)) - f(b)}{\lambda(a-b)}...

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K