Let $ f(x) = x^{ \alpha-1}(1+x)^{- \alpha-\beta}\frac{Γ(α+β)}{Γ(α)Γ(β)},$ where $Γ(x) = (x − 1)Γ(x-1)$ and $α,β > 1$. Show that $E(X) = \frac{α}{β-1}.$
I've tried in a couple of ways, but couldn't see the direction.
I've used moment generating function to obtain $E(X)$, but couldn't see a way to simplify.
Also, I've tried converting the part $f(x) = x^{ \alpha-1}(1+x)^{- \alpha-\beta} $ into some form similar to $ B(α,β)=\int_0^1 x^{α−1}(1−x)^{β−1}dx$ so that I could create some gamma functions, which eventually could lead to do a cross out with the given gamma functions $\frac{Γ(α+β)}{Γ(α)Γ(β)}.$
In class, we did not really cover the basics of the gamma function, but mostly on expected values. Can someone suggest what topic or section I should read in the textbook for some ideas? E.g. proof of $E(X)$ in terms of a gamma functions, etc.
Thank you.
$$E[X]=\int_{0}^{\infty}x\cdot f(x)\,dx =\frac{1}{B(\alpha,\beta)}\int_{0}^{\infty} x \frac{x^{\alpha-1}}{(1+x)^{\alpha+\beta}}\,dx =\\\frac{1}{B(\alpha,\beta)}\int_{0}^{\infty}\frac{x^{\alpha}}{(1+x)^{\alpha+\beta}}\,dx $$
$$=\frac{B(\alpha+1,\beta-1)}{B(\alpha,\beta)}=\frac{\Gamma(\alpha+1)\Gamma(\beta-1)}{\Gamma(\alpha+\beta)}\cdot\frac{\Gamma(\alpha+\beta)}{\Gamma(\alpha)\Gamma(\beta)}=\\\frac{\alpha\cdot\Gamma(\alpha)\cdot\Gamma(\beta-1)}{(\beta-1)\cdot\Gamma(\alpha)\cdot\Gamma(\beta-1)}=\frac{\alpha}{\beta -1}$$
These are just using the properties of Gamma and Beta functions.
$\displaystyle B(\alpha,\beta)=\int_{0}^{\infty}\frac{x^{\alpha-1}}{(1+x)^{\beta+\alpha}}\,dx=\int_{0}^{1}x^{\alpha-1}(1-x)^{\beta-1}\,dx$
Substitute $t=\frac{1}{1+x}$ above to see the equivalence.
And $B(\alpha,\beta)=\frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)}$
Have a read here and Here
Also you should write the pdf along with the domain of $x$. For example $f(x)=\frac{1}{B(\alpha,\beta)}x^{\alpha-1}(1+x)^{-\alpha-\beta}$ when $x>0$ .
So infact you should say that $f(x)=\begin{cases} \frac{1}{B(\alpha,\beta)}x^{\alpha-1}(1+x)^{-\alpha-\beta}\,,x>0\\ 0\,,\text{otherwise}\end{cases}$