41 votos

$\int_0^1\arctan\,_4F_3\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};\frac{1}{2},\frac{3}{4},\frac{5}{4};\frac{x}{64}\right)\,\mathrm dx$

Necesito ayuda para calcular esta integral: $$\int_0^1\arctan\,_4F_3\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};\frac{1}{2},\frac{3}{4},\frac{5}{4};\frac{x}{64}\right)\,\mathrm dx,$$ Dónde $_pF_q$ es un función hipergeométrica generalizada .

Me dijeron que tiene una representación de forma cerrada en términos de funciones elementales y números enteros.

1 votos

@Laila ¿Quizás esta función hipergeométrica pueda expresarse en términos de funciones elementales? ¿Has intentado encontrar tal representación?

7 votos

Mira aquí partiendo de "Una familia infinita de valores racionales"...

40voto

Vladimir Reshetnikov Puntos 18017

Esta función hipergeométrica no es una función elemental, pero su inversa es - ver Aportar radicalidad .

\begin{align} I&= \int_0^1\arctan{_4F_3}\left(\frac15,\frac25,\frac35,\frac45;\frac12,\frac34,\frac54;\frac{x}{64}\right)\,dx \\ &=\frac{3125}{48}\left(5+3\pi+6\ln2-3\alpha^4+4\alpha^3+6\alpha^2-12\alpha\\-12\left(\alpha^5-\alpha^4+1\right)\arctan\frac1\alpha-6\ln\left(1+\alpha^2\right)\right)\\ &=0.7857194\dots \end{align} donde $\alpha$ es la raíz positiva del polinomio $625\alpha^4-500\alpha^3-100\alpha^2-20\alpha-4$ . Se puede expresar en radicales de la siguiente manera:

$$\alpha=\frac15+\sqrt\beta+\sqrt{\frac15-\beta +\frac1{25\sqrt\beta}},$$ donde $$\beta=\frac1{30}\left(\frac\gamma5-\frac4\gamma+2\right),$$ donde $$\gamma=\sqrt[3]{15\sqrt{105}-125}.$$

5 votos

Por supuesto, puede expresar $\pi$ como $4 \arctan 1$ para eliminar las constantes no enteras.

5 votos

Felicitaciones a todos los que lo hayan intentado a mano.

5 votos

Es tan obvio que me estoy dando una patada (muy suave) por no haberlo pensado.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X