Desigualdad con la función Gamma: ¿cómo se puede demostrar?

Question

Sea $\alpha \in (0,1)$ y $\Gamma(\alpha) = \int_0^{\infty}s^{\alpha - 1}e^{-s}ds$. Me gustaría demostrar que $$\int_0^{\infty}\frac{s^{-\alpha}}{1 + s}ds \le \Gamma(1 - \alpha)\Gamma(\alpha).$$

Básicamente conozco los siguientes dos hechos, pero no sé si son necesarios: $$1) \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha + \beta)} = \int_0^1s^{\alpha - 1}(1 - s)^{\beta - 1}ds$$ $$2)\ \Gamma(1 - \alpha)\Gamma(\alpha) = \frac{\pi}{\sin(\pi\alpha)}$$

¡Gracias por la ayuda!

Answer 1

Su relación es en realidad una igualdad para los valores de $\alpha$ que describes. (Por cierto, el valor de $\Gamma(\alpha) \Gamma(1-\alpha)$ que mencionas es el recíproco de lo que afirmas.) De hecho, puedes demostrarlo mediante el teorema del residuo que

$$\left ( 1-e^{-i 2 \pi \alpha}\right) \int_0^{\infty} ds \frac{s^{-\alpha}}{1+s} = i 2 \pi e^{-i \pi \alpha}$$

o,

$$\int_0^{\infty} ds \frac{s^{-\alpha}}{1+s} = \frac{\pi}{\sin{\pi \alpha}}$$

Answer 2

$$\begin{align} \int_{0}^{\infty} \frac{x^{-\alpha}}{1+x} \ dx &= \int_{0}^{\infty} \int_{0}^{\infty} x^{-\alpha} e^{-(1+x)t} \ dt \ dx \\ &= \int_{0}^{\infty} e^{-t} \int_{0}^{\infty} x^{-\alpha} e^{-tx} \ dx \ dt \\ &= \int_{0}^{\infty} e^{-t} \int_{0}^{\infty} \left( \frac{u}{t} \right)^{-\alpha} e^{-u} \ \frac{du}{t} \ dt \\ &=\int_{0}^{\infty} t^{\alpha-1} e^{-t} \ dt \int_{0}^{\infty} u^{(1-\alpha)-1}e^{-u} \ du \\ &= \Gamma(\alpha) \Gamma(1-\alpha) \end{align}$$