6 votos

¿Qué es $_3F_2\left(1,\frac32,2;\ \frac43,\frac53;\ \frac4{27}\right)$ como una integral?

Esta fue enterrado en un lugar mucho la pregunta, así que me estoy preguntando por separado para darle un poco de aire. Definir, $$A_3={_3F_2}\left(1,\frac{\color{blue}1}2,\frac22;\ \frac43,\frac53;\ \frac4{27}\right)$$ $$B_3={_3F_2}\left(1,\frac{\color{blue}2}2,\frac32;\ \frac43,\frac53;\ \frac4{27}\right)$$ $$C_3={_3F_2}\left(1,\frac{\color{blue}3}2,\frac42;\ \frac43,\frac53;\ \frac4{27}\right)$$

Estos hipergeométrica generalizada funciones pertenecen a infinito familias que difieren en el punto de partida numerador (en azul). Teniendo en cuenta los tres raíces $x_n$$x^3-x+1=0$. A continuación,

$$\frac12 A_3= \int_1^\infty \frac{-3+2x}{x^3-x+1}dx =-\sum_{n=1}^3 x_n\ln(1-x_n)=0.517977\dots$$

$$\frac13 B_3 = \int_1^\infty\frac1{x(x^3-x+1)}dx=-\sum_{n=1}^3 \frac{\ln(1-x_n)}{-3+2x_n}=0.371216\dots$$

P: Pero, ¿qué es $\displaystyle C_3 = 3\sum_{n=1}^\infty\frac1{\binom{3n}n}$ como similar integral?

$\color{green}{Update:}$

Cortesía de David H la respuesta, generalizando podemos encontrar, $$k\sum_{n=1}^\infty\frac1{\binom{kn}n}=\int_1^\infty\frac1{(x^k-x+1)^2}dx$$ por lo tanto, $$C_3 = \int_1^\infty\frac1{(x^3-x+1)^2}dx=\tfrac{12}{23}-\tfrac{6}{23}\sum_{n=1}^3 \frac{3x_n + x_n^2}{-3+2x_n}\,\ln(1-x_n)=1.242966\dots$$

y una forma cerrada, el uso de las raíces $x_n$.

6voto

David H Puntos 16423

Recordemos que la beta de la función puede ser definida a través de la representación integral

$$\operatorname{B}{\left(z,w\right)}:=\int_{0}^{1}t^{z-1}\left(1-t\right)^{w-1}\,\mathrm{d}t;~~~\small{\Re{\left(z\right)}>0\land\Re{\left(w\right)}>0}.$$

El uso de la serie infinita de definición de la función hipergeométrica generalizada, nos encontramos con

$$\begin{align} C_{3} &={_3F_2}{\left(1,\frac32,2;\frac43,\frac53;\frac{4}{27}\right)}\\ &=\sum_{k=0}^{\infty}\frac{\left(1\right)_{k}\,\left(\frac32\right)_{k}\,\left(2\right)_{k}\,\left(\frac{4}{27}\right)^{k}}{\left(\frac43\right)_{k}\,\left(\frac53\right)_{k}\,k!}\\ &=\sum_{k=0}^{\infty}\frac{2\,\Gamma{\left(k+2\right)}\,\Gamma{\left(2k+2\right)}}{\Gamma{\left(3k+3\right)}}\\ &=\sum_{n=1}^{\infty}\frac{2\,\Gamma{\left(n+1\right)}\,\Gamma{\left(2n\right)}}{\Gamma{\left(3n\right)}}\\ &=\sum_{n=1}^{\infty}\frac{2n\,\Gamma{\left(n\right)}\,\Gamma{\left(2n\right)}}{\Gamma{\left(3n\right)}}\\ &=2\sum_{n=1}^{\infty}n\,\operatorname{B}{\left(n,2n\right)}\\ &=2\sum_{n=1}^{\infty}n\int_{0}^{1}\mathrm{d}t\,t^{n-1}\left(1-t\right)^{2n-1}\\ &=2\int_{0}^{1}\mathrm{d}t\,\sum_{n=1}^{\infty}nt^{n-1}\left(1-t\right)^{2n-1}\\ &=2\int_{0}^{1}\frac{\mathrm{d}t}{t\left(1-t\right)}\sum_{n=1}^{\infty}n\left[t\left(1-t\right)^{2}\right]^{n}.\\ \end{align}$$

A continuación, utilizando la serie infinita,

$$\sum_{n=1}^{\infty}nz^{n}=\frac{z}{\left(1-z\right)^{2}};~~~\small{\left|z\right|<1},$$

obtenemos la forma integral para $C_{3}$

$$\begin{align} C_{3} &=2\int_{0}^{1}\frac{\mathrm{d}t}{t\left(1-t\right)}\cdot\frac{t\left(1-t\right)^{2}}{\left[1-t\left(1-t\right)^{2}\right]^{2}}\\ &=2\int_{0}^{1}\mathrm{d}t\,\frac{\left(1-t\right)}{\left[1-t\left(1-t\right)^{2}\right]^{2}}\\ &=2\int_{0}^{1}\mathrm{d}u\,\frac{u}{\left[1-\left(1-u\right)u^{2}\right]^{2}};~~~\small{\left[1-t=u\right]}\\ &=\int_{0}^{1}\mathrm{d}u\,\frac{2u}{\left(1-u^{2}+u^{3}\right)^{2}}.\blacksquare\\ \end{align}$$

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