12
$\begingroup$

I have to evalute $$\int_0^{\frac{\pi}{2}}(\sin x)^z\ dx.$$ I put this integral in Wolfram Alpha, and the result is $$\frac{\sqrt{\pi}\Gamma\left(\frac{z+1}{2}\right)}{2\Gamma\left(\frac{z}{2}+1\right)},$$ but I don't know why. If $z$ is a positive integer, then one can do integration by parts, many times. Eventually, this yields $$\int_0^{\frac{\pi}{2}}(\sin x)^{2z}\ dx=\frac{(2z-1)!!}{(2z)!!}\frac{\pi}{2},$$ where $(2n-1)!!=1\cdot 3\cdots (2n-1)$, and $(2n)!!=2\cdot 4\cdots 2n$. I appreciate your help.

  • 6
    Did you look at the [Wikipedia page on the Gamma-function](http://en.wikipedia.org/wiki/Gamma_function)? Everything you need for solving this problem is there.2011-07-09
  • 2
    Beta-function...2011-07-09
  • 0
    Yeah, of course. That is the thing. Thank you :)2011-07-09
  • 0
    This is too easy for to be a post. Should I delete this post? What do you think @Theo and @Andrew?2011-07-09
  • 0
    @leo: Copy paste theo's comment and make it CW2011-07-09
  • 0
    CW? I don't understand @Chandru.2011-07-09
  • 0
    @leo: Community wiki2011-07-09
  • 1
    @leo: I don't think you should delete it. Why don't you write up your own solution and post them as an answer? If you ping me, I'll have a look.2011-07-09
  • 0
    Yes, is a good idea.2011-07-10

3 Answers 3

14

The answer provided by Leo is the first one that comes to mind, but here is one starting directly from the definition of $\Gamma(s)$.

From the definition of Gamma:

Consider

$$\Gamma(s)\Gamma(z)=\int_{0}^{\infty}\int_{0}^{\infty}t^{s-1}u^{z-1}e^{-(t+u)}dtdu.$$

Let $t=x^{2}$, $u=y^{2}$. Then we have

$$\Gamma(s)\Gamma(z)=4\int_{0}^{\infty}\int_{0}^{\infty}x^{2s-1}y^{2z-1}e^{-(x^{2}+y^{2})}dtdu.$$

Change to polar coordinates and set $y=r\sin\theta$, $x=r\cos\theta$, to get

$$\Gamma(s)\Gamma(z)=4\left(\int_{0}^{\pi/2}\cos^{2s-1}\theta\sin^{2z-1}\theta d\theta\right)\left(\int_{0}^{\infty}r^{2s+2z-1}e^{-r^{2}}dr\right).$$

Letting $\eta=r^{2}$ we get

$$2\int_{0}^{\infty}r^{2s+2z-1}e^{-r^{2}}dr=\int_{0}^{\infty}\eta^{s+z-1}e^{-\eta}d\eta=\Gamma(s+z).$$

Hence

$$\frac{\Gamma(s)\Gamma(z)}{\Gamma(s+z)}=2\left(\int_{0}^{\pi/2}\cos^{2s-1}\theta \sin^{2z-1}\theta d\theta\right).$$

Setting $s=\frac{1}{2}$ and $z=\frac{x+1}{2}$ then yields your identity.

Hope that helps,

  • 0
    That's nice, as usual when you're manipulating these functions!2011-07-10
  • 0
    Nice one @Eric.2011-07-10
2

Just, following Theo's hint $$ \begin{align*} \int_{0}^{\frac{\pi}{2}}{(\sin\psi)^x}d\psi&= \int_{0}^{\frac{\pi}{2}}{(\sin\psi)^{2\cdot \frac{1}{2}(x+1)-1}(\cos\psi)^{2\cdot \frac{1}{2}-1}}d\psi\\ &=\frac{1}{2}B\left( \frac{x+1}{2},\frac{1}{2} \right)\\ &= \frac{1}{2}\cdot \frac{\Gamma\left(\frac{x+1}{2}\right)\Gamma\left(\frac{1}{2}\right)}{\Gamma\left( \frac{x}{2}+1 \right)}\\ &=\frac{\sqrt{\pi}\Gamma\left(\frac{x+1}{2}\right)}{2\Gamma\left( \frac{x}{2}+1 \right)}. \end{align*}$$

  • 1
    Well, that's it (assuming that you understood all the identities you used). Also, have you verified that this is what you already knew in the case where $x$ is an integer?2011-07-10
  • 0
    yep, and thaks @Theo.2011-07-10
0

Use n instead of z. when n is even integer it is equal to 1.3.5....(2n-1)pi/2.4.6....n.(2) and when n is negetive 2.4.6....n pi/1.3.5....(2n-1).(2). Do u know how to get this result from this integral?