Integral ${\large\int}_0^1\frac{dx}{(1+x^{\sqrt2})^{\sqrt2}}$

Question

Mathematica afirma que $${\large\int}_0^1\!\!\frac{dx}{(1+x^{\sqrt2})^{\sqrt2}}=\frac{\sqrt\pi}{2^{\sqrt2}\sqrt2}\cdot\frac{\Gamma\left(\frac1{\sqrt2}\right)}{\Gamma\left(\frac12+\frac1{\sqrt2}\right)},\tag{$ \diamante $}$$ y también lo confirma numéricamente.

¿Cómo podemos demostrar $(\diamond)$ ?

Este resultado parece interesante, porque no parece darse una respuesta tan agradable para otras potencias algebraicas, salvo casos triviales, cuando la antiderivada es una función elemental, por ejemplo. $${\large\int}\frac{dx}{(1+x^\alpha)^\alpha}=\\ \small\frac{x\left(x^\alpha+1\right)^{1-\alpha}}{18}\left[\vphantom{\large|}\left(15(\alpha-1)+4\left(5(\alpha+1)+\left(6\alpha+(\alpha-3)x^{2\alpha}+2(\alpha+2)x^\alpha-3\right)x^\alpha\right)x^\alpha\right)x^\alpha+18\right],$$ donde $\alpha=3+\sqrt{10}$ .

Answer 1

Sugerencia . Se puede observar que $$ \begin{align} \int_0^\infty\frac{dx}{(1+x^a)^a}&=\int_0^1\frac{dx}{(1+x^a)^a}+\int_1^\infty\frac{dx}{(1+x^a)^a} \\\\&=\int_0^1\frac{dx}{(1+x^a)^a}+\int_0^1\frac{dx}{\left(1+\frac1{x^a}\right)^a\:x^2} \quad (x \to 1/x) \\\\&=\int_0^1\frac{dx}{(1+x^a)^a}+\int_0^1\frac{x^{a^2-2}dx}{(1+x^a)^a} \\\\&=\int_0^1\frac{1+x^{a^2-2}}{(1+x^a)^a}\:dx \end{align} $$ dar, por $a:=\sqrt{2}$ que $$ \int_0^1\frac{dx}{(1+x^{\sqrt2})^{\sqrt2}}=\frac12\int_0^\infty\frac{dx}{(1+x^{\sqrt2})^{\sqrt2}}=\frac{\Gamma\left(1+\frac{1}{\sqrt2}\right) \Gamma\left({\sqrt2}-\frac{1}{\sqrt2}\right)}{2\:\Gamma\left(\sqrt2\right)} $$ utilizando el Resultado beta de Euler con el cambio de variable $t=\dfrac1{(1+x^{\sqrt2})^{\sqrt2}}$ en esta última integral.

Answer 2

Utilizando Representación integral de Euler de la función hipergeométrica gaussiana y asumiendo $a>0$ obtenemos

$$ \begin{align} \int_{0}^{1} \frac{dx}{(1+x^{a})^{a}} &= \frac{1}{a} \int_{0}^{1} \frac{u^{1/a-1}}{(1+u)^{a}} \, du \\ &= \frac{1}{a} \int_{0}^{1} u^{1/a-1} (1-u)^{(1+1/a)-1/a-1}(1+u)^{-a} \, du \\ &= \frac{1}{a} \, B \left(\frac{1}{a}, 1 \right) {}_2F_{1} \left(a, \frac{1}{a}; 1+ \frac{1}{a}; -1 \right) \\&= {}_2F_{1} \left(a, \frac{1}{a}; 1+ \frac{1}{a}; -1 \right). \end{align}$$

En el caso $a=\sqrt{2}$ podemos aplicar Teorema de Kummer desde $1+\sqrt{2} - \frac{1}{\sqrt{2}}= 1+ \frac{1}{\sqrt{2}}$ .

$$\begin{align} \int_{0}^{1} \frac{dx}{(1+x^{\sqrt{2}})^{\sqrt{2}}} &= \frac{\Gamma\left(1+ \frac{1}{\sqrt{2}}\right) \Gamma\left(1+\frac{1}{\sqrt{2}}\right)}{\Gamma\left(1+ \sqrt{2}\right) \Gamma\left(1\right)} \\ &= \frac{\Gamma \left(1+ \frac{1}{\sqrt{2}} \right)^{2}}{\Gamma(1+\sqrt{2})}\\ &= \frac{1}{2 \sqrt{2}} \frac{\Gamma\left(\frac{1}{\sqrt{2}}\right)^{2}}{\Gamma(\sqrt{2})} \\ &\approx 0.6604707226 \end{align}$$

Para obtenerla en la forma dada por Mathematica, aplique la función fórmula de duplicación a $\Gamma \left(\frac{1}{\sqrt{2}} \right)$ .