# Proving identities.

1. Jul 4, 2006

### MathematicalPhysicist

i need to prove the next identities for 0<x<1:

∫t^(x-1)/(1+t)dt=π/sin(πx)
0

1
∫t^(x-1)(1-t)^(-x)dt=π/sin(πx)
0

for the second one, my text gives me a hint to substitute t=u/(u+1), but i didnt succeed in getting the rhs.
i tried the defintion of B(x,1-x)=Gamma(x)Gamma(1-x)
but i dont know how to proceed from there.

2. Jul 4, 2006

### shmoe

Their hint will show you those two identities are equivalent.

You can derive these with a contour integration, but if you have some useful earlier results, that would be handy. What exactly do you know at this point about Beta integrals, gamma functions, and how they relate to sin?

3. Jul 4, 2006

### MathematicalPhysicist

never mind those question, i found in my text that Gamma(x)Gamma(1-x)=pi/sin(pi*x).

i have another couple questions:
prove the identities:
1)Gamma(x/3)Gamma((x+1)/3)Gamma((x+2)/3=(2pi/3^(x-0.5)Gamma(x)
2)$$\int_{0}^{\frac{\pi}{2}}\sqrt cos(x) dx=(2\pi)^{3/2}/(\Gamma(1/4))^2$$

about the first, here what i did:
f(x)=(3^x)gamma(x/3)gamma((x+1)/3)gamma((x+2)/3)
f(x+1)=xf(x)
f(x) is log convex then f(x)=f(1)gamma(x)
f(1)=3*gamma(1/3)gamma(2/3)gamma(1)
gamma(1/3)gamma(2/3)=B(1/3,2/3)
my problem is to compute the integral of B(1/3,2/3) where B is the beta function.

about the second question:
$$\int_{0}^{\frac{\pi}{2}}\sqrt cos(x) dx=B(1/2,3/4)=[\gamma(1/2)\gamma(3/4)]/\gamma(5/4)$$
i know that gamma(5/4)=1/4gamma(1/4) and gamma(1/2)=sqrt(pi)
but i dont know how to compute: gamma(3/4).

Last edited: Jul 4, 2006
4. Jul 4, 2006

### shmoe

This identity can be used to solve both your problems.

5. Jul 6, 2006

### MathematicalPhysicist

ok, another question about gamma function, i have these two integrals:
$$I=\int_{0}^{\infty}\frac{dx}{\sqrt(1+x^{\alpha})}$$
for alpha>2
and $$J=\int_{0}^{1}\frac{dx}{\sqrt(1-x^{\alpha}}$$
to represent them as B function and to deduce that J=Icos(1/2).

for the first one by substitution t=x^a/(x^a+1) i got that I=(1/a)B(1/a,0.5-1/a), the second integral i tried by the next two represntations and both got me nowhere:
t=x^a/(1-x^a) and t=(x^a+1)/x^a